Sphere Packing
Sphere Packing
A typical sphere packing problem is to find an arrangement in Sphere packing finds practical
which the spheres fill as much of the space as possible. The application in the stacking of
cannonballs.
proportion of space filled by the spheres is called the packing
density of the arrangement. As the local density of a packing in an
infinite space can vary depending on the volume over which it is measured, the problem is usually to
maximise the average or asymptotic density, measured over a large enough volume.
For equal spheres in three dimensions, the densest packing uses approximately 74% of the volume. A
random packing of equal spheres generally has a density around 63.5%.[1]
Regular packing
Dense packing
In three-dimensional Euclidean space, the densest packing of equal spheres is achieved by a family of
structures called close-packed structures. One method for generating such a structure is as follows.
Consider a plane with a compact arrangement of spheres on it. Call it A. For any three neighbouring
spheres, a fourth sphere can be placed on top in the hollow between the three bottom spheres. If we do
this for half of the holes in a second plane above the first, we create a new compact layer. There are two
possible choices for doing this, call them B and C. Suppose that we chose B. Then one half of the hollows
of B lies above the centers of the balls in A and one half lies above the hollows of A which were not used
for B. Thus the balls of a third layer can be placed either directly
above the balls of the first one, yielding a layer of type A, or above
the holes of the first layer which were not occupied by the second
layer, yielding a layer of type C. Combining layers of types A, B,
and C produces various close-packed structures.
density of .[5]
When spheres are randomly added to a container and then compressed, they will generally form what is
known as an "irregular" or "jammed" packing configuration when they can be compressed no more. This
irregular packing will generally have a density of about 64%. Recent research predicts analytically that it
cannot exceed a density limit of 63.4%[9] This situation is unlike the case of one or two dimensions,
where compressing a collection of 1-dimensional or 2-dimensional spheres (that is, line segments or
circles) will yield a regular packing.
Hypersphere packing
The sphere packing problem is the three-dimensional version of a class of ball-packing problems in
arbitrary dimensions. In two dimensions, the equivalent problem is packing circles on a plane. In one
dimension it is packing line segments into a linear universe.[10]
In dimensions higher than three, the densest lattice packings of hyperspheres are known up to 8
dimensions.[11] Very little is known about irregular hypersphere packings; it is possible that in some
dimensions the densest packing may be irregular. Some support for this conjecture comes from the fact
that in certain dimensions (e.g. 10) the densest known irregular packing is denser than the densest known
regular packing.[12]
In 2016, Maryna Viazovska announced a proof that the E8 lattice provides the optimal packing
(regardless of regularity) in eight-dimensional space,[13] and soon afterwards she and a group of
collaborators announced a similar proof that the Leech lattice is optimal in 24 dimensions.[14] This result
built on and improved previous methods which showed that these two lattices are very close to
optimal.[15] The new proofs involve using the Laplace transform of a carefully chosen modular function
to construct a radially symmetric function f such that f and its Fourier transform f̂ both equal 1 at the
origin, and both vanish at all other points of the optimal lattice, with f negative outside the central sphere
of the packing and f̂ positive. Then, the Poisson summation formula for f is used to compare the density
of the optimal lattice with that of any other packing.[16] Before the proof had been formally refereed and
published, mathematician Peter Sarnak called the proof "stunningly simple" and wrote that "You just start
reading the paper and you know this is correct."[17]
Another line of research in high dimensions is trying to find asymptotic bounds for the density of the
densest packings. It is known that for large n, the densest lattice in dimension n has density between
cn ⋅ 2−n (for some constant c) and 2−(0.599+o(1))n.[18] Conjectural bounds lie in between.[19] In a 2023
preprint, Marcelo Campos, Matthew Jenssen, Marcus Michelen and Julian Sahasrabudhe improved the
lower bound of the maximal density to ,[20][21] among their techniques they
When the smaller sphere has a radius greater than 0.41421 of the radius of the larger sphere, it is no
longer possible to fit into even the octahedral holes of the close-packed structure. Thus, beyond this point,
either the host structure must expand to accommodate the interstitials (which compromises the overall
density), or rearrange into a more complex crystalline compound structure. Structures are known which
exceed the close packing density for radius ratios up to 0.659786.[22][25]
Upper bounds for the density that can be obtained in such binary packings have also been obtained.[26]
In many chemical situations such as ionic crystals, the stoichiometry is constrained by the charges of the
constituent ions. This additional constraint on the packing, together with the need to minimize the
Coulomb energy of interacting charges leads to a diversity of optimal packing arrangements.
The upper bound for the density of a strictly jammed sphere packing with any set of radii is 1 – an
example of such a packing of spheres is the Apollonian sphere packing. The lower bound for such a
sphere packing is 0 – an example is the Dionysian sphere packing.[27]
Hyperbolic space
Although the concept of circles and spheres can be extended to hyperbolic space, finding the densest
packing becomes much more difficult. In a hyperbolic space there is no limit to the number of spheres
that can surround another sphere (for example, Ford circles can be thought of as an arrangement of
identical hyperbolic circles in which each circle is surrounded by an infinite number of other circles). The
concept of average density also becomes much more difficult to define accurately. The densest packings
in any hyperbolic space are almost always irregular.[28]
Despite this difficulty, K. Böröczky gives a universal upper bound for the density of sphere packings of
hyperbolic n-space where n ≥ 2.[29] In three dimensions the Böröczky bound is approximately
85.327613%, and is realized by the horosphere packing of the order-6 tetrahedral honeycomb with
Schläfli symbol {3,3,6}.[30] In addition to this configuration at least three other horosphere packings are
known to exist in hyperbolic 3-space that realize the density upper bound.[31]
The problem of finding the arrangement of n identical spheres that maximizes the number of contact
points between the spheres is known as the "sticky-sphere problem". The maximum is known for n ≤ 11,
and only conjectural values are known for larger n.[33]
Other spaces
Sphere packing on the corners of a hypercube (with Hamming balls, spheres defined by Hamming
distance) corresponds to designing error-correcting codes: if the spheres have radius t, then their centers
are codewords of a (2t + 1)-error-correcting code. Lattice packings correspond to linear codes. There are
other, subtler relationships between Euclidean sphere packing and error-correcting codes. For example,
the binary Golay code is closely related to the 24-dimensional Leech lattice.
For further details on these connections, see the book Sphere Packings, Lattices and Groups by Conway
and Sloane.[34]
See also
Close-packing of equal spheres
Apollonian sphere packing
Finite sphere packing
Hermite constant
Inscribed sphere
Kissing number
Sphere-packing bound
Random close pack
Cylinder sphere packing
Sphere packing in a sphere
References
1. Wu, Yugong; Fan, Zhigang; Lu, Yuzhu (1 May 2003). "Bulk and interior packing densities of
random close packing of hard spheres" (https://doi.org/10.1023/A:1023597707363). Journal
of Materials Science. 38 (9): 2019–2025. doi:10.1023/A:1023597707363 (https://doi.org/10.
1023%2FA%3A1023597707363). ISSN 1573-4803 (https://search.worldcat.org/issn/1573-4
803). S2CID 137583828 (https://api.semanticscholar.org/CorpusID:137583828).
2. Dai, Weijing; Reimann, Joerg; Hanaor, Dorian; Ferrero, Claudio; Gan, Yixiang (13 March
2019). "Modes of wall induced granular crystallisation in vibrational packing" (https://hal.scie
nce/hal-02355176/document/#page=6). Granular Matter. 21 (2): 26. arXiv:1805.07865 (http
s://arxiv.org/abs/1805.07865). doi:10.1007/s10035-019-0876-8 (https://doi.org/10.1007%2Fs
10035-019-0876-8). ISSN 1434-7636 (https://search.worldcat.org/issn/1434-7636).
S2CID 254106945 (https://api.semanticscholar.org/CorpusID:254106945).
3. Gauß, C. F. (1831). "Besprechung des Buchs von L. A. Seeber: Untersuchungen über die
Eigenschaften der positiven ternären quadratischen Formen usw" [Discussion of L. A.
Seeber's book: Studies on the characteristics of positive ternary quadratic forms etc].
Göttingsche Gelehrte Anzeigen.
4. "Long-term storage for Google Code Project Hosting" (https://code.google.com/p/flyspeck/wi
ki/AnnouncingCompletion). Google Code Archive.
5. "Wolfram Math World, Sphere packing" (http://mathworld.wolfram.com/SpherePacking.html).
6. Torquato, S.; Stillinger, F. H. (2007). "Toward the jamming threshold of sphere packings:
Tunneled crystals". Journal of Applied Physics. 102 (9): 093511–093511–8.
arXiv:0707.4263 (https://arxiv.org/abs/0707.4263). Bibcode:2007JAP...102i3511T (https://ui.
adsabs.harvard.edu/abs/2007JAP...102i3511T). doi:10.1063/1.2802184 (https://doi.org/10.1
063%2F1.2802184). S2CID 5704550 (https://api.semanticscholar.org/CorpusID:5704550).
7. "Wolfram Math World, Sphere packing" (http://mathworld.wolfram.com/SpherePacking.html).
8. Chaikin, Paul (June 2007). "Random thoughts". Physics Today. 60 (6). American Institute of
Physics: 8. Bibcode:2007PhT....60f...8C (https://ui.adsabs.harvard.edu/abs/2007PhT....60f...
8C). doi:10.1063/1.2754580 (https://doi.org/10.1063%2F1.2754580). ISSN 0031-9228 (http
s://search.worldcat.org/issn/0031-9228).
9. Song, C.; Wang, P.; Makse, H. A. (29 May 2008). "A phase diagram for jammed matter".
Nature. 453 (7195): 629–632. arXiv:0808.2196 (https://arxiv.org/abs/0808.2196).
Bibcode:2008Natur.453..629S (https://ui.adsabs.harvard.edu/abs/2008Natur.453..629S).
doi:10.1038/nature06981 (https://doi.org/10.1038%2Fnature06981). PMID 18509438 (http
s://pubmed.ncbi.nlm.nih.gov/18509438). S2CID 4420652 (https://api.semanticscholar.org/C
orpusID:4420652).
10. Griffith, J.S. (1962). "Packing of equal 0-spheres". Nature. 196 (4856): 764–765.
Bibcode:1962Natur.196..764G (https://ui.adsabs.harvard.edu/abs/1962Natur.196..764G).
doi:10.1038/196764a0 (https://doi.org/10.1038%2F196764a0). S2CID 4262056 (https://api.s
emanticscholar.org/CorpusID:4262056).
11. Weisstein, Eric W. "Hypersphere Packing" (https://mathworld.wolfram.com/HyperspherePac
king.html). MathWorld.
12. Sloane, N. J. A. (1998). "The Sphere-Packing Problem". Documenta Mathematica. 3: 387–
396. arXiv:math/0207256 (https://arxiv.org/abs/math/0207256).
Bibcode:2002math......7256S (https://ui.adsabs.harvard.edu/abs/2002math......7256S).
13. Viazovska, Maryna (1 January 2017). "The sphere packing problem in dimension 8" (http://a
nnals.math.princeton.edu/2017/185-3/p07). Annals of Mathematics. 185 (3): 991–1015.
arXiv:1603.04246 (https://arxiv.org/abs/1603.04246). doi:10.4007/annals.2017.185.3.7 (http
s://doi.org/10.4007%2Fannals.2017.185.3.7). ISSN 0003-486X (https://search.worldcat.org/i
ssn/0003-486X). S2CID 119286185 (https://api.semanticscholar.org/CorpusID:119286185).
14. Cohn, Henry; Kumar, Abhinav; Miller, Stephen; Radchenko, Danylo; Viazovska, Maryna (1
January 2017). "The sphere packing problem in dimension 24" (http://annals.math.princeto
n.edu/2017/185-3/p08). Annals of Mathematics. 185 (3): 1017–1033. arXiv:1603.06518 (http
s://arxiv.org/abs/1603.06518). doi:10.4007/annals.2017.185.3.8 (https://doi.org/10.4007%2F
annals.2017.185.3.8). ISSN 0003-486X (https://search.worldcat.org/issn/0003-486X).
S2CID 119281758 (https://api.semanticscholar.org/CorpusID:119281758).
15. Cohn, Henry; Kumar, Abhinav (2009), "Optimality and uniqueness of the Leech lattice
among lattices", Annals of Mathematics, 170 (3): 1003–1050, arXiv:math.MG/0403263 (http
s://arxiv.org/abs/math.MG/0403263), doi:10.4007/annals.2009.170.1003 (https://doi.org/10.4
007%2Fannals.2009.170.1003), ISSN 1939-8980 (https://search.worldcat.org/issn/1939-898
0), MR 2600869 (https://mathscinet.ams.org/mathscinet-getitem?mr=2600869),
S2CID 10696627 (https://api.semanticscholar.org/CorpusID:10696627), Zbl 1213.11144 (htt
ps://zbmath.org/?format=complete&q=an:1213.11144) Cohn, Henry; Kumar, Abhinav
(2004), "The densest lattice in twenty-four dimensions", Electronic Research
Announcements of the American Mathematical Society, 10 (7): 58–67,
arXiv:math.MG/0408174 (https://arxiv.org/abs/math.MG/0408174),
Bibcode:2004math......8174C (https://ui.adsabs.harvard.edu/abs/2004math......8174C),
doi:10.1090/S1079-6762-04-00130-1 (https://doi.org/10.1090%2FS1079-6762-04-00130-1),
ISSN 1079-6762 (https://search.worldcat.org/issn/1079-6762), MR 2075897 (https://mathsci
net.ams.org/mathscinet-getitem?mr=2075897), S2CID 15874595 (https://api.semanticschol
ar.org/CorpusID:15874595)
16. Miller, Stephen D. (4 April 2016), The solution to the sphere packing problem in 24
dimensions via modular forms (https://www.youtube.com/watch?v=8qlZjarkS_g), Institute for
Advanced Study, archived (https://ghostarchive.org/varchive/youtube/20211221/8qlZjarkS_
g) from the original on 21 December 2021. Video of an hour-long talk by one of Viazovska's
co-authors explaining the new proofs.
17. Klarreich, Erica (30 March 2016), "Sphere Packing Solved in Higher Dimensions" (https://w
ww.quantamagazine.org/sphere-packing-solved-in-higher-dimensions-20160330/), Quanta
Magazine
18. Cohn, Henry (2017), "A conceptual breakthrough in sphere packing" (https://www.ams.org/jo
urnals/notices/201702/rnoti-p102.pdf) (PDF), Notices of the American Mathematical Society,
64 (2): 102–115, arXiv:1611.01685 (https://arxiv.org/abs/1611.01685), doi:10.1090/noti1474
(https://doi.org/10.1090%2Fnoti1474), ISSN 0002-9920 (https://search.worldcat.org/issn/000
2-9920), MR 3587715 (https://mathscinet.ams.org/mathscinet-getitem?mr=3587715),
S2CID 16124591 (https://api.semanticscholar.org/CorpusID:16124591)
19. Torquato, S.; Stillinger, F. H. (2006), "New conjectural lower bounds on the optimal density
of sphere packings" (https://www.tandfonline.com/doi/pdf/10.1080/10586458.2006.1012896
4), Experimental Mathematics, 15 (3): 307–331, arXiv:math/0508381 (https://arxiv.org/abs/m
ath/0508381), doi:10.1080/10586458.2006.10128964 (https://doi.org/10.1080%2F1058645
8.2006.10128964), MR 2264469 (https://mathscinet.ams.org/mathscinet-getitem?mr=22644
69), S2CID 9921359 (https://api.semanticscholar.org/CorpusID:9921359)
20. Campos, Marcelo; Jenssen, Matthew; Michelen, Marcus; Sahasrabudhe, Julian (2023). "A
new lower bound for sphere packing". arXiv:2312.10026 (https://arxiv.org/abs/2312.10026)
[math.MG (https://arxiv.org/archive/math.MG)].
21. Houston-Edwards, Kelsey (30 April 2024). "To Pack Spheres Tightly, Mathematicians Throw
Them at Random" (https://www.quantamagazine.org/to-pack-spheres-tightly-mathematician
s-throw-them-at-random-20240430/). Quanta Magazine. Retrieved 30 April 2024.
22. O'Toole, P. I.; Hudson, T. S. (2011). "New High-Density Packings of Similarly Sized Binary
Spheres". The Journal of Physical Chemistry C. 115 (39): 19037. doi:10.1021/jp206115p (ht
tps://doi.org/10.1021%2Fjp206115p).
23. Hudson, D. R. (1949). "Density and Packing in an Aggregate of Mixed Spheres". Journal of
Applied Physics. 20 (2): 154–162. Bibcode:1949JAP....20..154H (https://ui.adsabs.harvard.e
du/abs/1949JAP....20..154H). doi:10.1063/1.1698327 (https://doi.org/10.1063%2F1.169832
7).
24. Zong, C. (2002). "From deep holes to free planes" (https://doi.org/10.1090%2FS0273-0979-
02-00950-3). Bulletin of the American Mathematical Society. 39 (4): 533–555.
doi:10.1090/S0273-0979-02-00950-3 (https://doi.org/10.1090%2FS0273-0979-02-00950-3).
25. Marshall, G. W.; Hudson, T. S. (2010). "Dense binary sphere packings" (http://www.emis.de/j
ournals/BAG/vol.51/no.2/3.html). Contributions to Algebra and Geometry. 51 (2): 337–344.
26. de Laat, David; de Oliveira Filho, Fernando Mário; Vallentin, Frank (12 June 2012). "Upper
bounds for packings of spheres of several radii". Forum of Mathematics, Sigma. 2.
arXiv:1206.2608 (https://arxiv.org/abs/1206.2608). doi:10.1017/fms.2014.24 (https://doi.org/
10.1017%2Ffms.2014.24). S2CID 11082628 (https://api.semanticscholar.org/CorpusID:110
82628).
27. Dennis, Robert; Corwin, Eric (2 September 2021). "Dionysian Hard Sphere Packings Are
Mechanically Stable at Vanishingly Low Densities". Physical Review. 128 (1): 018002.
arXiv:2006.11415 (https://arxiv.org/abs/2006.11415). doi:10.1103/PhysRevLett.128.018002
(https://doi.org/10.1103%2FPhysRevLett.128.018002).
28. Bowen, L.; Radin, C. (2002). "Densest Packing of Equal Spheres in Hyperbolic Space" (http
s://doi.org/10.1007%2Fs00454-002-2791-7). Discrete and Computational Geometry. 29:
23–39. doi:10.1007/s00454-002-2791-7 (https://doi.org/10.1007%2Fs00454-002-2791-7).
29. Böröczky, K. (1978). "Packing of spheres in spaces of constant curvature". Acta
Mathematica Academiae Scientiarum Hungaricae. 32 (3–4): 243–261.
doi:10.1007/BF01902361 (https://doi.org/10.1007%2FBF01902361). S2CID 122561092 (htt
ps://api.semanticscholar.org/CorpusID:122561092).
30. Böröczky, K.; Florian, A. (1964). "Über die dichteste Kugelpackung im hyperbolischen
Raum". Acta Mathematica Academiae Scientiarum Hungaricae. 15 (1–2): 237–245.
doi:10.1007/BF01897041 (https://doi.org/10.1007%2FBF01897041). S2CID 122081239 (htt
ps://api.semanticscholar.org/CorpusID:122081239).
31. Kozma, R. T.; Szirmai, J. (2012). "Optimally dense packings for fully asymptotic Coxeter
tilings by horoballs of different types". Monatshefte für Mathematik. 168: 27–47.
arXiv:1007.0722 (https://arxiv.org/abs/1007.0722). doi:10.1007/s00605-012-0393-x (https://d
oi.org/10.1007%2Fs00605-012-0393-x). S2CID 119713174 (https://api.semanticscholar.org/
CorpusID:119713174).
32. Bezdek, Karoly; Reid, Samuel (2013). "Contact Graphs of Sphere Packings Revisited".
Journal of Geometry. 104 (1): 57–83. arXiv:1210.5756 (https://arxiv.org/abs/1210.5756).
doi:10.1007/s00022-013-0156-4 (https://doi.org/10.1007%2Fs00022-013-0156-4).
S2CID 14428585 (https://api.semanticscholar.org/CorpusID:14428585).
33. "The Science of Sticky Spheres" (https://www.americanscientist.org/article/the-science-of-sti
cky-spheres). American Scientist. 6 February 2017. Retrieved 14 July 2020.
34. Conway, John H.; Sloane, Neil J. A. (1998). Sphere Packings, Lattices and Groups (https://b
ooks.google.com/books?id=ITDvBwAAQBAJ) (3rd ed.). Springer Science & Business
Media. ISBN 0-387-98585-9.
Bibliography
Aste, T.; Weaire, D. (2000). The Pursuit of Perfect Packing. London: Institute of Physics
Publishing. ISBN 0-7503-0648-3.
Conway, J. H.; Sloane, N. J. H. (1998). Sphere Packings, Lattices and Groups (https://archiv
e.org/details/spherepackingsla0000conw_b8u0) (3rd ed.). Springer. ISBN 0-387-98585-9.
Sloane, N. J. A. (1984). "The Packing of Spheres". Scientific American. 250: 116–125.
Bibcode:1984SciAm.250e.116G (https://ui.adsabs.harvard.edu/abs/1984SciAm.250e.116
G). doi:10.1038/scientificamerican0584-116 (https://doi.org/10.1038%2Fscientificamerican0
584-116).
External links
Dana Mackenzie (May 2002) "A fine mess" (http://www.ma.utexas.edu/users/radin/reviews/n
ewscientist2.html) (New Scientist)