Sphere Packing in Dimension 8: The E8 Lattice

• Sphere Packing in Dimension 8 is the study of arranging congruent spheres in eight-dimensional space to maximize density, with the E8 lattice as a prime example.
• Viazovska’s construction uses modular and quasimodular forms to build a magic function that meets the Cohn–Elkies linear programming bound, proving the E8 lattice’s optimality.
• Advances in computational techniques and formal verification have reinforced the analytical proof, linking lattice theory, modular forms, and conformal field theory.

The sphere packing problem in dimension 8 asks for the maximal possible density of arrangements of non-overlapping congruent spheres in Euclidean space $\mathbb{R}^8$. This question, originating in Hilbert's eighteenth problem and deeply interwoven with the geometry of numbers, coding theory, and the theory of modular forms, achieved a definitive resolution in 2016 through the work of Maryna Viazovska. Her construction of an explicit auxiliary function, termed the "magic function," allowed her to prove that the $E_8$ root lattice yields the densest possible packing in $\mathbb{R}^8$ with density $\pi^4/384$ (Viazovska, 2016, Cohn, 2016). This solution integrates several frameworks—including linear programming bounds, the theory of modular and quasimodular forms, representation theory, and the modular bootstrap in conformal field theory—providing a paradigm for subsequent research into higher-dimensional extremal problems.

1. The Cohn–Elkies Linear Programming Bound

The foundational technique is the Cohn–Elkies linear programming (LP) bound (Viazovska, 2016), which forms the analytic core of modern optimal sphere-packing results. For $d$-dimensional Euclidean space and any radial Schwartz function $f\colon \mathbb{R}^d \to \mathbb{R}$ whose Fourier transform $\widehat f$ satisfies

• $f(0)=\widehat f(0)=1$,
• $f(x)\leq 0$ for $|x|\geq r_0$,
• $E_8$0 for all $E_8$1,

the density of any sphere packing by balls of unit radius in $E_8$2 is at most the volume of the ball of radius $E_8$3. Sharpness means equality is achieved for a specific lattice and function $E_8$4 (Zhou, 13 Apr 2026). In dimension 8, sharpness is realized for $E_8$5 and the $E_8$6 lattice, with density $E_8$7 (Viazovska, 2016, Cohn, 2016).

2. Construction and Properties of the $E_8$8 Lattice

The $E_8$9 lattice in $\mathbb{R}^8$0 is the unique even, unimodular lattice of rank 8. It can be described as

$\mathbb{R}^8$1

(Tóth, 2022, Viazovska, 2016). The minimal norm is $\mathbb{R}^8$2, its determinant is 1, and its automorphism group acts transitively on minimal vectors. The theta series $\mathbb{R}^8$3 equals the Eisenstein series $\mathbb{R}^8$4, a modular form of weight 4: $\mathbb{R}^8$5 (Zhou, 13 Apr 2026). The kissing number, i.e., the number of spheres that touch a central sphere, is 240, corresponding to the number of roots in the $\mathbb{R}^8$6 root system (Tóth, 2022).

3. Viazovska’s Magic Function and Modular Form Framework

Viazovska’s proof hinges on the explicit construction of a magic Schwartz function using quasimodular and modular forms. This radial function $\mathbb{R}^8$7 satisfies the Cohn–Elkies LP hypotheses with the crucial property that $\mathbb{R}^8$8 and its Fourier transform vanish with prescribed multiplicity on all nonzero shell radii of $\mathbb{R}^8$9. The construction utilizes inverse Mellin transforms of the Eisenstein series $\pi^4/384$0, and auxiliary weakly holomorphic modular forms on congruence subgroups, notably $\pi^4/384$1 (Cohn, 2016, Viazovska, 2016).

Explicitly, the function is given by

$\pi^4/384$2

where $\pi^4/384$3 and $\pi^4/384$4 are constructed from modular forms $\pi^4/384$5, $\pi^4/384$6, $\pi^4/384$7, and theta functions (Cohn, 2016). These analytic structures are essential in ensuring the uniquely required sign and vanishing conditions for sharpness and classification.

4. Mathematical Consequences: Uniqueness, Stability, and Interconnected Frameworks

The optimality and uniqueness of the $\pi^4/384$8 lattice are substantiated by modular form dimension counts: $\pi^4/384$9, and no cusp forms exist at weight 4, so the theta series is unique up to isometry (Zhou, 13 Apr 2026). There are no extraneous cusp forms on the relevant congruence subgroup (dual LP obstruction), hence no feasible dual certificates exist other than those corresponding to $d$0.

A stability result further demonstrates that any lattice with packing density $d$1-close to $d$2 is $d$3-close (in a suitable norm) to $d$4 itself (Böröczky et al., 2023). This excludes nonlattice or perturbed lattice packings as optimal. The uniqueness of the $d$5 theta series and code-theoretic analogs (Gleason’s theorem for Type II, length-8 codes) illustrates deep connections between lattice theory, modular forms, and coding theory (Zhou, 13 Apr 2026).

This landscape is conceptually unified by the Bost–Connes quantum statistical system and Hecke algebra, which encapsulate modular forms for $d$6 and congruence subgroups, as well as representation theory of the associated conformal field theories (Zhou, 13 Apr 2026).

5. CFT and Modular Bootstrap Interpretation

The solution has profound connections to two-dimensional conformal field theory (CFT) via the modular bootstrap. The optimal linear programming bound in dimension 8 is equivalent to the extremality of a Narain CFT with $d$7 symmetry at central charge $d$8, whose torus partition function

$d$9

saturates the modular bootstrap bound, eliminating all spin-1 non-Cartan primaries (Zhou, 13 Apr 2026, Hartman et al., 2019). The modular bootstrap's extremal functional for $f\colon \mathbb{R}^d \to \mathbb{R}$0 analytically reproduces the magic function, providing a correspondence between strictly mathematical (sphere-packing) and physical (CFT spectrum) optimality criteria (Hartman et al., 2019).

6. Computational and Formal Verification Advances

Recent computational advances include model-based and AI-assisted search for polynomial or SDP certificates that numerically approximate the sphere-packing bound. These methods—combining Bayesian optimization and MCTS with semidefinite programming—have succeeded in recovering the $f\colon \mathbb{R}^d \to \mathbb{R}$1 density to precision $f\colon \mathbb{R}^d \to \mathbb{R}$2, verifying that finite-dimensional SDP relaxations can match Viazovska's analytic magic function (Tutunov et al., 4 Dec 2025).

Moreover, the formalization and verification of Viazovska’s proof in the Lean theorem prover have reached completion, with the autoformalization system “Gauss” synthesizing key contour-integral arguments and modular form dimension theory (Hariharan et al., 25 Apr 2026). This formalization affirms, end-to-end, that the $f\colon \mathbb{R}^d \to \mathbb{R}$3 lattice achieves the densest packing in $f\colon \mathbb{R}^d \to \mathbb{R}$4, with all critical arguments verified by machine proof.

7. Significance and Broader Implications

The resolution of the sphere packing problem in dimension 8 illustrates the power of combining analytic, algebraic, and physical perspectives. It is unique among high dimensions in admitting a sharp, algebraically rigid solution with no moduli, exemplifying the deep interconnections between modular forms, lattice theory, coding theory, and conformal field theory. Ongoing research examines why sharp LP bounds are exclusive to dimensions 8 and 24 (the latter associated with the Leech lattice), focusing on cusp form dimensions, dual obstructions, and extremal CFT existence (Zhou, 13 Apr 2026). This synthesis continues to inform advances in discrete geometry, arithmetic, optimization theory, and mathematical physics.