A Densest ternary circle packing in the plane

12/04/2019
by   Thomas Fernique, et al.
0

We consider circle packings in the plane with circles of sizes 1, r≃ 0.834 and s≃ 0.651. These sizes are algebraic numbers which allow a compact packing, that is, a packing in which each hole is formed by three mutually tangent circles. Compact packings are believed to maximize the density when there are possible. We prove that it is indeed the case for these sizes. The proof should be generalizable to other sizes which allow compact packings and is a first step towards a general result.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 2

02/17/2020

Density of Binary Compact Disc Packings

A disc packing in the plane is compact if its contact graph is a triangu...
12/04/2019

Compact packings of space with three sizes of spheres

A sphere packing of the three-dimensional Euclidean space is compact if ...
08/31/2018

Compact packings of the plane with three sizes of discs

Discs form a compact packing of the plane if they are interior disjoint ...
01/29/2019

Exact Line Packings from Numerical Solutions

Recent progress in Zauner's conjecture has leveraged deep conjectures in...
05/23/2019

Approximation schemes for the generalized extensible bin packing problem

We present a new generalization of the extensible bin packing with unequ...
12/09/2020

COMPACT: Concurrent or Ordered Matrix-based Packing Arrangement Computation Technique

Packing optimization is a prevalent problem that necessitates robust and...
03/19/2019

Packing Disks into Disks with Optimal Worst-Case Density

We provide a tight result for a fundamental problem arising from packing...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

1 Introduction

A circle packing in the plane is a set of interior-disjoint circles. Its density is defined by

A central question in circle packings is to find the maximal possible density. If the circles have all the same size (throughout this paper, by ”size” of a circle we mean its radius), it was proven in [FT43] that the density is maximal for the hexagonal compact packings, where circles are centered on a suitably scaled triangular grid. For circles of sizes and , the maximal density has been obtained for seven ”magic” values of [Hep00, Hep03, Ken04]. These values are specific algebraic numbers which allow a compact packing, that is, a packing in which each hole is formed by three mutually tangent circles (as in the hexagonal compact packing). Equivalently, a circle packing is compact if the graph which connects the centers of any two tangent circles is a triangulation. To the best of our knowledge, no other case is known. In all these cases, the density is maximized by a compact packing. Compact packings thus seem to play a crucial role, and we may wonder whether the density is always maximized by a compact packing when the circle sizes allow such a packing111Clearly, one shall also assume that the densest among the possible compact packing is saturated, i.e., no circle can be further added. Otherwise, adding a circle would yield a more dense non-compact packing..

For circles of sizes and , it was proven in [Ken06] that there are only values of which allow a compact packing where circles of both sizes appear: the above-mentioned ”magic” values and two other ones, for which the maximal density is unknown. For circles of sizes , and , it was proven in [FHS] that there are pairs which allow a compact packing where circle of the three sizes appear, for all of which the maximal density is unknown. The case of four or more circle sizes seems to have not yet been considered.

In this paper, we consider one of the pairs which allow a compact packing, namely the roots and of the polynomials

Besides the three homothetic hexagonal compact packings where only one size of circle appear, these values are proven in [FHS] to allow a unique compact packing, depicted in Fig. 1 and further referred to as the target packing. It has a density 222Precisely, one can show that is root of ., what is slightly higher than the density of the hexagonal compact packing. This is thus the densest compact packing with these circles. The main result of this paper is that it is also the densest packing at all:

Theorem 1

The target packing depicted in Fig. 1 is the densest packing with these circles.

Figure 1: A densest ternary circle packing. It is compact and periodic (a primitive cell is framed).

An incidental reason why we chose this packing is that it improves a lower bound given in [FT64] on the largest such that there exists a packing with circles of sizes in which is more dense that the hexagonal compact packing. The bound given in [FT64] is whereas the target packing (Fig. 1) yields . This bound is increased in [CP] to by slightly deforming the target packing.

2 Strategy

The strategy to prove Theorem 1 is largely inspired by the one in [Ken04], with some improvements (different plane decomposition, shorter proofs and more systematic use of the computer). Given a circle packing, we shall first decompose the plane by a specific triangulation of the circle centers (Sec. 3). Then, the excess of a triangle is defined by

where is the area of , is the area of inside the circles centered on the vertices of and is the density of the target packing (Fig. 1). Proving that this packing has density at most thus amounts to show

For this, we shall define over triangles a potential which satisfies two inequalities. The first one, further referred to as the global inequality, involves all the triangles of :

(1)

The second one, further referred to as the local inequality, involves any triangle which can appear in :

(2)

The result then trivially follows:

Since the global inequality for is the same as for , it seems we just made things worse by adding a second inequality. However, we shall choose so that the global inequality is ”not that global”, i.e., it follows from an inequality on a finite set of finite configurations. Namely, the potential of a triangle will be the sum of vertex potentials defined on each vertex and edge potentials defined on each edge such that, for any vertex and edge of any decomposition :

(3)
(4)

The first inequality, involving all the triangles sharing a vertex, is proven Section 4 (Prop. 1). The second one, involving pairs of triangles sharing an edge, is proven Section 5 (Prop. 2).

The local inequality has then to be proven for each triangle of the decomposition. We make two cases, depending whether the triangle is near a so-called tight triangle or not. The former case, considered Section 6, is proven with elementary differential geometry (Prop. 3). The latter case, considered Section 7, is proven with a computer by dichotomy (Prop. 4). Theorem 1 shall follow.

Remark 1

The proof of Theorem 1 heavily relies on numerical computations. We always use interval arithmetic, which allows exact computations on intervals which contain the quantities of interest (size, density, excess, potential…). To prove any inequality (e.g. the inequalities (2), (3) and (4)), we prove that the left point of the interval containing is larger than or equal to the right point of the interval containing

. All the computations were performed with the open-source software SageMath

[Dev16] on our modest laptop, an Intel Core i5-7300U with cores at GHz and Go RAM.

3 Triangulation

Given a circle packing, define the cell of a circle as the set points of the plane which are closer to this circle than to any other. These cells form a partition of the plane whose dual is a triangulation, referred to as the FM-triangulation of the packing. FM-triangulations have been introduced in [FTM58] (see also [FT64]) and are also known as additively weighted Delaunay triangulations. We shall use them to prove Theorem 1. Let us recall a few properties.

If is a triangle of an FM-triangulation of a circle packing, then one can draw a circle which is interior disjoint from the circles of the packing and tangent to each of the circles of (see, e.g., Fig. 2 or 6). It is called support circle of and somehow extends the ”empty circle property” of the Delaunay triangulation. In particular, if a packing with circles of sizes at least is saturated, i.e., no further circle of size can be added, then any support circle has size strictly less than and the sector of a circle between two edges of a triangle of its FM-triangulation never crosses the third edge of this triangle.

Figure 2: The tight triangles appearing in the target depicted (Fig. 1) and their support circle.

Following [Hep03], we call tight a triangle whose circles are mutually adjacent (Fig. 2). In particular, the FM-triangulation of any compact circle packing contains only tight triangles since there is a support circle in the hole between each three mutually adjacent circles. Still following [Hep03], we call stretched a triangle with one circle tangent to both the two other circles as well as to the line which passes through their centers (Fig. 3). Stretched triangles are dangerous because they can be as dense as tight triangles but with a quite different shape.

Figure 3: Two adjacent stretched triangles (left) and the two tight triangles obtained by flipping their shared edge (right). The average density is unchanged.

4 Global inequality for the vertex potential

We shall first define the vertex potential in tight triangles. It will depend only on the size , and of the circles of the considered triangle. We denote by (or ) the potential in the center of the circle of size . There are thus quantities to be defined:

Consider an FM-triangulation of the target packing (Fig. 1). By summing over the triangles of , we get

This enforces for each of the three tight triangles which appear in (Fig. 2). This yields three equations on the ’s. The inequality (3) yields three further equations on the ’s, one for each circle size (Fig. 4). These equations are however not independent because the sum of the excesses of the triangles of is zero, hence the sum of the vertex potentials of the tight triangles of a primitive cell of is zero333Namely, this yields .. The triangulation thus yields independent equations on variables.

Figure 4: The inequality (3) enforce around a small circle, around a medium circle and around a large circle (from left to right).

We set not only for the three tight triangles which appear in , but for all the tight triangles: this yields new equations. Further, we set for any in : this yields new equations. Both settings are arbitrary: they allow to prove Theorem 1 but may need to be revised to adapt the proof to other cases (see discussion Sec. 8). With the previous equations, it turns out to completely determine the ’s444The computed values are ugly and have no particular interest: we do not give them here..

We are now in a position to define the vertex potential in any triangle. The idea is to modify the potential of a tight triangle depending on how much the triangle itself is deformed:

Definition 1

Let be a vertex of a triangle . Let be the size of the circle of center and and the sizes of the two other circles of . Let be the tight triangle obtained by contracting the edges of until the three circles become mutually tangent. The vertex potential of is defined by

where depends only on , and and denote the angle in in and .

In particular, . The constant controls the ”deviation” in term of the angle changes between and . The point is to fix it so that the inequality (3) holds:

Proposition 1

If is a vertex of an FM-triangulation of a saturated packing by circles of sizes , and , then the sum of the vertex potentials of the triangles containing is nonnegative provided that

Proof. Let be a vertex of an FM-triangulation of a saturated packing by circles of size , and . Let be the triangles of which contain , ordered clockwise around . We have:

Since the ’s surround , . If the coefficient of is nonzero, then the inequality (3) is thus satisfied in as soon as

This lower bound depends only on the sizes and order of the circles centered on the neighbors of . In particular, it takes only finitely many values for a fixed .

We claim that is uniformly bounded thanks to properties of FM-triangulations. Consider indeed a triangle . On the one hand, any edge of has length at most since one can connect its endpoints to the center of the support circle (of size less than ) by two line segments of length at most . On the other hand, the altitude of any vertex of is at least since no circle crosses the line which passes through the opposite vertices. This leads to bound from below by the sine of any angle of . The number of triangles sharing is then bounded from above by .

We can thus perform an exhaustive search on a computer to find a lower bound which holds for any . The claimed values are approximations by excess of the computed values555We can actually reduce further the number of cases to consider by bounding from below the angle of a triangle depending on the circles of this triangles. It is however only useful to speed up the search, because the cases that give the lower bound on correspond to rather small values of ..

To finish, we also have to consider the case where has a zero coefficient, that is, when the sum of the angles is equal to . One checks by computing all the angles of all the tight triangles that it happens in only two cases: either the ’s form one of the three configurations depicted in Fig. 4, or they are identical equilateral triangles. In the former case, one has

because we have chosen the for this purpose (Fig. 4). In the latter case, one computes

The inequality (3) is thus satisfied in both cases.

5 Global inequality for the edge potential

A few randomized trials suggest that the vertex potential satisfy the local inequality (2) for triangles which are not too far from tight triangles. It however fails near stretched triangles, because the excess can become quite small. The typical situation is depicted in Fig. 5. The edge potential aims to fix this problem. The idea is that when a triangle becomes stretched, its support circle overlaps an adjacent triangle , imposing a void in which increases and may counterbalance the decrease of . We shall come back to this in Section 7. Here, we define the edge potential and prove that it satisfies Inequality (4).

Definition 2

Let be an edge of a triangle . Let and be the sizes of the circles centered on the endpoints of . Denote by the signed distance of the center of the support circle of to the edge , which is positive if and are both on the same size of , or negative otherwise. The edge potential of is defined by

where and depend only on and .

Figure 5: Starting from a tight triangle with two large circle and a small one (bottom left), the edge between the two large circles is elongated until we get a stretched triangle (bottom right). The corresponding variations of the excess , the vertex potential and the signed distance are depicted (top). Near the stretched triangle, the local inequality fails. The dashed line is an improvement of discussed in Section 8.

The constant is the threshold at which has an effect and the coefficient controls the intensity of this effect. In contrast to the role of for the vertex potential to satisfy Inequality 3 (Prop. 1), the values of and (and even the circle sizes) do not play a role for the edge potential to satisfy Inequality (4):

Proposition 2

If is an edge of an FM-triangulation of a circle packing, then the sum of the edge potentials of the two triangles containing is nonnegative.

Proof. Consider an edge shared by two triangles and of an FM-triangulation. We claim that . If each triangle and the center of its support circle are on the same side of , then it holds because both and are nonnegative. Assume , i.e, and the center of its support circle are on either side of . Denote by and the endpoints of and by and the sizes of the circles of center and (Fig. 6). The centers of the circles tangent to both circles of center and and radii and are the points such that , i.e., a branch of a hyperbola of foci and . This includes the centers and of the support circles of and . In order to be tangent to the third circle of , the support circle of must have a center farther than from the focal axis. Since the distances of and to this axis are and , this indeed yields . This proves if has length at least . If is shorter, both and are zero and their sum is thus nonnegative.

Figure 6: Comparatives positions of the centers of the support circles of two adjacent triangles.

6 Local inequality for -tight triangles

We prove the local inequality (2) in a neighborhood of tight triangles. A triangle is said to be -tight if its circles are pairwise at distance at most . Let be a tight triangle with edge length , and and denote by the set of -triangles with the same circles sizes as . On the one hand, the variation of the excess between and any triangle in satisfies

On the other hand, assuming that is smaller than the smallest threshold below which the edge potential is zero (so that the potential is simply the vertex potential, see Def. 1), the variation of the potential between and any triangle in satisfies

The local inequality thus holds over for any such that

We computed the formulas of the derivatives of and with SageMath666It can be easily do by hand since it mainly amounts to use the cosine theorem to express the angle of a triangle as a function of its edge length, but we are not particularly interested in the formulas.. We then use interval arithmetic, once again, to compute the extremal values over : each variable is replaced by the interval777Its endpoints are, as any other numerical quantity, themselves computed with interval arithmetic. , where and denote the sizes of the circles centered on the endpoints of the edge of length . A computation yields:

Proposition 3

Fix and , which satisfy the lower bound of Prop. 1. Then, the local inequality holds for any -tight triangle of an FM-triangulation of a saturated packing by circles of size , and provided that

7 Local inequality for all the triangles

We explicitly define an edge potential such that the local inequality (2) holds for any triangle. Since the global inequality (1) result from Prop. 1 and 2, this shall prove Theorem 1.

Proposition 4

Fix and , which satisfy the lower bound of Prop. 1. Fix , which satisfies the corresponding upper bound of Prop. 3. Fix the following values in the definition of the edge potential (Def. 2):

, , , , , ,
, , , , , .

Then, the local inequality holds for any triangle of an FM-triangulation of a saturated packing by circles of size , and .

Proof. We shall check the inequality over all the possible triangles with the computer. For in , any triangle with circles of sizes , and which appear in an FM-triangulation of a saturated packing has edge length in the compact set

Indeed, its support circle has size at most (saturation hypothesis) so that the center of a circle of size is at distance at most from the center of the support circle. We can thus compute and using these intervals for the edge lengths of .

Of course, since these intervals are quite large, we get for and large overlapping intervals which do not allow to conclude whether or not. We use dichotomy: while the intervals are too large to conclude, we halve them and check recursively on each of the resulting compacts whether or not. If we get at some step, we stop the recursion. If we get at some step, we throw an error: the local inequality is not satisfied!

At each step, we also compute the size of the support circle888The formulas giving the size of the support circle and the distance of its center to an edge of the triangle can be rather easily obtained with computer algebra, since they follows from simple equations (equality of distances to circle centers). They are however quite ugly and have no special interest here, so they are not given here.. It is an interval and if its left point is greater than or equal to , we can conclude that the triangle cannot appear in a FM-triangulation of a saturated packing and we stop the recursion.

Last, we also stop the recursion if we get an -tight triangle at some step, that is, if we get a subset of the compact

Indeed, the local inequality is then already ensured by Prop. 3. This point is crucial and explains why we focused on -tight triangles in Section 6. Since for tight triangles, if a compact contains the point , no matter how small it is, it yields for and overlapping intervals which do not allow to decide whether or not: the recursion would last forever!

The whole process terminates in around minutes on our computer, examining triangles without throwing any error. This proves the proposition.

8 Further comments

Theorem 1 has been here proven only for specific sizes of discs. Does the proof adapt to other cases, in particular the cases of [Ken06] and the cases of [FHS]? With this issue in mind, let us here discuss the various arbitrary choices that have been made and the possible improvements that have not been necessary but could be necessary in other cases.

The first arbitrary choice is to set

for the tight triangles which do not appear in the target packing. This choice is guided by the fact that these triangles are particularly dense, but one could imagine a modification (probably slight).

The second arbitrary choice is to set the vertex potential of the apexes of the tight triangles to zero ( for in ). There is really no other reason than simplicity. Actually, these potentials could be treated as variables: instead of the lower bound on of Prop. 1, we wouldget inequations on the vertex potential of the apexes and the ’s that shall be satisfied in order to have the global inequality (3). Further, Prop. 3 would be rewritten as a series of inequalities on the same variables and, in addition, . All these inequations would yield a polytope999In : apex potentials, ’s and . in which we shall choose a point, in the hope that the local inequality (2) holds on the other triangles. This may look a bit complicated but could surely be done if necessary.

The third arbitrary choice are the constants and in Prop. 4. Let us explain how we chose these values. The rule of thumb (which could perhaps be made rigorous) is that if the local inequality works for the triangles with only one pair of circles which are not tangent, then it should work for any triangle. We thus consider triangles with circles of size and centered on the endpoints of an edge and vary the length of , as in Fig. 5. We choose ’s and ’s so that, regardless of the size of the third circle of :

  1. as soon as is longer than ;

  2. is slightly less than when is stretched.

Last, let us describe a possible improvement, which was not necessary here but that we think it would have a role to play in other cases. In the hope of satisfying the inequality (2), it is in our interest to minimize as much as possible the vertex potential (Def. 1). Consider the center of a circle of size . Around , the contribution per radian of the vertex potential is bounded from below by the minimum over the tight triangles with a circle of size in of . Hence, whenever the vertex potential is larger than times the absolute value of this minimum in some triangle which contains , the potential of the other triangles cannot be negative enough so that the sum around becomes negative: the inequality (3) still holds in . We can thus cap the vertex potential, replacing in Def. 1 by , where

This would only facilitate local inequality (2). For example, in the case of this paper, we get

This corresponds to the dashed line in Fig. 5.

Of course, the ultimate goal would be to have a general result holding for any saturated compact packing. Proving particular cases should first help to better understand the role and importance of each of the many parameters involved.

References

  • [CP] R. Connelly and M. Pierre. Maximally dense disc packings on the plane. preprint, arxiv:1907.03652.
  • [Dev16] The Sage Developers. Sage Mathematics Software (Version 8.2), 2016. http://www.sagemath.org.
  • [FHS] Th. Fernique, A. Hashemi, and O. Sizova. Compact packings of the plane with three sizes of discs. to appear in Discrete and Computational Geometry.
  • [FT43] L. Fejes Tóth. Über die dichteste Kugellagerung. Mathematische Zeitschrift, 48:676–684, 1943.
  • [FT64] L. Fejes Tóth. Regular figures. International Series in Monographs on Pure and Applied Mathematics. Pergamon, Oxford, 1964.
  • [FTM58] L. Fejes Tóth and J. Molnár. Unterdeckung und Überdeckung der Ebene durch Kreise. Mathematische Nachrichten, 18:235–243, 1958.
  • [Hep00] A Heppes. On the densest packing of discs of radius and . Studia Scientiarum Mathematicarum Hungarica, 36:433–454, 2000.
  • [Hep03] A. Heppes. Some densest two-size disc packings in the plane. Discrete and Computational Geometry, 30:241–262, 2003.
  • [Ken04] T. Kennedy. A densest compact planar packing with two sizes of discs. preprint, arxiv:0412418, 2004.
  • [Ken06] T. Kennedy. Compact packings of the plane with two sizes of discs. Discrete and Computational Geometry, 35:255–267, 2006.