Manuel
Laso
*a,
Nikos Ch.
Karayiannis
a,
Katerina
Foteinopoulou
a,
Marc L.
Mansfield
b and
Martin
Kröger
c
aInstitute for Optoelectronics and Microsystems (ISOM), Universidad Politécnica de Madrid (UPM), José Gutiérrez Abascal 2, E-28006 Madrid, Spain
bDepartment of Chemistry and Chemical Biology, Stevens Institute of Technology, Hoboken, New Jersey 07079, USA
cPolymer Physics, ETH Zürich, Department of Materials, Wolfgang-Pauli-Strasse 10, CH-8093 Zürich, Switzerland
First published on 11th March 2009
The random packing of rigid objects has not only engrossed mathematicians since biblical times but is receiving attention for numerous applications and processes involving microgels, granular media, colloids, glasses, liquids, synthetic polymers and biomolecules. While dense random assemblies of single hard spheres have been extensively investigated both experimentally and theoretically over the past 50 years, it was only recently that analogous problems for chains of hard spheres have been addressed. We highlight the relevance of these recent advances, and describe the most salient characteristics of the “maximally random jammed” state for hard sphere chains. Particular emphasis is placed on the scaling behavior of chain dimensions and topology with packing density. We also discuss the potentially far-reaching implications of an unexpected connection that has been found between entanglements (intermolecular constraints) and knots (of intramolecular origin) regarding their dependence on volume fraction.
![]() Manuel Laso | Manuel Laso (MSc UPM 1983, PhD ETH Zürich 1986) has been a professor of Materials Science at the Universidad Politécnica de Madrid since 1995. He has been Privatdozent at ETH Zürich (1996–1999), visiting professor at the Isaac Newton Institute of the University of Cambridge (1996), at the Universität Erlangen-Nürnberg (2004), and is an elected Fellow of the Institute of Physics (2004). His research interests include statistical mechanics of chain molecules, and numerical methods in polymer physics and complex fluids. |
![]() Nikos Ch. Karayiannis | Nikos Ch. Karayiannis received his diploma (1997) and PhD (2002) in Chemical Engineering from the University of Patras (Greece). After an internship in BP-Amoco (2002, USA) he continued his research activities as a post-doctoral fellow in ICEHT–FORTH (2002–2005, Greece) and ISOM/ETSII (2006–2008, UPM, Spain). His research interests include simulation studies of synthetic and biological polymer systems through hierarchical modelling approaches. |
![]() Katerina Foteinopoulou | Katerina Foteinopoulou studied physics at the University of Patras, Greece (BSc 1997, MSc 1999). She received her PhD in 2005 from the same university in collaboration with ICEHT–FORTH. She is currently working as a postdoctoral researcher at the Universidad Politécnica de Madrid, Spain. Her main research interests include macroscopic simulations of complex flow problems and computational studies of the viscoelastic and rheological properties of polymers. |
![]() Marc L. Mansfield | Marc L. Mansfield received a BA in Physics from the University of Utah (1977) and a PhD in Chemistry from Dartmouth College (1980). He was an Assistant Professor of Engineering Materials at the University of Maryland from 1983 to 1985. From 1985 to 1999 he worked as an Associate Research Scientist at the Michigan Molecular Institute in Midland, Michigan. Since 1999 he has been a Professor in the Department of Chemistry and Chemical Biology, Stevens Institute of Technology, Hoboken, New Jersey, USA. His research interests include the theory and modelling of transport properties of macromolecules and nanoparticles and topological effects in macromolecular conformation and dynamics. |
![]() Martin Kröger | Martin Kröger studied mathematics and physics (1985–1991), and received a PhD in Theoretical Physics (1994) from the Technical University of Berlin (TUB). He was senior scientist at TUB (1995–2003) and ETH Zurich (1997–2005), and invited professor at the Universities of Metz (1995) and Strasbourg (1996). He is currently Professor for Computational Polymer Physics at the ETH Zurich (since 2006). His research focuses on coarse-grained models for complex liquids, stochastic differential equations, computational physics, applied mathematics, and statistical physics of anisotropic fluids. |
![]() | ||
Fig. 1 Photograph of a ball-and-spoke model or irregular structure constructed by Bernal51 to be as “irregular as possible” using spokes of lengths 2.75 to 4.0 inches in proportions roughly the same as those observed in liquid distribution functions. Spokes of different length are distinguished by colors in the printed version of the original article. Our current article focuses on randomly packed chains of tangent hard spheres, which are unfortunately more difficult to visualize this way (see Fig. 2a), where two of the spokes per ball have been converted into bonds. Reprinted with permission from ref. 51. Copyright 1959 Macmillan Publishers Ltd. |
Although the statement of the random close packing problem seems to be simplicity itself (loosely speaking: “put together an arbitrarily large number of identical spheres as compactly and as randomly as possible”), it is remarkable that even the definition of RCP was recently revised by Torquato et al.,3 and replaced by the more rigorous statistical–mechanical definition of the maximally random jammed (MRJ) state. According to Torquato et al.3 a particle is jammed in a structure when it cannot be moved if the positions of all other particles in the system are fixed. The opposite of a jammed particle (i.e. a freely roaming, caged particle) is denoted as a “rattler”.3 Consequently, an ideal (infinitely sized) random packing is considered as jammed if all of its hard spheres are jammed. In practice, computer-generated MRJ structures are of finite size and unavoidably contain a very small fraction of “rattlers”, their amount being protocol dependent.3
Given that more than four centuries passed between Kepler's conjecture about the densest regular packing (that of the face-centered cubic) and its mathematical proof by Hales,4 it is not surprising that the determination of the volume fraction φ occupied by the spheres at the MRJ state remains to this day refractory to analytical approaches. The missing proof notwithstanding, both experiments and computer simulations have converged on a widely accepted value of φ ≃ 0.64 for single spheres at the MRJ state,2,3,5–8 while the densest possible ordered packing of monodisperse spheres has a volume fraction of . In spite of the dearth of analytical results, work on dense random assemblies has progressed significantly, and has also been extended to non-spherical objects,9 to frictionless particles,10 to mixtures of dissimilar spheres,11 and to packing in higher dimensions.5,12 This extensive body of knowledge has found widespread application in the physics of amorphous and granular materials, colloids, biology, perturbation theory in thermodynamics, and even in communication theory, among others.1,3,13,14
Compared with random packing of single spheres, very little attention has been devoted to the investigation of dense assemblies of freely-jointed chains of tangent hard spheres, although they are considered as the second type of ideal amorphous solids,15,16assemblies of hard spheres being the ideal amorphous solids of the first kind. In spite of chains of hard spheres being the simplest and most fundamental model system for synthetic and biological polymers, neither experiments nor simulations to determine their density and structure at their MRJ state had been forthcoming. This situation was due, on the one hand to the difficulty of constructing laboratory mechanical models, and on the other hand to the computational complexity of generating MRJ structures of chains of hard spheres. It was only very recently that the problem of determining the MRJ state of chain molecules could be solved through extensive Monte Carlo (MC) simulations.17 While very large (up to a million spheres) systems of dense random packing of single hard spheres can be generated almost routinely nowadays,18 the determination of the MRJ state for hard sphere chains requires the combined use of several advanced off-lattice MC algorithms19 in order to efficiently sample their configuration space (see Fig. 2a and 2b for representative configurations of hard sphere chain systems near the MRJ state).
![]() | ||
Fig. 2 Clockwise starting from top left: representative configuration of a 54-chain, hard sphere system of molecular length N = 1000 in the vicinity of the MRJ state, with coordinates of sphere centers (a) wrapped, subject to three-dimensional periodic boundary conditions and (b) fully unwrapped in space. (c) An arbitrary selected single chain of high knotting complexity (10.153)44 with constituent sites shown as transparent spheres. Also shown is the corresponding primitive path, and segments of other primitive paths with which it is entangled (see also Fig. 7). (d) The underlying primitive path network, after application of the Z1 topological algorithm (see also ref. 35 and Fig. 5), with entanglement coordinates unwrapped in space. Image created using the VMD software.52 |
Since the computational efficiency of the MC algorithm in equilibrating the long range system characteristics is affected by neither the average molecular length N, nor the packing density φ,19 it was possible to simulate from relatively short oligomers (N = 12) all the way into the asymptotic, infinite chain regime (N = 1000). As a consequence, conclusive evidence has been collected about generic features such as the MRJ state,17 the universal scaling of chain dimensions22,23 and underlying topology23 with packing density, and the evolution of local ordering24 with increasing packing density. To start with, it was found that hard sphere chains reach their MRJ state at the same volume fraction as the packings of single spheres do (within statistical uncertainty) φMRJ ≈ 0.638 ± 0.004, regardless of chain length.17 As shown in Fig. 3, in the vicinity of the MRJ φ*,marg(N) ∝ φ*,marg∞(1 + O(N−1)) state the pair radial distribution function g(r) of chain systems closely resembles that of single sphere ones, although the double tangency condition has a small but noticeable effect especially at distances close to the sphere diameter (r = 1). While it is trivial to prove that φMRJ for chains cannot be higher than for single spheres,† a rigorous proof of the equality φMRJsingle spheres = φMRJchains, although tantalizingly close,‡ is still missing. The MRJ state for chain molecules is characterized by the system becoming jammed, in the sense that the proportion of inner spheres§ that are able to perform an arbitrarily small “flip” move without either incurring overlaps with other spheres, or violating the connectivity of the chains, is very small (less than 1%). The inset of Fig. 3 shows vividly how the fraction of “flipper” spheres (i.e. spheres that are able to perform small displacements subject to the constraints discussed above) declines sharply as the MRJ state is approached, in a way similar to that of “rattlers”3 for single hard spheres. This precipitous drop is the hallmark, and the accepted “signature” of jamming. The question is thus settled that neither chain length nor the tangency/connectivity constraint, which were responsible in the past for the computational intractability, hinder the packing of chains with respect to single spheres. Fig. 2a gives an illustrative impression of the extreme packing conditions at the MRJ state, and highlights the difficulty of devising efficient configuration–sampling algorithms.
![]() | ||
Fig. 3 Radial distribution function g(r), for hard sphere chains and single hard spheres in the vicinity of the MRJ state. Inset: percentage of “flipper” hard spheres as a function of packing density. For the definition of “flipper” spheres see definition in text. |
Local ordering was investigated through the characteristic crystallographic element (CCE) norm, a descriptor which is sensitive both to radial and orientational deviations from perfect local order and remains strictly discriminating between different, competing crystal structures.17,24 The order analysis based on the CCE norm revealed that, at the MRJ state, the portion of sites with either HCP-like (hexagonal close packed) or FCC-like (face-centered cubic) local environment is very small (less than 4% in total).17,26 It was also found that the mean coordination number for hard sphere chain packing at the MRJ state equals 6 (2d, where d is the dimensionality of the simulated system)26 as expected from the isostatic condition and in agreement with the simulations by Donev et al.3a on monatomic hard sphere jammed analogs.
φ*,conc(N) ∝ φ*,conc∞(1 + O(N−1)) φ*,marg(N) ∝ φ*,marg∞(1 + O(N−1)) | (1) |
φ*,conc∞ ≃ 0.59; φ*,marg∞ ≃ 0.32 | (2) |
![]() | ||
Fig. 4 Double logarithmic plot of the characteristic ratio CN, as a function of packing density, φ. Lines with characteristic slopes are drawn as a guide to the eye. Inset: logarithm of characteristic ratio versus (linear) volume fraction in the marginal and concentrated regimes. φ*,marg and φ*,conc mark the predicted22 crossovers for the transitions from semi-dilute to marginal, and from marginal to concentrated regimes, respectively. |
The extreme simplicity of hard sphere chains makes them an ideal statistical mechanics model on which to analyze universal entanglement behavior.23 In particular, the analysis of primitive path networks as a representation of states of polymers from solutions to jammed amorphous solids is an area of great current relevance. In our work, primitive paths were extracted from the corresponding hard sphere chains by means of the state-of-the-art Z1 algorithm.35 This algorithm solves the problem of the shortest multiple disconnected path by minimizing the Euclidean length, subject to constraints arising from the initial (parent) state. Alternative approaches for the determination of the primitive path had been explored in ref. 39. By transforming the Doi–Edwards32 physical concept of entanglements into a minimization problem, the Z1 algorithm provides an approximate but still accurate geometrical solution. The code uses kinks originally located at particle positions that tend to diminish during the length minimization process; it operates at an optimum “time step” and uses a self-adapting grid to speed up computations. Upon convergence of the minimization procedure (when the total contour length of the primitive paths does not decrease between successive iterations) the number of entanglements equals the number of interior kinks of the shortest path. The schematic representation of the algorithmic procedure implemented in the Z1 code is shown in Fig. 5. Fig. 2 further shows the transformation through the topological algorithm of the parent hard sphere chains (Fig. 2b) to the corresponding primitive paths (Fig. 2d).
![]() | ||
Fig. 5 Schematic representation of the extraction of primitive paths from the parent atomistic chain as incorporated in the Z1 algorithm.35 Top: original configurations where the primitive paths coincide with the atomistic chains as kinks are located in particle positions. Middle: iteration of the minimization procedure where the contour lengths of the primitive paths are reduced, and non-constraint kinks are removed from the system. Chain ends are held fixed through the iterative procedure. Bottom: final configurations after convergence where the total path reaches its shortest value. One entanglement (internal kink) is assigned to the primitive paths shown in black and green, while the one shown in blue possesses two entanglements. |
The evolution of the entanglement density with the polymer volume fraction φ is of particular interest, since the complex, non-intuitive dependence of the number of entanglements on φ gives rise to the very different types of rheological behavior which have been observed experimentally as concentration increases up to the melt. Results of the topological analysis leading to the primitive paths for the asymptotically long (N = 1000) hard sphere multi-chain system up to the MRJ state are shown in Fig. 6. Four easily distinguishable scaling regimes, characterized by specific scaling exponents, can be observed for the dependence of the average number of entanglements per chain, more precisely, the number of segments of the primitive path 〈Z〉, on packing density.23 The ranges of the scaling regimes along with the corresponding scaling exponents are:23 (I) 0 ≤ φ ≤ φ*,semi; 〈Z〉 ∼ φ0.0 ± 0.1, (II) φ*,semi ≤ φ ≤ 0.45; 〈Z〉 ∼ φ0.60 ± 0.15, (III) 0.45 ≤ φ ≤ φ*,conc; 〈Z〉 ∼ φ0.0 ± 0.1 and (IV) φ*,conc ≤ φ ≤ φMRJ; 〈Z〉 ∼ φ4.0 ± 0.4.
![]() | ||
Fig. 6 Double logarithmic plot of the (left axis) average number of segments of the primitive path 〈Z〉 and of the (right axis) fraction of knotted chains for the N = 1000 hard sphere chain system. Lines with characteristic slopes are drawn as guides to the eye. Inset: zoom into the marginal and concentrated regimes. |
While entanglements have been at the root of modern theories of polymer dynamics since its inception,32 the interest in knots as an alternative analysis pathway of topological constraints is quite recent.40–42 For example topological studies based on the concept of knots had so far been presented for single ring polymers (φ → 0), where it had been empirically observed that the probability of being unknotted depends on N as mNNa or alternatively e−N/N0 with m slightly less than unity, a close to zero, and N0 a large number which depends on the sphere radius.42 In the present work, knots were identified by the technique proposed by Mansfield.40 Since knot theory only defines knots in closed paths, to apply it on the topology of linear polymers each chain is converted into a closed polygon. While there exists numerous ways of connecting the two chain ends, it was found that the chain closure scheme has no effect on neither the ranges of the scaling regimes nor on the values of the corresponding exponents.23 Therefore, individual chains were extracted from the configurations generated by the MC algorithm, converted into a closed polygon, and its knotting was determined using the technique described in ref. 40. This method is based on the concept of a knot group, which is simultaneously more discriminating and easier to calculate than the knot invariants that have been used in such studies in the past (Gauss winding number, or the Alexander, Jones, or HOMFLY polynomials).43 Starting from an arbitrary projection of an embedded graph, this method generates a sequence of representations, any of which is a full and complete representation of the knot group. This sequence of representations is compared against the entries in a previously determined look-up table.44 The matching entry identifies the knot as well as its complexity.40
The results of such a knotting analysis for the same large set of configurations of the hard sphere, multi-chain system (N = 1000) up to the MRJ state are also included in Fig. 6 (right axis), allowing for a direct comparison with the corresponding scaling behavior of entanglements (left axis). The similarity, within the statistical uncertainty, of the scaling exponents for entanglements and knots is a most unexpected result for a very simple reason: entanglements are, by definition, a multi-chainconstruct, while knotting is primarily a single-chain phenomenon. Thus, knotting is a purely intramolecular characteristic, whereas entanglements constitute a purely intermolecular measure of topological hindrance. Furthermore, entanglements seem to be localized in space, whereas knotting is a global, “delocalized” property of a chain. Yet the evidence collected on the hard sphere chains strongly suggests that, in a very general sense, knots must be equivalent to entanglements. In other words, the multi-chain phenomenon of entanglement leaves an unequivocally recognizable imprint on the shape of individual chains: once the scale factor between knots and entanglements is found (roughly speaking, the vertical shift between the two sets of symbols in Fig. 6), it should be possible to determine the dependence of the number of entanglements on the volume fraction Σent(φ) from the dependence of the number of knots on volume fraction Σknot(φ), by analyzing the knotting of single chains extracted from the multi-chain ensembles over the entire volume fraction range.
This remarkable finding may actually have a simple explanation. While the original concept of an entanglement is a dynamic one (as beautifully shown in the pioneering simulations of Kremer and Grest),45 all current algorithms for determining entanglements are based on static, essentially geometric arguments. In very simplistic terms, topological algorithms detect entanglements by holding the ends of all chains fixed, and by simultaneously “tightening” the chains as if they were retractable rubber bands, until a minimum overall length, compatible with chain uncrossability, is reached. On the other hand, knotting algorithms start by connecting the ends of a given chain, and then determine the type of knot (e.g. based on knot group or knot invariants). Although the two types of analyses seem to be unrelated at first sight, the essential information both of them ultimately require is contained in the succession of over- and under-crossings of two-dimensional projections of the chains (or single chain in the case of the knotting analysis). Fig. 7, which is meant to be qualitatively suggestive only, illustrates how the difference in the sequence of crossings between the trefoil and the unknot configurations results in very different knotting, and also different entanglement characteristics. If we symbolically represent by ωknot(φ,±,±,±,…) and ωent(φ,±,±,±,…) the functional dependence of knots and entanglements on volume fraction, and on the underlying distribution of sequences of crossings for a particular entangled chain molecular system, the scaling similarity of Fig. 6 implies that both must be directly related to a universal “topological constrain” function Ω(φ,±,±,±,…) by a simple proportionality: ωknot ∝ ωent ∝ Ω(φ,±,±,±,…), so that their ratio ωknot(φ,±,±,±,…) : ωent(φ,±,±,±,…) is a system/chemistry dependent constant. Thus, in an ensemble average sense, single, highly knotted chains can be considered proper class representatives of highly entangled, multi-chain systems. This similarity may lead to a refinement and revised evaluation of current methods of characterization of entanglements: once the entanglements of a particular system have been determined, additional information such as spacing between entanglements, reptation tube diameter, etc. is obtained in what can be called a “post-processing” analysis. A knotting analysis however yields basically “delocalized” information: the number and the complexity (type) of knots. No further information can be extracted. If, however, the basic information content of knots and entanglements is the same, as Fig. 6 strongly suggests, the natural question is then to what extent the “post-processing” step imposes a structure on the results which is not contained in the original system, but which stems from explicit or implicit assumptions (e.g. freezing of dynamic degrees of freedom, Gaussian behavior of primitive paths, type of distribution of entanglements along chains, etc.).
![]() | ||
Fig. 7 Schematic drawing highlighting the different configurational information giving rise to knotting (top) and entanglement (bottom). Shown in the middle of the two columns are two configurations of a single linear chain (no. 1) of tangent spheres together with two of the surrounding chains (no. 2 and 3), which differ in their topological constraints. The analysis of knots40 operates on the conformation of the single chain. Over- and under-crossings as the chain is traversed starting at one of its two ends are marked by “+” and “−” signs, respectively. The analysis of the entanglement network operates on the configurational information of the whole system and yields the shortest multiply disconnected path.35 During the minimization procedure the ends of the sub paths (so called primitive paths; shown are primitive paths for chains 1–3) remain fixed in space (see also Fig. 5). While for the analysis of knots the information of ‘above’ and ‘under’ within a single chain is of the utmost importance, and the information about surrounding chains irrelevant, for the analysis of the entanglement network exactly the opposite is true. Chain thickness is irrelevant for both methods. |
Footnotes |
† Assume that there exists a state/ensemble in which hard sphere chains strictly pack more densely than single spheres. Remove the bonds in all chains in each configuration of this ensemble. The result is an ensemble of hard spheres at the same density as the starting chain system, in contradiction with the hypothesis. |
‡ It would suffice to prove that for a given MRJ structure of single hard spheres, it is always possible to link them into chains of the desired length so as to create an MRJ structure of hard sphere chains. Algorithms able to perform this task in most specific cases are known,25 a proof that guarantees their success in all cases is however not known. |
§ In a fashion analogous to the “jammed” state of inner spheres a chain end is “jammed” if it is not able to perform an arbitrarily small “reptation” or “rotation” move subject to holonomic constraints. |
This journal is © The Royal Society of Chemistry 2009 |