Open Access Article
Adrian
Baule
a and
Hernán A.
Makse
*b
aSchool of Mathematical Sciences, Queen Mary University of London, Mile End Road, London E1 4NS, UK
bLevich Institute and Physics Department, City College of New York, New York, New York 10031, USA. E-mail: hmakse@lev.ccny.cuny.edu
First published on 7th February 2014
Random packings of objects of a particular shape are ubiquitous in science and engineering. However, such jammed matter states have eluded any systematic theoretical treatment due to the strong positional and orientational correlations involved. In recent years progress on a fundamental description of jammed matter could be made by starting from a constant volume ensemble in the spirit of conventional statistical mechanics. Recent work has shown that this approach, first introduced by S. F. Edwards more than two decades ago, can be cast into a predictive framework to calculate the packing fractions of both spherical and non-spherical particles.
The main statements of this approach are:1,2 (i) the distribution of jammed microstates is flat and independent of the compaction history leading to a natural definition of a configurational entropy S = ln
ΩEdw, where ΩEdw is the number of jammed configurations. (ii) There is an equivalence between ensemble averages and time averages, if the system can explore its jammed configurations by some external drive (tapping or slow shearing). (iii) The compactivity X−1 = ∂S/∂V characterizes the packing state analogous to the temperature in equilibrium systems. These strong assumptions have been scrutinized in various studies over recent years in order to obtain insight into the validity of Edwards' approach.3 Soft compaction experiments under continuous tapping have provided evidence for a reversible branch in the packing fraction for a variation of the tapping amplitude, indicating the existence of thermodynamic states.4–7 Simple models of such a compaction dynamics have confirmed ergodicity and have been connected to a slow relaxation dynamics akin to the relaxation in glasses.8–12 One signature of such a slow dynamics is the existence of a non-equilibrium fluctuation–dissipation relation.8,9,13 Indeed, the effective temperature appearing in FDRs under perturbations agrees with the configurational temperature Teff−1 = ∂S/∂E in Edwards' framework.13
Ergodicity has also been demonstrated explicitly in more realistic simulations.14,15 The compactivity has been measured in simulations and experiments.16–20 On the other hand, results on the equiprobability of microstates are mixed. By evaluating the probabilities of jammed microstates in small clusters a break down of the flat distribution assumption has been demonstrated,21–24 which might be traced back to the packing protocol used.15 Recent studies have investigated the equilibration of granular subsystems in contact,15,25,26 providing further insight into the thermodynamic nature of granular matter.
Ultimately, the success of any statistical mechanical theory needs to be measured by the comparison with experiments. One key problem in Edwards' approach is to identify a suitable volume function, which parametrizes the total volume of the packing as a function of the particle configurations (positions and orientations), replacing the role of the Hamiltonian.2 Here, different conventions can be employed to partition the total volume into cells associated with each particle,27,28 the simplest of which is the Voronoi tessellation.29,30 In 3D these exact volume functions are difficult to handle analytically, so that reduced representations are sought. The thermodynamic nature of packings suggests to use a coarse-grained description of the volume function in terms of observables such as the average number of contacts z (coordination number).31–34 In turn, z is determined by the force transmission in the contact network leading to a mechanically stable packing in which forces and torques on each particle balance.35 For the force network ensemble approaches similar to the volume ensembles have been introduced in order to explain the observed force distribution36 from an entropy maximization.37–41 The stress tensor has also been considered as a conserved quantity leading to a different class of ensembles.41,42
Recently, the force transmission has been treated on a random graph under local mechanical stability constraints resulting in quantitative predictions for the force distribution and the value of z using a cavity method.43 The problem of finding the densest random packing can be similarly formulated as a constraint optimization problem: random close packings appear as the ground state of the volume ensemble restricted to disordered packings as X → 0 for a given z.31,32 This picture highlights that jamming falls into the class of NP optimization problems,44 which can be tackled successfully with the methods of statistical mechanics such as cavity methods.43 A full solution needs to combine the two approaches for the force and volume ensembles, where the Hamiltonian that enforces jamming is a function of both the particle configurations and the contact forces on a random contact network. These ensemble approaches are thus similar in spirit to other recent works that consider jamming as the infinite pressure limit of metastable glass phases.44–51 Here, one considers instead of the Edwards entropy S, the “glass complexity” in order to obtain the statistics of the metastable basins as the pressure diverges. Treatments of this problem based on the random-first order transition picture and replica theory have been performed.50
Recent empirical work has focused on packings of anisotropic shapes like ellipsoids, spherocylinders, and tetrahedra, which can achieve considerably denser volume fractions than the spherical RCP56–68 (see Table 1). In fact, a conjecture attributed to Ulam in the context of regular packings and recently also formulated for random packings67 states that the sphere is, indeed, the worst packing object among all convex shapes. This suggests to improve packing fractions by searching in the space of object shapes, but in the absence of any general theory, this search could so far only be performed on a case-by-case basis using experiments and simulations. A caveat of such empirical studies is the strong protocol dependence of the final close packed state even for the same shape. While the range of achieved volume fractions is relatively small for spheres,54 recent studies of spherocylinder packings, e.g., exhibit a much greater variance depending on the algorithm used.56,57,60–62,65–68 Further theoretical insight is needed, which can be obtained by considering a coarse-grained distribution for the Voronoi volumes in the packing, as discussed next.
| Shape | ϕ max simulation | ϕ max experiment | ϕ max theory |
|---|---|---|---|
| Sphere | 0.645 (ref. 54) | 0.64 (ref. 53) | 0.634 (ref. 31) |
| M&M candy | 0.665 (ref. 58) | ||
| Dimer | 0.703 (ref. 91) | 0.707 (ref. 34) | |
| Oblate ellipsoid | 0.707 (ref. 58) | ||
| Prolate ellipsoid | 0.716 (ref. 58) | ||
| Spherocylinder | 0.722 (ref. 68) | 0.731 (ref. 34) | |
| Lens-shaped particle | 0.736 (ref. 34) | ||
| Octahedron | 0.697 (ref. 67) | ||
| Icosahedron | 0.707 (ref. 67) | ||
| Dodecahedron | 0.716 (ref. 67) | ||
| General ellipsoid | 0.735 (ref. 58) | 0.74 (ref. 59) | |
| Tetrahedron | 0.7858 (ref. 63) | 0.76 (ref. 64) |
j), (including position rj and orientation
j). The total volume V occupied by N particles is
and the packing fraction of monodisperse particles of volume Vα is ϕ = NVα/V. In order to determine Wi one has to know the Voronoi boundary (VB) between two particles i and j, which is the hypersurface that contains all points equidistant to the surfaces of both particles and thus depends on the particle shape and their relative configuration. The boundary of Wi then follows from a global minimization procedure over all pairwise VB.32 In order to take into account multi-particle correlations in the packing, we use a statistical treatment where the overall volume is expressed in terms of an average Voronoi volume: V = N
(z), so that ϕ = Vα/
(z). Instead of an exact description in terms of all configurations {x1,…, xN}, the average Voronoi volume is characterized by the coordination number z, which denotes the average number of contacting neighbours in the packing. We derive a self-consistent equation for the coarse-grained volume function
(z) of monodisperse particles:31,32,34![]() | (1) |
![]() | ||
| Fig. 1 The Voronoi excluded volume and surface for spherocylinders. (a) The volume Ω (red) is excluded for the remaining N − 1 particles in the packing because otherwise the Voronoi boundary would be found at a value smaller than c in the direction ĉ. We draw the usual hard-core excluded volume Vex70 in blue. (b) The overlap of Ω and Vex defines the Voronoi excluded volume V* (red) and the Voronoi excluded surface S* (green). Figure taken from ref. 34. | ||
The quantities V* and S* are the Voronoi excluded volume and surface, which extend the usual hard-core excluded volume of equilibrium systems Vex70 to packings. The volume V* is the volume excluded by Ω for bulk particles and takes into account the overlap between Ω and Vex:
where the bar denotes an orientational average. Likewise, S* denotes the surface excluded by Ω for contacting particles:
Plots of V* and S* for spherocylinders are shown in Fig. 1b. Analytical expressions for V* and S* can be derived in the spherical limit in closed form.31,32 For non-spherical shapes analytic expressions for the VB can be derived using a suitable decomposition of the shape into overlapping and/or intersecting spheres. This leads to exact expressions for V* and S*, which can be evaluated numerically.71 Interestingly, in the limit α → 1, eqn (1) admits an exact solution for spheres:
As a consequence, we obtain an equation of state for spherical packings31,32
![]() | (2) |
Under deformation from the sphere, higher packing fractions are typically reached, where the spherical limit appears as a singular point in the ϕ(α) plane. Moreover, smooth shapes close to the sphere are not isostatic but hypostatic with z < 2df due to redundancies in the force and torque balance equations.72,73 The variation z(α) is obtained by considering the average effective number of degrees of freedom
f defined as the number of linearly independent force and torque balance equations: z = 〈
f(α)〉.34 Here, the probability of redundant configurations with
f < df can be estimated by re-weighting all configurations by rotating into states of maximal redundancy.
The existence of redundant configurations explains the observed convergence in z(α) to values close to 8 for spherocylinders with large aspect ratios:62,68 for long spherocylinders the contacts are predominantly on the cylindrical part so that all normal forces are coplanar. As a consequence, the effective number of degrees of freedom is reduced by one, leading to z = 8.34 The requirement of local force and torque balance can also be formulated as a constraint optimization problem on a factor graph, which describes the force transmission on a single particle.43 Solving this problem with standard methods such as the cavity method predicts values of z in frictional packings and also allows for the computation of the distribution of contact forces in good agreement with experimental results.43
(z) and z(α) leads to a complete theoretical prediction for the packing density ϕ(α) = Vα/
(z(α)) of non-spherical particles without any adjustable parameters.34 We estimate the maximum density of spherocylinders at α = 1.3 with a density ϕmax = 0.731 in good agreement with empirical data. The theory also reproduces well the density of dimers, estimating a maximum at α = 1.3 with ϕmax ≈ 0.707. We have also calculated the packing fraction of lens-shaped particles, which can serve as approximations for oblate ellipsoidal shapes. Our theory yields ϕmax = 0.736 for α = 0.8. This shape represents the densest random packing of an axisymmetric shape known so far. The appearance of a maximum in ϕ for non-spherical shapes close to the sphere has been explained in a simple qualitative picture on the basis of the excluded volume Vex.56 For α close to 1, the ratio Vex/Vα changes only slightly from the spherical value and a density increase results due to the additional orientational degrees of freedom, whereby the particles can fit into gaps by rotating, similar to the increase in packing efficiency due to polydispersity.74 For larger α, Vex exceeds Vα while z remains constant, so that the packing is dominated by the excluded volume and the packing fraction decreases. This argument can explain qualitatively the observed larger packing fraction of spherocylinders compared with dimers. The ratio Vex/Vα is approximately equal for both shapes up to α ≈ 1.2, but for larger α the ratio for dimers increases beyond that of spherocylinders. The packing densities derived in our framework are interpreted as upper bounds to the empirically obtained densities and correspond to maximally random jammed states75 by construction, since the distribution of contact angles in the first coordination shell is imposed to be uniform, avoiding any partial order.
By plotting z(α) against ϕ(α) parametrically as a function of α, we obtain a phase diagram in the z–ϕ plane (Fig. 2). Surprisingly, we find that both dimer and spherocylinder packings appear as smooth continuations of spherical packings. The analytic form of this continuation from the spherical random branch can be derived (blue dashed line in Fig. 2).34 A comparison of our theoretical results with empirical data for a large variety of shapes highlights that the analytic continuation provides a boundary line in the z–ϕ phase diagram. Maximally dense disordered packings appear to the left of this boundary, while the packings to the right of it are partially ordered. The spherical ordered branch provides another boundary, which separates tetrahedra from all other shapes: tetrahedra are the only shape that pack in a disordered way denser than spheres in a FCC crystal. We observe that the maximally dense packings of dimers, spherocylinders, lens-shaped particles and tetrahedra all lie surprisingly close to the analytic continuation of RCP. Whether there is any deeper meaning to this remains an open question.
![]() | ||
| Fig. 2 Phase diagram of jammed matter. We plot our results for dimers and spherocylinders in the z–ϕ plane together with results from the literature for frictionless disordered packings of a selection of regular shapes. We have selected those shapes for which the z and ϕ values have been determined in the same simulation. The predicted spherical random branch eqn (2) (ref. 31) (thick black line) and a conjectured first order disorder–order transition at RCP for spheres77 (dotted and thin black lines) are also indicated. We observe that the analytic continuation of RCP under deformation into dimers and spherocylinders provides an empirical bound to disordered packings in the phase diagram. The symmetry of the shape indicates the possible values of the coordination number z: (i) spheres have z between 4 (infinitely rough) and 6 (frictionless). (ii) Axisymmetric particles have z between 6 and 10. (iii) Fully aspherical particles have z between 10 and 12. Note that for polyhedra, z is associated with the total degrees of freedom blocked by the different types of contacts (face–face, face–vertex, vertex–vertex, face–edge).67 The data point for lens-shaped particles is a theoretical prediction.34 | ||
The picture that emerges is that spherical packings can be generated between the RLP and RCP limits by variation of the inter-particle friction, since this leads to an increase in the coordination number under the isostatic condition from z = 4 to z = 6. Beyond RCP, the spherical equation of state can be continued smoothly by deforming the sphere into elongated shapes. Moreover, the spherical RCP is interpreted as the freezing point of disordered sphere packings, associated with a melting point at ϕ = 0.68.76,77 The signature of this disorder–order transition is a discontinuity in the entropy density of jammed configurations as a function of the compactivity. This highlights the fact that beyond RCP, denser packing fractions of spheres can only be reached by partial crystallization up to the homogeneous FCC crystal phase.75
The Edwards' approach thus helps to elucidate how macroscopic properties of granular matter arise from the anisotropy of the constituents – one of the central questions in present day materials science.82,83 A better understanding of this problem will facilitate, e.g., the engineering of new functional materials with particular mechanical responses by tuning the shape of the building blocks. A search in the space of object shapes for optimization can be performed by considering a small number of spheres and systematically exploring the different possible configurations.84
Our approach eqn (1) can be applied to a large variety of both convex and non-convex shapes. The key is to parametrize the Voronoi boundary between two such shapes, which allows for the calculation of the Voronoi excluded volume and surface. In fact, analytical expressions for the Voronoi boundary can be derived following an exact algorithm for arbitrary shapes by decomposing the shape into overlapping and intersecting spheres (see Fig. 3). Therefore, a systematic search for maximally dense packings in the space of given object shapes can be performed using our framework. Extensions to mixtures and polydisperse packings can also be formulated. So far, exhaustive searches for dense packings have only been performed for ordered packings using computer simulations85,86 and a combination of analytic and simulation techniques.87 This has elucidated in particular the validity of Ulam's conjecture that the sphere is the worst packing object in 3d.88 Analytical progress to prove this conjecture locally, that is, for shapes deformed from the sphere, has recently been made.89
![]() | ||
| Fig. 3 Decomposition of various shapes to calculate the Voronoi boundary. The Voronoi boundary (VB) between two particles is defined as the hypersurface that contains all points equidistant to their surfaces. This implies that the VB between two equal spheres, e.g., is that between two points at the centers of the spheres, so that the VB is generated effectively by the interaction of two points (a). Likewise, the VB between two spherocylinders is due to the effective interaction of two lines, since spherocylinders can be represented as dense overlaps of spheres (d). Arbitrary shapes can be decomposed into dense overlaps of spheres following certain design principles.90 The VB between two such shapes can then be calculated following an exact algorithm that considers the effective Voronoi interactions between points and lines (a–d).34 For shapes that are not naturally given as overlapping spheres (e–h), we propose alternatively an approximation in terms of a small number of intersecting spheres. In this way, two intersecting spheres (a lens-shaped particle) approximate an oblate ellipsoid and four intersecting spheres approximate a tetrahedron. The effective Voronoi interactions are then between points, lines, and anti-points (indicated by crosses).34 Anti-points arise from the inversion of the effective interaction between the spheres in the decomposition. This is evident in the case of lens-shaped particles (e), where the interaction between the spheres is inverted compared to the case of dimers (b). The VB between two tetrahedra is then due to the interaction between the vertices (leading to four point interactions), the edges (leading to six line interactions), and the faces (leading to four anti-point interactions). This approach can be generalized to arbitrary polyhedra. Figure taken from ref. 34. | ||
A more systematic investigation of disordered packings can shed light on the validity of a random variant of Ulam's conjecture, which so far has only been investigated in simulations.67 Our analytic continuation from RCP highlights that this conjecture might hold more generally than previously assumed, containing not only convex shapes, but also a significant class of non-convex ones. Ultimately, our approach might lead to a more exhaustive theoretical investigation of Ulam's conjecture. Along the way one might be able to answer important questions such as if a shape that packs denser in a random configuration than in a regular one exists.72 Such objects could represent optimal glass formers with far reaching consequences for materials science.
| This journal is © The Royal Society of Chemistry 2014 |