Skip to main content

Bounds for Local Density of Sphere Packings and the Kepler Conjecture

  • Chapter
  • First Online:
  • 1096 Accesses

Abstract

This paper formalizes the local density inequality approach to getting upper bounds for sphere packing densities in ℝ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 ℝ3 has density \(\pi / \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.

Received November 19, 1999, and in revised form April 17, 2001. Online publication December 17, 2001.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H. Cohn, New Bounds on Sphere Packings, Thesis, Harvard University, April 2000.

    Google Scholar 

  2. J. H. Conway and N. J. A. Sloane, Sphere Packings, Lattices and Codes, Third edition, Springer-Verlag: New York, 1999.

    Google Scholar 

  3. T. C. Hales and S. McLaughlin, A proof of the dodecahedral conjecture, eprint: arXiv math.MG/9811079.

    Google Scholar 

  4. L. Fejes T´oth, Lagerungen in der Ebene auf der Kugel und im Raum, Springer-Verlag: Berlin, 1953. (Second edition, 1972.)

    Google Scholar 

  5. L. Fejes T´oth, Regular Figures, MacMillan: New York, 1964.

    Google Scholar 

  6. S. P. Ferguson and T. C. Hales, A formulation of the Kepler conjecture, eprint: arXiv math.MG/9811072.

    Google Scholar 

  7. T. C. Hales, The sphere packing problem, J. Comput. Appl. Math. 44 (1992), 41–76.

    Article  MathSciNet  Google Scholar 

  8. T. C. Hales, Remarks on the density of sphere packings in three dimensions, Combinatorica 13(2) (1993), 181–197.

    Article  MathSciNet  Google Scholar 

  9. T. C. Hales, The status of the Kepler conjecture, Math. Intelligencer 16(3) (1994), 47–58.

    Article  MathSciNet  Google Scholar 

  10. T. C. Hales, Cannonballs and honeycombs, Notices Amer. Math. Soc. 47(4) (2000), 440–449.

    Google Scholar 

  11. D. Hilbert, Mathematical problems, Bull. Amer. Math. Soc. 8 (1902), 437–479. Reprinted in Mathematical Developments Arising from Hilbert Problems, Proceedings of Symposia in Pure Mathematics, XXVIII, American Mathematical Society: Providence, RI, 1976.

    Google Scholar 

  12. W.-Y. Hsiang,Onthe sphere problem andKepler’s conjecture, Internat. J. Math. 4(5) (1993), 739–831. (MR 95g: 52032.)

    Google Scholar 

  13. W.-Y. Hsiang, A rejoinder to Hales’ article, Math. Intelligencer 17(1) (1995), 35–42.

    Article  MathSciNet  Google Scholar 

  14. T. C. Hales, The Kepler conjecture, eprint: arXiv math.MG/9811078.

    Google Scholar 

  15. T. C. Hales, An overview of the Kepler conjecture, eprint: arXiv math.MG/9811071.

    Google Scholar 

  16. J. C. Lagarias, Notes on the Hales approach to the Kepler conjecture, manuscript, May 1999.

    Google Scholar 

  17. J. Oesterl´e, Densit´e maximale des empilements de sph`eres en dimension 3 [d’apr`es Thomas C. Hales et Samuel P. Ferguson], S´eminaire Bourbaki, Vol. 1998/99. Aster´isque 266 (2000), Exp. No. 863, 405–413.

    Google Scholar 

  18. C. A. Rogers, The packing of equal spheres, Proc. London Math. Soc. 8 (1958), 609–620.

    Article  MathSciNet  Google Scholar 

  19. C. A. Rogers, Packing and Covering, Cambridge University Press: Cambridge, 1964.

    Google Scholar 

  20. T. C. Hales, Sphere packings, I, Discrete Comput. Geom. 17 (1997), 1–51, eprint: arXiv math.MG/9811073.

    Google Scholar 

  21. T. C. Hales, Sphere packings, II, Discrete Comput. Geom. 18 (1997), 135–149, eprint: arXiv math.MG/9811074.

    Article  MathSciNet  Google Scholar 

  22. T. C. Hales, Sphere packings, III, eprint: arXiv math.MG/9811075.

    Google Scholar 

  23. T. C. Hales, Sphere packings, IV, eprint: arXiv math.MG/9811076.

    Google Scholar 

  24. S. P. Ferguson, Sphere packings, V, Thesis, University of Michigan, 1997, eprint: arXivmath.MG/9811077.

    Google Scholar 

  25. C. Zong, Sphere Packings, Springer-Verlag: New York, 1999.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to J. C. Lagarias .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer Science+Business Media, LLC

About this chapter

Cite this chapter

Lagarias, J.C. (2011). Bounds for Local Density of Sphere Packings and the Kepler Conjecture. In: Lagarias, J.C. (eds) The Kepler Conjecture. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-1129-1_2

Download citation

Publish with us

Policies and ethics