Sphere packings, universal optimality, and Fourier interpolation

In this lecture we will show  that the E8 and Leech lattices minimize energy for a wide class of potential functions. This theorem implies recently proven optimality of E8 and Leech lattices as sphere packings and broadly generalizes it to long-range interactions. The key ingredient of the proof is sharp linear programming bounds. Construction of the optimal auxiliary functions attaining these bounds is based on a new interpolation theorem. This is joint work with Henry Cohn, Abhinav Kumar, Stephen D. Miller, and Danylo Radchenko.

Zoom