The variance of the current across the characteristic in ASEP is of order t^(2/3)

You need to know: Set {\mathbb Z} of integers, probability, independent random variables, exponential distribution, expectation, variance. For x\in{\mathbb R}, denote [x] the largest integer in [0, x] if x \geq 0, and the smallest integer in [x, 0] if x\leq 0.

Background: At time t=0, let us put, for each x\in {\mathbb Z}, a particle in site x, independently and with the same probability \sigma. Then, for each particle z, independently generate a random variable t_z from exponential distribution with parameter 1, wait for time t_z, and then jump to an adjacent site right or left, with probabilities p and q=1-p, respectively, provided that the target site is unoccupied (and otherwise stay). This action is then repeated and performed in parallel for all particles. We call this asymmetric simple exclusion process (ASEP). For v\in{\mathbb R}, let J^{(v)}(t) = J^{(v)}_+(t) - J^{(v)}_-(t), where J^{(v)}_+(t) is the number of particles that began in (-\infty,0] at time 0 but lie in [[vt]+1,\infty) at time t, and J^{(v)}_-(t) is the number of particles that began in [1, \infty) at time 0 but lie in (-\infty,[vt]] at time t.

The Theorem: On 15st August 2006, Márton Balázs and Timo Seppäläinen submitted to arxiv a paper in which they proved that, for v=(p-q)(1-2\sigma), there exists positive constants t_0 and C, such that C^{-1}t^{2/3} \leq \text{Var}(J^{(v)}(t)) \leq Ct^{2/3} , for all t\geq t_0.

Short context: ASEP is one of the simplest models for diffusion processes – see here for its the 2-dimensional version. Random variable J^{(v)}(t) has the meaning of the total net particle current seen by an observer moving at speed v during time interval [0,t]. In 1994, Ferrari and Fontes proved that \lim\limits_{t \to \infty} \frac{\text{Var}(J^v(t))}{t} = \sigma(1-\sigma) |(p-q)(1-2\sigma)-v|, which implies that the variance grows linearly in time, except when v=(p-q)(1-2\sigma), which is called the characteristic speed. J^{(v)}(t) for this v is called the current across the characteristic, and The Theorem proves that its variance grows as t^{2/3}.

Links: Free arxiv version of the original paper is here, journal version is here. See also Section 10.5 of this book for an accessible description of the Theorem.

Go to the list of all theorems

Leave a comment