Exponential bounds for the spherical Blaschke-Lebesgue problem

Abstract

The Blaschke-Lebesgue theorem states that the Reuleaux triangle has the smallest area among planar convex bodies of a fixed constant width. We study how small bodies of constant width can be on the unit sphere ${\mathbb{S}}^n$ when $n$ is large. For a spherical convex body $K\subset {\mathbb{S}}^n$ of constant width $w\in (0,\pi )$, its relative effective radius is \[ \left(\frac{μ_n(K)}{μ_n(\mathbb B^n(w/2))}\right)^{1/n}, \] where ${\mu }_n$ is the spherical $n$-measure and ${\mathbb{B}}^n(w/2)$ is a geodesic ball of radius $w/2$. Let ${\sigma }_n(w)$ be the infimum of the relative effective radius over all spherical bodies of constant width $w$. Define $\underline{\sigma }(w)={\mathrm{liminf}}_{n\to \infty }{\sigma }_n(w)$ and $\overline{\sigma }(w)={\mathrm{limsup}}_{n\to \infty }{\sigma }_n(w)$. For each fixed $w\in (0,\pi )$, we prove non-trivial bounds \[ 0<σ_{\ell}(w)\le \underlineσ(w)\le \overlineσ(w)\le σ_u(w)<1, \] where ${\sigma }_{\ell }(w)$ and ${\sigma }_u(w)$ are defined in terms of $w$ either explicitly or through a root of a quartic equation. The upper bounds are obtained by constructing small spherical bodies of constant width: for $w\le \pi /2$ by a spherical version of the recent Arman-Bondarenko-Nazarov-Prymak-Radchenko Euclidean example, and for $w>\pi /2$ by spherical duality. The lower bounds combine a spherical adaptation of Schramm's illumination argument with a Gaussian autocorrelation method for the associated convex cones.

Updated version with a new lower bound