# On the microscopic origin and macroscopic implications of

lane formation in mixtures of oppositely-driven particles

###### Abstract

Colloidal particles of two types, driven in opposite directions, can segregate into lanes [Vissers et al. Soft Matter 7, 2352 (2011)]. This phenomenon can be reproduced by two-dimensional Brownian dynamics simulations of model particles [Dzubiella et al. Phys. Rev. E 65, 021402 (2002)]. Here we use computer simulation to assess the generality of lane formation with respect to variation of particle type and dynamical protocol. We find that laning results from rectification of diffusion on the scale of a particle diameter: oppositely-driven particles must, in the time taken to encounter each other in the direction of the drive, diffuse in the perpendicular direction by about one particle diameter. This geometric constraint implies that the diffusion constant of a particle, in the presence of those of the opposite type, grows approximately linearly with Péclet number, a prediction confirmed by our numerics over a range of model parameters. Such environment-dependent diffusion is statistically similar to an effective interparticle attraction; consistent with this observation, we find that oppositely-driven non-attractive colloids display features characteristic of the simplest model system possessing both interparticle attractions and persistent motion, the driven Ising lattice gas [Katz, Leibowitz, Spohn, J. Stat. Phys. 34, 497 (1984)]. These features include long-ranged correlations in the disordered regime, and a critical regime characterized by a change in slope of the particle current with Péclet number and by fluctuations that grow with system size. By analogy, we suggest that lane formation in the driven colloid system is in the macroscopic limit a phase transition, but that macroscopic phase separation would not occur in finite time upon starting from disordered initial conditions.

## I Introduction

Systems driven out of equilibrium display a rich variety of patterns Domb et al. (1995); Ramaswamy (2010). Here we study patterns formed by a two-dimensional, two-component colloidal mixture of overdamped particles in which one species (‘red’) possesses a bias to move persistently in one direction, and the other species (‘blue’) possesses a bias to move persistently in the opposite direction. Löwen and coworkers have shown that for large enough bias such particles form persistently-moving lanes, extended in the direction of the bias, segregated by particle type Dzubiella et al. (2002); Chakrabarti et al. (2003, 2004); Kohl et al. (2012). Lane formation is seen in three-dimensional experiments of binary colloidal mixtures driven by an electric field Vissers et al. (2011), and in driven binary plasmas Ivlev et al. (2012); Sütterlin et al. (2010). Much is already known about the microscopic origin of laning in model systems and its macroscopic manifestation. On the microscopic side Chakrabarti et al. used dynamic density functional theory to argue that Langevin dynamics of oppositely-driven particles implies laning via a dynamic instability of the homogenous phase Chakrabarti et al. (2003, 2004); Kohl et al. showed, using a many-body Smoluchowski equation for interacting Brownian particles, that driven systems in the homogeneous phase display anisotropic pair correlations that foreshadow the onset of laning Kohl et al. (2012). On the macroscopic side Glanz et al. used large-scale numerical simulations to show that characteristic lengthscales in the model grow (at large drive speed) exponentially or algebraically with drive speed Glanz and Löwen (2012). The authors of that work suggested that lane formation in two dimensions is therefore not a true phase transition.

In order to assess the generality of lane formation, i.e. to determine if laning persists upon changing the type of particle and the dynamical rules used, we modeled oppositely-driven particles using three distinct numerical protocols. The first (Protocol I) comprises soft particles in continuous space evolved by Langevin dynamics, similar to protocols used by other authors Dzubiella et al. (2002). The second (Protocol II) comprises hard particles in continuous space evolved by Monte Carlo dynamics. The third (Protocol III) comprises lattice-based particles evolved by Monte Carlo dynamics. Isolated particles under all protocols move diffusively and possess a positive drift velocity to the left or to the right of the simulation box. Left-movers (red particles) and right-movers (blue particles) are equally numerous.

We used Protocol I to reproduce the basic phenomenology of laning studied by other authors: for large enough (or, equivalently, Péclet number), persistently-moving red and blue lanes form. Protocol II can reproduce this phenomenology, but only if the basic step size of the Monte Carlo protocol is a small fraction of the particle diameter; otherwise, the protocol results in jammed bands that point perpendicular to the direction of biased motion. Under Protocol III, upon increase of Péclet number, only jamming occurs.

From comparison of these protocols we draw three conclusions. The first relates to the microscopic origin of laning: because it occurs for soft and hard particles, and under distinct dynamic protocols, laning can be considered to be a statistical effect that results from the following simple geometric constraint. In order not to overlap, oppositely-driven particles must, in the time taken to meet each other in the direction of the drive, diffuse laterally (perpendicular to the drive) by about a particle diameter. In other words, diffusion on the scale of a particle diameter is rectified or ratcheted in the manner demonstrated in Fig. 1. Particles then possess a lateral diffusion constant that scales linearly with drift speed (or, equivalently, Péclet number) at large , and approximately as the square root of the local density of particles of the opposite type. This diffusion constant can exceed that of a particle surrounded by particles of the same type, implying a tendency to form lanes. Enhanced diffusion of particles in the presence of oppositely-moving particles was identified to be the origin of laning in the simulations and experiments of Ref. Vissers et al. (2011), and similar mechanisms have been described for pattern formation in systems of agitated particles Grünwald et al. (2016). Our first conclusion complements this work by identifying the geometric origin of the phenomenon and revealing the scaling of diffusion enhancement with Péclet number.

Our second conclusion relates to the macroscopic consequences of laning, and follows from the first conclusion via a connection between environment-dependent diffusion rates and effective interparticle attractions. Lane formation results from the fact that particles possess environment-dependent diffusion rates. One can show that a set of hard particles that possess environment-dependent diffusion rates is equivalent to a set of attractive particles (see e.g. Ref. Sear (2015)) whose interaction energies scale logarithmically with diffusion rates. One can therefore consider the driven model to possess both persistent motion and effective interparticle attractions. The simplest model system possessing both features is the driven Ising lattice gas (DLG), also known as the Katz-Lebowitz-Spohn model Katz et al. (1984); Zia (2010). We show here that the two models have strong qualitative similarities. The DLG displays long-ranged correlations in the disordered phase; we show numerically that the same is true of the off-lattice model. The DLG also displays a continuous order-disorder phase transition (in a non-Ising universality class) between a disordered phase and a phase characterized by lane-like structures Schmittmann (1990); Levine et al. (2001); Saracco and Albano (2003); Daquila and Täuber (2012). This transition is characterized by a break in the slope of particle current with model parameters, and system-spanning fluctuations. We show that the same is true of the off-lattice model.

Continuing this analogy to its conclusion, we expect lane formation in a macroscopic version of the off-lattice driven system to be a true phase transition. Although this conjecture appears to contradict the conclusion of Ref. Glanz and Löwen (2012), that laning should emerge only as a smooth crossover in the thermodynamic limit, we believe that the two statements are consistent. The simulations of Ref. Glanz and Löwen (2012) used disordered initial conditions, and it has been shown that the time taken for the DLG to relax to its steady state diverges with system size upon starting from disordered initial conditions Levine et al. (2001). The analogy we have drawn therefore suggests that macroscopic domains in the off-lattice model would persist if built ‘by hand’ (provided that the aspect ratio of the system is chosen ‘correctly’, see e.g. Ref. Zia et al. (2000)), but would indeed not be seen in finite time upon starting from disordered initial conditions, consistent with the conclusion of Ref. Glanz and Löwen (2012). We present numerical evidence to support this conjecture. Considering that the off-lattice model Dzubiella et al. (2002) can reproduce the basic phenomenology of lane formation seen in experiments Vissers et al. (2011), the comparison we have drawn between the off-lattice system and the DLG suggests that the latter may have application to experiment (indeed, previous studies of related models were done with ionic conductors in mind Murch and Thorn (1977)).

Our third conclusion relates to numerical modeling of driven systems: the qualitative outcome of our driven simulations appears to be more sensitive to protocol than is the simulation of undriven systems. It is well known that Monte Carlo dynamics of undriven particles, in the limit of zero step size, is formally equivalent to a Langevin dynamics Tiana et al. (2007); Kikuchi et al. (1991). As suggested by this equivalence, undriven systems evolved under Monte Carlo dynamics with finite step size often behave qualitatively like their Langevin-evolved counterparts Tiana et al. (2007); Sanz and Marenduzzo (2010), even if not identical in all aspects of their dynamics Whitelam and Geissler (2007). In the present study the same is true only if the basic step size of the Monte Carlo procedure (Protocol II) is extremely small. As step size increases, the tendency to lane is less strong – laning results from enhancement of diffusion on scales less than a particle diameter, and such motion is less accurately represented as step size increases – and the tendency to jam is stronger. Monte Carlo protocols carried out with step size above a certain value therefore show no laning at all, in contrast to Langevin simulations. For the lattice-based Protocol III, the tendency to lane is entirely absent, because the basic step size is equal to that of the particle diameter. Our results therefore highlight the subtleties of modeling driven systems using different protocols.

## Ii Numerical models of oppositely-driven particles

We considered three numerical protocols, two off-lattice (Protocols I and II) and one on-lattice (Protocol III). In Protocol I particles were evolved using Langevin dynamics, while in Protocols II and III particles were evolved using Monte Carlo dynamics. In all protocols we considered two types of particle, labeled red and blue, which are confined to two spatial dimensions and which interact repulsively. Particles undergo diffusion biased such that red particles possess a drift to the left, and blue particles possess an equal drift to the right. Our simulation boxes (generally) were periodic in both directions, and we focused on patterns generated using equal numbers of red and blue particles. We considered systems over a range of densities and Péclet numbers (Pe). Density is defined off-lattice as , where is the total number of particles and is the system area, and on-lattice as the fraction of occupied lattice sites. Péclet number is defined for Protocol I as the ratio of the magnitude of biasing force to the thermal energy, , where is the particle diameter. Péclet number is defined for Protocols II and III as the combination of the (bare) particle drift velocity, diffusion constant, and particle diameter. All distances are given in units of . Our protocols do not take into account hydrodynamic interactions Rex and Löwen (2008) which may have important effects in experimental realizations of this system.

Protocol I: Langevin dynamics. The state of the system is represented by the positions of all the particles . Particles are disks with diameter . Each particle undergoes overdamped Langevin dynamics governed by

(1) |

Here is an excluded-volume repulsive force derived from the WCA potential, which reads

(2) |

if , and zero otherwise. We take as our unit of energy. is a constant force acting only in the direction. For red particles this force is and for blue particles where Pe denotes the Péclet number. in Eq. (1) is the bare translational diffusion constant (which we refer to as the bare diffusion constant in the text), , and the are white noise variables with and . Simulations had a maximum timestep of where was our unit of time. We used LAMMPS Plimpton (1995) to integrate the equations of motion.

Protocol II: Monte Carlo dynamics (off-lattice). Monte Carlo (MC) simulations off-lattice employed single-particle Metropolis moves with particle displacements chosen to effect a drift of red and blue particles in opposite directions. We determined the connection between displacement parameters and an isolated particle’s Péclet number and diffusion constant as described in Section S1.1. The resulting mapping depends on the basic displacement scale (step size). We ran simulations for hard disks and for WCA pair particles, for a range of step sizes.

Protocol III: Monte Carlo (on-lattice). We considered volume-excluding particles present at a range of densities on a square lattice. The dynamics, which conserve particle number, consisted of choosing a particle at random and moving it to one of the four neighboring sites with biased probability in the driven direction and equal probability in the lateral directions (see section S1 for more details). Moves that take particles to already occupied sites were rejected. This lattice model was originally studied in Schmittmann et al. (1992).

Order parameters. We characterized the dynamics and structures within simulations using the averaged particle activity

(3) |

where is the total number of particles. We also used the structural order parameter

(4) |

used by other authors to characterize laning Dzubiella et al. (2002); Glanz and Löwen (2012). in effect counts the percentage of particles in a lane-like environment. The brackets for both order parameters indicate a time average.

Systems were considered to be ‘jammed’ if the average activity at steady state dropped below half that of an isolated particle. Systems were considered to be laned if (a) the average activity was greater than half that of an isolated particle and (b) was greater than a particular value, usually 0.5 (see Fig. S10 for plots of these order parameters as a function of time).

## Iii Comparison of numerical protocols

Numerical protocols show a range of qualitative behavior. In Fig. 2 we identify the steady-state dynamic regimes obtained using our three dynamic protocols in the space of Péclet number versus protocol type. The limit of zero step size, on the horizontal axis, corresponds to Langevin dynamics simulations, whose results are similar to those published by other authors Dzubiella et al. (2002); Chakrabarti et al. (2003, 2004); Vissers et al. (2011); Kohl et al. (2012): we observe a transition from a disordered mixture to persistently-moving lanes of like-colored particles parallel to the driven direction at a Péclet number of about 80. We shall refer to the value of Péclet number at the transition as the critical Péclet number. Off-lattice Monte Carlo simulations with sufficiently small step size show qualitatively similar behavior. For small step size the critical Péclet number seen in these simulations is similar to the Langevin value. As step size is increased the Monte Carlo critical Péclet number increases, and the laning transition eventually disappears: simulations run using a basic step size above some threshold show qualitatively different behavior to Langevin simulations, forming ‘jammed’ stripes perpendicular to the direction of the external field ^{1}^{1}1The tendency to jam results from the reduction of a particle’s drift velocity with density; this reduction rate increases with Monte Carlo step size, and when large enough can trigger density-density phase separation Tailleur and Cates (2008).. This threshold corresponds to a basic displacement of 1% of a particle diameter or less ( for hard disks and for WCA particles), which is rather small for Monte Carlo simulations: for undriven systems one can sometimes obtain approximate dynamical realism using Monte Carlo simulations with much larger basic step size Berthier (2007). It is notable, given recent interest in modeling driven and active systems, that small changes in dynamic protocol can change the apparent steady state of a system of driven particles. On-lattice Monte Carlo simulations () also formed jammed perpendicular stripes as Pe is increased, rather than lanes parallel to the direction of driving.

Laning results from enhanced diffusion of particles in the presence of particles of the other type. Fig. 2 shows that Langevin simulations of soft particles and Monte Carlo simulations of hard (and soft) particles, for small enough step size, exhibit similar phenomenology. Such similarities indicate that the origin of laning can be understood without reference to fine details of the system under study. A detail-insensitive mechanism for lane formation is suggested by Ref. Vissers et al. (2011), which showed that particles undergoing lane formation experienced time-dependent diffusion constants that are large when the system is disordered, and become smaller when the system forms lanes. In order to understand how particle mobilities are affected by a driven environment in a more controlled setting we measured diffusion rates of particles at steady state, by measuring the diffusion constant of a blue ‘test’ particle placed in a periodic simulation box in which only red particles are present. Such pseudo-single-particle simulations allowed us to isolate the effects of the drive without the complication of attendant pattern formation. In Fig. 3 we show the lateral component of the blue particle’s diffusion constant for our three numerical protocols. An enhancement of diffusion constant with Péclet number is seen in all cases except for the on-lattice Monte Carlo simulations. In Fig. 4 we show for Langevin simulations that this enhancement of diffusion, measured in a steady-state, quasi-single-particle simulation, correlates approximately with the onset of laning measured in an equimolar mixture of red and blue particles.

Enhanced diffusion follows from simple geometric constraints. Fig. 3 demonstrates that enhanced diffusion of particles in the presence of those of the opposite type occurs for different interaction potentials and dynamic schemes. Such robustness suggests a simple geometric origin for the effect, summarized graphically in Fig. 1, which we quantify in the following way. In order to avoid overlapping, two oppositely-colored particles must diffuse laterally by about one particle diameter in the time taken for them to encounter each other in the direction of drift. Such avoidance implies an enhancement of a particle’s diffusion constant. To see this, consider the equation of motion of the -coordinate of a particle undergoing driven Brownian motion,

(5) |

Here and are the drift velocity and diffusion constant of the particle, and is a Gaussian white noise with zero mean and unit variance. For a particle initially at the origin we have

(6) |

where denotes an average over noise. Let the characteristic distance in the driven direction between the center of the test particle and one of the opposite color be (we expect roughly , where is the mean number of particles per unit area and is the fraction of particles in the test particle’s neighborhood of its own type). The characteristic encounter time of the two particles can be found from (6) by setting , giving

(7) |

If in time we require our test particle to diffuse laterally by a distance of order one particle radius, , so as to avoid overlap, then it must have an effective lateral diffusion constant of order , i.e.

(8) |

upon solving (7) for .

For large we have

(9) |

Assuming that the drift speed of the particle is equal to its bare drift velocity (which our numerics indicates is approximately true under conditions for which lanes form), we have and

(10) |

Thus we predict that rectification of diffusion in the presence of particles of the opposite type results in an effective diffusion constant that increases, at large Péclet number, linearly with Péclet number (here we assume that does not vary with Pe). In Fig. 5 and Fig. S13 we show that the linear dependence of diffusion constant with Pe predicted by Eq. (10) is indeed seen in our steady-state simulations across a range of model parameters. In physical terms Eq. (10) indicates that particles experience a net flux that takes them from a domain of oppositely-colored particles to a domain of like-colored ones. Such a flux implies a basic tendency for formation of domains of persistently-moving like-colored particles, i.e. lanes, although this equation does not indicate for which Pe this will happen.

For weak driving (small ) we expect linear scaling to break down; there, we can expand (8) to get

(11) |

suggesting that for small Pe the effective diffusion constant of a particle in the presence of those of the opposite type increases quadratically with Pe (we might expect the observed diffusion constant of a particle to be the larger of (11), and ). Such breakdown of linear scaling at weak driving is consistent with our simulations: see Fig. S13.

Note that this argument presumes that the nonequilibrium steady state is fluid, with currents on the order of the bare drift velocity . It therefore does not apply at conditions where jamming occurs, e.g. at large . There, increases less rapidly than linearly with Péclet number; see Fig. S13. To address this case one could return to (8) and consider and to have a nontrivial dependence upon Pe. (As an aside, we note that if in (8) we assume to depend linearly on Pe, which the data of Fig. S13 suggest is true for some range of Pe, then is linear in Pe.)

Previous work has shown that a microscopic analysis of the oppositely-driven particle system implies laning via a dynamic instability Chakrabarti et al. (2003, 2004) or the development of anisotropic particle correlations in the disordered phase Kohl et al. (2012). Our approximate argument complements those approaches, suggesting a general and detail-insensitive origin for lane formation. It also motivates the analysis of the following section, in which we discuss the macroscopic consequences of lane formation.

## Iv A possible lattice-based reference system for lane formation

Particle drift induces effective interparticle interactions. Laning occurs because the diffusion constant of a particle can be larger when surrounded by particles of the opposite color than when surrounded by particles of the same color. In Section III we argued that this enhancement of diffusion results from the geometric constraint that oppositely-moving particles must, in the time taken to drift into contact, diffuse laterally by about a particle diameter. Supporting this argument, the scaling of diffusion rate with Péclet number in quasi-single-particle simulations is consistent with our numerics across a broad range of parameters (Fig. 5 and Fig. S13). The lattice-based model (Protocol III) shows no tendency to lane because particle motion on scales less that a particle diameter is not represented, and so no enhancement of particle diffusion constant can occur. However, we argue in this section that there does exist a lattice-based system that one could use as a reference for the off-lattice model, so clarifying the macroscopic behavior of the latter.

The starting point for this analogy is the observation that hard particles with environment-dependent diffusion rates resemble interacting particles. Consider Fig. 6, which indicates the movement of a shaded particle between two positions, labeled ‘initial’ and ‘final’. Suppose that particles in this picture possess only hard-core repulsions, and that particles hop uniformly to any location within a specified range of their starting position. Let this rate of hopping be proportional to a function of the environment of the particle prior to its hop, provided that the hop causes no hard-core overlaps. The ratio of rates at which the shaded particle moves between its initial (i) and final (f) positions is . For hard particles the ratio of Boltzmann weights between initial and final microstates is unity, i.e. hopping rates do not satisfy detailed balance with respect to the energy function of the system. However, we can consider that hopping rates satisfy detailed balance with respect to some energy function , i.e. we are free to write

(12) |

In other words, is the particle-particle interaction potential that would – in thermal equilibrium and for particles that possess hopping rates insensitive to their environment – effect the ratio of hopping rates specified on the left-hand side of Eq. (12). Therefore, hard particles with environment-dependent hopping rates are equivalent to hard particles with environment-independent hopping rates and interactions of strength

(13) |

in thermal equilibrium.

A recent paper by Sear Sear (2015) demonstrated this equivalence for a lattice model with diffusion rates , being the number of nearest neighbors of a given particle. The equivalent equilibrium system is the Ising lattice gas with coupling constant .

The connection made by Eq. (13) has significance for the present problem because the opposing drift of particle types generates environment-dependent diffusion rates (in addition to causing persistent motion): blue particles diffuse more rapidly when near red particles than when not near red particles. One can therefore consider the opposing drift of opposite particle types to generate an effective red-blue repulsion, because blue particles have a tendency to spend more time in the vicinity of blue particles then in the vicinity of red particles. This repulsion must be strongly anisotropic, because only particles in danger of colliding head-on must diffuse unusually rapidly ^{2}^{2}2Another potential source of anisotropy is a difference between the basic rate of longitudinal diffusion (in the direction of the field) and the basic rate of lateral diffusion (against the field). Our numerics show these quantities to increase with Péclet number in a similar but not identical fashion.. Given the emergence of an effective interparticle interaction and the presence of persistent particle motion, it is natural to consider the simplest model that possesses both features, the driven Ising lattice gas (DLG) Katz et al. (1984). In this model Ising spins move under the influence of an ‘electric field’ that drives spin types (or particles and holes in lattice-gas language) in opposing directions. The half-full DLG displays a continuous order-disorder phase transition, with non-Ising exponents, at a critical temperature that increases with and saturates as at about 1.4 times the Ising critical temperature Schmittmann (1990); Saracco and Albano (2003); Zia (2010).

It is likely that the off-lattice model resembles the DLG most closely under incompressible conditions, i.e. when the off-lattice model does not exhibit large density fluctuations. Our simulations indicate that while the off-lattice model does exhibit large density fluctuations in certain parameter regime, lane formation can be seen under approximately incompressible conditions. Under such conditions a red-blue repulsion is equivalent to red-red and blue-blue attractions that are more favorable than the red-blue interaction, similar to the ferromagnetic Ising model interaction hierarchy. We then suggest that an appropriate DLG representation of the off-lattice model is one in which the electric field Pe; the Ising magnetic field is zero (appropriate to red-blue equimolar conditions); and the horizontal (driven-direction) and vertical (lateral) Ising couplings are unequal, and scale approximately logarithmically with Péclet number (see Section S3).

This analogy suggests that the emergent behavior of the off-lattice model of lane formation should be similar, as Péclet number is increased, to that of the DLG as temperature is decreased and electric field increased. Consistent with this suggestion we found the following qualitative similarities between the two models.

The off-lattice model exhibits long-range correlations in the homogeneous phase. The DLG exhibits long-range correlations in the homogeneous phase: structural two-point correlations decay as in two dimensions Garrido et al. (1990); Schmittmann et al. (2000). We note that structural two-point correlations in the off-lattice driven model show power-law decay consistent with scaling Kohl et al. (2012). To demonstrate that dynamic quantities also show long-range behavior in the homogeneous phase we applied to the off-lattice driven model an order parameter designed to measure velocity correlations between particles separated by the vector ,

(14) |

Here is the normalization

(15) |

In Eq. (14) the subscript RR indicates correlations between red particles (by symmetry, the blue-blue correlation function shows similar behavior); is the coarse-grained velocity of (red) particle over time (time over which a particle at low Péclet number in vacuum will drift on the order of ); the sums run over red particles ( is the total number of red particles); is the Dirac delta; and averages are taken over dynamical trajectories. In Fig. 7 we show that velocity correlation functions in driven- and non-driven directions reveal the emergence of correlations that are of substantial range, of order that of the simulation box, for values of Péclet number below the critical value (note that the critical value of Pe varies with simulation box size and shape). Velocity correlations that oscillate in the non-driven direction reflect the incipience of persistent lanes that become stable above critical driving.

In the ordered phase we estimate that the drive-induced effective interparticle interactions alone imply the emergence of structures whose sizes grow algebraically with Péclet number (in a finite simulation box); see Section S3. This estimate is rough, because this scaling is presumably modified by the presence of persistent particle motion, but in a way that is currently not known.

The off-lattice driven model exhibits system-spanning fluctuations and a change of slope of particle current with Péclet number. The half-full DLG displays a continuous phase transition characterized by system-spanning fluctuations and a discontinuity in the rate of change of particle current with temperature Marro et al. (1996); Zia (2010). By analogy, we expect the off-lattice driven system to show a regime of system-spanning fluctuations as Pe is made large, and a change of slope of particle current with Péclet number. In Fig. 8 we show that both features are seen. Current is defined per-particle as , where is a coarse-graining time over which a particle at low Péclet number in vacuum will drift on the order of .

Macroscopic consequences of lane formation. The emergence of an effective interparticle attraction and the DLG analogy strongly suggest the potential for macroscopic phase separation in the off-lattice driven system. However, under conditions for which macroscopic phase separation is viable, the time to establish phase separation in the DLG diverges with system size Levine et al. (2001). By analogy we conjecture that macroscopic phase separation in the off-lattice driven model is in principle viable, meaning that macroscopic domains would persist once formed, but would not be seen in finite time upon starting from disordered initial conditions. The latter conclusion is consistent with the conclusion of Ref. Glanz and Löwen (2012), that lane formation begun from disordered conditions does not look like a phase transition.

To support our conjecture we show in Fig. 9 time-ordered snapshots of the off-lattice driven model above the critical Péclet number. Two lanes persist if built ‘by hand’, but do not emerge on the timescale of simulations that are begun from disordered initial conditions. The slow coarsening process seen in our simulations is qualitatively similar to that seen in the DLG Levine et al. (2001) (see Fig. 2 of Hurtado et al. (2003)), and so we expect it to proceed to completion over a time Levine et al. (2001), where is the driven direction. To see this, note that the characteristic timescale for one stage of coarsening, two bands of width merging, is (see Ref. Levine et al. (2001)). The coarsening time is dominated by the last stage, when is on the order of , which gives a total time .

Other authors have noted macroscopic features held in common between the DLG and off-lattice driven models. In particular, interfaces between phases in the DLG can be statistically flat Zia (2010); Leung and Zia (1993) even in two dimensions, unlike interfaces in the Ising model which are rough Abraham and Reed (1976). Similarly flat interfaces have been observed Vaikuntanathan () in an off-lattice model of driven particles that shares some basic ingredients with the model studied here.

## V Conclusions

We have studied lane formation in a system of oppositely-driven model colloidal particles using a combination of simulation methods and approximate physical analogies. We argue that the microscopic origin of laning, several aspects of which have been determined previously Chakrabarti et al. (2003, 2004); Kohl et al. (2012), can be understood from a simple geometric argument that implies an environment-dependent particle mobility scaling linearly with Péclet number. Given that one can equate environment-dependent mobilities with an effective interparticle attraction, we conjecture that the basic features of pattern formation in the off-lattice driven system should be similar to those of the driven lattice gas, whose coupling constants grow approximately logarithmically with Péclet number. Consistent with this conjecture we see in simulations of the off-lattice driven model long-rage correlations in the homogenous phase; critical-like fluctuations and a change of slope of particle current with Péclet number; and phase separation at large Péclet number that persists once formed but takes a long time to develop from disordered initial conditions. There are likely to be important differences between the DLG and the off-lattice driven model, particularly where the latter exhibits large density fluctuations or jamming, but there also exist clear similarities between the two models. It will be valuable to determine the extent to which the DLG can be used as a reference model for other driven systems. Note that lane formation is also seen in 3-dimensional systems Dzubiella et al. (2002) and it would be interesting to look for evidence of DLG-like behavior there. In addition, the identification that laning results from rectification of diffusion suggests an intriguing connection between the emergent phenomena of driven molecular systems and those of social dynamics, which have been described in similar geometric terms Oliveira et al. (2016).

###### Acknowledgements.

We acknowledge valuable discussions with Todd Gingrich, Dibyendu Mandal, Suriyanarayanan Vaikuntanathan, Robert L. Jack, C. Patrick Royall, John Edison, Thomas Speck, and Grzegorz Szamel. KK acknowledges support from the NSF Graduate Research Fellowship. PLG was supported by the U.S. Department of Energy, Office of Basic Energy Sciences, through the Chemical Sciences Division (CSD) of the Lawrence Berkeley National Laboratory (LBNL), under Contract DE-AC02-05CH11231. This work was done as part of a User project at the Molecular Foundry at Lawrence Berkeley National Laboratory, supported by the Office of Science, Office of Basic Energy Sciences, of the U.S. Department of Energy under Contract No. DE-AC02–05CH11231.## References

- Domb et al. (1995) C. Domb, R. K. Zia, B. Schmittmann, and J. L. Lebowitz, Statistical mechanics of driven diffusive systems, vol. 17 (Academic Press, 1995).
- Ramaswamy (2010) S. Ramaswamy, The Mechanics and Statistics of Active Matter 1, 323 (2010).
- Dzubiella et al. (2002) J. Dzubiella, G. P. Hoffmann, and H. Löwen, Physical Review E 65, 021402 (2002).
- Chakrabarti et al. (2003) J. Chakrabarti, J. Dzubiella, and H. Löwen, EPL (Europhysics Letters) 61, 415 (2003).
- Chakrabarti et al. (2004) J. Chakrabarti, J. Dzubiella, and H. Löwen, Physical Review E 70, 012401 (2004).
- Kohl et al. (2012) M. Kohl, A. V. Ivlev, P. Brandt, G. E. Morfill, and H. Löwen, Journal of Physics: Condensed Matter 24, 464115 (2012).
- Vissers et al. (2011) T. Vissers, A. Wysocki, M. Rex, H. Löwen, C. P. Royall, A. Imhof, and A. van Blaaderen, Soft Matter 7, 2352 (2011).
- Ivlev et al. (2012) A. Ivlev, H. Löwen, G. Morfill, and C. P. Royall, Complex Plasmas and Colloidal Dispersions: Particle-Resolved Studies of Classical Liquids and Solids (World Scientific, 2012).
- Sütterlin et al. (2010) K. R. Sütterlin, H. M. Thomas, A. V. Ivlev, G. E. Morfill, V. E. Fortov, A. M. Lipaev, V. I. Molotkov, O. F. Petrov, A. Wysocki, and H. Löwen, Plasma Science, IEEE Transactions on 38, 861 (2010).
- Glanz and Löwen (2012) T. Glanz and H. Löwen, Journal of Physics: Condensed Matter 24, 464114 (2012).
- Grünwald et al. (2016) M. Grünwald, S. Tricard, G. M. Whitesides, and P. L. Geissler, Soft matter (2016).
- Sear (2015) R. P. Sear, arXiv preprint arXiv:1503.06963 (2015).
- Katz et al. (1984) S. Katz, J. L. Lebowitz, and H. Spohn, Journal of statistical physics 34, 497 (1984).
- Zia (2010) R. Zia, Journal of Statistical Physics 138, 20 (2010).
- Schmittmann (1990) B. Schmittmann, International Journal of Modern Physics B 4, 2269 (1990).
- Levine et al. (2001) E. Levine, Y. Kafri, and D. Mukamel, Physical Review E 64, 026105 (2001).
- Saracco and Albano (2003) G. P. Saracco and E. V. Albano, The Journal of Chemical Physics 118, 4157 (2003).
- Daquila and Täuber (2012) G. L. Daquila and U. C. Täuber, Physical review letters 108, 110602 (2012).
- Zia et al. (2000) R. Zia, L. Shaw, and B. Schmittmann, Physica A: Statistical Mechanics and its Applications 279, 60 (2000).
- Murch and Thorn (1977) G. Murch and R. Thorn, Philosophical Magazine 36, 529 (1977).
- Tiana et al. (2007) G. Tiana, L. Sutto, and R. A. Broglia, Physica A: Statistical Mechanics and its Applications 380, 241 (2007).
- Kikuchi et al. (1991) K. Kikuchi, M. Yoshida, T. Maekawa, and H. Watanabe, Chemical Physics Letters 185, 335 (1991).
- Sanz and Marenduzzo (2010) E. Sanz and D. Marenduzzo, The Journal of chemical physics 132, 194102 (2010).
- Whitelam and Geissler (2007) S. Whitelam and P. L. Geissler, The Journal of Chemical Physics 127, 154101 (2007).
- Penna et al. (2003) F. Penna, J. Dzubiella, and P. Tarazona, Physical Review E 68, 061407 (2003).
- Dzubiella et al. (2003) J. Dzubiella, H. Löwen, and C. N. Likos, Physical review letters 91, 248301 (2003).
- Brader and Krüger (2011) J. M. Brader and M. Krüger, Molecular Physics 109, 1029 (2011).
- Rex and Löwen (2008) M. Rex and H. Löwen, The European Physical Journal E 26, 143 (2008).
- Plimpton (1995) S. Plimpton, J Comp Phys 117, 1 (1995).
- Schmittmann et al. (1992) B. Schmittmann, K. Hwang, and R. Zia, EPL 19, 19 (1992).
- Berthier (2007) L. Berthier, Physical Review E 76, 011507 (2007).
- Garrido et al. (1990) P. L. Garrido, J. L. Lebowitz, C. Maes, and H. Spohn, Physical Review A 42, 1954 (1990).
- Schmittmann et al. (2000) B. Schmittmann, H. Janssen, U. Täuber, R. Zia, J. Cardy, et al., Physical Review E 61, 5977 (2000).
- Marro et al. (1996) J. Marro, A. Achahbar, P. L. Garrido, and J. J. Alonso, Phys. Rev. E 53, 6038 (1996), URL http://link.aps.org/doi/10.1103/PhysRevE.53.6038.
- Hurtado et al. (2003) P. I. Hurtado, J. Marro, P. L. Garrido, and E. V. Albano, Physical Review B 67, 014206 (2003).
- Leung and Zia (1993) K.-T. Leung and R. Zia, Journal of Physics A: Mathematical and General 26, L737 (1993).
- Abraham and Reed (1976) D. B. Abraham and P. Reed, Communications in Mathematical Physics 49, 35 (1976).
- (38) S. Vaikuntanathan, private communication.
- Oliveira et al. (2016) C. L. N. Oliveira, A. P. Vieira, D. Helbing, J. S. Andrade Jr, and H. J. Herrmann, Physical Review X 6, 011003 (2016).
- Tailleur and Cates (2008) J. Tailleur and M. E. Cates, Physical Review Letters 100, 218103 (2008).
- Hansen and McDonald (1990) J.-P. Hansen and I. R. McDonald, Theory of simple liquids (Elsevier, 1990).
- Onsager (1944) L. Onsager, Physical Review 65, 117 (1944).

## Appendix S1 Simulation Details

### s1.1 Biased Off Lattice Monte Carlo Simulations

Protocol II described in the main text is a Metropolis Monte Carlo simulation in which particle displacements are drawn uniformly from within a square of side centered at (the upper and lower sign applying for blue and red particles, respectively). For an isolated red particle we then have, for unit time,

(S1) |

Thus , where is a basic rate. In the perpendicular direction we have and . Thus

The mean-squared displacement of an undriven particle (or of a driven particle in its rest frame) in either direction in unit time is

(S2) |

giving a bare diffusion constant .

We define Péclet number

(S3) |

where is the particle diameter.

### s1.2 Biased Lattice Simulations

Our lattice simulations consist of hard particles (equal in size to the lattice site) with volume exclusion. Monte Carlo moves are local hops with probability in the (non-driven) directions, probability in the direction for blue (red) particles, and probability in the direction for blue (red) particles. A hop attempt is rejected if the chosen site is already occupied. No particle swap moves are allowed. These dynamics preserve the number of red and blue particles in the simulation box. We constrained the bare diffusion constants in the and directions to be the same. For these simulations the Péclet number is . We confirmed that measurements of gave us the expected Peclet number for an isolated particle.

### s1.3 Steady State Regimes

The activity and were used to characterize the steady states. Off-lattice MC simulations were run at a range of step sizes. Structures were labeled ‘jammed’ when where is the activity of an isolated particle. For Langevin simulations and Monte Carlo simulations with step sizes larger than , structures were labeled ‘laned’ when was larger than 0.5. For step sizes smaller than this, simulations equilibrated extremely slowly and often did not reach a stable value of over the course of Monte Carlo sweeps. To approximate the boundary between laned and disordered states for these step sizes (the dashed red line in Fig. 2), we used the criterion that (without time-averaging) reach a value of 0.4 or larger at some point during the trajectory.

We found that Monte Carlo simulations of WCA particles showed similar behavior to Langevin dynamics (laning above Péclet 80 and no jamming) at step sizes . Hard disks required a smaller step size, , to show behavior similar to Langevin dynamics. Fig. 2 shows the steady-state regimes for hard disks; the diagram would look similar for WCA particles, but with the jammed/flowing boundary shifted to a higher step sizes.

## Appendix S2 Thermodynamic Perturbation Theory, WCA particles to hard disks

In figure 2 of the main text we compare the results of Brownian dynamics simulations of soft (WCA) particles and Monte Carlo simulations of hard disks. We chose a hard disk radius such that the thermodynamics of the two systems are equivalent (in the sense described below). We verified that little difference is seen in MC simulations upon small variations of disk diameter.

The free energy of a collection of interacting particles is a functional of the pair potential:

(S4) |

where is the Meyer f-function

(S5) |

Referring to the WCA pair potential with the subscript and the hard disk pair potential with the subscript , we want to make their free-energy functionals as close as possible, i.e.

(S6) |

with chosen such that .

We can define

(S7) |

with . Then

(S8) |

where

(S9) |

Choose particles and as 1 and 2

(S10) | |||||

Using

(S11) |

where is the average density of the system leaves us with

(S12) |

Note that , the cavity distribution function. This gives:

(S13) |

which we want to set to 0. If is chosen well, , so we only need to worry about

(S14) |

This brings us to Perkis-Yevick Theory:

(S15) |

where and is the direct correlation function. As shown in Hansen and McDonald (1990)

(S16) |

For so leaving us with

(S17) |

where .

Percus-Yevick theory predicts a form for that has been solved analytically in 3 dimensions, but to the best of our knowledge not in 2 dimensions, so we numerically calculated . It turns out that a hard disk diameter of is a good approximation for WCA particles of diameter , at least when comparing the free energy functionals.

## Appendix S3 Off-lattice model-DLG analogy, and approximate lengthscales in the ordered phase

The analogy drawn in the main text suggests that the off-lattice model can be related to the DLG whose Ising couplings scale roughly as

(S18) |

and

(S19) |

for bonds running in driven and non-driven directions, respectively. Here is a geometric parameter that could be fixed by requiring the model to be critical at a particular value of Pe. At the level of the Ising model we can follow Onsager’s analysis Onsager (1944) to show that such couplings imply in the ordered phase the emergence of structures whose characteristic lengthscales grow algebraically with Pe. Assume that the simulation box dimensions are and in driven and non-driven directions. The Ising model surface tension in driven and non-driven directions is and . The free-energy cost required to create a vertical boundary of length is , and so the characteristic length between such boundaries is the exponential of this quantity multiplied by , i.e. (this result is Equation (124) of Ref. Onsager (1944); note that the version of this result quoted in the abstract of that paper appears to have a spurious factor of 2 within the function). Inserting into this expression the couplings (S18) and (S19), with constants of proportionality taken to be unity, we find the characteristic domain length in the driven direction to be

(S20) |

For large Pe this length grows as a power law, (taking non-unit constants of proportionality in (S18) and (S19) modifies the exponent, but does not change the fact that the lengthscale goes as a power of Péclet number).

The characteristic length of domains in the non-driven direction, i.e. the equilibrium lane width, can be found in similar fashion; it is

(S21) |

which for large Pe grows as .

These results are consistent in a general sense with the results of Ref. Glanz and Löwen (2012), whose authors measured a lengthscale within the off-lattice driven model that for large Pe grows with Pe either exponentially or as a power law. However, the connection is not a precise one because that lengthscale is neither of the Onsager lengths stated here. In addition, the above analysis concerns the undriven Ising model, and the driven version (the DLG) possesses anisotropy of domains on account of the drive, even for identical couplings Schmittmann (1990). Interfaces in the DLG are also statistically smoother than those in the Ising model Zia (2010); Abraham and Reed (1976).

## Appendix S4 Additional Figures

The following figures supplement those in the main text, and are called out from there.