Abstract
We describe a program to prove the Kepler conjecture on sphere packings. We then carry out the first step of this program. Each packing determines a decomposition of space into Delaunay simplices, which are grouped together into finite configurations called Delaunay stars. A score, which is related to the density of packings, is assigned to each Delaunay star. We conjecture that the score of every Delaunay star is at most the score of the stars in the face-centered cubic and hexagonal close packings. This conjecture implies the Kepler conjecture. To complete the first step of the program, we show that every Delaunay star that satisfies a certain regularity condition satisfies the conjecture.
Article PDF
Similar content being viewed by others
References
G. Alefeld and J. Herzeberger,Introduction to Interval Computations, Academic Press, New York, 1983.
L. Fejes Tóth,Lagerungen in der Ebene, auf der Kugel und im Raum, Springer-Verlag, Berlin, 1953.
T. C. Hales, Remarks on the density of sphere packings in three dimensions,Combinatorica,13(2) (1993), 181–197.
T. C. Hales, The sphere packing problem,J. Comput. Appl. Math,44 (1992), 41–76.
T. C. Hales, The status of the Kepler conjecture,Math. Intelligencer,16(3) (1994), 47–58.
T. C. Hales, Sphere packings, II,Discrete Comput. Geom., to appear.
T. C. Hales, Sphere packings, III, in preparation.
T. C. Hales, Packings, http://www-personal.math.lsa.umich.edu/∼hales/packings.html
J. F. Hartet al., Computer Approximations, Wiley, New York, 1968.
IEEE Standard for Binary Floating-Point Arithmetic, ANSI/IEEE Std. 754-1985, IEEE, New York.
W. H. Presset al., Numerical recipes in C,Less-Numerical Algorithms, second edition, Cambridge University Press, Cambridge, 1992. Chapter 20.
C. A. Rogers, The packing of equal spheres,Proc. London Math. Soc. (3)8 (1958), 609–620.
What every computer scientist should know about floating-point arithmetic,Comput. Surveys, 23(1) (1991), 5–48.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Hales, T.C. Sphere packings, I. Discrete Comput Geom 17, 1–51 (1997). https://doi.org/10.1007/BF02770863
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02770863