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.

On a new absolute version of Siegel’s lemma

On a new absolute version of Siegel's lemma

An effective version of Fekete's theorem

Bounds on Fourier coefficients and global sup-norms for Siegel cusp forms of degree 2

Sharp bounds on the height of K-semistable Fano varieties II, the log case

Bounds for the Bergman Kernel and the Sup-Norm of Holomorphic Siegel Cusp Forms

Explicit lower bounds for the height in Galois extensions of number fields

A simple proof of the Grunbaum conjecture

Diophantine avoidance and small-height primitive elements in ideals of number fields

An improved bound on sums of square roots via the subspace theorem

On Freiman's Theorem in a function field setting

Explicit bounds for the solutions of superelliptic equations over number fields

Heights and regulators of number fields and elliptic curves

Two improvements in Brauer's theorem on forms

Sur le sous-groupe des éléments de hauteur infinie du K2 d'un corps de nombres

Sharp bounds on the height of K-semistable Fano varieties I, the toric case

Stiefel manifolds and upper bounds for spherical codes and packings

Bounds on bilinear forms with Kloosterman sums

Two improvements in Birch's theorem on forms

Improved Bounds for Szemerédi's Theorem