Lemma 2.1
X33KIf \mathbf{A}_{\sigma} is given as in (?), then (?) satisfies (?) for each i.
Exact Formulas of the Transition Probabilities of the Multi-Species Asymmetric Simple Exclusion Process
- arXiv
- 1809.07362v4 · PDF · 20 December 2020
- Categories
- math-ph, cond-mat.stat-mech, math.MP, math.PR, nlin.SI
- Journal
- SIGMA 16 (2020), 139, 9 pages
- DOI
- 10.3842/SIGMA.2020.139
- Licence
- CC BY SA 4.0 The site shows the text.
Abstract
We find the formulas of the transition probabilities of the N-particle multi-species asymmetric simple exclusion processes (ASEP), and show that the transition probabilities are written as a determinant when the order of particles in the final state is the same as the order of particles in the initial state.
Items 5
S
4JWSubstituting (?) into (?) for i,
\begin{gathered}
\sum_{\sigma \in S_N}\big(p\mathbf{A}_{\sigma}\xi_{\sigma(1)}^{x_1}\cdots\xi_{\sigma(i-1)}^{x_{i-1}} \xi_{\sigma(i)}^{x_{i}}\xi_{\sigma(i+1)}^{x_{i}}\xi_{\sigma(i+2)}^{x_{i+2}}\cdots\xi_{\sigma(N)}^{x_{N}}\\
\qquad{} + q\mathbf{A}_{\sigma}\xi_{\sigma(1)}^{x_1}\cdots\xi_{\sigma(i-1)}^{x_{i-1}} \xi_{\sigma(i)}^{x_{i}+1}\xi_{\sigma(i+1)}^{x_{i}+1}\xi_{\sigma(i+2)}^{x_{i+2}}\cdots\xi_{\sigma(N)}^{x_{N}} \\
\qquad{} - \big(\mathbf{I}_N^{\otimes{(i-1)}} \otimes \mathbf{B}\otimes \mathbf{I}_N ^{\otimes(N-i-1)}\big)\mathbf{A}_{\sigma}\xi_{\sigma(1)}^{x_1}\cdots\xi_{\sigma(i-1)}^{x_{i-1}} \xi_{\sigma(i)}^{x_{i}}\xi_{\sigma(i+1)}^{x_{i}+1}\xi_{\sigma(i+2)}^{x_{i+2}}\cdots\xi_{\sigma(N)}^{x_{N}}\big) = \mathbf{0}_{N^N}.
\end{gathered}
If \sigma' is an even permutation, then T_i\sigma' is an odd permutation, and vice-versa. So, if we express (S) as a sum over the alternating group A_N,
\begin{gathered}
\sum_{\sigma' \in A_N}\big(\big[\mathbf{I}_{N^N}\big(p+q\xi_{\sigma'(i)}\xi_{\sigma'(i+1)}\big)
- \big(\mathbf{I}_N^{\otimes{(i-1)}} \otimes \mathbf{B}\otimes \mathbf{I}_N ^{\otimes(N-i-1)}\big)\xi_{\sigma'(i+1)}\big]\mathbf{A}_{\sigma'} \\
\qquad {} + \big[\mathbf{I}_{N^N}\big(p+q\xi_{\sigma'(i+1)}\xi_{\sigma'(i)}\big) - \big(\mathbf{I}_N^{\otimes{(i-1)}} \otimes \mathbf{B}\otimes \mathbf{I}_N ^{\otimes(N-i-1)}\big)\xi_{\sigma'(i)}\big]\mathbf{A}_{T_i\sigma'}\big)\\
\qquad {} \times \xi_{\sigma'(1)}^{x_1}\cdots\xi_{\sigma'(i-1)}^{x_{i-1}}\xi_{\sigma'(i)}^{x_{i}} \xi_{\sigma'(i+1)}^{x_{i}}\xi_{\sigma'(i+2)}^{x_{i+2}}\cdots \xi_{\sigma'(N)}^{x_{N}} = \mathbf{0}_{N^N}.
\end{gathered}
A sufficient condition for (S) is that for each \sigma \in S_N,
\begin{gathered}
\mathbf{A}_{T_i\sigma} = - \big[\mathbf{I}_{N^N}\big(p+q\xi_{\sigma(i+1)}\xi_{\sigma(i)}\big) - \big(\mathbf{I}_N^{\otimes{(i-1)}} \otimes \mathbf{B}\otimes \mathbf{I}_N ^{\otimes(N-i-1)}\big)\xi_{\sigma(i)}\big]^{-1}\\
\hphantom{\mathbf{A}_{T_i\sigma} =}{} \times \big[\mathbf{I}_{N^N}\big(p+q\xi_{\sigma(i)}\xi_{\sigma(i+1)}\big) - \big(\mathbf{I}_N^{\otimes{(i-1)}} \otimes \mathbf{B}\otimes \mathbf{I}_N ^{\otimes(N-i-1)}\big)\xi_{\sigma(i+1)}\big] \mathbf{A}_{\sigma} \\
\hphantom{\mathbf{A}_{T_i\sigma}}{} = -\big(\mathbf{I}_{N^{(i-1)}}\otimes \big[\mathbf{I}_{N^2}\big(p+q\xi_{\sigma(i+1)}\xi_{\sigma(i)}\big) - \mathbf{B} \xi_{\sigma(i)} \big]^{-1} \otimes \mathbf{I}_{N^{(N-i-1)}}\big) \\
\hphantom{\mathbf{A}_{T_i\sigma} =}{} \times \big(\mathbf{I}_{N^{(i-1)}}\otimes \big[\mathbf{I}_{N^2}\big(p+q\xi_{\sigma(i+1)}\xi_{\sigma(i)}\big) - \mathbf{B} \xi_{\sigma(i+1)} \big] \otimes \mathbf{I}_{N^{(N-i-1)}}\big)\mathbf{A}_{\sigma} \\
\hphantom{\mathbf{A}_{T_i\sigma} }{}= \big(\mathbf{I}_{N^{(i-1)}}\otimes \mathbf{R}_{\sigma(i+1)\sigma(i)} \otimes \mathbf{I}_{N^{(N-i-1)}}\big)\mathbf{A}_{\sigma}.
\end{gathered}
Now, it remains to show that if \mathbf{A}_{\sigma} is given by (?), then (S) is satisfied. This is immediately obtained because
\begin{gathered}
\mathbf{A}_{T_i\sigma} = \mathbf{T}_i\mathbf{T}_{a_n} \cdots \mathbf{T}_{a_1} = \mathbf{T}_i\big(\sigma(i+1),\sigma(i)\big)\mathbf{A}_{\sigma} \\
\hphantom{\mathbf{A}_{T_i\sigma}}{} = \big(\mathbf{I}_{N^{(i-1)}}\otimes \mathbf{R}_{\sigma(i+1)\sigma(i)} \otimes \mathbf{I}_{N^{(N-i-1)}}\big)\mathbf{A}_{\sigma}
\end{gathered}
by (?).
Remark 2.2
AJTXThe consistency relations
\begin{gathered}
\mathbf{T}_i(\beta,\alpha)\mathbf{T}_j(\delta,\gamma) = \mathbf{T}_j(\delta,\gamma)\mathbf{T}_i(\beta,\alpha) \qquad \textrm{if}~|i - j| \geq 2, \\
\mathbf{T}_i(\gamma,\beta)\mathbf{T}_j(\gamma,\alpha)\mathbf{T}_i(\beta,\alpha) = \mathbf{T}_j(\beta,\alpha) \mathbf{T}_i(\gamma,\alpha)\mathbf{T}_j(\gamma,\beta) \qquad \textrm{if}~|i-j| = 1, \\
\mathbf{T}_i(\beta,\alpha) \mathbf{T}_i(\alpha,\beta) = \mathbf{I}_{N^N}
\end{gathered}
can be directly verified by the matrix multiplication. In particular, (2.2) with p=1 was verified in [Chatterjee-Schutz-2010].
Theorem 3.1
5Z0HFor given Y = (y_1,\dots, y_N) with y_1<\cdots<y_N and \pi, define
\begin{gathered}
G(x_1,\dots, x_N;t) = \left[
\begin{matrix}
F_{n(1,1)}(x_1 - y_1;t)\!\! & F_{n(1,2)}(x_1 - y_2;t)\!\! & \!\!\cdots\!\! & F_{n(1,N)}(x_1 - y_N;t) \\
F_{n(2,1)}(x_2 - y_1;t)\!\! & F_{n(2,2)}(x_2 - y_2;t)\!\! & \!\!\cdots\!\! & F_{n(2,N)}(x_2 - y_N;t) \\
\vdots & \vdots & \!\!\ddots\!\! & \vdots \\
F_{n(N,1)}(x_N - y_1;t)\!\! & F_{n(N,2)}(x_N - y_2;t)\!\! & \!\!\cdots\!\! & F_{(N,N)}(x_N - y_N;t)
\end{matrix}
\right].
\end{gathered}
Then,
P_{(Y,\pi)}(x_1,\dots,x_N,\pi;t) = \det G(x_1,\dots, x_N;t).
(
FX8Xi) To show that \det G(x_1,\dots, x_N;t) satisfies (?). Since
\frac{{\rm d}}{{\rm d}t}F_{n(i,j)}(x_i - y_j;t) = -F_{n(i,j)}(x_i - y_j;t) + F_{n(i,j)}(x_i -1 - y_j;t),
we have
\begin{gathered}
\frac{{\rm d}}{{\rm d}t} \det G(x_1,\dots, x_N;t) \\
\qquad{} = \left|
\begin{matrix}
\dfrac{{\rm d}}{{\rm d}t} F_{n(1,1)}(x_1 - y_1;t) & \dfrac{{\rm d}}{{\rm d}t}F_{n(1,2)}(x_1 - y_2;t) & \cdots & \dfrac{{\rm d}}{{\rm d}t} F_{n(1,N)}(x_1 - y_N;t) \vspace{1mm}\\
F_{n(2,1)}(x_2 - y_1;t) & F_{n(2,2)}(x_2 - y_2;t) & \cdots & F_{n(2,N)}(x_2 - y_N;t) \\
\vdots & \vdots & \ddots & \vdots \\
F_{n(N,1)}(x_N - y_1;t) & F_{n(N,2)}(x_N - y_2;t) & \cdots & F_{(N,N)}(x_N - y_N;t)
\end{matrix}
\right| +\cdots \\
\qquad\quad{} + \left|
\begin{matrix}
F_{n(1,1)}(x_1 - y_1;t) &F_{n(1,2)}(x_1 - y_2;t) & \cdots & F_{n(1,N)}(x_1 - y_N;t) \\
F_{n(2,1)}(x_2 - y_1;t) & F_{n(2,2)}(x_2 - y_2;t) & \cdots & F_{n(2,N)}(x_2 - y_N;t) \\
\vdots & \vdots & \ddots & \vdots \\
\dfrac{{\rm d}}{{\rm d}t} F_{n(N,1)}(x_N - y_1;t) & \dfrac{{\rm d}}{{\rm d}t} F_{n(N,2)}(x_N - y_2;t) & \cdots & \dfrac{{\rm d}}{{\rm d}t} F_{(N,N)}(x_N - y_N;t)
\end{matrix}
\right| \\
\qquad{} = -N \det G(x_1,\dots, x_N;t) +\sum_{i=1}^N\det G(x_1,\dots,x_{i-1},x_i-1,x_{i+1},\dots, x_N;t).
\end{gathered}
(ii) To show that \det G(x_1,\dots, x_N;t) satisfies (?): Suppose that \pi_i>\pi_{i+1}. First, we will show that n(i,j) = n(i+1,j). If j>i+1, then
n(i,j) = (-1) \times (j-i -\#_{ij}) = (-1) \times \big[j-(i+1) -(\underbrace{\#_{ij}-1}_{\#_{(i+1)j}})\big] = n(i+1,j).
If j<i-1, then
n(i,j) = 1 \times (i-j -\#_{ij}) = 1 \times \big[i+1-j -(\underbrace{\#_{ij}+1}_{\#_{(i+1)j}})\big] = n(i+1,j).
If i=j or j=i\pm 1, then
n(i,j) = 0 = n(i+1,j).
Hence, the ith row and the (i+1)th row of G(x_1,\dots, x_i,x_i,x_{i+2},\dots,x_N;t) are the same and
\det G(x_1,\dots, x_i,x_i,x_{i+2},\dots,x_N;t) = 0.
Next, suppose that \pi_i \leq \pi_{i+1}, so \#_{ij} = \#_{(i+1)j}. We will show that n(i,j) = n(i+1,j)-1. If j>i+1, then
n(i+1,j) = (-1) \times (j-i-1 -\#_{(i+1)j}) = (-1) \times (j-i -\#_{ij}) + 1 = n(i,j)+1.
If j<i-1, then
n(i+1,j) = 1 \times (i+1-j -\#_{(i+1)j}) = 1 \times (i-j -\#_{ij}) +1 = n(i,j) +1.
If i=j, then n(i+1,j) = 1 = n(i,i) +1. If j = i +1, then n(i+1,j) = 0 = n(i,j) +1. If j = i-1, then
\begin{gathered}
n(i+1,j) = (+1)\times (2 - \#_{(i-1)(i+1)})= (+1)\times (2 - \#_{(i-1)i}) \\
\hphantom{n(i+1,j)}{} =(+1)\times (1 - \#_{(i-1)i}) + 1 = n(i,i-1) + 1 = n(i,j)+1.
\end{gathered}
Also, using the identity
F_n(x+1;t) = F_n(x;t) - F_{n-1}(x;t),
we obtain
\begin{gathered}
\left|
\begin{matrix}
\vdots & \vdots & \vdots \\
F_{n(i,1)}(x_i - y_1;t) & \cdots & F_{n(i,N)}(x_i - y_N;t) \\
F_{n(i+1,1)}(x_{i}+1 - y_1;t) & \cdots & F_{n(i+1,N)}(x_{i}+1 - y_N;t) \\
\vdots & \vdots & \vdots
\end{matrix}
\right| \\
\qquad{} = \left|
\begin{matrix}
\vdots & \vdots & \vdots \\
F_{n(i,1)}(x_i - y_1;t) & \cdots & F_{n(i,N)}(x_i - y_N;t) \\
F_{n(i+1,1)}(x_{i} - y_1;t) & \cdots & F_{n(i+1,N)}(x_{i} - y_N;t) \\
\vdots & \vdots & \vdots \\
\end{matrix}
\right| \\
\qquad\quad{} - \left|
\begin{matrix}
\vdots & \vdots & \vdots \\
F_{n(i,1)}(x_i - y_1;t) & \cdots & F_{n(i,N)}(x_i - y_N;t) \\
F_{n(i+1,1)-1}(x_{i} - y_1;t) & \cdots & F_{n(i+1,N)-1}(x_{i} - y_N;t) \\
\vdots & \vdots & \vdots
\end{matrix}
\right|,
\end{gathered}
where the second term on the right-hand side of (?) is zero by (?). Hence,
\det G(x_1,\dots, x_i,x_i+1,x_{i+2},\dots,x_N;t) = \det G(x_1,\dots, x_i,x_i,x_{i+2},\dots,x_N;t).
(iii) To show that \det G(x_1,\dots, x_N) satisfies (?): Since F_{n(i,i)}(x_i - y_i;0) = \delta_{x_iy_i} and F_{n(i,j)}(x_i - y_j;0) =0 for i>j because x_i - y_j \geq 1 when x_1<\cdots <x_N for given y_1<\cdots <y_N,
\det G(x_1,\dots,x_N;0) = \prod_{i=1}^N\delta_{x_iy_i}
when x_1<\cdots <x_N for given y_1<\cdots <y_N.
Source and licence
The text on this page is from arXiv:1809.07362v4 by Eunghyun Lee, under the licence CC BY SA 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY SA 4.0.
The record of each item is in analysis/objects/1809/1809.07362.jsonl.