1: \documentclass[12pt]{article}\usepackage{graphicx,amsfonts,amsmath,amssymb,latexsym}
2: % \usepackage[active]{srcltx}
3:
4: \setlength{\oddsidemargin}{-0.8cm}
5: \setlength{\evensidemargin}{0cm}
6: \setlength{\textwidth}{180mm}
7: \setlength{\textheight}{230mm} \setlength{\topmargin}{-10mm}
8:
9:
10: \usepackage{graphicx}
11: \numberwithin{equation}{section}
12:
13: \renewcommand{\title}[1] {%
14: \begingroup\begin{center}\vspace{0.0cm}\bf\Large
15: \addtolength{\baselineskip}{1mm} #1 \end{center}\endgroup}
16:
17: \renewcommand{\author}[1] {%
18: \begingroup\begin{center}\vspace{0.2cm}\bf #1 \vspace{0.2cm}
19: \end{center}\endgroup}
20:
21: \newcommand{\address}[1] {%
22: \begingroup\begin{center} #1 \end{center}\endgroup}
23:
24: \newcommand{\addressemail}[1] {%
25: \begingroup\begin{center}\vspace{3mm}
26: \vskip-\baselineskip #1 \end{center}\endgroup}
27:
28: \newcommand\bz{\bar{z}}
29: \newcommand\Zb{\mathbb{Z}}
30: \newcommand\Rb{\mathbb{R}}
31: \newcommand\Cb{\mathbb{C}}
32: \newcommand\Pb{\mathbb{P}}
33: \newcommand\Cy{\mathcal{C}}
34: \newcommand\ben{\begin{equation*}}
35: \newcommand\ebn{\end{equation*}}
36: \newcommand\be{\begin{equation}}
37: \newcommand\eb{\end{equation}}
38:
39: \begin{document}
40: \title{Transfer matrix eigenvectors \\
41: of the Baxter-Bazhanov-Stroganov $\tau_2$-model for $N=2$}
42: \vspace{0.2cm}
43: \author{Oleg Lisovyy}
44: \address{School of Theoretical Physics,\\
45: Dublin Institute for Advanced Studies, \\
46: 10 Burlington Road, Dublin 4, Ireland\vspace{0.2cm}\\
47: Bogolyubov Institute for Theoretical Physics \\ 14b Metrologichna
48: str., 03143, Kyiv, Ukraine\vspace{0.2cm}}
49: \addressemail{\texttt{olisovyy@stp.dias.ie}}
50: \date{}
51: \begin{abstract}
52: We find a representation of the row-to-row transfer matrix of the Baxter-Bazhanov-Stroganov
53: $\tau_2$-model for $N=2$ in terms of an integral over two commuting sets of grassmann variables.
54: Using this representation, we explicitly calculate transfer matrix eigenvectors and normalize them.
55: It is also shown how form factors of the model can be expressed
56: in terms of determinants and inverses of certain Toeplitz matrices.
57: \end{abstract}
58: \section{Preliminaries}
59: The $\tau_2$-model was originally introduced by Baxter in the
60: work \cite{baxter1}, where it appeared in relation to the superintegrable
61: case of the chiral Potts model. Later it was used by Bazhanov and Stroganov to establish
62: a connection between six-vertex model and chiral Potts model
63: \cite{bs}. This connection has allowed to obtain a system of functional relations
64: for transfer matrices of these models \cite{baxter3} and has led
65: to the derivation of exact formulas for the free energy \cite{energy} and order
66: parameter \cite{order}
67: of the chiral Potts model. Following the authors of \cite{bis,gps}, we will use
68: instead of the name `$\tau_2$-model' the
69: name `Baxter-Bazhanov-Stroganov model' (or simply `BBS model').
70:
71: BBS model is a system of spins, living on a square lattice and
72: taking on $N$ values $0,1,\ldots,N-1$. The interactions exist
73: only between nearest neighbours. In addition, the difference
74: $b_2-b_1$ of neighbouring spins, living on the same vertical line ($b_2$ is higher than
75: $b_1$) is allowed to take on
76: only the values $0$ and $1$ ($\mathrm{mod}\;N$).
77: Consider an elementary plaquette of the lattice, drawn
78: in the Fig.~1a. Boltzmann weights $W(b_1,b_2,b_3,b_4)$, associated to this plaquette,
79: are defined in the following table (our $b_1$, $b_2$, $b_3$, $b_4$ correspond to
80: $d$, $a$, $b$, $c$ of \cite{baxter2} and to $b_4$, $b_1$, $b_2$, $b_3$ of \cite{bis}):
81:
82: \begin{center}
83: \begin{tabular}{c|c|c}
84: % after \\: \hline or \cline{col1-col2} \cline{col3-col4} ...
85: $b_2-b_1$ & $b_3-b_4$ & $W(b_1,b_2,b_3,b_4)$ \\
86: \hline\hline
87: 0 & 0 & $ 1-\omega^{b_1-b_3+1}t/(yy')$ \\
88: 0 & 1 & $(y-\omega^{b_1-b_3+1}x')\mu'/(yy')$\\
89: 1 & 0 & $-(y'-\omega^{b_1-b_3+1}x)\omega\mu t/(yy')$ \\
90: 1 & 1 & $\;-(t-\omega^{b_1-b_3+1}xx')\omega\mu\mu'/(yy')$ \\
91: \end{tabular}
92: \end{center}
93: Here $\omega=e^{2\pi i/N}$ and $t,x,x',y,y',\mu,\mu'$ are
94: parameters. It is easily seen that the model is $\mathbb{Z}_N$-symmetric:
95: if one shifts the spins $b_1,\ldots,b_4$ by $1$, all plaquette
96: Boltzmann weights remain unchanged.
97:
98: \begin{figure}[h]
99: \begin{center}
100: \includegraphics[height=3.2cm]{bbs2f1.eps}\vspace{0.2cm}\\
101: \footnotesize{Fig.~1. a) numeration of spins of an elementary plaquette b)
102: graphical representation of the transfer matrix}
103: \end{center}
104: \end{figure}
105:
106: Consider now the case $N=2$. Let us use instead of
107: $b_1,\ldots,b_4$ new spin variables $\sigma_j=(-1)^{b_j}$
108: ($j=1,\ldots,4$), taking on the values $\pm1$. The most general
109: $\mathbb{Z}_2$-symmetric Boltzmann weight is given by the
110: following formula
111: \be\label{weightg}
112: W(\sigma_1,\sigma_2,\sigma_3,\sigma_4)=a_0\Bigl(1+\!\!\!\sum\limits_{1\leq i<j\leq4}
113: \!\!\!a_{ij}\,\sigma_i\sigma_j+a_4\,\sigma_1\sigma_2\sigma_3\sigma_4\Bigr).
114: \eb
115: The coefficients $a_0,\{a_{ij}\},a_4$, which correspond to BBS$_2$ model, can be written as
116: \begin{eqnarray}\label{bbspars}
117: a_0&=&(y+\mu t)(y'+\mu')/(4yy'), \\
118: a_0a_{4}&=&(y-\mu t)(y'-\mu')/(4yy'),\\
119: a_0a_{12}&=&(y-\mu t)(y'+\mu')/(4yy'), \\
120: a_0a_{34}&=&(y+\mu t)(y'-\mu')/(4yy'), \\
121: a_0a_{13}&=&(1+x\mu)(t+x'\mu')/(4yy'), \\
122: a_0a_{24}&=&(1-x\mu)(t-x'\mu')/(4yy'), \\
123: a_0a_{14}&=&(1+x\mu)(t-x'\mu')/(4yy'), \\
124: \label{bbsparsf}a_0a_{23}&=&(1-x\mu)(t+x'\mu')/(4yy').
125: \end{eqnarray}
126: It was pointed out in \cite{bis} that these coefficients satisfy
127: a `free-fermion condition'
128: \be\label{ffc}
129: a_4=a_{12}a_{34}-a_{13}a_{24}+a_{14}a_{23}.
130: \eb
131:
132: Partition function of the model with plaquette weight
133: (\ref{weightg}), satisfying the condition (\ref{ffc}), was
134: calculated by Bugrij \cite{buggen} even in the case of a finite lattice.
135: This result has allowed to obtain the eigenvalues of the BBS$_2$ transfer matrix
136: without solving any functional relations \cite{bis}.
137: From the technical point of view, the condition (\ref{ffc})
138: means that the Boltzmann weight (\ref{weightg})
139: can be represented as the following integral over four auxiliary grassmann variables
140: $\psi^1$, $\dot{\psi}^2$, $\dot{\psi}^3$, $\psi^4$:
141: \ben
142: W(\sigma_1,\sigma_2,\sigma_3,\sigma_4)=\int
143: d\psi^1\,d\dot{\psi}^2\,d\dot{\psi}^3\,d\psi^{4}\;\exp\Bigl\{
144: a_{12}\sigma_1\sigma_2\psi^1\dot{\psi}^2-a_{13}\sigma_1\sigma_3\psi^1\dot{\psi}^3+
145: a_{14}\sigma_1\sigma_4\psi^1\psi^4+\Bigr.
146: \ebn
147: \be\label{grweight}
148: \Bigl.+a_{23}\sigma_2\sigma_3\dot{\psi}^2\dot{\psi}^3-
149: a_{24}\sigma_2\sigma_4\dot{\psi}^2\psi^4+a_{34}\sigma_3\sigma_4\dot{\psi}^3\psi^4\Bigr\}\;
150: e^{\psi^1}e^{\dot{\psi}^2}e^{\dot{\psi}^3}e^{\psi^4}.
151: \eb
152: Throughout this paper, we will use the convention that `dotted'
153: grassmann variables commute with the usual ones, and that the variables
154: inside each set anticommute:
155: \ben
156: \psi^{\alpha}\psi^{\beta}=-\psi^{\beta}\psi^{\alpha},\qquad
157: \dot{\psi}^{\alpha}\dot{\psi}^{\beta}=-\dot{\psi}^{\beta}\dot{\psi}^{\alpha},\qquad
158: \psi^{\alpha}\dot{\psi}^{\beta}=\dot{\psi}^{\beta}\psi^{\alpha}\qquad
159: \forall\;\alpha,\beta.
160: \ebn
161:
162: The method of grassmann variables was initially designed as a
163: method of simple calculation of the partition function of the
164: 2D Ising model. It was discovered and improved by different
165: authors (\cite{fradkin} is probably the earliest reference). The
166: use of two commuting sets of grassmann variables, which is crucial for our
167: further discussion, was suggested in \cite{bugITP}.
168:
169: The main
170: drawback of the method of grassmann integration is that it does
171: not give the eigenvectors of the transfer matrix, which are
172: necessary ingredients in the computation of
173: correlation functions and form factors. Even in the case of the
174: Ising model, the only known practical way of calculation of
175: these eigenvectors is the algebraic method of Kaufman
176: \cite{kaufman} (it
177: should be mentioned, however, that recently a
178: considerable progress has been achieved\cite{gips} in the calculation of the eigenvectors of
179: the BBS transfer matrix using Sklyanin's method of separation of
180: variables).
181: It consists of two steps. First
182: one should remark that the transfer matrix induces a rotation in a
183: certain Clifford algebra. Then the eigenvectors are given by certain vectors from a Fock
184: space, associated to the basis of this algebra, in which the
185: above rotation is diagonal. Although Kaufman's method was later
186: extended to some other free-fermion models \cite{smj5}, it does
187: not seem to work neither for the general free-fermion model nor in the case of
188: the BBS$_2$ model\footnote{Kaufman's method has also some drawbacks. First,
189: it does not give a convenient representation of eigenvectors in terms of
190: initial spin variables. Therefore, one is forced to do all the calculations
191: in purely algebraic setting. Second, in the Ising case the transfer matrix
192: spectrum is highly degenerate, so the eigenvectors are not determined uniquely.
193: However, in the calculation of correlation functions and form factors
194: one is typically interested in a very precise basis of eigenstates;
195: in addition to the transfer matrix, they should also diagonalize the operator of
196: discrete translations. Kaufman's method does not guarantee this last
197: condition. }. The main complication, as compared to the
198: Ising model case, is that one should \textit{guess} the explicit form
199: of the appropriate rotation of the Clifford algebra.
200:
201: Having spent some time trying to guess the answer for the
202: rotation, the author has finally found another method, which links grassmann integral
203: approach with the transfer matrix formalism and allows to
204: obtain the eigenvectors of the tranfer matrix of the general
205: free-fermion model (i.~e. the model with plaquette weight
206: (\ref{weightg}), satisfying the condition (\ref{ffc})). The
207: present paper is devoted to the exposition of this method.
208:
209: This paper is organized as follows. In the next section, we find
210: a convenient representation of the row-to-row transfer matrix of the periodic BBS$_2$ model
211: (or, rather, general free-fermion model) in terms of a
212: grassmann integral, involving two commuting sets of variables (formulas (\ref{tnsrf}),
213: (\ref{ansr})). In Section~3, the eigenvectors of this transfer
214: matrix are calculated (basic ansatz is given by (\ref{ansatz1})). It should be pointed out that the form of the
215: answer depends on whether the number of sites in one row of the lattice is even or odd.
216: In Section~4, we find a dual basis of eigenvectors and normalize
217: them. It is also shown that one can express form factors of the model
218: in terms of determinants and inverses of certain
219: Toeplitz matrices. Finally, in the last section the above results
220: are specialized to two particular cases (BBS$_2$ model and Ising model)
221: and are rewritten in more common notation.
222:
223:
224: \section{Grassmann integral representation \\ for the transfer matrix}
225: Let us introduce the row-to-row transfer matrix of the
226: BBS$_2$ model. It is given by the product of plaquette Boltzmann
227: weights over one row (see Fig.~1b),
228: \be\label{tm}
229: T[\sigma,\sigma']=\prod_{j=1}^{L}
230: W(\sigma_j,\sigma'_j,\sigma'_{j+1},\sigma_{j+1}),
231: \eb
232: where periodic boundary conditions are imposed on spin
233: variables:
234: \ben
235: \sigma_{L+1}=\sigma_1,\qquad \sigma'_{L+1}=\sigma'_1.
236: \ebn
237: This matrix naturally acts in the $2^L$-dimensional vector
238: space $V$, composed of functions of $L$ spin variables
239: $\sigma_1,\ldots,\sigma_L$. Namely, for any $f[\sigma]\in V$ we
240: define the left action
241: \ben
242: (Tf)[\sigma]=\sum\limits_{[\sigma']}T[\sigma,\sigma']f[\sigma'].
243: \ebn
244: Partition function of the BBS$_2$ model on $L\times M$ lattice, wrapped on the
245: torus, may be expressed in terms of the eigenvalues of $T$:
246: \ben
247: Z(L,M)=\mathrm{Tr}\;T^M=\sum\limits_{[\sigma^{(1)}]}\ldots\sum\limits_{[\sigma^{(M)}]}
248: T[\sigma^{(1)},\sigma^{(2)}]\ldots
249: T[\sigma^{(M)},\sigma^{(1)}].
250: \ebn
251: In order to compute various correlation functions, one also
252: needs to know matrix elements of local field operators in
253: the normalized basis of eigenstates of $T$. To obtain these
254: eigenstates in an explicit form, let us first find a convenient
255: representation of the transfer matrix.
256:
257: From the formulas (\ref{grweight}) and (\ref{tm}) it follows that one can write
258: $T$ in the form of a grassmann integral,
259: \ben
260: T[\sigma,\sigma']=a_0^L\int\mathcal{D}\psi\mathcal{D}\dot{\psi}\,
261: \exp\biggl\{\sum\limits_{j=1}^L\biggl(
262: a_{12}\,\sigma_j\sigma'{}_{\!\! j}\,\psi_j^1\dot{\psi}_j^2-
263: a_{13}\,\sigma_{j}\sigma'{}_{\!\! j+1}\,\psi_j^1\dot{\psi}_{j+1}^3+
264: a_{14}\,\sigma_{j}\sigma_{j+1}\,\psi_j^1\psi_{j+1}^4+\biggr.\biggr.
265: \ebn
266: \ben
267: \biggl.\biggl.+
268: a_{23}\,\sigma'{}_{\!\! j}\sigma'{}_{\!\!
269: j+1}\,\dot{\psi}_{j}^2\dot{\psi}_{j+1}^3-
270: a_{24}\,\sigma'{}_{\!\!
271: j}\sigma_{j+1}\,\dot{\psi}_j^2\psi_{j+1}^4+
272: a_{34}\,\sigma'{}_{\!\!
273: j+1}\sigma_{j+1}\,\dot{\psi}^3_{j+1}\psi^4_{j+1}
274: \biggr)\biggr\}\;
275: \prod\limits_{j=1}^L
276: \;e^{\psi_j^1}\;e^{\dot{\psi}_j^2}\;e^{\dot{\psi}_{j+1}^3}\,e^{\psi_{j+1}^4}\,,
277: \ebn
278: where the measure is given by
279: \ben
280: \mathcal{D}\psi\,\mathcal{D}\dot{\psi}=
281: \prod\limits_{j=1}^L\;\Bigl(d\psi_j^1\;d\dot{\psi}_j^2\;d\dot{\psi}_{j+1}^3\,d\psi_{j+1}^4\Bigr).
282: \ebn
283: Now let us make the change of integration variables:
284: \ben
285: \psi_j^1\rightarrow\sigma_j\,\psi_j^1,\qquad
286: \dot{\psi}_j^2\rightarrow\sigma'{}_{\!\! j}\,\dot{\psi}_j^2,\qquad
287: \dot{\psi}_j^3\rightarrow\sigma'{}_{\!\! j}\,\dot{\psi}_j^3,\qquad
288: \psi_j^4\rightarrow\sigma_j\,\psi_j^4,\qquad\qquad j=1,\ldots,L.
289: \ebn
290: This change does not affect the measure, since every $\sigma_j$
291: and $\sigma'{}_{\!\!j}$ appears in it twice. Spin variables
292: disappear from the first (quadratic) exponential under the integral,
293: but emerge in the `tail'. Namely, one
294: obtains
295: \be\label{tr1}
296: T[\sigma,\sigma']=a_0^L\int\mathcal{D}\psi\,\mathcal{D}\dot{\psi}\;
297: e^{\,S_1[\psi,\dot{\psi}]}\;
298: \left[e^{\sigma_1\psi_1^1}
299: \prod\limits_{j=2}^{L}\left(e^{\sigma_j\psi_j^4}e^{\sigma_j\psi_j^1}\right)
300: e^{\sigma_1\psi_1^4}\right]
301: \left[e^{\sigma'{}_{\!\!1}\dot{\psi}_1^2}
302: \prod\limits_{j=2}^{L}\left(e^{\sigma'{}_{\!\!j}\dot{\psi}_j^3}e^{\sigma'{}_{\!\!j}\dot{\psi}_j^2}\right)
303: e^{\sigma'{}_{\!\!1}\dot{\psi}_1^3}\right],
304: \eb
305: where $S_1[\psi,\dot{\psi}]$ can be schematically represented as
306: \be\label{action1}
307: S_1[\psi,\dot{\psi}]=\frac12 \left(\begin{array}{cc}
308: \psi & \dot{\psi}\end{array}\right)
309: \hat{D}_1
310: \left(\begin{array}{c}
311: \psi \\ \dot{\psi}\end{array}\right),
312: \eb
313: with $\left(\begin{array}{cc}\psi & \dot{\psi} \end{array}\right)=\left(\begin{array}{cccc}
314: \psi^1 & \dot{\psi}^2 & \dot{\psi}^3 & \psi^4\end{array}\right)$
315: and
316: \be\label{dirac1}
317: \hat{D}_1=\left(\begin{array}{cccc}
318: 0 & a_{12} & -a_{13}\,\nabla_x & a_{14}\,\nabla_x \\
319: a_{12} & 0 & a_{23}\,\nabla_x & -a_{24}\,\nabla_x \\
320: -a_{13}\,\nabla_{-x} & -a_{23}\,\nabla_{-x} & 0 & a_{34} \\
321: -a_{14}\,\nabla_{-x} & -a_{24}\,\nabla_{-x} & a_{34} & 0
322: \end{array}\right).
323: \eb
324: Here $\nabla_x$ denotes the operator, shifting the lower indices of grassmann variables
325: by 1. It obeys periodic boundary condition $\left(\nabla_x\right)^L=1$. For example,
326: one has
327: \ben
328: \psi^1\,\nabla_{x}\,\dot{\psi}^{\,3}=\sum\limits_{j=1}^{L-1}\,\psi^1_j\,\dot{\psi}^3_{j+1}
329: +\psi^1_L\,\dot{\psi}^3_{1}\,.
330: \ebn
331:
332: Note that in (\ref{tr1}) we have rearranged the tail, assembling
333: together the exponentials, containing the same spin variables. It
334: seems, however, that the exponentials $e^{\sigma'{}_{\!\!1}\dot{\psi}_1^3}$
335: and $e^{\sigma_1\psi_1^4}$ are not on their `right' places. One
336: may correct this, observing that for any function $F[\psi]$ and for any grassmann variable
337: $\psi_{\alpha}$ we have the identity
338: \ben
339: F[\psi]\,e^{\psi_{\alpha}}=e^{\psi_{\alpha}}\frac{F[\psi]+F[-\psi]}{2}+
340: e^{-\psi_{\alpha}}\frac{F[\psi]-F[-\psi]}{2}\,.
341: \ebn
342: Now, introducing the notation
343: \ben
344: F_1[\psi]=e^{\sigma_1\psi_1^1}
345: \prod\limits_{j=2}^{L}\left(e^{\sigma_j\psi_j^4}e^{\sigma_j\psi_j^1}\right),\qquad
346: F_2[\dot{\psi}]=e^{\sigma'{}_{\!\!1}\dot{\psi}_1^2}
347: \prod\limits_{j=2}^{L}\left(e^{\sigma'{}_{\!\!j}\dot{\psi}_j^3}
348: e^{\sigma'{}_{\!\!j}\dot{\psi}_j^2}\right),
349: \ebn
350: one may rewrite the tail as
351: \begin{eqnarray}
352: \label{pull}F_1[\psi]\,e^{\sigma_1\psi_1^4}F_2[\dot{\psi}]\,e^{\sigma'{}_{\!\!1}\dot{\psi}_1^3}=
353: \biggl\{e^{\sigma_1\psi_1^4}\frac{F_1[\psi]+F_1[-\psi]}{2}+
354: e^{-\sigma_1\psi_1^4}\frac{F_1[\psi]-F_1[-\psi]}{2}\biggr\}\times\\
355: \nonumber\times\biggl\{e^{\sigma'{}_{\!\!1}\dot{\psi}_1^3}\frac{F_2[\dot{\psi}]+F_2[-\dot{\psi}]}{2}+
356: e^{-\sigma'{}_{\!\!1}\dot{\psi}_1^3}\frac{F_2[\dot{\psi}]-F_2[-\dot{\psi}]}{2}\biggr\}.\quad
357: \end{eqnarray}
358: Expanding this last expression, one obtains 16 terms. However,
359: some of these terms are equivalent, since the simultaneous change
360: of the signs of all $\psi$ and $\dot{\psi}$ does not affect
361: the value of the integral. Then one may easily check that
362: (\ref{pull}) may be replaced (after appropriate change of
363: variables) by the following combination, containing only 4 terms:
364: \begin{eqnarray}
365: \label{4terms}
366: F_1[\psi]\,e^{\sigma_1\psi_1^4}F_2[\dot{\psi}]\,e^{\sigma'{}_{\!\!1}\dot{\psi}_1^3}
367: \rightarrow\frac12\left\{e^{-\sigma_1\psi_1^4}F_1[\psi]\,
368: e^{-\sigma'{}_{\!\!1}\dot{\psi}_1^3}F_2[\dot{\psi}]+
369: e^{\sigma_1\psi_1^4}F_1[-\psi]\,
370: e^{-\sigma'{}_{\!\!1}\dot{\psi}_1^3}F_2[\dot{\psi}]+\right.\\
371: \nonumber\left. +e^{\sigma_1\psi_1^4}F_1[\psi]\,
372: e^{\sigma'{}_{\!\!1}\dot{\psi}_1^3}F_2[\dot{\psi}]-
373: e^{-\sigma_1\psi_1^4}F_1[-\psi]\,
374: e^{\sigma'{}_{\!\!1}\dot{\psi}_1^3}F_2[\dot{\psi}]\right\}.
375: \end{eqnarray}
376:
377: The third term of the last expression has the desired form and there is no need to
378: transform it further. If we make the substitution $\dot{\psi}_1^3\rightarrow -\dot{\psi}_1^3$,
379: $\psi_1^4\rightarrow -\psi_1^4$ in the
380: integral, corresponding to the first term, it will have almost
381: the same structure. The only difference is that the boundary
382: condition for the shift operator~$\nabla_x$ becomes antiperiodic:
383: $\left(\nabla_x\right)^L=-1$.
384:
385: Next one should remark that the second and the fourth term in (\ref{4terms}) can
386: be obtained from the first and the third one, respectively, by
387: changing the signs of the spins $\sigma_1,\ldots,\sigma_L$. This
388: change can be realized, using the operator of spin reflection
389: $U$, whose defining property is that $(Uf)[\sigma]=f[-\sigma]$ for any vector
390: $f[\sigma]\in V$. Matrix elements of $U$ may be explicitly
391: written as
392: \ben
393: U[\sigma,\sigma']=\prod\limits_{j=1}^L\frac{1-\sigma_j\,\sigma'{}_{\!\!j}}{2}\,.
394: \ebn
395:
396: Summarizing the above observations, we obtain the following
397: representation for the transfer matrix:
398: \be\label{tstr}
399: T=\frac{1+U}{2}\,T^{NS}+\frac{1-U}{2}\,T^{R},
400: \eb
401: where
402: \be\label{tnsr1}
403: T^{NS(R)}[\sigma,\sigma']=a_0^L\int\mathcal{D}\psi\,\mathcal{D}\dot{\psi}\;
404: \exp\left\{\,S_1^{NS(R)}[\psi,\dot{\psi}]\right\}\;
405: \prod\limits_{j=1}^{L}\left(e^{\sigma_j\psi_j^4}e^{\sigma_j\psi_j^1}\right)
406: \prod\limits_{j=1}^{L}\left(e^{\sigma'{}_{\!\!j}\dot{\psi}_j^3}
407: e^{\sigma'{}_{\!\!j}\dot{\psi}_j^2}\right),
408: \eb
409: and both actions $S_1^{NS(R)}[\psi,\dot{\psi}]$ are defined by the
410: formulas (\ref{action1})--(\ref{dirac1}). Upper indices NS and R
411: correspond to antiperiodic (Neveu-Schwartz) and periodic (Ramond)
412: boundary conditions, satisfied by the shift operator~$\nabla_x$.
413:
414: The matrices $P_{\pm}=\frac{1\pm U}{2}$ have the properties of
415: projectors, i.~e. $P_{\pm}^2=P_{\pm}$; thus their eigenvalues are
416: equal to either 0 or 1. The eigenvectors, corresponding to zero
417: eigenvalues of $P_+$ ($P_-$), are odd (even) under
418: spin reflection. It means that a vector $f[\sigma]\in V$ will
419: satisfy $(P_+ f)[\sigma]=0$ ($(P_- f)[\sigma]=0$) iff $f[\sigma]=-f[-\sigma]$
420: (respectively, $f[\sigma]=f[-\sigma]$). Analogously, the eigenvectors of $P_+$ ($P_-$)
421: with eigenvalue 1 are even (odd) under spin reflection.
422:
423: The operator $U$ commutes with the transfer matrix $T$. Therefore, these two matrices can
424: be diagonalized simultaneously and one may choose the
425: eigenvectors of $T$ so that they are either even or odd under
426: the action of $U$. Let us take an even eigenvector $f_{e}$ of
427: $T$, and denote by $\lambda_{f_e}$ the corresponding eigenvalue.
428: Acting on $f_{e}$ by both sides of the
429: relation (\ref{tstr}), and using the fact that $U$ commutes with
430: $T^{NS}$ and $T^R$ as well, one obtains
431: \ben
432: \lambda_{f_e} f_{e} = Tf_{e}=
433: (T^{NS}P_++T^{R}P_-)f_{e}=
434: T^{NS}f_{e},
435: \ebn
436: that is, any even eigenvector of $T$ is an eigenvector of $T^{NS}$
437: with the same eigenvalue. Similarly, any odd eigenvector of $T$
438: is an eigenvector of $T^{R}$. Conversely, any even eigenvector of $T^{NS}$ and any odd
439: eigenvector of $T^R$ are eigenvectors of $T$. Therefore,
440: the set of all transfer matrix eigenstates splits into two parts:
441: NS-sector (even eigenvectors of $T^{NS}$) and R-sector (odd
442: eigenvectors of $T^R$). The problem of diagonalization of $T$ is
443: then reduced to the calculation of eigenvectors and eigenvalues
444: of matrices $T^{NS}$ and $T^R$, given by the formula
445: (\ref{tnsr1}).\vspace{0.2cm}\\
446: \textbf{Remark}. Having diagonalized $T^{NS}$ and $T^R$, one also
447: gets for free the solution of the BBS$_2$ model with antiperiodic
448: boundary conditions for spin variables (in one direction). It is easy to understand
449: that the transfer matrix of such model is given by
450: \ben
451: T^a=\frac{1-U}{2}\,T^{NS}+\frac{1+U}{2}\,T^{R},
452: \ebn
453: and, therefore, the set of its eigenstates is composed of odd
454: eigenvectors of $T^{NS}$ and even eigenvectors of
455: $T^R$.\vspace{0.1cm}
456:
457:
458: The representation (\ref{tnsr1}) can be simplified even further by
459: integrating over fermionic degrees of freedom, which
460: are not coupled to spin variables. We mean the following:
461: elementary factors from the products of (\ref{tnsr1}) can be
462: written as
463: \ben
464: e^{\sigma_j\psi_j^4}e^{\sigma_j\psi_j^1}=e^{-\psi_j^1\,\psi_j^4}\,
465: e^{\,\sigma_j\left(\psi_j^1+\psi_j^4\right)},\qquad\qquad
466: e^{\sigma'{}_{\!\!j}\dot{\psi}_j^3}
467: e^{\sigma'{}_{\!\!j}\dot{\psi}_j^2}=e^{-\dot{\psi}_j^2\,\dot{\psi}_j^3}\,
468: e^{\,\sigma'{}_{\!\!j}\left(\dot{\psi}_j^2+\dot{\psi}_j^3\right)}.
469: \ebn
470: Let us now introduce instead of $\psi$ and $\dot{\psi}$ new
471: grassmann variables
472: \be\label{newv1}
473: \varphi_j=\psi^1_j+\psi^4_j,\qquad
474: \dot{\varphi}_j=\dot{\psi}^2_j+\dot{\psi}^3_j,\qquad
475: \eta_j=\psi^4_j,\qquad \dot{\eta}_j=\dot{\psi}^3_j,\qquad\qquad
476: j=1,\ldots,L.
477: \eb
478: Since the jacobian of the transformation (\ref{newv1}) is equal to 1, the
479: integration measure transforms as
480: \ben
481: \mathcal{D}\psi\,\mathcal{D}\dot{\psi}\rightarrow
482: \mathcal{D}\varphi\,\mathcal{D}\dot{\varphi}\,\mathcal{D}\eta\,\mathcal{D}\dot{\eta}=
483: \prod\limits_{j=1}^L \Bigl(d\varphi_j\,d\dot{\varphi}_j\,d\eta_j\,d\dot{\eta}_j\,\Bigr).
484: \ebn
485: Then the integral (\ref{tnsr1}) may be rewritten as
486: \be\label{tnsr2}
487: T^{NS(R)}[\sigma,\sigma']=
488: a_0^L\int \mathcal{D}\varphi\,\mathcal{D}\dot{\varphi}\,\mathcal{D}\eta\,\mathcal{D}\dot{\eta}\;
489: \exp\left\{\,S_2^{NS(R)}[\varphi,\dot{\varphi},\eta,\dot{\eta}]\right\}\;
490: \prod\limits_{j=1}^{L}e^{\sigma_j\varphi_j}
491: \prod\limits_{j=1}^{L}e^{\sigma'{}_{\!\!j}\dot{\varphi}_j},
492: \eb
493: where the action
494: $S_2^{NS(R)}[\varphi,\dot{\varphi},\eta,\dot{\eta}]$ is given by
495: \ben
496: S_2^{NS(R)}[\varphi,\dot{\varphi},\eta,\dot{\eta}]=\frac12\,
497: \left(\begin{array}{cccc}\varphi & \dot{\varphi} & \dot{\eta} & \eta
498: \end{array}\right)\hat{D}_2
499: \left(\begin{array}{cccc}\varphi & \dot{\varphi} & \dot{\eta} & \eta
500: \end{array}\right)^T,
501: \ebn
502: \small
503: \ben
504: \hat{D}_2=\left(\begin{array}{cccc}
505: 0 & \!\!a_{12} & -a_{12}-a_{13}\,\nabla_x & \!\!\!\!\!\!-1+a_{14}\,\nabla_x \\
506: a_{12} & \!\!0 & -1+a_{23}\,\nabla_x & \!\!\!\!\!\!-a_{12}-a_{24}\,\nabla_x \\
507: -a_{12}-a_{13}\,\nabla_{-x} & \!\!1-a_{23}\,\nabla_{-x} &
508: -a_{23}(\nabla_x-\nabla_{-x}) & \!\!\!\!\!\!a_{12}+a_{34}+a_{13}\nabla_{-x}+a_{24}\nabla_x \\
509: 1-a_{14}\,\nabla_{-x} & \!\!-a_{12}-a_{24}\,\nabla_{-x} &
510: a_{12}+a_{34}+a_{13}\nabla_x+a_{24}\nabla_{-x} & \!\!\!\!\!\!-a_{14}(\nabla_x-\nabla_{-x})
511: \end{array}\right).
512: \ebn
513: \normalsize
514: Let us now integrate over $\eta$ and $\dot{\eta}$ in the
515: representation (\ref{tnsr2}). This integration can be done
516: relatively easily, since $S_2^{NS(R)}[\varphi,\dot{\varphi},\eta,\dot{\eta}]$
517: is diagonalized by Fourier transformation. Namely, if one denotes
518: \be\label{fourier}
519: \left(\begin{array}{cccc}\varphi_p & \dot{\varphi}_p & \dot{\eta}_p &
520: \eta_p \end{array}\right)=\frac{1}{\sqrt{L}}\sum\limits_{j=1}^L
521: e^{-i p\, j}\left(\begin{array}{cccc}\varphi_j & \dot{\varphi}_j & \dot{\eta}_j &
522: \eta_j \end{array}\right),
523: \eb
524: then
525: \be\label{sumnsr1}
526: S_2^{NS(R)}[\varphi,\dot{\varphi},\eta,\dot{\eta}]=\frac12\;{\sum\limits_{p}}^{NS(R)}
527: \left(\begin{array}{cccc}\varphi_{-p} & \dot{\varphi}_{-p} & \dot{\eta}_{-p} &
528: \eta_{-p} \end{array}\right)\hat{D}_2(p)
529: \left(\begin{array}{cccc}\varphi_p & \dot{\varphi}_p & \dot{\eta}_p &
530: \eta_p \end{array}\right)^T,
531: \eb
532: where the one-mode matrix $\hat{D}_2(p)$ is given by
533: \ben
534: \hat{D}_2(p)=
535: \left(\begin{array}{cccc}
536: 0 & \!\!\!\!a_{12} & \!-a_{12}-a_{13}\,e^{ip} & \!\!\!\!\!\!-1+a_{14}\,e^{ip} \\
537: a_{12} & \!\!\!\!0 & \!-1+a_{23}\,e^{ip} & \!\!\!\!\!\!-a_{12}-a_{24}\,e^{ip} \\
538: -a_{12}-a_{13}\,e^{-ip} & \!\!\!\!1-a_{23}\,e^{-ip} &
539: \!-2i\,a_{23}\sin p & \!\!\!\!\!\!a_{12}+a_{34}+a_{13}e^{-ip}+a_{24}e^{ip} \\
540: 1-a_{14}\,e^{-ip} & \!\!\!\!-a_{12}-a_{24}\,e^{-ip} &
541: \! a_{12}+a_{34}+a_{13}e^{ip}+a_{24}e^{-ip} &
542: \!\!\!\!\!\!-2i\,a_{14}\sin p
543: \end{array}\right)
544: \ebn
545: and the indices NS and R in the sum (\ref{sumnsr1}) mean that the corresponding
546: quasimomenta run over Neveu-Schwartz values
547: ($p=\frac{2\pi}{L}\left(j+\frac12\right)$, $j=0,1,\ldots,L-1$)
548: or, correspondingly, Ramond values ($p=\frac{2\pi}{L}\,j$,
549: $j=0,1,\ldots,L-1$). Note also that the integration measure can
550: be written as
551: \ben
552: \mathcal{D}\varphi\,\mathcal{D}\dot{\varphi}\,\mathcal{D}\eta\,\mathcal{D}\dot{\eta}=
553: {\prod\limits_{p}}^{NS(R)} \Bigl(d\varphi_p\,d\dot{\varphi}_p\,d\eta_p\,d\dot{\eta}_p\,\Bigr)
554: \ebn
555:
556: Thus the $2L$-fold integral over $\eta$ and $\dot{\eta}$ in the
557: representation (\ref{tnsr2}) factorizes into a product of 4-fold
558: (over $\eta_{\pm p}$, $\dot{\eta}_{\pm p}$) and 2-fold integrals.
559: Double integrals correspond to the mode $p=0$
560: (always present in the Ramond sector) and $p=\pi$ (present in the Ramond sector
561: for even $L$ and in the Neveu-Schwartz sector for odd $L$). After a little bit
562: cumbersome but nevertheless straightforward calculation one then
563: obtains
564: \be\label{tnsrf}
565: T^{NS(R)}[\sigma,\sigma']=
566: \zeta^{NS(R)}\int \mathcal{D}^{NS(R)}\varphi\,\mathcal{D}^{NS(R)}\dot{\varphi}\;
567: \exp\left\{\,S^{NS(R)}[\varphi,\dot{\varphi}]\right\}\;
568: \prod\limits_{j=1}^{L}e^{\sigma_j\varphi_j}
569: \prod\limits_{j=1}^{L}e^{\sigma'{}_{\!\!j}\dot{\varphi}_j},
570: \eb
571: where
572: \ben
573: \mathcal{D}^{NS(R)}\varphi={\prod\limits_{p}}^{NS(R)}d\varphi_p\,,\qquad
574: \mathcal{D}^{NS(R)}\dot{\varphi}={\prod\limits_{p}}^{NS(R)}d\dot{\varphi}_p\,,
575: \ebn
576: \be\label{zetans}
577: \zeta^{NS(R)}=a_0^L\;{\prod\limits_{p}}^{NS(R)}\chi^{1/2}_p,
578: \eb
579: \ben
580: \chi_p=\left[a_{12}+a_{34}+(a_{13}+a_{24})\cos p\right]^2+
581: \left[(a_{13}-a_{24})^2+4a_{14}a_{23}\right]\sin^2 p,
582: \ebn
583: and the action $S^{NS(R)}[\varphi,\dot{\varphi}]$ is given by
584: \be\label{ansr}
585: S^{NS(R)}[\varphi,\dot{\varphi}]=\frac12\;{\sum\limits_{p}}^{NS(R)}
586: \left(\begin{array}{cc} \varphi_{-p} &
587: \dot{\varphi}_{-p}\end{array}\right)
588: \left(\begin{array}{cc} G_{11}(p) & G_{12}(p) \\ G_{21}(p) & G_{22}(p) \end{array}\right)
589: \left(\begin{array}{c}\varphi_{p} \\
590: \dot{\varphi}_{p}\end{array}\right),
591: \eb
592: with
593: \ben
594: \chi_p\,G_{11}(p)=2i \sin p\,\Bigl[
595: a_{23}+a_{12}a_{24}+a_{13}a_{34}+a_{14}a_{4}-2(a_{14}a_{23}-a_{13}a_{24})\cos
596: p\Bigr],
597: \ebn
598: \ben
599: \chi_p\,G_{22}(p)=2i\sin p\,\Bigl[
600: a_{14}+a_{12}a_{13}+a_{34}a_{24}+a_{23}a_4-2(a_{14}a_{23}-a_{13}a_{24})\cos
601: p \Bigr],
602: \ebn
603: \begin{eqnarray*}
604: \chi_p\,G_{12}(p)=\chi_p\,G_{21}(-p)&=&
605: \Bigl[(a_{12}+a_{34})(a_4+1)-(a_{14}+a_{23})(a_{13}+a_{24})\Bigr]+\\
606: &+&\Bigl[(a_{13}+a_{24})(a_4+1)-(a_{14}+a_{23})(a_{12}+a_{34})\Bigr]\cos
607: p\;+\\
608: &+&\Bigl[(a_{24}-a_{13})(a_4-1)+(a_{14}-a_{23})(a_{12}-a_{34})\Bigr]
609: i\sin p\;.
610: \end{eqnarray*}
611: As we will see in the next section, this final representation
612: for $T^{NS(R)}$ (given by the formulas (\ref{tnsrf}),
613: (\ref{ansr})) allows to obtain all transfer matrix eigenvectors almost
614: immediately. Concrete form of the functions $G_{ij}$ ($i,j=1,2$)
615: does not play any essential role.
616:
617: For further convenience and making parallels with the work \cite{bis},
618: let us also introduce the notation $v_p=4\chi_p\,G_{12}(p)$ and
619: \ben
620: u_p=2\chi_p\Bigl(1-G_{11}(p)G_{22}(p)+G_{12}(p)G_{21}(p)\Bigr)=
621: \ebn
622: \ben
623: =2\,\Bigl[(1+a_4)^2+(a_{12}+a_{34})^2+(a_{13}+a_{24})^2+(a_{14}+a_{23})^2\Bigr]
624: +4\,\Bigl[(a_{12}+a_{34})(a_{13}+a_{24})-(a_{14}+a_{23})(1+a_4)\Bigr]\cos
625: p\,.
626: \ebn
627: \textbf{Remark}. It should be pointed out
628: that we did not care about the correct overall sign of $T^{NS(R)}$ in the
629: representation (\ref{tnsrf}). However, using the fact that for
630: $a_{12}=a_{13}=a_{14}=a_{23}=a_{24}=a_{34}=0$ all the
631: eigenvalues of $T$ should be equal to $2^La_0^L$, one can restore this sign at any stage.
632:
633: \section{Transfer matrix eigenvectors}
634: It appears that the form of the eigenvectors of $T^{NS}$ and $T^R$ depends on whether $L$ is even or odd.
635: Moreover, quasiparticle interpretation of the eigenvectors and eigenvalues is different
636: in different regions of parameters of the BBS$_2$ model. Below we
637: will consider various cases in order of increasing difficulty.
638: \subsection{NS-sector, even $L$}
639: If $L$ is even, then the Neveu-Schwartz spectrum of quasimomenta
640: does not contain the values 0 and $\pi$ (the only values with
641: the property $p=-p\;\mathrm{mod}\;2\pi$).
642:
643: The simplest ansatz for an eigenvector $f[\sigma]\in V$ of the
644: matrix $T^{NS}$ is given by an integral over $L$ auxiliary
645: grassmann variables $\xi_1,\ldots,\xi_L$:
646: \be\label{ansatz0}
647: f[\sigma]=\int\mathcal{D}^{NS}\xi\;
648: \exp\left\{{\sum\limits_{p}}^{\frac{NS}{2}}\xi_{-p}\,A(p)\,\xi_p\right\}
649: \prod\limits_{j=1}^L
650: e^{\sigma_j\xi_j}.
651: \eb
652: Here $A(p)=-A(-p)$ is an unknown odd function to be determined, and $\{\xi_p\}$
653: denote Fourier components of $\xi$. The indices $\frac{NS}{2}$ and
654: $\frac{R}{2}$ in sums and products will be used to indicate that
655: the corresponding operations involve only those Neveu-Schwartz
656: and Ramond quasimomenta, which lie in the \textit{open} interval
657: $(0,\pi)$ (for the NS-sector and even $L$, this is exactly one half of the Brillouin
658: zone). Note that for even $L$ the function (\ref{ansatz0}) is even
659: with respect to the action of
660: $U$: the reversal of all spins is
661: equivalent to the change of variables $\xi\rightarrow -\xi$.
662:
663:
664: Let us now act on $f[\sigma]$ by the matrix $T^{NS}$. Since the
665: fields $\dot{\varphi}$ and $\xi$ commute, the sum
666: $\sum\limits_{[\sigma']}T^{NS}[\sigma,\sigma']f[\sigma']$ can be
667: easily evaluated and one obtains
668: \ben
669: (T^{NS}f)[\sigma]=2^L\,\zeta^{NS}\int\mathcal{D}^{NS}\varphi\,\mathcal{D}^{NS}\dot{\varphi}\;\;
670: e^{\,S^{NS}[\varphi,\dot{\varphi}]}\prod\limits_{j=1}^L
671: e^{\sigma_j\varphi_j}\;\times
672: \ebn \ben\times\int\mathcal{D}^{NS}\xi\;\exp\left\{
673: {\sum\limits_{p}}^{\frac{NS}{2}}\xi_{-p}\,A(p)\,\xi_p+
674: \sum\limits_{j=1}^L\dot{\varphi}_j\,\xi_j\right\}.
675: \ebn
676: After integration over $\xi$ one finds the exponential of a
677: quadratic form in $\dot{\varphi}$,
678: \ben
679: \int\mathcal{D}^{NS}\xi\,\exp\left\{
680: {\sum\limits_{p}}^{\frac{NS}{2}}\xi_{-p}\,A(p)\,\xi_p+
681: \sum\limits_{j=1}^L\dot{\varphi}_j\,\xi_j\right\}=\ebn
682: \ben
683: =\int\mathcal{D}^{NS}\xi\,\exp\left\{
684: {\sum\limits_{p}}^{\frac{NS}{2}}\Bigl(\xi_{-p}\,A(p)\,\xi_p+
685: \dot{\varphi}_{-p}\,\xi_p+\dot{\varphi}_{p}\,\xi_{-p}\Bigr)\right\}=
686: \ebn
687: \ben
688: =\left({\prod\limits_{p}}^{\frac{NS}{2}} A(p)\right)\,\exp\left\{
689: -{\sum\limits_{p}}^{\frac{NS}{2}}\dot{\varphi}_{-p}\,A^{-1}(p)\,\dot{\varphi}_p\right\},
690: \ebn
691: which can then be pulled through the `linear' exponentials. Then one may integrate
692: over $\dot{\varphi}$ and obtain
693: \ben
694: (T^{NS}f)[\sigma]=2^L\,\zeta^{NS}\,{\prod\limits_{p}}^{\frac{NS}{2}}\Bigl(1-A(p)\,G_{22}(p)\Bigr)
695: \int\mathcal{D}^{NS}\varphi\;\exp\left\{
696: {\sum\limits_{p}}^{\frac{NS}{2}}\varphi_{-p}\,A'(p)\, \varphi_p\right\}
697: \prod\limits_{j=1}^L
698: e^{\,\sigma_j\varphi_j},
699: \ebn
700: with
701: \ben
702: A'(p)=G_{11}(p)+\frac{A(p)G_{12}(p)G_{21}(p)}{1-A(p)G_{22}(p)}\,.
703: \ebn
704: Therefore, the function (\ref{ansatz0}) will be an eigenvector of $T^{NS}$ iff
705: for all NS-values of $p$ from the interval $(0,\pi)$ one has
706: $A(p)=A'(p)$.
707: This equation is quadratic in
708: $A(p)$, and its roots are given by
709: \be\label{1mroots}
710: A^{\pm}(p)=\frac{1+G(p)
711: \mp\sqrt{\bigl(1-G(p)\bigr)^2-4G_{12}(p)G_{21}(p)}}{2\,G_{22}(p)}\,,
712: \eb
713: where we have introduced the notation
714: \ben
715: G(p)=G_{11}(p)G_{22}(p)-G_{12}(p)G_{21}(p)\,.
716: \ebn
717: Thus the formula (\ref{ansatz0}) gives $2^{L/2}$ eigenvectors of $T^{NS}$, corresponding
718: to different choices of the set of one-mode roots.
719:
720: One can take, for instance, $A(p)=A^+(p)$ for
721: all $p\in(0,\pi)$. The vector, corresponding to this particular choice, will be
722: denoted by $|vac\rangle_{NS}$, since under some conditions, satisfied by
723: the parameters of the BBS$_2$ model, it corresponds to the
724: eigenvalue with maximum modulus. Similarly, if we choose
725: $A(p)=A^-(p)$ for some values $p_1,\ldots,p_k\in(0,\pi)$, and $A(p)=A^+(p)$ for all the
726: other NS-quasimomenta from the interval $(0,\pi)$, then
727: the corresponding eigenvector will be denoted by $|p_1,-p_1;\ldots
728: p_k,-p_k\rangle_{NS}$. The origin of this notation will become
729: clear soon.
730:
731: In order to find all the eigenvectors of $T^{NS}$, only a slight
732: generalization of the ansatz (\ref{ansatz0}) is needed. Namely,
733: let us define
734: \be\label{ansatz1}
735: f^{NS}_{\{i_p\}}[\sigma]=\int\mathcal{D}^{NS}\xi\;\;{\prod\limits_{p}}^{\frac{NS}{2}}
736: F_{i_p}(\xi_{-p},\xi_p)\;{\prod\limits_{j=1}^L}\;e^{\,\sigma_j\xi_j}.
737: \eb
738: Here each of the indices $\{i_p\}$ can take any of the four values,
739: which we will conventionally denote by 1, 2, 3, and 4. Corresponding
740: functions $F_i(\xi_{-p},\xi_p)$ are defined as follows:
741: \begin{eqnarray}\label{efs}
742: F_1(\xi_{-p},\xi_p)&=&\exp\Bigl(\xi_{-p}\,A^+(p)\,\xi_p\Bigr),\\
743: F_2(\xi_{-p},\xi_p)&=&\xi_{-p}\,,\\
744: F_3(\xi_{-p},\xi_p)&=&\xi_{p}\,,\\
745: \label{endefs}F_4(\xi_{-p},\xi_p)&=&\exp\Bigl(\xi_{-p}\,A^-(p)\,\xi_p\Bigr).
746: \end{eqnarray}
747: Similarly to the above, one should act on $f^{NS}_{\{i_p\}}[\sigma]$
748: by $T^{NS}$, then to sum over the intermediate spin variables, to
749: integrate the result over $\xi$ and, finally, over
750: $\dot{\varphi}$. Then it is straightforward to verify that the formulas
751: (\ref{ansatz1})--(\ref{endefs}) indeed define an eigenvector of
752: $T^{NS}$ with the eigenvalue
753: \be\label{eigenvalue}
754: \Lambda^{NS}_{\{i_p\}}=2^L\,\zeta^{NS}\,{\prod\limits_{p}}^{\frac{NS}{2}}\lambda_{i_p}(p),
755: \eb
756: where `one-mode' eigenvalues are given by
757: \begin{eqnarray}\label{lambdas}
758: \lambda_1(p)&=&1-A^+(p)G_{22}(p),\\
759: \label{lambdas02}\lambda_2(p)&=&G_{12}(p),\\
760: \label{lambdas03}\lambda_3(p)&=&G_{21}(p),\\
761: \label{lambdas04}\lambda_4(p)&=&1-A^-(p)G_{22}(p).
762: \end{eqnarray}
763: One can also rewrite them in the following way (see the end of the previous
764: section for the notations):
765: \be\label{lambdas2}
766: \lambda_1(p)=\frac{u_p+\sqrt{u_p^2-v_p
767: v_{-p}}}{4\chi_p},\quad
768: \lambda_2(p)=\frac{v_p}{4\chi_p},\quad
769: \lambda_3(p)=\frac{v_{-p}}{4\chi_p},\quad
770: \lambda_4(p)=\frac{u_p-\sqrt{u_p^2-v_p v_{-p}}}{4\chi_p}\,.
771: \eb
772: The total number of found eigenstates is equal to $4^{L/2}=2^L$,
773: and thus the diagonalization of the matrix $T^{NS}$ is completed.
774:
775: Let us now turn to quasiparticle interpretation of eigenvalues
776: and eigenvectors. It follows from (\ref{zetans}),
777: (\ref{eigenvalue}), (\ref{lambdas2}) that the eigenvalues can be
778: written in the form
779: \be\label{eigenphys1}
780: \Lambda_{\{i_p\}}^{NS}=\Lambda^{NS}_{max}\,
781: {\prod\limits_{\;\;p|i_p=2}}^{\!\!\!\frac{NS}{2}}\;\frac{v_p}{\rho_p}
782: \;{\prod\limits_{\;\;p|i_p=3}}^{\!\!\!\frac{NS}{2}}\;\frac{v_{-p}}{\rho_p}
783: \;{\prod\limits_{\;\;p|i_p=4}}^{\!\!\!\frac{NS}{2}}\;\frac{v_p\,v_{-p}}{\rho^{\,2}_p}\,,
784: \eb
785: where
786: \be\label{lnsm}
787: \Lambda^{NS}_{max}=a_0^L\;{\prod\limits_p}^{NS}\rho_p^{\,1/2},\qquad
788: \rho_p=u_p+\sqrt{u_p^2-v_pv_{-p}}\;.
789: \eb
790: \textbf{Remark}. The expression $u_p^2-v_pv_{-p}$ is a quadratic polynomial in $\cos p$.
791: For the sake of simplicity, it will be assumed
792: that the parameters $\left\{a_{ij}\right\}_{1\leq i<j\leq 4}$
793: are all real and chosen so that this polynomial has no roots
794: inside the interval $(-1,1)$ (for example, this condition is satisfied, if one takes
795: $a_{12}=a_{34}$ and $a_{13}=a_{24}$).
796: It means, in particular, that $u_p^2-v_pv_{-p}$ is non-negative
797: and has local extrema only at the points $p=0$
798: and $p=\pi$. \vspace{0.2cm}
799:
800: Consider also the operator of translations in discrete space $R$. Its
801: action on an arbitrary vector $f[\sigma]\in V$ is defined as
802: \be\label{translation}
803: \bigl(Rf\bigr)(\sigma_1,\sigma_2,\ldots,\sigma_L)=f(\sigma_2,\sigma_3,\ldots,\sigma_1).
804: \eb
805: This operator commutes with the transfer matrix $T$, with
806: the matrices $T^{NS}$ and $T^R$, and also with the operator $U$ of
807: spin reflection. Since we have already diagonalized $T^{NS}$ and
808: obtained nondegenerate spectrum, the eigenvectors
809: (\ref{ansatz1}) should diagonalize $R$ as well. Actually, it is
810: not difficult to verify that
811: \ben
812: (Rf^{NS}_{\{i_p\}})[\sigma]={\prod\limits_{\;\;p|i_p=2}}^{\!\!\!\frac{NS}{2}}\;e^{ip}\;
813: {\prod\limits_{\;\;p|i_p=3}}^{\!\!\!\frac{NS}{2}}\;e^{-ip}\;\;f^{NS}_{\{i_p\}}[\sigma].
814: \ebn
815:
816: Now it is clear that the eigenvectors of $T^{NS}$ can be labelled by the collections
817: of distinct NS-quasimomenta and interpreted as multiparticle
818: states. One-particle energy is given by
819: \ben
820: \varepsilon(p)=-\ln\frac{v_p}{\rho_p}.
821: \ebn
822: It may have a non-zero imaginary part, which is a general
823: consequence of the fact that the transfer matrix $T$ of the
824: BBS$_2$ model is not symmetric.
825: The eigenstate, which contains particles
826: with the momenta $p_1,\ldots,p_k$, will be denoted by $|p_1,\ldots,p_k\rangle_{NS}$.
827: In order to determine, which one of the functions
828: (\ref{ansatz1}) gives the explicit form of this vector, one
829: should decompose the set of momenta of particles from the state $|p_1,\ldots,p_k\rangle_{NS}$
830: into three parts:
831: pairs of the form $\pm p_j$, `unpaired' momenta from the interval $(0,\pi)$,
832: and `unpaired' momenta from the interval $(\pi,2\pi)$.
833: Then in the ansatz (\ref{ansatz1}) one should set
834: \begin{itemize}
835: \item $i_p=4$, if $\pm p$ appears in the first part,
836: \item $i_p=2$, if $p$ appears in the second part,
837: \item $i_p=3$, if $-p$ appears in the third part,
838: \item $i_p=1$ for all the other values of $p$.
839: \end{itemize}
840: This procedure establishes the correspondence between the
841: formulas (\ref{ansatz1}) and usual quasiparticle
842: notation.\vspace{0.2cm}\\
843: \textbf{Remark}.
844: Recall that only even eigenvectors of $T^{NS}$ diagonalize the
845: full transfer matrix $T$ as well. It means that the total number of
846: appearances of $i_p=2$ and $i_p=3$ in the functions
847: (\ref{ansatz1}) should be even. In other words,
848: NS-eigenstates of $T$ should contain even number of particles.
849:
850: \subsection{NS-sector, odd $L$}
851: When $L$ is odd, the Neveu-Schwartz spectrum of quasimomenta
852: contains the value $p=\pi$. To take into account this special
853: mode, it is sufficient to slightly modify the ansatz
854: (\ref{ansatz1}). Let us consider
855: \be\label{ansatz2}
856: f^{NS}_{\{i_p\}}[\sigma]=\int\mathcal{D}^{NS}\xi\;\;\tilde{F}_{i_{\pi}}(\xi_{\pi})\;
857: {\prod\limits_{p}}^{\frac{NS}{2}}
858: F_{i_p}(\xi_{-p},\xi_p)\;{\prod\limits_{j=1}^L}\;e^{\,\sigma_j\xi_j},
859: \eb
860: where all the indices $\{i_p\}$, except $i_{\pi}$, take on
861: four values as above, and the functions $F_1\ldots F_4$ are
862: given by (\ref{efs})--(\ref{endefs}). The index $i_{\pi}$ can
863: have only two values, 1 and 2, and the corresponding functions
864: $\tilde{F}_1$ and $\tilde{F}_2$ are simply
865: \ben
866: \tilde{F}_1(\xi)=1,\qquad\qquad \tilde{F}_2(\xi)=\xi.
867: \ebn
868: One may verify that the function (\ref{ansatz2}) gives an
869: eigenvector of $T^{NS}$ with the eigenvalue
870: \ben
871: \Lambda^{NS}_{\{i_p\}}=2^L\,\zeta^{NS}\,\tilde{\lambda}_{i_{\pi}}(\pi)
872: {\prod\limits_{p}}^{\frac{NS}{2}}\lambda_{i_p}(p),
873: \ebn
874: where all $\lambda_{i}(p)$ are defined as above and
875: \ben
876: \tilde{\lambda}_1(\pi)=1,\qquad\tilde{\lambda}_2(\pi)=G_{12}(\pi)=\frac{v_{\pi}}{4\chi_{\pi}}\,.
877: \ebn
878: Since the total number of eigenvectors (\ref{ansatz2}) is equal
879: to $2\times 4^{(L-1)/2}=2^L$, the diagonalization of $T^{NS}$ is
880: completed.
881:
882: The first thing that may seem unusual is that if we set $i_p=1$
883: for all $p$, including $p=\pi$, the corresponding eigenvector of
884: $T^{NS}$ will not always represent the physical vacuum.
885: Moreover, this vector is \textit{odd}
886: under spin reflection and, therefore, it is not an
887: eigenvector of the full transfer matrix~$T$. Note also that
888: \ben
889: \rho_{\pi}^{1/2}=2\chi_{\pi}^{1/2}\max\left\{\frac{|v_{\pi}|}{4\chi_{\pi}},1\right\}.
890: \ebn
891: Therefore, if one tries to write the eigenvalues in the form,
892: analogous to (\ref{eigenphys1}), then the result will be different in
893: different regions of parameters. Namely, for
894: $|v_{\pi}|/4\chi_{\pi}\geq1$ one obtains
895: \ben
896: \Lambda_{\{i_p\}}^{NS}=\Lambda^{NS}_{max}\,\left(\frac{v_{\pi}}{\rho_{\pi}}\right)^{2-i_{\pi}}\!\!\!
897: {\prod\limits_{\;\;p|i_p=2}}^{\!\!\!\frac{NS}{2}}\;\frac{v_p}{\rho_p}
898: \;{\prod\limits_{\;\;p|i_p=3}}^{\!\!\!\frac{NS}{2}}\;\frac{v_{-p}}{\rho_p}
899: \;{\prod\limits_{\;\;p|i_p=4}}^{\!\!\!\frac{NS}{2}}\;\frac{v_p\,v_{-p}}{\rho^{\,2}_p}\,,
900: \ebn
901: and for $|v_{\pi}|/4\chi_{\pi}\leq1$ we have
902: \ben
903: \Lambda_{\{i_p\}}^{NS}=\Lambda^{NS}_{max}\,\left(\frac{v_{\pi}}{\rho_{\pi}}\right)^{i_{\pi}-1}\!\!\!
904: {\prod\limits_{\;\;p|i_p=2}}^{\!\!\!\frac{NS}{2}}\;\frac{v_p}{\rho_p}
905: \;{\prod\limits_{\;\;p|i_p=3}}^{\!\!\!\frac{NS}{2}}\;\frac{v_{-p}}{\rho_p}
906: \;{\prod\limits_{\;\;p|i_p=4}}^{\!\!\!\frac{NS}{2}}\;\frac{v_p\,v_{-p}}{\rho^{\,2}_p}\,,
907: \ebn
908: where $\Lambda^{NS}_{max}$ is defined by the formula
909: (\ref{lnsm}). Thus one can again interpret the eigenvectors of
910: $T^{NS}$ as multiparticle states
911: $|p_1,\ldots,p_k\rangle_{NS}$. The main differences with the previous
912: case are the following:
913: \begin{itemize}
914: \item If $|v_{\pi}|/4\chi_{\pi}\geq1$, then the states, containing a
915: particle with the momentum $p=\pi$, are given by the ansatz
916: (\ref{ansatz2}) with $i_{\pi}=1$; for
917: $|v_{\pi}|/4\chi_{\pi}\leq1$ they correspond to the choice
918: $i_{\pi}=2$.
919: \item For $|v_{\pi}|/4\chi_{\pi}\geq1$ the eigenstates, which
920: are even (odd) under spin reflection, contain even (odd) number
921: of particles, while for $|v_{\pi}|/4\chi_{\pi}\leq1$ this number
922: should be odd (even).
923: \end{itemize}
924: \subsection{R-sector, odd $L$}
925: The treatment of this case is completely analogous to the
926: previous one, since for odd $L$ Ramond spectrum contains only one
927: `special' mode $p=0$. All the eigenvectors and eigenvalues of the matrix $T^R$
928: are given by
929: \be\label{ansatz3}
930: f^{\,R}_{\{i_p\}}[\sigma]=\int\mathcal{D}^R\xi\;\;\tilde{F}_{i_{0}}(\xi_{0})\;
931: {\prod\limits_{p}}^{\frac{R}{2}}
932: F_{i_p}(\xi_{-p},\xi_p)\;{\prod\limits_{j=1}^L}\;e^{\,\sigma_j\xi_j},
933: \eb
934: \ben
935: \Lambda^{\,R}_{\{i_p\}}=2^L\,\zeta^{R}\,\tilde{\lambda}_{i_{0}}(0)
936: {\prod\limits_{p}}^{\frac{R}{2}}\lambda_{i_p}(p).
937: \ebn
938: Here the indices $\{i_p\}_{p\neq0}$ take on four values,
939: $i_0=1,2$, the functions $\{\tilde{F}_j\}$,
940: $\{F_j\}$, $\{\lambda_j\}$ are
941: defined as above and
942: \ben
943: \tilde{\lambda}_1(0)=1,\qquad \tilde{\lambda}_2(0)=G_{12}(0)=\frac{v_{0}}{4\chi_{0}}\,.
944: \ebn
945:
946: Again, since we have
947: \ben
948: \rho_{0}^{1/2}=2\chi_{0}^{1/2}\max\left\{\frac{|v_{0}|}{4\chi_{0}},1\right\},
949: \ebn
950: the quasiparticle interpretation of eigenvalues and eigenvectors
951: is different in the regions $|v_{0}|/4\chi_{0}\geq1$ and
952: $|v_{0}|/4\chi_{0}\leq1$. Namely, one has
953: \ben
954: \Lambda_{\{i_p\}}^{R}=\Lambda^{R}_{max}\,\left(\frac{v_{0}}{\rho_{0}}\right)^{2-i_{0}}\!\!\!
955: {\prod\limits_{\;\;p|i_p=2}}^{\!\!\!\frac{R}{2}}\;\frac{v_p}{\rho_p}
956: \;{\prod\limits_{\;\;p|i_p=3}}^{\!\!\!\frac{R}{2}}\;\frac{v_{-p}}{\rho_p}
957: \;{\prod\limits_{\;\;p|i_p=4}}^{\!\!\!\frac{R}{2}}\;\frac{v_p\,v_{-p}}{\rho^{\,2}_p}\,
958: \quad \text{for}\;\;|v_{0}|/4\chi_{0}\geq1,
959: \ebn
960: \ben
961: \Lambda_{\{i_p\}}^{R}=\Lambda^{R}_{max}\,\left(\frac{v_{0}}{\rho_{0}}\right)^{i_{0}-1}\!\!\!
962: {\prod\limits_{\;\;p|i_p=2}}^{\!\!\!\frac{R}{2}}\;\frac{v_p}{\rho_p}
963: \;{\prod\limits_{\;\;p|i_p=3}}^{\!\!\!\frac{R}{2}}\;\frac{v_{-p}}{\rho_p}
964: \;{\prod\limits_{\;\;p|i_p=4}}^{\!\!\!\frac{R}{2}}\;\frac{v_p\,v_{-p}}{\rho^{\,2}_p}\,
965: \quad \text{for}\;\;|v_{0}|/4\chi_{0}\leq1,
966: \ebn
967: where the eigenvalue with the maximum modulus,
968: $\Lambda^{\,R}_{max}$, is given by
969: \ben
970: \Lambda^{\,R}_{max}={\prod\limits_p}^R\rho^{1/2}_{p}.
971: \ebn
972: Similarly to the above, let us denote by
973: $|p_1,\ldots,p_k\rangle_R$ the eigenstate of $T^R$, containing
974: $k$ particles with distinct R-momenta $p_1,\ldots,p_k$.
975:
976: Note that even (odd) eigenstates of $T^R$ should contain
977: even (odd) number of particles for $|v_{0}|/4\chi_{0}\geq1$, and odd (even) number
978: of particles for $|v_{0}|/4\chi_{0}\leq1$. This change can be
979: easily understood if we take, say, $|v_0|/4\chi_0\leq1$, and
980: consider two eigenstates, $|p_1,\ldots,p_k\rangle_R$ and $|0,p_1,\ldots,p_k\rangle_R$
981: ($p_j\neq0$, $j=1,\ldots,k$). Then let us gradually increase
982: $|v_0|/4\chi_0$. When this parameter approaches the critical
983: value~1, two eigenstates correspond to the same eigenvalue, and
984: when it exceeds 1, the roles of two vectors swap around: the
985: particle with zero momentum disappears from the second vector
986: (thus decreasing the number of particles by 1) and appears in
987: the first (the number of particles increases by 1).
988:
989: \subsection{R-sector, even $L$}
990: Since for even $L$ the Ramond spectrum of quasimomenta contains
991: both $p=0$ and $p=\pi$, the eigen\-vectors and
992: eigenvalues of $T^R$ in this case can be written in the following way:
993: \be\label{ansatz4}
994: f^{\,R}_{\{i_p\}}[\sigma]=\int\mathcal{D}^R\xi\;\;
995: \tilde{F}_{i_{0}}(\xi_{0})\tilde{F}_{i_{\pi}}(\xi_{\pi})\;
996: {\prod\limits_{p}}^{\frac{R}{2}}
997: F_{i_p}(\xi_{-p},\xi_p)\;{\prod\limits_{j=1}^L}\;e^{\,\sigma_j\xi_j},
998: \eb
999: \ben
1000: \Lambda^{\,R}_{\{i_p\}}=2^L\,\zeta^{R}\,\tilde{\lambda}_{i_{0}}(0)\tilde{\lambda}_{i_{\pi}}(\pi)
1001: {\prod\limits_{p}}^{\frac{R}{2}}\lambda_{i_p}(p)\,.
1002: \ebn
1003: From the physical point of view, here one should distinguish four
1004: different regions in the space of parameters. They have the
1005: following properties:
1006: \begin{itemize}
1007: \item
1008: ${\underline{|v_0|\geq4\chi_0,\;|v_{\pi}|\geq4\chi_{\pi}}}$. The
1009: eigenstates of $T^R$, containing a particle with the momentum
1010: $p=0$ ($p=\pi$), are given by the formula (\ref{ansatz4}) with
1011: $i_0=1$ ($i_{\pi}=1$). The eigenvectors, which are even (odd) under
1012: spin reflection, should
1013: contain even (odd) number of particles.
1014: \item
1015: ${\underline{|v_0|\geq4\chi_0,\;|v_{\pi}|\leq4\chi_{\pi}}}$. The
1016: eigenstates, containing a particle with the momentum
1017: $p=0$ ($p=\pi$), correspond to
1018: $i_0=1$ ($i_{\pi}=2$). Even (odd) eigenvectors
1019: contain odd (even) number of particles.
1020: \item
1021: ${\underline{|v_0|\leq4\chi_0,\;|v_{\pi}|\geq4\chi_{\pi}}}$. Particle
1022: with the momentum $p=0$ ($p=\pi$) corresponds to
1023: $i_0=2$ ($i_{\pi}=1$). Even (odd) eigenvectors
1024: contain odd (even) number of particles.
1025: \item
1026: ${\underline{|v_0|\leq4\chi_0,\;|v_{\pi}|\leq4\chi_{\pi}}}$.
1027: Particle
1028: with the momentum $p=0$ ($p=\pi$) corresponds to
1029: $i_0=2$ ($i_{\pi}=2$). Even (odd) eigenvectors
1030: contain even (odd) number of particles.
1031: \end{itemize}
1032:
1033: \section{Norms and form factors}
1034: In the present section, the problem of computation of
1035: correlation functions of the BBS$_2$ model is addressed.
1036: Local fields will be represented by spin variables $\sigma_{i,j}$
1037: ($i=1,\ldots,L$; $j=1,\ldots,M$). In the transfer matrix
1038: formalism, $2k$-point correlation functions
1039: $\langle\sigma_{i_1,j_1}\sigma_{i_2,j_2}\ldots\sigma_{i_{2k},j_{2k}}\rangle$
1040: can be written in the following way\footnote{All $(2k+1)$-point correlation
1041: functions vanish due to $\mathbb{Z}_2$-symmetry of the model.}:
1042: \be\label{cf000}
1043: \;\langle\sigma_{i_1,j_1}\ldots\sigma_{i_{2k},j_{2k}}\rangle=\eb
1044: \ben
1045: =Z^{-1}(L,M)\sum\limits_{[\sigma^{(1)}]}\ldots\sum\limits_{[\sigma^{(2k)}]}
1046: \sigma^{(1)}_{i_1}\;T^{j_2-j_1}[\sigma^{(1)},\sigma^{(2)}]\;
1047: \sigma^{(2)}_{i_2}\;T^{j_2-j_1}[\sigma^{(2)},\sigma^{(3)}]\ldots
1048: \sigma^{(2k)}_{i_{2k}}\;T^{M-(j_{2k}-j_1)}[\sigma^{(2k)},\sigma^{(1)}]\,,
1049: \ebn
1050: where it was assumed that $j_1\leq j_2\leq\ldots j_{2k}$. Let us introduce spin operator
1051: \ben
1052: S_{1,1}[\sigma,\sigma']=\sigma_{1}\;\delta_{[\sigma],\,[\sigma']}=
1053: \sigma_1\,\prod\limits_{j=1}^L\frac{1+\sigma_j\,\sigma'{}_{\!\!j}}{2},
1054: \ebn
1055: acting on functions $f[\sigma]\in V$ from the left in the usual way. If we
1056: make use of the translation operator $R$ (see formula
1057: (\ref{translation})) to define
1058: \ben
1059: \qquad\qquad S_{i,j}=T^{j-1}\,R^{i-1}\,S_{1,1}\,R^{1-i}\,T^{1-j},\qquad
1060: i=1,\ldots,L,\quad j=1,\ldots,M,
1061: \ebn
1062: then one may rewrite (\ref{cf000}) as
1063: \be\label{cf00}
1064: \langle\sigma_{i_1,j_1}\ldots\sigma_{i_{2k},j_{2k}}\rangle=
1065: \frac{\mathrm{Tr}\left(S_{i_1,j_1}S_{i_2,j_2}\ldots
1066: S_{i_{2k},j_{2k}}\,T^M\right)}{\mathrm{Tr}\,T^M}\,.
1067: \eb
1068: Since all the eigenvalues of the transfer matrix $T$ are known, the problem reduces
1069: to the calculation of the trace in the numerator. One would want
1070: to compute this trace in the basis of eigenstates of $T$.
1071: However, such computation is not quite straightforward, since the transfer
1072: matrix of the BBS$_2$ model is not symmetric and thus its eigenvectors
1073: are not necessarily orthogonal. Therefore, in order to construct the dual basis,
1074: one should separately find the eigenvectors for the \textit{right} action of $T$,
1075: (since $T$ is
1076: not symmetric, they can not be obtained from the eigenvectors,
1077: found in the previous section, by simple transposition).
1078:
1079: Assume for a moment that we have found all
1080: `left' and `right' eigenvectors of $T$. Let us denote them by
1081: $|n\rangle$ and $\langle n|$ , where $n$ is any convenient set of
1082: quantum numbers, identifying the eigenstate (for example, the
1083: number of particles and their quasimomenta). The resolution of
1084: the identity matrix in this basis of eigenstates has the form
1085: \be\label{resolution}
1086: \mathbf{1}=\sum\limits_{n}\, b_{n}\,|n\rangle\langle n|, \qquad
1087: b_n=1/\langle n|n\rangle.
1088: \eb
1089: The relation (\ref{resolution}) means, in particular, that the
1090: trace of any matrix $X$ can be written as
1091: \ben
1092: \mathrm{Tr}\,X=\sum\limits_{n}b_{n}\langle n|X|n\rangle\,.
1093: \ebn
1094:
1095: Recall also that the eigenvectors of $T$ diagonalize as well the
1096: translation operator $R$. Therefore, inserting the
1097: resolution of the identity matrix into the representation
1098: (\ref{cf00}) $k$ times, one can rewrite $2k$-point correlation
1099: function in the form of the so-called form factor expansion. For
1100: example, for the 2-point correlation function one has
1101: \be\label{2pointff}
1102: \langle\sigma_{i_1,j_1}\sigma_{i_2,j_2}\rangle=
1103: \frac{\sum\limits_{m,n}\;b_{m}\,b_{n}\,
1104: \langle n|S_{1,1}|m\rangle\langle m|S_{1,1}|n\rangle\,
1105: e^{-E_m(j_2-j_1)-E_n(M-j_2+j_1)+i(P_m-P_n)(i_2-i_1)}}{\sum\limits_n
1106: e^{-ME_n}}\,.
1107: \eb
1108: Matrix elements $\langle n|S_{1,1}|m\rangle$, entering this
1109: formula, hereinafter will be referred to as form factors. Parameters $E_n$ and $P_n$
1110: have the meaning of energy and total momentum of the state $|n\rangle$
1111: (and $\langle n|$). They are related to the eigenvalues of $T$
1112: and $R$ in the following way:
1113: \ben
1114: T|n\rangle=\Lambda_{max}\,e^{-E_n}|n\rangle,\qquad
1115: R|n\rangle=e^{iP_n}|n\rangle,
1116: \ebn
1117: where $\Lambda_{max}$ denotes the eigenvalue of $T$ with the
1118: maximum modulus. In the BBS$_2$ model, the values of $E_n$ and
1119: $P_n$, corresponding to the multiparticle state
1120: $|n\rangle=|p_1,\ldots,p_k\rangle$, are given by the sums of
1121: one-particle energies and momenta.
1122:
1123: The generalization of the form factor expansion (\ref{2pointff})
1124: to the multipoint case is straightforward. Thus in order to find
1125: all correlation functions, only three further steps should be
1126: made.
1127: First one should find the eigenvectors for the right
1128: action of the transfer matrix $T$, i.~e. the functions $f[\sigma]\in
1129: V$ such that $\sum\limits_{[\sigma]}f[\sigma]T[\sigma,\sigma']=\lambda_f
1130: f[\sigma']$.
1131: Then one needs to compute scalar products $\langle n|n\rangle$.
1132: Finally, the most difficult task is the calculation of form factors $\langle n|S_{1,1}|m\rangle$.
1133: All these problems are treated
1134: (the third one with only a partial success) in the following subsections.
1135: \subsection{Eigenvectors for the right action of $T$}
1136: The variables $[\sigma]$ and $[\sigma']$ enter into the
1137: representation (\ref{tnsrf}) for the matrices $T^{NS}$ and $T^R$
1138: in a similar way. Therefore, one may construct the eigenvectors for
1139: the right action of $T$ along the lines of Section~3. However,
1140: there exists even more straightforward way to obtain them.
1141: Note that the right action of $T$ on $f[\sigma]\in
1142: V$ coincides with the left action of the transfer matrix
1143: $\dot{T}=T^T$ of another BBS$_2$ model (see Fig.~1b), characterized by the
1144: parameters
1145: \be\label{newparams}
1146: \dot{a}_{12}=a_{12},\qquad
1147: \dot{a}_{13}=a_{24},\qquad\dot{a}_{14}=a_{23},\qquad
1148: \dot{a}_{23}=a_{14},\qquad\dot{a}_{24}=a_{23},\qquad\dot{a}_{34}=a_{34}.
1149: \eb
1150: Thus the eigenvectors we are looking for may be obtained
1151: from already found ones by the substitution (\ref{newparams})
1152: and mathching the eigenvalues.
1153:
1154: It is easy to verify that under
1155: the above substitution various quantities, used in the
1156: construction of eigenvectors and eigenvalues, change as follows:
1157: \ben
1158: \left(\begin{array}{cc}
1159: G_{11}(p) & G_{12}(p) \\
1160: G_{21}(p) & G_{22}(p) \end{array}\right)\rightarrow
1161: \left(\begin{array}{cc}
1162: \dot{G}_{11}(p) & \dot{G}_{12}(p) \\
1163: \dot{G}_{21}(p) & \dot{G}_{22}(p) \end{array}\right)=
1164: \left(\begin{array}{cc}
1165: G_{22}(p) & G_{21}(p) \\
1166: G_{12}(p) & G_{11}(p) \end{array}\right),
1167: \ebn
1168: \be\label{apmpoint}
1169: A^{\pm}(p)\rightarrow \dot{A}^{\pm}(p)=
1170: \frac{1+G(p)
1171: \mp\sqrt{\bigl(1-G(p)\bigr)^2-4G_{12}(p)G_{21}(p)}}{2\,G_{11}(p)}\,,
1172: \eb
1173: \ben
1174: \chi_p\rightarrow\dot{\chi}_p=\chi_p\,,\qquad u_p\rightarrow\dot{u}_p=u_p\,,\qquad
1175: v_p\rightarrow\dot{v}_p=v_{-p}\,.
1176: \ebn
1177: Let us now consider, for instance, NS-sector and assume that $L$
1178: is even. Let $f_{\{i_p\}}^{NS}[\sigma]$ denote the `left'
1179: eigenvector (\ref{ansatz1}), corresponding to the eigenvalue
1180: $\Lambda^{NS}_{\{i_p\}}$. Under the substitution
1181: (\ref{newparams}) `partial' eigenvalues $\lambda_2(p)$ and
1182: $\lambda_3(p)$ (formulas (\ref{lambdas02}), (\ref{lambdas03}))
1183: exchange their roles, while $\lambda_1(p)$ and $\lambda_4(p)$
1184: remain unchanged. Then it becomes clear that the `right'
1185: eigenvector $\dot{f}^{NS}_{\{i_p\}}[\sigma]$ of $T^{NS}$,
1186: corresponding to the same eigenvalue as
1187: $f_{\{i_p\}}^{NS}[\sigma]$, is given by
1188: \be\label{ansatz1r}
1189: \dot{f}^{NS}_{\{i_p\}}[\sigma]=\int\mathcal{D}^{NS}\dot{\xi}\;\;{\prod\limits_{p}}^{\frac{NS}{2}}
1190: \dot{F}_{i_p}(\dot{\xi}_{-p},\dot{\xi}_p)\;{\prod\limits_{j=1}^L}\;e^{\,\sigma_j\dot{\xi}_j},
1191: \eb
1192: with
1193: \begin{eqnarray}\label{efsr1}
1194: \dot{F}_1(\dot{\xi}_{-p},\dot{\xi}_p)&=&\exp\Bigl(\dot{\xi}_{-p}\,\dot{A}^+(p)\,\dot{\xi}_p\Bigr),\\
1195: \label{efsr2} \dot{F}_2(\dot{\xi}_{-p},\dot{\xi}_p)&=&\dot{\xi}_{p}\,,\\
1196: \label{efsr3}\dot{F}_3(\dot{\xi}_{-p},\dot{\xi}_p)&=&\dot{\xi}_{-p}\,,\\
1197: \label{efsr4}\dot{F}_4(\dot{\xi}_{-p},\dot{\xi}_p)&=&
1198: \exp\Bigl(\dot{\xi}_{-p}\,\dot{A}^-(p)\,\dot{\xi}_p\Bigr),
1199: \end{eqnarray}
1200: the functions $\dot{A}^{\pm}(p)$ being defined by the formula
1201: (\ref{apmpoint}).
1202: Dotted grassmann variables $\dot{\xi}$ are used in the
1203: representation (\ref{ansatz1r}) for further convenience in the
1204: computation of scalar products and form factors.
1205:
1206: In order to obtain a similar answer for the other cases (Neveu-Schwartz
1207: sector for odd $L$ and Ramond sector), it is sufficient to
1208: substitute in (\ref{ansatz2}), (\ref{ansatz3}) and (\ref{ansatz4}) instead
1209: of $F_1\ldots F_4$ new functions $\dot{F}_1\ldots\dot{F}_4$.
1210: The functions $\tilde{F}_1$ and $\tilde{F}_2$, which are
1211: responsible for the special modes $p=0,\pi$, remain unchanged.
1212:
1213: \subsection{Normalization}
1214: It is instructive to consider not only the norms $\langle
1215: n|n\rangle$, but also general scalar products $\langle
1216: m|n\rangle$, and to verify by hand that $\langle
1217: m|n\rangle=0$ for $m\neq n$. First one should remark that the
1218: eigenvectors of $T$, which belong to different sectors, are
1219: orthogonal, since they correspond to different eigenvalues of
1220: $U$. Thus one may look at each sector separately. Let us now
1221: consider, for instance, the Neveu-Schwartz sector for even $L$.
1222: Let us take a `right' eigenvector
1223: $\bigr._{NS}\bigl\langle\{i_p\}\bigr|\;\substack{\text{\textit{def}}\\=\\ \;}\;
1224: \dot{f}^{NS}_{\{i_p\}}[\sigma]$
1225: (given by the formula (\ref{ansatz1r}))
1226: and a `left' eigenvector
1227: $\bigl|\{j_p\}\bigr\rangle_{NS}\;\substack{\text{\textit{def}}\\=\\ \;}\;f^{NS}_{\{j_p\}}[\sigma]$
1228: (given by the formula (\ref{ansatz1})), and then compute their
1229: scalar product
1230: \ben
1231: \bigr._{NS}\bigl\langle\{i_p\}\bigr|\{j_p\}\bigr\rangle_{NS}=\sum\limits_{[\sigma]}
1232: \,\dot{f}^{NS}_{\{i_p\}}[\sigma]\;f^{NS}_{\{j_p\}}[\sigma].
1233: \ebn
1234: Since the fields $\xi$ and $\dot{\xi}$ in the representations
1235: (\ref{ansatz1}) and (\ref{ansatz1r}) commute, the summation over
1236: intermediate spins can be easily done and one obtains
1237: \ben
1238: \bigr._{NS}\bigl\langle\{i_p\}\bigr|\{j_p\}\bigr\rangle_{NS}=
1239: 2^L\int\mathcal{D}^{NS}\xi\,\mathcal{D}^{NS}\dot{\xi}\;\;
1240: {\prod\limits_{p}}^{\frac{NS}{2}}\left(\,
1241: \dot{F}_{i_p}(\dot{\xi}_{-p},\dot{\xi}_p)\;F_{j_p}(\xi_{-p},\xi_p)\;
1242: e^{\,\dot{\xi}_{-p}\,\xi_p\,+\,\xi_{-p}\,\dot{\xi}_{p}}\right).
1243: \ebn
1244: Calculation of this factorized integral gives
1245: \ben
1246: \bigr._{NS}\bigl\langle\{i_p\}\bigr|\{j_p\}\bigr\rangle_{NS}
1247: =2^L\;{\prod\limits_{p}}^{\frac{NS}{2}}\alpha_{i_p j_p}(p),
1248: \ebn
1249: where the functions $\alpha_{ij}(p)$ can be assembled into a
1250: $4\times4$ matrix
1251: \ben
1252: \bigl\|\alpha_{ij}(p)\bigr\|_{i,j=1,\ldots,4}=
1253: \left(\begin{array}{crrc}
1254: \dot{A}^+(p)A^+(p)-1 & 0 & 0 & \dot{A}^+(p)A^-(p)-1 \\
1255: 0 & -1 & 0 & 0 \\
1256: 0 & 0 & -1 & 0 \\
1257: \dot{A}^-(p)A^+(p)-1 & 0 & 0 & \dot{A}^-(p)A^-(p)-1
1258: \end{array}\right).
1259: \ebn
1260: Using the explicit formulas for $\dot{A}^{\pm}(p)$ and
1261: $A^{\pm}(p)$, one may check that $
1262: \dot{A}^{\pm}(p)A^{\mp}(p)=1$. Therefore, `right' and `left'
1263: eigenvectors, corresponding to different eigenvalues, are
1264: orthogonal (as it should be). The norm
1265: $\bigr._{NS}\bigl\langle\{i_p\}\bigr|\{i_p\}\bigr\rangle_{NS}$
1266: is given by
1267: \be\label{norm}
1268: \bigr._{NS}\bigl\langle\{i_p\}\bigr|\{i_p\}\bigr\rangle_{NS}=
1269: 2^L\;{\prod\limits_{p}}^{\frac{NS}{2}}\alpha_{i_p}(p),
1270: \eb
1271: where we have introduced the notation
1272: \ben
1273: \alpha_1(p)=1- \dot{A}^+(p)A^+(p),\qquad
1274: \alpha_2(p)=\alpha_3(p)=1,\qquad \alpha_4(p)=1-
1275: \dot{A}^-(p)A^-(p),
1276: \ebn
1277: and corrected the overall sign. One may check that the answer for
1278: the Neveu-Schwartz sector and odd $L$ is given by the same formula (\ref{norm}).
1279: The only things that change in the Ramond sector are the values of
1280: quasimomenta.
1281: \subsection{Form factors}
1282: Since the eigenstates of $T$ from the same sector are all simultaneously even or odd under
1283: spin reflection, all form factors of type NS--NS and R--R are equal to zero.
1284: Now assume for definiteness that $L$ is even and consider
1285: a `right' eigenvector
1286: $\bigr._{NS}\bigl\langle\{i_p\}\bigr|=\dot{f}^{NS}_{\{i_p\}}[\sigma]$
1287: from the Neveu-Schwartz sector and a `left' eigenvector
1288: $\bigr|\{j_p\}\bigr\rangle_{R}={f}^{R}_{\{j_p\}}[\sigma]$ from
1289: the Ramond sector. Let us calculate the form factor
1290: \ben
1291: \bigr._{NS}\bigl\langle\{i_p\}\bigr|S_{1,1}\bigr|\{j_p\}\bigr\rangle_{R}=
1292: \sum\limits_{[\sigma]}\,\sigma_1\,\dot{f}^{NS}_{\{i_p\}}[\sigma]\,{f}^{R}_{\{j_p\}}[\sigma]\,.
1293: \ebn
1294: After summation over intermediate spins one obtains
1295: \be\label{ffint}
1296: \bigr._{NS}\bigl\langle\{i_p\}\bigr|S_{1,1}\bigr|\{j_p\}\bigr\rangle_{R}=
1297: \eb
1298: \ben
1299: =2^L\int\mathcal{D}^R\xi\,\mathcal{D}^{NS}\dot{\xi}\;\;
1300: \tilde{F}_{j_0}(\xi_0)\tilde{F}_{j_{\pi}}(\xi_{\pi})\;
1301: {\prod\limits_{p}}^{\frac{R}{2}}
1302: {F}_{j_p}({\xi}_{-p},{\xi}_p)\;
1303: {\prod\limits_{q}}^{\frac{NS}{2}}
1304: \dot{F}_{i_q}(\dot{\xi}_{-q},\dot{\xi}_q)\;\bigl(\xi_1+\dot{\xi}_1\bigr)\;
1305: \exp\left\{\sum\limits_{k=1}^{L}\xi_k\,\dot{\xi}_k\right\}.
1306: \ebn
1307:
1308: Unfortunately, we have not managed to find a compact expression
1309: for this gaussian integral, although we strongly suspect it is
1310: possible. In order to illustrate emerging difficulties, let us
1311: assume that $|v_0|<4\chi_0$, $|v_{\pi}|>4\chi_{\pi}$ (this region mimics
1312: ferromagnetic phase),
1313: and consider the simplest possible form factor
1314: $_{NS}\langle vac|S_{1,1}|vac\rangle_{R}$, which corresponds to the
1315: following choice: $j_0=1$,
1316: $j_{\pi}=2$, $j_p=1$ for all $p\in(0,\pi)$, $i_q=1$ for all
1317: $q\in(0,\pi)$. One then obtains
1318: \ben
1319: _{NS}\langle vac|S_{1,1}|vac\rangle_{R}=\ebn\ben=2^L\!\!
1320: \int\!\mathcal{D}^{R}\xi\,\mathcal{D}^{NS}\dot{\xi}\,\;\xi_{\pi}\,(\xi_1+\dot{\xi}_1)
1321: \exp\left\{{\sum\limits_p}^{\frac{R}{2}}\xi_{-p\;}A^+(p)\xi_p+
1322: {\sum\limits_q}^{\frac{NS}{2}}\dot{\xi}_{-q\;}\dot{A}^+(q)\dot{\xi}_q+
1323: \sum\limits_{k=1}^{L}\xi_k\,\dot{\xi}_k\right\}.
1324: \ebn
1325: Quadratic form in the exponential consists of three pieces,
1326: which can not be diagonalized simultaneously: the first and the
1327: second piece are diagonal in the Fourier basis with Ramond and
1328: Neveu-Schwartz values of discrete quasimomenta, and the third
1329: one is diagonal in the coordinate representation. Actually, one
1330: can now remove the dots, using the following rule: all quadratic
1331: terms in the exponential, containing a dotted variable on the
1332: left, should change their signs. Performing this operation and
1333: passing to the coordinate representation in all terms, one
1334: obtains
1335: \be\label{ffi}
1336: _{NS}\langle vac|S_{1,1}|vac\rangle_{R}=\frac{2^L}{\sqrt{L}}
1337: \int\!\mathcal{D}\xi\,\mathcal{D}\eta\,\;\sum\limits_{k=1}^L
1338: (-1)^k\xi_k\,(\xi_1+\eta_1)\;\exp\left\{
1339: \frac12\left(\begin{array}{rr}\xi & \eta\end{array}\right)
1340: \left(\begin{array}{cc}
1341: A^+ & \mathbf{1} \\ \!\!\!\!-\mathbf{1} & -\dot{A}^+\end{array}\right)
1342: \left(\begin{array}{c} \xi \\ \eta \end{array}\right)\right\},
1343: \eb
1344: where antisymmetric $L\times L$ matrices $A^+$, $\dot{A}^+$ are
1345: given by
1346: \ben
1347: A^{+}_{xx'}=\frac{1}{L}{\sum\limits_{\;\;p\neq 0,\pi}}^{\!\!\!R}A^{+}(p)\,e^{ip(x-x')},\qquad
1348: \dot{A}^{+}_{xx'}=\frac{1}{L}\;{\sum\limits_{q}}^{NS}\dot{A}^{+}(q)\,e^{iq(x-x')},
1349: \qquad x,x'=1,\ldots,L.
1350: \ebn
1351: Evaluation of the gaussian integral (\ref{ffi}) gives
1352: \be\label{ffh}
1353: _{NS}\langle vac|S_{1,1}|vac\rangle_{R}=\frac{2^L}{\sqrt{L}}\;
1354: \mathrm{Pf}(\dot{A}^+)\,\mathrm{Pf}(H)\,
1355: \sum\limits_{k=1}^L
1356: \,(-1)^k
1357: \left[H^{-1}-\left(\dot{A}^+\right)^{-1}H^{-1}\right]_{1k},
1358: \eb
1359: where $L\times L$ matrix $H$ is also antisymmetric and has
1360: Toeplitz form:
1361: \ben
1362: H_{xx'}=\left(\dot{A}^+\right)^{-1}_{xx'}-A^{+}_{xx'}=
1363: \frac{1}{L}\;{\sum\limits_{q}}^{NS}{A}^{-}(q)\,e^{iq(x-x')}-
1364: \frac{1}{L}{\sum\limits_{\;\;p\neq
1365: 0,\pi}}^{\!\!\!R}A^{+}(p)\,e^{ip(x-x')}.
1366: \ebn
1367: Thus the problem of computation of the form factor
1368: $_{NS}\langle vac|S_{1,1}|vac\rangle_{R}$ is reduced to the
1369: calculation of the determinant of $H$ and inverse matrix
1370: $H^{-1}$. Actually, this is also the case for more complicated
1371: form factors. In spite of the remarkably simple form of the
1372: matrix $H$, we have not succeded in the calculation of $\mathrm{Pf}(H)$
1373: and $H^{-1}$. However, we believe that the representations of
1374: type (\ref{ffh}) are still useful, since they effectively reduce
1375: initial $2^L$-dimensional problem to an $L$-dimensional one.
1376:
1377: It should also be pointed out that form factor $_{NS}\langle vac|S_{1,1}|vac\rangle_{R}$
1378: enters into the definition of the order
1379: parameter of the BBS$_2$ model. More precisely, one has
1380: \ben
1381: \langle\sigma\rangle^2\;\;\substack{\text{\textit{def}}\\=\\
1382: \;}\;\lim_{i,j\rightarrow\infty}\left(\lim_{L,M\rightarrow\infty}\langle\sigma_{1,1}\sigma_{i,j}\rangle
1383: \right)=
1384: \lim_{L\rightarrow\infty}\frac{_{NS}\langle vac|S_{1,1}|vac\rangle_{R}
1385: \,_{R}\langle vac|S_{1,1}|vac\rangle_{NS}}{_{NS}\langle
1386: vac|vac\rangle_{NS}\;
1387: _{R}\langle vac|vac\rangle_{R}\;\;\;\;}\,.
1388: \ebn
1389: Although we have not managed to obtain a closed expression for
1390: this form factor, the order parameter can presumably be
1391: calculated by another method. We hope to return to this problem elsewhere.
1392:
1393: \section{Special cases}
1394: \subsection{BBS$_2$ model}
1395: Parameters of the general free-fermion model, which correspond
1396: to BBS$_2$ model (via the formulas (\ref{bbspars})--(\ref{bbsparsf})),
1397: are not independent. In particular, in addition to free-fermion
1398: condition (\ref{ffc}), they also satisfy the relation
1399: $a_{13}a_{24}=a_{14}a_{23}$. Therefore, one could expect some
1400: simplifications of the above formulas for tranfer matrix eigenvectors to occur in this case.
1401: Furthermore, it is known that the eigenvalues of the BBS$_2$ transfer matrix
1402: should have polynomial dependence on spectral variable $t$,
1403: and that the eigenvectors should not depend on it. In order to verify
1404: these properties, let us rewrite our formulas in the BBS
1405: notation.
1406:
1407: The variables $\chi_p$ and $G_{ij}(p)$ ($i,j=1,2$), which were
1408: used in the grassmann integral representation of the transfer
1409: matrix, are expressed in terms of $t,x,x',y,y',\mu,\mu'$ as
1410: \ben
1411: \chi_p=\frac{4(t+\mu\mu' xx')^2+4(yy'-t\mu\mu')^2+8(t+\mu\mu'xx')(yy'-t\mu\mu')\cos p}
1412: {(y+\mu t)(y'+\mu')}\,,
1413: \ebn
1414: \ben
1415: \chi_p\, G_{11}(p)=\frac{8it(y+\mu\mu'x')(y'-\mu\mu'x)\sin p}{(y+\mu
1416: t)^2(y'+\mu')^2}\,\ebn
1417: \ben
1418: \chi_p\, G_{22}(p)=\frac{8it(y-\mu\mu'x')(y'+\mu\mu'x)\sin p}{(y+\mu
1419: t)^2(y'+\mu')^2}\,,
1420: \ebn
1421: \ben
1422: \chi_p\, G_{12}(p)=
1423: \frac{16(t^2+\mu^2\mu'^2(t^2-x^2x'^2)-y^2y'^2)-32\mu\mu'(t^2+xx'yy')\cos
1424: p -32it\mu\mu'(xy+x'y')\sin p}{(y+\mu
1425: t)^2(y'+\mu')^2}\,.
1426: \ebn
1427: In order to write down the eigenvalues of $T^{NS}$ and $T^{R}$,
1428: it is sufficient to express in terms of BBS parameters the
1429: quantities $\Lambda^{NS(R)}_{max}$ and ${v_p}/{\rho_p}\,$.
1430: They are given by (see also \cite{bis})
1431: \ben
1432: \Lambda^{NS}_{max}=\frac{(1+\mu^L\mu'^L)}{y^L
1433: y'^L}\;{\prod\limits_{p}}^{NS}(t+t_p),\ebn\ben
1434: \Lambda^{R}_{max}=\frac{(1-\mu^L\mu'^L)}{y^L
1435: y'^L}\;{\prod\limits_{p}}^{R}(t+t_p),
1436: \ebn\ben
1437: {v_p}/{\rho_p}=\frac{t-t_p}{t+t_p},
1438: \ebn
1439: where $t_p$ is defined as
1440: \ben
1441: t_p=\frac{\sqrt{a_p c_p-b_p^2}-ib_p}{a_p},
1442: \ebn
1443: with
1444: \ben
1445: a_p=1-2\mu\mu'\cos p+\mu^2\mu'^2,\ebn
1446: \ben
1447: b_p=\mu\mu'(xy+x'y')\sin p.
1448: \ebn
1449: \ben
1450: c_p=y^2y'^2+2\mu\mu'xx'yy'\cos p+\mu^2\mu'^2x^2x'^2.\ebn
1451: Finally, `right' and `left' eigenvectors of $T^{NS}$ and $T^R$ are fully
1452: characterized by the functions $A^{\pm}(p)$ and $\dot{A}^{\pm}(p)$,
1453: which in the case of the BBS$_2$ model can be written in the
1454: following form:
1455: \begin{eqnarray*}
1456: A^{\pm}(p)&=&\frac{d_p\mp\sqrt{a_p c_p-b_p^2}}{(y-\mu\mu'x')(y'+\mu\mu'x)\,i\sin
1457: p}\,,\\
1458: \dot{A}^{\pm}(p)&=&\frac{d_p\mp\sqrt{a_p c_p-b_p^2}}{(y+\mu\mu'x')(y'-\mu\mu'x)\,i\sin
1459: p}\,,
1460: \end{eqnarray*}
1461: where
1462: \ben
1463: d_p=\mu\mu'(xx'-yy')+(yy'-\mu^2\mu'^2xx')\cos p.
1464: \ebn
1465: One should note that the functions $A^{+}(p)$, $\dot{A}^+(p)$ do not depend on $t$, as expected.
1466: \subsection{Ising model}
1467: In the Ising case, another parametrization is typically used.
1468: For simplicity, let us consider the isotropic model,
1469: characterized by the plaquette weight
1470: \ben
1471: W(\sigma_1,\sigma_2,\sigma_3,\sigma_4)=\exp\Bigl\{\frac12\,K(\sigma_1\sigma_2+\sigma_2\sigma_3+
1472: \sigma_3\sigma_4 +\sigma_4\sigma_1)\Bigr\}.
1473: \ebn
1474: Parameters of the general free-fermion model, corresponding to
1475: this Boltzmann weight, are given by
1476: \ben
1477: a_0=\frac{\cosh^2 K+1}{2}\,,\qquad a_4=a_{13}=a_{24}=\frac{\sinh^2 K}{\cosh^2 K+1}\,,
1478: \ebn\ben
1479: a_{12}=a_{23}=a_{34}=a_{14}=\frac{\sinh K \cosh K}{\cosh^2 K+1}\,.
1480: \ebn
1481: Let us also introduce the function $\gamma_q$, given by the positive
1482: root of the equation
1483: \ben
1484: \cosh\gamma_q=\sinh2K+\sinh^{-1}2K-\cos q,
1485: \ebn
1486: One can now rewrite the variables $\chi_p$ and $G_{ij}(p)$ ($i,j=1,2$) from the
1487: grassmann integral representation of $T^{NS}$ and $T^R$ in the
1488: following way:
1489: \ben
1490: \chi_p=\frac{\sinh^2 2K\,\bigl[(1+\tanh K\cos p)^2+\sin^2
1491: p\bigr]}{(\cosh^2K+1)^2}\,,
1492: \ebn
1493: \ben
1494: \chi_p\, G_{11}(p)=\chi_p\, G_{22}(p)=
1495: \frac{2i\sin p \,\sinh2K\,(\cosh2K-\tanh K\cos
1496: p)}{(\cosh^2K+1)^2}\,,
1497: \ebn
1498: \ben
1499: \chi_p\,G_{12}(p)=\frac{2\sinh2K}{(\cosh^2K+1)^2}\,.
1500: \ebn
1501: The eigenvalues and eigenvectors of $T^{NS}$ and $T^R$ may be found from
1502: \ben
1503: \Lambda^{NS(R)}_{max}=\left(2\sinh2K\right)^{L/2}
1504: \exp\left\{\frac12\;{\sum\limits_{p}}^{NS(R)}\gamma_p\right\},\qquad\qquad
1505: v_p/\rho_p=e^{-\gamma_p},
1506: \ebn
1507: \ben
1508: A^{\pm}(p)=\dot{A}^{\pm}(p)=\frac{\sinh K\cosh K\bigl[(1+\tanh K\cos p)^2+\sin^2
1509: p\bigr]-e^{\pm\gamma_p}}{i\sin p\;(\cosh2K-\tanh K\cos p)}\,.
1510: \ebn
1511: It should be emphasized once again that the transfer matrix eigenvectors, constructed
1512: above, automatically diagonalize the translation operator $R$ as
1513: well. Therefore, we believe that these eigenvectors may turn out to be useful
1514: for the construction of a rigorous proof of the
1515: recently obtained formula \cite{PhysLetts} for Ising spin form factors.
1516:
1517: \section{Summary}
1518: We have obtained the transfer matrix eigenvectors of the BBS$_2$
1519: model on a finite lattice, using the method of grassmann
1520: integration. Our results are exact and explicit, i.~e. the
1521: eigenvectors are expressed in terms of initial lattice
1522: variables. Grassmann integral representation for the
1523: eigenvectors immediately gives their norms and allows to
1524: considerably advance in the computation of form factors of the
1525: BBS$_2$ model.
1526:
1527: The only two things that were actually necessary for our computation are the
1528: translational invariance of the model and the representation
1529: (\ref{grweight}) for the plaquette Boltzmann weight. In this
1530: respect, the method, developed in the present paper, is quite
1531: general and it could be extended to free-fermion models with a more
1532: complicated configuration space of order parameter, once these are found.
1533:
1534: % \section{Summary}
1535: \section*{Acknowledgements}
1536: The author thanks N.~Iorgov, S.~Pakuliak and V.~Shadura for
1537: useful discussions and communicating their results \cite{gips} prior to publication.
1538: Special thanks to A.~I.~Bugrij for fruitful
1539: collaboration. This work was supported by the grant
1540: INTAS--03--51--3350 and franco-ukrainian program DNIPRO.
1541:
1542: \begin{thebibliography}{50}
1543: % \bibitem{ajp} H. Au-Yang, B.-Q.~Jin, J.~H.~H.~Perk, \textit{Baxter's
1544: % solution for the free energy of the chiral Potts model},
1545: % J.~Stat. Phys.~\textbf{102}, (2001), 471--499.
1546: \bibitem{baxter1} R.~J.~Baxter, \textit{Superintegrable
1547: chiral Potts model: thermodynamic properties, an inverse model
1548: and a simple associated hamiltonian}, J.~Stat. Phys.~\textbf{57},
1549: (1989), 1--39.
1550: \bibitem{baxter3} R.~J.~Baxter, V.~V.~Bazhanov, J.~H.~H.~Perk,
1551: \textit{Functional relations for transfer matrices of the chiral
1552: Potts model}, Int.~J.~Mod.~Phys.~\textbf{B4}, (1990), 803--870.
1553: \bibitem{energy} R.~J.~Baxter, \textit{Chiral Potts model: eigenvalues of the transfer
1554: matrix}, Phys. Letts.~\textbf{A146}, (1990), 110--114.
1555: \bibitem{order} R.~J.~Baxter, \textit{The order parameter of the chiral Potts model},
1556: J.~Stat. Phys.~\textbf{120}, (2005), 1--36.
1557: \bibitem{baxter2} R.~J.~Baxter, \textit{Transfer matrix functional
1558: relations for the generalized $\tau_2(t_q)$ model},
1559: J.~Stat. Phys.~\textbf{117}, (2004), 1--25.
1560: \bibitem{bs} V.~V.~Bazhanov, Yu.~G.~Stroganov, \textit{Chiral Potts
1561: model as a descendant of the six vertex model}, J.~Stat. Phys.~\textbf{59},
1562: (1990), 799--817.
1563: \bibitem{bugITP} A.~I.~Bugrij, \textit{Partition function of the planar Ising model
1564: on a lattice of finite size}, preprint ITP-85-114P, Kiev, (1985).
1565: \bibitem{buggen} A.~I.~Bugrij, \textit{Fermionization of a generalized
1566: two-dimensional Ising model}, in ``Electron-electron correlation effects
1567: in low-dimensional conductors and superconductors'',
1568: eds. A.~A.~Ovchinnikov and I.~I.~Ukrainskii, Springer-Verlag,
1569: (1991), 135--151.
1570: \bibitem{bis} A.~I.~Bugrij, N.~Z.~Iorgov, V.~N.~Shadura,
1571: \textit{Alternative method of computation of the transfer matrix
1572: eigenvalues of the $\tau_2$-model for $N=2$}, JETP Letts.~\textbf{82},
1573: (2005), 346--351.
1574: \bibitem{PhysLetts} A.~I.~Bugrij, O.~Lisovyy, \textit{Spin matrix elements
1575: in 2D Ising model on the finite lattice},
1576: Phys. Letts.~\textbf{A319}, (2003), 390--394.
1577: \bibitem{fradkin} E.~S.~Fradkin, D.~M.~Shteingradt,
1578: \textit{A continuous-integral method for spin lattice models},
1579: Nuovo Cimento~\textbf{A47}, (1978), 115--138.
1580: \bibitem{gps} G.~von~Gehlen, S.~Pakuliak, S.~Sergeev,
1581: \textit{Bazhanov-Stroganov model from 3D approach}, J.~Phys.~\textbf{A38}, (2005),
1582: 7269--7298.
1583: \bibitem{gips} G. von Gehlen, N. Iorgov, S. Pakuliak, V. Shadura,
1584: \textit{Baxter-Bazhanov-Stroganov model: Separation of variables and Baxter
1585: equation}, in preparation.
1586: \bibitem{kaufman} B. Kaufman, \textit{Crystal statistics. II.
1587: Partition function evaluated by spinor analysis}, Phys.
1588: Rev.~\textbf{76}, (1949), 1232--1243.
1589: \bibitem{smj5} M.~Sato, T.~Miwa, M.~Jimbo, \textit{Holonomic quantum fields~V},
1590: Publ. RIMS, Kyoto Univ.~\textbf{16}, (1980), 531--584.
1591: \end{thebibliography}
1592:
1593: \end{document}
1594: