Abstract
We construct a q-boson representation of the Zamolodchikov-Faddeev algebra whose structure function is given by the stochastic R matrix of \(U_q(A^{(1)}_n)\) introduced recently. The representation involves quantum dilogarithm type infinite products in the \(n(n-1)/2\)-fold tensor product of q-bosons. It leads to a matrix product formula of the stationary probabilities in the \(U_q(A_n^{(1)})\)-zero range process on a one-dimensional periodic lattice.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Exploring integrable models in non-equilibrium statistical mechanics is a significant branch of applications of quantum group theory. In such approaches to Markov processes, one typically tries to construct a Markov matrix whose spectral problem can be solved by Bethe ansatz and the Yang–Baxter equation [1]. Whether it is possible or not relies on the fundamental question; can a quantum R matrix [7, 11] be made stochastic? This was answered affirmatively in [12] for the \(U_q(A^{(1)}_n)\) quantum R matrix intertwining the symmetric tensor representations of arbitrary degree. The modified one, called stochastic R matrix, possesses nonnegative elements only and fulfills a local version of total probability conservation called the sum-to-unity condition. The associated continuous and discrete time Markov processes are formulated as stochastic dynamics of n species of particles on one-dimensional lattice obeying a zero range type interaction (cf. [8]). We call them \(U_q(A^{(1)}_n)\)-zero range processes. They include several models studied earlier for \(n=1\) [2, 4, 19,20,21] and for n general [13,14,15, 22].
In this paper, we study the Zamolodchikov-Faddeev (ZF) algebra with the structure function given by the \(U_q(A^{(1)}_n)\) stochastic R matrix \(\check{\mathscr {S}}(\lambda , \mu )\) in [12]. Symbolically, it is a family of quadratic relations of the form
where \(X(\mu ) = (X_\alpha (\mu ))_{\alpha \in {\mathbb Z}_{\ge 0}^n}\) denotes a collection of the operator \(X_\alpha (\mu )\) associated with each local state \(\alpha \) of the \(U_q(A^{(1)}_n)\)-zero range process. The parameters \(\lambda , \mu \) are reminiscent of the degrees of the symmetric tensors (magnitude of “spins”) which can be utilized to describe the inhomogeneity of the system. See (12) for a concrete description.
The ZF algebra originates in integrable quantum field theory in \((1+1)\) dimension and encodes the factorized scattering of particles [9, 23]. The structure function therein is the scattering matrix of the theory which should be properly normalized so as to satisfy the unitarity.
In the realm of integrable Markov processes, the situation is parallel. The ZF algebra serves as a local version of the stationary condition in the matrix product construction of the stationary states. Its infinitesimal version, often called “hat relation” or “cancellation mechanism”, has been utilized in many works, e.g., [5, 6, 14, 15, 18]. As in the factorized scattering theory, it is crucial to adopt the correct normalization of \(\check{\mathscr {S}}(\lambda , \mu )\) since the ZF algebra is inhomogeneous in the structure function unlike the more commonly argued \(RLL=LLR\) type relation. In our setting, the normalization is canonically fixed by the sum-to-unity condition mentioned above. See (7).
The main result of this paper is a q-boson representation of the so defined ZF algebra. More precisely, we construct an algebra homomorphism from it to the tensor product \(\mathcal {B}^{\otimes n(n-1)/2}\) where \(\mathcal {B}\) is the q-boson algebra defined in (16). We will give either a recursive characterization with respect to the rank n (Theorem 1) or an explicit formula (Theorem 2). The latter contains quantum dilogarithm type infinite products, which is a distinctive feature reflecting the fact that the stochastic R matrix in [12] formally originates in the symmetric tensor representation of \(U_q(A^{(1)}_n)\) of infinite degree. It provides the first systematic result beyond the simplest choice of the structure function [3, 10] where representations of the ZF algebra associated with the stochastic R matrix of the vector representation of \(U_q(A^{(1)}_n)\) were studied.
The q-boson algebra \(\mathcal {B}\) has a natural representation on the Fock space F as in (37). As an application, we present a matrix product formula for the stationary probabilities of the \(U_q(A^{(1)}_n)\)-zero range process, which is expressed as a trace over \(F^{\otimes n(n-1)/2}\) (Theorem 5). It is a corollary of the auxiliary condition [16, Eq. (30)] satisfied by the q-boson representation as well as the ZF algebra relation. These results extend the earlier ones for \(n=2\) [16] to general n.
The layout of the paper is as follows. In Sect. 2, we quote the stochastic R matrix for \(U_q(A^{(1)}_n)\) from [12]. In Sect. 3, we introduce the ZF algebra and give a q-boson representation. In Sect. 4, the \(U_q(A^{(1)}_n)\)-zero range process associated with the stochastic R matrix [12] is recalled briefly, and a matrix product formula of the stationary probabilities is presented. Section 5 is a summary. Appendix A contains a proof of Theorem 1.
Throughout the paper we assume that q is generic unless otherwise stated and use the notation \(\theta (\mathrm {true})=1, \theta (\mathrm {false}) =0\), the q-Pochhammer symbol \((z)_m = (z; q)_m = \prod _{j=1}^m(1-zq^{j-1})\) and the q-binomial \(\left( {\begin{array}{c}m\\ k\end{array}}\right) _{q} = \theta (k \in [0,m]) \frac{(q)_m}{(q)_k(q)_{m-k}}\). The symbols \((z)_m\) appearing in this paper always mean \((z; q)_m\). For integer arrays \(\alpha =(\alpha _1,\ldots , \alpha _m), \beta =(\beta _1,\ldots , \beta _m)\) of any length m, we write \(|\alpha | = \alpha _1+\cdots + \alpha _m\). The relation \(\alpha \le \beta \) or equivalently \(\beta \ge \alpha \) is defined by \(\beta -\alpha \in {\mathbb Z}^m_{\ge 0}\). We often denote \(0^m:=(0, \ldots , 0) \in {\mathbb Z}^m_{\ge 0}\) simply by 0 when it is clear from the context.
2 Stochastic R matrix for \(U_q(A^{(1)}_n)\)
Set \(W = \bigoplus _{\alpha =(\alpha _1,\ldots , \alpha _n) \in {\mathbb Z}_{\ge 0}^n} {\mathbb C}|\alpha \rangle \). Define the operator \(\mathscr {S}(\lambda ,\mu ) \in \mathrm {End}(W \otimes W)\) depending on the parameters \(\lambda \) and \(\mu \) by
where \(\Phi _q(\gamma | \beta ; \lambda ,\mu )\) with \(\beta = (\beta _1,\ldots , \beta _n) \in {\mathbb Z}_{\ge 0}^n, \gamma =(\gamma _1,\ldots , \gamma _n) \in {\mathbb Z}_{\ge 0}^n\) is given by
The sum (1) is finite due to the \(\theta \) factor in (2). The difference property \(\mathscr {S}(\lambda ,\mu )=\mathscr {S}(c\lambda ,c\mu )\) is absent. We call \(\mathscr {S}(\lambda , \mu )\) the stochastic R matrix [12]. It originates in the quantum R matrix [7, 11] of the symmetric tensor representation of the quantum affine algebra \(U_q(A^{(1)}_n)\). It satisfies the Yang–Baxter equation, the inversion relation and the sum-to-unity condition [12, 16]:
where the checked R matrix \(\check{\mathscr {S}}(\lambda ,\mu )\) and the transposed R matrix \(\mathscr {S}^T(\lambda ,\mu )\) are defined by \(\check{\mathscr {S}}(\lambda ,\mu )(|\alpha \rangle \otimes |\beta \rangle ) = \sum _{\gamma ,\delta } \mathscr {S}(\lambda ,\mu )_{\alpha ,\beta }^{\gamma ,\delta } \,|\delta \rangle \otimes |\gamma \rangle \), and \(\mathscr {S}^T(\lambda ,\mu )(|\alpha \rangle \otimes |\beta \rangle ) = \sum _{\gamma ,\delta \in {\mathbb Z}_{\ge 0}^n}\mathscr {S}(\lambda ,\mu )^{\alpha ,\beta }_{\gamma ,\delta } \,|\gamma \rangle \otimes |\delta \rangle \). The matrix elements are depicted as
When preferable, we will exhibit the n-dependence of (3) as \(\Phi ^{(n)}_q(\gamma | \beta ; \lambda , \mu )\). The function \(\Phi ^{(1)}_q(\gamma | \beta ; \lambda , \mu )\) appeared in Povolotsky’s chipping model [19], which stimulated many subsequent studies. It was also built in the explicit formula of \(U_q(A^{(1)}_1)\) R matrix and Q-operators by Mangazeev [17].
For n general it is zero unless \(\gamma \le \beta \), and satisfies the sum rule [12]:
which may be viewed as a corollary of (7).
For an array of nonnegative integers \(\alpha =(\alpha _1,\ldots , \alpha _m)\) with any length m, we use the notation
Then it is straightforward to check
3 q-Boson representation of Zamolodchikov-Faddeev algebra
3.1 Zamolodchikov-Faddeev algebra
With an array \(\alpha =(\alpha _1,\ldots , \alpha _n) \in {\mathbb Z}^n_{\ge 0}\) and a parameter \(\mu \), we associate an operator \(X_\alpha (\mu )\). By the Zamolodchikov-Faddeev algebra for the stochastic R matrix \(\mathscr {S}(\lambda ,\mu )\) we mean the following family of quadratic relations:
It is associative due to the Yang–Baxter equation (5). From (2) it reads more explicitly as
where the omitted condition \(\gamma \in {\mathbb Z}_{\ge 0}^n\) should always be taken for granted. We find it convenient to work also with another normalization \(Z_\alpha (\mu )\) specified by
The ZF algebra for the latter takes the form
due to the identity
3.2 q-Boson representation
Let \(\mathcal {B}\) be the algebra generated by \(1, \mathbf{b},\mathbf{c}, \mathbf{k}\) obeying the relations
We call it the q-boson algebra. It has a basis \(\{\mathbf{b}^i \mathbf{c}^j\mid i,j \in {\mathbb Z}_{\ge 0}\}\). See (37) for a representation on the Fock space.
The ZF algebra (15) admits a “trivial” representation \(Z_\alpha (\zeta ) = K_\alpha \) in terms of an operator \(K_\alpha \) satisfying \(K_0 = 1\) and \(K_\alpha K_\beta = q^{\varphi (\alpha , \beta )}K_{\alpha +\beta }\) as shown in [16, Prop.7]. See (3) for the definition of \(\varphi (\alpha , \beta )\). Such a \(K_\alpha \) is easily constructed, for instance asFootnote 1
However, this is not the representation we are after because it does not contain a creation operator \(\mathbf{b}\) and leads to vanishing trace in the forthcoming matrix product formula (38). Our construction of \(Z_\alpha (\zeta )\) below may be viewed as a series expansion starting from the trivial representation in terms of creation operators.
For \(\alpha _i \in {\mathbb Z}_{\ge 0}\), we define the operator \(Z_{\alpha _1,\ldots , \alpha _{n}}(\zeta ) \in \mathcal {B}^{\otimes n(n-1)/2}\) by the \(n=1\) case and the recursion relation with respect to n by
where \(X_l(\zeta )= g_l(\zeta )Z_l(\zeta )\) as in (14) and \(\alpha ^+_i\) is defined by (17). Now we present the first half of the main result of the paper.
Theorem 1
The \(Z_\alpha (\zeta )\) defined by (18)–(19) satisfies the ZF algebra (15) for general n.
We present a proof in Appendix.
3.3 Explicit formula
One can take the infinite sum in (19) and write down an explicit formula of \(Z_{\alpha _1,\ldots , \alpha _{n}}(\zeta )\) in terms of a product of \((\zeta ^{-1}Q)_\infty ^{\pm 1}\) with various monomials \(Q \in \mathcal {B}^{\otimes n(n-1)/2}\). Note that (19) tells the simple dependence on \(\alpha \) as
Here and in what follows, \(K_{\alpha _1,\ldots , \alpha _{n}}\) is to be understood as the one in (17). Thus, our task is reduced to the calculation of the special case of the sum (19):
Let us illustrate it for \(n=2\) and 3. For \(n=2\), one has
by means of the formula
This result agrees with [16, Eq. (39)]. For \(n=3\), the sum (21) is calculated using \((\zeta )_{l_1+l_2} = (\zeta )_{l_2}(q^{l_2}\zeta )_{l_1}\) as
These results on \(Z_{0,\ldots ,0}(\zeta )\) are neatly presented as
Let us proceed to general \(n \,(\ge 2)\) case. Substitution of (20)\(|_{n\rightarrow n-1}\) into the RHS of (21) gives
To systematize the calculation, we introduce copies \(\mathcal {B}_{i,j} = \langle 1, \mathbf{b}_{i,j}, \mathbf{c}_{i,j}, \mathbf{k}_{i,j} \rangle \) of the q-boson algebras and the generators for \(1 \le i \le j \le n-1\) obeying (16) within each \(\mathcal {B}_{i,j}\) and \([\mathcal {B}_{i,j}, \mathcal {B}_{i',j'}]=0\) if \((i,j) \ne (i',j')\). We take them so that \(Z_{\alpha _1,\ldots , \alpha _{n}}(\zeta ) \in \bigotimes _{1 \le i \le j \le n-1}\mathcal {B}_{i,j}\) and (24) reads
where \(l^+_j = l_{j+1}+ \cdots + l_{n-1}\). This corresponds to labeling the components in the tensor product \(\mathcal {B}^{\otimes n(n-1)/2}\) as
As exemplified in the above formula of \(Y_n(\zeta )\), using the q-bosons \(\mathcal {B}_{i,j}\) with indices allow us to avoid the cumbersome factor \(1^{\otimes N}\) as in (24).
One can rearrange the summand in \(Y_n(\zeta )\) by reordering the commuting generators only as
In particular, \(A_{1,n-1}=\mathbf{c}_{1,n-2}\mathbf{b}_{1,n-1}\) and \(A_{n-1,n-1} = \mathbf{k}_{1,n-2} \cdots \mathbf{k}_{n-2,n-2}\mathbf{b}_{n-1,n-1}\). By utilizing the decomposition \((\zeta )_{|l|} = (\zeta )_{l_1+\cdots + l_{n-2}} (q^{l_1+\cdots + l_{n-2}}\zeta )_{l_{n-1}}\), the sum over \(l_{n-1}\) is taken, leading to
where the second step is due to \(A_{n-1,n-1}A_{j,n-1} = q^{-1}A_{j,n-1}A_{n-1,n-1}\, (1 \le j \le n-2)\). Now the sum over \(l_{n-2}\) can be taken in the same manner. Repeating this process we arrive at
where the rightmost expression in (27) follows from a similar calculation taking the sum (26) in the order \(l_1, l_2, \ldots , l_{n-1}\) applying the decomposition \((\zeta )_{|l|} = (\zeta )_{l_2+\cdots + l_{n-1}} (q^{l_2+\cdots + l_{n-1}}\zeta )_{l_1}\) first.
The explicit formulas derived in this way supplement the recursive characterization in Theorem 1. They constitute the latter half of the main result of the paper. We summarize them in
Theorem 2
The ZF algebra (15) has the following representation in \(\bigotimes _{1 \le i \le j \le n-1}\mathcal {B}_{i,j}\):
The cases \(n= 2,3\) reproduce (23) under the identification \(\mathbf{x}_{1,1}=\mathbf{x} \otimes 1 \otimes 1, \mathbf{x}_{1,2} = 1 \otimes \mathbf{x} \otimes 1, \mathbf{x}_{2,2} = 1 \otimes 1 \otimes \mathbf{x}\) in accordance with (25).
Remark 3
An interesting corollary of the ZF algebra (12) and \(\mathscr {S}(\lambda , \mu )_{\gamma ,\delta }^{0,0} = \theta (\gamma =\delta = 0)\) is the commutativity:
In addition to it, we have
To see this, note that the transformation \((\mathbf{b}_{i,j}, \mathbf{c}_{i,j}, \mathbf{k}_{i,j}) \rightarrow (\eta _{i,j} \mathbf{b}_{i,j}, \eta _{i,j}^{-1}\mathbf{c}_{i,j}, \mathbf{k}_{i,j})\) is an automorphism of the q-boson algebra \(\bigotimes _{1 \le i \le j \le m} \mathcal {B}_{i,j}\) for any m and \(\eta _{i,j}\ne 0\). Choosing \(\eta _{i,j} = \eta ^{\theta (j=m)}\) leads to \(A_{i,m} \rightarrow \eta A_{i,m}\) hence \(V_m(\zeta ) \rightarrow V_m(\zeta /\eta )\). Therefore the above commutativity follows by applying this automorphism to the equality \(V_{m}(1)V_{m}(\zeta )^{-1} = V_{m}(\zeta )^{-1}V_{m}(1)\) in Theorem 2.
Before closing the section, let us explain the relation to the work [15] where an inhomogeneous generalization of an n-species totally asymmetric zero range process was introduced and a matrix product formula of the stationary states was obtained. Let \(X^{(n)}_{\alpha _1,\ldots , \alpha _n}\) be the homogeneous case \(w_1=\cdots = w_n=1\) of the matrix product operator defined from the initial condition \(X^{(1)}_{\alpha _1} = 1\) recursively by [15, Eq. (3.4)], i.e.,
for \(n\ge 2\), where \(\alpha ^+_i\) is given by (17). The operators \(\mathbf{b}, \mathbf{c}, \mathbf{k}\) here are regarded as representations (37) of q-boson generators at \(q=0\), which are given by \(\mathbf{a}^+, \mathbf{a}^-\) and \(\mathbf{k}\) in [14, Eq. (2.3)], respectively. Let us consider an automorphism of the q-boson algebra given by the replacement
We claim that (29) is reproduced from the corresponding representation of \(Z_{\alpha _1,\ldots , \alpha _n}(\zeta )\) in this paper by
To see (31), note that it holds as \(1=1\) for \(n=1\). Moreover, the recursion (19) is equivalently presented as
The point here is that \(\zeta ^{-l_1-\cdots - l_{n-1}}\) that was contained in the coefficient in (19) via (14) has been absorbed away into q-bosons. Now the limits \(q,\zeta \rightarrow 0\) can be smoothly taken reducing the above relation to (29).
4 Application to \(U_q(A^{(1)}_n)\)-zero range process
4.1 \(U_q(A^{(1)}_n)\)-zero range process
Let us briefly recall the discrete time inhomogeneous \(U_q(A^{(1)}_n)\)-zero range process. Among a few versions of the models introduced in [12], it corresponds to the discrete time inhomogeneous one described in Sect. 3.3 therein. As we will remark after Theorem 5, it covers the continuous time version mentioned in (36).
Let L be a positive integer. Introduce the operator
In the terminology of the quantum inverse scattering method, it is the row transfer matrix of the \(U_q(A^{(1)}_n)\) vertex model of length L with periodic boundary condition whose quantum space is \(W^{\otimes L}\) with inhomogeneity parameters \(\mu _1, \ldots , \mu _L\) and the auxiliary space W carrying a parameter \(\lambda \). If these spaces are labeled as \(W_1\otimes \cdots \otimes W_L\) and \(W_0\), the stochastic R matrix \(\mathscr {S}_{0,i}(\lambda , \mu _i)\) acts as \(\mathscr {S}(\lambda , \mu _i)\) on \(W_0 \otimes W_i\) and as the identity elsewhere. Owing to (4) and (6), the matrix (32) forms a commuting family (cf. [1]):
We write the vector \(|\alpha _1\rangle \otimes \cdots \otimes |\alpha _L\rangle \in W^{\otimes L}\) representing a state of the system as \(|\alpha _1,\ldots , \alpha _L\rangle \) and the action of \(T=T(\lambda |\mu _1,\ldots , \mu _L) \) as
Then the matrix element is depicted by the concatenation of (8) as
where the summand means \(\prod _{i=1}^L \mathscr {S}(\lambda , \mu _i)_{\gamma _{i-1},\beta _i}^{\gamma _i, \alpha _i}\) with \(\gamma _0=\gamma _L\). By the construction it satisfies the weight conservation, i.e., \(T_{\beta _1,\ldots , \beta _L}^{\alpha _1,\ldots , \alpha _L} = 0\) unless \(\alpha _1+\cdots +\alpha _L = \beta _1+\cdots + \beta _L \in {\mathbb Z}_{\ge 0}^{n}\).
Let t be a time variable and consider the evolution equation
Although this is an equation in an infinite-dimensional vector space, it splits into finite-dimensional subspaces which we call sectors due to the weight conservation property mentioned in the above. For an array \(m=(m_1,\ldots , m_n) \in {\mathbb Z}^n_{\ge 0}\) and the set \(S(m) = \{(\sigma _1,\ldots , \sigma _L) \in ({\mathbb Z}^n_{\ge 0})^L\mid \sigma _1+\cdots + \sigma _L = m\}\), the corresponding sector which will also be referred to as m, is given by \(\bigoplus _{(\sigma _1,\ldots , \sigma _L)\in S(m)} {\mathbb C}|\sigma _1,\ldots , \sigma _L\rangle \). We interpret a vector \(|\sigma _1,\ldots , \sigma _L\rangle \in W^{\otimes L}\) with \(\sigma _i=(\sigma _{i,1},\ldots , \sigma _{i,n}) \in {\mathbb Z}_{\ge 0}^n\) as a state in which the i th site from the left is populated with \(\sigma _{i,a}\) particles of the a th species. Thus, \(m=(m_1,\ldots , m_n)\) means that there are \(m_a\) particles of species a in total in the corresponding sector.
To interpret (35) as the master equation of a discrete time Markov process, the matrix \(T=T(\lambda |\mu _1,\ldots , \mu _L) \) should fulfill the conditions (i) non-negativity; all the elements (34) belong to \({\mathbb R}_{\ge 0}\) and (ii) sum-to-unity property; \(\sum _{\alpha _1,\ldots , \alpha _L\in {\mathbb Z}_{\ge 0}^{n}} T_{\beta _1,\ldots , \beta _L}^{\alpha _1,\ldots , \alpha _L} = 1\) for any \((\beta _1,\ldots , \beta _L) \in ({\mathbb Z}_{\ge 0}^n)^L\).
The property (i) holds if \(\Phi _q(\gamma |\beta ; \lambda ,\mu _i)\ge 0\) for all \(i \in {\mathbb Z}_L\). This is achieved by taking \(0< \mu ^{\epsilon }_i< \lambda ^{\epsilon }< 1, 0< q^{\epsilon }<1\) in the either alternative \(\epsilon =\pm 1\). The property (ii) means the total probability conservation and can be shown using (9) as in [12, Sec.3.2].
We call \(T(\lambda |\mu _1,\ldots , \mu _L) \) Markov transfer matrix assuming \(0< \mu _i< \lambda< 1,0< q<1\). The equation (35) represents a stochastic dynamics of n-species of particles hopping to the right periodically via an extra lane (horizontal arrows in (34)) which particles get on or get off when they leave or arrive at a site. The rate of these local processes is specified by (2), (3) and (8). For \(n=1\) and the homogeneous choice \(\mu _1=\cdots = \mu _L\), it reduces to the model introduced in [19].
From the homogeneous case \(\mu _1 = \cdots = \mu _L= \mu \) of the Markov transfer matrix \(T(\lambda |\mu _1,\ldots , \mu _L)\) (32), one can deduce the continuous time \(U_q(A^{(1)}_n)\)-zero range process by a derivative with respect to \(\lambda \) at appropriate points [12, Sec.3.4]. The resulting Markov matrix H in the master equation \(\frac{d}{dt}|P(t)\rangle =H|P(t)\rangle \) consists of pairwise interaction terms as \(H= \sum _{i \in {\mathbb Z}_L}h_{i,i+1}\) where \(h_{i,i+1}\) acts on the \((i,i+1)\) th sites as h and as the identity elsewhere. The local Markov matrix h is the \(\epsilon =1\) case of [12, Rem.9], which reads as
where the constraint \(\gamma >0\) for \(\gamma \in {\mathbb Z}^n_{\ge 0}\) is equivalent to \(|\gamma |\ge 1\). The parameters a, b are arbitrary as long as \(a,b \in {\mathbb R}_{\ge 0}\) since the contributions proportional to them are commuting. See [12, Eq. (60)].
4.2 Stationary states
By definition a stationary state of the discrete time \(U_q(A^{(1)}_n)\)-zero range process (35) is a vector \(|\overline{P}\rangle \in W^{\otimes L}\) such that
The stationary state is unique in each sector m, which we denote by \(|\overline{P}(m)\rangle \). Apart from m, it depends on q and the inhomogeneity parameters \(\mu _1, \ldots , \mu _L\) but not on \(\lambda \) thanks to the commutativity (33). Sectors \(m=(m_1,\ldots , m_n)\) such that \(\forall m_a \ge 1\) are called basic. Non-basic sectors are equivalent to a basic sector of some \(n'<n\) models with a suitable relabeling of the species. Henceforth, we concentrate on the basic sectors. The coefficient appearing in the expansion
is the stationary probability if it is properly normalized as \(\sum _{(\sigma _1,\ldots , \sigma _L) \in S(m)} {\mathbb P}(\sigma _1,\ldots , \sigma _L) = 1\). In this paper, unnormalized ones will also be referred to as stationary probabilities by abuse of terminology.
If the dependence on the inhomogeneity parameters are exhibited as \({\mathbb P}(\sigma _1,\ldots , \sigma _L; \mu _1, \ldots , \mu _L)\), we have the cyclic symmetry \({\mathbb P}(\sigma _1,\ldots , \sigma _L; \mu _1, \ldots , \mu _L) ={\mathbb P}(\sigma _L,\sigma _1, \ldots , \sigma _{L-1}; \mu _L, \mu _1, \ldots , \mu _{L-1})\) by the construction. Examples of stationary states for \(U_q(A^{(1)}_2)\)-zero range process have been given in [12, 16].
Example 4
Consider \(U_q(A^{(1)}_3)\)-zero range process in the minimum sector \(m=(1,1,1)\) and system size \(L=2\), which is an eight-dimensional space. For the homogeneous case \(\mu _1=\mu _2=\mu \), the stationary state is given up to normalization by
where “cyclic” means further four terms obtained by the change \(|\sigma _1,\sigma _2\rangle \rightarrow |\sigma _2,\sigma _1\rangle \). We have employed the multiset notation \(|3, 12\rangle \) to mean \(|(0,0,1), (1,1,0)\rangle \) etc. In the inhomogeneous case, we have
for example. The other ratios contain bulky factors. We expect that there is a normalization such that all the stationary probabilities belong to \({\mathbb Z}_{\ge 0}[q, -\mu _1,\ldots , -\mu _n]\).
4.3 Matrix product construction
Let \(F = \bigoplus _{m \ge 0}{\mathbb C}(q) |m\rangle \) be the Fock space and \(F^*= \bigoplus _{m \ge 0}{\mathbb C}(q) \langle m |\) be its dual on which the q-boson operators \(\mathbf{b}, \mathbf{c}, \mathbf{k}\) act as
where \(|-1\rangle = \langle -1 |=0\). They satisfy the defining relations (16). We specify the bilinear pairing of \(F^*\) and F as \(\langle m | m'\rangle = \theta (m=m')(q)_m\). Then \(\langle m| (X|m'\rangle ) = (\langle m|X)|m'\rangle \) holds and the trace is given by \(\mathrm {Tr}(X) = \sum _{m \ge 0} \frac{\langle m|X|m\rangle }{(q)_m}\). As a vector space, the q-boson algebra \(\mathcal {B}\) has the direct sum decomposition \(\mathcal {B} = {\mathbb C}(q) 1 \oplus \mathcal {B}_{\text {fin}}\), where \(\mathcal {B}_{\text {fin}} = \bigoplus _{r \ge 1} (\mathcal {B}_+^r \oplus \mathcal {B}_-^r \oplus \mathcal {B}_0^r)\) with \(\mathcal {B}^r_+ =\bigoplus _{s\ge 0} {\mathbb C}(q) \mathbf{k}^s\mathbf{b}^r, \mathcal {B}^r_- =\bigoplus _{s\ge 0} {\mathbb C}(q) \mathbf{k}^s\mathbf{c}^r\) and \(\mathcal {B}^r_0 ={\mathbb C}(q) \mathbf{k}^r\). The trace \(\mathrm {Tr}(X)\) is convergent if \(X \in \mathcal {B}_{\text {fin}}\). It vanishes unless \(X \in \bigoplus _{r \ge 1}\mathcal {B}^r_0\) when it is evaluated by \(\mathrm {Tr}(\mathbf{k}^r) = (1-q^r)^{-1}\).
In what follows, we regard \(X_{\alpha _1,\ldots , \alpha _n}(\zeta ) \in \bigotimes _{1 \le i \le j \le n-1}\mathcal {B}_{i,j}\) constructed in Sect. 3 as a linear operator on \(F^{\otimes n(n-1)/2} = \bigotimes _{1 \le i \le j \le n-1} F_{i,j}\), where \(F_{i,j}\) is a copy of F on which q-boson operators from \(\mathcal {B}_{i,j}\) acts as (37). Now we state the main corollary of Theorem 1.
Theorem 5
Stationary probabilities of the discrete time \(U_q(A^{(1)}_n)\)-zero range process in Sect. 4.1 in basic sectors are expressed in the matrix product form
where the trace \(\mathrm {Tr}\) is taken over \(F^{\otimes n(n-1)/2}\).
Proof
From the expression (20), it immediately follows that
which agrees with [16, Eq. (34)] called the auxiliary condition. In [16, Prop.6] it was proved that the ZF algebra (15) and the above relation imply the matrix product formula provided that the trace is convergent and not identically zero. The trace is convergent since (19) implies via an inductive argument with respect to n that nonzero contributions to it contains at least one \(\mathbf{k}\) in every component in \(\bigotimes _{1 \le i \le j \le n-1}\mathcal {B}_{i,j}\). The trace is neither zero. In fact (31) shows that \(\mathrm {Tr}(Z_{\sigma _1}(\mu _1)\cdots Z_{\sigma _L}(\mu _L))\) is still nonzero even at \(q=0, \forall \mu _i=0\) coinciding with the homogeneous case of [15].\(\square \)
The stationary probabilities of the continuous time model (36) is obtained just by specializing (38) to \(\mu _1 = \cdots = \mu _L= \mu \). Under this homogeneous choice, one can slightly simplify the matrix product formula (38) by the replacements (cf. [16, Eq. (42)] for \(n=2\)):
with \(\alpha ^+_i\) given by (17). This is a consequence of the automorphism of q-bosons (30) and removal of a common overall factor in the matrix product (38) within a sector for the homogeneous choice. After these changes the formula (38) with \(\mu _1 = \cdots = \mu _L= \mu \) becomes regular at \(\mu =0\).
Example 6
Set \(\sigma _i=(\sigma _{i,1},\sigma _{i,2},\sigma _{i,3}) \in {\mathbb Z}_{\ge 0}^3\). Up to an overall normalization, Example 4 is reproduced by the \(L=2\) case of
See (22). We have \(\mathbf{x}_1=\mathbf{x}_{1,1}, \mathbf{x}_2=\mathbf{x}_{1,2}, \mathbf{x}_3=\mathbf{x}_{2,2}\) for \(\mathbf{x}=\mathbf{b}, \mathbf{c}\) and \(\mathbf{k}\) in the notation in Theorem 2.
For the homogeneous case \(\mu _1= \cdots = \mu _L = \mu \), this may be replaced, up to normalization, by a slightly simplified version
which is suitable for studying the \(\mu =0\) case.
5 Summary
We have studied the Zamolodchikov-Faddeev algebra (12), (15) whose structure function is the \(U_q(A^{(1)}_n)\) stochastic R matrix (1)–(3) introduced in [12]. A q-boson representation has been constructed either by a recursion relation with respect to the rank n (Theorem 1) or by giving the explicit formula (Theorem 2). It yields a matrix product formula for the stationary probabilities in the \(U_q(A^{(1)}_n)\)-zero range process (Theorem 5). They extend the earlier results for \(n=2\) [16] to general n, although the method of the proof of the ZF algebra relation is different. At \(q=0\), the q-boson representation of the matrix product operators in this paper coincides with the homogeneous case \(w_1=\cdots \cdots = w_n\) of [15] as shown in (31). At \(q=0\), there is another set of matrix product operators originating in the combinatorial R in crystal theory [13] and the tetrahedron equation [14]. They agree with the \(q=0\) case of the present paper for \(n=2\) upon adjustment of conventions. Their relation for \(n\ge 3\) still requires a further investigation.
Notes
We write \(K_\alpha \) with \(\alpha =(\alpha _1,\ldots , \alpha _n)\) as \(K_{\alpha _1,\ldots , \alpha _n}\) rather than \(K_{(\alpha _1,\ldots , \alpha _n)}\) for simplicity. A similar convention will also be used for \(g_\alpha (\zeta ), X_\alpha (\zeta )\) and \(Z_\alpha (\zeta )\).
References
Baxter, R.J.: Exactly solved models in statistical mechanics. Dover (2007)
Borodin, A., Petrov, L.: Higher spin six vertex model and symmetric rational functions. arXiv:1601.05770
Cantini, L., de Gier, J., Wheeler, M.: Matrix product formula for Macdonald polynomials. J. Phys. A Math. Theor. 48, 384001 (2015)
Corwin, I., Petrov, L.: Stochastic higher spin vertex models on the line. arXiv:1502.07374
Crampe, N., Ragoucy, E., Vanicat, M.: Integrable approach to simple exclusion processes with boundaries. Review and progress. J. Stat. Mech. 1411, P11032 (2014)
Derrida, B., Evans, M.R., Hakim, V., Pasquier, V.: Exact solution of a 1D asymmetric exclusion model using a matrix formulation. J. Phys. A Math. Gen. 26, 1493–1517 (1993)
Drinfeld, V.G.: Quantum groups. In: Proceedings of the International Congress of Mathematicians, vol. 1, 2, pp. 798–820 (Berkeley, Calif., 1986), Am. Math. Soc., Providence, RI (1987)
Evans, M.R., Hanney, T.: Nonequilibrium statistical mechanics of the zero-range process and related models. J. Phys. A: Math. Gen. 38, R195–R240 (2005)
Faddeev, L.D.: Quantum completely integrable models in field theory. In: Contemporary Mathematical Physics, vol. IC,pp. 107–155 (1980)
Garbali, A., de Gier, J., Wheeler, M.: A new generalization of Macdonald polynomials. arXiv:1605.07200
Jimbo, M.: A \(q\)-difference analogue of \(U({\mathfrak{g}})\) and the Yang-Baxter equation. Lett. Math. Phys. 10, 63–69 (1985)
Kuniba, A., Mangazeev, V.V., Maruyama, S., Okado, M.: Stochastic \(R\) matrix for \(U_q(A^{(1)}_n)\). Nucl. Phys. B 913, 248–277 (2016)
Kuniba, A., Maruyama, S., Okado, M.: Multispecies totally asymmetric zero range process: I. Multiline process and combinatorial \(R\). J. Integrable Syst. 1(1), xyw002 (2016)
Kuniba, A., Maruyama, S., Okado, M.: Multispecies totally asymmetric zero range process: II. Hat relation and tetrahedron equation. J. Integrable Syst. 1(1), xyw008 (2016)
Kuniba, A., Maruyama, S., Okado, M.: Inhomogeneous generalization of a multispecies totally asymmetric zero range process. J. Stat. Phys. 164, 952–968 (2016)
Kuniba, A., Okado, M.: Matrix product formula for \(U_q(A^{(1)}_2)\)-zero range process. J. Phys. A: Math. Theor. arXiv:1608.02779 (to appear)
Mangazeev, V.: On the Yang-Baxter equation for the six-vertex model. Nucl. Phys. B 882, 70–96 (2014)
Prolhac, S., Evans, M.R., Mallick, K.: Matrix product solution of the multispecies partially asymmetric exclusion process. J. Phys. A: Math. Theor. 42, 165004, 25 (2009)
Povolotsky, A.M.: On the integrability of zero-range chipping models with factorized steady states. J. Phys. A: Math. Theor. 46, 465205, 25 (2013)
Sasamoto, T., Wadati, M.: Exact results for one-dimensional totally asymmetric diffusion models. J. Phys. A: Math. Gen. 31, 6057–6071 (1998)
Takeyama, Y.: A deformation of affine Hecke algebra and integrable stochastic particle system. J. Phys. A: Math. Theor. 47, 465203, 19 (2014)
Takeyama, Y.: Algebraic construction of multi-species \(q\)-Boson system. arXiv:1507.02033
Zamolodchikov, A.B., Zamolodchikov, AI. B.: Two-dimensional factorizable S-matrices as exact solutions of some quantum field theory models. Ann. Phys. 120, 253–291 (1979)
Acknowledgements
This work is supported by Grants-in-Aid for Scientific Research No. 15K04892, No. 15K13429 and No. 16H03922 from JSPS.
Author information
Authors and Affiliations
Corresponding author
Appendix A: Proof of Theorem 1
Appendix A: Proof of Theorem 1
We will use the same symbol \(\varphi (\beta ,\gamma )\) (3) to mean (3)\(|_{n \rightarrow n+1}\). Moreover, \(\sum _{1\le i < j \le n+1}\beta _i \gamma _j\) with \(\beta \in {\mathbb Z}_{\ge 0}^n, \gamma \in {\mathbb Z}_{\ge 0}^{n+1}\) will also be denoted by \(\varphi (\beta ,\gamma )\).
We are going to prove Theorem 1 by induction on n. The relation (15)\(|_{n=1}\) is valid since it is equivalent to (9)\(|_{n=1}\). (The case \(n=2\) has been shown in [16] by a method different from here.) Thus, our task in the sequel is to show (15)\(|_{n\rightarrow n+1}\) assuming (15)\(|_{n=n}\).
Lemma 7
Under the assumption (15) \(|_{n=n}\), the relation (15) \(|_{n\rightarrow n+1}\) follows from the equality
Proof
Substitute (19)\(|_{n \rightarrow n+1}\) into (15)\(|_{n\rightarrow n+1}\). Applying (13) on the LHS, we get
where the temporal notation \((i,j,k) := \mathbf{b}^i \mathbf{k}^j \mathbf{c}^k\) is used. The symbol \(\alpha ^+_i\) is defined by (17)\(|_{n \rightarrow n+1}\) and \(\beta ^+_i, \gamma ^+_i\) are similar. Thus, to prove \(\text {LHS}=\text {RHS}\), it is sufficient, though not a priori necessary, to show that the coefficients of \(X_t(\lambda )X_s(\mu )\) are equal for each choice of \(t,s \in {\mathbb Z}_{\ge 0}^n\) and \(\alpha , \beta \in {\mathbb Z}_{\ge 0}^{n+1}\). Explicitly, it reads
One can pull out the common factor \(\bigotimes _{i=1}^n\mathbf{k}^{\alpha ^+_i+\beta ^+_i}\) from this equality to the left. The result reads
Note that this further contains a common rightmost factor \(\bigotimes _{i=1}^n \mathbf{c}^{\beta _i}\) and a common leftmost factor \(\bigotimes _{i=1}^n\mathbf{b}^{t_i}\). Removing them leads to (39).\(\square \)
Lemma 8
The following identities hold:
Proof
These relations can easily be checked by means of the q-binomial theorem.\(\square \)
Lemma 9
The equality (39) is equivalent to
for any \(s \in {\mathbb Z}_{\ge 0}^n\) and \(\alpha \in {\mathbb Z}_{\ge 0}^{n+1}\).
Proof
Comparing the coefficient of the basis vector \(\bigotimes _{i=1}^n\mathbf{b}^{s_i-p_i}\mathbf{c}^{\alpha _i-p_i}\) of \(\mathcal {B}^{\otimes n}\) on the both sides of (39) by means of (40), it is translated into the equality of the coefficients
for any arrays of nonnegative integers \(\alpha =(\alpha _1, \ldots , \alpha _n,\alpha _{n+1}), s=(s_1,\ldots , s_n), p=(p_1,\ldots , p_n)\) such that \(p_i \le \min (s_i,\alpha _i)\) for all \(1 \le i \le n\). On the RHS of (43), we have introduced the notation
for later convenience. Of course \(\varphi (s^{\vee },\gamma ) = \varphi (s,\gamma )\) by the definition. By substituting (3) into (43) and removing a common overall factor from the both sides, it becomes
where \(\nu = \mu /\lambda \) and \(m^{\vee }, p^{\vee }\) are defined similar to (44). By the replacement
the above relation is cast into
which turns out to be free from \(p=(p_1,\ldots , p_n)\). This coincides with (42).\(\square \)
So far we have shown that Theorem 1 is a corollary of (42). Let us proceed to a proof of the latter.
Lemma 10
The equality (42) holds for \(n \in {\mathbb Z}_{\ge 0}\).
Proof
Again we invoke the induction on n. At \(n=0\), (42) reads \(1= \sum _{\gamma _1 \le \alpha _1} \Phi ^{(1)}_q(\gamma _1|\alpha _1;\lambda , \mu )\), which is indeed valid thanks to (9). Assume (42)\(|_{n\rightarrow n-1}\). Applying (11) to the LHS of (42)\(|_{n=n}\), we get
where \(\overline{m}, \overline{s} \in {\mathbb Z}_{\ge 0}^{n-1}\) and \(\overline{\alpha } \in {\mathbb Z}_{\ge 0}^n\) are defined by (10). Rewriting the sum over \(\overline{m}\) by the induction assumption (42)\(|_{n\rightarrow n-1}\) yields (\(\nu =\mu /\lambda \) as before)
where \(\xi (s,\overline{\alpha }, \overline{\gamma }) =\varphi (\overline{\gamma }, \overline{\alpha })+\varphi (\overline{s},\overline{\gamma }) +\sum _{i=2}^ns_i\gamma _i -\varphi (\overline{\gamma },\overline{\gamma })+ s_1|\overline{\gamma }|\). On the other hand, the RHS of (42) has been written out in the RHS of (45), which is expressed using the above \(\xi (s,\overline{\alpha }, \overline{\gamma })\) as
Denote the summand in (46) by \(\text {LHS}(m_1,\gamma _2,\ldots , \gamma _{n+1})\) and the one in (47) by \(\text {RHS}(\gamma _1,\gamma _2,\ldots , \gamma _{n+1})\). We claim \(\sum _{m_1\le s_1} \text {LHS}(m_1,\gamma _2,\ldots , \gamma _{n+1}) = \sum _{\gamma _1 \le \alpha _1} \text {RHS}(\gamma _1,\gamma _2,\ldots , \gamma _{n+1})\) holds for each fixed \(\overline{\gamma } = (\gamma _2,\ldots , \gamma _{n+1})\). In fact, the two sides possess a common overall factor \(q^{\xi (s,\overline{\alpha }, \overline{\gamma })} \nu ^{|\overline{\gamma }|} \frac{(\lambda )_{|\overline{\gamma }|} (\nu )_{|\overline{\alpha }|-|\overline{\gamma }|}}{(\mu )_{|\overline{\alpha }|}} \prod _{i=2}^{n+1}\left( {\begin{array}{c}\alpha _i\\ \gamma _i\end{array}}\right) _{q}\). By removing it, the claim becomes
This is simply stated as \(f(\alpha _1, s_1; q^{|\overline{\gamma }|}\lambda , q^{|\overline{\alpha }|}\mu ) = f(s_1, \alpha _1; q^{|\overline{\gamma }|}\lambda , q^{|\overline{\alpha }|}\mu )\) in terms of the function defined for \(s,t \in {\mathbb Z}_{\ge 0}\) and \(\nu =\mu /\lambda \) by
This is verified in Lemma 11.\(\square \)
Lemma 11
The function (48) enjoys the symmetry \(f(s,t;\lambda ,\mu ) = f(t,s;\lambda ,\mu )\) for \(s,t \in {\mathbb Z}_{\ge 0}\).
Proof
By applying (41) to the factor \(q^{si}\) in (48), \(f(s,t;\lambda , \mu )\) is rewritten as follows:
Replacing i by \(i+r\), we have
From \(\sum _{i=0}^{t-r} \Phi ^{(1)}_q(i|t-r;q^r\lambda , q^r\mu )=1\) (9), we find \(h(r,t;\lambda , \mu )=1\). Then the expression (49) tells that \(f(s,t;\lambda , \mu )=f(t,s;\lambda , \mu )\).\(\square \)
Proof of Theorem 1
As a summary of the arguments so far, the induction step from (15)\(|_{n=n}\) to (15)\(|_{n=n+1}\) has been established by the following scheme:
Since (15)\(|_{n=1}\) is valid as explained in the beginning of the appendix, the ZF relation (15) holds for any n. This completes the proof of Theorem 1. \(\square \)
Rights and permissions
About this article
Cite this article
Kuniba, A., Okado, M. A q-boson representation of Zamolodchikov-Faddeev algebra for stochastic R matrix of \(\varvec{U_q(A^{(1)}_n)}\) . Lett Math Phys 107, 1111–1130 (2017). https://doi.org/10.1007/s11005-016-0934-7
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11005-016-0934-7