Abstract:We improve upper bounds on sphere packing densities and sizes of spherical codes in high dimensions. In particular, we prove that the maximal sphere packing densities $\delta_n$ in $\mathbb{R}^n$ satisfy \[\delta_n\leq \frac{1+o(1)}{e}\cdot \delta^{\text{KL}}_{n}\] for large $n$, where $\delta^{\text{KL}}_{n}$ is the best bound on $\delta_n$ obtained essentially by Kabatyanskii and Levenshtein from the 1970s with improvements over the years. We also obtain the same improvement factor for the maximal size $M(n,\theta)$ of $\theta$-spherical codes in $S^{n-1}$: for angles $0<\theta<\theta'\leq\frac{\pi}{2}$, \[M(n,\theta)\leq \frac{1+o(1)}{e}\cdot \frac{M_{\text{Lev}}(n-1,\theta')}{\mu_n(\theta,\theta')}\] for large $n$, where $\mu_n(\theta,\theta')$ is the mass of the spherical cap in the unit sphere $S^{n-1}$ of radius $\frac{\sin(\theta/2)}{\sin(\theta'/2)}$, and $M_{\text{Lev}}(n-1,\theta')$ is Levenshtein's upper bound on $M(n-1,\theta')$ when applying the Delsarte linear programming method to Levenshtein's optimal polynomials. In fact, we prove that there are no analytic losses in our arguments and that the constant $\frac{1}{e}=0.367...$ is optimal for the class of functions considered. Our results also show that the improvement factor does not depend on the special angle $\theta^*=62.997...^{\circ}$, explaining the numerics in <a class="link-https" data-arxiv-id="2001.00185" href="https://arxiv.org/abs/2001.00185">arXiv:2001.00185</a>. In the spherical codes case, the above inequality improves the Kabatyanskii--Levenshtein bound by a factor of $0.2304...$ on geometric average. Along the way, we construct a general class of functions using Stiefel manifolds for which we prove general results and study the improvement factors obtained from them in various settings.and study the improvement factors obtained from them in various settings.

Spherical sets avoiding orthonormal bases

Convexity of near-optimal orthogonal-pair-free sets on the unit sphere

On Almost-Equidistant Sets - II

Lower bounds for sphere packing in arbitrary norms

On orthogonal curvilinear coordinate systems in constant curvature spaces

On Spheres with $k$ Points Inside

Spherical Basis Functions in Hardy Spaces with Localization Constraints

Quantitative $C^1$-stability of spheres in rank one symmetric spaces of non-compact type

Larger Nearly Orthogonal Sets over Finite Fields

Stiefel manifolds and upper bounds for spherical codes and packings

On sets of orthogonal exponentials on the disk

Distributions of Angles in Random Packing on Spheres

Strange shadows of $\ell_p$-balls

Sphere Packings in Euclidean Space with Forbidden Distances

Some spherical coverings on S2 and their algebraic numbers

Spherical codes with prescribed signed permutation automorphisms inside shells of low-dimensional integer lattices

The lower dimensional slicing inequality for functions and related distance inequalities

Projections of Random Covering Sets

Spherical Integrals of Sublinear Rank

New asymptotic estimates for spherical designs

Single radius spherical cap discrepancy via gegenbadly approximable numbers