Dense Sphere Packings

The definitive account of the recent computer solution of the oldest problem in discrete geometry.

The second edition of this timely, definitive, and popular book continues to pursue the question: what is the most efficient way to pack a large number of equal spheres in n-dimensional Euclidean space? The authors also continue to examine related problems such as the kissing number problem, the covering problem, the quantizing problem, and the classification of lattices and quadratic forms. Like the first edition, the second edition describes the applications of these questions to other areas of mathematics and science such as number theory, coding theory, group theory, analog-to-digital conversion and data compression, n-dimensional crystallography, and dual theory and superstring theory in physics. Results as of 1992 have been added to the text, and the extensive bibliography - itself a contribution to the field - is supplemented with approximately 450 new entries.

The definitive account of the recent computer solution of the oldest problem in discrete geometry.

Sphere packings is one of the most fascinating and challenging subjects in mathematics. In the course of centuries, many exciting results have been obtained, ingenious methods created, related challenging problems proposed, and many surprising connections with other subjects found. This book gives a full account of this fascinating subject, especially its local aspects, discrete aspects, and its proof methods. The book includes both classical and contemporary results and provides a full treatment of the subject.

The Kepler conjecture, one of geometry's oldest unsolved problems, was formulated in 1611 by Johannes Kepler and mentioned by Hilbert in his famous 1900 problem list. The Kepler conjecture states that the densest packing of three-dimensional Euclidean space by equal spheres is attained by the “cannonball" packing. In a landmark result, this was proved by Thomas C. Hales and Samuel P. Ferguson, using an analytic argument completed with extensive use of computers. This book centers around six papers, presenting the detailed proof of the Kepler conjecture given by Hales and Ferguson, published in 2006 in a special issue of Discrete & Computational Geometry. Further supporting material is also presented: a follow-up paper of Hales et al (2010) revising the proof, and describing progress towards a formal proof of the Kepler conjecture. For historical reasons, this book also includes two early papers of Hales that indicate his original approach to the conjecture. The editor's two introductory chapters situate the conjecture in a broader historical and mathematical context. These chapters provide a valuable perspective and are a key feature of this work.

In 1998 Thomas Hales dramatically announced the solution of a problem that has long teased eminent mathematicians: what is the densest possible arrangement of identical spheres? The Pursuit of Perfect Packing recounts the story of this problem and many others that have to do with packing things together. The examples are taken from mathematics, phy

Lattices are discrete subgroups of maximal rank in a Euclidean space. To each such geometrical object, we can attach a canonical sphere packing which, assuming some regularity, has a density. The question of estimating the highest possible density of a sphere packing in a given dimension is a fascinating and difficult problem: the answer is known only up to dimension 3. This book thus discusses a beautiful and central problem in mathematics, which involves geometry, number theory, coding theory and group theory, centering on the study of extreme lattices, i.e. those on which the density attains a local maximum, and on the so-called perfection property. Written by a leader in the field, it is closely related to, though disjoint in content from, the classic book by J.H. Conway and N.J.A. Sloane, Sphere Packings, Lattices and Groups, published in the same series as vol. 290. Every chapter except the first and the last contains numerous exercises. For simplicity those chapters involving heavy computational methods contain only few exercises. It includes appendices on Semi-Simple Algebras and Quaternions and Strongly Perfect Lattices.

The dense packing of microscopic spheres (i.e. atoms) is the basic geometric arrangement in crystals of mono-atomic elements with weak covalent bonds, which achieves the optimal ?known density? of B/û18. In 1611, Johannes Kepler had already ?conjectured? that B/û18 should be the optimal ?density? of sphere packings. Thus, the central problems in the study of sphere packings are the proof of Kepler's conjecture that B/û18 is the optimal density, and the establishing of the least action principle that the hexagonal dense packings in crystals are the geometric consequence of optimization of density. This important book provides a self-contained proof of both, using vector algebra and spherical geometry as the main techniques and in the tradition of classical geometry.