Revisiting the hexagonal lattice: on optimal lattice circle packing

In this note we give a simple proof of the classical fact that the hexagonal lattice gives the highest density circle packing among all lattices in $R^2$. With the benefit of hindsight, we show that the problem can be restricted to the important class of well-rounded lattices, on which the density function takes a particularly simple form. Our proof emphasizes the role of well-rounded lattices for discrete optimization problems.

[1]  W. Hsiang.  Least Action Principle of Crystal Formation of Dense Packing Type and Kepler's Conjecture , 2002 .

[2]  L. Fukshansky.  On similarity classes of well-rounded sublattices of $\mathbb Z^2$ , 2007, 0708.1596.

[3]  C. Zong.  Minkowski's conjecture , 2006 .

[4]  Karl Sigmund,et al.  Kepler’s conjecture: How some of the greatest minds in history helped solve one of the oldest math problems in the world , 2004 .

[5]  Amir K. Khandani,et al.  On the Complexity of Decoding Lattices Using the Korkin-Zolotarev Reduced Basis , 1998, IEEE Trans. Inf. Theory.

[6]  A. Schürmann,et al.  Computational geometry of positive definite quadratic forms : polyhedral reduction theories, algorithms, and applications , 2008 .

[7]  Thomas C. Hales.  Sphere packings, I , 1997, Discret. Comput. Geom..

[8]  Lenny Fukshansky,et al.  On similarity classes of well-rounded sublattices of Z2 , 2009 .

[9]  Lenny Fukshansky,et al.  Frobenius Problem and the Covering Radius of a Lattice , 2007, Discret. Comput. Geom..

[10]  Michael E. Pohst,et al.  On the computation of lattice vectors of minimal length, successive minima and reduced bases with applications , 1981, SIGS.

[11]  Gábor Fejes Tóth,et al.  Packing and Covering , 2004, Handbook of Discrete and Computational Geometry, 2nd Ed..

[12]  Lenny Fukshansky,et al.  On Distribution of Well-Rounded Sublattices of Z² , 2008 .

[13]  W. Fischer,et al.  Sphere Packings, Lattices and Groups , 1990 .

[14]  Curtis T. McMullen,et al.  Minkowski’s Conjecture, Well-Rounded Lattices and Topological Dimension , 2005 .

[15]  J. Martinet.  Perfect Lattices in Euclidean Spaces , 2010 .