--- abstract: 'Emergent phenomena share the fascinating property of not being obvious consequences of the design of the system in which they appear. This characteristic is no less relevant when attempting to simulate such phenomena, given that the outcome is not always a foregone conclusion. The present survey focuses on several simple model systems that exhibit surprisingly rich emergent behavior, all studied by molecular dynamics (MD) simulation. The examples are taken from the disparate fields of fluid dynamics, granular matter and supramolecular self-assembly. In studies of fluids modeled at the detailed microscopic level using discrete particles, the simulations demonstrate that complex hydrodynamic phenomena in rotating and convecting fluids – the Taylor–Couette and Rayleigh–Bénard instabilities – can not only be observed within the limited length and time scales accessible to MD, but even quantitative agreement can be achieved. Simulation of highly counterintuitive segregation phenomena in granular mixtures, again using MD methods, but now augmented by forces producing damping and friction, leads to results that resemble experimentally observed axial and radial segregation in the case of a rotating cylinder, and to a novel form of horizontal segregation in a vertically vibrated layer. Finally, when modeling self-assembly processes analogous to the formation of the polyhedral shells that package spherical viruses, simulation of suitably shaped particles reveals the ability to produce complete, error-free assembly, and leads to the important general observation that reversible growth steps contribute to the high yield. While there are limitations to the MD approach, both computational and conceptual, the results offer a tantalizing hint of the kinds of phenomena that can be explored, and what might be discovered when sufficient resources are brought to bear on a problem.' address: 'Department of Physics, Bar-Ilan University, Ramat-Gan, Israel 52900' author: - 'D.C. Rapaport' bibliography: - 'emergephen.bib' title: 'Molecular dynamics simulation: a tool for exploration and discovery using simple models' --- 22 October 2014 <span>*Keywords*</span>: molecular dynamics simulation, emergent phenomena, atomistic hydrodynamics, granular segregation, molecular self-assembly, GPU computing Introduction ============ The behavior associated with emergent phenomena is unusual in the sense that it is not an obvious consequence of the system design. 'Emergence', where the whole appears to be more than just the sum of its parts, is a term in widespread use, particularly in the biological and social sciences. However, when used to characterize effects that are inherently physical, the presence of some unknown component is not implied, but merely a manifestation of cooperative behavior that the theoretician's tools are unable to deduce from the underlying equations. (There is a certain arbitrariness in designating phenomena as emergent, with the field of phase transitions often excluded, probably due to its theoretical foundations predating the popularization of the concept). Computer simulation provides an ideal framework for studying physical phenomena that exhibit emergent characteristics. Simulation, unlike mere computation, aims to accommodate a more flexible outcome, thereby facilitating 'exploration'; if the unexpected is encountered, this amounts to 'discovery'. The discovery of emergent behavior in the course of a simulation is arguably even more surprising than in the real world, since the ingredients of the model system are (by definition) known, whereas in nature, as a last resort, emergence can always be attributed to mechanisms not fully understood. The systems described in this article all exhibit emergent behavior. They are presented as a series of case studies and are based, for obvious reasons, on the author's own work. The case studies, all involving classical molecular dynamics (MD) simulation, fall into distinct categories and are described in greater detail in subsequent sections of the paper; this grouping reflects the ability of emergence to manifest itself in different ways. The problems investigated can be summarized as follows: (a) Complex hydrodynamic behavior in atomistic fluids: the Taylor–Couette and Rayleigh–Bénard instabilities where structured flow patterns develop under the appropriate conditions. (b) Granular segregation: the components of a binary mixture of particles with different properties undergo axial and/or radial segregation in a rotating cylinder, or horizontal segregation in a layer placed on a vertically vibrated base with sawtooth grooves. (c) Supramolecular self-assembly: the spontaneous formation of polyhedral shells from particles of suitable shape, behavior analogous to the growth of protein shells that encapsulate spherical viruses. Emergent behavior is associated with effects occurring at a 'higher' level than the participating elements. In the case of complex fluid flow, the atoms have little 'awareness' of collective movement on spatial and temporal scales far beyond the mean interatomic separation and the mean time between collisions. The same is true for segregating grains, although most will gradually become aware that they are surrounded by similar neighbors. With self-assembly, the molecular constituents are continually forming and breaking bonds, but gradually find themselves completely bonded, with little or no possibility of escape, as they are incorporated into the growing shells. In each of the examples, individual particles respond to the forces exerted by their immediate surroundings and, where relevant, boundary walls and an external force such as gravity; the common characteristic shared by these systems is that, if and when large-scale coherent behavior does emerge, it does so spontaneously. Although the systems described here are mostly familiar, the <span>*a priori*</span> expectation of what simulations might be capable of achieving range from the uninteresting case of nothing, to the ideal outcome in which the rich complexity of the real world is reproduced. In studies of fluid flow, the surprise would be that macroscopic phenomena actually persist down to the microscopic scales accessible to MD. A successful outcome may show qualitatively meaningful behavior or even quantitative agreement with experiment and/or theory. Failure could reflect inadequacy of the model, unsuitable parameter choices, or simulations of systems that are too small to accommodate the range of length scales involved or run for insufficient time for the phenomena to develop. Resolution of the size and time limitations is aided to a modest extent by advances in computer performance. Spurious artifacts, implying behavior not observed in nature, are also a possibility. It goes without saying that mere reproduction of known behavior, no matter how complex, is not the ultimate goal; once a phenomenon has been captured <span>*'in silico'*</span>, questions can be asked concerning mechanisms that might be experimentally inaccessible, with a view to investigating the cooperativity ultimately responsible for emergent behavior. Direct observation is crucial for the study of complex phenomena in the real world, the reason being that quantitative characterization is not always possible, and even when it is, the information supplied may be incapable of describing the intricate details. Computer visualization plays the corresponding role in the simulational environment. Actual observation of complicated and sometimes unexpected behavior arising in a simulation is also an illuminating experience because it reinforces the appreciation that complexity can have simple origins. The results included here emphasize the visual aspect, and are supplemented with limited quantitative details when theoretical or experimental comparison is possible or if the description of the phenomenon is enhanced by numerical data; further analysis is deferred to subsequent publications that focus on the individual systems. The case studies are all based on new simulations that revisit problems considered in the past. The updated computations take advantage of recent advances in MD methodology enabled by GPU-based (GPU = graphic processing unit) computing that offer a 1–2 orders of magnitude performance improvement (depending on the type of computation and when the earlier work was carried out) to increase the system size and/or time covered. Larger systems can reduce finite-size effects, and in some instances, described later, the models themselves have been enhanced in various ways. The effect of these changes is reflected in the results. Improved computing power increases the scope for exploration; some of the examples considered here that originally required weeks of computing can now be completed in a single day, those needing months now complete in a week, while others of a less demanding (but still substantial) nature can now even be carried out interactively; the implications for proposed future study of these and related systems are obvious. The organization of the paper is as follows. General aspects of MD simulation methodology are briefly summarized in Section 2, including model design and parameterization, algorithms and optimization for modern high-performance processors, inherent limitations of the MD approach due to the simplified models and heavy resource requirements, and the issue of reproducibility that arises when dealing with emergent behavior. The individual case studies are described in Sections 3–5: the background to each of the problems is covered, and the customized models and extensions to general MD procedures required for the simulations introduced, together with their limitations; the results accompanying the studies emphasize the more unexpected aspects of the behavior. Finally, Section 6 provides a retrospective outlook, attempting to strike a balance between the capabilities of the simulational approach and the rewards anticipated from the exploration of problems of increasing size and complexity. Methods ======= Molecular dynamics simulation, or MD, a well-established approach conceived early in the computer age @ald57 [@rah64], is aimed at probing the detailed dynamics of an extremely broad range of atomic and molecular systems, leading, among other notable accomplishments, to an understanding of liquid structure and dynamics, and helping gain a recent (2013) Nobel Prize for contributions to biomolecular dynamics. The methodology, e.g., @rap04bk, is based on classical dynamics, and while quantum theory often underlies the models, in particular the interaction potentials, explicit quantum effects are usually excluded. Simplified models are a key requirement to avoid being overwhelmed by excessive molecular detail; however, while it is essential to identify the important elements, it is not always obvious what assumptions are allowed. As with any theory, confirmation of whether the outcome of a simulation mirrors reality, either qualitatively or quantitatively, or is a mere artifice of the model, must come from outside the simulational framework. While each of the case studies involves discrete particles and MD methodology, particles can represent different kinds of objects. For the fluid studies, unlike conventional computational and theoretical fluid dynamics that regard a fluid as a continuous medium, the MD approach adopts an atomistic viewpoint, using the simplest possible soft-sphere particles to represent the individual atoms or molecules; intrinsic properties of the fluid, such as the viscosity, thermal expansion coefficient and heat capacity, are determined by the system itself rather than specified as parameters. When modeling granular matter, the model particles correspond to grains; granular simulations generally consider spherical particles, using dissipative, velocity-dependent interactions as well as history-dependent interactions to emulate the complexities of friction, but in one of the current studies the particles consist of rigid tetrahedral arrays of soft spheres allowing the frictional forces to be simplified (partly for computational reasons). Finally, in the case of self-assembly, each protein capsomer (as the assembling particles are known) is again represented by a set of soft spheres arranged on a suitable rigid framework, with attractive forces acting selectively between interaction sites located on different particles to produce bonding; the particles themselves are immersed in a solvent consisting of soft-sphere atoms. Each of the systems considered involves excluded-volume interactions between the soft spheres; there are additional interactions, treated in later sections, that are problem specific. Two versions of the soft-sphere interaction are used. For the fluid and self-assembly simulations, the force is based on the truncated Lennard-Jones potential $$u_s(r) = 4 \epsilon \, [(\sigma / r)^{12} - (\sigma / r)^{6}] \qquad r < r_c \label{eq:ssint}$$ where $r = |{{\bm{r}}}|$ is the distance between particle centers; the cutoff range, $r_c = 2^{1/6} \sigma$, ensures that the force is repulsive. In the granular simulations, the force depends linearly on particle overlap and is derived from the potential $$u_\ell(r) = (k_n / 2) \, (r_c - r)^2 \qquad r < r_c \label{eq:ovint}$$ where $k_n$ is the force constant, and the cutoff range is determined by the mean diameter of the particles involved. In both cases the interactions ensure that the maximum particle overlap (which reflects the effective particle diameter and depends on the relative speed at impact and on local stresses) is minimal. The use of reduced (dimensionless) MD units is implicit; though not required here, results expressed in reduced units are readily converted to physical units for comparison with experiment. For simulations of atoms or molecules, the reduced unit of length is expressed in terms of $\sigma$, which for argon is 3.4Å (a typical value), and spheres have unit mass; the time unit is determined by $\epsilon$ and corresponds to $2.16 \times 10^{-12}$s (also for argon). Setting the Boltzmann constant to unity defines the temperature unit. For the granular simulations, length is defined in terms of the nominal particle diameter (if there is more than one species the smallest size is used), and to maintain consistency with earlier work $r_c$ is set to $2^{1/6} \times$ (mean diameter); the diameter is typically $10^{-3}$m, and the time unit is then determined from the value of the gravitational acceleration $g$ so that the rotation or vibration rates correspond to experiment (described later). All the simulations use an integration timestep of 0.005 (MD units). General MD methodology covers a variety of algorithms and computational tasks required by the simulations, including the organization of the force evaluations in a manner that scales linearly with the number of particles, the integration of the equations of motion for long simulations while ensuring stability, rigid-body dynamics, treatment of boundary conditions and the system initialization process, as well as details specific to individual problems including analysis techniques. These issues are addressed in @rap04bk, where the software required for many different types of MD simulations is described in detail. Additionally, the case studies described here use optimized MD software based on algorithms customized for GPU use @rap11 that, in some respects, differ significantly from their conventional counterparts. These GPU techniques have been extended to handle the specialized needs of the current work, including rigid bodies, various kinds of complex boundary conditions, multiple particle species, various force types and external fields, and have also been updated to utilize new hardware capabilities in the latest generation of GPUs not available for the earlier work (the actual GPU used here is the NVIDIA K20, whose massively parallel set of 2496 computational cores is fully utilized in the simulations). Typically, relatively large systems and long runs are required to cover the multiple length and time scales intrinsic to each of the systems. A run must follow the entire evolution of the simulation, from its initial state until the expected (or unexpected) behavior has had the opportunity to develop and stabilize. Because local 'knowledge' must be allowed to propagate throughout the system, often a slow process that proceeds at diffusive rates, the length and time scales are sometimes coupled, so bigger systems may need to be simulated for longer time periods, further increasing the rate at which the computational burden increases with system size. The dynamics are driven entirely by deterministic interactions; the only stochastic element in the simulations is the set of random initial velocities (and also the particle species designation if multiple species are involved). The particle trajectories themselves provide the raw data from which the results are derived, such as the flow and temperature fields that can be extracted by suitable coarse-grained averaging, the search for assembled structures by means of cluster analysis performed on particle configurations, or simple thermodynamic measurements. Depending on the problem, snapshots of either the particle positions or the flow fields are recorded over the course of each simulation, and subsequent quantitative analysis is based on these recorded summaries. Interactive visualization capabilities are incorporated into each of the simulations, allowing progress to be monitored, and also enabling subsequent replay of the recorded snapshot files. Each model involves adjustable parameters, some of which are crucial to determining behavior, others less so. Certain parameters correspond directly to macroscopically measurable quantities, such as density, temperature or gravitational field, with some parameter combinations yielding dimensionless values such as the Reynolds or Rayleigh numbers, while other parameters are more closely associated with the model itself, such as the interaction strengths, the components of the friction forces, particle-wall interactions and particle shape. Each such parameter contributes to the overall behavior, either in the same manner as its macroscopic analog, if one exists, or possibly in a less obvious manner if it only appears in the definition of the model; consequently, even if the model is correctly designed in principle, emergent behavior might only manifest itself over limited parameter ranges. The relation between macroscopic quantities and model parameters is obvious in some cases, such as temperature which is proportional to mean kinetic energy, less obvious in others such as the Reynolds number which is useful only when the fluid viscosity does not vary significantly, an assumption not necessarily true under MD flow conditions, and difficult to resolve as in the case of macroscopic rate constants for self-assembly which, although dependent on interaction strength and concentration, can have as many distinct values as there are assembly steps. An important issue bearing on simulations of complex behavior is reproducibility. This feature is no less vital in simulation than in experiment, and is not usually a problem, especially when simply measuring averages in a system already in a steady state. However, with simulations whose outcomes are 'singular' events (typically related to the emergent aspect of the behavior), and where computational cost limits sample coverage based on multiple runs with different initial conditions, it is not always possible to satisfy this requirement. In each such run, these events (here they would be associated with the stages of flow development, spatial segregation or cluster formation) can lead to changed final states, or can appear at different times, or sometimes even fail to btaylor@example.net. Moreover, a run started from a particular initial state may itself have limited reproducibility given that different computer hardware and software combinations can produce minute changes to floating-point results that grow exponentially with time, a well-known effect due to the underlying chaotic nature of MD trajectories, leading to altered collective behavior (the same is true in experiment, though for other reasons). Finally, with modern parallel computers (GPUs in particular), the computation order itself may be beyond user control (known as a race condition), leading to similarly irreproducible outcomes. However, if the system state is not too close to a phase transition (in the most general sense), the results can be expected to be similar, even if some of the less-important details vary. Atomistic fluid dynamics ======================== MD provides, at least in principle, a direct approach to the study of fluid dynamics and the variety of complex flows associated with hydrodynamic instability, such as those illustrated in @van82. Due to its heavy computational demands, MD cannot compete with well-established continuum techniques (nor with lattice-based methods), but it does offer a means for overcoming issues introduced when quantities commonly represented by continuous fields need to allow for features such as free surfaces, multiple components, and history-dependent behavior associated with complex rheology. On the other hand, given the restriction to relatively small systems over limited time intervals, there is the question of whether the familiar continuum behavior is relevant at all in MD work; only the simulations themselves are capable of providing an answer. An early step in bridging the conceptual gap between atomistic fluids and the continuum was an MD study of long-time effects arising from correlations in the atomic trajectories @ald70. Much of conventional hydrodynamics is governed by dimensionless parameter combinations such as the Reynolds and Rayleigh numbers; in some cases MD allows systems to achieve the values needed to produce the associated laminar flow instabilities, but to compensate for the small size the conditions imposed, such as a high shear rate or temperature gradient, differ by orders of magnitude from the experimental regime. Even the transport coefficients can vary across the system (due to density and temperature variations), unlike experiment where they are typically regarded as constant (as in Newtonian fluids). Care is needed to avoid artifacts due to these extreme conditions. An additional complication for MD is the need to counteract viscous heating and maintain nonslip boundaries, all without adversely affecting the phenomena under study. In view of these complicating factors, the expected outcome of an MD-based fluid simulation ranges from nothing interesting if the system is too small or the times scales inaccessible, transient effects if flows cannot be sustained because of inadequate contact with the boundaries or coupling to the driving field (resulting in an inability to establish nonslip flow or an appropriate temperature gradient), and totally unrelated behavior if the conditions are too extreme. Given the many possible failure modes, the appearance of behavior that is qualitatively, and even quantitatively correct, offers a pleasant surprise. The initial applications of MD to questions of hydrodynamic instability focused on phenomena for which a less computationally demanding two-dimensional version could be studied, in particular, the vortices that form in flow past a bluff body @rap86b [@rap87c] and Rayleigh–Bénard convection @mar87 [@rap88a; @puh89; @rap92c; @rap92d]. The two systems discussed here are three-dimensional: Taylor–Couette flow that only exists in three dimensions, and the more realistic three-dimensional version of the Rayleigh–Bénard problem @cha61. Other examples for which the MD approach has proved successful include the Rayleigh–Taylor phenomenon @kad04 and droplet formation during the breakup of fluid jets @mos00. In all applications of MD to hydrodynamics, fluid flow is superimposed on the thermal motion of the atoms, the latter entirely absent from the continuum representation; there is a further difference between the two problems considered here, namely that vortex flow in the Taylor–Couette system, itself a consequence of the instability caused by an adverse angular momentum gradient, is superimposed on the overall azimuthal flow, while in the Rayleigh–Bénard system, where the instability is due to an adverse temperature gradient, convection is the only flow present. Taylor–Couette vortices ----------------------- The formation of toroidal vortices in a fluid confined to an annular gap between concentric rotating cylinders, known as the Taylor–Couette phenomenon @tay23 [@cha61; @dra81], is arguably the most thoroughly studied of hydrodynamic instabilities. Consider the experimental cell defined in Figure \[fig:mdtayc\_schem\], where $d = r_o - r_i$ is the width of the annulus. For the case of a stationary outer cylinder and an inner cylinder rotating with angular velocity $\omega$, the flow depends on the dimensionless Taylor number $$Ta = 4 [(r_o - r_i) / (r_o + r_i)] \, Re^2$$ where $$Re = d r_i \omega / \nu$$ is the Reynolds number and $\nu$ the kinematic viscosity. The flow is purely azimuthal at low $Ta$, but at a critical $Ta_c$, whose value can be computed from a stability analysis of the Navier-Stokes equations @cha61, secondary flow patterns appear that have the form of regularly spaced axisymmetric vortices. The wavelength of this pattern, corresponding to the axial length of a pair of counter-rotating vortices, is close to $2 d$. At higher $Ta$ @col76 [@and86; @dip81] additional azimuthal wave instabilities appear and eventually turbulence. Numerical results using the conventional continuum approach are described in @mar84 [@luc85]. Experimental studies have employed a variety of measurement techniques in examining different aspects of the flow; examples include @don65 [@sny66; @gol76; @ber86; @hei88; @wer94]. ![\[fig:mdtayc\_schem\] Schematic diagram of the Taylor–Couette cell in which the fluid is confined to the annular region and the inner cylinder rotates; counter-rotating vortex rolls (such as those shown) are superimposed on the overall azimuthal flow.](fig01.pdf) Several additions to the standard MD approach are needed to formulate an atomistic simulation of the Taylor–Couette system. The atoms themselves are soft spheres whose interactions are defined in (\[eq:ssint\]). The sheared flow is driven by the curved cylinder walls which act both as nonslip boundaries and as thermal sinks for dissipating the heat produced by the shear @hir98. The walls themselves are smooth; the mechanism for achieving an effective nonslip condition is that when an atom reaches the wall it bounces back with a new velocity whose direction is randomly chosen to be either reflection or reversal (the choice is actually deterministic, but there is a sensitive dependence on the impact position that yields a seemingly random outcome), and whose magnitude is fixed to achieve the desired temperature; at the inner wall the rotation velocity is added. The end caps of the region reflect atoms elastically. The computational effort is reduced by considering only a single quadrant of the annular region, with customized periodic boundaries, in which both coordinate and velocity vectors are suitably transformed, used to account for the remainder of the system during the force computations. Flow studies require coarse-grained averaging to filter out thermal fluctuations and produce snapshots of the spatially varying flow field. The simulation region is subdivided into a grid of cells and the average properties, namely the velocity vector components, velocity magnitude and cell occupancy, evaluated for each cell over a short time interval. The degree of coarse-graining, namely the cell dimensions and the averaging interval, is determined by the conflicting demands of resolving the fine spatial and temporal details of varying flow patterns while suppressing the effect of local fluctuations. The resulting cell-averaged flow magnitude and direction, temperature and density retain no details of the actual particles from which they are derived, and in this respect their information content is equivalent to the continuum fluid description. ![\[fig:mdtayc\_small\_all\] Alternative views of the smaller of the simulated Taylor–Couette systems (after 10 revolutions): a view of the atoms filling the annular quadrant (without the walls), streamlines based on the axial and radial flow components in several planes at different azimuthal angles, with color indicating the direction and speed of roll rotation, the same streamlines averaged azimuthally, and the corresponding color plot.](fig02.pdf) Earlier work demonstrated the ability of MD simulation to not only reproduce the Taylor–Couette vortices in a quantitatively correct fashion @hir98, but also the rate at which these secondary flow structures appear as a function of $\omega$ (or $Ta$) @hir00, allowing a detailed comparison between experiment, theory and simulation. Figure \[fig:mdtayc\_small\_all\] shows several alternative views of a relatively small system, similar to that considered in @hir98, with $r_i = 50$, $d = 25$, $L = 100$, containing $N \approx 1.2 \times 10^5$ atoms, for $\omega = 0.1$; $Ta \approx 1.6 Ta_c$ for this system. The first of the views shows the actual MD system; the azimuthal component of the flow can be seen when the simulation is run interactively, superimposed on the thermal motion of the particles, but the fact that the averaged particle trajectories are helical, a consequence of the toroidal rolls, can only be inferred from the coarse-grained flow analysis. The next view shows the flow streamlines for several axial slices, after removing the azimuthal flow component; the vortex structure is now apparent, with color used to distinguish between counter-rotating flows. Since the final state is azimuthally symmetric (this is not true during early vortex development), full azimuthal averaging for further noise reduction leads to the streamlines in the next image, and finally the same information in a simplified, color-coded form (used later). These alternative views also exemplify the different kinds of information that appear as the level of representation is changed, ranging from excessively detailed particle motion to the spatially averaged flow of the continuum fluid, additionally simplified by symmetry. The value of $d$ used in @hir98 is practically the smallest permitting vortex development. Larger systems are clearly desirable to reduce finite-size effects; increasing the annular width $d$ provides more room for roll growth, and if $L / d$ is also enlarged additional rolls can be accommodated. Recall, however, that even the biggest systems addressable by MD remain extremely microscopic. The system described here has $r_i = 100$, $d = 40$, $L = 640$, providing a 20-fold size increase to $N \approx 2.35 \times 10^6$. The extreme conditions to which the fluid is subjected, the shear rate being the most prominent, are alleviated slightly by reducing $\omega$ to 0.04. Overall, these changes increase $Ta$ by a factor of 1.4 and provide a fourfold increase in $L / d$. The toroidal vortex evolution in this larger system over a run of $1.9 \times 10^7$ timesteps, amounting to 650 revolutions, is shown in Figure \[fig:mdtayc\_stream\_evol\]. Rapid initial vortex formation appears within just four revolutions, covered by the first three frames of the sequence, followed by vortex merging and the disappearance of an adjacent pair of vortices after about ten revolutions in the next two frames. The last two frames show gradual vortex resizing leading to a final state that exhibits apparent long-term stability. Pattern development is not necessarily reproducible between runs, and where the final state consists of a sufficiently high number of vortices, even the existence of a preferred wavelength cannot fully constrain the number of vortices present in the final state; indeed, here there are 20 vortices, instead of 16 expected from the theoretical pattern wavelength. Extra vortices, both transient and permanent, are sometimes observed in the smaller system as well @hir00; analogous effects are also encountered experimentally @ben82. ![\[fig:mdtayc\_stream\_evol\] Azimuthally averaged color plots for the larger Taylor–Couette system at different times (after 1.4, 2.7, 4, 9, 10, 40 and 650 revolutions) showing the onset of the rolls and their subsequent merging and repositioning.](fig03.pdf) The radial component of the flow (azimuthally averaged) at the end of the run of the larger system is shown in Figure \[fig:mdtayc\_rvel\_plot\]. Each of the 10 peaks along the cylinder axis corresponds to a vortex pair, with the outward flow faster than the inward; for the small system there are just two peaks, and @hir98 shows that even though the behavior is strongly nonsinusoidal, it can be fit to a three-term Fourier expansion with coefficients predicted by theory @dip81 [@dav62]. The maximum radial velocity $\approx 0.4$, much smaller than the innermost value of the coarse-grained azimuthal flow, measured to be 3.8 ($\approx r_i \omega = 4$); the 10-fold difference explains why rolls cannot be observed directly without averaging. ![\[fig:mdtayc\_rvel\_plot\] Axial dependence of the radial component of the flow velocity at the end of the Taylor–Couette simulation; each peak corresponds to a vortex pair.](fig04.pdf) Rayleigh–Bénard convection cells -------------------------------- The Rayleigh–Bénard phenomenon – the rich variety of flow patterns produced by convection in a fluid layer heated from below – is another well-known example of hydrodynamic instability @cha61 [@nor77; @dra81; @ber84; @kos93; @bod00]. The system is defined in Figure \[fig:mdrayb\_schem\], and its behavior is governed principally (but not entirely) by the dimensionless Rayleigh number $$Ra = \alpha g L_z^3 \Delta T / \nu \kappa$$ where $\alpha$ is the thermal expansion coefficient, $g$ the gravitational acceleration, $\Delta T = T_{hot} - T_{cold}$ the temperature difference, $\nu$ the kinematic viscosity, and $\kappa$ the thermal diffusivity (the other relevant ratio, not discussed here, is the Prandtl number $Pr = \nu / \kappa$). A critical value $Ra_c$ marks the onset of convection, where buoyancy overcomes viscous drag, and convection replaces conduction as the principal mechanism for thermal transport. Theory is simplified by the Boussinesq approximation, in which it is assumed that density is the only temperature-dependent fluid property; $Ra_c$ can then be computed for various kinds of boundary conditions @cha61, as can the wavelength of the convection pattern at criticality, but not the predicted planform, such as linear or concentric rolls, spirals, and hexagonal cells. The actual convection roll (or cell) width, typically of order $L_z$, represents a compromise: narrow rolls reduce shear losses at the nonslip walls, while wide rolls reduce viscous drag and diffusive heat transfer between oppositely moving hot and cold streams. The continuum version of the problem has been studied computationally, e.g., @gol89 [@gel99; @wat97]. ![\[fig:mdrayb\_schem\] Schematic diagram of the Rayleigh–Bénard system; linear convection rolls are shown for illustrative purposes.](fig05.pdf) ![\[fig:mdrayb\_stream\_both\] Streamlines from the larger Rayleigh–Bénard simulation early in the run where organized flow structures start to develop, and at the end of the run where there is a well-developed convection cell array.](fig06.pdf) In order to simulate the Rayleigh–Bénard system at the atomistic level the standard MD approach must be augmented by a mechanism for heat injection at the bottom wall and removal at the top, as well as a gravitational field. Coarse-grained flow analysis is once again required to examine the developing flow. The simulations described in @rap06 deal with a system of $N \approx 3 \times 10^6$ atoms, together with an additional $\approx 0.5 \times 10^6$ fixed atoms that form the bottom and top walls. A run of $3.2 \times 10^6$ timesteps (of size 0.004), with $T_{hot} = 10$, $T_{cold} = 1$, and $g$ arbitrarily set to $3 \Delta T / 2 L_z$ (a choice ensuring equality of the potential and kinetic energy changes across the layer), resulted in a periodic array of eight hexagonal convection cells. A narrower system with smaller $L_y$ produced linear rolls of the type shown schematically in Figure \[fig:mdrayb\_schem\]. The system considered here has three times the number of atoms, with region size $L_x = L_y = 679$ and $L_z = 54.3$ (compared with the earlier $L_x = 521$, $L_y = 451$ and $L_z = 35.3$ @rap06), and $N = 10^7$. $T_{hot}$ is lowered to 8 (for a less 'extreme' thermal gradient) and $g$ is halved to reduce density variation across the layer. These changes increase the nominal value of $Ra$ by 10%; since $Ra$ depends on $\nu$ and $\kappa$, both of which vary with local temperature and density, the actual value of $Ra$ is not readily determined (even its relevance under the extreme non-Boussinesq conditions is questionable). While the lateral boundaries are periodic as before, the bottom and top thermal walls are implemented using a new mechanism, avoiding the need for additional fixed atoms: Fluid atoms colliding with these horizontal, planar walls are assigned new velocities, with a magnitude set by the nominal wall temperature and direction corresponding to a random choice between reflection or reversal (the choice actually depends on the impact position, as in the Taylor–Couette simulations); in addition (following @rap06), the velocities of all atoms close to the thermal walls (within $\approx r_c$) are rescaled at regular intervals, after zeroing their transverse average, to avoid any buildup of unwanted drift and help enforce the desired boundary temperatures. This change, as will become apparent from the results, leads to the development of narrower convection cells than before, in closer agreement with the expected behavior. The outcome of the simulation after $10^7$ timesteps, requiring an order of magnitude more computation than previously, is a much more elaborate convection cell pattern. Streamlines are used in Figure \[fig:mdrayb\_stream\_both\] to show the nascent flow state after just $4 \times 10^4$ timesteps, and the reasonably well-ordered cell array at its end. The color-coded streamlines show temperature variation, and while the downward flow of cold fluid at the cell centers is clearly visible when viewed from above, the upward flow of hot fluid at the cell edges is best seen when the system is viewed obliquely or from below (not shown). The measured vertical component of the flow velocity is in the approximate range (-1.8, 2.6), where the nominal thermal velocities are $\approx 1.7$ and 5 at the cold and hot boundaries respectively; at mid-height the velocity range is reduced to (-1.0, 2.0). The early convection pattern contains certain linear features, but conversion into compact cells is complete after $\approx 3 \times 10^5$ timesteps, following which there is a slow process of cell resizing and rearrangement; a series of snapshots showing how the cell pattern changes with time appears in Figure \[fig:mdrayb\_vor\_all\]. Cell organization changes gradually, with no clear indication that the process eventually terminates; while the number of convection cells is almost constant (see Figure \[fig:mdrayb\_cells\_plt\] below), new cells are seen to appear and existing cells merge, with each such event followed by rearrangement of nearby cells. It is worth bearing in mind that each convection cell represents coherent flow involving $\approx 2 \times 10^5$ MD fluid atoms superimposed on the random thermal motion, an impressive exhibition of emergent collective behavior. Quantitative cell analysis is based on coarse-grained temperature measurements at a height $0.3 L_z$ above the hot bottom wall, where the variation is most pronounced. The cell centers are positioned at each of the local temperature minima (coincident with the downward flow maxima) and Voronoi polygon analysis (a simplified two-dimensional version of the technique described in @rap04bk, in which the plane is subdivided into polygons where the region nearer to a particular center than to any other is assigned to its polygon) is used to predict the cell boundaries. For a well-developed cell array these computed boundaries closely track the actual flow cell structure. ![image](fig07.pdf) A variety of measurements can be made based on the Voronoi polygon analysis. The convection cell count is shown as a function of time in Figure \[fig:mdrayb\_cells\_plt\]; the number of cells varies, but only over a narrow range. The average number of edges per polygon must of course be six, with an observed $\pm 1$ variation, the mean radius (specifically the mean inradius or distance from the polygon center to its edges) depends on the number of polygons and varies between 54 and 57, with a spread (a measure of the deviation from a regular polygon in which all distances are equal) that ranges from 2.3 to 12 for individual snapshots. The average value (and standard deviation) of this radial range is included in Figure \[fig:mdrayb\_cells\_plt\], and the fact that it amounts to only about 10% of the mean radius is consistent with the observed regularity of the cell shapes. The underlying wavelength of the cell array, $\lambda$, is twice the mean radius, so that here the measured value of $\lambda / 2$ is very close to $L_z$ (= 54.3). ![\[fig:mdrayb\_cells\_plt\] Number of convection cells and their average radial range over the entire run (larger system).](fig08.pdf) ![\[fig:mdrayb\_med\_both\] Flow streamlines and Voronoi analysis for the smaller Rayleigh–Bénard system showing the defect-free lattice of hexagonal convection cells.](fig09.pdf) There are considerably more convection cells in this simulation than in @rap06, a far larger number than can be attributed to the altered system size; in the earlier simulations $\lambda = 5.27 L_z$, but here this has dropped to $\lambda = 2 L_z$. Theory @cha61 predicts different $\lambda$ values for hexagonal cells and linear rolls, with $\lambda_{hex} / \lambda_{lin} = 2.14$ and $\lambda_{lin} = 2.016 L_z$; different ratios for (gently curved) rolls and hexagons have been reported experimentally @ass96 [@baj97; @roy02], even down to unity. Thus the fact that the MD hexagons have a value of $\lambda$ predicted for linear rolls is not unreasonable since experiment implies that the simplified theory is inadequate. The likely cause of the enlarged $\lambda$ in the earlier simulations is the wall implementation, where relying on collisions with a boundary array of spheres to produce the nonslip condition is less effective than individually adjusting the post-collision velocities; the present smaller $\lambda$, a value consistent with experiment, appears to be a consequence of the more effective method. The dependence of $\lambda$ on $L_z$ is confirmed by considering a smaller but otherwise similar system. The size is reduced to $L_x = L_y = 543$, $L_z = 40.7$ (this $L_z$ is only slightly bigger than in @rap06) and $N = 4.8 \times 10^6$; the edge ratios $L_x / L_y$ and $L_x / L_z$ are changed and the nominal $Ra$ is reduced by a factor of 0.4. The outcome of this run after $1.3 \times 10^7$ timesteps, seen in Figure \[fig:mdrayb\_med\_both\], is a perfect array of hexagonal convection cells; there is no visible change in this array over the last $3 \times 10^6$ timesteps. From a Voronoi analysis of this run the mean polygon radius is 42.8, again very close to $L_z$, and the mean radial range of the cells is just 2% of the radius, confirming the observed regularity of the hexagon array. The initial orientation of the cells is decided spontaneously in the absence of physical lateral boundaries, although if the final state is a perfect array the periodic boundaries will constrain its orientation; multiple runs (with different initial conditions) show similar overall behavior but the detailed cell development differs. These represent initial results for this problem; the extended cell arrays ought to be amenable to Fourier analysis, not attempted for the very limited cell array in @rap06. Furthermore, in view of the dependence on region size, shape and other parameters, as well as the sensitivity to the initial state originally seen in two dimensions @rap92c, more extensive simulations, especially near the convection threshold @rap92d, are likely to prove interesting. Granular segregation ==================== Granular dynamics is a field fraught with surprise, where the mechanisms responsible for much of the counterintuitive behavior remain a longstanding theoretical challenge; potential economic benefits provide ample motivation for achieving a systematic understanding of the phenomena involved. Since the behavior often differs strongly from systems explainable by fluid dynamics and statistical mechanics, established theory is limited in the help it can provide and, consequently, progress @bar94 [@her95; @jae96; @kad99] relies heavily on computer simulation. Granular segregation is a fascinating example of emergent behavior: the ability of dry, noncohesive particle mixtures to separate into individual species, despite the absence of any obvious energetic or entropic advantage. Segregation and mixing are central to many kinds of industrial processing, so that the capability of either causing or preventing species separation is important. Computational methods analogous to MD, with particles now corresponding to macroscopic grains, provide a flexible approach to simulating granular matter @cun79 [@wal83; @haf86]. Additional forces are introduced to represent the effects of inelasticity and friction, the simplest of which is velocity-dependent collision damping; although the approximations tend to be empirical, since a full prescription for reproducing specific granular properties is unknown, suitable interaction functions allow simple spherical particles to mimic rough, irregular grains (in a vacuum). More complex particle shapes can also be employed, as is the case in one of the examples discussed here. Finally, since container boundaries are usually involved, often providing the driving force, the simulations must take them into account. Granular simulations can have several possible outcomes, as was the case with atomistic fluid dynamics. These range from nothing interesting if the model fails to incorporate the essential properties of the granular medium, incorrect (but perhaps still interesting) behavior if the model somehow misrepresents reality, partially correct behavior in which some features are captured, and preferably, a correct reproduction of the form and sequence of the segregation process. With this in mind, two examples are described. One is a granular mixture in a horizontal rotating cylinder, a system known to exhibit various combinations of axial and radial size segregation; here, simulation successfully imitates experiment. The other is a mixed granular layer on a vertically vibrating, sawtooth-shaped base, where a combination of stratified horizontal counterflows and vertical (Brazil nut) size segregation might be expected to produce horizontal segregation; while the simulations support this prediction, experimental verification is still awaited. Segregation in a rotating cylinder ---------------------------------- Segregation of a binary mixture in a partially filled cylinder rotating around a horizontal axis is an extensively studied phenomenon @sei11. Axial segregation is the most prominent effect, where a pattern of bands of alternating particle species develops along the axial direction; bands can gradually merge, at a rate that drops to such a low level that it is unknown whether the state eventually reached is stable, or just longlived. A second form of segregation, requiring greater effort to observe, occurs in the radial direction, resulting in a core rich in small particles surrounded by a layer of predominantly big particles; the radial core itself can be the final state, a transient state preceding axial segregation, or a feature which persists even when axial segregation is apparent externally. Early experimental efforts involved direct observation of axial band structure from the outside @zik94; some of the subsequent studies succeeded in examining the interior using MRI @hil97f [@nak97] and relating the development of the axial bands to bulges occurring in the radial core. Time-dependent behavior can occur after the initial appearance of the axial bands, with gradual merging of narrower bands @fre97 and traveling surface waves @cho98. Complicating the behavior are results showing that the ratio of cylinder to particle diameter determines if axial segregation is possible and whether its appearance depends reversibly on rotation rate @ale04. Later experiments @arn05 [@fin06] revealed more about the richness of the segregation effect and the associated dynamics under wet conditions; these are relevant because slurries tend to share the behavior of dry mixtures. Overall, no consensus has yet emerged as to the mechanisms underlying this form of segregation; the difficulties inherent in understanding granular matter are discussed in @jae96 [@kad99; @ara06]. Granular simulations have proved capable of reproducing both the axial and radial forms of segregation. In @rap07a it was shown how the appearance of radial segregation precedes axial segregation, and that depending on the circumstances, a radial core of small particles could persist even after the external view showed essentially complete axial segregation. Corresponding behavior in three-component mixtures was described in @rap07b. Owing to the need for relatively large systems and long runs, only a very limited set of parameter combinations could be considered. The problem of following the development of segregation in detail is further exacerbated by a lack of reproducibility between runs that differ only in their initial states (i.e., the random initial velocities assigned to the particles) leading to varied segregation scenarios; the same is true experimentally, implying that multiple simulation runs are needed for observing typical behavior, a situation similar to the fluid studies discussed earlier. Increased computer performance allows this problem to be revisited, but with several changes to the model. In @rap07a soft-sphere particles were used, together with the usual velocity-dependent normal and tangential forces for representing collision damping and sliding friction, defined in (\[eq:normdamp\]) and (\[eq:tandamp\]) below, as well as tangential restoring forces (involving the position histories of the relevant particle pairs) introduced to mimic the effect of static friction. In the new simulations, instead of using simple spherical particles, each particle is constructed from a set of spheres rigidly positioned on a (virtual) tetrahedral frame, as shown in Figure \[fig:grcyl\_particles\]; particles of different size differ only in their tetrahedral arm lengths, in this case 0.6 and 1.2 (MD units). Unlike purely convex particles, the more complex effective shape allows particles to interlock, thereby partially reproducing the effect of static friction without the tangential restoring force used previously (whose GPU implementation is inconvenient); the geometrical interlocking effect is a simplified version of what really happens, where interlocking (and breakage) of multiple asperities on rough grain surfaces is the ultimate cause of static friction. The curved cylinder boundary is also required to emulate the effects of static friction, and this is achieved by embedding spherical particles in the surface of the rotating wall, arranged on a staggered grid with spacing 2.2, producing a sufficiently rough boundary to impede sliding. The cylinder end caps provide normal damping, but are otherwise smooth. The resulting segregation effects turn out to be unaffected by the alterations to the model. ![\[fig:grcyl\_particles\] Particles used in the cylinder granular segregation simulations; each consists of four spheres in a rigid tetrahedral array (the virtual 'framework' is not shown), the only difference between big and small particles is the distance between spheres.](fig10.pdf) The particle interactions are based on @rap07a, with the exception of the omitted tangential restoring force. The repulsive force between spheres ${{\bm{f}}}_\ell$ is obtained from the potential in (\[eq:ovint\]), with $k_n = 1000$. The velocity-dependent normal damping is $${{\bm{f}}}_d = - \gamma_n ({{\hat{\bm{r}}}} \cdot {{\bm{v}}}) {{\hat{\bm{r}}}} \label{eq:normdamp}$$ where ${{\bm{v}}}$ is the relative sphere velocity and $\gamma_n = 5$. Sliding friction is due to tangential damping between particles within contact range $${{\bm{f}}}_s = - \min ( \gamma_s |{{\bm{v}}}_t|, \mu |{{\bm{f}}}_\ell + {{\bm{f}}}_d| ) {{\hat{\bm{v}}}}_t \label{eq:tandamp}$$ where ${{\bm{v}}}_t$ is the transverse component of ${{\bm{v}}}$; the damping coefficients are $\gamma_s = 10$ for spheres associated with the big particles and for sphere-wall contacts, and $\gamma_s = 2$ otherwise (following @rap07a, $\gamma_s$ is larger for big particles); the static friction coefficient $\mu \propto \gamma_s$, with a maximum of 0.5. Gravity is of course present. The two examples considered here have different cylinder dimensions and demonstrate dissimilar segregation scenarios. One involves a shorter cylinder of length $L = 200$ and diameter $D = 100$, the other a longer cylinder with $L = 500$ and $D = 80$; the dimensions need to be larger than in @rap07a because of the increased effective particle size. For the initial state, particles are placed on a lattice filling the cylinder, assigned small random velocities, and the species (big or small) is set randomly; the lattice spacing is chosen to produce a specific fill level when particles settle on the bottom (the different fill levels can be seen in the pictures below) and in the present simulations the shorter cylinder is filled to a higher level. The fraction of big particles is 0.33; this ensures that when axial bands form, the total band widths for the two species are roughly equal. The number of particles in the two systems are $N = 1.36 \times 10^5$ and $1.03 \times 10^5$; the actual number of soft spheres involved in the force computations (apart from the wall spheres) is four times larger. The cylinder rotates with angular velocity $\omega = 0.2$; an upper bound to $\omega$ is set by the ratio of angular to gravitational acceleration, the Froude number $Fr = D \omega^2
{'source': 'arXiv_out/1409'}