Optimality and uniqueness of the Leech lattice among lattices

@article{Cohn2004OptimalityAU,
  title={Optimality and uniqueness of the Leech lattice among lattices},
  author={Henry Cohn and Abhinav Kumar},
  journal={arXiv: Metric Geometry},
  year={2004}
}
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. 
On a generalization of Craig lattices
  • Hao Chen
  • Mathematics, Computer Science
  • 2013
In this paper we introduce generalized Craig lattices, which allows us to construct lattices in Euclidean spaces of many dimensions in the range 3332 − 4096 which are denser than the densest known
Perfect, strongly eutactic lattices are periodic extreme
Towards a proof of the 24-cell conjecture
This review paper is devoted to the problems of sphere packings in 4 dimensions. The main goal is to find reasonable approaches for solutions to problems related to densest sphere packings in
Lattice packings through division algebras
In this text, we will show the existence of lattice packings in a family of dimensions by employing division algebras. This construction is a generalization of Venkatesh’s lattice packing result [1].
On the density of cyclotomic lattices constructed from codes
TLDR
This work proves an effective version of the best known lower bound for lattice sphere packings by a factor loglog n for infinitely many dimensions n, in the sense that finite families of lattices containing a lattice reaching this bound are exhibited.
A Note on Lattice Packings via Lattice Refinements
  • M. Henk
  • Mathematics, Computer Science
    Exp. Math.
  • 2018
TLDR
A simple o(nn/2) running time algorithm that refines successively the packing lattice Dn (checkboard lattice) of the unit ball Bn and terminates with packing lattices achieving the best-known lattice densities.
Some properties of optimal functions for sphere packing in dimensions 8 and 24
We study some sequences of functions of one real variable and conjecture that they converge uniformly to functions with certain positivity and growth properties. Our conjectures imply a conjecture of
A Mordell inequality for lattices over maximal orders
In this paper we prove an analogue of Mordell's inequality for lattices in finite-dimensional complex or quaternionic Hermitian space that are modules over a maximal order in an imaginary quadratic
...
...

References

SHOWING 1-10 OF 44 REFERENCES
Uniqueness of Certain Spherical Codes
TLDR
This paper shows that there is essentially only one way of arranging 240 nonoverlapping unit spheres in R 8 (resp. R 24) so that they all touch another unit sphere, and only one method of arranging 56(resp. 4600) spheres inR 8 so thatthey all touch two further, touching spheres.
New upper bounds on sphere packings I
We continue the study of the linear programming bounds for sphere packing introduced by Cohn and Elkies. We use theta series to give another proof of the principal theorem, and present some related
New upper bounds on sphere packings II
We continue the study of the linear programming bounds for sphere packing introduced by Cohn and Elkies. We use theta series to give another proof of the principal theorem, and present some related
From error-correcting codes through sphere packings to simple groups
1. The origin of error-correcting codes an introduction to coding the work of Hamming the Hamming-Holbrook patent the Hamming codes are linear the work of Golay the priority controversy 2. From
The complete enumeration of extreme senary forms
  • E. S. Barnes
  • Mathematics
    Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences
  • 1957
Let f(x1..., x6)be a positive definite senary quadratic form of determinant D. Let M be its minimum value for integers x1..., x6, not all zero. The form is said to be extreme if, for all
Bounds for unrestricted codes, by linear programming
TLDR
The present paper starts from the observation that the distance distribution of an unrestricted code (over an unrestricted alphabet) yields nonnegative numbers when substituted to the right-hand member of (1) and gives an upper bound for the number of words in codes having a designed set of distances.
Matrix analysis
TLDR
This new edition of the acclaimed text presents results of both classic and recent matrix analyses using canonical forms as a unifying theme, and demonstrates their importance in a variety of applications.
Methods and Structure of Commutative Harmonic Analysis
Many really significant “final” scientific achievements share the following two characteristics. First of all, they are sufficiently trivial, and, hence, can become of “common use”, i.e., necessary
...
...