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).$$
What is the Gromov--Hausdorff distance between Euclidean unit balls of different dimensions, denoted by $d_\gh(B^m,B^n)$, for $m>n$? Note that the lower bound coming from the stability of persistent homology is zero, since all balls possess identical (trivial) persistent homology. To establish non-trivial lower bounds,...
For a finite set $A \subset \mathbb{R}_{>0}$ and a finite graph $H$, let $\chi_H(\mathbb{R}^n;A)$ be the minimum number of colors required to color $\mathbb{R}^n$ while avoiding a monochromatic copy of $H$ whose edges have distances in $A$. Extending the graph-copy framework of Axenovich, Liu, and Sagdeev and a multipl...
A. Kula, M. Omar, Jonah Stockwell et al.· 0 citations
In this paper, we establish the boundedness of the bilinear Bochner-Riesz means $\mathcal{B}^{\alpha}_R$ on the complex sphere $\mathbb{S}$. More precisely, we prove that $\mathcal{B}^{\alpha}_R$ is bounded from $L^{p_1}(\mathbb{S}) \times L^{p_2}(\mathbb{S}) \to L^p(\mathbb{S})$ where $1/p_1+1/p_2=1/p$ and $1\leq p_1,...
A classical theorem of Maillet asserts that every nonconstant rational function over $\mathbb{Q}$ maps Liouville numbers to Liouville numbers. In 1984, Mahler asked whether a transcendental entire function can have the same property. We prove a strong smooth counterpart: writing $\mathscr{L}$ for the set of Liouville n...
We prove that for every integer $n\geq 2$ and $8\pi(n-1)<\rho<8\pi n$, the singular Liouville equation $\Delta u+\e^u=\rho\delta_0$ on a rectangular torus $E_{\mathrm{i}b}=\mathbb{C}/(\mathbb Z+\mathrm{i} b\mathbb Z)$ has exactly $n$ solutions, which are all axisymmetric. Together with previous results by Chen-Lin and...
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 dimensi...
I. Benjamini· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
