Abstract
This paper studies the mixing behavior of the Asymmetric Simple Exclusion Process (ASEP) on a segment of length N. Our main result is that for particle densities in (0, 1), the total-variation cutoff window of ASEP is \(N^{1/3}\) and the cutoff profile is \(1-F_{\mathrm {GUE}},\) where \(F_{\mathrm {GUE}}\) is the Tracy-Widom distribution function. This also gives a new proof of the cutoff itself, shown earlier by Labbé and Lacoin. Our proof combines coupling arguments, the result of Tracy–Widom about fluctuations of ASEP started from the step initial condition, and exact algebraic identities coming from interpreting the multi-species ASEP as a random walk on a Hecke algebra.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We consider ASEP on the segment \([1;N]:=\{1,\ldots ,N\}\) with \(k\le N\) particles. This is a continuous time Markov chain with state space
We think of the \(1's\) as particles, and of the \(0's\) as holes. The dynamics of ASEP can be described as follows: Each particle waits an exponential time with parameter 1, after which with probability \(p>1/2\) it attempts to make a unit step to the right, and with probability \(q=1-p<1/2\) it attempts to make a unit step to the left. The attempt is succesfull if the target site lies in [1; N] and is occupied by a hole, the hole and the particle exchanging their positions when the particle moves a unit step. If the attempt is not successful, nothing happens.
For \(\xi \in \Omega ^{N,k},\) we denote by \(\xi _{t}\) the state at time t of the ASEP started from \(\xi ,\) and we denote by \(P_{t}^{\xi }\) the law of \(\xi _{t}\). The ASEP dynamics on [1; N] with k particles has a unique stationary measure which we denote by \(\pi _{N,k}\).
Recall that the total-variation distance of two probability measures \(\mu ,\mu ^{\prime }\) on \(\Omega ^{N,k}\) is given by
We define the maximal total-variation distance between the distribution at given time and the stationary distribution as
and for \(c\in \mathbb {R}, \) we define the time point
The main result of this paper is the following:
Theorem 1
Assume that \(k=k_{N}\) satisfies \(\lim _{N\rightarrow \infty }k_{N}/N = \alpha \), and \(\alpha \in (0,1)\). For any \(c\in \mathbb {R}\) we have
where \(f(\alpha )=\frac{(\alpha (1-\alpha ))^{1/6}}{(\sqrt{\alpha }+\sqrt{1-\alpha })^{4/3}}\), and \(F_\mathrm {GUE}\) is the \(\mathrm {GUE}\) Tracy-Widom distribution defined in (10).
Proof
This is an immediate consequence of Theorem 3 (which gives an upper bound for the limit on the lefthand side), proven in Sect. 3, and Theorem 6 (which gives a lower bound), proven in Sect. 4. \(\square \)
Theorem 1 gives the cutoff window and the cutoff profile (or shape) of ASEP, we refer to Chapter 18 of the textbook [23] by Levin-Peres (with contributions by Wilmer) for definitions and examples in the general context of Markov chains. A fortiori, Theorem 1 also gives an independent proof of the cutoff itself, which was previously shown by Labbé and Lacoin ([22], Theorem 2). On ([22], page 1556) the authors mention that the cutoff window for the process is expected to be \(N^{1/3}\) and that the cutoff profile is expected to be a function of the \(\mathrm {Airy}_{2}\) process. Our Theorem 1 confirms (and gives a precise meaning to) this conjecture.
1.1 Historic overview
Detailed information about the relaxation of ergodic Markov chains to equilibrium has been the goal of a vast literature, see e.g. classical works by Aldous [1], Diaconis-Shahshahani [15], the review article by Diaconis [13], the aforementioned textbook [23], and references therein. Of particular interest is the so-called cutoff phenomenon; a sequence of Markov chains exhibits this phenomenon if the distance between its distribution and the stationary measure abruptly falls from 1 to 0 on a certain time scale. There are different metrics for this distance, leading to different notions of cutoff, see the paper by Hermon et al. [20] for their differences and similarities. The most commonly used are separation and total-variation cutoff, we study the latter in this paper. Once the cutoff phenomenon is established, it is natural to ask for a more refined information: What happens at the critical time point on a finer scale? The answer to this question is given by the cutoff window, which is a finer time scale at which the total-variation distance goes from 1 to 0 not abruptly, and a cutoff profile, which gives the exact limiting function for the total-variation distance in such a critical scaling. We refer to the article by Teyssier [28], and the work of Nestoridi and Thomas [26] for recent interesting results about cutoff profiles.
Cutoff-type questions were previously investigated for ASEP as well. The first result in this direction was obtained by Diaconis and Ram [14], where the so called pre-cutoff for a discrete time variation of ASEP was proved with the use of representations of Hecke algebra. The pre-cutoff is a claim that there is a unique time scale in which the total-variation changes from 1 to 0, but not necessarily abruptly (again, we refer to [23] for formal definitions). In the work by Benjamini et al. [3], the pre-cutoff was shown for the ASEP on a segment, the ansatz of [3] to bound \(d^{N,k}\) by studying hitting times is also used in the present work. Whether cutoff holds was an open question for over a decade, until it was proven in [22] with the use of hydrodynamics of ASEP on \(\mathbb {Z}\) and a careful probabilistic analysis of the system.
It is important to mention that the \(p=1,q=0\) case of Theorem 1 can be obtained in a quite simple way from the result of Johansson ([21], Theorem 1.6), see ([2], Theorem 1.6) by Angel-Holroyd-Romik. However, it was not clear how one can generalise such type of results to \(q \ne 0\). Our proof of Theorem 1 can be viewed as such a generalisation.
Let us also mention that Theorem 1 seems to be the first example when the fluctuation term \(N^{1/3},\) which governs the Kardar–Parisi–Zhang universality class (see Corwin’s review [11]), appears as a cutoff window in the study of mixing times, and the Tracy–Widom distribution appears as a cutoff profile.
1.2 Our tools and further questions
Our proof combines several ingredients. The first one is the result ([30], Theorem 3) by Tracy–Widom about fluctuations of ASEP started from the step initial condition, see Theorem 2 below. Our argument is based on a comparison of the ASEP dynamics on a segment with the ASEP dynamics on all integers, and [30, Theorem 3] is (not surprisingly) the original source of the function \(F_\mathrm {GUE}\) in Theorem 1.
The second ingredient is the use of the multi-species ASEP and its close connection to random walks on Hecke algebra. Using it, we are able to use certain symmetries of Hecke algebra in order to relate the ASEP started from the step initial condition and ASEP started from initial conditions that we are interested in. Somewhat similar ideas were used for TASEP (\(q=0\) case) by Borodin and Bufetov [5] and Bufetov and Ferrari [8] for the study of shocks. An important novelty of this paper is the extension of these ideas to ASEP case, which requires the use of Mallows elements in Hecke algebra, see Sect. 5 below.
The third ingredient is a variety of probabilistic coupling techniques that are needed throughout the paper for all steps of the argument.
As already mentioned earlier, our approach provides an independent (and rather short) proof of the cutoff for ASEP. Let us mention some further questions where our approach can be of use.
ASEP is arguably the most well-known representative of a fairly large class of integrable stochastic systems in the KPZ universality class. One can study other systems from this class instead. For example, one can study mixing times of the so called q-TASEP on the interval [1; N]. It was shown by Bufetov [7] that a variety of integrable systems can be interpreted as random walks on Hecke algebras. It is possible that our technique can be used to study the mixing times for them as well.
In a different direction, it is important to note that the aforementioned papers [3, 14, 22], studied the mixing times of the multi-species ASEP (this process can be also referred to as a random Metropolis scan or a biased card shuffling) on a segment as well. As shown in ([22], Section 4.4), on the level of cutoff this question can be reduced to a question about the single-species ASEP. The situation is significantly more delicate for the cutoff profile of the multi-species ASEP. Even for TASEP this question was resolved only very recently by Bufetov-Gorin-Romik in [9]; the obtained cutoff profile is the GOE Tracy-Widom distribution function (this is not the \(F_\mathrm {GUE}\) function from Theorem 1). Based on this, we conjecture that the cutoff profile for the multi-species ASEP is the GOE Tracy–Widom distribution function as well (and the cutoff window is \(N^{1/3}\)). Note that the result of [9] was based on highly nontrivial recent developments (see Borodin et al. [6], Bisi et al. [4], Galashin [17], Dauvergne [12] and Bufetov and Korotkikh [10]). Parts of the approach from the current paper and from [9] definitely can be of use for this question; nevertheless, this remains an interesting open problem.
We also mention in Remark 5.5 below further possible directions.
2 Preliminaries
2.1 Basic coupling and graphical construction
While our main result deals with an ASEP on [1; N] which has only particles and holes, it will be important for us to consider ASEP on \(\mathbb {Z}\) with countably many colors of particles; instead of colors we may speak interchangeably of types, classes, or species of particles. The state space of this multi-species ASEP is the set of all bijections \(\mathbb {Z}\rightarrow \mathbb {Z}\) which we denote by \({\mathfrak {S}},\) for \(w\in {\mathfrak {S}},\) having \(w(i)=j\) is interpreted as position i being occupied by the particle with color j. Our convention is that particles with lower color have priority over particles with higher color.
Here we briefly give the graphical construction of this multi-species ASEP which goes back to Harris [19]. Let \((\mathcal {P}(z),z\in \mathbb {Z})\) be a collection of independent, rate p Poisson processes constructed on some probability space \(({\hat{\Omega }},\mathcal {A}, \mathbb {P} ).\) By \(\mathcal {P}_{t}(z)\) we denote the value of the Poisson process at time t. For fixed t, the independence of the Poisson processes implies that for almost every \(\omega \in {\hat{\Omega }}\) there is a sequence \((i_{n},n\in \mathbb {Z})\) of integers such that
and \(\mathcal {P}_{t}(i_{n})=0,n\in \mathbb {Z}.\)
Given \(w \in {\mathfrak {S}},\) and \(z\in \mathbb {Z}\), we denote the swapped configuration
The dynamics of ASEP is now as follows: We fix a (possibly random) initial configuration \(w_{0}\in {\mathfrak {S}}\) and define the parameter
When at time \(\tau \) the Poisson processes \(\mathcal {P}(z)\) has a jump, we update the process as follows: If \(w_{\tau ^{-}}(z)<w_{\tau ^{-}}(z+1)\), then we update \(w_{\tau }=\sigma _{z,z+1}(w_{\tau ^{-}})\), whereas if \(w_{\tau ^{-}}(z)>w_{\tau ^{-}}(z+1), \) we toss an independent coin such that with probability \(1-Q\), \(w_{\tau }=w_{\tau ^{-}},\) and with probability Q we have \(w_{\tau }=\sigma _{z,z+1}(w_{\tau ^{-}})\). Note that to construct the process up to time t, it suffices to apply these update rules inside each of the finite boxes \([i_{n}+1;i_{n+1}],\) and inside each box there are a.s. only finitely many jumps of the Poisson processes (in particular, there is a.s. a well-defined first jump) during the interval [0, t], and no two jumps happen at the same time, hence the graphical construction is well-defined. This construction also allows to obtain the multi-species ASEP on a finite segment [a; b] using finitely many Poisson processes \(\mathcal {P}(a),\ldots , \mathcal {P}(b-1).\) This is a process on the set of permutations of [a; b]; we denote this set of permutations by \(S_{a;b}\).
To recover the ASEP which has only particles and holes, it suffices to fix an integer k and identify all particles whose color lies in \((-\infty ,k]\) as particles, and all particles with color in \((k, +\infty )\) as holes, i.e. we map \(w(\cdot )\mapsto 1_{(-\infty ,k]}(w(\cdot )).\) This defines a map \(X^{k}: {\mathfrak {S}}\rightarrow \{0,1\}^{\mathbb {Z}}\) (resp. a map \(X_{[a;b]}^{k}: S_{a;b}\rightarrow \{0,1\}^{[a;b]}\) for the finite ASEP), the image of which is the ASEP on \(\mathbb {Z}\) (resp. [a; b]) with particles and holes. In particular for \(k\in [1;N]\) we recover the ASEP in \(\Omega ^{N,k}\) described in the introduction.
Later, we will also consider ASEPs with second class particles; they can be obtained by fixing \(k_1, k_2\in \mathbb {Z},k_{1}<k_{2},\) and identifying all particles whose color lies in \((-\infty ,k_1]\) as first class particles, all particles whose color lies in \((k_1,k_2]\) as second class particles, and all particles with color in \((k_2,\infty )\) as holes.
The graphical construction allows us to couple different ASEPs together: We use the same collection of Poisson processes to construct ASEPs which start from different initial configurations and/or at different time points. We call this coupling the basic coupling, which also allows us to couple ASEPs on a segment [a; b] with ASEPs on \(\mathbb {Z}\).
2.2 Invariant measure for ASEP
Define the Mallows measure on \(S_{a;b}\) as
where l(w) is the number of inversions of w and
It is immediate that the Mallows measure is invariant for the multi-species ASEP on [a; b] as described in Sect. 2.1. Furthermore, under the map \(X_{[a;b]}^{k}: S_{a;b}\rightarrow \{0,1\}^{[a;b]}\) (with \(k\in [a;b]\)) from Sect. 2.1, the Mallows measure becomes the stationary measure for the ASEP on [a; b] with \(k-a+1\) particles and \(b-k\) holes which we denote by \(\pi _{[a;b],k}\). For the case \([a;b] = [1;N]\) we will use a shortened notation \(\pi _{[1;N],k}=:\pi _{N,k}.\)
2.3 Single-species ASEPs
Given \(\xi \in \Omega ^{N,k}\), we attach a label (an integer) to each particle from right to left: Let
be the initial positions of the k particles of \(\xi \). We denote by \(x_{i}^{\xi }(t)\) the position at time t of the particle that started in \(x_{i}^{\xi }(0)\).
We will later often compare finite ASEPs with positive recurrent ASEPs on \(\mathbb {Z}.\) The latter are supported on \(\bigcup _{Z\in \mathbb {Z}}\Omega _{Z},\) where for \(Z\in \mathbb {Z}\)
We note that there is a partial order on \(\Omega _{Z}\): For \(\zeta ^{\prime }, \zeta ^{\prime \prime } \in \Omega _{Z}\), we define
It is easy to see that under the basic coupling, this order is preserved, i.e. if \(\zeta ^{\prime }\preceq \zeta ^{\prime \prime },\) then also \(\zeta ^{\prime }_{t}\preceq \zeta ^{\prime \prime }_{t},t\ge 0.\)
Likewise, we use the same symbol to denote the analogous partial order on \(\{0,1\}^{[a;b]}\): For \(\xi ^{\prime }, \xi ^{\prime \prime }\in \{0,1\}^{[a;b]}\), we define
We denote the minimal and maximal element in \( \Omega ^{N,k_{N}}\) w.r.t. this order as \(\xi ^{0},\xi ^1\):
We define the corresponding elements in \(\Omega _{N+1-k_{N}}\) as
Analogous to the finite case, we label the particles of \(\zeta ^{0}\) from right to left. We set \(\{i\in \mathbb {Z}: \zeta ^{0}(i)=1\}=\{x_{i}^{\zeta ^{0}}(0),i\le k_{N}\}\) with \(x_{k_{N}}^{\zeta ^{0}}(0)< x_{k_{N}-1}^{\zeta ^{0}}(0)<\cdots \) and denote by \(x_{i}^{\zeta ^{0}}(t)\) the position of the particle of \(\zeta ^{0}\) that started in \(x_{i}^{\zeta ^{0}}(0)\). We also label the holes of \(\zeta ^{0}, \) but from right to left, i.e. we write \(\{i\in \mathbb {Z}: \zeta ^{0}(i)=0\}=\{H_{i}^{\zeta ^{0}},i\le k_{N}\}\) with \(H_{k_{N}}(0)>H_{k_{N}-1}(0)>\cdots \), and \(H_{i}^{\zeta ^{0}}(t)\) is the position at time t of the hole that started in \(H_{i}^{\zeta ^{0}}(0).\) We label the particles and holes of \(\zeta ^{1}\) in the same way.
Given a particle configuration \(\zeta \in \{0,1\}^{\mathbb {Z}}\) we define the (possibly infinite) position of the leftmost particle and rightmost hole of \(\zeta \) as
We define analogously \(\mathcal {L}(\xi ),\mathcal {R}(\xi )\) for \(\xi \in \{0,1\}^{[a;b]}\). With this notation, we have in particular
Finally, throughout the paper, we will often omit writing integer brackets.
2.4 ASEP with step initial data
Let us introduce the Tracy-Widom \(\mathrm {GUE}\) distribution. This probability distribution originates in the theory of random matrices [29], namely it is the limit law of the rescaled largest eigenvalue of a matrix drawn from the Gaussian Unitary Ensemble (GUE). Its cumulative distribution function is given by
where \(K_{2}(x,y)\) is the Airy kernel \(K_{2}(x,y)=\frac{Ai(x)Ai^{\prime }(y)-Ai(y)Ai^{\prime }(x)}{x-y},x\ne y, \) defined for \(x=y\) by continuity and Ai is the Airy function.
The ASEP with step initial data is the ASEP on \(\mathbb {Z}\) which starts from the initial configuration \(x_{m}^{\mathrm {step}}(0)=-m,m> 0\). The following fluctuation result plays an important role in our proof.
Theorem 2
([30], Theorem 3) Consider ASEP with step initial data and \(p>q\). Let \(\gamma =p-q,m>0, \sigma =m/t, c_1=1-2\sqrt{\sigma },c_2 =\sigma ^{-1/6}(1-\sqrt{\sigma })^{2/3}\). Then, uniformly for \(\sigma \) in a compact subset of (0, 1), we have
We will need Theorem 2 in the form of the following corollary. Note that the \(c'N^{\kappa },c'' N^{\kappa '}\) terms in the following are irrelevant in the \(N\rightarrow \infty \) limit as they get absorbed by the \(N^{1/3}\) fluctuations.
Corollary 1
We have for \(k_{N}\) with \(k_N /N \rightarrow \alpha \in (0,1)\) and arbitrary \(\kappa ,\kappa '\in [0,1/3)\) and \(c',c''\in \mathbb {R}\) that
where \(f(\alpha )=\frac{(\alpha (1-\alpha ))^{1/6}}{(\sqrt{\alpha }+\sqrt{1-\alpha })^{4/3}}.\)
Proof
We set \(a=a(N)=k_{N}/N \rightarrow \alpha \) and \(D=(\sqrt{a}+\sqrt{1-a})^{2}.\) Next we define \({\tilde{N}}=DN+cN^{1/3}=g(k_{N},c)(p-q) \). Writing everything in terms of \({\tilde{N}},\) we get (with \(\sigma \) as in Theorem 2) that
We may thus rewrite
In order to apply Theorem 2 with \({\tilde{N}}=t,\) we still have to divide by \(\sigma ^{-1/6}(1-\sqrt{\sigma })^{2/3}\). An elementary computation reveals
Using Theorem 2 thus yields
finishing the proof. \(\square \)
3 Upper bound
The aim of this section is to show that \(1-F_{\mathrm {GUE}}(cf(\alpha ))\) is an upper bound for the cutoff profile. More precisely, we will show the following Theorem, see Fig. 1 for an illustration of the proof idea.
Theorem 3
Let \(k=k_{N}\) with \(k_N /N \rightarrow \alpha \in (0,1)\). Then we have for \(c\in \mathbb {R}\)
The starting point for showing Theorem 3 is the following Theorem 4. The proof of Theorem 4 exploits the link between multi-species ASEP and Hecke algebras, and is postponed to Sect. 5.
Theorem 4
Let \(\mathcal {L}(\zeta ^{0}_{t}),\mathcal {R}(\zeta ^{0}_{t})\) be as in (9). Define for \(c\in \mathbb {R}\)
Then
We note that the \(N^{1/10}\) term in the definition of \(B_{N}(c)\) is there merely for concreteness, any term that goes to \(+\infty \) with N and is \(o(N^{1/3})\) would do.
To get an upper bound for \(d^{N,k_N }(t),\) we consider the hitting time
The particle configuration \(\zeta _{g(k_{N},c)}^{0}\) on the event \(B_{N}(c)\) from Theorem 4: Black balls indicate the presence of a particle, white balls of a hole, blank space may be occupied by holes or particles. On \(B_{N}(c),\) the leftmost particle \(\mathcal {L}(\zeta ^{0}_{g(k_{N},c)})\) and the rightmost hole \(\mathcal {R}(\zeta ^{0}_{g(k_{N},c)})\) of \(\zeta ^{0}_{g(k_{N},c)}\) lie in \([N-k_{N}-N^{1/10};N-k_{N}+N^{1/10}].\) If \(B_{N}(c)\) happens, the hitting time \({\mathfrak {H}}\) from (13) cannot be much larger than \(g(k_{N},c)\), see Proposition 3.2. As \({\mathfrak {H}}\) induces an upper bound for \(d^{N,k_N}(g(k_{N},c))\) via Proposition 3.1, this implies that \(d^{N,k_N}(g(k_{N},c))\) is asymptotically bounded from above by \(1-\mathbb {P}(B_{N}(c))\), which equals \(1-F_{\mathrm {GUE}}(cf(\alpha ))\) asymptotically
The link between this hitting time and the maximal total-variation distance is as follows.
Proposition 3.1
We have
Proof
Let \(\xi , \xi ^{\prime }\in \Omega ^{N,k}\) and let the ASEPs \((\xi _{t},\xi ^{\prime }_{t},t\ge 0)\) be coupled via the basic coupling. We define the coalescence time
Then we have the general inequality (see[23, Corollary 5.5])
Define furthermore the hitting time
Assuming all appearing ASEPs are coupled via the basic coupling, we prove the inequality
For this, recall the partial order (5). We then have
i.e. \(\xi _{{\mathfrak {h}}}=\xi ^{1}\) and likewise \(\xi _{{\mathfrak {h}}}^{\prime }=\xi ^{1}\) so that \(\xi _{{\mathfrak {h}}}=\xi _{{\mathfrak {h}}}^{\prime }\) and \(\tau ^{\xi ,\xi ^{\prime }}\le {\mathfrak {h}}\).
To proceed, we use the basic coupling of ASEPs on [1; N] with ASEPs on \(\mathbb {Z}\) described at the end of Sect. 2.1.
We will show that
To see this, we show the following random time is infinite: Let
Note that \(x^{\zeta ^{0}}_{i}(0)=x^{\xi ^{0}}_{i}(0),i=1,\ldots ,k_{N}.\) Thus, to have an \(i^{*}\) with \(x^{\zeta ^{0}}_{i^*}(t)>x^{\xi ^{0}}_{i^*}(t),\) one of the Poisson processes \((\mathcal {P}(z),z\in [1;N])\) of the graphical construction must have made a jump during [0, t]. In particular, \(\mathcal {T}>0\) almost surely, we can thus consider the left limit \(\mathcal {T}^{-}.\) At time \(\mathcal {T}\), there is exactly one \(i^{*}\) with \(x^{\zeta ^{0}}_{i^*}(\mathcal {T})>x^{\xi ^{0}}_{i^*}(\mathcal {T}),\) having more than one \(i^{*}\) would require two jumps to happen at the same time. Furthermore, we always have
We now distinguish two possibilities : The first possibility to have \(x^{\zeta ^{0}}_{i^*}(\mathcal {T})>x^{\xi ^{0}}_{i^*}(\mathcal {T})\) is that at time \(\mathcal {T},\) \(x^{\zeta ^{0}}_{i^*}\) makes a jump to the right that \(x^{\xi ^{0}}_{i^*}\) does not make. One way for \(x^{\xi ^{0}}_{i^*}\) not to make a jump to the right is if \(x^{\xi ^{0}}_{i^*}(\mathcal {T}^{-})=N.\) But then also \(x^{\zeta ^{0}}_{i^*}(\mathcal {T}^{-})=N,\) and \(x^{\zeta ^{0}}_{i^*}\) cannot jump either. The other way for \(x^{\xi ^{0}}_{i^*}\) not to make a jump to the right is if it is blocked by the particle \(x^{\xi ^{0}}_{i^* -1}\), i.e. if
However, since
this implies that
showing that \(x^{\zeta ^{0}}_{i^*}\) cannot jump to the right at time \(\mathcal {T}\) either.
The second possibility to have \(x^{\zeta ^{0}}_{i^*}(\mathcal {T})>x^{\xi ^{0}}_{i^*}(\mathcal {T})\) is that at time \(\mathcal {T},\) \(x^{\xi ^{0}}_{i^*}\) makes a jump to the left that \(x^{\zeta ^{0}}_{i^*}\) does not make. The only way for this to happen however is that \(x^{\zeta ^{0}}_{i^* +1}\) blocks the left jump of \(x^{\zeta ^{0}}_{i^*}\), i.e.
But since \(x^{\xi ^{0}}_{i^* +1}(\mathcal {T}^{-})\ge x^{\zeta ^{0}}_{i^* +1}(\mathcal {T}^{-}),\) this implies that
and therefore \(x^{\xi ^{0}}_{i^*}\) cannot jump to the left at time \(\mathcal {T}\) either.
In total, we thus have \(\mathbb {P}(\mathcal {T}=\infty )=1\). Since clearly
we can thus conclude
and therefore (20) holds. Combining (16), (18) and (20) finishes the proof. \(\square \)
The key observation now is that if the event \(B_{N}(c)\) from Theorem 4 happens, the hitting time \({\mathfrak {H}}\) cannot be much larger than \(g(k_{N},c)\).
In order to show this, we will use the following result from [3], which in fact is much stronger than what we will be needing.
Theorem 5
(Theorem 1.9 of [3]) For \(M\in \mathbb {Z}_{\ge 1}\), let \(I^M=\mathbf {1}_{[-M;-1]}+\mathbf {1}_{\mathbb {Z}_{\ge M}},\) and \((I^{M}_{t},t\ge 0)\) be the ASEP started from \(I^{M}\). Define the hitting time \({\mathfrak {H}}_{M}=\inf \{t\ge 0: I^{M}_{t}=\mathbf {1}_{\mathbb {Z}_{\ge 0}}\}\). Then for every \(\delta >0\) there is a constant \(D=D(p,\delta )\) such that
Now we can show that on \(B_{N}(c)\), we have good control over \({\mathfrak {H}}\).
Proposition 3.2
We have
Proof
We define with \({\widetilde{N}}:=N-k_N+N^{1/10}+1\) the configuration
We start now at time \(g(k_{N},c)\) an ASEP from \(\eta \) and couple this ASEP to all other appearing ASEPs via the basic coupling. To make this clear in our notation, we write
and denote \(({\hat{\eta }}_{\ell },\ell \ge g(k_{N},c))\) the ASEP which starts at time \(g(k_{N},c)\) from \(\eta \), so that \({\hat{\eta }}_{t}\) for \(t\ge g(k_{N},c)\) has the same law as \(\eta _{t- g(k_{N},c)}.\) We define the corresponding hitting time
With \(I^{N^{\frac{1}{10}}},{\mathfrak {H}}_{N^{\frac{1}{10}}}\) defined in Theorem 5, we have \(\eta (j+N-k_N+1)=I^{N^{\frac{1}{10}}}(j),j\in \mathbb {Z},\) and thus in particular, \({\mathfrak {H}}^{\eta }\) has the same law as \({\mathfrak {H}}_{N^{\frac{1}{10}}}+g(k_{N},c)\). It is thus an immediate corollary of (26) that for every \(\varepsilon >0\) we have
It is easy to see that we have the inclusion
Since the partial order \(\succeq \) is preserved under the basic coupling, we thus have
Taking \(\varepsilon >0\) such that \(1/10+\varepsilon <1/5\), we can thus conclude from (31) that
\(\square \)
We can now prove Theorem 3.
Proof of Theorem 3
Let \(\varepsilon >0\) and let N be sufficiently large so that
Then, using (14), we get
Combining Theorem 4 with Proposition 3.2 we get
Since \(\varepsilon \) is arbitrary, Theorem 3 follows. \(\square \)
4 Lower bound
In this section we prove that the upper bound obtained in the previous section is also a lower bound. This is the content of the following Theorem.
Theorem 6
Let \(k=k_{N}\) with \(k_N /N \rightarrow \alpha \in (0,1)\). Then we have for \(c\in \mathbb {R}\)
where \(f(\alpha )=\frac{(\alpha (1-\alpha ))^{1/6}}{(\sqrt{\alpha }+\sqrt{1-\alpha })^{4/3}}.\)
The main tool to prove Theorem 6 is to compare the finite ASEP \((\xi _{t}^{0},t\ge 0)\) (defined in (6)) with the infinite ASEP started from the step initial data from Sect. 2.4. We will consider the shifted step initial data on \(\mathbb {Z}\) given by
We start by noting that under the basic coupling, the leftmost particle of \(\xi ^{0}_{t}\) is never to the right of \( x_{k_{N}}^{\mathrm {step}(k_{N})}(t)\).
Proposition 4.1
Consider the basic coupling of the finite ASEP \((\xi ^{0}_{t},t\ge 0)\) and the infinite ASEP started from the shifted step initial data (36). Then we have
Proof
This is quite similar to the proof of the inequality (20), we will thus not repeat all the details. We show \(\mathbb {P}(\widehat{\mathcal {T}}=\infty )=1,\) where \(\widehat{\mathcal {T}}\) is the random time
We again distinguish two possibilities : The first possibility to have \(x^{\mathrm {step}(k_{N})}_{i^*}(\widehat{\mathcal {T}})<x^{\xi ^{0}}_{i^*}(\widehat{\mathcal {T}})\) is that at time \(\widehat{\mathcal {T}},\) \(x^{\xi ^{0}}_{i^*}\) makes a jump to the right that \(x^{\mathrm {step}(k_{N})}_{i^*}\) does not make. This implies that
which however implies that
also, meaning \(x^{\xi ^{0}}_{i^* }\) cannot jump to the right at time \(\widehat{\mathcal {T}}\) either.
The other possibility is that at time \(\widehat{\mathcal {T}}\), \(x^{\mathrm {step}(k_{N})}_{i^*}\) makes a jump to the left that \(x^{\xi ^{0}}_{i^*}\) does not make. For \(x^{\xi ^{0}}_{i^*}\) not to make a jump to the left, we must have either \(x^{\xi ^{0}}_{i^*}(\widehat{\mathcal {T}}^{-})=1,\) or we have
If \(x^{\xi ^{0}}_{i^*}(\widehat{\mathcal {T}}^{-})=1,\) we have \(i^{*}=k_{N},\) and \(x^{\mathrm {step}(k_{N})}_{k_{N}}(\widehat{\mathcal {T}}^{-})=1,\) so that \(x^{\mathrm {step}(k_{N})}_{k_{N}}\) also cannot jump to the left at time \(\widehat{\mathcal {T}},\) since \(x^{\mathrm {step}(k_{N})}_{k_{N}}\) can never jump from 1 to 0. If instead (40) holds, we also have
implying that \(x^{\mathrm {step}(k_{N})}_{i^* }\) cannot jump to the left at time \(\widehat{\mathcal {T}}\) either. \(\square \)
Define for \(l\in [1;N-k-1]\) the event
so that
Recall that \(\pi _{N,k}\) is the stationary measure of ASEP in \(\Omega ^{N,k}\). The next proposition shows in particular that \(\pi _{N,k}\) gives vanishing mass to the event \(A_{N}(l) \) when \(l=l(N)\) goes to \(+\infty \) with N.
Proposition 4.2
There are constants \(C_1,C_2>0\) which depend on p but not on \(N,k_N\) such that we have \(\pi _{N,k_{N}}(A_{N}(l))\le C_{1}e^{-C_{2}l}.\)
Proof
We consider the basic coupling and define the random time
With a proof that is very similar to the proof of (20) and Proposition 4.1, we show that \(\mathbb {P}(\widetilde{\mathcal {T}}=\infty )=1.\) Thus in particular \(\mathcal {L}(\xi ^{1}_t)\ge \mathcal {L}(\zeta ^{1}_t)\) holds for all \(t\ge 0,\) and hence
Finally, we apply ([25], Proposition 3.1) which shows that
finishing the proof. \(\square \)
Now we can prove Theorem 6.
Proof of Theorem 6
Recall \(P_{t}^{\xi }\) is the law of the ASEP started from \(\xi \) at time t. We can by definition bound
By Proposition 4.2, \(\lim _{N\rightarrow \infty }\pi _{N,k_{N}}(A_N (N^{1/4}))=0.\) Combining Proposition 4.1 with Corollary 1 yields
finishing the proof. \(\square \)
5 Proof of Theorem 4
In this section we prove Theorem 4 via a certain distribution identity coming from viewing the multi-species ASEP as a random walk on a Hecke algebra. We start by introducing the Hecke algebra and other necessary notions in Sects. 5.1–5.3. Then in Sect. 5.4 we explain the idea of the proof. In the remaining sections we give a formal proof.
5.1 Random walk on Hecke algebra
Let \(S_n\) be the symmetric group of permutations of n elements. For each permutation \(w \in S_n,\) recall that we denote by l(w) the number of inversions in it. Let \({\mathfrak {S}}_n\) be the set of all nearest neighbor transpositions from \(S_n\).
We will fix the parameter (introduced earlier in Sect. 2.1)
A Hecke algebra \({\mathcal {H}} (S_n)\) is the algebra with a linear basis \(\{ T_w \}_{w \in S_n}\) and the multiplication which satisfies the following rules for any \(s \in {\mathfrak {S}}_n\), \(w \in S_n\):
It is clear that such rules can be used for a computation of the product \(T_{w_1} T_{w_2}\) for any \(w_1, w_2 \in S_n\); a non-trivial (but very well-known) part is that the rules are consistent and indeed define an (associative) multiplication.
Let \({\mathfrak {i}}: {\mathcal {H}} (S_n) \rightarrow {\mathcal {H}} (S_n)\) be a linear map such that \({\mathfrak {i}} \left( T_w \right) = T_{w^{-1}}\). The following proposition is well-known (and can be straightforwardly proved by induction in l(w) with the use of (45)).
Proposition 5.1
The map \({\mathfrak {i}}\) is an involutive anti-homomorphism. In more detail, for any \(T_1, \dots T_r \in {\mathcal {H}} (S_n)\) we have
and also, trivially, \({\mathfrak {i}}^2 \left( T_1 \right) = T_1\).
For \(a,b \in \mathbb {Z}\), \(a<b\), recall that \(S_{a;b}\) is the group of permutations of the set [a; b]. We have the natural embedding \(S_{a_2;b_2} \subset S_{a_1;b_1}\) for any \(a_1 \le a_2 \le b_2 \le b_1\). Denote by \({\mathcal {H}}_{a;b}\) the Hecke algebra corresponding to \(S_{a;b}\). These Hecke algebras satisfy an analogous embedding relation.
Consider the following random walk on the Hecke algebra \({\mathcal {H}}_{a;b}\). Let \({\mathfrak {S}}_{a;b}\) be the set of all nearest neighbor transpositions from \(S_{a;b}\). We attach to every element \((z,z+1)\) of \({\mathfrak {S}}_{a;b}\) a Poisson process \(\mathcal {P}(z)\) on \(\mathbb {R}_{\ge 0}\) of rate p. All these Poisson processes are jointly independent. Next, we define the stochastic process \(W_{a;b} (t)\) which takes values in \({\mathcal {H}}_{a;b}\). Its initial value is \(W_{a;b} (0) = T_{id}\) (the basis vector corresponding to the identity permutation). When at a certain time \(\tau \in \mathbb {R}_{\ge 0}\) one of the Poisson processes has a point, then we set \(W_{a;b} (\tau ) = T_s W_{a;b} (\tau ^{-})\), where s is the nearest neighbor transposition corresponding to the Poisson process with point at \(\tau \). Since the points from all Poisson processes are almost surely distinct and can be linearly ordered, this rule defines a stochastic process \(W_{a;b} (t)\) in continuous time.
We will need the Mallows element
with \(Z_{a;b}\) as in (2) and furthermore we define
The main property of the element \(\mathcal {M}_{a;b}\) isFootnote 1
Finally note that due to the multiplication rule (45) the elements \(\mathcal {M}_{a;b}\), \(W_{a;b} (t)\), as well as their products, are elements of \(\mathcal {H}_{\mathrm {prob}}(S_{a;b})\). For any element of \(\mathcal {H}_{\mathrm {prob}}(S_{a;b})\) one can define the random permutation generated by this element of Hecke algebra by assigning to a permutation w the probability \(\kappa _w\).
5.2 Multi-species ASEP as a random walk on Hecke algebra
Let us make the link here between the random walk \(W_{a;b}(t)\) and the multi-species ASEP on \(S_{a;b}\) as constructed in Sect. 2.1. Note that the process \((W_{a;b}(t),t\ge 0),\) which takes values in the Hecke algebra \({\mathcal {H}}_{a;b},\) immediately induces a stochastic process \((w_{t},t\ge 0)\) on \(S_{a;b}\). The definition of \(W_{a;b}(t)\) and the multiplication rules (45) imply that this process is exactly the multi-species ASEP as introduced in Sect. 2.1: The first rule of (45) says that (with \(s=(z,z+1)\)) if \(w(z)<w(z+1),\) and the Poisson process \(\mathcal {P}(z)\) has a jump, w gets updated as \(\sigma _{z,z+1}(w),\) whereas if \(w(z)>w(z+1),\) and the Poisson process \(\mathcal {P}(z)\) has a jump, w stays the same with probability \(1-Q,\) and gets updated as \(\sigma _{z,z+1}(w)\) with probability Q. Note that by definition \(W_{a;b}(0)=T_{id},\) so that also \(w_{0}=id,\) however if we wish to start with another configuration, e.g. from a deterministic configuration \(w \in S_{a;b}\), we just need to consider the permutation generated by \(W_{a;b} (t) T_w\).
5.3 Bringing into \(Q-\)equilibrium
Let \(h \in \mathcal {H}_{\mathrm {prob}}(S_{a;b})\) and \([a_1;b_1]\subseteq [a;b] \). Then bringing the segment \([a_1;b_1]\) into \(Q-\) equilibrium means to multiply h with the Mallows element \(\mathcal {M}_{a_1;b_1}\) from the left. By (47), this has the effect of distributing the colors of particles present in \([a_1;b_1]\) according to the stationary measure which is essentially the Mallows measure: It will formally coincide with the Mallows measure on \(S_{a_1;b_1}\) if we relabel the colors of particles at positions inside the segment \([a_1;b_1]\) by integers from \([a_1;b_1]\) in a monotonous way.
Seeing h as a random element of \(S_{[a;b]}\), and projecting down the colors [a; b] to particles and holes, let \(k'\) be the number of particles present in \([a_1;b_1].\) Then bringing into \(Q-\)equilibrium \([a_1;b_1]\) means that inside \([a_1;b_1]\), the particles and holes are distributed according to \(\pi _{[a_1; b_1],k'}.\)
5.4 Idea of the proof
We have recalled all the necessary notions, and will give a proof of Theorem 4 in the following. Before this, let us briefly describe the idea of the proof.
Theorem 4 asks us to analyze the continuous time ASEP which starts with a nontrivial initial configuration in a very precise manner. There are currently no general tools which seem to be applicable to such sorts of questions (see, however, [27]); ASEP with step initial data being an exception where a detailed result in the form of Theorem 2 is available. Fortunately, the algebraic framework of the Hecke algebra allows to get an exact distribution identity which relates ASEP started with our initial configuration and the step-initial condition. It appears in the following way.
In principle, any initial configuration w is generated by the element \(T_w\) of the Hecke algebra. So if we are interested in the continuous time ASEP, we might want to study \(W_{a;b} (t) T_w\). How to do this? The first crucial idea is that we can study
instead due to Proposition 5.1. Probabilistically, it is very important (and highly non-intuitive) that we first run continuous time ASEP from the identity permutation, which can be projected to the step initial condition, and only after this we apply the multiplication by \(T_{w^{-1}}\). Since we have a precise information about the step initial condition ASEP, this gives hope to compute something about the configuration that we are interested in. Yet it is arguably impossible for general w. And here comes the second crucial idea—we utilize Mallows elements which can be used to create an initial configuration which is sufficiently close to \(\zeta ^{0}\) (defined in (7)), the particle configuration we are interested in. The use of Mallows elements requires some estimates to relate it to the deterministic initial configuration \(\zeta ^{0}\) , but all of them in our situation hold with a large margin.
5.5 Distribution identity
Let us fix three positive integers S, M, R and a positive real t. We will consider random walks on the Hecke algebra \(\mathcal {H}_{-S-R;S+M}\). Recall that the stochastic process \(W_{-S-R;S+M} (t)\) and the Mallows elements were defined in Sect. 5.1.
Proposition 5.2
With \(\,{\buildrel d \over =}\) denoting equality in distribution, we have
Proof
Note that \(\mathcal {M}_{-S-R;0}\), \(\mathcal {M}_{-S;S+M}\), are invariant under the action of \({\mathfrak {i}}\). As for \(W_{a;b}(t), \) note that for arbitrary \(k\ge 1\) and \(s_{1},\ldots ,s_k \in {\mathfrak {S}}_{a;b}\) we have \({\mathfrak {i}}(W_{a;b}(t))=T_{s_{k}}\cdots T_{s_{1}}\) iff \(W_{a;b}(t)=T_{s_{1}}\cdots T_{s_{k}},\) so that we show \({\mathfrak {i}}(W_{a;b}(t))\,{\buildrel d \over =}W_{a;b}(t)\) by computing
Setting \(a=-S-R, b=S+M\) and applying Proposition 5.1 yields the result. \(\square \)
We will need one particular corollary of this distribution identity. Denote by \(\pi _{S,R,M;t}\) the random permutation generated by
and denote by \({{\hat{\pi }}}_{S,R,M;t}\) the random permutation generated by
Corollary 2
For any \(x \le y \in \mathbb {R}\), we have
Proof
Immediate from Proposition 5.2. \(\square \)
The event on the left-hand side of (48) distinguishes whether a particle is of color \(\le 0\) and \(>0\). Therefore, the probability of this event can be expressed as a probability of the corresponding event in a single-species ASEP. Similarly, the right-hand side of (48) distinguishes whether a particle is of color \(\le x\), inside (x; y], or \(>y\). Therefore, the probability of this event can be expressed as a probability of the corresponding event in a two-species ASEP, i.e. ASEP which contains first-class particles, second-class particles, and holes. Let us present these simpler processes and events more formally.
5.6 Auxiliary processes
In this section we will introduce several auxiliary ASEP processes. All of them are continuous time processes which start from distinct initial configurations. These processes may depend on M, R, S, x, y, but we omit this in notations. See Fig. 2 for an illustration.
From top to bottom: The three particle configurations \({\mathfrak {C}}_0, {\mathfrak {D}}^{(1)}_0, {\mathfrak {D}}^{(2)}_0. \) Black/gray/white balls represent first class particles/second class particles/holes. \({\mathfrak {C}}_0\) is random except for \(p=1\) in which case \({\mathfrak {C}}_0=\mathbf {1}_{[-R+1;0]}+\mathbf {1}_{[M;S+M]}\), for \(p<1,\) the particles remain within \(\mathcal {O}(1)\) distance from \([-R+1;0],[M;S+M].\) For \(x<y,\) the configuration \({\mathfrak {D}}^{(1)}_0\) is on \([-S-R;S+M]\) and has first class particles in \([-S-R;x], \) second class particles on (x; y], and holes in \((y;S+M], \) and \({\mathfrak {D}}^{(2)}_0\) is the extension of \({\mathfrak {D}}^{(1)}_0\) to \(\mathbb {Z}\)
\({\mathfrak {C}}_0\) is a (random) configuration of particles and holes on \([-S-R;S+M]\) obtained in the following way. We start with particles at \([-S-R;0]\) and holes in \([1;S+M]\). First, we bring into Q-equilibrium the segment \([-S;S+M]\). Second, we bring into Q-equilibrium the segment \([-S-R;0]\).
\({\mathfrak {D}}^{(1)}_0\) is a (deterministic) configuration of first class particles, second-class particles and holes on \([-S-R;S+M]\) positioned in the following way: At positions \(\le x\) we have first class particles, at positions inside (x; y] we have second class particles, and at positions \(>y\) there are holes.
\({\mathfrak {D}}^{(2)}_0\) is a (deterministic) configuration of first class particles, second-class particles and holes on \(\mathbb {Z}\) positioned in essentially the same way: At positions \(\le x\) we have first class particles, at positions inside (x; y] we have second class particles, and at positions \(>y\) there are holes.
\({\mathfrak {C}}_t\), \({\mathfrak {D}}^{(1)}_t\), \({\mathfrak {D}}^{(2)}_t\) are the notations for configurations of these processes after time t.
\(\mathfrak {{{\tilde{D}}}}^{(1)}_t\) is the (random) configuration of particles obtained from the configuration \({\mathfrak {D}}^{(1)}_t\) by bringing into Q-equilibrium the segment \([-S-R;0]\) in it. \(\mathfrak {{{\hat{D}}}}^{(1)}_t\) is obtained from \(\mathfrak {\tilde{D}}^{(1)}_t\) by bringing into Q-equilibrium the segment \([-S;S+M]\) in it. See also Fig. 3.
Recall that for a (possibly random) configuration \({\mathfrak {A}}\) we denote by \(\mathcal {L} \left( {\mathfrak {A}} \right) \) the position of the leftmost particle in \({\mathfrak {A}}\), and we denote by \(\mathcal {R} \left( {\mathfrak {A}} \right) \) the position of the rightmost hole in \({\mathfrak {A}}\). We are in a position to reformulate Corollary 2 in the language of these processes.
Proposition 5.3
We have
Proof
Note that \(\pi ^{-1}_{S,R,M;t}\) maps types of particles into positions. If we map all colors \(\le 0\) into particles, and colors \(> 0\) into holes, we will obtain the coupling of \(\pi ^{-1}_{S,R,M;t}\) and \({\mathfrak {C}}_t\), which will give the expression in the left-hand side of (49). Analogously, to obtain the right-hand side, in \({{\hat{\pi }}}_{S,R,M;t}\) we need to map all types \(> y\) into holes, all types inside (x; y] into second class particles, and all types \(\le x\) into first class particles. \(\square \)
5.7 Limit transition
In the remainder of the section we will consider sequences of parameters \(M=M(N) = N-k_N+1\), \(R=R(N) = k_N\), \(x=x(N)=N- 2 k_N - N^{1/10}\), \(y=y(N)=N- 2 k_N + N^{1/10} \), \(t = t(N)= g(k_N,c)\). We also assume from now on that \(S=S(N)\) is an arbitrary sequence of numbers such that \(S \ge N^N\). We will study the \(N \rightarrow \infty \) limit. The first key result is the following.
Proposition 5.4
We have
Proof
Throughout the proof, \(C_1 , C_2>0\) will be some constants independent of N whose values are immaterial and may change from line to line. Let \(\mathcal {N}_1\) be the number of holes to the left of 0 in the configuration \({\mathfrak {D}}^{(1)}_t\) and let \(\mathcal {N}_2\) be the number of holes to the left of 0 in the configuration \({\mathfrak {D}}^{(2)}_t\). Clearly, if S is incomparably larger than M, N, and t, then these two quantities have almost the same distribution. More formally, let us couple the processes \({\mathfrak {D}}^{(1)}_t\) and \({\mathfrak {D}}^{(2)}_t\) via the basic coupling. Note that if there exists at least one position inside \([-S-R;x]\) and at least one position inside \([y;S+M]\) such that no signals from Poisson processes were received at these points, then the configurations of \({\mathfrak {D}}^{(1)}_t\) and \({\mathfrak {D}}^{(2)}_t\) inside the interval \([-S-R;S+M]\) must coincide. The probability that a given position has not received a signal can be bounded by \(C_1 \exp (-C_2 t)\), and the probability that there is at least one such position in the interval \([-S; x]\) is bounded by \(1 - (1 - C_1 \exp (-C_2 t))^{x+S}\). For our values of parameters, this can be estimated as \(1 - C_1 \exp (-C_2 N) \). The same argument also works for the interval \([y; S+M]\). Therefore, we have \(\lim _{N\rightarrow \infty }\mathbb {P}(\mathcal {N}_1 = \mathcal {N}_2)=1.\)
Next, we note that
Indeed, to compute \(\mathcal {N}_2\) we need not distinguish between first and second class particles. By the particle hole-duality, we then get
so that (51) follows from Corollary 1. Since \(\lim _{N\rightarrow \infty }\mathbb {P}(\mathcal {N}_1 = \mathcal {N}_2)=1,\) we obtain
From top to bottom: The particle configurations \( {\mathfrak {D}}^{(1)}_t, \tilde{{\mathfrak {D}}}^{(1)}_t, \hat{{\mathfrak {D}}}^{(1)}_t. \) If \( \mathcal {N}_1 \ge R + N^{1/10},\) then \(\tilde{{\mathfrak {D}}}^{(1)}_t \) will have the segment \([-S-R;-S)\) filled only by holes with very high probability. Consequently, with very high probability \(\hat{{\mathfrak {D}}}^{(1)}_t \) will have all its holes in \([-S-R;0],\) the second class particles will be inside or close to the segment \([-N^{\frac{1}{10}}; N^{\frac{1}{10}}],\) and all first class particles will be in \([ 0; S+R]\)
Let us now analyze how the configuration \(\mathfrak {{{\hat{D}}}}^{(1)}_t\) looks like conditioned on the event \( \mathcal {N}_1 \ge k_N + N^{1/10}\). See Fig. 3 for an illustration. According to the definition, we need to first bring into Q-equilibrium the segment \([-S-R;0]\) in the configuration \({\mathfrak {D}}^{(1)}_t\). Since we have at least \(k_N + N^{1/10} = R + N^{1/10} \) holes in the segment \([-S-R;0]\), Proposition 4.2 allows to conclude that the positions in the interval \([-S-R;-S)\) will all be filled by holes with probability at least \(1 - C_1\exp \left( - C_2 N^{1/10} \right) \) after this step. Let us further restrict ourselves on the event that indeed \([-S-R;-S)\) is filled by holes. Then in the remaining segment \([-S;S+M]\) we have exactly
holes. Our second (and last) step is to bring into Q-equilibrium the segment \([-S;S+M]\). Again, due to Proposition 4.2 the conditional probability that all these \(S - N^{1/10}+1 \) holes are inside \([-S;0]\) can be bounded from below as \(1 - C_1 \exp \left( - C_2 N^{1/10} \right) \). Also, the segment \([-S;S+M]\) contains all \(S+N-k_N- N^{1/10} +1\) first class particles of the system, and the conditional probability that all of them will be inside the segment \([0;S+M]\) is also at least \(1 - C_1 \exp \left( - C_2 N^{1/10} \right) \) again by Proposition 4.2. It remains to note that the conditional probability that all the mentioned three events happen can also be estimated as \(1 - C_1 \exp \left( - C_2 N^{1/10} \right) \), and that if these three events happen, than the event in the lefthand side of (50) also happens: The holes are all to the left of 0, and all first-class particles are to the right of 0. Combining this with (52) implies the claim. \(\square \)
We have now collected all necessary ingredients to prove Theorem 4.
Proof of Theorem 4
We define the configuration
Note that \({\widehat{\zeta }}^0\) is simply a shift by \((-k_N)\) of the configuration \(\zeta ^0\) from (7). We denote further the restriction of \({\widehat{\zeta }}^0\) to \([-S-R;S+M]\) by \({\widehat{\zeta }}^{0,S},\) i.e.
Let us prove that
To see this, note that for the event \(\{\mathcal {L}({\widehat{\zeta }}^{0,S}_{t})=\mathcal {L}({\widehat{\zeta }}^{0}_{t}), \mathcal {R}({\widehat{\zeta }}^{0,S}_{t})=\mathcal {R}({\widehat{\zeta }}^{0}_{t})\}\) to happen, it suffices that one of the Poisson processes in \([-S-R;-S/2]\) and one of the Poisson processes in \([S/2;S+M]\) make no jump during [0, t]. Since \(S\ge N^{N},\) this will happen with probability going to 1 as \(N\rightarrow \infty \) and (53) follows.
Recall further the partial order (5) and note that we have
Now, one can easily compute that under the basic coupling, (54) implies that
(see e.g. ([24], Lemma 3.2) and ([25], Lemma 3.2) for a proof for the partial order (4) which carries over to our case). We can now conclude
where the first inequality follows from (55), the second follows from Propositions 5.3 and 5.4.
Finally, using Corollary 1 we obtain
so that Theorem 4 follows. \(\square \)
Remark 5.5
It is plausible that an extension of Theorem 1 to the case of slowly varying parameters \(p-q \rightarrow 0\), \(N^{1/3} (p-q) \rightarrow \infty \) can be obtained by an upgrade of our method. This will require certain additional estimates, in particular, regarding the asymptotics of Mallows measure. On the other hand, if \((p-q)\) becomes to decay to 0 faster, new effects should appear, first on the level of the cutoff window, and then on the level of the cutoff itself (cf. [16]).
Another interesting direction would be to understand whether our method can be adjusted to the study of mixing times in ASEP with open boundaries, cf. [18].
Notes
It is sufficient to check this property for \(h_{a;b}=T_s\), for any \(s \in {\mathfrak {S}}_{a;b}\). For such a choice it follows from a detailed balance type equation.
References
Aldous, D.: Random walks on finite groups and rapidly mixing markov chains. Séminaire de Probabilités 1981/82, XVII:243–297, (1983)
Angel, O., Holroyd, A., Romik, D.: The oriented swap process. Ann. Probab. 37(5), 1970–1998 (2009)
Benjamini, I., Berger, N., Hoffman, C., Mossel, E.: Mixing times of the biased card shuffling and the asymmetric exclusion process. Trans. Am. Math. Soc. 357(8), 3013–3029 (2005)
Bisi, E., Cunden, F., Gibbons, S., Romik, D.: Sorting networks, staircase young tableaux and last passage percolation. Séminaire Lotharingien de Combinatoire, 84B, (2020)
Borodin, A., Bufetov, A.: Color-position symmetry in interacting particle systems. Ann. Probab., to appear, (2020)
Borodin, A., Gorin, V., Wheeler, M.: Shift-invariance for vertex models and polymers. arXiv:1912.02957, (2019)
Bufetov, A.: Interacting particle systems and random walks on Hecke algebras. arXiv:2003.02730, (2020)
Bufetov, A., Ferrari, P. L.: Shock fluctuations in TASEP under a variety of time scalings. arXiv:2003.12414, (2020)
Bufetov, A., Gorin, V., Romik, D.: Absorbing time asymptotics in the oriented swap process. arXiv:2003.06479, (2020)
Bufetov, A., Korotkikh, S.: Observables of stochastic colored vertex models and local relation. arXiv:2011.11426, (2020)
Corwin, I.: The Kardar–Parisi–Zhang equation and universality class. Rand. Mat. Appl. 1, 1 (2012)
Dauvergne, D.: Hidden invariance of last passage percolation and directed polymers. https://arxiv.org/abs/2002.09459, (2020)
Diaconis, P.: The cutoff phenomenon in finite markov chains. PNAS 93(4), 1659–1664 (1996)
Diaconis, P., Ram, A.: Analysis of systematic scan Metropolis algorithms using Iwahori–Hecke algebra techniques. Mich. Math. J. 48(1), 157–190 (2000)
Diaconis, P., Shahshahani, M.: Generating a random permutation with random transpositions. Zeitschrift für Wahrscheinlichkeitstheorie und verwandte Gebiete 57(2), 159–179 (1981)
Levin, D., Peres, Y.: Mixing of the exclusion process with small bias. J. Stat. Phys. 165, 1036–1050 (2016)
Galashin, P.: Symmetries of stochastic colored vertex models. Ann. Probab., to appear, (2020)
Gantert, N., Nestoridi, E., Schmid, D.: Mixing times for the simple exclusion process with open boundaries. arXiv:2003.03781, (2020)
Harris, T.: Additive set-valued markov processes and graphical methods. Ann. Probab. 6, 355–378 (1978)
Hermon, J., Lacoin, H., Peres, Y.: Total variation and separation cutoff are not equivalent and neither one implies the other. Electron. J. Probab. 21(44), 1–36 (2016)
Johansson, K.: Shape fluctuations and random matrices. Commun. Math. Phys. 209, 437–476 (2000)
Labbé, C., Lacoin, H.: Cutoff phenomenon for the asymmetric simple exclusion process and the biased card shuffling. Ann. Probab. 47(3), 1541–1586 (2019)
Levin, D., Peres, Y.: with contributions of E. Wilmer. Markov chains and mixing times. Am. Math. Soc., (2017)
Nejjar, P.: GUE \(\times \) GUE limit law at hard shocks in ASEP. Ann. Appl. Probab., to appear, (2020)
Nejjar, P.: KPZ statistics of second class particles in ASEP via mixing. Commun. Math. Phys. 378(1), 601–623 (2020)
Nestoridi, E., Thomas, S.: Limit profiles for markov chains. arXiv:2005.13437, (2020)
Quastel, J., Sarkar, S.: Convergence of exclusion processes and KPZ equation to the KPZ fixed point. arXiv:2008.06584, (2020)
Teyssier, L.: Limit profile for random transpositions. Ann. Probab. 48(5), 2323–2343 (2020)
Tracy, C.A., Widom, H.: Level-spacing distributions and the Airy kernel. Commun. Math. Phys. 159, 151–174 (1994)
Tracy, C.A., Widom, H.: Asymptotics in ASEP with step initial condition. Commun. Math. Phys. 290, 129–154 (2009)
Acknowledgements
We are grateful to anonymous referees for their helpful comments. The work of both authors was partially supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy–EXC 2047 “Hausdorff Center for Mathematics”. P. Nejjar is supported by the DFG by the CRC 1060 (Projektnummer 211504053). Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bufetov, A., Nejjar, P. Cutoff profile of ASEP on a segment. Probab. Theory Relat. Fields 183, 229–253 (2022). https://doi.org/10.1007/s00440-021-01104-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00440-021-01104-x