A Rejoinder to Hales’s Article
 WuYi Hsiang
 … show all 1 hide
Rent the article at a discount
Rent now* Final gross prices may vary according to local VAT.
Get AccessConclusion
This then is an itembyitem reality check on the mathematical content of their objections to my article [2], on which they have based their assessment on the status of the Kepler conjecture. It should now be clear from the responses that their objections are without any mathematical foundations.
Let me conclude this article with a few remarks on the proof of Kepler’s conjecture.

Although the definition of close neighbors to be spheres with centerdistance at most 2.18 is notcanonical, it plays a useful role in simplifying proofs in many places.

The locally averaged density introduced in [2] §3 is a specific weighted average of the local densities of a central sphere and its close neighbors. It enables us to reduce the proof of Kepler’s conjecture to the optimal estimation of such alocal invariant (see [2], Lemma 1 and Theorem 2).

Lower bound volume estimation of the local cells in various geometric settings is, of course, the basic technique involved in theoptimal estimations of both thelocal density and thelocally averaged density (see [2], Theorems 1 and 2). A system of volume estimation techniques tailored for this purpose are developed in §§4, 5, and 6 of [2].

The cluster of spheres consisting of a central sphere and itsclose neighbors is called a core packing. The geometry of core packings with 12 or 13 close neighbours are essentially the only ones whose local geometry plays a critical role in the proof of Kepler’s conjecture. Techniques in spherical geometry are developed in order to analyze the relevant aspects of the geometry of these types of core packings (see [2], §§7 and 8).

Technically, the volume estimation of the resulting local cell of a given type of local extension is much simpler than that involved in the optimal estimation of the local density when there is no restriction on the local extension at all. Here, the control on the bucklingeffect and the understanding of the geometry of core packings with 12 close neighbors (see [2], §8) plays a major role.

Kepler’s conjecture is a natural and fundamental problem about threedimensional Euclidean space (the space in which we live) which involves the arrangement of infinitely many identical spheres. It is natural that spherical geometry should play the major role throughout the proof of Kepler’s conjecture. In retrospect, I find my understanding of spherical geometry considerably enriched through working on this problem. I think a truly interested and sufficiently patient reader of [2] will not only understand the proof of Kepler’s conjecture but also share this valuable experience. Spherical geometry is the “orthogonal part” of Euclidean geometry, where many of the deeper properties of Euclidean space reside. One may say that the study of the sphere packing problem enables us to understand E^{3} better. The techniques in spherical geometry developed for the purpose of proving Kepler’s conjecture may well find further use in the geometry and physics of solids.
 Hales, T.C. (1994) The status of the Kepler conjecture. Mathematical Intelligencer 16: pp. 4758 CrossRef
 Hsiang, W.Y. (1993) On the sphere packing problem and the proof of Kepler’s conjecture. Int. J. Math 4: pp. 739831 CrossRef
 Schütte, K., Waerden, B. L. (1953) Das Problem der dreizehn Kugeln. Math. Annalen 125: pp. 325334 CrossRef
 W.Y. Hsiang,Lectures on the geometry of spheres, Department of Mathematics, University of California, Berkeley (1994) (mimeographed).
 I. Stewart, Has the sphere packing problem been solved?,New Scientist (2 May 1992), 16.
 Title
 A Rejoinder to Hales’s Article
 Journal

The Mathematical Intelligencer
Volume 17, Issue 1 , pp 3542
 Cover Date
 19951201
 DOI
 10.1007/BF03024716
 Print ISSN
 03436993
 Publisher
 SpringerVerlag
 Additional Links
 Topics
 Industry Sectors
 Authors

 WuYi Hsiang ^{(1)}
 Author Affiliations

 1. Department of Mathematics, University of California, 94720, Berkeley, CA, USA