Inhomogeneous space PushTASEP and its multilayer extension via column RSK

Leonid Petrov

Introduction

This model is a version of the one considered in the previous simulation. However, the asymptotic behavior is quite different. The model in this post is related to the column RSK and Schur measures and is amenable to asymptotic analysis via exact formulas.

The model

Fix a positive function $\xi(x)$, $x\in\mathbb{Z}_{\ge0}$, separated from $0$ and $\infty$. Fix a number of layers $k$, and consider the following $k$-layer particle configuration $x^{(j)}_1<x^{(j)}_2<x^{(j)}_3<\ldots$, $j=1,\ldots,k$. This particle configuration evolves in continuous time. The initial condition is the densely packed (step) one,

The evolution is as follows. At each site $y\in\mathbb{Z}_{\ge0}$ there is an independent exponential clock with rate $\xi(y)$ (so, mean waiting time $1/\xi(y)$). This rate does not depend on the layer’s number. When the clock at site $y$ rings:

• if there is a particle at site $y$ at layer $j=1,\ldots,k$, choose the minimal such $j$. The particle $x_i^{(j)}=y$ (with suitable $i$) jumps to the right by one. If the destination is occupied, the immediate right neighbor $x_{i+1}^{(j)}$ also jumps to the right by one, and so on, until an empty spot.
  • If there is no empty spot, then we simply shift the right-infinite densely packed cluster of particles to the right by one, and the update stops.
  • If there is an empty spot, then the pushed finite cluster of particles moves to the right by one, and this generates another jumping impulse at the new empty spot. This jumping impulse propagates to lower layers, and so on, unltil an infinite cluster of particles is pushed.
• if there is no particle at site $y$ at layer $j=1,\ldots,k$, then nothing happens (though by increasing $k$, we can always find the layer at which the dynamics occurs).

The dynamics on the first layer $\{x_i^{(1)}\}$ is simply the PushTASEP (= long-range TASEP) studied, e.g., in [1]. The space-inhomogeneous version described above is studied in [2].

Sampling algorithm

To sample the system, we choose a fixed size $n$ (so we consider the behavior on $\{1,2,\ldots,n \}\subset\mathbb{Z}_{\ge0}$), the number of layers $k$, and the inhomogeneity function $\xi(\cdot)$.

Since the dynamics is a continuous time Markov process, we sample it directly, using exponential clocks. In more detail, we sample an independent exponential random variable with mean $1/\xi(y)$ for each $y=1,\ldots,n$. Then we choose the minimal of these waiting times, and

• decrease all other waiting times by this minimal amount,
• perform the jumping/pushing at this site on suitable layers,
• increment the global time,
• resample the waiting time that was used.

Data file format

The data files are Mathematica readable 2d integer arrays of the form

{{a,b,c,d},{e,f,g,h},{x,y,z,t}}

where $k$ is the number of blocks ($3$ in the above example), and $n$ is the length of a block ($4$ in the above example). Each element of the array is an integer $\in \{0,1 \}$, where $1$ means that there is a particle at the corresponding site and the corresponding layer, and $0$ means the absence of such particle. In other words, the data reads the configuration layer by layer, starting from the first layer, and shows occupation variables.

There are no spaces or line breaks in the file.

The plots show the first layer on top, layers correspond to horizontals. Black squares mean particles, and white squares mean empty space.

code • (Main GitHub repo)

• https://github.com/lenis2000/simulations/blob/master/2017-12-30-PushTASEP-colRSK/2017-12-30-PushTASEP-colRSK.py (python2, both for simulation and drawing)

simulation results

1. Homogeneous case • (data: 20 KB) • (graphics: 11 KB)

   $n=100$, $k=100$, $t=100$, $\xi(y)\equiv 1$
   

2. Homogeneous case, larger picture • (data: 1.1 MB) • (graphics: 499 KB)

   $n=500$, $k=1200$, $t=500$, $\xi(y)\equiv 1$
   

3. Homogeneous case, another picture • (data: 704 KB) • (graphics: 255 KB)

   $n=600$, $k=600$, $t=100$, $\xi(y)\equiv 1$
   

4. Slow bond at 100 • (data: 313 KB) • (graphics: 140 KB)

   $n=400$, $k=400$, $t=100$, $\xi(y)= \mathbf{1}_{y\ne 100}+\frac15\cdot\mathbf{1}_{y=100}$
   

5. Cluster of 10 slow bonds around 100 • (data: 313 KB) • (graphics: 139 KB)

   $n=400$, $k=400$, $t=100$, $\xi(y)=\mathbf{1}_{y\le90}+\frac15\cdot\mathbf{1}_{90<y\le 100}+\mathbf{1}_{y>100}$
   

6. Slow zone from 100 to 300 • (data: 489 KB) • (graphics: 190 KB)

   $n=500$, $k=500$, $t=150$, $\xi(y)= \mathbf{1}_{y\le 100}+\frac15\cdot\mathbf{1}_{100<y\le 300}+\mathbf{1}_{y>300}$
   

7. Fast zone from 100 to 300 • (data: 489 KB) • (graphics: 237 KB)

   $n=500$, $k=500$, $t=150$, $\xi(y)= \mathbf{1}_{y\le 100}+2\cdot\mathbf{1}_{100<y\le 300}+\mathbf{1}_{y>300}$
   

8. Very fast zone from 100 to 300 • (data: 489 KB) • (graphics: 195 KB)

   $n=500$, $k=500$, $t=150$, $\xi(y)= \mathbf{1}_{y\le 100}+5\cdot\mathbf{1}_{100<y\le 300}+\mathbf{1}_{y>300}$
   

9. Very fast zone from 100 to infinity, larger view • (data: 2.7 MB) • (graphics: 992 KB)

   $n=700$, $k=3000$, $t=150$, $\xi(y)= \mathbf{1}_{y\le 100}+5\cdot\mathbf{1}_{100<y\le 300}+\mathbf{1}_{y>300}$
   

10. 3 zones of growing speed • (data: 2.3 MB) • (graphics: 746 KB)

    $n=600$, $k=2000$, $t=150$, $\xi(y)= \mathbf{1}_{y< 200}+4\cdot\mathbf{1}_{200\le y< 400}+8\cdot\mathbf{1}_{400\le y}$
    

11. 3 zones of growing speed, another version • (data: 783 KB) • (graphics: 297 KB)

    $n=400$, $k=1000$, $t=100$, $\xi(y)= \mathbf{1}_{y< 100}+4\cdot\mathbf{1}_{100\le y< 150}+8\cdot\mathbf{1}_{150\le y}$
    

12. 2-periodic speed function, a part of the picture resembles effects of [3] • (data: 704 KB) • (graphics: 298 KB)

    $n=600$, $k=600$, $t=100$, $\xi(y)=2\cdot \mathbf{1}_{y\text{ odd}}+\mathbf{1}_{y\text{ even}}$
    

13. 3-periodic speed function, a part of the picture resembles similar periodic effects • (data: 1.2 MB) • (graphics: 580 KB)

    $n=800$, $k=800$, $t=200$, $\xi(y)=\mathbf{1}_{y=3m}+2\cdot \mathbf{1}_{y=3m+1}+3\cdot \mathbf{1}_{y=3m+2}$
    

14. 2-periodic combined with 2 zones, from slow to fast • (data: 1.5 MB) • (graphics: 448 KB)

    $n=400$, $k=2000$, $t=100$, $\xi(y)$ is periodic with speeds $(1,4)$ on $y<50$, and periodic with speeds $(2,8)$ on $[50,+\infty)$
    

15. 2-periodic combined with 2 zones, from fast to slow • (data: 1.5 MB) • (graphics: 402 KB)

    $n=400$, $k=2000$, $t=100$, $\xi(y)$ is periodic with speeds $(2,8)$ on $y<50$, and periodic with speeds $(1,4)$ on $[50,+\infty)$
    

references

1. A. Borodin, P. Ferrari, Large time asymptotics of growth models on space-like paths I: PushASEP, Electron. J. Probab. (2008), vol. 13, 1380-1418 • https://arxiv.org/abs/0707.2813 • http://emis.ams.org/journals/EJP-ECP/article/download/541/541-1801-1-PB.pdf
2. L. Petrov, In preparation (2018)
3. S. Mkrtchyan, Plane partitions with two-periodic weights. Letters in Mathematical Physics, 104(9):1053-1078, 2014. • https://arxiv.org/abs/1309.4825 • https://link.springer.com/article/10.1007%2Fs11005-014-0696-z