# Optimality and uniqueness of the Leech lattice among lattices

Preprint · Henry Cohn, Abhinav Kumar

- Archive id: arxiv:math/0403263
- Published: 2004-03-16
- Venue: Annals of Mathematics 170 (2009), 1003-1050
- DOI: https://doi.org/10.4007/annals.2009.170.1003
- arXiv: https://arxiv.org/abs/math/0403263
- Source URL: https://arxiv.org/abs/math/0403263
- PDF: https://arxiv.org/pdf/math/0403263
- Provenance: arxiv

## Abstract

We prove that the Leech lattice is the unique densest lattice in R^24. The proof combines human reasoning with computer verification of the properties of certain explicit polynomials. We furthermore prove that no sphere packing in R^24 can exceed the Leech lattice's density by a factor of more than 1+1.65\*10^(-30), and we give a new proof that E\_8 is the unique densest lattice in R^8.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.