-
Approach to Hyperuniformity in the One-Dimensional Facilitated Exclusion Process
Authors:
S. Goldstein,
J. L. Lebowitz,
E. R. Speer
Abstract:
For the one-dimensional Facilitated Exclusion Process with initial state a product measure of density $ρ=1/2-δ$, $δ\ge0$, there exists an infinite-time limiting state $ν_ρ$ in which all particles are isolated and hence cannot move. We study the variance $V(L)$, under $ν_ρ$, of the number of particles in an interval of $L$ sites. Under $ν_{1/2}$ either all odd or all even sites are occupied, so tha…
▽ More
For the one-dimensional Facilitated Exclusion Process with initial state a product measure of density $ρ=1/2-δ$, $δ\ge0$, there exists an infinite-time limiting state $ν_ρ$ in which all particles are isolated and hence cannot move. We study the variance $V(L)$, under $ν_ρ$, of the number of particles in an interval of $L$ sites. Under $ν_{1/2}$ either all odd or all even sites are occupied, so that $V(L)=0$ for $L$ even and $V(L)=1/4$ for $L$ odd: the state is hyperuniform, since $V(L)$ grows more slowly than $L$. We prove that for densities approaching 1/2 from below there exist three regimes in $L$, in which the variance grows at different rates: for $L\ggδ^{-2}$, $V(L)\simeqρ(1-ρ)L$, just as in the initial state; for $A(δ)\ll L\llδ^{-2}$, with $A(δ)=δ^{-2/3}$ for $L$ odd and $A(δ)=1$ for $L$ even, $V(L)\simeq CL^{3/2}$ with $C=2\sqrt{2/π}/3$; and for $L\llδ^{-2/3}$ with $L$ odd, $V(L)\simeq1/4$. The analysis is based on a careful study of a renewal process with a long tail. Our study is motivated by simulation results showing similar behavior in higher dimensions; we discuss this background briefly.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
Approach to Hyperuniformity of Steady States of Facilitated Exchange Processes
Authors:
S. Goldstein,
J. L. Lebowitz,
E. R. Speer
Abstract:
We consider the fluctuations in the number of particles in a box of size L^d in Z^d, d>=1, in the (infinite volume) translation invariant stationary states of the facilitated exclusion process, also called the conserved lattice gas model. When started in a Bernoulli (product) measure at density rho, these systems approach, as t goes to infinity, a "frozen" state for rho<=rho_c, with rho_c=1/2 for…
▽ More
We consider the fluctuations in the number of particles in a box of size L^d in Z^d, d>=1, in the (infinite volume) translation invariant stationary states of the facilitated exclusion process, also called the conserved lattice gas model. When started in a Bernoulli (product) measure at density rho, these systems approach, as t goes to infinity, a "frozen" state for rho<=rho_c, with rho_c=1/2 for d=1 and rho_c<1/2 for d>=2. At rho=rho_c the limiting state is hyperuniform, that is, the variance of the number of particles in the box grows slower than L^d. We give a general description of how the variances at different scales of L behave as rho increases to rho_c. On the largest scale, L>>L_2, the fluctuations are normal (in fact the same as in the original product measure), while in a region L_1<<L<<L_2, with both L_1 and L_2 going to infinity as rho increases to rho_c, the variance grows faster than normal. For 1<<L<<L_1 the variance is the same as in the hyperuniform system. (All results discussed are rigorous for d=1 and based on simulations for d>=2.)
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
Stationary States of the One-Dimensional Discrete-Time Facilitated Symmetric Exclusion Process
Authors:
S. Goldstein,
J. L. Lebowitz,
E. R. Speer
Abstract:
We describe the extremal translation invariant stationary (ETIS) states of the facilitated exclusion process on $\mathbb{Z}$. In this model all particles on sites with one occupied and one empty neighbor jump at each integer time to the empty neighbor site, and if two particles attempt to jump into the same empty site we choose one randomly to succeed. The ETIS states are qualitatively different f…
▽ More
We describe the extremal translation invariant stationary (ETIS) states of the facilitated exclusion process on $\mathbb{Z}$. In this model all particles on sites with one occupied and one empty neighbor jump at each integer time to the empty neighbor site, and if two particles attempt to jump into the same empty site we choose one randomly to succeed. The ETIS states are qualitatively different for densities $ρ<1/2$, $ρ=1/2$, and $1/2<ρ<1$, but in each density region we find states which may be grouped into families, each of which is in natural correspondence with the set of all ergodic measures on $\{0,1\}^{\mathbb{Z}}$. For $ρ<1/2$ there is one such family, containing all the ergodic states in which the probability of two adjacent occupied sites is zero. For $ρ=1/2$ there are two families, in which configurations translate to the left and right, respectively, with constant speed 2. For the high density case there is a continuum of families. We show that all ETIS states at densities $ρ\le1/2$ belong to these families, and conjecture that also at high density there are no other ETIS states. We also study the possible ETIS states which might occur if the conjecture fails.
△ Less
Submitted 13 January, 2022;
originally announced January 2022.
-
Stationary States of the One-dimensional Facilitated Asymmetric Exclusion Process
Authors:
A. Ayyer,
S. Goldstein,
J. L. Lebowitz,
E. R. Speer
Abstract:
We describe the translation invariant stationary states (TIS) of the one-dimensional facilitated asymmetric exclusion process in continuous time, in which a particle at site $i\in\mathbb{Z}$ jumps to site $i+1$ (respectively $i-1$) with rate $p$ (resp. $1-p$), provided that site $i-1$ (resp. $i+1$) is occupied and site $i+1$ (resp. $i-1$) is empty. All TIS states with density $ρ\le1/2$ are support…
▽ More
We describe the translation invariant stationary states (TIS) of the one-dimensional facilitated asymmetric exclusion process in continuous time, in which a particle at site $i\in\mathbb{Z}$ jumps to site $i+1$ (respectively $i-1$) with rate $p$ (resp. $1-p$), provided that site $i-1$ (resp. $i+1$) is occupied and site $i+1$ (resp. $i-1$) is empty. All TIS states with density $ρ\le1/2$ are supported on trapped configurations in which no two adjacent sites are occupied; we prove that if in this case the initial state is i.i.d.~Bernoulli then the final state is independent of $p$. This independence also holds for the system on a finite ring. For $ρ>1/2$ there is only one TIS. It is the infinite volume limit of the probability distribution that gives uniform weight to all configurations in which no two holes are adjacent, and is isomorphic to the Gibbs measure for hard core particles with nearest neighbor exclusion.
△ Less
Submitted 30 December, 2021; v1 submitted 14 October, 2020;
originally announced October 2020.
-
The Discrete-Time Facilitated Totally Asymmetric Simple Exclusion Process
Authors:
S. Goldstein,
J. L. Lebowitz,
E. R. Speer
Abstract:
We describe the translation invariant stationary states of the one dimensional discrete-time facilitated totally asymmetric simple exclusion process (F-TASEP). In this system a particle at site $j$ in $Z$ jumps, at integer times, to site $j+1$, provided site $j-1$ is occupied and site $j+1$ is empty. This defines a deterministic noninvertible dynamical evolution from any specified initial configur…
▽ More
We describe the translation invariant stationary states of the one dimensional discrete-time facilitated totally asymmetric simple exclusion process (F-TASEP). In this system a particle at site $j$ in $Z$ jumps, at integer times, to site $j+1$, provided site $j-1$ is occupied and site $j+1$ is empty. This defines a deterministic noninvertible dynamical evolution from any specified initial configuration on $\{0,1\}^{Z}$. When started with a Bernoulli product measure at density $ρ$ the system approaches a stationary state, with phase transitions at $ρ=1/2$ and $ρ=2/3$. We discuss various properties of these states in the different density regimes $0<ρ<1/2$, $1/2<ρ<2/3$, and $2/3<ρ<1$; for example, we show that the pair correlation $g(j)=\langleη(i)η(i+j)\rangle$ satisfies, for all $n\in Z$, $\sum_{j=kn+1}^{k(n+1)}g(j)=kρ^2$, with $k=2$ when $0 \le ρ\le 1/2$ and $k=3$ when $2/3 \le ρ\le 1$, and conjecture (on the basis of simulations) that the same identity holds with $k=6$ when $1/2 \le ρ\le 2/3$. The $ρ<1/2$ stationary state referred to above is also the stationary state for the deterministic discrete-time TASEP at density $ρ$ (with Bernoulli initial state) or, after exchange of particles and holes, at density $1-ρ$.
△ Less
Submitted 17 June, 2020; v1 submitted 10 March, 2020;
originally announced March 2020.
-
Exact Solution of the F-TASEP
Authors:
S. Goldstein,
J. L. Lebowitz,
E. R. Speer
Abstract:
We obtain the exact solution of the facilitated totally asymmetric simple exclusion process (F-TASEP) in 1D. The model is closely related to the conserved lattice gas (CLG) model and to some cellular automaton traffic models. In the F-TASEP a particle at site $j$ in $\mathbb{Z}$ jumps, at integer times, to site $j+1$, provided site $j-1$ is occupied and site $j+1$ is empty. When started with a Ber…
▽ More
We obtain the exact solution of the facilitated totally asymmetric simple exclusion process (F-TASEP) in 1D. The model is closely related to the conserved lattice gas (CLG) model and to some cellular automaton traffic models. In the F-TASEP a particle at site $j$ in $\mathbb{Z}$ jumps, at integer times, to site $j+1$, provided site $j-1$ is occupied and site $j+1$ is empty. When started with a Bernoulli product measure at density $ρ$ the system approaches a stationary state. This non-equilibrium steady state (NESS) has phase transitions at $ρ=1/2$ and $ρ=2/3$. The different density regimes $0<ρ<1/2$, $1/2<ρ<2/3$, and $2/3<ρ<1$ exhibit many surprising properties; for example, the pair correlation $g(j)=\langleη(i)η(i+j)\rangle$ satisfies, for all $n\in\mathbb{Z}$, $\sum_{j=kn+1}^{k(n+1)}g(j)=kρ^2$, with $k=2$ when $0\leρ\le1/2$, $k=6$ when $1/2\leρ\le2/3$, and $k=3$ when $2/3\leρ\le1$. The quantity $\lim_{L\to\infty}V_L/L$, where $V_L$ is the variance in the number of particles in an interval of length L, jumps discontinuosly from $ρ(1-ρ)$ to 0 when $ρ\to1/2$ and when $ρ\to2/3$.
△ Less
Submitted 21 April, 2019; v1 submitted 17 April, 2019;
originally announced April 2019.
-
Translation invariant extensions of finite volume measures
Authors:
S. Goldstein,
T. Kuna,
J. L. Lebowitz,
E. R. Speer
Abstract:
We investigate the following questions: Given a measure $μ_Λ$ on configurations on a subset $Λ$ of a lattice $\mathbb{L}$, where a configuration is an element of $Ω^Λ$ for some fixed set $Ω$, does there exist a measure $μ$ on configurations on all of $\mathbb{L}$, invariant under some specified symmetry group of $\mathbb{L}$, such that $μ_Λ$ is its marginal on configurations on $Λ$? When the answe…
▽ More
We investigate the following questions: Given a measure $μ_Λ$ on configurations on a subset $Λ$ of a lattice $\mathbb{L}$, where a configuration is an element of $Ω^Λ$ for some fixed set $Ω$, does there exist a measure $μ$ on configurations on all of $\mathbb{L}$, invariant under some specified symmetry group of $\mathbb{L}$, such that $μ_Λ$ is its marginal on configurations on $Λ$? When the answer is yes, what are the properties, e.g., the entropies, of such measures? Our primary focus is the case in which $\mathbb{L}=\mathbb{Z}^d$ and the symmetries are the translations. For the case in which $Λ$ is an interval in $\mathbb{Z}$ we give a simple necessary and sufficient condition, local translation invariance (LTI), for extendibility. For LTI measures we construct extensions having maximal entropy, which we show are Gibbs measures; this construction extends to the case in which $\mathbb{L}$ is the Bethe lattice. On $\mathbb{Z}$ we also consider extensions supported on periodic configurations, which are analyzed using de~Bruijn graphs and which include the extensions with minimal entropy. When $Λ\subset\mathbb{Z}$ is not an interval, or when $Λ\subset\mathbb{Z}^d$ with $d>1$, the LTI condition is necessary but not sufficient for extendibility. For $\mathbb{Z}^d$ with $d>1$, extendibility is in some sense undecidable.
△ Less
Submitted 15 June, 2016; v1 submitted 18 August, 2015;
originally announced August 2015.
-
Central limit theorems, Lee-Yang zeros, and graph-counting polynomials
Authors:
J. L. Lebowitz,
B. Pittel,
D. Ruelle,
E. R. Speer
Abstract:
We consider the asymptotic normalcy of families of random variables $X$ which count the number of occupied sites in some large set. We write $Prob(X=m)=p_mz_0^m/P(z_0)$, where $P(z)$ is the generating function $P(z)=\sum_{j=0}^{N}p_jz^j$ and $z_0>0$. We give sufficient criteria, involving the location of the zeros of $P(z)$, for these families to satisfy a central limit theorem (CLT) and even a lo…
▽ More
We consider the asymptotic normalcy of families of random variables $X$ which count the number of occupied sites in some large set. We write $Prob(X=m)=p_mz_0^m/P(z_0)$, where $P(z)$ is the generating function $P(z)=\sum_{j=0}^{N}p_jz^j$ and $z_0>0$. We give sufficient criteria, involving the location of the zeros of $P(z)$, for these families to satisfy a central limit theorem (CLT) and even a local CLT (LCLT); the theorems hold in the sense of estimates valid for large $N$ (we assume that $Var(X)$ is large when $N$ is). For example, if all the zeros lie in the closed left half plane then $X$ is asymptotically normal, and when the zeros satisfy some additional conditions then $X$ satisfies an LCLT. We apply these results to cases in which $X$ counts the number of edges in the (random) set of "occupied" edges in a graph, with constraints on the number of occupied edges attached to a given vertex. Our results also apply to systems of interacting particles, with $X$ counting the number of particles in a box $Λ$ whose size approaches infinity; $P(z)$ is then the grand canonical partition function and its zeros are the Lee-Yang zeros.
△ Less
Submitted 18 August, 2015; v1 submitted 18 August, 2014;
originally announced August 2014.
-
Location of the Lee-Yang zeros and absence of phase transitions in some Ising spin systems
Authors:
Joel L. Lebowitz,
David Ruelle,
Eugene R. Speer
Abstract:
We consider a class of Ising spin systems on a set Λof sites. The sites are grouped into units with the property that each site belongs to either one or two units, and the total internal energy of the system is the sum of the energies of the individual units, which in turn depend only on the number of up spins in the unit. We show that under suitable conditions on these interactions none of the |Λ…
▽ More
We consider a class of Ising spin systems on a set Λof sites. The sites are grouped into units with the property that each site belongs to either one or two units, and the total internal energy of the system is the sum of the energies of the individual units, which in turn depend only on the number of up spins in the unit. We show that under suitable conditions on these interactions none of the |Λ| Lee-Yang zeros in the complex z = exp{2βh} plane, where βis the inverse temperature and h the uniform magnetic field, touch the positive real axis, at least for large values of β. In some cases one obtains, in an appropriately taken βto infinity limit, a gas of hard objects on a set Λ'; the fugacity for the limiting system is a rescaling of z and the Lee-Yang zeros of the new partition function also avoid the positive real axis. For certain forms of the energies of the individual units the Lee-Yang zeros of both the finite- and zero-temperature systems lie on the negative real axis for all β. One zero-temperature limit of this type, for example, is a monomer-dimer system; our results thus generalize, to finite β, a well-known result of Heilmann and Lieb that the Lee-Yang zeros of monomer-dimer systems are real and negative.
△ Less
Submitted 6 August, 2012; v1 submitted 2 April, 2012;
originally announced April 2012.
-
Phase diagram of a generalized ABC model on the interval
Authors:
John Barton,
Joel L. Lebowitz,
Eugene R. Speer
Abstract:
We study the equilibrium phase diagram of a generalized ABC model on an interval of the one-dimensional lattice: each site $i=1,...,N$ is occupied by a particle of type $\a=A,B,C,$ with the average density of each particle species $N_\a/N=r_\a$ fixed. These particles interact via a mean field non-reflection-symmetric pair interaction. The interaction need not be invariant under cyclic permutation…
▽ More
We study the equilibrium phase diagram of a generalized ABC model on an interval of the one-dimensional lattice: each site $i=1,...,N$ is occupied by a particle of type $\a=A,B,C,$ with the average density of each particle species $N_\a/N=r_\a$ fixed. These particles interact via a mean field non-reflection-symmetric pair interaction. The interaction need not be invariant under cyclic permutation of the particle species as in the standard ABC model studied earlier. We prove in some cases and conjecture in others that the scaled infinite system $N\rw\infty$, $i/N\rw x\in[0,1]$ has a unique density profile $\p_\a(x)$ except for some special values of the $r_\a$ for which the system undergoes a second order phase transition from a uniform to a nonuniform periodic profile at a critical temperature $T_c=3\sqrt{r_A r_B r_C}/2π$.
△ Less
Submitted 8 July, 2011; v1 submitted 9 June, 2011;
originally announced June 2011.
-
The grand canonical ABC model: a reflection asymmetric mean field Potts model
Authors:
John Barton,
Joel L. Lebowitz,
Eugene R. Speer
Abstract:
We investigate the phase diagram of a three-component system of particles on a one-dimensional filled lattice, or equivalently of a one-dimensional three-state Potts model, with reflection asymmetric mean field interactions. The three types of particles are designated as $A$, $B$, and $C$. The system is described by a grand canonical ensemble with temperature $T$ and chemical potentials $Tλ_A$,…
▽ More
We investigate the phase diagram of a three-component system of particles on a one-dimensional filled lattice, or equivalently of a one-dimensional three-state Potts model, with reflection asymmetric mean field interactions. The three types of particles are designated as $A$, $B$, and $C$. The system is described by a grand canonical ensemble with temperature $T$ and chemical potentials $Tλ_A$, $Tλ_B$, and $Tλ_C$. We find that for $λ_A=λ_B=λ_C$ the system undergoes a phase transition from a uniform density to a continuum of phases at a critical temperature $\hat T_c=(2π/\sqrt3)^{-1}$. For other values of the chemical potentials the system has a unique equilibrium state. As is the case for the canonical ensemble for this $ABC$ model, the grand canonical ensemble is the stationary measure satisfying detailed balance for a natural dynamics. We note that $\hat T_c=3T_c$, where $T_c$ is the critical temperature for a similar transition in the canonical ensemble at fixed equal densities $r_A=r_B=r_C=1/3$.
△ Less
Submitted 24 October, 2010; v1 submitted 6 October, 2010;
originally announced October 2010.
-
On Some Classes of Open Two-Species Exclusion Processes
Authors:
Arvind Ayyer,
Joel L. Lebowitz,
Eugene R. Speer
Abstract:
We investigate some properties of the nonequilibrium stationary state (NESS) of a one dimensional open system consisting of first and second class (type 1 and type 2) particles. The dynamics are totally asymmetric but the rates for the different permitted exchanges (10 -> 01, 12 -> 21, and 20 -> 02) need not be equal. The entrance and exit rates of the different species can also be different. We s…
▽ More
We investigate some properties of the nonequilibrium stationary state (NESS) of a one dimensional open system consisting of first and second class (type 1 and type 2) particles. The dynamics are totally asymmetric but the rates for the different permitted exchanges (10 -> 01, 12 -> 21, and 20 -> 02) need not be equal. The entrance and exit rates of the different species can also be different. We show that for certain classes of rates one can compute the currents and phase diagram, or at least obtain some monotonicity properties. For other classes one can obtain a matrix representation of the NESS; this generalizes previous work in which second class particles can neither enter nor leave the system. We analyze a simple example of this type and establish the existence of a randomly located shock at which the typical density profiles of all three species are discontinuous.
△ Less
Submitted 27 August, 2010;
originally announced August 2010.
-
On the Two Species Asymmetric Exclusion Process with Semi-Permeable Boundaries
Authors:
Arvind Ayyer,
Joel L. Lebowitz,
Eugene R. Speer
Abstract:
We investigate the structure of the nonequilibrium stationary state (NESS) of a system of first and second class particles, as well as vacancies (holes), on L sites of a one-dimensional lattice in contact with first class particle reservoirs at the boundary sites; these particles can enter at site 1, when it is vacant, with rate alpha, and exit from site L with rate beta. Second class particles…
▽ More
We investigate the structure of the nonequilibrium stationary state (NESS) of a system of first and second class particles, as well as vacancies (holes), on L sites of a one-dimensional lattice in contact with first class particle reservoirs at the boundary sites; these particles can enter at site 1, when it is vacant, with rate alpha, and exit from site L with rate beta. Second class particles can neither enter nor leave the system, so the boundaries are semi-permeable. The internal dynamics are described by the usual totally asymmetric exclusion process (TASEP) with second class particles. An exact solution of the NESS was found by Arita. Here we describe two consequences of the fact that the flux of second class particles is zero. First, there exist (pinned and unpinned) fat shocks which determine the general structure of the phase diagram and of the local measures; the latter describe the microscopic structure of the system at different macroscopic points (in the limit L going to infinity in terms of superpositions of extremal measures of the infinite system. Second, the distribution of second class particles is given by an equilibrium ensemble in fixed volume, or equivalently but more simply by a pressure ensemble, in which the pair potential between neighboring particles grows logarithmically with distance. We also point out an unexpected feature in the microscopic structure of the NESS for finite L: if there are n second class particles in the system then the distribution of first class particles (respectively holes) on the first (respectively last) n sites is exchangeable.
△ Less
Submitted 5 August, 2008; v1 submitted 15 July, 2008;
originally announced July 2008.
-
Entropy of Open Lattice Systems
Authors:
B. Derrida,
J. L. Lebowitz,
E. R. Speer
Abstract:
We investigate the behavior of the Gibbs-Shannon entropy of the stationary nonequilibrium measure describing a one-dimensional lattice gas, of L sites, with symmetric exclusion dynamics and in contact with particle reservoirs at different densities. In the hydrodynamic scaling limit, L to infinity, the leading order (O(L)) behavior of this entropy has been shown by Bahadoran to be that of a prod…
▽ More
We investigate the behavior of the Gibbs-Shannon entropy of the stationary nonequilibrium measure describing a one-dimensional lattice gas, of L sites, with symmetric exclusion dynamics and in contact with particle reservoirs at different densities. In the hydrodynamic scaling limit, L to infinity, the leading order (O(L)) behavior of this entropy has been shown by Bahadoran to be that of a product measure corresponding to strict local equilibrium; we compute the first correction, which is O(1). The computation uses a formal expansion of the entropy in terms of truncated correlation functions; for this system the k-th such correlation is shown to be O(L^{-k+1}). This entropy correction depends only on the scaled truncated pair correlation, which describes the covariance of the density field. It coincides, in the large L limit, with the corresponding correction obtained from a Gaussian measure with the same covariance.
△ Less
Submitted 27 April, 2007;
originally announced April 2007.
-
Realizability of point processes
Authors:
T. Kuna,
J. L. Lebowitz,
E. R. Speer
Abstract:
There are various situations in which it is natural to ask whether a given collection of $k$ functions, $ρ_j(\r_1,...,\r_j)$, $j=1,...,k$, defined on a set $X$, are the first $k$ correlation functions of a point process on $X$. Here we describe some necessary and sufficient conditions on the $ρ_j$'s for this to be true. Our primary examples are $X=\mathbb{R}^d$, $X=\matbb{Z}^d$, and $X$ an arbit…
▽ More
There are various situations in which it is natural to ask whether a given collection of $k$ functions, $ρ_j(\r_1,...,\r_j)$, $j=1,...,k$, defined on a set $X$, are the first $k$ correlation functions of a point process on $X$. Here we describe some necessary and sufficient conditions on the $ρ_j$'s for this to be true. Our primary examples are $X=\mathbb{R}^d$, $X=\matbb{Z}^d$, and $X$ an arbitrary finite set. In particular, we extend a result by Ambartzumian and Sukiasian showing realizability at sufficiently small densities $ρ_1(\mathbf{r})$. Typically if any realizing process exists there will be many (even an uncountable number); in this case we prove, when $X$ is a finite set, the existence of a realizing Gibbs measure with $k$ body potentials which maximizes the entropy among all realizing measures. We also investigate in detail a simple example in which a uniform density $ρ$ and translation invariant $ρ_2$ are specified on $\mathbb{Z}$; there is a gap between our best upper bound on possible values of $ρ$ and the largest $ρ$ for which realizability can be established.
△ Less
Submitted 19 March, 2007; v1 submitted 23 December, 2006;
originally announced December 2006.
-
Exact Large Deviation Functional of a Stationary Open Driven Diffusive System: The Asymmetric Exclusion Process
Authors:
B. Derrida,
J. L. Lebowitz,
E. R. Speer
Abstract:
We consider the asymmetric exclusion process (ASEP) in one dimension on sites $i = 1,..., N$, in contact at sites $i=1$ and $i=N$ with infinite particle reservoirs at densities $ρ_a$ and $ρ_b$. As $ρ_a$ and $ρ_b$ are varied, the typical macroscopic steady state density profile $\bar ρ(x)$, $x\in[a,b]$, obtained in the limit $N=L(b-a)\to\infty$, exhibits shocks and phase transitions. Here we deri…
▽ More
We consider the asymmetric exclusion process (ASEP) in one dimension on sites $i = 1,..., N$, in contact at sites $i=1$ and $i=N$ with infinite particle reservoirs at densities $ρ_a$ and $ρ_b$. As $ρ_a$ and $ρ_b$ are varied, the typical macroscopic steady state density profile $\bar ρ(x)$, $x\in[a,b]$, obtained in the limit $N=L(b-a)\to\infty$, exhibits shocks and phase transitions. Here we derive an exact asymptotic expression for the probability of observing an arbitrary macroscopic profile $ρ(x)$: $P_N(\{ρ(x)\})\sim\exp[-L{\cal F}_{[a,b]}(\{ρ(x)\});ρ_a,ρ_b]$, so that ${\cal F}$ is the large deviation functional, a quantity similar to the free energy of equilibrium systems. We find, as in the symmetric, purely diffusive case $q=1$ (treated in an earlier work), that $\cal F$ is in general a non-local functional of $ρ(x)$. Unlike the symmetric case, however, the asymmetric case exhibits ranges of the parameters for which ${\cal F}(\{ρ(x)\})$ is not convex and others for which ${\cal F}(\{ρ(x)\})$ has discontinuities in its second derivatives at $ρ(x) = \barρ(x)$; the fluctuations near $\barρ(x)$ are then non-Gaussian and cannot be calculated from the large deviation function.
△ Less
Submitted 16 May, 2002;
originally announced May 2002.
-
Exact Free Energy Functional for a Driven Diffusive Open Stationary Nonequilibrium System
Authors:
B. Derrida,
J. L. Lebowitz,
E. R. Speer
Abstract:
We obtain the exact probability $\exp[-L {\cal F}(\{ρ(x)\})]$ of finding a macroscopic density profile $ρ(x)$ in the stationary nonequilibrium state of an open driven diffusive system, when the size of the system $L \to \infty$. $\cal F$, which plays the role of a nonequilibrium free energy, has a very different structure from that found in the purely diffusive case. As there, $\cal F$ is nonloc…
▽ More
We obtain the exact probability $\exp[-L {\cal F}(\{ρ(x)\})]$ of finding a macroscopic density profile $ρ(x)$ in the stationary nonequilibrium state of an open driven diffusive system, when the size of the system $L \to \infty$. $\cal F$, which plays the role of a nonequilibrium free energy, has a very different structure from that found in the purely diffusive case. As there, $\cal F$ is nonlocal, but the shocks and dynamic phase transitions of the driven system are reflected in non-convexity of $\cal F$, in discontinuities in its second derivatives, and in non-Gaussian fluctuations in the steady state.
△ Less
Submitted 7 March, 2002;
originally announced March 2002.
-
Large Deviation of the Density Profile in the Steady State of the Open Symmetric Simple Exclusion Process
Authors:
B. Derrida,
J. L. Lebowitz,
E. R. Speer
Abstract:
We consider an open one dimensional lattice gas on sites $i=1,...,N$, with particles jumping independently with rate 1 to neighboring interior empty sites, the {\it simple symmetric exclusion process}. The particle fluxes at the left and right boundaries, corresponding to exchanges with reservoirs at different chemical potentials, create a stationary nonequilibrium state (SNS) with a steady flux…
▽ More
We consider an open one dimensional lattice gas on sites $i=1,...,N$, with particles jumping independently with rate 1 to neighboring interior empty sites, the {\it simple symmetric exclusion process}. The particle fluxes at the left and right boundaries, corresponding to exchanges with reservoirs at different chemical potentials, create a stationary nonequilibrium state (SNS) with a steady flux of particles through the system. The mean density profile in this state, which is linear, describes the typical behavior of a macroscopic system, i.e., this profile occurs with probability 1 when $N \to \infty$. The probability of microscopic configurations corresponding to some other profile $ρ(x)$, $x = i/N$, has the asymptotic form $\exp[-N {\cal F}(\{ρ\})]$; $\cal F$ is the {\it large deviation functional}. In contrast to equilibrium systems, for which ${\cal F}_{eq}(\{ρ\})$ is just the integral of the appropriately normalized local free energy density, the $\cal F$ we find here for the nonequilibrium system is a nonlocal function of $ρ$. This gives rise to the long range correlations in the SNS predicted by fluctuating hydrodynamics and suggests similar non-local behavior of $\cal F$ in general SNS, where the long range correlations have been observed experimentally.
△ Less
Submitted 17 January, 2002; v1 submitted 19 September, 2001;
originally announced September 2001.
-
Free Energy Functional for Nonequilibrium Systems: An Exactly Solvable Case
Authors:
B. Derrida,
J. L. Lebowitz,
E. R. Speer
Abstract:
We consider the steady state of an open system in which there is a flux of matter between two reservoirs at different chemical potentials. For a large system of size $N$, the probability of any macroscopic density profile $ρ(x)$ is $\exp[-N{\cal F}(\{ρ\})]$; ${\cal F}$ thus generalizes to nonequilibrium systems the notion of free energy density for equilibrium systems. Our exact expression for…
▽ More
We consider the steady state of an open system in which there is a flux of matter between two reservoirs at different chemical potentials. For a large system of size $N$, the probability of any macroscopic density profile $ρ(x)$ is $\exp[-N{\cal F}(\{ρ\})]$; ${\cal F}$ thus generalizes to nonequilibrium systems the notion of free energy density for equilibrium systems. Our exact expression for $\cal F$ is a nonlocal functional of $ρ$, which yields the macroscopically long range correlations in the nonequilibrium steady state previously predicted by fluctuating hydrodynamics and observed experimentally.
△ Less
Submitted 19 September, 2001; v1 submitted 4 May, 2001;
originally announced May 2001.
-
Spatial Particle Condensation for an Exclusion Process on a Ring
Authors:
N. Rajewsky,
T. Sasamoto,
E. R. Speer
Abstract:
We study the stationary state of a simple exclusion process on a ring which was recently introduced by Arndt {\it et al} [J. Phys. A {\bf 31} (1998) L45;cond-mat/9809123]. This model exhibits spatial condensation of particles. It has been argued that the model has a phase transition from a ``mixed phase'' to a ``disordered phase''. However, in this paper exact calculations are presented which, w…
▽ More
We study the stationary state of a simple exclusion process on a ring which was recently introduced by Arndt {\it et al} [J. Phys. A {\bf 31} (1998) L45;cond-mat/9809123]. This model exhibits spatial condensation of particles. It has been argued that the model has a phase transition from a ``mixed phase'' to a ``disordered phase''. However, in this paper exact calculations are presented which, we believe, show that in the framework of a grand canonical ensemble there is no such phase transition. An analysis of the fluctuations in the particle density strongly suggests that the same result also holds for the canonical ensemble.
△ Less
Submitted 20 November, 1999;
originally announced November 1999.
-
Exact solution of a cellular automaton for traffic
Authors:
M. R. Evans,
N. Rajewsky,
E. R. Speer
Abstract:
We present an exact solution of a probabilistic cellular automaton for traffic with open boundary conditions, e.g. cars can enter and leave a part of a highway with certain probabilities. The model studied is the asymmetric exclusion process (ASEP) with {\it simultaneous} updating of all sites. It is equivalent to a special case ($v_{\rm max}=1$) of the Nagel-Schreckenberg model for highway traf…
▽ More
We present an exact solution of a probabilistic cellular automaton for traffic with open boundary conditions, e.g. cars can enter and leave a part of a highway with certain probabilities. The model studied is the asymmetric exclusion process (ASEP) with {\it simultaneous} updating of all sites. It is equivalent to a special case ($v_{\rm max}=1$) of the Nagel-Schreckenberg model for highway traffic, which has found many applications in real-time traffic simulations. The simultaneous updating induces additional strong short range correlations compared to other updating schemes. The stationary state is written in terms of a matrix product solution. The corresponding algebra, which expresses a system-size recursion relation for the weights of the configurations, is quartic, in contrast to previous cases, in which the algebra is quadratic. We derive the phase diagram and compute various properties such as density profiles, two point functions and the fluctuations in the number of particles (cars) in the system. The current and the density profiles can be mapped onto the ASEP with other time discrete updating procedures. Through use of this mapping, our results also give new results for these models.
△ Less
Submitted 22 October, 1998;
originally announced October 1998.
-
Critical droplets in Metastable States of Probabilistic Cellular Automata
Authors:
Stephen Bigelis,
Emilio N. M. Cirillo,
Joel L. Lebowitz,
Eugene R. Speer
Abstract:
We consider the problem of metastability in a probabilistic cellular automaton (PCA) with a parallel updating rule which is reversible with respect to a Gibbs measure. The dynamical rules contain two parameters $β$ and $h$ which resemble, but are not identical to, the inverse temperature and external magnetic field in a ferromagnetic Ising model; in particular, the phase diagram of the system ha…
▽ More
We consider the problem of metastability in a probabilistic cellular automaton (PCA) with a parallel updating rule which is reversible with respect to a Gibbs measure. The dynamical rules contain two parameters $β$ and $h$ which resemble, but are not identical to, the inverse temperature and external magnetic field in a ferromagnetic Ising model; in particular, the phase diagram of the system has two stable phases when $β$ is large enough and $h$ is zero, and a unique phase when $h$ is nonzero. When the system evolves, at small positive values of $h$, from an initial state with all spins down, the PCA dynamics give rise to a transition from a metastable to a stable phase when a droplet of the favored $+$ phase inside the metastable $-$ phase reaches a critical size. We give heuristic arguments to estimate the critical size in the limit of zero ``temperature'' ($β\to\infty$), as well as estimates of the time required for the formation of such a droplet in a finite system. Monte Carlo simulations give results in good agreement with the theoretical predictions.
△ Less
Submitted 7 October, 1998;
originally announced October 1998.
-
Shift Equivalence of Measures and the Intrinsic Structure of Shocks in the Asymmetric Simple Exclusion Process
Authors:
B. Derrida,
S. Goldstein,
J. L. Lebowitz,
E. R. Speer
Abstract:
We investigate properties of non-translation-invariant measures, describing particle systems on $\bbz$, which are asymptotic to different translation invariant measures on the left and on the right. Often the structure of the transition region can only be observed from a point of view which is random---in particular, configuration dependent. Two such measures will be called shift equivalent if t…
▽ More
We investigate properties of non-translation-invariant measures, describing particle systems on $\bbz$, which are asymptotic to different translation invariant measures on the left and on the right. Often the structure of the transition region can only be observed from a point of view which is random---in particular, configuration dependent. Two such measures will be called shift equivalent if they differ only by the choice of such a viewpoint. We introduce certain quantities, called translation sums, which, under some auxiliary conditions, characterize the equivalence classes. Our prime example is the asymmetric simple exclusion process, for which the measures in question describe the microscopic structure of shocks. In this case we compute explicitly the translation sums and find that shocks generated in different ways---in particular, via initial conditions in an infinite system or by boundary conditions in a finite system---are described by shift equivalent measures. We show also that when the shock in the infinite system is observed from the location of a second class particle, treating this particle either as a first class particle or as an empty site leads to shift equivalent shock measures.
△ Less
Submitted 15 April, 1998;
originally announced April 1998.
-
Shock Profiles for the Asymmetric Simple Exclusion Process in One Dimension
Authors:
B. Derrida,
J. L. Lebowitz,
E. R. Speer
Abstract:
The asymmetric simple exclusion process (ASEP) on a one-dimensional lattice is a system of particles which jump at rates $p$ and $1-p$ (here $p>1/2$) to adjacent empty sites on their right and left respectively. The system is described on suitable macroscopic spatial and temporal scales by the inviscid Burgers' equation; the latter has shock solutions with a discontinuous jump from left density…
▽ More
The asymmetric simple exclusion process (ASEP) on a one-dimensional lattice is a system of particles which jump at rates $p$ and $1-p$ (here $p>1/2$) to adjacent empty sites on their right and left respectively. The system is described on suitable macroscopic spatial and temporal scales by the inviscid Burgers' equation; the latter has shock solutions with a discontinuous jump from left density $ρ_-$ to right density $ρ_+$, $ρ_-<ρ_+$, which travel with velocity $(2p-1)(1-ρ_+-ρ_-)$. In the microscopic system we may track the shock position by introducing a second class particle, which is attracted to and travels with the shock. In this paper we obtain the time invariant measure for this shock solution in the ASEP, as seen from such a particle. The mean density at lattice site $n$, measured from this particle, approaches $ρ_{\pm}$ at an exponential rate as $n\to\pm\infty$, with a characteristic length which becomes independent of $p$ when $p/(1-p)>\sqrt{ρ_+(1-ρ_-)/ρ_-(1-ρ_+)}$. For a special value of the asymmetry, given by $p/(1-p)=ρ_+(1-ρ_-)/ρ_-(1-ρ_+)$, the measure is Bernoulli, with density $ρ_-$ on the left and $ρ_+$ on the right. In the weakly asymmetric limit, $2p-1\to0$, the microscopic width of the shock diverges as $(2p-1)^{-1}$. The stationary measure is then essentially a superposition of Bernoulli measures, corresponding to a convolution of a density profile described by the viscous Burgers equation with a well-defined distribution for the location of the second class particle.
△ Less
Submitted 6 August, 1997;
originally announced August 1997.
-
Numerical study of a non-equilibrium interface model
Authors:
B. Subramanian,
G. T. Barkema,
J. L. Lebowitz,
E. R. Speer
Abstract:
We have carried out extensive computer simulations of one-dimensional models related to the low noise (solid-on-solid) non-equilibrium interface of a two dimensional anchored Toom model with unbiased and biased noise. For the unbiased case the computed fluctuations of the interface in this limit provide new numerical evidence for the logarithmic correction to the subnormal L^(1/2) variance which…
▽ More
We have carried out extensive computer simulations of one-dimensional models related to the low noise (solid-on-solid) non-equilibrium interface of a two dimensional anchored Toom model with unbiased and biased noise. For the unbiased case the computed fluctuations of the interface in this limit provide new numerical evidence for the logarithmic correction to the subnormal L^(1/2) variance which was predicted by the dynamic renormalization group calculations on the modified Edwards-Wilkinson equation. In the biased case the simulations are in close quantitative agreement with the predictions of the Collective Variable Approximation (CVA), which gives the same L^(2/3) behavior of the variance as the KPZ equation.
△ Less
Submitted 12 September, 1996;
originally announced September 1996.
-
Spontaneous symmetry breaking: exact results for a biased random walk model of an exclusion process
Authors:
C. Godreche,
J. M. Luck,
M. R. Evans,
D. Mukamel,
S. Sandow,
E. R. Speer
Abstract:
It has been recently suggested that a totally asymmetric exclusion process with two species on an open chain could exhibit spontaneous symmetry breaking in some range of the parameters defining its dynamics. The symmetry breaking is manifested by the existence of a phase in which the densities of the two species are not equal. In order to provide a more rigorous basis to these observations we co…
▽ More
It has been recently suggested that a totally asymmetric exclusion process with two species on an open chain could exhibit spontaneous symmetry breaking in some range of the parameters defining its dynamics. The symmetry breaking is manifested by the existence of a phase in which the densities of the two species are not equal. In order to provide a more rigorous basis to these observations we consider the limit of the process when the rate at which particles leave the system goes to zero. In this limit the process reduces to a biased random walk in the positive quarter plane, with specific boundary conditions. The stationary probability measure of the position of the walker in the plane is shown to be concentrated around two symmetrically located points, one on each axis, corresponding to the fact that the system is typically in one of the two states of broken symmetry in the exclusion process. We compute the average time for the walker to traverse the quarter plane from one axis to the other, which corresponds to the average time separating two flips between states of broken symmetry in the exclusion process. This time is shown to diverge exponentially with the size of the chain.
△ Less
Submitted 18 September, 1995;
originally announced September 1995.
