TOPICS
Search

Kepler Conjecture


KeplerConjecture

In 1611, Kepler proposed that close packing (either cubic or hexagonal close packing, both of which have maximum densities of pi/(3sqrt(2)) approx 74.048%) is the densest possible sphere packing, and this assertion is known as the Kepler conjecture. Finding the densest (not necessarily periodic) packing of spheres is known as the Kepler problem.

Buckminster Fuller (1975) claimed to have a proof, but it was really a description of face-centered cubic packing, not a proof of its optimality (Sloane 1998). A second putative proof of the Kepler conjecture was put forward by W.-Y. Hsiang (Cipra 1991, Hsiang 1992, 1993, Cipra 1993), but was subsequently determined to be flawed (Conway et al. 1994, Hales 1994, Sloane 1998). According to J. H. Conway, nobody who has read Hsiang's proof has any doubts about its validity: it is nonsense.

Soon thereafter, Hales (1997a) published a detailed plan describing how the Kepler conjecture might be proved using a significantly different approach from earlier attempts and making extensive use of computer calculations. Hales subsequently completed a full proof, which appears in a series of papers totaling more than 250 pages (Cipra 1998). A broad outline of the proof in elementary terms appeared in Hales (2002). The proof relies extensively on methods from the theory of global optimization, linear programming, and interval arithmetic. The computer files containing the computer code and data files for combinatorics, interval arithmetic, and linear programs require more than 3 gigabytes of space for storage.

Hales' proof proved difficult to verify. In 2003, it was reported that the Annals of Mathematics publication would have an unusual editorial note stating that parts of the paper have not been possible to check, despite the fact that a team of 12 reviewers worked on verifying the proof for more than four years and that the reviewers were 99% certain that it is correct (Holden 2003, Szpiro 2003). However, the actual publication contains no such note (Hales 2005).

In response to the difficulties in verifying his proof, in January of 2003, Hales launched the "Flyspeck project" ("Formal Proof of Kepler") in an attempt to use computers to automatically verify every step of the proof. The project, believed by Hales at its inception to require 20 person-years of labor (Holden 2003, Szpiro 2003), was completed in 2014.


See also

Cubic Close Packing, Dodecahedral Conjecture, Hexagonal Close Packing, Kepler Problem, Kissing Number, Sphere Packing

Explore with Wolfram|Alpha

References

Bailey, D. H.; Borwein, J. M.; Calkin, N. J.; Girgensohn, R.; Luke, D. R.; and Moll, V. H. Experimental Mathematics in Action. Wellesley, MA: A K Peters, p. 9, 2007.Borwein, J. and Bailey, D. Mathematics by Experiment: Plausible Reasoning in the 21st Century. Wellesley, MA: A K Peters, pp. 35-36, 2003.Buckminster Fuller, R. Synergetics. London: Macmillan, 1975.Cipra, B. "Music of the Spheres." Science 251, 1028, 1991.Cipra, B. "Gaps in a Sphere Packing Proof?" Science 259, 895, 1993.Cipra, B. "Packing Challenge Mastered at Last." Science 281, 1267, 1998.Conway, J. H.; Hales, T. C.; Muder, D. J.; and Sloane, N. J. A. "On the Kepler Conjecture." Math. Intel. 16, 5, Spring 1994.Eppstein, D. "Sphere Packing and Kissing Numbers." http://www.ics.uci.edu/~eppstein/junkyard/spherepack.html.Ferguson, S. P. "Sphere Packings. V." 11 Nov 1998. http://arxiv.org/abs/math.MG/9811077.Ferguson, S. P. and Hales, T. C. "A Formulation of the Kepler Conjecture." http://www.math.pitt.edu/~thales/kepler98/form.ps.Hales, T. C. "The Kepler Conjecture." http://www.math.pitt.edu/~thales/kepler98/.Hales, T. C. "An Overview of the Kepler Conjecture." http://www.math.pitt.edu/~thales/kepler98/sphere0.ps.Hales, T. C. "Recent Progress on the Kepler Conjecture." http://www.math.pitt.edu/~thales/kepler98/recent.ps.Hales, T. C. "The Sphere Packing Problem." J. Comput. Appl. Math. 44, 41-76, 1992.Hales, T. C. "Remarks on the Density of Sphere Packings in 3 Dimensions." Combinatorica 13, 181-197, 1993.Hales, T. C. "The Status of the Kepler Conjecture." Math. Intel. 16, 47-58, Summer 1994.Hales, T. C. "Sphere Packings. I." Disc. Comput. Geom. 17, 1-51, 1997a. http://www.math.pitt.edu/~thales/kepler98/sphere1.ps.Hales, T. C. "Sphere Packings. II." Disc. Comput. Geom. 18, 135-149, 1997b. http://www.math.pitt.edu/~thales/kepler98/sphere2.ps.Hales, T. C. "A Proof of the Kepler Conjecture." Ann. Math. 162, 1065-1185, 2005. http://www.math.princeton.edu/~annals/issues/2005/Nov2005/Hales.pdf.Hales, T. C. "Sphere Packings. III." http://www.math.pitt.edu/~thales/kepler98/sphere3.ps.Hales, T. C. "Sphere Packings. IV." http://www.math.pitt.edu/~thales/kepler98/sphere4.ps.Hales, T. C. "Sphere Packings. VI." http://www.math.pitt.edu/~thales/kepler98/sphere6.ps.Hales, T. C. "Cannonballs and Honeycombs." Notices Amer. Math. Soc. 47, 440-449, 2000.Hales, T. C. "A Computer Verification of the Kepler Conjecture." Proceedings of the International Congress of Mathematicians, Vol. II. Invited lectures. Held in Beijing, August 20-28, 20027040086905 (Ed. T. Li). Beijing, China: Higher Education Press, pp. 795-804, 2002.Hales, T. C. "The Kepler Conjecture." http://www.math.pitt.edu/~thales/kepler98/.Hales, T. C. "The Flyspeck Project." http://www.math.pitt.edu/~thales/flyspeck/.Hales, T. C. and Ferguson, S. P. Submitted to Ann. Math. 2003.Holden, C. (Ed.). "Stacking Up the Evidence." Science 299, 1512, 2003.Hsiang, W.-Y. "On Soap Bubbles and Isoperimetric Regions in Noncompact Symmetrical Spaces. 1." Tôhoku Math. J. 44, 151-175, 1992.Hsiang, W.-Y. "On the Sphere Packing Problem and the Proof of Kepler's Conjecture." Int. J. Math. 4, 739-831, 1993.Hsiang, W.-Y. "A Rejoinder to Hales's Article." Math. Intel. 17, 35-42, Winter 1995.Sloane, N. J. A. "Kepler's Conjecture Confirmed." Nature 395, 435-436, 1998.Szpiro, G. "Does the Proof Stack Up?" Nature 424, 12-13, 2003.Zong, C. and Talbot, J. Sphere Packings. New York: Springer-Verlag, 1999.

Cite this as:

Weisstein, Eric W. "Kepler Conjecture." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/KeplerConjecture.html

Subject classifications