Abstract
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.
Received November 11, 1998, and in revised form September 12, 2003, and July 25, 2005. Online publication February 27, 2006.
The original version of this chapter was revised. An erratum to this chapter can be found at http://dx.doi.org/10.1007/978-1-4614-1129-1_12
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. H. Conway and N. J. A. Sloane, SpherePackings, Lattices and Groups, third edition, Springer-Verlag, New York, 1998.
L. Fejes T´oth, Lagerungen in der Ebene auf der Kugel und im Raum, second edition, Springer-Verlag, Berlin, 1972.
T. C. Hales, The sphere packing problem, J. Comput. Appl. Math.. 44 (1992), 41–76.
T. C. Hales, Remarks on the density of sphere packings in three dimensions, Combinatorica 13 (1993), 181–187.
T. C. Hales, A reformulation of the Kepler conjecture, Unpublished manuscript, Nov. 1996.
T. C. Hales, Sphere packings, I, Discrete Comput. Geom. 17 (1997), 1–51.
T. C. Hales, Sphere packings, II, Discrete Comput. Geom. 18 (1997), 135–149.
Thomas C. Hales, Cannonballs and honeycombs, Notices Amer. Math. Soc. 47(4) (2000), 440–449.
T. C. Hales, Sphere Packings in 3 Dimensions, Arbeitstagung, 2001.
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.
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.)
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.
C. A. Rogers, The packing of equal spheres, Proc. London Math. Soc. (3) 8 (1958), 609–620.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 T.C. Hales & S.P. Ferguson
About this chapter
Cite this chapter
Hales, T.C., Ferguson, S.P. (2011). A Formulation of 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_4
Download citation
DOI: https://doi.org/10.1007/978-1-4614-1129-1_4
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-1128-4
Online ISBN: 978-1-4614-1129-1
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)