• Corpus ID: 119741285

Universal optimality of the $E_8$ and Leech lattices and interpolation formulas

@article{Cohn2019UniversalOO,
  title={Universal optimality of the \$E\_8\$ and Leech lattices and interpolation formulas},
  author={Henry Cohn and Abhinav Kumar and Stephen D. Miller and Danylo V. Radchenko and Maryna S. Viazovska},
  journal={arXiv: Metric Geometry},
  year={2019}
}
We prove that the $E_8$ root lattice and the Leech lattice are universally optimal among point configurations in Euclidean spaces of dimensions $8$ and $24$, respectively. In other words, they minimize energy for every potential function that is a completely monotonic function of squared distance (for example, inverse power laws or Gaussians), which is a strong form of robustness not previously known for any configuration in more than one dimension. This theorem implies their recently shown… 

Figures from this paper

Fourier interpolation from spheres
  • Martin Stoller
  • Mathematics
    Transactions of the American Mathematical Society
  • 2020
In every dimension $d \geq 5$ we give an explicit formula that expresses the values of any Schwartz function on $\mathbb{R}^d$ only in terms of its restrictions, and the restrictions of its Fourier
Erratum: Energy Minimization, Periodic Sets, and Spherical Designs
In [ 3] we considered energy minimization of pair potentials among periodic sets of a fixed-point density. For a large class of potentials we presented sufficient conditions for a point lattice to
A note on the maximum of a lattice generalization of the logarithm and a deformation of the Dedekind eta function
We consider a deformation $E_{L,\Lambda}^{(m)}(it)$ of the Dedekind eta function depending on two $d$-dimensional simple lattices $(L,\Lambda)$ and two parameters $(m,t)\in (0,\infty)$, initially
A variational principle for Gaussian lattice sums
We consider a two-dimensional analogue of Jacobi theta functions and prove that, among all lattices $\Lambda \subset \mathbb{R}^2$ with fixed density, the minimal value is maximized by the hexagonal
Asymptotic Optimality of the Triangular Lattice for a Class of Optimal Location Problems
We prove an asymptotic crystallization result in two dimensions for a class of nonlocal particle systems. To be precise, we consider the best approximation with respect to the 2-Wasserstein metric of
On the optimality of the rock-salt structure among lattices with charge distributions
The goal of this work is to investigate the optimality of the $d$-dimensional rock-salt structure, i.e., the cubic lattice $V^{1/d}\mathbb{Z}^d$ of volume $V$ with an alternation of charges $\pm 1$
Minimal Soft Lattice Theta Functions
We study the minimality properties of a new type of “soft” theta functions. For a lattice $$L\subset {\mathbb {R}}^d$$ L ⊂ R d , an L -periodic distribution of mass $$\mu _L$$ μ L , and another mass
High-dimensional sphere packing and the modular bootstrap
TLDR
A more detailed picture of the behavior for finite $c$ is given than was previously available, and an exponential improvement for sphere packing density bounds in high dimensions is extrapolated.
Crystallization for Coulomb and Riesz interactions as a consequence of the Cohn-Kumar conjecture
The Cohn-Kumar conjecture states that the triangular lattice in dimension 2, the E 8 E_8 lattice in dimension 8, and the Leech lattice in dimension 24 are universally minimizing in the
An optimal uncertainty principle in twelve dimensions via modular forms
TLDR
An optimal bound in twelve dimensions for the uncertainty principle of Bourgain, Clozel, and Kahane is proved and a connection is developed with the linear programming bound of Cohn and Elkies, which lets the sign pattern of f be generalized to develop a complementary uncertainty principle.
...
...

References

SHOWING 1-10 OF 53 REFERENCES
Universally optimal distribution of points on spheres
We study configurations of points on the unit sphere that minimize potential energy for a broad class of potential functions (viewed as functions of the squared Euclidean distance between points).
An optimal uncertainty principle in twelve dimensions via modular forms
TLDR
An optimal bound in twelve dimensions for the uncertainty principle of Bourgain, Clozel, and Kahane is proved and a connection is developed with the linear programming bound of Cohn and Elkies, which lets the sign pattern of f be generalized to develop a complementary uncertainty principle.
Some properties of optimal functions for sphere packing in dimensions 8 and 24
We study some sequences of functions of one real variable and conjecture that they converge uniformly to functions with certain positivity and growth properties. Our conjectures imply a conjecture of
The Gaussian core model in high dimensions
TLDR
Lower bounds for energy in the Gaussian core model, in which point particles interact via a Gaussian potential are proved, which are sharp to within a constant factor as $n \to \infty$ with $s$ fixed.
Periodic discrete energy for long-range potentials
We consider periodic energy problems in Euclidean space with a special emphasis on long-range potentials that cannot be defined through the usual infinite sum. One of our main results builds on more
A Generalized Jacobi Theta Function and Quasimodular Forms
In this note we give a direct proof using the theory of modular forms of a beautiful fact explained in the preceding paper by Robbert Dijkgraaf [1, Theorem 2 and Corollary]. Let \( {\tilde
Quasimodular forms and Jacobi-like forms
We study various properties of quasimodular forms by using their connections with Jacobi-like forms. Such connections are made by identifying quasimodular forms for a discrete subgroup $$\Gamma $$Γ
Height of flat tori
Relations between the height and the determinant of the Laplacian on the space of n-dimensional flat tori and the classical formulas of Kronecker and Epstein are established. Extrema of the height
A Proof of Crystallization in Two Dimensions
TLDR
This work shows rigorously that under suitable assumptions on the potential V which are compatible with the growth behavior of the Lennard-Jones potential the ground state energy per particle converges to an explicit constant E*: where E* ∈ ℝ is the minimum of a simple function on [0,∞).
Fourier interpolation on the real line
In this paper we construct an explicit interpolation formula for Schwartz functions on the real line. The formula expresses the value of a function at any given point in terms of the values of the
...
...