Abstract
This paper is the sixth and final part in a series of 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. In a previous paper in this series, a continuous function f on a compact space is defined, certain points in the domain are conjectured to give the global maxima, and the relation between this conjecture and the Kepler conjecture is established. In this paper we consider the set of all points in the domain for which the value of f is at least the conjectured maximum. To each such point, we attach a planar graph. It is proved that each such graph must be isomorphic to a tame graph, of which there are only finitely many up to isomorphism. Linear programming methods are then used to eliminate all possibilities, except for three special cases treated in earlier papers: pentahedral prisms, the face-centered cubic packing, and the hexagonal-close packing. The results of this paper rely on long computer calculations.
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
T. C. Hales, Sphere packings, I, Discrete Comput. Geom. 17 (1997), 1–51.
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, A proof of the Kepler conjecture, Ann. of Math. 162 (2005), 1065–1185.
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.)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 T.C. Hales
About this chapter
Cite this chapter
Hales, T.C. (2011). Sphere Packings, VI. Tame Graphs and Linear Programs. In: Lagarias, J.C. (eds) The Kepler Conjecture. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-1129-1_8
Download citation
DOI: https://doi.org/10.1007/978-1-4614-1129-1_8
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)