arXiv++ Combinatorics

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 $δ_n$ in $\mathbb{R}^n$ satisfy \[δ_n\leq \frac{1+o(1)}{e}\cdot δ^{\text{KL}}_{n}\] for large $n$, where $δ^{\text{KL}}_{n}$ is the best bound on $δ_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,θ)$ of $θ$-spherical codes in $S^{n-1}$: for angles $0<θ<θ'\leq\fracπ{2}$, \[M(n,θ)\leq \frac{1+o(1)}{e}\cdot \frac{M_{\text{Lev}}(n-1,θ')}{μ_n(θ,θ')}\] for large $n$, where $μ_n(θ,θ')$ is the mass of the spherical cap in the unit sphere $S^{n-1}$ of radius $\frac{\sin(θ/2)}{\sin(θ'/2)}$, and $M_{\text{Lev}}(n-1,θ')$ is Levenshtein's upper bound on $M(n-1,θ')$ 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 $θ^*=62.997...^{\circ}$, explaining the numerics in arXiv:2001.00185. 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.

The union-closed sets conjecture, attributed to Péter Frankl from 1979, states that for any non-empty finite union-closed family of finite sets not consisting of only the empty set, there is an element that is in at least half of the sets in the family. We prove a version of Frankl's conjecture for families distributed according to any one of infinitely many distributions. As a corollary, in the intersection-closed reformulation of Frankl's conjecture, we obtain that it is true for families distributed according to any one of infinitely many Maxwell--Boltzmann distributions with inverse temperatures bounded below by a positive universal constant. Frankl's original conjecture corresponds to zero inverse temperature.

We prove that $q+1$-regular Morgenstern Ramanujan graphs $X^{q,g}$ (depending on $g\in\mathbb{F}_q[t]$) have diameter at most $\left(\frac{4}{3}+\varepsilon\right)\log_{q}|X^{q,g}|+O_{\varepsilon}(1)$ (at least for odd $q$ and irreducible $g$) provided that a twisted Linnik-Selberg conjecture over $\mathbb{F}_q(t)$ is true. This would break the 30 year-old upper bound of $2\log_{q}|X^{q,g}|+O(1)$, a consequence of a well-known upper bound on the diameter of regular Ramanujan graphs proved by Lubotzky, Phillips, and Sarnak using the Ramanujan bound on Fourier coefficients of modular forms. We also unconditionally construct infinite families of Ramanujan graphs that prove that $\frac{4}{3}$ cannot be improved.