Determinantal Representation of the Time-Dependent Stationary Correlation Function for the Totally Asymmetric Simple Exclusion Model
The basic model of the non-equilibrium low dimensional physics the so-called totally asymmetric exclusion process is related to the 'crystalline limit' (q → ∞) of the SUq(2) quantum algebra. Using the quantum inverse scattering method we obtain the exact expression for the time-dependent s...
Gespeichert in:
| Veröffentlicht in: | Symmetry, Integrability and Geometry: Methods and Applications |
|---|---|
| Datum: | 2009 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Englisch |
| Veröffentlicht: |
Інститут математики НАН України
2009
|
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/149146 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Determinantal Representation of the Time-Dependent Stationary Correlation Function for the Totally Asymmetric Simple Exclusion Model / N.M. Bogoliubov // Symmetry, Integrability and Geometry: Methods and Applications. — 2009. — Т. 5. — Бібліогр.: 41 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1859715995924430848 |
|---|---|
| author | Bogoliubov, N.M. |
| author_facet | Bogoliubov, N.M. |
| citation_txt | Determinantal Representation of the Time-Dependent Stationary Correlation Function for the Totally Asymmetric Simple Exclusion Model / N.M. Bogoliubov // Symmetry, Integrability and Geometry: Methods and Applications. — 2009. — Т. 5. — Бібліогр.: 41 назв. — англ. |
| collection | DSpace DC |
| container_title | Symmetry, Integrability and Geometry: Methods and Applications |
| description | The basic model of the non-equilibrium low dimensional physics the so-called totally asymmetric exclusion process is related to the 'crystalline limit' (q → ∞) of the SUq(2) quantum algebra. Using the quantum inverse scattering method we obtain the exact expression for the time-dependent stationary correlation function of the totally asymmetric simple exclusion process on a one dimensional lattice with the periodic boundary conditions.
|
| first_indexed | 2025-12-01T08:11:43Z |
| format | Article |
| fulltext |
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 5 (2009), 052, 11 pages
Determinantal Representation of the Time-Dependent
Stationary Correlation Function for the Totally
Asymmetric Simple Exclusion Model?
Nikolay M. BOGOLIUBOV
St. Petersburg Department of V.A. Steklov Mathematical Institute,
Fontanka 27, St. Petersburg 191023, Russia
E-mail: bogoliub@pdmi.ras.ru
Received October 30, 2008, in final form April 14, 2009; Published online April 23, 2009
doi:10.3842/SIGMA.2009.052
Abstract. The basic model of the non-equilibrium low dimensional physics the so-called
totally asymmetric exclusion process is related to the ‘crystalline limit’ (q → ∞) of the
SUq(2) quantum algebra. Using the quantum inverse scattering method we obtain the exact
expression for the time-dependent stationary correlation function of the totally asymmetric
simple exclusion process on a one dimensional lattice with the periodic boundary conditions.
Key words: quantum inverse method; algebraic Bethe ansatz; asymmetric exclusion process
2000 Mathematics Subject Classification: 82C23; 81R50
1 Introduction
The study of quantum exactly solvable models within the framework of the quantum inverse
scattering method (QISM) [1, 2, 3] has led to an algebraic structures which are q-deformations
of the universal enveloping algebras [4, 5]. These deformed structures are usually called now
‘quantum groups’ or ‘quantum algebras’. Integrable models associated with the ‘crystalline
limit’ (q →∞) [6] of these algebras play an important role in enumerative combinatorics [7, 8]
and non-equilibrium low dimensional physics [9, 10].
The algebraic approach to the calculation of the correlation functions for the integrable
models within the frames of the (QISM) was developed in the late eighties of the last century [11]
advantage of this approach is that the form of the final answers depends on the R-matrix of the
model and not on the particular realization of the operators intertwained by this matrix. It is
also important that the operator averages are calculated over the eigenstates of the generating
function of the integrals of motion.
The correlation functions for the boson model associated with the ‘crystalline limit’ of the
XXZ R-matrix were calculated in [12, 13] where it was shown that they have the determinantal
form.
The totally asymmetric simple exclusion process (TASEP) is an integrable model that is
connected with the ‘crystalline limit’ of the XXZ R-matrix. It is one of the most studied models
of the low dimensional non-equilibrium physics. The Bethe ansatz approach to the solution of
the model was developed in the papers [14, 15, 16, 17, 18, 19]. The relation of the model to
the QISM has been studied in [20, 21, 22], the model with the twisted boundary conditions
within the frames of this method was considered in [23], and the asymmetric exclusion process
in [24]. The dynamical properties of TASEP are intensively studied (see, e.g., [25, 26, 27] and
?This paper is a contribution to the Proceedings of the XVIIth International Colloquium on Integrable Sys-
tems and Quantum Symmetries (June 19–22, 2008, Prague, Czech Republic). The full collection is available at
http://www.emis.de/journals/SIGMA/ISQS2008.html
mailto:bogoliub@pdmi.ras.ru
http://dx.doi.org/10.3842/SIGMA.2009.052
http://www.emis.de/journals/SIGMA/ISQS2008.html
2 N.M. Bogoliubov
the references in these papers). The KPZ scaling limit of TASEP was considered, in particular,
in [14, 28, 29].
In the present paper we shall consider the TASEP on a periodic lattice with the finite number
of sites and with the finite number of particles. We shall represent the form-factors of the local
operators in the determinantal form using the algebraic approach of the QISM. This result may
be considered as the main result of the present paper.
The paper is structured as follows. In Section 2, the definition of the model is given. The
algebraic approach to the solution of the model is presented in Section 3, in this section the
stationary states are expressed through the state vectors of the model and the scalar product
of the state vectors is expressed in the determinantal form. In Section 4, the calculation of the
averages of the local projection operators over the state vectors of the model defined on a lattice
with M sites is reduced to the calculation of the scalar product of the state vectors of the model
defined on the M−1 sites. In Section 5, the well known results on the Bethe ansatz solution are
presented. The answer, based on the results of the section 6, for the time-dependent stationary
correlation function is obtained. Finally, conclusive remarks are given in Section 7.
2 Totally asymmetric simple exclusion model
The totally asymmetric exclusion process describes a system of N particles on a periodic ring
with M sites labelled i = M,M−1, . . . , 2, 1. The particles move randomly only in one direction.
We shall choose this direction from right to left. The exclusion rule forbids to have more than
one particle per site.
This process can be conveniently represented using the spin description - in each lattice site
the spin-up state corresponds to the empty site |0〉, the spin-down state corresponds to the
occupied one |1〉. The configuration of N particles (2N ≤ M) located on the sites M ≥ m1 >
m2 > · · · > mN ≥ 1 is given by the basis vector
|m1,m2, . . . ,mN 〉 = σ−m1
σ−m2
· · ·σ−mN
|Ω〉,
where the generating state |Ω〉 is the state with all spins up
|Ω〉 = ⊗M
i=1|0〉i.
The described process is defined by a non-Hermitian Hamiltonian [14]:
H = −
M∑
j=1
{
σ−j+1σ
+
j +
1
4
(σz
j+1σ
z
j − 1)
}
. (1)
Here σ±,z are the Pauli matrices, the matrix with subindex j acts nontrivially only in the j-th
spin space of the total space of states of the chain
(
C2
)⊗M : sj = I ⊗ · · · ⊗ I ⊗ s ⊗ I ⊗ · · · ⊗ I,
and the periodic boundary conditions are assumed: σn = σn+M .
In the matrix representation −H is the Markov matrix that controls the time evolution of
the probability measure.
The first term of the Hamiltonian describes the hoppings of particles
σ−j+1σ
+
j |0〉j+1|1〉j = |1〉j+1|0〉j .
The second term counts the number of the allowed jumps of the particles with hard-core repul-
sion.
In our paper we shall consider the time-dependent stationary correlation function [14]
Z−1
N 〈SN |s1e
−|t|Hsm|SN 〉, (2)
Determinantal Representation of the Time-Dependent Stationary Correlation Function 3
where the projection operator
sk =
1
2
(1 + σz
k) (3)
has value 1 if there is no particle at site k and 0 otherwise. In the steady state |SN 〉 every spin
configuration with N spins down has the equal weight:
|SN 〉 =
∑
M≥m1>m2>···>mN≥1
|m1, . . . ,mN 〉.
This state is a ground state of Hamiltonian with the eigenvalue zero:
H|SN 〉 = 0.
The left eigenvector of H with the eigenvalue zero is
〈SN | =
∑
M≥m1>m2>···>mN≥1
〈m1, . . . ,mN |.
The total number of configurations in the ground state
ZN = 〈SN |SN 〉 =
M !
N !(M −N)!
.
One can express the right steady state in the following form [30]:
|SN 〉 = PN
R |Ω〉, (4)
where PN
R is the N -th power of operator
PR =
M∑
k=1
sM · · · sk+1σ
−
k ,
sj are projection operators (3) and σ−k are Pauli matrices. Similarly for the left steady state one
has
〈SN | = 〈Ω|PN
L (5)
with the operator PL equal to
PL =
M∑
k=1
σ+
k sk−1 · · · s1.
3 Solution of the model
To the solution of the model we shall apply the quantum inverse scattering method [1, 2, 3].
The L-operator of the considered model [21, 23] is a 2× 2 matrix with the entries acting on the
space of states of an M -site spin-1
2 chain:
L(n|u) =
(
usn σ−n
σ+
n uI − u−1sn
)
= ssn + (I − s)
(
uI − u−1sn
)
+ σ−σ+
n + σ+σ−n , (6)
where the parameter u ∈ C.
4 N.M. Bogoliubov
The L-operator (6) satisfies the intertwining relation
R(u, v) (L(n|u)⊗ L(n|v)) = (L(n|v)⊗ L(n|u))R(u, v),
in which R(u, v) is the 4× 4 matrix
R(u, v) =
f(v, u) 0 0 0
0 g(v, u) 1 0
0 0 g(v, u) 0
0 0 0 f(v, u)
(7)
with
f(v, u) =
u2
u2 − v2
, g(v, u) =
uv
u2 − v2
.
In the quantum group theory this R-matrix is known as the ‘crystal base’ R-matrix [6].
The monodromy matrix is the product of L-operators
T (u) = L(M |u)L(M − 1|u) · · ·L(1|u) =
(
A(u) B(u)
C(u) D(u)
)
. (8)
The commutation relations of the matrix elements of the monodromy matrix are given by the
same R-matrix (7)
R(u, v) (T (u)⊗ T (v)) = (T (v)⊗ T (u))R(u, v). (9)
In the explicit form the most important of these relations for us are
C(u)B(v) = g(u, v) {A(u)D(v)−A(v)D(u)} ,
A(u)B(v) = f(u, v)B(v)A(u) + g(v, u)B(u)A(v),
D(u)B(v) = f(v, u)B(v)D(u) + g(u, v)B(u)D(v),
[B(u), B(v)] = [C(u), C(v)] = 0. (10)
The transfer matrix τ(u) is the matrix trace of the monodromy matrix
τ(u) = u−M trT (u) = u−M (A(u) + D(u)) . (11)
The relation (9) means that [τ(u), τ(v)] = 0 for arbitrary values of parameters u, v.
The cyclic shift operator τ in the total spin space
(
C2
)⊗M is expressed through the transfer
matrix:
τ ≡ τ(1) = Π12Π23 · · ·ΠM−1M . (12)
Here
Πmn = smsn + (I − sm)(I − sn) + σ−mσ+
n + σ+
mσ−n ,
is the permutation operator: Πmnσm = σnΠmn. The shift operator shifts the site indices
τn−1σ1τ
1−n = σn
and possesses the property τM = I.
In terms of the transfer matrix (11) the Hamiltonian (1) is given by
H = −1
2
τ−1(1)
∂
∂u
τ(u)|u=1. (13)
Determinantal Representation of the Time-Dependent Stationary Correlation Function 5
The right state vector of the model is the vector generated by the multiple action of operators
B̃(u) ≡ u−(M−1)B(u) on the generating state |Ω〉 = ⊗M
i=1|0〉i
|Ψ(u1, u2, . . . , uN )〉 =
N∏
i=1
B̃(ui)|Ω〉. (14)
The generating state is annihilated by the operator C(u)
C(u)|Ω〉 = 0,
and it is an eigenvector of operators A(u) and D(u),
A(u)|Ω〉 = α(u)|Ω〉, D(u)|Ω〉 = δ(u)|Ω〉 (15)
with the eigenvalues
α(u) = uM , δ(u) = (u− u−1)M .
The left state vector is equal to
〈Ψ(u1, u2, . . . , uN )| = 〈Ω|
N∏
i=1
C̃(ui), (16)
where C̃(ui) = u−(M−1)C(u), and 〈Ω|B(u) = 0.
From definitions (6) and (8) one finds by a direct calculation that uM−1B(u) and uM−1C(u)
are polynomials in u2 of degree M − 1:
uM−1B(u) = u2(M−1)PR + · · ·+ (−1)M−1σ−MsM−1 · · · s1,
uM−1C(u) = u2(M−1)PL + · · ·+ (−1)M−1sM · · · s2σ
+
1 .
This decomposition allows us to express the steady states (4) and (5) through the state vec-
tors (14) and (16), namely
|SN 〉 = lim
{u}→∞
N∏
i=1
B̃(ui)|Ω〉, 〈SN | = lim
{u}→∞
〈Ω|
N∏
i=1
C̃(ui). (17)
The scalar product of the state vectors (14) and (16) may be evaluated directly by means
of the commutation relations (10) with the help of Laplace formula for the determinant of the
sum of two matrices. It also may be obtained as a special limit of the general formula for the
scalar products (IX.6.26) of [3]. It should be mentioned that for the R-matrix (7) the auxiliary
quantum fields (IX.6.24) commute and the answer for the scalar product has the determinantal
form. It means that the scalar products of the state vectors of the integrable models associated
with the R-matrix (7) are expressed as the determinants of the matrices with the entries which
depend on f and g elements of R-matrix and on the eigenvalues α and δ (15) that characterize
the particular model.
For the arbitrary variables u, v ∈ C the scalar product of the state vectors of the model is
given by the following expression
〈Ψ(v1, v2, . . . , vN )|Ψ(u1, u2, . . . , uN )〉
=
N∏
j=1
1
(vjuj)M−1
∏
N≥j>k≥1
vjvk
v2
k − v2
j
∏
N≥l>n≥1
ulun
u2
l − u2
n
det Q. (18)
6 N.M. Bogoliubov
The entries of the N ×N matrix Q are
Qjk =
{
vM
j
(
uk − u−1
k
)M
(
uk
vj
)N−1
− uM
k
(
vj − v−1
j
)M
(
uk
vj
)−N+1
}
1
uk
vj
−
(
uk
vj
)−1 .
Using this representation and equalities (17) that represent the steady states through the
state vectors of the model we can calculate the projection of the state vectors (14) and (16) on
the steady states. For the left steady state we have
〈SN |Ψ(u1, u2, . . . , uN )〉 = lim
{v}→∞
N∏
i=1
〈Ψ(v1, v2, . . . , vN )|Ψ(u1, u2, . . . , uN )〉. (19)
This limit may be calculated with a help of the formula
lim
vj→v
det {Φ(vj , uk)}
∆(v)
= det
{
1
j!
∂j
∂vj
Φ(v, uk)
}
,
where Φ(v, u) is an arbitrary differentiable for at least N times function of two variables, and
∆(v) is the Vandermonde determinant. Taking the limit in (19) we obtain [31]:
〈SN |Ψ(u1, u2, . . . , uN )〉 =
N∏
k=1
u2
k
∏
N≥l>n≥1
1
u2
l − u2
n
det V (M),
where V (M) is a N ×N matrix with the entries equal to
V
(M)
jk =
j−1∑
n=0
(−1)n
(
M
n
)
u
2(j−1−n)
k , 1 ≤ j ≤ N − 1,
V
(M)
Nk = −
M∑
n=N−1
(−1)n
(
M
n
)
u
−2(n−N+1)
k . (20)
The projection 〈Ψ(u1, u2, . . . , uN )|SN 〉 is given by the similar expression
〈Ψ(u1, u2, . . . , uN )|SN 〉 =
N∏
k=1
u2
k
∏
N≥n>l≥1
1
u2
l − u2
n
det Ṽ (M),
Ṽ
(M)
jk =
N−j∑
n=0
(−1)n
(
M
n
)
u
2(N−j−n)
k , 2 ≤ j ≤ N,
Ṽ
(M)
1k = −
M∑
n=N
(−1)n
(
M
n
)
u
−2(n−N+1)
k .
4 Form-factors
The calculation of the correlation function (2) we start with the calculation of the matrix ele-
ments 〈SN |s1|Ψ(u1, u2, . . . , uN )〉 and 〈Ψ(v1, v2, . . . , vN )|s1|SN 〉 which by means of (17) are ex-
pressed through the form-factor of the projection operator, namely
〈SN |s1|Ψ(u1, u2, . . . , uN )〉 = lim
{v}→∞
〈Ψ(v1, v2, . . . , vN )|s1|Ψ(u1, u2, . . . , uN )〉,
〈Ψ(v1, v2, . . . , vN )|s1|SN 〉 = lim
{u}→∞
〈Ψ(v1, v2, . . . , vN )|s1|Ψ(u1, u2, . . . , uN )〉. (21)
Determinantal Representation of the Time-Dependent Stationary Correlation Function 7
By the definition (8) the monodromy matrix may be expressed as
T (u) =
(
AM−1(u) BM−1(u)
CM−1(u) DM−1(u)
) (
us1 σ−1
σ+
1 uI − u−1s1
)
.
From this formula it follows that the entries of the monodromy matrix may be expressed as
A(u) = uAM−1(u)s1 + BM−1(u)σ+
1 ,
B(u) = AM−1(u)σ−1 + uBM−1(u)− u−1BM−1(u)s1,
C(u) = uCM−1(u)s1 + DM−1(u)σ+
1 ,
D(u) = CM−1(u)σ−1 + uDM−1(u)− u−1DM−1(u)s1.
Making use of the equalities s2
j = sj , sjσ
−
j = σ+
j sj = 0 we obtain, in particular, that
s1B(u) = (u− u−1)BM−1(u)s1, C(u)s1 = us1CM−1(u). (22)
Substituting the explicit form of the state vectors (14) and (16) into the form-factor (21)
and taking into account the commutation relations (22) we find that for the arbitrary values of
parameters u, v the form-factor is proportional to the scalar product (18) of the state vectors
on a lattice with M − 1 sites:
〈Ψ(v1, v2, . . . , vN )|s1|Ψ(u1, u2, . . . , uN )〉
= 〈Ω|
N∏
j=1
C̃(vj)s1
N∏
i=1
B̃(ui)|Ω〉 = 〈Ω|
N∏
j=1
C̃(vj)s2
1
N∏
i=1
B̃(ui)|Ω〉
=
N∏
k=1
(
1− u−2
k
)
〈Ω|
N∏
j=1
C̃M−1(vj)
N∏
i=1
B̃M−1(ui)|Ω〉.
Taking the limit {v} → ∞ we obtain
〈SL|s1|Ψ(u1, u2, . . . , uN )〉 = lim
{v}→∞
N∏
i=1
〈Ψ(v1, v2, . . . , vN )|s1|Ψ(u1, u2, . . . , uN )〉
=
N∏
k=1
(
1− u−2
k
)
lim
{v}→∞
〈Ω|
N∏
j=1
C̃M−1(vj)
N∏
i=1
B̃M−1(ui)|Ω〉
=
N∏
k=1
(
u2
k − 1
) ∏
N≥l>n≥1
1
u2
l − u2
n
det V (M−1), (23)
where the entries of N × N matrix V (M−1) are (20) with M replaced on M − 1. Respectively
we have
〈Ψ(u1, u2, . . . , uN )|s1|SN 〉 =
N∏
k=1
u2
k
∏
N≥n>l≥1
1
u2
l − u2
n
det Ṽ (M−1). (24)
5 Bethe ansatz solution
By following through the arguments of the algebraic Bethe ansatz method [1, 2, 3] one proves that
the state vectors (14) and (16) are the right and the left eigenstates of the transfer matrix (11)
with the same eigenvalues
τ(v)|Ψ(u1, u2, . . . , uN )〉 = ΘN (v, {u})|Ψ(u1, u2, . . . , uN )〉,
8 N.M. Bogoliubov
〈Ψ(u1, u2, . . . , uN )|τ(v) = 〈Ψ(u1, u2, . . . , uN )|ΘN (v, {u}) (25)
if allowed parameters u1, u2, . . . , uN in (25) satisfy Bethe equations [14, 15, 16, 17, 18, 19]:
(
1− u−2
n
)−M
u−2N
n = (−1)N−1
N∏
j=1
u−2
j ≡ (−1)N−1U−2. (26)
The eigenvalues ΘN (v, {u}) are equal to
ΘN (v, {u}) =
N∏
j=1
u2
j
u2
j − v2
+
(
1− v−2
)M
N∏
j=1
v2
v2 − u2
j
.
From the definition of the cyclic shift operator (12) it follows that its eigenvalues are equal to
ΘN (1, {u}) =
N∏
j=1
1
1− u−2
j
. (27)
From (13) one finds the eigenenergies of the Hamiltonian (1)
EN = −1
2
Θ−1
N (1, {u}) ∂
∂v
ΘN (v, {u})|v=1 = −
N∑
j=1
1
u2
j − 1
.
The obvious solution u1 = u2 = · · · = uN = ∞ provides the stationary solution with the
eigenvalue EN = 0. The steady state |SN 〉 is the eigenvector of the transfer matrix (11) τ(u)
with the eigenvalue equal to one:
τ(u)|SN 〉 = ΘN (v, {∞})|SN 〉 = |SN 〉,
and hence it is stochastic.
The scalar product of eigenvectors (14), (16) is found from formula (18) with vj = uj satisfying
Bethe equations (26). Understanding the diagonal elements of the matrix Q in the sense of
L’Hôpitall rule one obtains the following expression for the norm of any eigenvector:
N 2(u1, u2, . . . , uN ) = 〈Ψ(u1, u2, . . . , uN )|Ψ(u1, u2, . . . , uN )〉 = U2N
∏
l 6=n
1
u2
l − u2
n
det Q̃ (28)
with the entries of the matrix Q̃ equal to
Q̃jk =
N − 1 + (M −N + 1)u−2
j
1− u−2
j
δjk − (1− δjk).
For the special solution u1 = u2 = · · · = uN = ∞ the norm of eigenvectors is equal to ZN .
There is ZN solutions of the Bethe equations [16], and the state vectors belonging to the
different sets of the solutions of the Bethe equations are orthogonal. The eigenvectors (25)
provide the resolution of the identity operator
I =
∑
{u}
|Ψ(u1, u2, . . . , uN )〉〈Ψ(u1, u2, . . . , uN )|
N 2(u1, u2, . . . , uN )
,
where the summation is over all different solutions of Bethe equations (26).
Determinantal Representation of the Time-Dependent Stationary Correlation Function 9
6 Stationary correlation function
For the transitionally invariant system the form-factor of the projection operator sm is expressed
through the form-factor of the operator s1:
〈Ψ(u1, u2, . . . , uN )|sm|SN 〉 = 〈Ψ(u1, u2, . . . , uN )|τm−1s1τ
1−m|SN 〉
=
N∏
j=1
(
1− u−2
j
)1−m
〈Ψ(u1, u2, . . . , uN )|s1|SN 〉,
where the property (27) was used.
The substitution of the resolution of the identity into 〈SN |s1e
−|t|Hsm|SN 〉 gives
〈SN |s1e
−|t|Hsm|SN 〉 =
∑
{u}
〈SN |s1e
−|t|H |Ψ(u1, u2, . . . , uN )〉〈Ψ(u1, u2, . . . , uN )|sm|SN 〉
N 2(u1, u2, . . . , uN )
=
∑
{u}
e−|t|EN
〈SN |s1|Ψ(u1, u2, . . . , uN )〉〈Ψ(u1, u2, . . . , uN )|s1|SN 〉
N 2(u1, u2, . . . , uN )
N∏
j=1
(
1− u−2
j
)m−1
.
From the determinantal representations of the matrix elements (23), (24) and of the norm (28)
we finally obtain the answer for the stationary correlation function (2):
1
ZN
〈SN |s1e
−|t|Hsm|SN 〉 =
(
M −N
M
)2
+
∑
{u}
e−|t|EN
U2N
N∏
j=1
(u2
j − 1)u2
j(
1− u−2
j
)m−1
det Ṽ (M−1) det V (M−1)
det Q̃
,
where the summation is taken over all different solutions of Bethe equations (26) except the
special one. The first term on the r.h.s. is the contribution of the stationary state.
7 Conclusive remarks
The models connected with the ‘crystal base’ R-matrix (7) naturally appear in the theory of the
boxed plane partitions – three-dimensional Young diagrams placed into a box of a finite size,
and in the theory of random walkers [32, 8]. Some aspects of these connections were discussed
in the papers [33, 34, 35, 36, 37, 38].
In its turn plane partitions and random walkers are employed in analyzes of the models
of statistical physics describing faceted crystals [39], direct percolation [40], one-dimensional
growth processes [41]. It emphasizes the importance of the mentioned integrable models in the
theory of the non-equilibrium processes.
Acknowledgements
The work was partially supported by the RFBR grant 07-01-00358.
10 N.M. Bogoliubov
References
[1] Faddeev L.D., Quantum completely integrable models in field theory, Soviet Sci. Rev. Sect. C: Math. Phys.
Rev., Vol. 1, Harwood Academic, Chur, 1980, 107–155.
[2] Kulish P.P., Sklyanin E.K., Quantum spectral transform method. Recent developments, Lecture Notes in
Phys., Vol. 151, Springer, Berlin – New York, 1982, 61–119.
[3] Korepin V.E., Bogoliubov N.M., Izergin A.G., Quantum inverse scattering method and correlation functions,
Cambridge Monographs on Mathematical Physics, Cambridge University Press, Cambridge, 1993.
[4] Drinfel’d V.G., Quantum groups, in Proceedings of the International Congress of Mathematicians, Vols. 1, 2
(Berkeley, Calif., 1986), Amer. Math. Soc., Providence, RI, 1987, 798–820.
[5] Faddeev L.D., Reshetikhin N.Yu., Takhtajan L.A., Quantisation of Lie groups and Lie algebras, Leningrad
Math. J. 1 (1990), 193–225.
[6] Kashivara M., Crystalizing the q-analogue of universal enveloping algebras, Comm. Math. Phys. 133 (1990),
249–260.
[7] Stanley R., Enumerative combinatorics, Vol. 2, Cambridge Studies in Advanced Mathematics, Vol. 62, Cam-
bridge University Press, Cambridge, 1999.
[8] Bressoud D.M., Proofs and confirmations. The story of the alternating sign matrix conjecture, Cambridge
University Press, Cambridge, 1999.
[9] Evans M.R., Blythe R.A., Nonequilibrium dynamics in low-dimensional systems, Phys. A 313 (2002), 110–
152, cond-mat/0110630.
[10] Schütz G., Exactly solvable models for many-body systems far from equilibrium, Phase Transitions and
Critical Phenomena, Vol. 19, Editors C. Domb and J.L. Lebowitz, Academic Press, San Diego, CA, 2001,
1–251.
[11] Korepin V., Dual field formulation of quantum integrable models, Comm. Math. Phys. 113 (1987), 177–190.
[12] Bogoliubov N.M., Izergin A.G., Kitanine N.A., Correlators of the phase model, Phys. Lett. A 231 (1997),
347–352, solv-int/9612002.
[13] Bogoliubov N.M., Izergin A.G., Kitanine N.A., Correlation functions for a strongly correlated boson system,
Nuclear Phys. B 516 (1998), 501–528, solv-int/9710002.
[14] Gwa L.-H., Spohn H., Bethe solution for the dynamical-scaling exponent of the noisy Burgers equation,
Phys. Rev. A 46 (1992), 844–854.
[15] Derrida B., Lebowitz J., Exact large deviation function in the asymmetric exclusion process, Phys. Rev.
Lett. 80 (1998), 209–213, cond-mat/9809044.
[16] Golinelli O., Mallick K., Bethe ansatz calculation of the spectral gap of the asymmetric exclusion process,
J. Phys. A: Math. Gen. 37 (2004), 3321–3331, cond-mat/0312371.
[17] Golinelli O., Mallick K., Spectral gap of the totally asymmetric exclusion process at arbitrary filling,
J. Phys. A: Math. Gen. 38 (2005), 1419–1425, cond-mat/0411505.
[18] de Gier J., Essler F.H.L., Bethe ansatz solution of the asymmetric exclusion process with open boundaries,
Phys. Rev. Lett. 95 (2005), 240601, 4 pages, cond-mat/0508707.
[19] Prolhac S., Mallick K., Current fluctuations in the exclusion process and Bethe ansatz, J. Phys. A: Math.
Theor. 41 (2008), 175002, 20 pages, arXiv:0801.4659.
[20] Noh J.D., Kim D., Interacting domain walls and the five-vertex model, Phys. Rev. E 49 (1995), 1943–1961,
cond-mat/9312001.
[21] Kim D., Bethe Ansatz solution for crossover scaling functions of the asymmetric XXZ chain and the
Kardar–Parisi–Zhang-type growth model, Phys. Rev. E 52 (1995), 3512–3524, cond-mat/9503169.
[22] Lee D.S., Kim D., Large deviation function of the partially asymmetric exclusion process, Phys. Rev. E 59
(1999), 6476–6482, cond-mat/9902001.
[23] Bogoliubov N.M., Nassar T., On the spectrum of the non-Hermitian phase-difference model, Phys. Lett. A
234 (1997), 345–350.
[24] Golinelli O., Mallick K., The asymmetric simple exclusion process: an integrable model for non-equilibrium
statistical mechanics, J. Phys. A: Math. Gen. 39 (2006), 12679–12705, cond-mat/0611701.
[25] Schütz G., Exact solution of the master equation for the asymmetric exclusion process, J. Statist. Phys. 88
(1997), 427–445.
http://arxiv.org/abs/cond-mat/0110630
http://arxiv.org/abs/solv-int/9612002
http://arxiv.org/abs/solv-int/9710002
http://arxiv.org/abs/cond-mat/9809044
http://arxiv.org/abs/cond-mat/0312371
http://arxiv.org/abs/cond-mat/0411505
http://arxiv.org/abs/cond-mat/0508707
http://arxiv.org/abs/0801.4659
http://arxiv.org/abs/cond-mat/9312001
http://arxiv.org/abs/cond-mat/9503169
http://arxiv.org/abs/cond-mat/9902001
http://arxiv.org/abs/cond-mat/0611701
Determinantal Representation of the Time-Dependent Stationary Correlation Function 11
[26] Borodin A., Ferrari P., Prahofer M., Sasamoto T., Fluctuation properties of the TASEP with periodic initial
configuration, J. Statist. Phys. 129 (2007), 1055–1080, math-ph/0608056.
[27] Sasamoto T., Spatial correlations of the 1D KPZ surface on a flat substrate, J. Phys. A: Math. Gen. 38
(2005), L549–L556, cond-mat/0504417.
[28] Prähofer M., Spohn H., Current fluctuations for the totally asymmetric simple exclusion process, in In and
Out of Equilibrium (Mambucaba, 2000), Editor V. Sidoravicius, Progr. Probab., Vol. 51, Birkhäuser Boston,
Boston, MA, 2002, 185–204, cond-mat/0101200.
[29] Prähofer M., Spohn H., Exact scaling functions for one-dimensional stationary KPZ growth, J. Statist. Phys.
115 (2004), 255–279.
[30] Schütz G., Duality relations for asymmetric exclusion processes, J. Statist. Phys. 86 (1997), 1265–1287.
[31] Bogoliubov N.M., Five vertex model with the fixed boundary conditions, Algebra i Analiz 21 (2009), 58–78.
[32] Macdonald I.G., Symmetric functions and Hall polynomials, Oxford Mathematical Monographs. Oxford
Science Publications, The Clarendon Press, Oxford University Press, New York, 1995.
[33] Bogoliubov N.M., Boxed plane partitions as an exactly solvable boson model, J. Phys. A: Math. Gen. 38
(2005), 9415–9430, cond-mat/0503748.
[34] Bogoliubov N.M., Enumeration of plane partitions and the algebraic Bethe ansatz, Theoret. and Math. Phys.
150 (2007), 165–174.
[35] Bogoliubov N.M., Four-vertex model and random tilings, Theoret. and Math. Phys. 155 (2008), 523–535,
arXiv:0711.0030.
[36] Tsilevich N., Quantum inverse method for the q-boson model, and symmetric functions, Funct. Anal. Appl.
40 (2006), 207–217, math-ph/0510073.
[37] Shigechi K., Uchiyama M., Boxed skew plane partition and integrable phase model, J. Phys. A: Math. Gen.
38 (2005), 10287–10306, cond-mat/0508090.
[38] Bogoliubov N.M., Integrable models for vicious and friendly walkers, J. Math. Sci. (N.Y.) 143 (2007),
2729–2737.
[39] Ferrari P.L., Spohn H., Step functions for a faceted crystal, J. Statist. Phys. 113 (2003), 1–46.
[40] Rajesh R., Dhar D., An exactly solvable anisotropic directed percolation model in three dimensions, Phys.
Rev. Lett. 81 (1998), 1646–1649, cond-mat/9808023.
[41] Kardar M., Parisi G., Zhang Y.Z., Dynamic scaling of growing interfaces, Phys. Rev. Lett. 56 (1986),
889–892.
http://arxiv.org/abs/math-ph/0608056
http://arxiv.org/abs/cond-mat/0504417
http://arxiv.org/abs/cond-mat/0101200
http://arxiv.org/abs/cond-mat/0503748
http://arxiv.org/abs/0711.0030
http://arxiv.org/abs/math-ph/0510073
http://arxiv.org/abs/cond-mat/0508090
http://arxiv.org/abs/cond-mat/9808023
1 Introduction
2 Totally asymmetric simple exclusion model
3 Solution of the model
4 Form-factors
5 Bethe ansatz solution
6 Stationary correlation function
7 Conclusive remarks
References
|
| id | nasplib_isofts_kiev_ua-123456789-149146 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1815-0659 |
| language | English |
| last_indexed | 2025-12-01T08:11:43Z |
| publishDate | 2009 |
| publisher | Інститут математики НАН України |
| record_format | dspace |
| spelling | Bogoliubov, N.M. 2019-02-19T17:40:18Z 2019-02-19T17:40:18Z 2009 Determinantal Representation of the Time-Dependent Stationary Correlation Function for the Totally Asymmetric Simple Exclusion Model / N.M. Bogoliubov // Symmetry, Integrability and Geometry: Methods and Applications. — 2009. — Т. 5. — Бібліогр.: 41 назв. — англ. 1815-0659 2000 Mathematics Subject Classification: 82C23; 81R50 https://nasplib.isofts.kiev.ua/handle/123456789/149146 The basic model of the non-equilibrium low dimensional physics the so-called totally asymmetric exclusion process is related to the 'crystalline limit' (q → ∞) of the SUq(2) quantum algebra. Using the quantum inverse scattering method we obtain the exact expression for the time-dependent stationary correlation function of the totally asymmetric simple exclusion process on a one dimensional lattice with the periodic boundary conditions. This paper is a contribution to the Proceedings of the XVIIth International Colloquium on Integrable Systems and Quantum Symmetries (June 19–22, 2008, Prague, Czech Republic). The work was partially supported by the RFBR grant 07-01-00358. en Інститут математики НАН України Symmetry, Integrability and Geometry: Methods and Applications Determinantal Representation of the Time-Dependent Stationary Correlation Function for the Totally Asymmetric Simple Exclusion Model Article published earlier |
| spellingShingle | Determinantal Representation of the Time-Dependent Stationary Correlation Function for the Totally Asymmetric Simple Exclusion Model Bogoliubov, N.M. |
| title | Determinantal Representation of the Time-Dependent Stationary Correlation Function for the Totally Asymmetric Simple Exclusion Model |
| title_full | Determinantal Representation of the Time-Dependent Stationary Correlation Function for the Totally Asymmetric Simple Exclusion Model |
| title_fullStr | Determinantal Representation of the Time-Dependent Stationary Correlation Function for the Totally Asymmetric Simple Exclusion Model |
| title_full_unstemmed | Determinantal Representation of the Time-Dependent Stationary Correlation Function for the Totally Asymmetric Simple Exclusion Model |
| title_short | Determinantal Representation of the Time-Dependent Stationary Correlation Function for the Totally Asymmetric Simple Exclusion Model |
| title_sort | determinantal representation of the time-dependent stationary correlation function for the totally asymmetric simple exclusion model |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/149146 |
| work_keys_str_mv | AT bogoliubovnm determinantalrepresentationofthetimedependentstationarycorrelationfunctionforthetotallyasymmetricsimpleexclusionmodel |