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.
- CS2.J. H. Conway and N. J. A. Sloane, SpherePackings, Lattices and Groups, third edition, Springer-Verlag, New York, 1998.Google Scholar
- Fej8.L. Fejes T´oth, Lagerungen in der Ebene auf der Kugel und im Raum, second edition, Springer-Verlag, Berlin, 1972.Google Scholar
- Ha1.T. C. Hales, The sphere packing problem, J. Comput. Appl. Math.. 44 (1992), 41–76.Google Scholar
- Ha2.T. C. Hales, Remarks on the density of sphere packings in three dimensions, Combinatorica 13 (1993), 181–187.Google Scholar
- Ha5.T. C. Hales, A reformulation of the Kepler conjecture, Unpublished manuscript, Nov. 1996.Google Scholar
- Ha6.T. C. Hales, Sphere packings, I, Discrete Comput. Geom. 17 (1997), 1–51.Google Scholar
- Ha7.T. C. Hales, Sphere packings, II, Discrete Comput. Geom. 18 (1997), 135–149.Google Scholar
- Ha12.Thomas C. Hales, Cannonballs and honeycombs, Notices Amer. Math. Soc. 47(4) (2000), 440–449.Google Scholar
- Ha13.T. C. Hales, Sphere Packings in 3 Dimensions, Arbeitstagung, 2001.Google Scholar
- 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
- 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.)
- 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
- Ro1.C. A. Rogers, The packing of equal spheres, Proc. London Math. Soc. (3) 8 (1958), 609–620.Google Scholar