H. J. H.
Brouwers
Department of the Built Environment, Eindhoven University of Technology, P.O. Box 513, Eindhoven 5600 MB, The Netherlands. E-mail: jos.brouwers@tue.nl
First published on 18th October 2023
In this paper, the random packing fraction of hard disks in a plane is analyzed, following a geometric probabilistic approach. First, the random close packing (RCP) of equally sized disks is modelled. Subsequently, following the same methodology, a simple, statistical geometric model is proposed for the random loose packing (RLP) of monodisperse disks. This very basic derivation of RLP leads to a packing value (≈0.66) that is in very good agreement with values that have been obtained previously for 2D disk packings. The present geometrical model also enables a closed-form expression for the contact (coordination) number as a function of the packing density at different states of compaction. These predictions are thoroughly compared with empirical and simulation results, among others the Rényi parking model, yielding good agreement.
For ordered/regular packings in the 2-dimensional (2D) Euclidean plane, Lagrange proved in 1773 that the highest-density lattice packing of circles is the hexagonal arrangement, in which the centers of the circles are arranged in a triangular lattice, and each circle is surrounded by 6 other circles (Fig. 1a), packing fraction φtri = π/2√3 ≈ 0.907. This packing was proved to be the densest disk packing in the plane, so optimal among all packings, not just lattice packings, by Thue in 1910,4,5 although some consider Thue's proof flawed.2 Fejes Tóth published rigorous proof that this triangular packing has optimal packing indeed.2,6 In Fig. 1(b) also the honeycomb hexagonal lattice is shown, which can be seen as a union of two offset triangular lattices, with packing fraction φhon = π/3√3 ≈ 0.605.
Randomly, or jammed, close packed disks in 2D were first studied 60 years ago,7 where a random packing fraction of 0.89 φtri (≈0.807) was measured. Later, experimental, modelling and simulation studies yielded φrcp ≈ 0.82–0.89.7–26 Higher packing fractions, φrcp ≈ 0.88–0.89, were found by Shahinpoor16 and Zaccone,26 the latter's result leading to scientific debate.26 Random loose packing (RLP) fraction studies have resulted in φrlp ≈ 0.66–0.84.3,12,19,24,27–30 The lowest of these packing fraction values was reported recently.29,30
In this paper, the random close packing (RCP) and random loose packing fraction (RLP) of hard disks are analyzed, following a geometric probabilistic approach. Statistical geometry (or integral geometry) can be traced back to the three problems formulated in the 18th century by George-Louis Leclerc, better known as Comte de Buffon. These three mathematical games of chances were the clean tile problem, the needle problem and the grid problem.31,32
Here, in Section 2 first a geometric probabilistic model for the RCP is presented, an approach also followed in ref. 10. Next, in Section 3 a new model is put forward for RLP. Subsequently, in Section 4 the statistical models are used to obtain closed-form expressions between packing fraction and number of contacts (coordination number). In Section 5 the classic Rényi probability theory of car parking33–35 is applied to assess and confirm the obtained RCP and RLP contact numbers. The conclusions are collected in Section 6.
For convenience, in this paper the diameter of the congruent disks (circles) is set to unity, so that the disk area is π/4 and the circumference is π.
For RCP, the method used is very similar to that reported in ref. 10 and 20, which considered a unit cell formed by 4 disks, the centers of the 4 disks forming a parallelogram, α being the angle between neighbor disks (Fig. 2), the enclosed disk area Ad being π/4. For RCP, with α = π/3, locally a triangular domain is obtained, considered as the densest possible packing configuration, and with α = π/2 a square lattice, with φsq = π/4 (≈0.785).
The area of the parallelogram reads
At = sin![]() | (1) |
And the packing fraction φ follows as
![]() | (2) |
Assuming a uniform probability density for the angle α between π/3 and π/2, the RCP density follows from eqn (1) and (2) as
![]() | (3) |
This value is in accordance with the majority of measured and modeled results.1,3,7–15,17–25 This confirms that the statistical approach of the considered unit, with α uniformly distributed from π/3 to π/2, is a representative of RCP. For α = π/3 and α = π/2, the ordered triangular and the square lattice domains, respectively, are obtained locally, and all other α values account for the disordered random nature.
An alternative and even more straightforward approach is based on the area pertaining to the mean angle α.20 Using the arithmetic mean of α = π/3 and α = π/2, = 5π/12, eqn (1) yields Āt = 0.483, and hence eqn (2)φrcp ≈ 0.813. Also, this value is close to the aforesaid values.
As ansatz for a statistical approach of RLP, a unit cell of a quadrangle formed by 4 disks is proposed (Fig. 3), the assembly forming a trilateral trapezoid (or isosceles trapezoid). The assembly is governed by the angle α, π/2 ≤ α ≤ 2π/3. From elementary geometric considerations, it follows that
![]() | (4) |
When α is 2π/3, the presented RLP unit allows for a local honeycomb domain, and for α being π/2, a square lattice, similar to the presented RCP unit (Fig. 2). Assuming a uniform probability density for the angle α between π/2 and 2π/3, the RLP density follows from eqn (2) and (4) as
![]() | (5) |
For completeness, also the RLP fraction is computed based on the arithmetic mean of α = π/2 and α = 2π/3, = 7π/12, i.e. again following the approach by Williams.20Eqn (4) yields Āt ≈ 1.216, and hence from eqn (2) it follows that φrlp ≈ 0.646.
In other words, whichever method followed, a uniform probability density for the angle α or a mean angle , the presented simple derivation produces an RLP packing value that is slightly different from those that have been obtained previously.
For the RCP model, with
![]() | (6) |
For all configurations π/3 ≤ α ≤ π/2, so 4 ≤ Z ≤ 6, φ can be expressed algebraically in Z by combining eqn (1), (3) and (6), yielding
![]() | (7) |
This relation is included in Fig. 4 for Z ranging from 4 to 6, and hence φ from π/4 to π/2√3.
For the RLP model, using mean = 7π/12, eqn (6) yields as mean coordination number Z = 24/7 ≈ 3.43. This value is in line with Williams27 and Uhler and Schilling28 who found values of 3.2 and 3.333–3.416, respectively, by geometric probability calculations. From numerical simulations Hinrichsen et al.19 assessed Z = 3.02. Note that Z = 3 (d + 1) is the “loosest packing condition of Hilbert”.38 Atkinson et al.3 reported a tendency towards a kagomé (or trihexagonal) ordering (φtrh = π√3/8 ≈ 0.68) near their RLP packing fraction (φrlp = 0.66), having Z = 4.
Coordination number and packing fraction can also be related in closed-form in the range 3 ≤ Z ≤ 4. By combining eqn (1), (4) and (6), it follows:
![]() | (8) |
The scatter of the experimental points of “Table I”9 is considerable, but the positive relation between coordination number and packing density becomes obvious. Quickenden and Tan9 observed local ordering (crystallization), which became more pronounced with higher packing fractions. The points/line from “Fig. 10”9 furthermore illustrates the sharp decrease in coordination number (from sixfold to fourfold) in a relatively small packing fraction change, which is captured in eqn (7) and (8).
By developing a “jamming phase diagram” based on numerical simulations, in ref. 22 and 23 for disks in 2D and spheres in 3D a fit of the form:
Z − Zc = Z0(φ − φc)ζ | (9) |
For frictionless monodisperse disks, Z0 was not given and is therefore extracted from “Fig. 9”,22 see Table 3 (Appendix), yielding Zc = 4, φc = 0.842 and Z0 = 3.55. As verification, the same procedure is followed for the spheres given in “Fig. 9”,22 taking Zc = 6 and φc = 0.639,22,23 and the provided value Z0 = 7.7 could be reproduced.
In Fig. 4, eqn (9) is set out for Z0 = 3.55, Zc = 4 and φc = 0.842, φ ranging from 0.842 to φtri (frictionless I). One can see that the equation yields Z ≈ 4.9 for φtri (instead of 6). This is not surprising as eqn (9) was derived for (φ, Z) in the vicinity of (φc, Zc). If Z0 was 7.5, the value of 3D, the right endpoint of the curve would be (φ, Z) = (0.907, 6) instead of (0.907, 4.9).
To examine (φ, Z) for RLP of disks, the paper by Silbert38 is instrumental. In ref. 38, (φ, Z) of both frictional and frictionless spheres was simulated. In Tables 4 and 5 (Appendix), the extracted values for frictionless and frictional spheres packings, respectively, are listed, taken from “Fig. 9”, they are shown in Fig. 5.
![]() | ||
Fig. 5 Number of contacts Z versus packing fraction φ for packing of spheres (3D). Eqn (9) frictional: ζ = 0.5, Z0 = 7.7, Zc = 4 and φc = 0.56, eqn (9) frictionless: ζ = 0.5, Z0 = 7.7, Zc = 6 and φc = 0.639. |
Also here it appears that eqn (9) is applicable for both packings, again with ζ = ½ and Z0 = 7.7 for both packing configurations. Note that in ref. 22 and 23, the same ζ and Z0 were proposed for the 3D frictionless sphere packing, which values seem to be applicable to frictional spheres as well. For frictionless spheres, it appears also that the values Zc = 6 and φc = 0.639 are identical as in ref. 22 and 23. In Fig. 5, eqn (9) is set out with these values, and also for Zc = 4 and φc = 0.560 for frictional spheres. The isostatic condition requires that for frictional spheres the critical Zc = d + 1, and for frictionless spheres Zc = 2d.37 One can see that with aforesaid values, eqn (9) follows that numerical data of ref. 38 very well, both for frictional and frictionless spheres. So again, eqn (9) is consistent with a broad set of data.
Eqn (9) is apparently applicable to both frictional and frictionless spheres, so all (φ, Z), even with the same ζ, and this also holds for frictionless disks. It is therefore plausible to propose that eqn (9) is also applicable to frictional disks, so in the lower (φ, Z) range of Fig. 4, again with ζ = 0.5, Zc = 3 (= d + 1) and φc = 0.66 (frictional I). By invoking Z0 = 2.35, eqn (9) has as the right endpoint (φ, Z) = (0.842, 4), which is the left endpoint of the frictionless disk packing curve (Fig. 4).
The frictionless and frictional sphere curves of ref. 38 are concave and have a discontinuity at Z = 2d (Fig. 5), which is also the case for eqn (7) and (8). Only the packing fraction values at Z = 3, 4 and 6 are not equal. To illustrate the similarity of eqn (7)–(9), In Fig. 4, eqn (9) is set out for ζ = 0.5, Z0 = 2.35, Zc = 3, and φc = φhon = π/3√3 ≈ 0.605, and for ζ = 0.5, Z0 = 5.74, Zc = 4, and φc = φsq = π/4 ≈ 0.785 (frictional II and frictionless II, respectively). Note that for φ = π/3√3, π/4 and π/2√3, these equations yield Z = 3, 4 and 6, respectively. From Fig. 4, it follows that eqn (7) and (8), based on the simple geometric model, are following eqn (9) quite closely. This latter correlation has its foundation in the results of thermodynamic modelling.
All data in Fig. 4 feature an increase of Z with packing fraction φ, as expected. But following the presented models and refs. 22, 23, and 38, Z(φ) is a concave function in 2D and 3D. Also, the experiments by ref. 9 suggest a concave-shaped relation. For refs. 22, 23, and 38, this concave trend follows from the exponent ζ ≈ ½, which is smaller than unity.
In Fig. 4, also (Z, φ) is included as computed by Jin et al.30 pertaining to φRCP = 0.804 (“n = 3”), listed in Table 6 (Appendix). The data shows a convex Z(φ) relation, so a power ζ > 1. Also, the model by Zaccone et al.26 and Anzivino et al.39 yields a convex equation. This can be attributed to their assumption that Z is proportional to the product of φ and the semi-empirical Carnahan-Starling (CS) expression. For d = 2, this CS expression reads (1 − 0.436φ)/(1 − φ)2.26
In all, the phase diagram of the 2D disk packing shows that eqn (7) and (8) are able to correlate reported measured and simulated (Z, φ) quite well, especially considering the simplicity of the presented model.
The expected value of the covered part is denoted by M(x), so the ratio M(x)/x is the expected filling density of the “parking process”. The interval x is the street curb, and the packed unit segments are the parked cars. The placing of disks on a center disk can be modelled using this parking model (Fig. 6). The circumference of the center disk corresponds to 6 units (disks) and can be seen as a circular street curb. After parking the first unit on a center sphere, a closed interval of length x = 5 is remaining in which the remaining units (disks) are randomly placed on the center sphere.
Weiner35 presented the following lower and upper limits for M(x) for x > 4:
0.7432x − 0.2568 ≤ M(x) ≤ 0.75x − 0.25, | (10) |
These values are compatible with the approximate solution provided by Rényi33,34 for large x:
M(x) ≈ Cx − (1 − C), | (11) |
The parking problem approach can also be applied to the RLP of disks. To allow for obtaining a lower parking density, each unit (disk) that is placed on the center disk is considered to have extra excluded space in which another unit cannot be parked. With the estimated Z ≈ 3.35 for RLP, the space taken by one unit can be estimated.
After parking the first unit, in the remaining interval x, 2.35 units can be parked. The following equation34
![]() | (12) |
Simple models for RCP and RLP units are constructed (Fig. 2 and 3), which assume that each state can be visited with equal probability. They result in packing fractions and contact numbers φrcp = 3ln(3)/4 ≈ 0.824 and Z = 4.8 for RCP, and φrlo ≈ 0.662 and Z = 24/7 ≈ 3.43 for RLP. Both Z-values are higher than the minimum Z required by isostatisticy, Z = 4 (2d) and Z = 3 (d + 1), respectively. The derived packing fraction values are commonly observed, in other probabilistic studies, more sophisticated computer simulations, and experimental studies.
The derived mean contact number of RCP, Z = 4.8, is also very close to the number that is obtained here by applying the classic Rényi parking theory, viz. Z ≈ 4.5. Applying the Rényi parking solution to Z ≈ 3.35 for RLP reveals that the disks occupy 4π/18 of the center disk's circumference of π on which they are placed, whereas it is π/6 for RCP (resulting in aforesaid Z = 4.8).
It also appears that the present approach allows for a phase diagram of average contact number versus 2D disks packing fraction (Fig. 4), based on closed-form expression eqn (7) and (8). Also, these equations produce results that are only slightly different from eqn (9) provided by ref. 22 and 23 both for packed disks in 2D and for spheres in 3D.
In line with the geometric probabilistic approach10,11,31 and Rényi's parking model,33,34 a uniform distribution of the disks is invoked here. In other words, there is no preference for α (Fig. 2 and 3) nor where a car/sphere is placed (Fig. 6). In future work, it would be interesting to study the effect of non-uniform distributions (e.g. by perturbing the uniform distribution) on the packing fraction and mean contact number.
Φ | Z | Φ | Z | φ | Z |
---|---|---|---|---|---|
0.630 | 2.999 | 0.841 | 5.992 | 0.878 | 5.999 |
0.830 | 3.988 | 0.848 | 5.992 | 0.899 | 5.999 |
0.840 | 5.004 | 0.871 | 5.999 | 0.910 | 5.999 |
Φ | Z | Φ | Z | φ | Z |
---|---|---|---|---|---|
0.832 | 4.31 | 0.876 | 4.70 | 0.909 | 5.43 |
0.63 | 2.81 | 0.906 | 5.10 | 0.792 | 3.49 |
0.869 | 4.03 | 0.844 | 5.37 | 0.819 | 4.36 |
0.863 | 4.45 | 0.873 | 5.25 | 0.858 | 4.45 |
0.823 | 4.42 | 0.888 | 5.43 | 0.838 | 5.18 |
0.825 | 4.65 | 0.891 | 5.55 | 0.869 | 5.44 |
log(φ − φc) | Φ | log(Z − Zc) | Z | Z 0 |
---|---|---|---|---|
−4.793 | 0.842 | −1.847 | 4.01 | 3.5 |
−4.203 | 0.842 | −1.559 | 4.03 | 3.5 |
−3.600 | 0.842 | −1.249 | 4.06 | 3.6 |
−3.001 | 0.843 | −0.950 | 4.11 | 3.6 |
−2.398 | 0.846 | −0.651 | 4.22 | 3.5 |
−1.795 | 0.858 | −0.342 | 4.46 | 3.6 |
Φ | Z | Φ | Z | φ | Z |
---|---|---|---|---|---|
0.563 | 4.34 | 0.595 | 5.46 | 0.626 | 6.01 |
0.571 | 4.74 | 0.602 | 5.61 | 0.633 | 6.10 |
0.579 | 5.02 | 0.610 | 5.73 | 0.641 | 6.21 |
0.588 | 5.27 | 0.617 | 5.86 | 0.648 | 6.31 |
φ | Z | Φ | Z | φ | Z |
---|---|---|---|---|---|
0.639 | 6.04 | 0.642 | 6.39 | 0.647 | 6.69 |
0.640 | 6.15 | 0.643 | 6.51 | 0.648 | 6.79 |
0.641 | 6.27 | 0.645 | 6.59 | 0.650 | 6.84 |
φ | Z | Φ | Z | φ | Z |
---|---|---|---|---|---|
0.655 | 3.298 | 0.831 | 4.197 | 0.889 | 5.098 |
0.683 | 3.402 | 0.839 | 4.298 | 0.895 | 5.195 |
0.709 | 3.499 | 0.848 | 4.398 | 0.895 | 5.296 |
0.732 | 3.599 | 0.859 | 4.499 | 0.899 | 5.397 |
0.757 | 3.703 | 0.865 | 4.596 | 0.902 | 5.497 |
0.772 | 3.799 | 0.869 | 4.696 | 0.904 | 5.594 |
0.796 | 3.896 | 0.876 | 4.797 | 0.903 | 5.698 |
0.806 | 3.997 | 0.880 | 4.897 | 0.906 | 5.795 |
0.817 | 4.101 | 0.885 | 4.998 |
Footnote |
† This article is dedicated to my late study friend ir. M.E. (Marc) van der Ree (26 December 1961 – 16 April 2000). |
This journal is © The Royal Society of Chemistry 2023 |