Abstract
This paper formalizes the local density inequality approach to getting upper bounds for sphere packing densities in R n . This approach was first suggested by L. Fejes Tóth in 1953 as a method to prove the Kepler conjecture that the densest packing of unit spheres in R 3 has density π/\sqrt 18 , which is attained by the ``cannonball packing.’’ Local density inequalities give upper bounds for the sphere packing density formulated as an optimization problem of a nonlinear function over a compact set in a finite-dimensional Euclidean space. The approaches of Fejes Tóth, of Hsiang, and of Hales to the Kepler conjecture are each based on (different) local density inequalities. Recently Hales, together with Ferguson, has presented extensive details carrying out a modified version of the Hales approach to prove the Kepler conjecture. We describe the particular local density inequality underlying the Hales and Ferguson approach to prove Kepler’s conjecture and sketch some features of their proof.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Author information
Authors and Affiliations
Additional information
Received November 19, 1999, and in revised form April 17, 2001. Online publication December 17, 2001.
Rights and permissions
About this article
Cite this article
Lagarias, J. Bounds for Local Density of Sphere Packings and the Kepler Conjecture. Discrete Comput Geom 27, 165–193 (2002). https://doi.org/10.1007/s00454-001-0060-9
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-001-0060-9