Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Theorem

Sphere Packing Theorems in Dimensions 8 and 24

Number Theory

In 2016, Maryna Viazovska proved that the E8 lattice gives the densest possible sphere packing in eight-dimensional space, whether the packing is required to be regular or not, using a method built from the Laplace transform of a carefully chosen modular function together with Fourier analysis and the Poisson summation formula. Shortly afterward, Viazovska and collaborators extended the same technique to twenty-four dimensions, proving that the Leech lattice gives the densest possible sphere packing there as well. Both proofs settled century-old open questions and were praised for their surprising simplicity, with the mathematician Peter Sarnak calling the eight-dimensional proof stunningly simple. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/

Facts
Classification
Statement Form
Inequality 1
Connections

Has Statement Form

Inequality, Concepts

Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.

Sources
1. Sphere packing (Wikipedia)
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.