Sphere packings V
Samuel P. Ferguson
Abstract
The Hales program to prove the Kepler conjecture on sphere packings consists of five steps, which if completed, will jointly comprise a proof of the conjecture. We carry out step five of the program [outlined in math.MG/9811073], a proof that the local density of a certain combinatorial arrangement, the pentahedral prism, is less than that of the face-centered cubic lattice packing. We prove various relations on the local density using computer-based interval arithmetic methods. Together, these relations imply the local density bound.
Create a lesson
Related papers
Each simplex in R4 has a point with at least 14 emanating normals to its boundary
Ivan Nasonov, Gaiane Panina
Pointed Gromov-Hausdorff Distance between lp-Wedge Sums and Isometric Embeddings of l∞
Emin Abdullaev
Embedding large subsets of Wasserstein spaces into Banach spaces
Cyril Letrouit, Quentin Mérigot
A Smooth Covariogram and the Transition Between Projection Bodies
J. Haddad, C. H. Jiménez, M. Resende Guedes
Intermediate coverings, random images, and projections
Yunhao Zhao, Yingyu Zhao, Chen Zhou et al.
On the Graph Corresponding to Center of Distances of Metric Space
Oleksiy Dovgoshey, Olga Rovenska