1: %\documentclass[12pt]{article}
2: %\usepackage{graphicx}
3: %\usepackage{setspace}
4: %\font\mybbb=msbm10
5: %\def\Bbb#1{\mbox{\mybbb #1}}
6: %\textheight 23.5cm\topmargin -0.4in \textwidth
7: %15.5cm\oddsidemargin 0.25in\evensidemargin 0in
8: %\def\baselinestretch{1.5}
9:
10: \documentclass[prl,twocolumn,aps]{revtex4}
11: \usepackage{graphicx}
12: \font\mybbb=msbm10
13: \def\Bbb#1{\mbox{\mybbb #1}}
14: %\textheight 23.5cm\topmargin -0.4in
15: %\textwidth 15.5cm\oddsidemargin 0.25in\evensidemargin 0in
16: %\def\baselinestretch{1.5}
17:
18: \begin{document}
19:
20: \title[Entanglement For $XY$ Model]{Entanglement in $XY$ Spin Chain}
21:
22:
23:
24:
25:
26:
27:
28: \author{A.\ R.\ Its}
29: \affiliation{Department of Mathematical Sciences, Indiana
30: University-Purdue University Indianapolis, Indianapolis, IN
31: 46202-3216}
32:
33: \author{B.-Q. Jin}
34: \author{V.\ E.\ Korepin}
35: \affiliation{C.N.\ Yang Institute for Theoretical Physics, State
36: University of New York at Stony Brook, Stony
37: Brook, NY 11794-3840}
38: \date{\today}
39:
40:
41:
42: \begin{abstract}
43: We consider the ground state of the $XY$ model on an infinite chain at zero
44: temperature.
45: Following Bennett, Bernstein, Popescu, and Schumacher we use entropy of a
46: sub-system as a measure of entanglement. Vidal, Latorre,
47: Rico and Kitaev conjectured that von Neumann entropy of a large block of
48: neighboring spins approaches a constant as the size of the block increases.
49: We evaluated this limiting entropy as a function of anisotropy and
50: transverse magnetic field.
51: We used the methods based on integrable Fredholm
52: operators and Riemann-Hilbert problem. The entropy is singular at phase
53: transitions.
54: \end{abstract}
55:
56:
57: %\pacs{Pacs No: 03.67.-a, 03.65.Ud, 32.80.Lg}
58:
59: \maketitle
60:
61: There is an essential interest in quantifying entanglement
62: in various quantum systems
63: %Entanglement in spin chains, strongly correlated electrons and interacting
64: % bosons was recently published
65: \cite{hlw,zanardi,fazio,fan,rasetti,honk, nielsen,V,vidal, julien,salerno,LRV,jin,K,cardy, kais,eisert,ABV,VMC,LO,PP,FS,V2}.
66: Entanglement is a fundamental measure of 'quantumness' of the system:
67: how much quantum effects we can observe and use. It is the primary
68: resource in
69: quantum computation and quantum information processing \cite{BD,L}.
70: Stable, large scale entanglement is necessary for
71: scalability of quantum computation \cite{rasetti, zanardi}.
72: %Also entanglement plays a
73: %role in the quantum phase transitions \cite{OAFF,ON}, and
74: For experimental demonstration one can look, for example in \cite{GRAC,V}.
75: The $XY$ model in a transverse magnetic was studied from the point for view of
76: quantum information in \cite{fazio,vidal}, \cite{keat},
77: \cite{yang,sun}.
78: %The entropy of $L$ neighboring spins as a sub-system of
79: %infinite lattice was studied in \cite{vidal}.
80: It was conjectured in \cite{vidal} that in $XY$ and other gapped models
81: the entropy of a block of $L$ neighboring spins approaches a constant
82: as $L\rightarrow \infty $ (see comment \footnote{For AKLT-VBS models this
83: was proved in \cite{fan}}).
84: In this paper we evaluated the entropy of a block of $L$ neighboring
85: spins in the ground state of $XY$ model in the limit $L\rightarrow \infty $
86: analytically, see (\ref{33}).
87: %and we are interested in the entropy of a block
88: %$L$ neighboring spins at zero temperature and of infinite system.
89: Hamiltonian of $XY$ model can be written as
90: \begin{eqnarray}
91: H=-\sum_{n=-\infty}^{\infty}
92: (1+\gamma)\sigma^x_{n}\sigma^x_{n+1}+(1-\gamma)\sigma^y_{n}\sigma^y_{n+1}
93: + h\sigma^z_{n} \label{xxh}
94: \end{eqnarray}
95: Here $\gamma$ is anisotropy parameter ($0<\gamma<1$) ; $\sigma^x_n$, $\sigma^y_n$ $\sigma^z_n$ are
96: Pauli matrices and $h$ is a magnetic field.
97: The model was solved in \cite{Lieb}, \cite{mccoy}, \cite{mccoy2}, \cite{gallavotti}.
98: Toeplitz determinants were used for evaluation of some correlation functions,
99: % were evaluated by Toeplitz determinant representation
100: see \cite{tak} and \cite{aban}.
101: Integrable Fredholm operators were used for calculation of other correlations,
102: see \cite{sla, dz, izer, pron}.
103:
104: The ground state of the model $|GS\rangle$ is
105: unique. So the entropy of the whole infinite ground state is zero,
106: but it can be positive for a subsystem [a part of the ground state].
107: We shall calculate the entropy of a block of $\mathrm{L}$ neighboring spins.
108: We can think that the ground state is a binary system
109: $|GS\rangle = |A \& B\rangle $.
110: We can call the block of $L$ neighboring spins by sub-system A
111: and the rest of the ground state by sub-system B.
112: The density matrix of the ground state is $|GS\rangle \langle GS|$.
113: We shall denote it by \mbox{$\rho_{AB}=|GS\rangle \langle GS|$}.
114: The density matrix of the $L$ neighboring spins [subsystem A] is
115: \mbox{$\rho_A=
116: Tr_B(\rho_{AB})$}.
117: Von Neumann entropy $S(\rho_A)$ of the subsystem A
118: can be represented as following:
119: \begin{eqnarray}
120: S(\rho_A)=-Tr_A(\rho_A \ln \rho_A), \label{edif}
121: \label{olds}
122: \end{eqnarray}
123: This entropy defines the dimension of the Hilbert space of states of the
124: block of $L$ spins.
125: Majorana operators were used in \cite{vidal} to describe the entropy (\ref{olds}) by the following matrix:
126: \begin{eqnarray}
127: \mathbf{B}_L=\left( \begin{array}{cccc}
128: \Pi_0 &\Pi_{-1}& \ldots &\Pi_{1-L}\\
129: \Pi_{1}& \Pi_0& & \vdots\\
130: \vdots & & \ddots&\vdots\\
131: \Pi_{L-1}& \ldots& \ldots& \Pi_0
132: \end{array} \right) \nonumber
133: \end{eqnarray}
134: Here
135: $$
136: \Pi_l=\frac{1}{2\pi} \int_{0}^{2\pi} \, \mathrm{d} \theta\,
137: e^{-\mathrm{i} l \theta} {\cal G}(\theta),\quad {\cal
138: G}(\theta)=\left( \begin{array}{cc}
139: 0& g(\theta)\\
140: -g^{-1}(\theta)&0
141: \end{array} \right)
142: $$
143: \begin{equation}\textrm{and} \qquad g(\theta)=\frac{\cos \theta -\mathrm{i}
144: \gamma\sin \theta -h/2}{|\cos \theta -\mathrm{i} \gamma\sin \theta
145: -h/2|} \quad . \end{equation}
146:
147: One can use an orthogonal matrix $V$ to transform
148: $\mathbf{B}_L$ to a canonical form:
149: \begin{eqnarray}
150: V \mathbf{B}_{L} V^T= \oplus_{m=1}^{L} \nu_m \left(
151: \begin{array}{cc}
152: 0& 1\\
153: -1&0
154: \end{array} \right),\label{vd}
155: \end{eqnarray}
156: The real numbers $-1<\nu_m<1$ play an important role.
157: We shall call them eigenvalues.
158: The entropy of a block of $L$ neighboring
159: spins was represented in \cite{vidal} as
160: \begin{eqnarray}
161: S(\rho_A)&=&\sum_{m=1}^{L} H(\nu_m) \label{eaap1}
162: \end{eqnarray}
163: with
164: \begin{eqnarray}
165: H( \nu)= -\frac{1+\nu}{2} \ln \frac{1+\nu}{2}-\frac{1-\nu}{2} \ln \frac{1-\nu}{2}.\label{intee1}
166: \end{eqnarray}
167: %We shall use these results of \cite{vidal} for further analysis.
168: In order to calculate the asymptotic form of the entropy let us introduce:
169: \begin{eqnarray}
170: \widetilde{\mathbf{B}}_{L}(\lambda)=\mathrm{i}\lambda I_{L}-
171: \mathbf{B}_{L}, \quad D_{L}(\lambda)=\det
172: \widetilde{\mathbf{B}}_{L}(\lambda)
173: \end{eqnarray}
174: and \begin{eqnarray}
175: e(x, \nu)= -\frac{x+\nu}{2} \ln \frac{x+\nu}{2}-\frac{x-\nu}{2} \ln \frac{x-\nu}{2}.\label{intee}
176: \end{eqnarray}
177: Here $I_{L}$ is the
178: identity matrix of dimension $2L$. By definition, we have
179: $H(\nu)=e(1,\nu)$ and
180: \begin{eqnarray}
181: D_{L}(\lambda)=(-1)^{L} \prod_{m=1}^{L} (\lambda^2-\nu_m^2).
182: \label{exd}
183: \end{eqnarray}
184: In \cite{jin} we used Cauchy residue theorem to rewrite
185: formula ($\ref{eaap1}$) in the following form:
186: \begin{eqnarray}
187: S(\rho_A)=\lim_{\epsilon \to 0^+} \frac{1}{4\pi \mathrm{i}}
188: \oint_{\Gamma'} \mathrm{d} \lambda\, e(1+\epsilon, \lambda)
189: \frac{\mathrm{d}}{\mathrm{d} \lambda} \ln
190: D_{L}(\lambda)\;.\label{eaa}
191: \end{eqnarray}
192: Here the contour \mbox{$\Gamma'$} in Fig~$\ref{fig1}$ encircles
193: all zeros of \mbox{$D_{L}(\lambda)$}.
194: \begin{figure}[ht]
195: \begin{center}
196: %\mbox{\psfig{figure=latt310.eps, height=0.0in}}
197: \includegraphics[width=3in,clip]{lp.eps}
198: \end{center}
199: \caption{\it Contours \mbox{$\Gamma'$} (smaller one)
200: and \mbox{$\Gamma $} (larger one). Bold lines $(-\infty,
201: -1-\epsilon)$ and $(1+\epsilon,\infty)$ are the cuts of integrand
202: $e(1+\epsilon,\lambda)$. Zeros of $D_{L}(\lambda)$
203: (Eq.~$\ref{exd}$) are located on bold line $(-1, 1)$. The arrow is
204: the direction of the route of integral we take and $\mathrm{r}$
205: and $\mathrm{R}$ are the radius of circles. $\P $ } \label{fig1}
206: \end{figure}
207: \noindent We also realized that
208: $\widetilde{\mathbf{B}}_{L}(\lambda)$ is a block Toeplitz matrix
209: with the generator $\Phi(z)$, i.e.
210: \begin{eqnarray}
211: \widetilde{\mathbf{B}}_L(\lambda)=\left( \begin{array}{cccc}
212: \widetilde{\Pi}_0 &\widetilde{\Pi}_{-1}& \ldots &\widetilde{\Pi}_{1-L}\\
213: \widetilde{\Pi}_{1}& \widetilde{\Pi}_0& & \vdots\\
214: \vdots & & \ddots&\vdots\\
215: \widetilde{\Pi}_{L-1}& \ldots& \ldots& \widetilde{\Pi}_0
216: \end{array} \right) \quad \textrm{with}\nonumber
217: \end{eqnarray}
218: \begin{equation}
219: \widetilde{\Pi}_l=\frac{1}{2\pi\mathrm{i}}\oint_{\Xi} \,
220: \mathrm{d} z\, z^{-l-1} \Phi(z), \quad \Phi(z)=\left( \begin{array}{cc}
221: \mathrm{i}\lambda & \phi(z)\\
222: -\phi^{-1}(z)&\mathrm{i}\lambda
223: \end{array} \right) \label{defphi}
224: \end{equation}
225: \begin{equation}
226: \textrm{and}\quad \phi(z)=
227: \left(\frac{\lambda_1^*}{\lambda_{1}}\frac{(1-\lambda_1\,
228: z)(1-\lambda_2\, z^{-1})}{(1-\lambda_1^* \,
229: z^{-1})(1-\lambda_2^*\, z)}\right)^{1/2}
230: \end{equation}
231:
232: \begin{figure}[ht]
233: \begin{center}
234: %\mbox{\psfig{figure=latt310.eps, height=0.0in}}
235: \includegraphics[width=3in,clip]{zp.eps}
236: \end{center}
237: \caption{\it Polygonal line $\Sigma$ (direction as labeled) separates
238: the complex $z$ plane into the two parts: the part $\Omega_{+}$
239: which lies to the left of $\Sigma$, and the part $\Omega_{-}$
240: which lies to the right of $\Sigma$. Curve $\Xi$ is the unit circle in
241: anti-clockwise
242: direction. Cuts $J_1, J_2$ for functions $\phi(z),w(z)$ are
243: labeled by bold on line $\Sigma$. Definition of the end points of the cuts
244: $\lambda_{\ldots}$ depends on the case:
245: {\bf Case} $1$a: $\lambda_A=\lambda_1$ and
246: $\lambda_B=\lambda_2^{-1}$, $\lambda_C= \lambda_2$ and $\lambda_D=
247: \lambda_1^{-1}$. {\bf Case} $1$b:
248: $\lambda_A=\lambda_1$ and
249: $\lambda_B=\lambda_2^{-1}$, $\lambda_C= \lambda_1^{-1}$ and
250: $\lambda_D= \lambda_2$. {\bf Case } $2$:
251: $\lambda_A=\lambda_1$ and $\lambda_B=\lambda_2$, $\lambda_C=
252: \lambda_2^{-1}$ and $\lambda_D= \lambda_1^{-1}$. $\P$} \label{fig2}
253: \end{figure}
254: We fix the branch by requiring that $ \phi(\infty)>0$.
255: We use $*$ to denote complex conjugation and $\Xi$ is the unite circle shown in
256: Fig.~\ref{fig2}. The points $\lambda_1$, $\lambda_2$ are different
257: depending on the {\bf Case}:
258: \begin{enumerate}
259: \item{ {\bf Case} $1$a: $\quad 2\sqrt{1-\gamma^2}<h< 2$}.
260: \item{{\bf Case} $1$b: $\quad 0<h<2\sqrt{1-\gamma^2}$ }.
261: \item{{\bf Case } $2$: $\quad h> 2$ }.
262: \end{enumerate}
263: % defined in end of caption to Fig.~\ref{fig2}.
264:
265: \noindent In two cases $1$a and $2$:
266: \begin{eqnarray}
267: \lambda_1=\frac{h-\sqrt{h^2-4(1-\gamma^2)}}{2(1+\gamma)},\quad
268: \lambda_2=\frac{1+\gamma}{1-\gamma} \lambda_1.\label{ldef1}
269: \end{eqnarray}
270: These $\lambda$ are real because $h^2>4(1-\gamma^2)$ for both cases.
271:
272: \noindent In case $1$b:
273: \begin{eqnarray}
274: \lambda_1=\frac{h-\mathrm{i} \sqrt{4(1-\gamma^2)-h^2}}{2
275: (1+\gamma)},\quad
276: \lambda_2=1/\lambda_1^*.\label{ldef2}
277: \end{eqnarray}
278: In this case $h^2<4(1-\gamma^2)$.
279: %The {\bf Cases} are describes in Figure caption of Fig.2.
280:
281: (Note that in the Case $1$ the poles of the function $\phi(z)$ coincide
282: with the points $\lambda_{A}$ and $\lambda_{B}$, while in the Case $2$
283: they coincide with the points $\lambda_{A}$ and $\lambda_{C}$.)
284:
285: By virtue of Eq.~(\ref{eaa}), our objective becomes the asymptotic
286: calculation of the determinant of block Toeplitz matrix
287: $D_L(\lambda)$ or, rather,
288: its $\lambda$ -derivative $\frac{d}{d\lambda}\ln D_L(\lambda)$. A general
289: asymptotic representation of the determinant of a block
290: Toeplitz matrix, which generalizes the classical strong Szeg\"o theorem to
291: the block matrix case, was obtained by Widom in \cite{widom} (see also
292: more recent work \cite{bottcher} and references therein). The important
293: difference with the scalar case is the non-commutativity of the associated
294: Weiner-Hopf factorization. This creates serious technical problems. In our
295: work we circumvent this obstacle by
296: using an alternative approach to Toeplitz determinants
297: suggested by Deift in \cite{deift}. It is based
298: on the Riemann-Hilbert technique of the theory of
299: ``integrable integral operators'', which was
300: developed in \cite{iiks}, \cite{korepin} for evaluation of correlation functions of quantum
301: completely integrable [exactly solvable] models
302: (see also comment {\footnote{In its turn, the approach of \cite{iiks} is based on
303: the ideas of \cite{jmms}. Several principal aspects of the
304: integrable operator theory,
305: especially the ones concerning with the integrable differential systems
306: appearing in random matrix theory,
307: have been developed in \cite{tw}. Some of the important elements of modern theory of
308: integrable operators were already implicitly present in the
309: earlier work \cite{sakh}.}}).
310: It turns out that, using the block matrix
311: version of \cite{iiks} suggested in \cite{hi}, one can
312: generalize Deift's scheme to the block Toeplitz matrices.
313: In addition, we were able to find the explicit Weiner-Hopf
314: factorization of the generator $\Phi(z)$ which eventually made it
315: possible to perform an explicit evaluation of the asymptotic of the entropy
316: $S(\rho_{A})$. The final result is given in terms of
317: elliptic functions and is presented in Eq.~(\ref{333}) below.
318: In what follows we shall outline our calculation providing
319: the necessary facts concerning integrable Fredholm operators.
320: More details,
321: including the evaluation of error terms, will be presented
322: in a separate publication.
323:
324: Let $f_{j}(z)$ and $h_{j}(z)$, $j = 1, 2$, be $2\times 2$ matrix
325: functions. We introduce the class of
326: {\bf integrable operators} $K$ defined on
327: $L_{2}(\Xi, {\Bbb C}^2)$ by the following equations (cf. \cite{hi}),
328: \begin{equation}
329: (K\, X)(z) = \oint_{\Xi}K(z,z')\, X(z')dz'\quad
330: \textrm{for}\quad X\in L_{2},
331: \end{equation}
332: where
333: $$
334: K(z,z') =
335: \frac{f^{T}(z)h(z')}{z-z'},\quad f(z) = \left(
336: \begin{array}{c}
337: f_{1}^{T}(z)\\
338: f_{2}^{T}(z)
339: \end{array}\right)
340: $$
341: \begin{equation}\label{intkernel}
342: h(z) = \left( \begin{array}{c}
343: h_{1}(z)\\
344: h_{2}(z) \end{array}\right).
345: \end{equation}
346: Let $I_{2}$ denote the $2\times 2$ identity matrix. Put
347: \begin{equation}
348: f_{1}(z) = z^L I_{2}, \quad f_{2}(z) = I_{2} \label{f12}
349: \end{equation}
350: %\begin{equation}\label{f12}
351: %\left.\begin{array}{c}
352: %f_{1}(z) = z^L I_{2},\\
353: %f_{2}(z) = I_{2}, \end{array}\right.
354: %\end{equation}
355: \begin{equation}\label{h12}
356: h_{1}(z) = z^{-L}\frac{I_{2} - \Phi(z)}{2\pi i},\quad h_{2}(z) =
357: -\frac{I_{2} - \Phi(z)}{2\pi i}.
358: \end{equation}
359: Then, essentially repeating the arguments of \cite{deift}, we have
360: the following relation
361: \begin{equation}\label{fredholm}
362: D_L(\lambda) = \det (I - K),
363: \end{equation}
364: So we represented $D_L(\lambda) $ as a Fredholm determinant of
365: the integral operator $K$.
366: Define the resolvent operator $R$ by $$(I-K)
367: (I+R)=I.$$ Here
368: $I$ is the identity operator in $L_{2}(\Xi, {\Bbb C}^2)$. Then we have
369: the general equation,
370: $$
371: \frac{d}{d\lambda}\ln D_L(\lambda) = -\mbox{Tr}\,\left[
372: (I-K)^{-1}\frac{d}{d\lambda}K\right],
373: $$
374: which, taking into account that in our case
375: $$
376: \frac{d}{d\lambda}K(z, z') = -iK(z,z')(I_{2} - \Phi(z'))^{-1},
377: $$
378: can be rewritten as
379: \begin{equation}\label{trace1}
380: \frac{d}{d\lambda}\ln D_L(\lambda)
381: = i\oint_{\Xi}\mbox{tr}\,\left[R(z,z)(I_{2} -
382: \Phi(z))^{-1}\right]\, dz.
383: \end{equation}
384: In the formulae above, ``Tr'' means the trace
385: taking in the space $L_{2}(\Xi, {\Bbb
386: C}^2)$, while ``tr'' is the $2\times 2$ matrix trace.
387: An important general fact is that the resolvent kernel
388: satisfies the equation (see e.g. \cite{hi}),
389: \begin{equation}\label{RFH}
390: R(z,z) = \frac{dF^{T}(z)}{dz}H(z).
391: \end{equation}
392: In this equation, the $4\times 2$ matrix functions $F(z)$ and
393: $H(z)$ are determined by the relations,
394: \begin{equation}\label{RHF}
395: F(z) = Y_{+}(z)f(z), \quad z\in \Xi,
396: \end{equation}
397: \begin{equation}\label{RHH}
398: H(z) = (Y^{T}_{+})^{-1}(z)h(z), \quad z\in \Xi,
399: \end{equation}
400: where the $4\times 4$ matrix function $Y_+(z)$ can be found
401: from the (unique) solution of the following {\bf
402: Riemann-Hilbert problem}:
403: \begin{enumerate}
404: \item $Y(z)$ is analytic for $z\notin \Xi$. \item $Y(\infty) =
405: I_{4}$, where $I_{4}$ denotes the $4\times 4$ identity matrix.
406: \item $Y_{-}(z) = Y_{+}(z)J(z)$ for $z\in \Xi$ where $Y_{+}(z)$
407: ($Y_{-}(z)$) denotes the left (right) boundary value of $Y(z)$ on
408: unit circle $\Xi$ (Note: ``+'' means from inside of the unit
409: circle). The $4\times 4$ jump matrix $J(z)$ is defined by the
410: equations,
411: $$
412: J(z) = I_{4} + 2\pi if(z)h^{T}(z)
413: $$
414: \begin{equation}\label{J} = \left( \begin{array}{cc}
415: 2I_{2} - \Phi^{T}(z) & -z^{L}(I_{2} - \Phi^{T}(z))\\
416: z^{-L}(I_{2} - \Phi^{T}(z))& \Phi^{T}(z)\end{array}\right).
417: \end{equation}
418: \end{enumerate}
419: %It is also worth noticing the integral formulae,
420: %\begin{equation}\label{Yint}
421: %Y(z) = I_{4} - \int_{\Gamma}\frac{F(z')h^{T}(z')}{z' - z}dz',
422: %\end{equation}
423: %and
424: %\begin{equation}\label{Yinvint}
425: %Y^{-1}(z) = I_{4} + \int_{\Gamma}\frac{f(z')H^{T}(z')}{z' - z}dz'.
426: %\end{equation}
427:
428: Eqs.~(\ref{trace1}) and (\ref{RFH}) reduce the original
429: question to the asymptotic analysis of the solution $Y(z)$ of
430: the Riemann-Hilbert problem (1-3). Our observation is that
431: once again we can generalize the arguments of \cite{deift}
432: to the case of matrix generator $\Phi(z)$ and arrive to the
433: following asymptotic solution of the
434: problem (1-3) ( $L \to \infty$):
435: \begin{equation}\label{asymp2}
436: Y_{+}(z)=\left( \begin{array}{cc}
437: U_{+}^{T}(z) & ~~-z^{L}U_{+}^{T}(z)\, M(z)\\
438: 0_{2}& (V_{+}^{T})^{-1}(z)\end{array}\right)
439: \end{equation}
440: and
441: \begin{equation}\label{asymp3}
442: (Y_{+})^{-1}(z)= \left( \begin{array}{cc} (U_{+}^{T})^{-1}(z) & ~~
443: z^{L} M(z)\, V_{+}^{T}(z)\\
444: 0_2& V_{+}^{T}(z)\end{array}\right).
445: \end{equation}
446: Here $$M(z)=I_{2} - (\Phi^{T})^{-1}(z)$$ and $U_{\pm}(z)$ and
447: $V_{\pm}(z)$ are $2\times 2$ matrices solving
448: the Weiner-Hopf factorization problem :
449: \begin{description}
450: \item {(i)}\quad $\Phi(z)=U_+(z)U_-(z)=V_-(z)V_+(z) \label{wiener-hopf} ,
451: \quad z\in \Xi $ \item {(ii)} \quad $U_-(z)$ and $V_-(z)$ ($U_+(z)$ and
452: $V_+(z)$) are analytic outside (inside) the unit circle $\Xi$.
453: \item {(iii)} \quad $U_-(\infty)=V_-(\infty)=I$.
454: \end{description}
455:
456: We can use Eqs.~(\ref{asymp2}) and (\ref{asymp3}) in
457: Eqs.~(\ref{trace1}) - (\ref{RHH}) and obtain the following
458: asymptotic formula:
459: \begin{eqnarray}\label{asymp}
460: \frac{d}{d\lambda}\ln D_L(\lambda) =
461: -\frac{2\lambda}{1-\lambda^{2}}L +\frac{1}{2\pi}
462: \int_{\Xi}\mathrm{tr}\, \left[\Psi(z)\right]\, dz,\label{dln}
463: \end{eqnarray}
464: \begin{equation}
465: \Psi(z)=\left[ U_{+}'(z)U_{+}^{-1}(z)
466: +V_{+}^{-1}(z)V_{+}'(z)\right] \Phi^{-1}(z),
467: \end{equation}
468: as $L \to \infty$ (see also comment
469: {\footnote{This formula plays in our analysis the role of
470: the strong Szeg\"o theorem. We think it would be of interest
471: to understand its meaning in context of the general
472: result of Widom \cite{widom}.}}). Here $'$ means a derivative in
473: $z$ variable.
474:
475: By explicit calculation, one can find that
476: \begin{eqnarray}
477: (1-\lambda^2) \sigma_3 \Phi^{-1}(z) \sigma_3= \Phi(z),\quad
478: \sigma_3= \left( \begin{array}{cc} 1 &
479: 0\\
480: 0& -1\end{array}\right).
481: \end{eqnarray}
482: Hence,
483: \begin{eqnarray}
484: V_-(z)&=&\sigma_3 U_-^{-1}(z)\sigma_3\\
485: V_+(z)&=&\sigma_3 U_+^{-1}(z)\sigma_3(1-\lambda^2),\quad
486: \lambda\neq \pm 1,
487: \end{eqnarray}
488: and one only needs the explicit expressions for $U_{\pm}(z)$.
489:
490: Our last principal observation is that, for all $\lambda$
491: outside of a certain discrete subset of the interval
492: $[-1, 1]$, the solution to the auxiliary Riemann-Hilbert problem
493: (i-iii) exists; moreover, the functions
494: $U_{\pm}(z)$ can be expressed in terms of the Jacobi
495: theta-functions. Indeed, the auxiliary Riemann-Hilbert
496: problem (i-iii) can be easily reduced to a type of the
497: ``finite-gap'' Riemann-Hilbert problems which
498: have already appeared in the analysis of the
499: integrable statistical mechanics models
500: (see \cite{diz}). Before we give detail
501: expressions, let us first define some basic objects:
502: \begin{eqnarray}
503: w(z)&=&\sqrt{(z-\lambda_1)
504: (z-\lambda_2)(z-\lambda_2^{-1})(z-\lambda_1^{-1})},\label{notion1}\\
505: \beta(\lambda)&=&\frac{1}{2\pi i}\ln
506: \frac{\lambda+1}{\lambda-1},\end{eqnarray} where $w(z)$ is
507: analytic on the domain ${\Bbb C} \backslash \, \{ J_1\cup J_2\}$
508: shown in Fig.~\ref{fig2} and fixed by the condition:
509: %\begin{eqnarray}
510: $w(z) \to z^2$ as
511:
512: $z \to \infty $.
513: %\end{eqnarray}
514: Next we define
515: %(Points $\lambda_A,\lambda_B,\lambda_C, \lambda_D$
516: %and cuts $J_1$, $J_2$ and curves $\Sigma$ and $\Xi$ are shown in
517: %Fig.~\ref{fig2})
518: %We shall also need:
519: \begin{eqnarray}
520: \tau=\frac{2}{c} \int_{\lambda_B}^{\lambda_C}\frac{\mathrm{d}
521: z}{w(z)}, \quad
522: c=2\int_{\lambda_A}^{\lambda_B}\frac{\mathrm{d}z}{w(z)},\label{important}\end{eqnarray}
523: \begin{eqnarray}
524: % \quad
525: \delta=\frac{2}{c} \left(-\pi i-\int_{\lambda_A}^{\lambda_B}
526: \frac{z \mathrm{d} z}{w(z) }\right), \quad \omega(z)= \frac{1}{c}
527: \int_{\lambda_A}^{z}\frac{\mathrm{d} z}{w(z)},
528: \end{eqnarray}
529: \begin{equation}
530: \Delta(z)=\frac{1}{2}\int_{\lambda_A}^z
531: \frac{z+\delta}{w(z)}\mathrm{d} z,\quad
532: \kappa=\int_{\lambda_A}^{\infty}\mathrm{d} \omega(z),
533: \end{equation}
534: %$c$ and $\delta$ let $\omega(z)$, elliptic integral of the first
535: %kind, normalized by the period condition
536: %$$2\int_{\lambda_A}^{\lambda_B}\mathrm{d} \omega(z)=1.$$
537: %and $\Delta(z)$, elliptic integral of the third kind, normalized
538: %by the conditions $$2\int_{\lambda_1}^{\lambda_2^{-1}} \mathrm{d}
539: %\Delta(z)=-\pi i \quad \textrm{and}\quad \Delta(z)\sim
540: %\frac{1}{2}\ln z \quad\textrm{for $z\to \infty$}.$$ We also define
541: Points $\lambda_A,\lambda_B,\lambda_C, \lambda_D$
542: and cuts $J_1$, $J_2$ and curves $\Sigma$ and $\Xi$ are shown in
543: Fig.~\ref{fig2}. We shall also need:
544: \begin{equation}
545: \Delta_0=\lim_{z\to \infty}\left[\Delta(z)-\frac{1}{2} \ln
546: (z-\lambda_1)\right].\label{notion2}
547: \end{equation}
548: Here, the contours of integration
549: for $c$ and $\delta$ are taken along the
550: left side of the cut $J_{1}$. The contour of
551: integration for $\tau$ is the segment
552: $[\lambda_{B}, \lambda_{C}]$. The contours of integration
553: for $\kappa$ and in (\ref{notion2}) are taken along the line $\Sigma$ to the left
554: from $\lambda_{A}$; also in (\ref{notion2}), $\arg(z-\lambda_{1}) = \pi$.
555: The contours of integration in the
556: integrals
557: $\Delta(z)$ and $\omega(z)$ are
558: taking according to the rule: The contour lies entirely in
559: the domain $\Omega_{+}$ ($\Omega_{-}$) for $z$ belonging to $\Omega_{+}$
560: ($\Omega_{-}$). It also worth noticing that
561: %\begin{equation}\label{tau0}
562: $i\tau < 0$.
563: %\end{equation}
564:
565: Now we are ready to introduce the Jacobi theta-function,
566: \begin{eqnarray}
567: \theta_3(s)=\sum_{n=-\infty}^{\infty} e^{\pi i \tau n^2+2\pi i s
568: n}.\label{jac}
569: \end{eqnarray}
570: We remind the following properties of this theta-function (see e.g. \cite{ww}):
571: \begin{eqnarray}
572: \theta_3(-s)=\theta_3(s),\quad \theta_3(s+1)=\theta_3(s) \label{theta1}\\
573: \theta_3(s+\tau)=e^{-\pi i \tau-2\pi i s} \theta_3(s) \label{theta2}\\
574: \theta_3\left(n+m\tau+\frac{1}{2}+\frac{\tau}{2}\right)=0,\quad
575: n,m\in {\Bbb Z} \label{thetazeros}
576: \end{eqnarray}
577: We also introduce the $2\times 2$
578: matrix valued function $\Theta(z)$ with the entries,
579: \begin{eqnarray}&&\Theta_{11}(z)=(z-\lambda_1)^{-\frac{1}{2}} e^{\Delta(z)}\nonumber\\&&\quad \quad \quad \times \frac{\theta_3\left(\omega(z)+\beta(\lambda)-\kappa +\frac{\sigma \tau}{2}\right)}{\theta_3\left(\omega(z) + \frac{\sigma \tau}{2}\right)}\nonumber\\ &&\Theta_{12}(z)=-(z-\lambda_1)^{-\frac{1}{2}} e^{-\Delta(z)}\nonumber\\ &&\quad \quad \quad \times \frac{\theta_3\left(\omega(z)-\beta(\lambda)+\kappa -\frac{\sigma \tau}{2}\right)}{\theta_3\left(\omega(z) - \frac{\sigma \tau}{2}\right)}\nonumber\\&&\Theta_{21}(z)=-(z-\lambda_1)^{-\frac{1}{2}} e^{-\Delta(z)}\nonumber\\ &&\quad \quad \quad \times \frac{\theta_3\left(\omega(z)+\beta(\lambda) +\kappa -\frac{\sigma \tau}{2}\right)}
580: {\theta_3\left(\omega(z) - \frac{\sigma \tau}{2}\right)}\nonumber\\ &&\Theta_{22}(z)=(z-\lambda_1)^{-\frac{1}{2}} e^{\Delta(z)}\nonumber\\ &&\quad \quad \quad \times \frac{\theta_3\left(\omega(z)-\beta(\lambda)-\kappa +\frac{\sigma \tau}{2}\right)}{\theta_3\left(\omega(z) + \frac{\sigma \tau}{2}\right)},\label{thetad}
581: \end{eqnarray}
582: where $\sigma = 1$ in Case $1$ and $\sigma =0$ in Case 2,
583: and $\beta(\lambda)$, $\omega(z)$ and $\kappa$ are defined in
584: Eqs.~(\ref{notion1}-\ref{notion2}). The branch of
585: $(z-\lambda_1)^{-\frac{1}{2}}$ is defined on the
586: $z$-plane cut along the part of the line $\Sigma$ which
587: is to the right of $\lambda_{1}\equiv \lambda_{A}$, and it is fixed by the
588: condition
589: %\begin{equation}
590: $\arg (z-\lambda_1) = \pi, \quad \mbox{if}\quad z - \lambda_{1} < 0$.
591: %\end{equation}
592:
593: The matrix function $\Theta(z)$ is defined on ${\Bbb C} \backslash
594: \, {\Sigma}$. However, analyzing the jumps of
595: the integrals $\omega(z)$ and $\Delta(z)$ over
596: the line $\Sigma$ and taking into account the
597: properties (\ref{theta1}) and (\ref{theta2})
598: of the theta function, one can see that $\Theta(z)$
599: is actually extended to the analytic
600: function defined on ${\Bbb C} \backslash \, \{ J_1\cup J_2\}$.
601: Moreover, it satisfies the jump relations
602: \begin{eqnarray}
603: \Theta_+(z)=\Theta_-(z) \sigma_1\qquad z\in J_1\\
604: \Theta_+(z)=\Theta_-(z)\Lambda \sigma_1\Lambda^{-1}\quad
605: z\in J_2.\\
606: \Lambda=i\left(\begin{array}{cc}
607: \lambda+1&0\\
608: 0&\lambda-1
609: \end{array}\right),\quad \sigma_1=\left(\begin{array}{cc}
610: 0&1\\
611: 1&0
612: \end{array}\right)
613: \end{eqnarray}
614: Also note:
615: \begin{eqnarray}
616: \Theta_{11}(\infty)&=&e^{\Delta_0}\frac{\theta_3\left(\beta(\lambda)+
617: \frac{\sigma \tau}{2}\right)}
618: {\theta_3\left(\kappa + \frac{\sigma \tau}{2}\right)}\\
619: \Theta_{22}(\infty)&=&e^{\Delta_0}\frac{\theta_3\left(\beta(\lambda) -
620: \frac{\sigma \tau}{2}\right)}
621: {\theta_3\left(\kappa + \frac{\sigma \tau}{2}\right)}\\
622: %\Theta_{22}(\infty)&=&e^{\Delta_0}\frac{\theta_3\left(\beta(\lambda)+
623: %\frac{\sigma \tau}{2}\right)}
624: %{\theta_3\left(\kappa - \frac{\sigma \tau}{2}\right)}\\
625: \Theta_{12}(\infty)&=&\Theta_{21}(\infty)=0\,\,,
626: \end{eqnarray}
627: and
628: \begin{equation}\label{detTheta}
629: \det \Theta(z) \equiv \phi(z) \det
630: \Theta(\infty)\sqrt{\frac{\lambda_{2}}{\lambda_{1}}}.
631: \end{equation}
632: The latter equation follows from the comparison of the jumps
633: and singularities of its sides.
634: Finally, we introduce the matrix
635: \begin{eqnarray}
636: Q(z)=\left( \begin{array}{cc}
637: \phi(z) & -\phi(z)\\
638: i&i
639: \end{array} \right)\label{td}
640: \end{eqnarray}
641: Note that $Q(z)$ diagonalizes original jump matrix $\Phi(z)$:
642: \begin{equation}\label{factoriz}
643: \Phi(z)=Q(z)\Lambda Q^{-1}(z)
644: \end{equation}
645: and $Q(z)$ is analytic on ${\Bbb C}\backslash\, \{J_1\cup J_2\}$
646: and
647: \begin{equation}
648: Q_+(z)=Q_-(z)\sigma_1, \quad z\in J_1\cup J_2.
649: \end{equation}
650: We are now ready to present the solution $U_{\pm}(z)$
651: of the Riemann-Hilbert problem (i-iii).
652: Put \begin{equation}A=Q(\infty)
653: \Lambda^{-1}\Theta^{-1}(\infty).\end{equation} Then,
654: \begin{eqnarray} U_-(z)=A \Theta(z) \Lambda Q^{-1}(z),\quad |z|\ge 1 \label{u-d1}\\
655: U_+(z)=Q(z)\Theta^{-1}(z) A^{-1},\quad |z|\le 1.\label{u-d}
656: \end{eqnarray}
657: Indeed, by virtue of Eq.~(\ref{factoriz}), we only need
658: to be sure that $U_-(z)$ and $U_+(z)$ are
659: analytic for $|z|>1$ and $|z|<1$ respectively. From the
660: jump properties of $\Theta(z)$ and $Q(z)$ it follows that
661: $U_{\pm}$ have no jumps across $J_{1,2}$, and hence they might
662: have only possible isolated singularities at $\lambda_{1,2},\lambda_{1,2}^{-1}$.
663: The analyticity at these points can be shown by observing that the
664: singularities, which the functions $\Theta(z)$ and
665: $Q(z)$ do have at the end points of the segments
666: $J_{1,2}$, are canceled out in the products (\ref{u-d1})-(\ref{u-d}).
667:
668: The excluded values of $\lambda$ for which the above construction fails
669: are $\lambda = \pm 1$ and, in view of Eq.~(\ref{detTheta}), the zeros of
670: $\theta_3\left(\beta(\lambda)+\frac{\sigma \tau}{2}\right)$, i.e. (see
671: (\ref{thetazeros})),
672: \begin{equation}\label{zeros}
673: \pm \lambda_{m}, \quad \lambda_{m} =
674: \tanh \left(m + \frac{1-\sigma}{2}\right)\pi \tau_{0}, \quad m \geq 0,
675: \end{equation}
676: where,
677: $$
678: \tau_{0} = -i\tau = -i
679: \frac{\int_{\lambda_{B}}^{\lambda_{C}}\frac{dz}{w(z)}}
680: {\int_{\lambda_{A}}^{\lambda_{B}}\frac{dz}{w(z)}}>0 .
681: $$
682: %We shall also use below
683: %\begin{eqnarray}
684: %k=\sqrt{\frac{1-(h/2)^2-\gamma^2}{1-(h/2)^2}}\;
685: %\end{eqnarray}
686: Using explicit formulae (\ref{u-d1})-(\ref{u-d}) one can transform our basic
687: Eq.~(\ref{asymp}) into the form
688: \begin{eqnarray} &&\frac{d}{d\lambda}\ln D_L(\lambda)+\frac{2\lambda}{1-\lambda^{2}}L=\nonumber\\ &=&\frac{i}{\pi(1-\lambda^2)} \int_{\Xi}\mathrm{tr}\, \left[
689: \Theta^{-1}(z) \frac{d}{dz}\Theta(z)\sigma_3 \right]dz, \label{asymp30}
690: \end{eqnarray}
691: %\begin{eqnarray}
692: %&&\frac{d}{d\lambda}\ln D_L(\lambda)
693: %+\frac{2\lambda}{1-\lambda^{2}}L\nonumber\\
694: %&=&\frac{i}{\pi(1-\lambda^2)} \int_{\Xi}\mathrm{tr}\, \left[
695: % \Theta^{-1}(z) \Theta'(z)\sigma_3
696: % \right]dz, \label{asymp30}
697: %\end{eqnarray}
698: %as $L \to \infty$ and
699: here $\lambda \neq \pm 1,\, \, \pm \lambda_{m}$.
700: Using the same arguments as for Eq.~(\ref{detTheta}), one
701: can see that
702: $$\mathrm{tr}\, \left[\Theta^{-1}(z) \frac{d}{dz} \Theta(z)\sigma_3 \right]=$$
703: %\begin{equation}\label {tracetheta}
704: %\mathrm{tr}\, \left[\Theta^{-1}(z) \Theta'(z)\sigma_3 \right] =
705: %\end{equation}
706: \begin{equation}\label {tracetheta}= \frac{1}{cw(z)}\frac{d}{d\beta}\ln
707: \left[ \theta_3\left(\beta(\lambda)+\frac{\sigma \tau}{2}\right)\theta_3\left(\beta(\lambda)-\frac{\sigma
708: \tau}{2}\right)\right].\end{equation}
709: %$$= \frac{1}{cw(z)}\left\{\ln \left[ \theta_3\left(
710: %\beta(\lambda)+\frac{\sigma \tau}{2}\right)
711: %\theta_3\left(\beta(\lambda)-\frac{\sigma \tau}{2}\right)
712: %\right] \right \}',$$
713: %\end{equation}
714: %where $'$ means the derivative with respect to $s$ and $ s= \beta(\lambda)$.
715: This relation allows further simplification of Eq.~(\ref{asymp}).
716: Indeed, we have,
717: \begin{eqnarray}
718: &&\frac{d}{d\lambda}\ln D_L(\lambda)
719: +\frac{2\lambda}{1-\lambda^{2}}L=\nonumber\\
720: &=& \frac{d}{d\lambda}
721: \ln \left[ \theta_3\left(
722: \beta(\lambda)+\frac{\sigma \tau}{2}\right)
723: \theta_3\left(\beta(\lambda)-\frac{\sigma \tau}{2}\right)
724: \right], \label{asymp31}
725: \end{eqnarray}
726: %as $L \to \infty$ and
727: here $\lambda \neq \pm 1,\, \, \pm \lambda_{m}$.
728: Taking into account the
729: fact that as $\lambda \to \infty$, $D_L(\lambda)\to
730: (-1)^{L}\lambda^{2L}$, we obtain from Eq.~(\ref{asymp31})
731: the following asymptotic representation for the
732: {\it Toeplitz determinant} $D_L(\lambda)$:
733: %\begin{equation}\label{1}
734: %$$
735: %D_L(\lambda) =\frac{(-1)^{L}}{\theta^{2}_{3}\left(\frac{\sigma\tau}{2}\right)}
736: %(\lambda^2 - 1)^{L} \times
737: %$$
738: %\begin{equation}\label{detas}
739: $$D_L(\lambda) =\frac{(-1)^{L}}{\theta^{2}_{3}\left(\frac{\sigma\tau}{2}\right)}
740: (\lambda^2 - 1)^{L} \theta_{3}\left(\beta(\lambda) +
741: \frac{\sigma\tau}{2}\right) \theta_{3}\left(\beta(\lambda) -
742: \frac{\sigma\tau}{2}\right)$$
743: %\label{detf}
744: %\end{equation}
745: %as $L \to \infty$ and
746: here $\lambda$ lies outside of fixed but arbitrary neighborhoods
747: of the points $\pm 1$ and $\pm \lambda_{m}$, $ m \geq 0$.
748:
749: It is worth noticing that the asymptotic representation for the
750: Toeplitz determinant above shows that, in the large $L$ limit,
751: the points $\lambda_{m}$ (\ref{zeros}) are double zeros of the
752: $D_L (\lambda) $.
753: This suggests that in the
754: large $L$ limit the eigenvalues $\nu_{2m}$ and $\nu_{2m+1}$ from
755: (\ref{eaap1}), (\ref{vd}) merge:
756: %can be numerated in such a way that
757: %\begin{equation}\label{eigenas}
758: $\nu_{2m}, \nu_{2m+1} \to \lambda_{m}.$
759: %\end{equation}
760: In turn it indicates the degeneracy of the spectrum of the
761: matrix ${\bf B}_{L}$ and an appearance
762: of an {\bf extra symmetry} in the large $L$ limit.
763:
764: Substituting Eq.~(\ref{asymp31}) into the original equation Eq.~(\ref{eaa}),
765: and deforming the original contour of integration to the contour
766: $\Gamma$ as indicated in Fig.~\ref{fig1} we arrive at the following
767: expression for the {\it entropy}:
768: %\vfil
769: %\eject
770: \begin{equation}\label{33}
771: S(\rho_{A})=
772: \end{equation}
773: %\begin{equation}\label{33}
774: $$
775: = \frac{1}{2}\int_{1}^{\infty}\ln
776: \left(\frac{\theta_{3}\left(\beta(\lambda) + \frac{\sigma \tau}{2}\right)
777: \theta_{3}\left(\beta(\lambda) - \frac{\sigma \tau}{2}\right)}
778: {\theta^{2}_{3}\left(\frac{\sigma \tau}{2}\right)}\right)\, d\lambda
779: $$
780: %\end{equation}
781: This is a limiting expression as $L \to \infty$. We can prove that
782: the corrections in
783: Eq.~(\ref{33}) are of order of $
784: O\left({\lambda_{C}^{-L}}/{\sqrt{L}}\right).$
785: The asymptotic expression (\ref{33}) is a theorem, we shall publish a
786: complete proof later.
787:
788:
789: The entropy has singularities at {\it phase transitions}. When
790: $\tau \to 0$ we can use Landen
791: transform (see \cite{ww}) to get the following estimate
792: of the theta-function for small
793: $\tau$ and pure imaginary $s$:
794: $$\ln \frac{\theta_{3}\left(s \pm
795: \frac{\sigma \tau}{2}\right)}{\theta_{3}\left(\frac{\sigma \tau}{2}\right)} = \frac{\pi}{i\tau}s^{2} \mp \pi i
796: \sigma s + O\left(\frac{e^{-i\pi/\tau}}{\tau^{2}} s^2\right), ~\textrm{as $\tau \to 0$}.$$
797: %$$
798: %\ln \frac{\theta_{3}\left(s \pm \frac{\tau}{2}\right)}
799: %{\theta_{3}\left(\frac{\tau}{2}\right)} = \frac{\pi}{i\tau}s^{2} \mp \pi i s
800: % + O\left(\frac{e^{-i\pi/\tau}}{\tau^{2}} s^2\right) \quad
801: %\textrm{for $\tau \to 0$}.
802: %$$
803: Now the leading term in the expression for the entropy (\ref{33})
804: can be replaced by
805: \begin{equation}\label{4}
806: S(\rho_{A}) = \frac{\mathrm{i}\pi}{6\tau}+
807: O\left(\frac{e^{-i\pi/\tau}}{\tau^{2}}\right)
808: \quad \textrm{for
809: $\tau \to 0$}.
810: \end{equation}
811: Let us consider two physical situations corresponding to small
812: $\tau$ depending on the case defined on the page 2:
813:
814: \begin{enumerate}
815: \item{\it Critical magnetic field}: $\gamma\neq 0$ and $h\to 2$.
816:
817: This is included in our Case
818: $1$a and Case $2$, when $h> 2\sqrt{1-\gamma^2 } $.
819: As $h\to 2$ the end points of the cuts $\lambda_B \to \lambda_C$, so $\tau$
820: given by Eq.~(\ref{important}) simplifies and
821: we obtain from Eq.~(\ref{4}) that the entropy is:
822: %\begin{equation}\label{30}
823: \begin{eqnarray} &S(\rho_{A}) = -\frac{1}{6} \ln |2-h| + \frac{1}{3}\ln
824: 4\gamma, \label{cardy} \\
825: &~~h\to 2 \qquad \gamma\neq 0 \nonumber
826: \end{eqnarray}
827: correction is $O(|2-h|\ln^{2}|2-h|) $. This limit agrees with predictions of
828: conformal approach \cite{hlw,K, cardy}.
829: The
830: first term in the right hand side of (\ref{cardy})
831: can be represented as $(1/6)\ln \xi$, this confirms a conjecture of
832: \cite{cardy}. The correlation length $\xi$
833: was evaluated in \cite{barouch, mccoy}.
834:
835: \item{\it An approach to $XX$ model}: $\gamma\to 0$ and $h<2$: It
836: is included in Case $1$b, when $0<h<2\sqrt{1-\gamma^2} $. Now
837: $\lambda_B \to \lambda_C$ and $\lambda_A \to \lambda_D$, we can calculate $\tau$ explicitly. The entropy becomes:
838: %$h^2<4(1-\gamma^2)$ :
839: \begin{eqnarray}
840: &S^{0}(\rho_{A}) = -\frac{1}{3} \ln \gamma + \frac{1}{6}{\ln
841: (4-h^2)}+\frac{1}{3}\ln 2, \nonumber\\
842: &\gamma\to 0 \qquad h<2
843: \end{eqnarray}
844: correction is $O(\gamma\ln^2 \gamma) $. This agrees with \cite{jin}.
845: \end{enumerate}
846:
847: It is interesting to compare this critical behavior to Lipkin-Meshkov-Glick
848: model. It is similar to $XY$ model but each pair of spins interact with equal
849: force, one can say that it is a model on a complete graph. The critical behavior
850: in Lipkin-Meshkov-Glick was described in \cite{julien}, it is similar to $XY$,
851: but actual critical exponents are different.
852:
853: {\it Note.} We can integrate over the original contour $\Gamma'$ of
854: Fig.~\ref{fig1}
855: after substituting Eq.~(\ref{asymp31}) into the equation Eq.~(\ref{eaa}).
856: %and deforming the original contour of integration to the contour
857: %$\Gamma$ as indicated in Fig.~\ref{fig1}
858: %By integrating over the original contour $\Gamma'$,
859: This will give an alternative representation
860: for the entropy $S(\rho_{A})$ in terms of an infinite series:
861: %(cf. Eq.~(\ref{eaap1})):
862: %$$
863: %S(\rho_A) = 2\sum_{m=0}^{\infty} H(\nu^{0}_m)
864: %$$
865: %\begin{equation}\label{3333}
866: %=\sum_{m=-\infty}^{\infty}(1+\lambda_{m})\ln \frac{2}{1+\lambda_{m}},
867: %\end{equation}
868: \begin{equation}\label{3333}
869: S(\rho_A) = 2\sum_{m=0}^{\infty} H(\lambda_m) =\sum_{m=-\infty}^{\infty}
870: (1+\lambda_{m})\ln \frac{2}{1+\lambda_{m}},
871: \end{equation}
872: here the numbers $\lambda_{m}$ are defined in
873: Eq.~(\ref{zeros}). This representation is similar to Eq.~(\ref{eaap1}).
874:
875: {\it Remark}. These numbers $\lambda_{m}$ satisfy an estimate:
876: $$
877: |\lambda_{m+1} - \lambda_{m}| \leq 4\pi \tau_{0} \quad \mbox{with} \quad \tau_{0} = -i\tau.
878: $$
879: This means that $(\lambda_{m+1} - \lambda_{m}) \to 0$ as $\tau \to 0$
880: for every $m$. This is useful for understanding of large $L$ limit of
881: the $XX$ case
882: corresponding to $\gamma \to 0$, as considered in \cite{jin}. The estimate
883: explains why in the $XX$ case the singularities of the
884: logarithmic derivative of the Toeplitz determinant
885: $d\ln D_L(\lambda)/ d\lambda $ form
886: a cut along the interval $[-1, 1]$,
887: while in the $XY$ case it has a discrete set of poles at points $\pm \lambda_{m}$ of Eq.~(\ref{zeros}).
888:
889: It would be interesting to generalize our approach to the a new class
890: of quantum spin chains introduced recently by J. Keating and F. Mezzadri,
891: while study matrix models
892: \cite{keat}.
893:
894: \section{Summary}
895:
896: Our main result is the theorem that the expression for the
897: limit (as $L\to \infty$) of the entropy of a block of $L$ neighboring spins on the infinite lattice
898: is given by formula (\ref{33}). We are preparing a
899: larger file with all the details of the proof.
900: We can change variables and represent it in the form:
901: \begin{equation}
902: S(\rho_{A})= \label{333}
903: \end{equation}
904: %\begin{equation} \nonumber
905: $$
906: = \frac{\pi}{2} \int_{0}^{\infty}\ln
907: \left(\frac{\theta_{3}\left(\mathrm{i} x + \frac{\sigma \tau}{2}\right)
908: \theta_{3}\left(\mathrm{i} x -\frac{\sigma \tau}{2}\right)}
909: {\theta^2_{3}\left(\frac{\sigma \tau}{2}\right)}\right)
910: \frac{dx}{\sinh^2(\pi x)}
911: $$
912: %It is a theorem.
913: We remind that $\sigma=0$ for Case 2 and $\sigma=1$ in Case 1, see page 2.
914: $S(\rho_{A})$ implicitly depends on $\gamma $ and $h$
915: introduced in (\ref{xxh}) by means of $\tau$ defined in Eq.~(\ref{important}),
916: this
917: $\tau$ is a ratio of periods for the theta function
918: $\theta_3(z)$, see (\ref{jac}). The $\gamma$ and $h$ define $\lambda_A$, $\lambda_B$,
919: $\lambda_C$ and $\lambda_D$ by means of Eqs.~(\ref{ldef1}), (\ref{ldef2}),
920: Fig.~{\ref{fig2}} and its caption. Finally Eq.~(\ref{important}) and Eqs.~(\ref{33})
921: or (\ref{333}) define $S(\rho_{A})$ .
922:
923: \section{Appendix}
924: After our paper appeared in quant-ph, I.Peschel \cite{pes} simplified our
925: expression for the entropy in the Cases 1a and 2.
926: He used the approach of \cite{cardy}.
927: He showed that in these cases our formula (\ref{3333})
928: is equivalent to formula (4.33) of \cite{cardy}. Moreover,
929: I. Peschel was able to sum it up into the following expressions for the entropy.
930: \begin{eqnarray}
931: S= \frac {1} {6} \left [\;\ln{ \left (\frac {k^2} {16 k'}\right )} + \left (1-\frac {k^2} {2}\right )
932: \frac {4 I(k) I(k')} {\pi} \right ] + \ln\;2 , \nonumber
933: \end{eqnarray}
934: in {\bf Case 1a}, and
935: \begin{eqnarray}
936: S= \frac {1} {12} \left [\;\ln{ \frac {16} {(k^2 k'^2)}} + (k^2-k'^2)
937: \frac {4 I(k) I(k')} {\pi} \right ],
938: \end{eqnarray}
939: in {\bf Case 2 }. Here, $I(k)$ denotes the complete elliptic integral of
940: the first kind, $k'=\sqrt{1-k^2}$, and
941: \begin{eqnarray}
942: k= \left \{ \begin {array} {c} \sqrt{(h/2)^2+\gamma^2-1}\; /\; \gamma , \;\;\;\mbox{Case 1a} \\ [0.3cm]
943: \gamma\; / \;\sqrt{(h/2)^2+\gamma^2-1} ,\;\;\; \mbox{Case 2} \end{array} \right.
944: \label{mod}
945: \end{eqnarray}
946:
947:
948:
949: In our work, we have shown, in particular, that equation
950: (\ref{3333}) is valied in Case 1b as well.
951: Therefore, we can apply the summation
952: procedure of \cite{pes} and obtain that in {\bf Case 1b}
953: \begin{eqnarray}
954: S= \frac {1} {6} \left [\;\ln{ \left (\frac {k^2} {16 k'}\right )} + \left (1-\frac {k^2} {2}\right )
955: \frac {4 I(k) I(k')} {\pi} \right ] + \ln\;2 \nonumber
956: \end{eqnarray}
957: with $k'=\sqrt{1-k^2}$, and
958: \begin{eqnarray}\label{mod1b}
959: k=\sqrt{\frac{1-(h/2)^2-\gamma^2}{1-(h/2)^2}}\;
960: \end{eqnarray}
961:
962:
963: {\it Acknowledgments.} We thank B. McCoy,
964: P. Deift, P. Calabrese and I. Peschel
965: for useful discussions. This work was supported by NSF Grants
966: DMR-0302758, DMS-0099812 and DMS-0401009. The first co-author
967: thanks B. Conrey, F. Mezzardi, P. Sarnak, and N. Snaith - the organizers of the
968: 2004 program at the Isaac Newton Institute
969: for Mathematical Sciences on Random Matrices, where part of this work
970: was done, for an extremely stimulating research environment
971: and hospitality during his visit.
972:
973:
974:
975:
976:
977: \begin{thebibliography}{99}
978:
979:
980: \bibitem{ben}{C.H.\ Bennett, H.J.\ Bernstein, S.\ Popescu, and B.\
981: Schumacher,
982: Phys. Rev. {\bf A 53}, 2046, (1996)}
983: \bibitem{hlw} { C.\ Holzhey, F.\ Larsen and F.\ Wilczek, Nucl. Phys. B
984: {\bf 424}, 443, (1994) }
985: \bibitem{vidal}{G.\ Vidal, J.I.\ Latorre, E.\ Rico, and A.\ Kitaev,
986: Phys. Rev. Lett. {\bf 90}, 227902, (2003);}
987: %{J.I.\ Latorre, E.\ Rico, and G.\ Vidal, arXiv: quant-ph/0304098}
988: \bibitem{fazio}{A.\ Osterloh, L.\ Amico, G.\ Falci and R.\ Fazio
989: , Nature {\bf 416} 608, (2002) }
990:
991: \bibitem{nielsen} T.J.Osborne,M.A.Nielsen,
992: Phys.Rev.A {\bf 66},032110(2002).
993: \bibitem{V}V.Vedral, New J.Phys.{\bf 6},10 (2004).
994: %\bibitem{VLRK} G.Vidal, J.I.Latorre, E.Rico and A.Kitaev
995: %Phys. Rev. Lett. {\bf 90}, 227902 (2003).
996: \bibitem{LRV}J.I.Latorre, E.Rico, and G.Vidal,
997: QIC.{\bf 4},048 (2004).
998: %\bibitem{VLR} G.Vidal, J.I.Latorre, E.Rico, Quant. Inf. and Comp. {\bf 4},
999: %048, (2004)
1000: %\bibitem{JK}B.-Q.Jin, V.E.Korepin, J.Stat.Phys.{\bf 116},79(2004).
1001: \bibitem{K} V.E.Korepin, Phys.Rev. Lett.{\bf 92}, 096402 (2004).
1002: \bibitem{cardy} { P. Calabrese, J. Cardy, JSTAT 0406 (2004) P002 }
1003: \bibitem{ABV} M.C.Arnesen, S.Bose, and V.Vedral,
1004: Phys.Rev.Lett.{\bf 87}, 017901 (2001).
1005: \bibitem{VMC} F.Verstraete, M.A.Mart\'in-Delgado, J.I.Cirac,
1006: Phys. Rev. Lett. {\bf 92}, 087201 (2004).
1007: \bibitem{LO}R.Orus, J.I.Latorre, Phys. Rev. A {\bf 69}, 052308 (2004).
1008: \bibitem{PP}J.K.Pachos,M.B.Plenio,Phys.Rev.Lett.{\bf 93},056402(2004).
1009: \bibitem{FS}H.Fan and S.Lloyd, quant-ph/0405130.
1010: \bibitem{V2}V.Vedral, quant-ph/0405102.
1011: \bibitem{BD} C.H.Bennett, D.P.DiVincenzo,Nature {\bf 404},247 (2000).
1012: \bibitem{L}S. Lloyd,Science {\bf 261},1569(1993);
1013: {\it ibid} {\bf 263},695(1994).
1014: \bibitem{GRAC}S.Ghosh, T.F.Rosenbaum, G.Aeppli,
1015: S.N.Coppersmith, Nature {\bf 425}, 48 (2003);
1016: V.Vedral, Nature {\bf 425}, 28 (2003).
1017: \bibitem{kais} {J. Wang, S, Kais, F. Remacle, R. D. Levine, quant-ph/0405088;
1018: J. Wang, S, Kais, quant-ph/0405087; J. Wang, S, Kais, quant-ph/0405085 }
1019: \bibitem{zanardi} { Y. Chen, P. Zanardi, Z. D. Wang, F. C. Zhang, quant-ph/0407228; Y. Zhao, P. Zanardi, G. Chen, quant-ph/0407080; A.Hamma, R.Ionicioiu, P.Zanardi, quant-ph/0406202; P. Giorda, P. Zanardi, quant-ph/0311058 }
1020: \bibitem{rasetti} { P. Zanardi, M. Rasetti, Phys.Lett. A264 (1999) 94-99;
1021: A. Marzuoli, M. Rasetti, Phys.Lett. A306 (2002) 79-87; M. Rasetti, cond-mat/0211081}
1022: \bibitem{honk} Shi-Jian Gu, Hai-Qing Lin, and You-Quan Li,
1023: Ref: Phys. Rev. A 68, 042330(2003); Shi-Jian Gu, Haibin Li,You-Quan Li, and Hai-Qing Lin, quant-ph/0403026
1024: \bibitem{eisert} M.B. Plenio, J. Eisert, J. Dreissig, M. Cramer
1025: quant-ph/0405142
1026: \bibitem{salerno} {V. Popkov, M. Salerno,quant-ph/0404026 }
1027: \bibitem{deift} P. A. Deift, {\it Integrable operators,} in Differential
1028: Operators and Spectral Theory, Amer. Math. Soc. Transl., Ser. 2,
1029: vol. 189. pp. 69-84, 1999.
1030:
1031: \bibitem{iiks} A. R. Its, A. G. Izergin, V. E. Korepin, N. A. Slavnov,
1032: {\it Differential Equations for Quantum Correlation Functions}, J.
1033: Mod. Phys. B, {\bf 1003}, (1990); Proc. of a Conf. ``Yang-Baxter
1034: Equations, Conformal Invariance and Integrability in Statistical
1035: Mechanics and Field Theory'', CMA, ANU, Canberra, Australia, July
1036: 10-14, 1989, eds. M.N. Barber, P.A. Pearce, World Scientific,
1037: 1990, p. 303-338.
1038:
1039: \bibitem{jmms} M.~Jimbo, T.~Miwa, Y.~Mori, and M. Sato,
1040: {\it Density matrix of an impenetrable Bose gas and the
1041: fifth Painlev\'e transcendent}, Physica\ {\bf 1D},
1042: 80--158, (1980)
1043:
1044:
1045: \bibitem{tw} C.~A.~Tracy and H.~Widom, {\it Fredholm determinants, differential
1046: equations and matrix models}, Commun.\ Math.\ Phys.\ {\bf 163},
1047: 33--72, (1994)
1048:
1049:
1050: \bibitem{sakh} L. A. Sakhnovich , {\it Operators similar
1051: to unitary operators}, Functional Anal.and Appl. {\bf 2} No 1,
1052: 48--60, (1968)
1053:
1054:
1055: \bibitem{hi} J. Harnad, A. R. Its, {\it Integrable Fredholm Operators
1056: and
1057: Dual Isomonodromic Deformations}, Commun. Math. Phys. 226 (2002),
1058: 497-530
1059:
1060: \bibitem{diz} P. A. Deift, A. R. Its, X. Zhou, {\it A Riemann-Hilbert
1061: Approach to Asymptotic Problems Arising in the Theory of
1062: Random Matrix Models, and also in the Theory of Integrable
1063: Statistical Mechanics}, Annals of mathematics, {\bf 146},
1064: 149--235 (1997)
1065:
1066: \bibitem {ww} E. T. Whittaker, G. N. Watson,
1067: {\it A Course of Modern Analysis}, Cambridge, University Press, 1927
1068:
1069:
1070: \bibitem{jin} B.-Q. Jin and V. E. Korepin, J. Stat. Phys. {\bf 116}, 79,
1071: (2004)
1072:
1073: \bibitem{keat} {J.P.\ Keating, F. \ Mezzadri, quant-ph/0407047 }
1074: %\bibitem{yang} { E.L. Basor, Yang Chen, privite communicat
1075: %\bibitem{ben}{C.H.\ Bennett, H.J.\ Bernstein, S.\ Popescu, and B.\
1076: %Schumacher, Phys. Rev. {\bf A 53}, 2046, (1996)}
1077:
1078: \bibitem{Lieb}{E.\ Lieb, T.\ Schultz and D.\ Mattis, Ann. Phys. {\bf
1079: 16}, 407, (1961)}
1080:
1081: \bibitem{barouch}{E.\ Barouch and B.M.\ McCoy, Phys. Rev. {\bf A 3}, 236,
1082: (1971)}
1083: \bibitem{mccoy}{E.\ Barouch and B.M.\ McCoy, Phys. Rev. {\bf A 3}, 786,
1084: (1971)}
1085:
1086: \bibitem{mccoy2}{E.\ Barouch, B.M.\ McCoy and M.\ Dresden, Phys. Rev.
1087: {\bf A 2}, 1075, (1970)}
1088: \bibitem{sla} {A.R.\ Its, A.G. \ Izergin, V.E.\ Korepin, and N. A. \ Slavnov,
1089: Phys. Rev. Lett. {\bf 70 }, 1704, 1993 }
1090: \bibitem{dz} {P. A. Deift, X. Zhou, {\it Long-time asymptotic for the autocorrelation
1091: function of the transverse Ising chain at the critical magnetic field}, in the book:
1092: Singular limits of dispersive waves, N. M. Ercolani, I. R. Gabitov,
1093: C. D. Levermore and D. Serre (eds.), NATO ASI series B, Physics {\bf 320}
1094: Plenum Press, New York and London, 1994.}
1095: \bibitem{izer} {Zvonarev, M. B.; Izergin, A. G.; Pronko,
1096: A. G. {\it Long-wave asymptotic of the correlation function of the third spin
1097: components in the $XXO$ model with interaction across two nodes.} (Russian)
1098: Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 269
1099: (2000), Vopr. Kvant. Teor. Polya i Stat. Fiz. 16, 207--218, 369;
1100: English translation in J. Math. Sci. (N. Y.) 115 (2003), no. 1, 2002--2008 82B20}
1101: \bibitem{pron} {Kapitonov, V. S.; Pronko, A. G.
1102: {\it Time-dependent correlators of local spins in the one-dimensional
1103: Heisenberg $XY$-chain.} (Russian) Zap. Nauchn. Sem. S.-Peterburg. Otdel.
1104: Mat. Inst. Steklov. (POMI) 269 (2000), Vopr. Kvant. Teor. Polya i Stat.
1105: Fiz. 16, 219--261, 369--370; English translation in J. Math. Sci. (N. Y.) 115
1106: (2003), no. 1, 2009--2032 (Reviewer: Anatoliy Yu. Zakharov) 82B20 (82B23)}
1107: \bibitem{aban} {A.G.\ Abanov, F.\ Franchini, Phys. Lett. A. {\bf 316}, 342,
1108: 2003}
1109: \bibitem{tak}{M.\ Shiroishi, M.\ Takahahsi and Y.Nishiyama Journ. Phys. Soc. Jpn {\bf 70} 3535, 2001}
1110: \bibitem{fan} {H. Fan, V. Korepin, V. Roychowdhury
1111: quant-ph/0406067}
1112: \bibitem{julien}{ J. I. Latorre, R. Orus, E. Rico, J. Vidal, cond-mat/0409611}
1113: \bibitem{widom}{H.\ Widom, Advances in Math. {\bf 13}, 284, (1974);
1114: {\bf 21}, 1, (1976)}
1115:
1116: \bibitem{bottcher} A. B\"ottcher, {\it On the Determinant Formulas by
1117: Borodin, Okounkov, Baik, Deift and Rains}, Operator Theory: Advances
1118: and Applications, {\bf 135}, 91--99 (2002)
1119:
1120: \bibitem{gallavotti}{D.B.\ Abraham, E.\ Barouch, G.\ Gallavotti and A.\
1121: Martin-L\"of,
1122: Phys. Rev. Lett. {\bf 25}, 1449, (1970); Studies in Appl. Math. {\bf
1123: 50}, 121, (1971); {\cal ibid} {\bf 51}, 211, (1972)}
1124:
1125: \bibitem{korepin}{N.M.\ Bogoliubov, A.G.\ Izergin, and V.E.\ Korepin,
1126: {\it Quantum Inverse Scattering Method and Correlation Functions},
1127: Cambridge Univ. Press, Cambridge, 1993}
1128: \bibitem{pes} { I. Peschel,cond-mat/0410416 }
1129: %\bibitem{vidal}{G.\ Vidal, J.I.\ Latorre, E.\ Rico, and A.\ Kitaev,
1130: % Phys. Rev. Lett. {\bf 90}, 227902, (2003);} {J.I.\ Latorre,
1131: %E.\ Rico, and G.\ Vidal,
1132: %arXiv: quant-ph/0304098}
1133:
1134: %\bibitem{vk}{V.E.\ Korepin, Phys. Rev. Lett. {\bf 92}, 096402,
1135: %(2004) arXiv: cond-mat/0311056}
1136: \bibitem{sun} { Z. Song, P. Zhang, T. Shi, C. P. Sun, quant-ph/0409185 }
1137: \bibitem{yang}{M.-F.\ Yang, arXiv: quant-ph/0407226}
1138:
1139: %\bibitem{osterloh}{A. Osterloh, L. Amico, G. Falci, and R. Fazio,
1140: %Nature {\bf 416}, 608 (2002)}
1141:
1142: \end{thebibliography}
1143:
1144:
1145:
1146:
1147:
1148:
1149:
1150: \end{document}
1151: