Jump to content

Finite sphere packing

From Wikipedia, the free encyclopedia

In mathematics, the theory of finite sphere packing concerns the question of how a finite number of equally-sized spheres can be most efficiently packed. The question of packing finitely many spheres has only been investigated in detail in recent decades, with much of the groundwork being laid by László Fejes Tóth.

The similar problem for infinitely many spheres has a longer history of investigation, from which the Kepler conjecture is most well-known. Atoms in crystal structures can be simplistically viewed as closely-packed spheres and treated as infinite sphere packings thanks to their large number.

Sphere packing problems are distinguished between packings in given containers and free packings. This article primarily discusses free packings.

Packing and convex hulls

[edit]
Convex hull in blue

In general, a packing refers to any arrangement of a set of spatially-connected, possibly differently-sized or differently-shaped objects in space such that none of them overlap. In the case of the finite sphere packing problem, these objects are restricted to equally-sized spheres. Such a packing of spheres determines a specific volume known as the convex hull of the packing, defined as the smallest convex set that includes all the spheres.

Packing shapes

[edit]

There are many possible ways to arrange spheres, which can be classified into three basic groups: sausage, pizza, and cluster packing.[1]

Sausage packing

[edit]

An arrangement in which the midpoint of all the spheres lie on a single straight line is called a sausage packing, as the convex hull has a sausage-like shape. An approximate example in real life is the packing of tennis balls in a tube, though the ends must be rounded for the tube to coincide with the actual convex hull.

Pizza packing

[edit]

If all the midpoints lie on a plane, the packing is a pizza packing. Approximate real-life examples of this kind of packing include billiard balls being packed in a triangle as they are set up. This holds for packings in three-dimensional Euclidean space.

Cluster packing

[edit]

If the midpoints of the spheres are arranged throughout 3D space, the packing is termed a cluster packing. Real-life approximations include fruit being packed in multiple layers in a box.

Relationships between types of packing

[edit]

By the given definitions, any sausage packing is technically also a pizza packing, and any pizza packing is technically also a cluster packing. In the more general case of dimensions, "sausages" refer to one-dimensional arrangements, "clusters" to -dimensional arrangements, and "pizzas" to those with an in-between number of dimensions.[1]

One or two spheres always make a sausage. With three, a pizza packing (that is not also a sausage) becomes possible, and with four or more, clusters (that are not also pizzas) become possible.

Optimal packing

[edit]

The empty space between spheres varies depending on the type of packing. The amount of empty space is measured in the packing density, which is defined as the ratio of the volume of the spheres to the volume of the total convex hull. The higher the packing density, the less empty space there is in the packing and thus the smaller the volume of the hull (in comparison to other packings with the same number and size of spheres).

To pack the spheres efficiently, it might be asked which packing has the highest possible density. It is easy to see that such a packing should have the property that the spheres lie next to each other, that is, each sphere should touch another on the surface. A more exact phrasing is to form a graph which assigns a vertex for each sphere and connects vertices with edges whenever the corresponding spheres if their surfaces touch. Then the highest-density packing must satisfy the property that the corresponding graph is connected.

Sausage catastrophe

[edit]

With three or four spheres, the sausage packing is optimal. It is believed that this holds true for any up to along with .[1][2] For and , a cluster packing exists that is more efficient that the sausage packing, as shown in 1992 by Jörg Wills and Pier Mario Gandini.[2][3] It remains unknown what these most efficient cluster packings look like. For example, in the case , it is known that the optimal packing is not a tetrahedral packing like the classical packing of cannon balls, but is likely some kind of octahedral shape.[1]

The sudden transition in optimal packing shape is jokingly known by some mathematicians as the sausage catastrophe (Wills, 1985).[4] The designation catastrophe comes from the fact that the optimal packing shape suddenly shifts from the orderly sausage packing to the relatively unordered cluster packing and vice versa as one goes from one number to another, without a satisfying explanation as to why this happens. Even so, the transition in three dimensions is relatively tame; in dimensions the sudden transition is conjectured to happen around 377000 spheres.[1]

For dimensions , the optimal packing is always either a sausage or a cluster, and never a pizza. It is an open problem whether this holds true for all dimensions. This result only concerns spheres and not other convex bodies; in fact Gritzmann and Arhelger observed that for any dimension there exists a convex shape for which the closest packing is a pizza.[1]

Example of the sausage packing being non-optimal

[edit]

In the following section it is shown that for 455 spheres the sausage packing is non-optimal, and that there instead exists a special cluster packing that occupies a smaller volume.

The volume of a convex hull of a sausage packing with spheres of radius is calculable with elementary geometry. The middle part of the hull is a cylinder with length while the caps at the end are half-spheres with radius . The total volume is therefore given by.

Similarly, it is possible to find the volume of the convex hull of a tetrahedral packing, in which the spheres are arranged so that they form a tetrahedral shape, which only leads to completely filled tetrahedra for specific numbers of spheres. If there are spheres along one edge of the tetrahedron, the total number of spheres is given by

.

Now the inradius of a tetrahedral with side length is

.

From this we have

.

The volume of the tetrahedron is then given by the formula

In the case of many spheres being arranged inside a tetrahedron, the length of an edge increases by twice the radius of a sphere for each new layer, meaning that for layers the side length becomes

.

Substituting this value into the volume formula for the tetrahedron, we know that the volume of the convex hull must be smaller than the tetrahedron itself, so that

.

Taking the number of spheres in a tetrahedron of layers and substituting into the earlier expression to get the volume of the convex hull of a sausage packing with the same number of spheres, we have

.

For , which translates to spheres the coefficient in front of is about 2845 for the tetrahedral packing and 2856 for the sausage packing, which implies that for this number of spheres the tetrahedron is more closely packed.

It is also possible with some more effort to derive the exact formula for the volume of the tetrahedral convex hull , which would involve subtracting the excess volume at the corners and edges of the tetrahedron. This allows the sausage packing to be proved non-optimal for smaller values of and therefore .

Sausage conjecture

[edit]

The term sausage comes from the mathematician László Fejes Tóth, who posited the sausage conjecture in 1975,[5] which concerns a generalized version of the problem to spheres, convex hulls, and volume in higher dimensions. A generalized sphere in dimensions is a -dimensional body in which every boundary point lies equally far away from the midpoint. Fejes Tóth's sausage conjecture then states that from upwards it is always optimal to arrange the spheres along a straight line. That is, the sausage catastrophe no longer occurs once we go above 4 dimensions. The overall conjecture remains open. The best results so far are those of Ulrich Betke und Martin Henk,[6] who proved the conjecture for dimensions 42 and above.

[edit]

While it may be proved that the sausage packing is not optimal for 56 spheres, and that there must be some other packing that is optimal, it is not known what the optimal packing looks like. It is difficult to find the optimal packing as there is no "simple" formula for the volume of an arbitrarily shaped cluster. Optimality (and non-optimality) is shown through appropriate estimates of the volume, using methods from convex geometry, such as the Brunn-Minkowski inequality, mixed Minkowski volumes and Steiner's formula. A crucial step towards a unified theory of both finite and infinite (lattice and non-lattice) sphere packings was the introduction of parametric densities by Jörg Wills in 1992. The parametric density takes into account the influence of the edges of the packing.[7]

The definition of density used earlier concerns the volume of the convex hull of the spheres (or convex bodies) :

where is the convex hull of the midpoints of the spheres (instead of the sphere, we can also take an arbitrary convex body for ). For a linear arrangement (sausage), the convex hull is a line segment through all the midpoints of the spheres. The plus sign in the formula refers to Minkowski addition of sets, so that refers to the volume of the convex hull of the spheres.

This definition works in two dimensions, where Laszlo Fejes-Toth, Claude Rogers and others used it to formulate a unified theory of finite and infinite packings. In three dimensions, Wills gives a simple argument that such a unified theory is not possible based on this definition: The densest finite arrangement of coins in three dimensions is the sausage with . However, the optimal infinite arrangement is a hexagonal arrangement with , so the infinite value cannot be obtained as a limit of finite values. To solve this issue, Wills introduces a modification to the definition by adding a positive parameter :

allows the influence of the edges to be considered (giving the convex hull a certain thickness). This is then combined with methods from the theory of mixed volumes and geometry of numbers by Hermann Minkowski.

For each dimension there are parameter values and such that for the sausage is the densenst packing (for all integers ), while for and suffiricently large the cluster is densest. These parameters are dimension-specific. In two dimensions, so that there is a transition from sausages to clusters (sausage catastrophe).

There holds an inequality:[7]

where the volume of the unit ball in dimensions is . For , we have and it is predicted that this holds for all dimensions, in which case the value of can be found from that of .


References

[edit]
  1. ^ a b c d e f Wills, J. M. (1998). "Spheres and Sausages, crystals and catastrophes- and a joint packing theory". The Mathematical Intelligencer. 20 (1): 16–21. doi:10.1007/bf03024394. ISSN 0343-6993. S2CID 122751296.
  2. ^ a b Leppmeier, Max (1997). Kugelpackungen von Kepler bis heute (in German). Wiesbaden: Vieweg+Teubner Verlag. doi:10.1007/978-3-322-80299-6. ISBN 978-3-528-06792-2.
  3. ^ Gandini, P. M.; Wills, J. M. (1992). "On finite sphere-packings" (PDF). Mathematica Pannonica. 3 (1): 19–29.
  4. ^ Gritzmann, Peter; Wills, Jörg M. (1993), "Finite Packing and Covering", Handbook of Convex Geometry, Elsevier, pp. 861–897, doi:10.1016/b978-0-444-89597-4.50008-1, ISBN 978-0-444-89597-4, retrieved 2022-04-17
  5. ^ Hajnal, A.; Tóth, L. Fejes (1975). "Research problems". Periodica Mathematica Hungarica. 6 (2): 197–199. doi:10.1007/BF02018822. ISSN 0031-5303. S2CID 189833485.
  6. ^ Betke, U.; Henk, M. (1998). "Finite Packings of Spheres". Discrete & Computational Geometry. 19 (2): 197–227. doi:10.1007/PL00009341. ISSN 0179-5376.
  7. ^ a b Wills, Jörg M. (1995-01-01). "Kugelpackungen- Altes und Neues". Mitteilungen der Deutschen Mathematiker-Vereinigung. 3 (4). doi:10.1515/dmvm-1995-0407. ISSN 0942-5977. S2CID 179051027.