A Formulation of the Kepler Conjecture



This paper is the second in a series of six papers devoted to the proof of the Kepler conjecture, which asserts that no packing of congruent balls in three dimensions has density greater than the face-centered cubic packing. The top level structure of the proof is described. A compact topological space is described. Each point of this space can be described as a finite cluster of balls with additional combinatorial markings. A continuous function on this compact space is defined. It is proved that the Kepler conjecture will follow if the value of this function is never greater than a given explicit constant.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. CS2.
    J. H. Conway and N. J. A. Sloane, SpherePackings, Lattices and Groups, third edition, Springer-Verlag, New York, 1998.Google Scholar
  2. Fej8.
    L. Fejes T´oth, Lagerungen in der Ebene auf der Kugel und im Raum, second edition, Springer-Verlag, Berlin, 1972.Google Scholar
  3. Ha1.
    T. C. Hales, The sphere packing problem, J. Comput. Appl. Math.. 44 (1992), 41–76.Google Scholar
  4. Ha2.
    T. C. Hales, Remarks on the density of sphere packings in three dimensions, Combinatorica 13 (1993), 181–187.Google Scholar
  5. Ha5.
    T. C. Hales, A reformulation of the Kepler conjecture, Unpublished manuscript, Nov. 1996.Google Scholar
  6. Ha6.
    T. C. Hales, Sphere packings, I, Discrete Comput. Geom. 17 (1997), 1–51.Google Scholar
  7. Ha7.
    T. C. Hales, Sphere packings, II, Discrete Comput. Geom. 18 (1997), 135–149.Google Scholar
  8. Ha12.
    Thomas C. Hales, Cannonballs and honeycombs, Notices Amer. Math. Soc. 47(4) (2000), 440–449.Google Scholar
  9. Ha13.
    T. C. Hales, Sphere Packings in 3 Dimensions, Arbeitstagung, 2001.Google Scholar
  10. Ha14.
    T. C. Hales, Some algorithms arising in the proof of the Kepler conjecture, in Discrete and Computational Geometry, Algorithms and Combinatorics, vol. 25, Springer-Verlag, Berlin, 2003, pp. 489–507.Google Scholar
  11. Ha16.
    T. C. Hales, Computer Resources for the Kepler Conjecture, http://annals.math.princeton.edu/keplerconjecture/. (The source code, inequalities, and other computer data relating to the solution are also found at http://xxx.lanl.gov/abs/math/9811078v1.)
  12. Hi.
    D. Hilbert, Mathematische Probleme, Archiv Math. Phys. 1 (1901), 44–63, also in Mathematical Developments Arising from Hilbert Problems, Proceedings of Symposia in Pure Mathematics, vol. 28, 1976, pp. 1–34.Google Scholar
  13. Ro1.
    C. A. Rogers, The packing of equal spheres, Proc. London Math. Soc. (3) 8 (1958), 609–620.Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2011

Authors and Affiliations

  1. 1.Department of MathematicsUniversity of PittsburghPittsburghUSA
  2. 2.ColumbiaUSA

Personalised recommendations