Optimality and uniqueness of the Leech lattice among lattices

DOI10.4007/ANNALS.2009.170.1003zbMATH Open1213.11144arXivmath/0403263OpenAlexW3101529914WikidataQ55967084 ScholiaQ55967084MaRDI QIDQ972558FDOQ972558

Authors: Henry Cohn, Abhinav Kumar 

Publication date: 20 May 2010

Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/math/0403263

Recommendations

• The densest lattice in twenty-four dimensions
• scientific article; zbMATH DE number 7503192
• A Conceptual Breakthrough in Sphere Packing
• The sphere packing problem in dimension \(24\)
• A breakthrough in sphere packing: the search for magic functions
• scientific article
• Perfect, strongly eutactic lattices are periodic extreme
• A new sphere packing in 20 dimensions
• The sphere packing problem in dimension 8
• scientific article; zbMATH DE number 3865377

zbMATH Keywords

association schemeLeech latticesphere packingspherical design

Mathematics Subject Classification ID

Packing and covering in (n) dimensions (aspects of discrete geometry) (52C17) Combinatorial aspects of packing and covering (05B40) Lattice packing and covering (number-theoretic aspects) (11H31)

Cites Work

• Matrix Analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mordell-Weil lattices in characteristic 2. II: The Leech lattice as a Mordell-Weil lattice
• Title not available (Why is that?)
• Title not available (Why is that?)
• Spherical codes and designs
• Title not available (Why is that?)
• New bounds on the number of unit spheres that can touch a unit sphere in n dimensions
• The minimum values of positive quadratic forms in six, seven and eight variables
• New upper bounds on sphere packings. I
• Title not available (Why is that?)
• The complete enumeration of extreme senary forms
• New upper bounds on sphere packings. II
• Title not available (Why is that?)
• Laminated lattices
• Title not available (Why is that?)
• THE ARITHMETIC MINIMA OF POSITIVE QUADRATIC FORMS (I)
• Title not available (Why is that?)
• Lattices, linear codes, and invariants. I
• Lattices, linear codes, and invariants. II.

Cited In (54)

• Stability of optimal spherical codes
• A quantitative stability result for the sphere packing problem in dimensions 8 and 24
• Exploiting symmetries in polyhedral computations
• The densest lattice in twenty-four dimensions
• Sphere packing and quantum gravity
• Sphere packing bounds via spherical codes
• Lattice packings through division algebras
• Bounds for the \(l_1\)-distance of \(q\)-ary lattices obtained via constructions \(\mathrm D\), \(\mathrm D'\) and \(\overline{\mathrm D}\)
• A fourth extremal even unimodular lattice of dimension 48
• Perfect, strongly eutactic lattices are periodic extreme
• Towards a proof of the 24-cell conjecture
• Trace forms of certain subfields of cyclotomic fields and applications
• Algebraic lattices via polynomial rings
• Lattices from elliptic curves over finite fields
• On the density of cyclotomic lattices constructed from codes
• Cuts and flows of cell complexes
• Low dimensional strongly perfect lattices. IV: The dual strongly perfect lattices of dimension 16
• On classifying Minkowskian sublattices. With an Appendix by Mathieu Dutour Sikirić.
• Application of the empty sphere method to the description of an \(L\)-partition defined by a Leech lattice
• Automorphisms of modular lattices
• Euclidean lattices, theta invariants, and thermodynamic formalism
• Spherical codes, maximal local packing density, and the Golden ratio
• On a generalization of Craig lattices
• An optimal uncertainty principle in twelve dimensions via modular forms
• Algebraic constructions of densest lattices
• Classification of eight-dimensional perfect forms
• High-dimensional sphere packing and the modular bootstrap
• Local Covering Optimality of Lattices: Leech Lattice versus Root Lattice E8
• On lattices whose minimal vectors form a 6-design
• The 3-ball is a local pessimum for packing
• A survey on spherical designs and algebraic combinatorics on spheres
• Improved sphere packing lower bounds from Hurwitz lattices
• Delaunay polytopes derived from the Leech lattice
• Rotated \(A_n \)-lattice codes of full diversity
• Binary Hermitian lattices over number fields
• Minima of Epstein's zeta function and heights of flat tori
• The 290 fixed-point sublattices of the Leech lattice
• Upper bounds for packings of spheres of several radii
• Inhomogeneous extreme forms
• Universally optimal distribution of points on spheres
• Bounding basis reduction properties
• Almost impossible \(E_8\) and Leech lattices
• On the ideal of the shortest vectors in the Leech lattice and other lattices
• A Conceptual Breakthrough in Sphere Packing
• A Mordell inequality for lattices over maximal orders
• New family of tilings of three-dimensional Euclidean space by tetrahedra and octahedra
• Rigidity of spherical codes
• Extreme lattices: symmetries and decorrelation
• The sphere packing problem in dimension \(24\)
• The packing density of the \(n\)-dimensional cross-polytope
• Distributing many points on spheres: minimal energy and designs
• Universal optimality of the \(E_8\) and Leech lattices and interpolation formulas
• A Note on Lattice Packings via Lattice Refinements
• Euclidean minima of algebraic number fields

This page was built for publication: Optimality and uniqueness of the Leech lattice among lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q972558)