Abstract
In this survey we give an overview about some of the main results on parametric densities, a concept which unifies the theory of finite (free) packings and the classical theory of infinite packings.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The theory of infinite packings of convex bodies, in particular, lattice packings of spheres is a fundamental and classical topic in mathematics which plays a role in various branches of mathematics as number theory, group theory, geometry of numbers, algebra, and which has numerous applications to coding theory, cryptography, crystallography and more. Here the main problem is to arrange infinitely many non-overlapping (lattice-) translative copies of a given convex body such that the whole space is covered as much as possible, i.e., packed as densely a possible.
On the other hand one may say, that all packings in real world are finite, even the atoms in crystals or sand at the beach, and in the theory of finite packings we want to arrange finitely many non-overlapping (lattice-) translative copies of a convex body as good as possible. Roughly speaking, there are two different ways to specify “as good as possible”: The first one leads to so called bin packings where a container (bin) of a prescribed shape (ball, simplex, cube, etc.) but of minimal size (volume) is looked for containing a given number of non-overlapping (lattice-) translative copies of the given convex body. In contrast to this, we consider here so called free (finite) packings where the goal is to minimize the volume of the convex hull of a given number of non-overlapping (lattice-) translative copies of the convex body.
The volume-based free packing approach was introduced in 1892 by the Norwegian mathematician Axel Thue. For a given number of circles, he considered all possible packings and their convex hulls and asked for the minimal volume of these convex hulls. Thue’s approach was further developed between 1940 and 1972 by many prominent mathematicians, e.g., by L. Fejes Tóth, R.P. Bambah, C.A. Rogers, H. Groemer and H. Zassenhaus. They also established a joint theory of finite and infinite packings (and coverings) in the plane. However, for higher dimensions, Thue’s approach does not yield a joint theory of finite and infinite packings.
For the most interesting case of (free) finite sphere packings, L. Fejes Tóth formulated in 1975 his famous sausage conjecture, claiming that for dimensions \(\ge 5\) and any(!) number of unit balls, a linear arrangement of the balls, i.e., all midpoints are on a line and two consecutive balls touch each other, minimizes the volume of their convex hull. Currently, the sausage conjecture has been confirmed for all dimensions \(\ge 42\). The sausage conjecture shows already that finite packings have nothing or only little to do with classical infinite packings. This motivated the natural question to replace or to generalize Thue’s density by a more general density, which permits a joint theory of finite and infinite packings for all dimensions and which also explains strange phenomena of finite packings as so-called sausage catastrophes.
We will show in this note, that the parametric density found in 1993 is the right answer to this question; it contains, in particular, Thue’s density as a special case. As the name indicates, the parametric density depends on a parameter \(\rho >0\), and it turns out that for small \(\rho \) sausage-like arrangements are optimal, whereas for large \(\rho \) densest infinite packing arrangements are optimal. The parametric density, in particular, allows to obtain results on infinite packings via (limit) results on finite packings. Still, these results are, with a few exceptions, weaker than their classical infinite counterparts, but it is a tempting and interesting task to improve them and we kindly invite the reader to do so.
There is also an analogous theory of parametric densities for finite and infinite covering problems of convex bodies, introduced in Betke et al. (1995a). In this survey, however, we just consider packing problems and for a thorough treatment of finite and covering problems, including the parametric densities, we refer to the book of Böröczky (2004). As a general reference to packing and covering of convex bodies see, e.g., (Fejes Tóth 1999; Gruber 2007), and for sphere packings, e.g., (Cohn 2017a; Conway and Sloane 1999; Zong 1999).
The paper is organized as follows: After providing the necessary definitions and notations regarding infinite and finite packings in the next section, the parametric densities will be introduced in Sect. 3. In Sect. 4 we will discuss the small parameter range and in Sect. 5 the large one. Finite lattice packings with respect to parametric densities are discussed in the last section.
2 Notations and preliminaries
We are working in the d-dimensional Euclidean space \({\mathbb {R}}^d\), equipped with the standard inner product \(\left\langle {{\varvec{x}}},{{\varvec{y}}}\right\rangle ={{\varvec{x}}}^\intercal \,{{\varvec{y}}}\) for \({{\varvec{x}}},{{\varvec{y}}}\in {\mathbb {R}}^d\) and Euclidean norm \(\left|{{\varvec{x}}}\right|=\sqrt{\left\langle {{\varvec{x}}},{{\varvec{x}}}\right\rangle }\). \(B^d=\{{{\varvec{x}}}\in {\mathbb {R}}^d :\left|{{\varvec{x}}}\right|\le 1\}\) is the Euclidean (unit) ball centered at the origin \({{\varvec{0}}}\) of radius 1; its boundary \(\mathrm {bd}\,B^d\) is called unit sphere and will be denoted by \({\mathbb {S}}^{d-1}\). The set of all convex bodies \(K\subset {\mathbb {R}}^d\) is denoted by \({\mathcal {K}}^d\), i.e., \(K\in {\mathcal {K}}^d\), if K is convex, closed, bounded and \(\mathrm {int}\,(K)\), the interior of K is non-empty. The dimension of a set S is the dimension of its affine hull \(\mathrm {aff}\,(S)\) and it will be denoted by \(\dim S\). For \(K\in {\mathcal {K}}^d\) let
be the set of all packing sets of K. For \(C\in {{\mathcal {P}}}(K)\), the arrangement \(C+K\) is called a packing of K. In order to define the density of such a packing we denote by \(\mathrm {vol}\,(S)\) the volume, i.e., the d-dimensional Lebesgue measure of a measurable set \(S\subset {\mathbb {R}}^d\). For a finite set \(S\subset {\mathbb {R}}^d\) its cardinality is denoted by \(\# S\), and let \(W^d=[-1,1]^d\) be the cube of edge length 2 centered at the origin. Then for \(K\in {\mathcal {K}}^d\), \(C\in {{\mathcal {P}}}(K)\),
is called the density of the packing \(C+K\) and
is called the density of a densest packing of K.
Obviously, for any finite packing set C we have \(\delta (K,C)=0\). The idea of the quantity \(\delta (K,C)\) is to measure how much of the space \({\mathbb {R}}^d\) is occupied by \(C+K\), i.e., we would like to measure \(\mathrm {vol}\,(C+K)/\mathrm {vol}\,({\mathbb {R}}^d)\), and we do it mathematically by approximating \({\mathbb {R}}^d\) via the sequence \(\lambda \,W^d\). In particular, \(\delta (K,C)\) may depend on the gauge body (here \(W^d\)) by which we approximate \({\mathbb {R}}^d\). It was shown by Groemer (1963), however, that the definition of \(\delta (K)\) is independent of this gauge body, and that there exists an optimal packing set \(C_K\in {{\mathcal {P}}}(K)\) such that
Now we turn to finite (free) packings and to this end we consider for an integer \(n\in {\mathbb {N}}\),
the set of all packing sets of cardinality n. Here we want to find a packing set \(C_{K,n}\in {{\mathcal {P}}}_n(K)\) minimizing \(\mathrm {vol}\,(\mathrm {conv}\,\,C+K)\) among all \(C\in {{\mathcal {P}}}_n(K)\), where \(\mathrm {conv}\,\) denotes the convex hull. Hence, in analogy to (2.2), (2.3) we denote for \(K\in {\mathcal {K}}^d\) and \(C\in {{\mathcal {P}}}(K)\) with \(\# C<\infty \) by
the density of the finite packing \(C+K\) and
is called the density of a densest n-packing of K. The role of the index 1 will become clear soon, and it not hard to see that for any n there exists an optimal finite packing set \(C_{n,K}\) such that \(\delta _1(K,n)=\delta _1(K,C_K(n))\).
Of particular interest are here finite packing sets \(C=\{{{\varvec{x}}}_1,\ldots ,{{\varvec{x}}}_n\}\in {{\mathcal {P}}}_n(K)\) with \(\dim C=1\), i.e., all points are collinear. Since we also want to minimize \(\mathrm {vol}\,(\mathrm {conv}\,\{{{\varvec{x}}}_1,\ldots ,{{\varvec{x}}}_n\}+K)\) we may assume that for two consecutive points on this line, \({{\varvec{x}}}_i,{{\varvec{x}}}_j\), say, the translates \({{\varvec{x}}}_i+K\) and \({{\varvec{x}}}_j+K\) touch (Fig. 1). Hence, without loss of generality the points of such a packing set can be represented as
where \({{\varvec{u}}}\in {\mathbb {S}}^{d-1}\) is the direction of the line and with \(\left| {{\varvec{u}}}\right| _{K}\) we denote the norm induced by the origin symmetric body \(\frac{1}{2}(K-K)\), i.e.,
Packing sets \(S_n(K,{{\varvec{u}}})\) are called sausage configurations, where the name was coined by Fejes Tóth (1975) in the special setting \(K=B^d\). Obviously, in this case the density of such a sausage configuration is independent of the direction \({{\varvec{u}}}\) and therefore, it will be only denoted by \(S_n(B^d)\) and it is
where \(\kappa _i\) denotes the i-dimensional volume of the i-dimensional unite ball (Fig. 2).
The famous sausage conjecture of Fejes Tóth (1975) claims that for any number of balls, a sausage configuration is always best possible, provided \(d\ge 5\).
Conjecture 2.1
(Sausage conjecture) For \(d\ge 5\) and \(n\in {\mathbb {N}}\)
In the plane a sausage is never optimal for \(n\ge 3\) and for “almost all” \(n\in {\mathbb {N}}\) optimal packing configurations are known (see Kenn 2011; Schürmann 2000; Wegner 1986 and the references within).
In dimension 3 and 4 the situation is more complicated: In Betke and Gritzmann (1984), Betke et al. (1982) it was shown that among those finite packings sets C satisfying \(\dim C\le \min \{9,d-1\}\) or \(\dim C\le (7/12)(d-1)\) only sausages are optimal. Hence, in particular, for dimensions 3 and 4, no packings sets of intermediate dimensions are optimal, i.e., optimal packings sets are either 1-dimensional (sausages) or d-dimensional (clusters). It is easy to see that for small n sausages are optimal while for large n clusters are optimal and so the interesting question is: when, i.e., for which ”magic” numbers n does it happen? In dimension 3, results of Wills (1983, 1985), Gandini and Wills (1992) and Scholl (2000) show that certain clusters are denser than sausage configurations when \(n=56\) or \(n\ge 58\). In fact, it is conjectured that for \(n<56\) and \(n=57\) sausages are optimal. In dimension 4 it was shown by Gandini and Zucco (1992), Gandini (1994) that a cluster is better than a sausage configuration for \(n\ge 375{,}769\). This large number of spheres motivated the name sausage catastrophe given in Wills (1985) referring to the abrupt change of the optimal shape of an optimal packing set. For a German popular science article about the catastrophe and the conjecture see (Freistetter 2019).
Obtaining a unified theory for finite and infinite packings covering also these phenomena of sausage conjecture and sausage catastrophe was one motivation for the parametric density which we will define in the next section.
Tóth’s sausage conjecture was first proved via the parametric density approach in dimensions \(\ge \) 13,387 by Betke et al. (1994) which was later improved to \(d\ge 42\) by Betke and Henk (1998).
The sausage conjecture, in particular, implies that in general
and, in fact, this is known to be true for all dimensions \(d\ge 3\). Thus, large optimal finite packing sets do not “approximate” optimal infinite packing sets. However, as we will see next, this will be corrected via the parametric density.
3 The parametric density
The concept of a parametric density was introduced by Betke et al. (1994), and the definitions and results presented in this section are taken from this paper.
Definition 3.1
(Parametric density) Let \(\rho >0\) and \(K\in {\mathcal {K}}^d\).
-
(i)
Let \(C\in {{\mathcal {P}}}(K)\) with \(C<\infty \),
$$\begin{aligned} \delta _\rho (K,C)=\frac{\# C\,\mathrm {vol}\,(K)}{\mathrm {vol}\,(\mathrm {conv}\,C +\rho \,K)} \end{aligned}$$(3.1)is called the parametric density of C with respect to K and the parameter \(\rho \).
-
(ii)
$$\begin{aligned} \delta _\rho (K,n)=\sup \{ \delta _\rho (K,C): C\in {{\mathcal {P}}}_n(K)\} \end{aligned}$$
is called the parametric density of a densest n-packing of K with respect to the parameter \(\rho \).
-
(iii)
$$\begin{aligned} \delta _\rho (K)=\limsup _{n\rightarrow \infty } \delta _\rho (K,n) \end{aligned}$$
is called the parametric limit density of K with respect to the parameter \(\rho \).
Apparently, for \(\rho =1\), the definitions in (i) and (ii) coincide with the previous given definitions of \(\delta _1(K,C)\) (2.4) and \(\delta _1(K,n)\) (2.5), and again it is easy to see that the \(\sup \) in (ii) may be replaced by a \(\max \).
It is also easy to check, that \(\delta _\rho (K,C)\), \(\delta _\rho (K,n)\) and \(\delta _\rho (K)\) are monotonously decreasing and continuous in \(\rho \). Moreover, \(\delta _\rho (K,n)\) and \(\delta _\rho (K)\) are invariant with respect to regular affine transformations of K. By calculating the finite parametric density of large clusters of a densest infinite packing one gets for all \(\rho > 0\)
In order to understand the role of the parameter \(\rho \) we briefly recall some basic facts about mixed volumes, which implicitly appear in the denominator of (3.1), and for a detailed account we refer, e.g., to Gruber (2007), Schneider (2014). It is a classical fact from convex geometry, that the volume of \(\mathrm {conv}\,C+\rho K\) can be written as a polynomial in \(\rho \) of degree d, the so-called generalized Steiner-polynomial:
where the coefficients \(\mathrm {V}_i(\mathrm {conv}\,C;K)\) are called mixed volumes. In particular, we have \(\mathrm {V}_d(\mathrm {conv}\,C;K)=\mathrm {vol}\,(K)\), \(\mathrm {V}_0(\mathrm {conv}\,C;K)=\mathrm {vol}\,(\mathrm {conv}\,C)\) and for \(K\in {\mathcal {K}}^d\) it is \(\mathrm {V}_i(\mathrm {conv}\,C;K) = 0\) if and only if \(\dim C < d-i\). So in order to determine \(\delta _\rho (K,n)\) we have to minimize
over all \(C\in {{\mathcal {P}}}_n(K)\). A large parameter \(\rho \) gives a strong weight on the mixed volumes with a high index i. So it seems preferable to make mixed volumes with a small index rather large, which means that optimal packing set should be of dimensions d. Hence, we can expect that for large \(\rho \) and large n, optimal finite parametric densities converge to the density of a densest infinite packing (Fig. 3). Therefore, we define
Definition 3.2
(Critical parameter) For \(K\in {\mathcal {K}}^d\) let
On the other hand, a small \(\rho \) gives a strong weight to the mixed volumes with a small index, and so low-dimensional packing sets C are better, with the extreme case \(\dim C=1\) (Fig. 4). Now for such a sausage configuration \(S_n({{\varvec{u}}},K)\) we have
where \(\mathrm {vol}\,_{n-1}(K|{{\varvec{u}}}^\perp )\) is the \((n-1)\)-dimensional volume of the orthogonal projection of K on the hyperplane orthogonal to \({{\varvec{u}}}\). Hence, in order to have a sausage configuration of maximal density let \({{\varvec{u}}}_k\in S^{n-1}\) be such that
With this notation let
be the parametric limit density of an optimal sausage configuration of K with respect to the parameter \(\rho \). This density may be regarded as the 1-dimensional counterpart to \(\delta (K)\). In particular, for \(K=B^d\) we have
In analogy to the critical parameter we define
Definition 3.3
(Sausage parameter) For \(K\in {\mathcal {K}}^d\) let
These two parameters divide the range of all parameters into three relevant areas and provide us with an simple bound on \(\delta (K)\) as the next theorem shows.
Theorem 3.4
Let \(K\in {\mathcal {K}}^d\) and assume that \(0<\rho _s(K),\rho _c(K)<\infty \). Then
-
(i)
\(\rho _s(K)\le \rho _c(K)\).
-
(ii)
\(\delta _\rho (K)=\delta _\rho ^s(K)\) for \(\rho \in (0, \rho _s(K)]\).
-
(iii)
\(\delta _\rho (K)=\delta (K)\) for \(\rho \in [\rho _c(K),\infty )\).
-
(iv)
\(\delta _{\rho _c(K)}^s(K)\le \delta (K)\le \delta _{\rho _s(K)}^s(K)\).
In other words, below the sausage parameter infinite sausages, i.e., 1-dimensional packings, are optimal, above the critical parameter densest infinite packing arrangements are optimal, and what happens in between is (in general) rather unknown. Moreover, the parametric density of infinite sausages with respect to critical and sausage parameter yields lower and upper bounds on \(\delta (K)\) (cf. (3.3))
In particular, for the unit ball \(B^d\), Theorem 3.4 (iv) gives (cf. (3.4))
Here useful estimates are (see, e.g., Gritzmann 1985; Betke et al. 1982)
In general, we have \(\rho _s(K)<\rho _c(K)\) for \(d\ge 3\) (cf. Böröczky 2004, Theorem 10.7.1), but in case of the ball it is tempting to conjecture that \(\rho _c(B^d)=\rho _s(B^d)\). In fact, for the ball it is even conjectured in Betke et al. (1994)
Conjecture 3.5
(Strong sausage conjecture) For \(n\in {\mathbb {N}}\) and \(\rho >0\) it holds
In particular, we have \(\rho _c(B^d)=\rho _s(B^d)\).
Let us briefly point out that this conjecture also covers (essentially) Fejes Tóth’s sausage conjecture as for \(\rho =1\) and \(d\ge 5\) a (maybe large) sausage has a larger density than \(\delta (B^d)\). This conjecture would also imply the equivalence of determining \(\delta (B^d)\), \(\rho _c(B^d)\) and \(\rho _s(B^d)\). In the next sections we will briefly present what is known about these two parameters.
4 The planar case
In the planar case and for centrally symmetric convex domains we have a rather complete picture. Based on classical results of Rogers (1951, 1960) and Oler (1961) it was shown in Betke et al. (1994) that
Theorem 4.1
Let \(K\in {\mathcal {K}}^2\), \(K=-K\), and \(n\in {\mathbb {N}}\).
-
(i)
$$\begin{aligned} \frac{3}{4}\le \rho _s(K)=\frac{\delta _1^s(K)}{\delta (K)}=\rho _c(K)\le 1, \end{aligned}$$
where equality on the left is attained only for an affinely regular non-degenerate hexagon and on the right only for a parallelogram.
-
(ii)
\(\delta _\rho (K,n)=\delta _\rho (K,S_n(K))\) for \(0<\rho \le \rho _s(K)\).
-
(iii)
\(\delta _\rho (K,n)\le \delta (K)\left( \frac{n}{ n-1+\delta (K)\rho ^2}\right) \), \(\rho _s(K)\le \rho <\infty \).
For instance, for the circle \(B^2\) we have \(\delta _1^s(B^2)=\pi /4\) (cf. (3.4)) and by a well-known and classical result of Thue (1892) we also know \(\delta (B^2)=\pi /(2\sqrt{3})\). Hence
In particular, Theorem 4.1 (ii) shows that for \(\rho <\rho _s(K)\) and any \(n\in {\mathbb {N}}\) only sausage configurations are optimal. Such a strong statement is not true for arbitrary convex domains in the plane as it was shown by Böröczky and Schnell (1998), where they also proved that Theorem 4.1 (i) holds true for any convex body in the plane.
For \(\rho \ge \rho _s(K)\) various optimal configurations might be possible as our running example shows (Fig. 5).
5 Small parameters and sausages
First we focus on the most prominent convex body, the ball. Here the main result verifies the sausage conjecture in high dimensions in a very strong form, i.e., not only for \(\rho =1\).
Theorem 5.1
(Betke et al. 1995b) For every \(\rho <\sqrt{2}\) there exists a dimension \(d_\rho \) such that for all \(n\in {\mathbb {N}}\) and \(d\ge d_\rho \)
Even for parameters \(\ge 1\) sausages are optimal packing configurations for any \(n\in {\mathbb {N}}\), provided the dimension is large enough. Of course, this result implies
Corollary 5.2
\(\liminf _{d\rightarrow \infty }\rho _s(B^d)=\sqrt{2}\).
The proof of Theorem 5.1 is based on a local approach by comparing the volume of \(\mathrm {conv}\,(C+\rho B^d)\) contained in a Dirichlet-Voronoi cell of an arbitrary packing set \(C\in {{\mathcal {P}}}_n(B^d)\) to the corresponding volumes of a sausage \(S_n(B^d)+\rho B^d\). The bound of \(\sqrt{2}\) corresponds to the minimum distance between a vertex of a Dirichlet-Voronoi cell at c, say, and the center c. It was shown by Rogers (1964, Chapter 7) that the distance between an i-dimensional face of such a cell and its center is at least \(\sqrt{2(n-i)/(n-i+1)}\). In fact, in Betke et al. (1994), Theorem 5.1 was proved for \(\rho <2/\sqrt{3}\) since only the \((n-2)\)-dimensional faces of the cell were “used.” It is easy to see that not all vertices of a Dirichlet–Voronoi cell of a packing set \(C\in {{\mathcal {P}}}_n(B^d)\) can be as close as \(\sqrt{2}\), but it seems to be hard to take advantage of this fact.
Another consequence of Theorem 5.1 is the following upper bound on \(\delta (B^d)\) (cf. (3.6) and (3.7)).
Corollary 5.3
For \(\epsilon >0\) there exists a dimension \(d_\epsilon \) such that for \(d\ge d_\epsilon \)
This bound is asymptotically of the same order as the classical bounds of Blichfeldt (1929) and Rogers (1964, Chapter 7). Though this is much weaker than the best known upper bound for \(\delta (B^d)\) (cf. Kabatjanskiĭ and Levenšteĭn 1978), it shows that finite parameterized packings are also a tool to study infinite packings.
In view of L. Fejes Tóth’s sausage conjecture the dimension \(d_1\) of the theorem above is of particular interest.
Theorem 5.4
(Betke and Henk 1998) \(d_1\le 42\), i.e., the Sausage Conjecture 2.1 is true for all dimension \(\ge 42\).
The reason for 42 is given here (Douglas 1979). The sausage conjecture has also been verified with respect to certain restriction on the packings sets, e.g., among those which are lower-dimensional (Betke and Gritzmann 1984; Betke et al. 1982), or close to sausage-like arrangements (Kleinschmidt et al. 1984), of whose inradius is rather large (Böröczky and Henk 1995). For detailed information we refer to Böröczky (2004, Section 8.3).
Now regarding the sausage parameter of arbitrary convex bodies the best bound is due to Böröczky he showed.
Theorem 5.5
(Böröczky 2004, Theorem 10.1.1) Let \(K\in {\mathcal {K}}^d\) and let \(\rho <1/(32\,d)\). Then for all \(n\in {\mathbb {N}}\)
A weaker upper bound of \(1/(32\,d^2)\) was first proved in Betke et al. (1995b). By the theorem above we get
Corollary 5.6
Let \(K\in {\mathcal {K}}^d\). Then \(\rho _s(K)\ge \frac{1}{32d}\).
It is tempting to conjecture that \(\rho _s(K)\) is bounded from below by an absolute constant.
6 Large parameters and densest infinite packings
Here the main result is captured by the next theorem.
Theorem 6.1
Let \(K\in {\mathcal {K}}^d\) and let \(\overline{\rho }\in {\mathbb {R}}_{>0}\) such that \(K-K\subseteq \,\overline{\rho }K\). Then for each \(n\in {\mathbb {N}}\)
Hence, for such a \(\overline{\rho }\) we have \(\rho _c(K)\le \overline{\rho }\) (cf. (3.2)). In order to estimate \(\overline{\rho }\) we may assume by the translation invariance of the densities that the centroid of K is at the origin. Then, it is known that \(K-K\subseteq (d+1)K\) and if K is origin symmetric then, of course, \(K-K=2\,K\). So we have
Corollary 6.2
Let \(K\in {\mathcal {K}}^d\). Then
The general bound of \(d+1\) was slightly improved to \(\rho _c(K)\le d\) in Böröczky (2004, Lemma 10.5.2), but also here it might be true that \(\rho _c(K)\) is bounded from above by an absolute constant.
The proof of Theorem 6.1 is based on an average argument: We assume that there exists a \(C\in {{\mathcal {P}}}_n(K)\) with \(\delta _{\overline{\rho }}(K,n)>\delta (K)\). For each \({{\varvec{x}}}\in [0,\gamma ]^n\), for some large \(\gamma \), a finite packing set \(C_{{\varvec{x}}}\) contained in a large cube \(\lambda \,W^d\) is constructed consisting of suitable translates of C and of points of a densest infinite packing of K. For this superposition the property \(K-K\subset \overline{\rho }\,K\) is used. In order to determine the cardinality of this new packing set \(C_{{\varvec{x}}}\) it is averaged over all \({{\varvec{x}}}\in [0,\gamma ]^n\). This yields the existence of a packing set \(C_{\overline{{{\varvec{x}}}}}\) of K such that \(\# C_{\overline{{{\varvec{x}}}}}\mathrm {vol}\,(K)\ \mathrm {vol}\,(\lambda \,W^d)>\delta (K)\), which contradicts the definition of \(\delta (K)\).
Regarding infinite packings, the corollary above together with (3.5) with (3.6) gives for \(K\in {\mathcal {K}}^d\), \(K=-K\), the bound
This is up to a factor of 1/d of the same order than the best known lower bounds on \(\delta (B^d)\) (cf., e.g., Rogers 1964, Theorem 2.2).
In order to present results regarding the shape of optimal finite packings, we denote for \(\rho \in {\mathbb {R}}_{>0}\) and \(n\in {\mathbb {N}}\) by \(C_{\rho ,n,K}\) an optimal n-packing set of K with respect to the parameter \(\rho \). Schnell and Wills (2000) proved that optimal sphere packing sets are never two-dimensional. More precisely,
Theorem 6.3
For any \(d\ge 3\), \(\rho >0\) and \(n\ge 4\) we have \(\dim C_{\rho ,n,B^d}\ne 2\).
A direct consequence is that for \(d=3\) and all \(\rho \in (\rho _c,1)\) sausage catastrophes occur for \(n_\rho \ge 56\) balls. Exact values of these ”magic” numbers \(n_\rho \) are not known, but they grow when \(\rho \) approaches \(\rho _c\).
For large \(\rho \) and arbitrary convex bodies it was shown by Böröczky and Schnell (1998) that \(\mathrm {conv}\,C_{\rho ,n,K}\) resembles the shape of K; more precisely:
Theorem 6.4
Let \(K\in {\mathcal {K}}^d\) and
-
(i)
Let \(\rho >\rho _c(K)\). Then
$$\begin{aligned} \lim _{n\rightarrow \infty } \mathrm {r}_K(\mathrm {conv}\,C_{\rho ,n,K})=\infty , \end{aligned}$$where \(\mathrm {r}_K(\mathrm {conv}\,C_{\rho ,n,K})\) is the (relative) inradius with respect to K. i.e., \(\mathrm {r}_K(\mathrm {conv}\,C_{\rho ,n,K})=\max \{r : {{\varvec{t}}}+rK\subset \mathrm {conv}\,C_{\rho ,n,K}\text { for some }{{\varvec{t}}}\in {\mathbb {R}}^d\}\).
-
(ii)
Let \(\rho > d+1\). There exists a constant \(\mu (\rho ,d)\) such that for large n (and after possible translation)
$$\begin{aligned} \frac{1}{\mu (\rho ,d)} K\subset \root d \of {\frac{\delta (K)}{n}}\,C_{n,\rho ,K} \subset \mu (\rho ,d) K. \end{aligned}$$Moreover, \(\lim _{\rho \rightarrow \infty }\mu (\rho ,d)=1\), and if \(K=-K\) the bound on \(\rho \) can be lowered to 2.
7 (Finite) lattice packings
In this section we will restrict the finite and infinite packings to lattice packings. Lattice packings of convex bodies have a long and famous history for which we refer to Gruber (2007). Here we just briefly recall a few facts which are relevant for finite parameterized lattice packings.
We will understand by a lattice \(\Lambda \subset {\mathbb {R}}^d\) a regular linear image of the integral lattice \({\mathbb {Z}}^d\), i.e., there exists a regular matrix \(B\in {\mathbb {R}}^{d\times d}\) such that \(\Lambda =B{\mathbb {Z}}^d\). The determinant of the lattice, denoted by \(\det \Lambda \), is the volume of the parallelepiped spanned by the columns of B, i.e., \(\det \Lambda =|\det B|\).
In analogy to (2.1) the set of all packing lattices of a convex body is denoted by \({{\mathcal {P}}}(K)^*\), i.e.,
For \(\Lambda \in {{\mathcal {P}}}(K)^*\) the density \(\delta (K,\Lambda )\) (cf. (2.2)) can easily be calculated as \(\delta (K,\Lambda )=\mathrm {vol}\,(K)/\det \Lambda \). In the case of (infinite) lattice packings we are interested in the determination of
Confirming a conjecture of Minkowski, Hlawka (1944) proved a lower bound on \(\delta ^*(K)\) of order to \(2^{-d}\), which was subsequently (slightly) improved by various authors. The current record is still due to Schmidt (1963) with
where c is an absolute constant. For the ball \(B^d\) there are even better bounds available and here we refer to the survey of Cohn (2017b) and the references within.
In order to deal with finite lattice packings we restrict now all given definitions in Sect. 3 to lattices, i.e., we set for \(K\in {\mathcal {K}}^d\), \(\rho \in {\mathbb {R}}_{>0}\)
and we call all these quantities as in the general case except that we add the word “lattice”.
Then Theorem 3.4 holds also true for all these lattice quantities, and we also have (cf. (3.2))
Since \({{\mathcal {P}}}_n(K)^*\subset {{\mathcal {P}}}_n(K)\) it is \(\rho _s^*(K)\ge \rho _s(K)\), and so all bounds presented in Sect. 5 for \(\rho _s(K)\) are valid for \(\rho _s^*(K)\) as well.
Regarding the critical lattice parameter \(\rho _c^*(K)\) the situation is different; in particular, the superposition argument leading to Theorem 6.1 and to the lower bounds on \(\rho _c(K)\) does not work in the lattice case since the superposition may destroy the lattice property.
Here the idea is to use a lattice refinement argument which goes back to Rogers (1950). It implies that for \(K=-K\) and \(C\subset {{\mathcal {P}}}_n(K)^*\) one can always find a lattice \(\Lambda \subset {{\mathcal {P}}}(K)^*\) containing C such that all points in space are close to some lattice points; more precisely, at most at distance 3 measured with respect to the norm induced by K. Hence, the circumradius of the Dirichlet-Voronoi cells of this refined lattice \(\Lambda \) is at most 3. Together with some improvements for the case \(K=B^d\), one gets, roughly speaking, the following theorem:
Theorem 7.1
(Henk 1995) Let \(K\in {\mathcal {K}}^d\) and \(n\in {\mathbb {N}}\). Then
In combination with (7.1) we obtain
Corollary 7.2
Let \(K\in {\mathcal {K}}^d\). Then
For a detailed account to Rogers lattice refinement method as well as improvements for \(l_p\)-ball packings we refer to Henk (2018) and the references within.
Regarding the structure of optimal finite lattice packings we first point out that Theorem 6.3 has also been proven by Schnell and Wills in the lattice case, i.e.,
Theorem 7.3
(Schnell and Wills 2000) For any \(d\ge 3\), \(\rho >0\) and \(n\ge 4\) we have \(\dim C_{\rho ,n,B^d}^*\ne 2\).
Regarding optimal packing sets for \(d=3\) and n small we refer to Scholl et al. (2003). For large \(\rho \) and n, the asymptotic shape of optimal finite lattice packings of convex bodies is closely related to the problem to understand crystal growth and to the so called Wulff shape. We are not going to enter this subject, instead we refer to Böröczky (2004, Section 10.11). However, as a strong counterpart to Theorem 6.4 (i), we mention a result of Arhelger et al. on origin symmetric convex bodies showing that for \(\rho \) beyond the critical lattice parameter the asymptotic shape is cluster like.
Theorem 7.4
(Arhelger et al. 2001) Let \(K\in {\mathcal {K}}^d\), \(K=-K\), \(\rho >\rho _c^*(K)\). Then the ratio of circumradius of \(\mathrm {conv}\,C_{\rho ,n}^*\) to the inradius of \(\mathrm {conv}\,C_{\rho ,n}^*\) is bounded (independent of n).
In other words, the shape of \(\mathrm {conv}\,C_{\rho ,n}^*\) is not far from being a ball. In the same paper, it was also shown that for the 3-dimensional ball
Theorem 7.5
(Arhelger et al. 2001) \(\rho _s^*(B^3)=\rho _c^*(B^3)\), indicating that also a lattice analogue of the Strong Sausage Conjecture 3.5 could be true (as well). Further evidence is contained in the paper (Böröczky and Wills 1997).
References
Adams, D.N.: The Hitchhiker’s Guide to the Galaxy. Pan Books, London (1979)
Arhelger, V., Betke, U., Böröczky Jr., K.: Large finite lattice packings. Geom. Dedic. 85(1–3), 157–182 (2001)
Betke, U., Gritzmann, P.: Über L. Fejes Tóths Wurstvermutung in kleinen Dimensionen. Acta Math. Hung. 43(3–4), 299–307 (1984)
Betke, U., Henk, M.: Finite packings of spheres. Discrete Comput. Geom. 19(2), 197–227 (1998)
Betke, U., Gritzmann, P., Wills, J.M.: Slices of L. Fejes Tóth’s sausage conjecture. Mathematika 29(2), 194–201 (1982)
Betke, U., Henk, M., Wills, J.M.: Finite and infinite packings. Journal für die Reine und Angewandte Mathematik 453, 165–191 (1994)
Betke, Ulrich, Henk, Martin, Wills, Jörg M.: A new approach to covering. Mathematika 42(2), 251–263 (1995)
Betke, U., Henk, M., Wills, J.M.: Sausages are good packings. Discrete Comput. Geom. 13(3–4), 297–311 (1995)
Blichfeldt, H.F.: The minimum value of quadratic forms, and the closest packing of spheres. Math. Ann. 101(1), 605–608 (1929)
Böröczky Jr., K.: Finite Packing and Covering, Cambridge Tracts in Mathematics, vol. 154. Cambridge University Press, Cambridge (2004)
Böröczky Jr., K., Henk, M.: Radii and the sausage conjecture. Can. Math. Bull. 38(2), 156–166 (1995)
Böröczky Jr., K., Schnell, U.: Asymptotic shape of finite packings. Can. J. Math. 50(1), 16–28 (1998)
Böröczky Jr., K., Wills, J.M.: Finite sphere packings and critical radii. Beiträge zur Algebra und Geometrie 38(2), 193–211 (1997)
Cohn, H.: Packing, coding, and ground states. In: Mathematics and Materials, IAS/Park City Math. Ser., vol. 23, pp. 45–102. Amer. Math. Soc., Providence (2017a)
Cohn, H.: A conceptual breakthrough in sphere packing. Notices Am. Math. Soc. 64(2), 102–115 (2017b)
Conway, J.H., Sloane, N.J.A.: Sphere packings, lattices and groups, Grundlehren der Mathematischen Wissenschaften, vol. 290, 3rd ed. Springer-Verlag, New York (1999) (With additional contributions by E. Bannai, R. E. Borcherds, J. Leech, S. P. Norton, A. M. Odlyzko, R. A. Parker, L. Queen and B. B. Venkov)
Fejes Tóth, L.: Research problems. Period. Math. Hung. 6(2), 197–199 (1975)
Fejes Tóth, G.: Recent progress on packing and covering. In: Advances in Discrete and Computational Geometry (South Hadley, MA, 1996), Contemp. Math., vol. 223, pp. 145–162. Amer. Math. Soc., Providence (1999)
Freistetter, F.: Die Wurstkatastrophe der Mathematik. Spektrum der Wissenschaft 1, 77 (2019)
Gandini, P.M.: On finite sphere packings in 4-space. Number 38. 1995. In: IVth Italian conference on integral geometry, geometric probability theory and convex bodies (Italian) Bari, pp 53–62 (1994)
Gandini, P.M., Wills, J.M.: On finite sphere-packings. Math. Pannon. 3(1), 19–29 (1992)
Gandini, P.M., Zucco, A.: On the sausage catastrophe in 4-space. Mathematika 39(2), 274–278 (1992)
Gritzmann, P.: Ein approximationssatz für konvexe Körper. Geom. Dedic. 19(3), 277–286 (1985)
Groemer, H.: Existenzsätze für Lagerungen im Euklidischen Raum. Mathematische Zeitschrift 81, 260–278 (1963)
Gruber, P.M.: Convex and discrete geometry. In: Grundlehren der Mathematischen Wissenschaften, vol. 336. Springer, Berlin (2007)
Henk, M.: Finite and infinite packings. Siegen, Habilitationsschrift (1995)
Henk, M.: A note on lattice packings via lattice refinements. Exp. Math. 27(1), 1–9 (2018)
Hlawka, E.: Zur Geometrie der Zahlen. Mathematische Zeitschrift 49, 285–312 (1944)
Kabatjanskiĭ, G.A., Levenšteĭn, V.I.: Bounds for packings on the sphere and in space. Akademiya Nauk SSSR. Institut Problem Peredachi Informatsii Akademii Nauk SSSR. Problemy Peredachi Informatsii 14(1), 3–25 (1978)
Kenn, D.: Note on a conjecture of Wegner. Beiträge zur Algebra und Geometrie 52(1), 45–50 (2011)
Kleinschmidt, P., Pachner, U., Wills, J.M.: On L. Fejes Tóth’s “sausage-conjecture”. Isr. J. Math. 47(2–3), 216–226 (1984)
Oler, N.: An inequality in the geometry of numbers. Acta Math. 105, 19–48 (1961)
Rogers, C.A.: Packing and Covering. Cambridge Tracts in Mathematics and Mathematical Physics, No. 54. Cambridge University Press, New York (1964)
Rogers, C.A.: A note on coverings and packings. J. Lond. Math. Soc. 25, 327–331 (1950)
Rogers, C.A.: The closest packing of convex two-dimensional domains. Acta Math. 86, 309–321 (1951)
Rogers, C.A.: The closest packing of convex two-dimensional domains, corrigendum. Acta Math. 104, 305–306 (1960)
Schmidt, W.M.: On the Minkowski-Hlawka theorem. Ill. J. Math. 7, 18–23 (1963)
Schneider, R.: Convex bodies: the Brunn-Minkowski theory, Encyclopedia of Mathematics and its Applications, vol. 151. Cambridge University Press, Cambridge, expanded edition (2014)
Schnell, U., Wills, J.M.: Densest packings of more than three \(d\)-spheres are nonplanar. vol. 24, pp. 539–549 (2000) (The Branko Grünbaum birthday issue)
Scholl, P., Schürmann, A., Wills, J.M.: A discrete isoperimetric inequality and its application to sphere packings. In: Discrete and computational geometry, Algorithms Combin., vol. 25, pp. 751–765. Springer, Berlin (2003)
Scholl, P.: Finite Kugelpackungen. Diploma thesis, Universität Siegen (2000)
Schürmann, A.: On parametric density of finite circle packings. Beiträge zur Algebra und Geometrie 41(2), 329–334 (2000)
Thue, A.: On new geometric, number theoretic theorems. Naturforskermöde 259, 352–353 (1892)
Wegner, G.: Über endliche Kreispackungen in der Ebene. Stud. Sci. Math. Hung. 21(1–2), 1–28 (1986)
Wills, J.M.: Research problems. Period. Math. Hung. 14(3–4), 309–314 (1983)
Wills, J.M.: On the density of finite packings. Acta Math. Hung. 46(3–4), 205–210 (1985)
Zong, C.: Sphere packings. Universitext. Springer, New York (1999)
Acknowledgements
Open Access funding provided by Projekt DEAL. The authors thank the referee for many valuable comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to the memory of Uli Betke (1948–2008).
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Henk, M., Wills, J.M. Packings, sausages and catastrophes. Beitr Algebra Geom 62, 265–280 (2021). https://doi.org/10.1007/s13366-020-00502-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13366-020-00502-x