Let $S^n$ be the unit round sphere with its intrinsic angular metric, normalized so that $\operatorname{diam}S^n=\pi$. For finite homogeneous metric spaces $X$, put \[ \delta_n=\inf_X d_{GH}(X,S^n). \] The main open problem is whether $\inf_{n\ge2}\delta_n>0$. Gelander's theorem gives $\delta_n>0$ in each fixed dimension, but not uniformly. An abstract cross-polytope construction gives the universal upper bound $\delta_n\le\pi/4$. In the opposite direction, ChatGPT combines the passage from small Gromov--Hausdorff error to an approximate finite action on the sphere, logarithmic stability of approximate inner-product-preserving maps due to Cuesta, operator-norm stability of almost representations, and Green's width theorem for finite transitive sets. This gives the quantitative bound \[ \delta_n\ge \frac{c}{(1+\log(n+1))^2} \] for all sufficiently large $n$.
Let $X=G/K$ be a symmetric space of noncompact type, of dimension $n$ and rank $r$, and let $Y=\Gamma\backslash X$. Sarnak's local bound for an $L^2$-normalized spherical joint eigenfunction with regular tempered parameter of size $T$ is $\|\phi\|_\infty\ll T^{(n-r)/2}$. We prove $o(T^{(n-r)/2})$ locally uniformly on every quotient. On finite-volume real hyperbolic manifolds this is uniform in the expanding cusp range $y\leq T^\beta$, $\beta<1/2$. If the injectivity radius is bounded below, we prove the global estimate $T^{(n-r)/2}(\log T)^{-r/2}$.
Let $2\le k\le n$, let $\Omega\subset\mathbb{R}^n$ be open and convex, and let $u$ be a convex viscosity solution of $\sigma_k(D^2u)=1$ in $\Omega$. We prove that the set on which $u$ fails to be locally $C^2$ has vanishing $(n-1)$-dimensional Hausdorff measure. In the intermediate range $3\le k<n$, this gives a codimension-one refinement of the known almost-everywhere partial regularity, and the exponent is sharp. More generally, for a convex viscosity subsolution of $\sigma_k(D^2u)\ge\lambda>0$, we obtain Hausdorff bounds for strata defined by the affine dimension of all supporting contact sets. The proof combines a support-dependent Chou--Wang barrier argument, an estimate for the product of the smallest $k$ semiaxes of a John ellipsoid, and Mooney's convex section-covering theorem. As a direct analytical consequence, the full distributional Hessian is absolutely continuous and $u\in W^{2,1}_{\mathrm{loc}}(\Omega)$, yielding a $k$-Hessian counterpart of the $W^{2,1}$ regularity known for singular Monge--Amp\`ere solutions. In a logically separate structural part, we characterize the distinguished number of flat directions, $n-k+1$, by an asymptotic infimum mean-value formula over affine sections, and explain how this mean-value heuristic leads to the supporting-contact geometry used in the proof.
We determine the Gromov-Hausdorff distance between consecutive unit round spheres equipped with their geodesic metrics. Put $\zeta_n:=\arccos(-\tfrac{1}{n+1}),$ the common geodesic distance between distinct vertices of a regular simplex with $n+2$ vertices inscribed in $\mathbb{S}^n$. We prove that $$ d_{\mathrm{GH}}(\mathbb{S}^n,\mathbb{S}^{n+1})=\frac{\zeta_n}{2} \qquad(n\geq1), $$ resolving a conjecture of Lim, M\'emoli, and Smith. All cases $n\geq4$ were previously open. This equality is established by explicitly constructing a family of correspondences $\mathcal R_n\subseteq \mathbb{S}^{n+1}\times \mathbb{S}^n$, whose distortion matches the known quantitative Borsuk-Ulam lower bound $\zeta_n$. We also introduce synchronized spherical joins and suspensions of correspondences and prove that the distortion of a join is exactly the maximum of the distortions of its factors. In particular, suspension preserves distortion. Applying these join and suspension operations to the optimal correspondences $\mathcal R_n$ yields new bounds for spheres of nonconsecutive dimensions, including $$ \lim_{m\to\infty} d_{\mathrm{GH}}\bigl(\mathbb{S}^m,\mathbb{S}^{m+d(m)}\bigr) = \frac{\pi}{4} \qquad\text{whenever } d(m)\geq1,\ \text{and }d(m)=o(m).$$
Donghan Kim, Sunhyuk Lim, Facundo M'emoli· 0 citations
We prove the Gromov--Ros conjecture for every rank-one symmetric space of noncompact type: finite-perimeter isoperimetric regions are precisely the geodesic balls, up to ambient isometry and null sets. The proof is organized uniformly in the root multiplicities $(p,q)$. We introduce the volume radius \[ R(r)^n=n\int_0^r\sinh^{n-1}s\,\cosh^q s\,ds, \] which converts the polar volume form into $R^{n-1}dR\,d\sigma$. Hence radial--angular stretches $R\mapsto e^{t\varphi(\theta)}R$ have the exact Jacobian $e^{nt\varphi}$. Starting from a volume geometric median, a log-partition correction produces an exactly volume-preserving family of global bi-Lipschitz stretches. The reduced-boundary area formula and the ambient cofactor yield a universal pointwise trace identity depending only on $(p,q)$ and the horizontal and vertical components of the measure-theoretic normal. Its specializations for $q=1,3,7$ admit explicit strict sign certificates, forcing the normal of an isoperimetric region to be radial almost everywhere. Isotropy invariance in BV and a one-dimensional weighted endpoint comparison then force a single ball. For complex hyperbolic space we additionally prove that every smooth bounded fixed-volume stable critical domain is a geodesic ball. The resulting complex-hyperbolic isoperimetric theorem removes the geometric hypothesis in several sharp weighted-Bergman contraction, Faber--Krahn, and Lieb--Wehrl inequalities, and their high-weight scaling limit recovers holomorphic Gaussian hypercontractivity.
Let $g_n$ be the largest number of Euclidean balls of diameter $1$ which may be needed to cover a set of diameter $1$ in $\mathbb{R}^n$. We study this problem for finite sets invariant under all coordinate permutations. We prove that the exponential growth rate in this symmetric problem can be characterized exactly as a finite-alphabet squared-error rate-distortion supremum $\alpha_0$. Specialized to the two-point case, i.e., for subsets of Boolean cubes, this gives the explicit lower bound \[g_n\ge (1.160235457\ldots-o(1))^n,\] improving the previous best bound $(2/\sqrt3-o(1))^n$. Using Fix's Gaussian characterization of the rate-distortion problem, we give a numerical three-point construction with exponent base greater than $1.160497831$. Finally, we show that $\alpha_0$ is not attained by any finitely supported distribution.
Andrii Arman, A. Bondarenko, A. Prymak et al.· 0 citations
For every $N\ge 2$, we prove that the Bergman metric on the regular locus of a finite ball quotient $\mathbb{B}^N/\Gamma$, where $\Gamma\subset \mathrm{U}(N)$ is finite and fixed-point-free, is K\"ahler-Einstein if and only if $\Gamma$ is trivial. Consequently, if $\Omega$ is an $N$-dimensional normal Stein space with isolated singularities and compact, smooth, strongly pseudoconvex boundary admitting a real-algebraic CR realization, then the Bergman metric on $\Omega_{\mathrm{reg}}$ is K\"ahler-Einstein if and only if $\Omega$ is biholomorphic to $\mathbb{B}^N$. This proves an algebraic version of the Cheng-Huang-Xiao conjecture in every complex dimension $N\ge 2$.