1: \documentclass[12pt]{iopart}
2: \usepackage{graphicx}
3: \usepackage{setspace}
4: \usepackage{texdraw}
5: \font\mybbb=msbm10
6: \def\Bbb#1{\mbox{\mybbb #1}}
7: \textheight 23.5cm\topmargin -0.4in \textwidth 15.5cm\oddsidemargin
8: 0.25in\evensidemargin 0in
9: \def\baselinestretch{1.5}
10:
11: \begin{document}
12: \title{Analysis of entropy of $XY$ Spin Chain }
13:
14:
15: \author{F. Franchini $\diamond$, \ A. R. Its\dag, \ B.-Q. Jin\S \ and V. E. Korepin $\star $ }
16:
17: \address{ $\diamond$ Department of Physics and Astronomy, State University of New York at \\
18: Stony Brook, Stony Brook, NY 11794, USA}
19: \address{ \dag\ Department of Mathematical Sciences, Indiana
20: University-Purdue University Indianapolis, Indianapolis, IN
21: 46202-3216, USA}
22: \address{\S\ College of Physics and Electronic Information, Wenzhou
23: University, Wenzhou, Zhejiang, P.R. China }
24: \address{$\star $\ C.N.\ Yang Institute for Theoretical Physics, State
25: University of New York at Stony Brook, Stony Brook, NY 11794-3840,
26: USA}
27:
28: \ead{Fabio.Franchini@stonybrook.edu,itsa@math.iupui.edu,jinbq@wzu.edu.cn,
29: korepin@insti.physics.sunysb.edu}
30:
31: \pacs{03.65.Ud, 02.30.Ik, 05.30.Ch, 05.50.+q}
32:
33:
34: \begin{abstract}
35: Entanglement in the ground state of the $XY$ model on the
36: infinite chain can be measured by the von Neumann entropy of a
37: block of neighboring spins. We study a double scaling limit: the
38: size of the block is much larger then $1$ but much smaller then
39: the length of the whole chain. In this limit, the entropy of the
40: block approaches a constant. The limiting entropy is a function of the anisotropy and of the
41: magnetic field. The entropy reaches minima at
42: product states and increases boundlessly at
43: phase transitions.
44: \end{abstract}
45:
46:
47:
48:
49: \maketitle
50:
51: \section{Introduction}
52:
53: Entanglement is a primary resource for quantum computation and
54: information processing \cite{BD,L, ben,pop}. It shows how much quantum effects we can use to
55: control one system by another. Stable and large scale entanglement
56: is necessary for scalability of quantum computation
57: \cite{rasetti, GRAC}. The entropy of a subsystem as a measure of
58: entanglement was discovered in \cite{ben}. Essential progress has
59: been achieved in the understanding of entanglement in various
60: quantum systems
61: \cite{rasetti,fazio,jin,LRV,K,julien, cardy,ABV,VMC,LO,PP, eisert2,
62: briegel, bruno}.
63:
64: The importance of the $XY$ model for quantum information was
65: emphasized in \cite{fazio,vidal,keat,bose}. In this paper we
66: consider the entropy of a block of $L$ neighboring spins in the
67: ground state of the $XY$ model [on the infinite chain] in the
68: limit $L\rightarrow \infty $. We use the results of \cite{bik,
69: pesh, big}. The Hamiltonian of the $XY$ model is
70: \begin{equation}
71: {\cal H}=-\sum_{n=-\infty}^{\infty}
72: (1+\gamma)\sigma^x_{n}\sigma^x_{n+1}+(1-\gamma)\sigma^y_{n}\sigma^y_{n+1}
73: + h\sigma^z_{n} \label{xxh}
74: \end{equation}
75: Here $0<\gamma<1$ is the anisotropy parameter; $\sigma^x_n$,
76: $\sigma^y_n$ and $\sigma^z_n$ are the Pauli matrices and $0<h$ is
77: the magnetic field. The model was solved in
78: \cite{Lieb,mccoy,mccoy2,gallavotti}. The methods of Toeplitz
79: determinants and integrable Fredholm operators were used for the
80: evaluation of correlation functions, see \cite{mccoy2,aban,sla,
81: dz, izer, pron}. The idea to use the determinants for calculation of entropy was put forward in \cite{jin}.
82:
83: Solution of $XY$ looks differently in {\Large three cases:} $\Downarrow$
84:
85: {\bf Case $1$a} is defined by the inequality $\quad 2\sqrt{1-\gamma^2}<h< 2$ .
86:
87: It describes moderate magnetic field.
88:
89: {\bf Case $2$} is defined by $h> 2$. This is strong magnetic field.
90:
91: {\bf Case $1$b} is defined by $0<h<2\sqrt{1-\gamma^2}$.
92:
93: It is weak magnetic field, including zero magnetic field.
94: \vfill\eject
95:
96: At the boundary between cases $1$a and $1$b ($ h=2{\sqrt{1-\gamma^2}} $)
97: the ground state is doubly degenerated:
98: \begin{eqnarray}
99: |G_1\rangle & = & \prod_{n\in \mbox{\rm lattice}}\left[ \cos(\theta)| \uparrow _n \rangle+ (-1)^{n}\sin(\theta)| \downarrow _n \rangle \right] , \qquad \qquad \qquad \bowtie
100: \nonumber \\
101: |G_2\rangle & = & \prod_{n\in \mbox{\rm lattice}}\left[ \cos(\theta)| \uparrow _n\rangle - (-1)^{n}\sin(\theta)| \downarrow _n \rangle \right]
102: \label{deg}
103: \end{eqnarray}
104: Here $\cos^2 (2\theta) =(1-\gamma)/(1+\gamma)$. The role of
105: factorized states was emphasized in \cite{aban, ver,tog}.
106: Let us mention that the rest of energy levels are separated by a gap and
107: correlations decay exponentially. The boundary boundary between cases $1$a and $1$b is not a phase transition.
108:
109: In general, we denote the ground state of the model by
110: $|GS\rangle$. We consider the entropy of a block of $L$
111: neighboring spins: it measures the entanglement between the block
112: and the rest of the chain \cite{ben,vidal}. We treat the whole
113: ground state as a binary system $|GS\rangle = |A \& B\rangle $.
114: The block of $L$ neighboring spins is subsystem A and the rest of
115: the ground state is subsystem B. The density matrix of the ground
116: state is \mbox{$\rho_{AB}=|GS\rangle \langle GS|$}. The density
117: matrix of the block is \mbox{$\rho_A= Tr_B(\rho_{AB})$}. The
118: entropy $S(\rho_A)$ of the block is:
119: \begin{equation}
120: S(\rho_A)=-Tr_A(\rho_A \ln \rho_A) \qquad \qquad \qquad \sharp \label{edif}
121: \end{equation}
122: {\bf Note that each of the ground states (\ref{deg}) is factorized and
123: has no entropy.}
124:
125: To express the entropy we need the complete elliptic integral of
126: the first kind,
127: \begin{equation}
128: I(k) = \int_{0}^{1}\frac{dx}{\sqrt{(1-x^2)(1 - k^{2}x^{2})}} \qquad \qquad \star
129: \nonumber
130: \end{equation}
131: and the modulus
132: \begin{equation}
133: \tau_0= I(k')/I(k), \qquad \qquad k'=\sqrt{1-k^2}
134: \end{equation}
135:
136: In the paper \cite{bik} we used determinant representation for evaluation of entropy. Zeros of the determinant form an infinite sequence of numbers:
137: \begin{equation}\label{zerosMay}
138: \lambda_{m} =
139: \tanh \left(m + \frac{1-\sigma}{2}\right)\pi \tau_{0}, \quad m \geq 0,\qquad
140: \lambda_{-m} =-\lambda_{m}
141: \end{equation}
142: here $\sigma = 1$ in Case 1 and $\sigma = 0$ in Case 2.
143: Note
144: $0 < \lambda_{m} < 1$ and $ \lambda_{m} \to 1$ as $ m \to \infty$
145:
146:
147: The magnetic field and anisotropy define $k$:
148: \begin{eqnarray}
149: k= \left \{ \begin {array} {c} \sqrt{(h/2)^2+\gamma^2-1}\; /\; \gamma ,
150: \;\;\; \qquad \qquad \mbox{Case 1a} \\ [0.3cm]
151: \sqrt{1 -\gamma^2 - (h/2)^2}\; / \;\sqrt{1-(h/2)^2},
152: \;\;\; \mbox{Case 1b}\\ [0.3cm]
153: \gamma\; / \;\sqrt{(h/2)^2+\gamma^2-1} ,\;\;\;\qquad \qquad \mbox{Case 2}
154: \end{array}
155: \right.
156: \label{modMay}
157: \end{eqnarray}
158:
159: We represented the entropy as a convergent series in \cite{bik}:
160: \begin{equation}\label{3333May}
161: \heartsuit \quad \qquad S(\rho_A) =
162: \sum_{m=-\infty}^{\infty}
163: (1+\lambda_{m})\ln \frac{2}{1+\lambda_{m}} \qquad \spadesuit
164: \end{equation}
165: I. Peshel using the approach of \cite{cardy} also obtained the series (\ref{3333May})
166: in cases of non-zero magnetic field, see \cite{pesh}.
167: He summed it up into:
168: $$
169: S(\rho_A)= \frac {1} {6} \left [\;\ln{ \left (\frac {k^2} {16 k'}\right )} +
170: \left (1-\frac {k^2} {2}\right )
171: \frac {4 I(k) I(k')} {\pi} \right ] + \ln\;2, \qquad {\mbox{ Case 1a}} $$
172: $$
173: S(\rho_A)= \frac {1} {12} \left [\;\ln{ \frac {16} {(k^2 k'^2)}} +
174: (k^2-k'^2)
175: \frac {4 I(k) I(k')} {\pi} \right ], \qquad \qquad \quad
176: {\mbox{ Case 2}} $$
177: We summed up the series (\ref{3333May}) in case of weak magnetic field (including zero magnetic field) in the paper \cite{bik}:
178: $$
179: \clubsuit \qquad S(\rho_A) = \frac {1} {6} \left [\;\ln{ \left (\frac {k^2} {16 k'}\right )} + \left (1-\frac {k^2} {2}\right )
180: \frac {4 I(k) I(k')} {\pi} \right ] + \ln\;2, \qquad \mbox{ Case 1b}, $$
181: The rigorous proof and the precise history is given in the
182: paper \cite{big}.
183:
184: \begin{figure}
185: \includegraphics[width=\columnwidth]{entropyplot}
186: \caption {The limiting entropy as a function of the magnetic field
187: at constant anisotropy $\gamma = 1/2$. The entropy has a local minimum $S=\ln2$ at
188: $h=2\sqrt{1-\gamma^2} $ and the absolute minimum for $h \to \infty$ where it vanishes.
189: $S$ is singular at the phase transition $h=2$ where it diverges to $+ \infty$.
190: The three cases are marked.}
191: \label{entropyplot}
192: \end{figure}
193:
194: Now we can study the range of variation of the limiting entropy.
195: We find a {\bf local minimum} $ S(\rho_A)=\ln2$ at the boundary between
196: cases $1$a and $1$b ($h=2\sqrt{1-\gamma^2}$). This is the case of
197: double degenerated ground state (\ref{deg}). The absolute minimum
198: is achieved at infinite magnetic field, where the ground state
199: becomes ferromagnetic (i.e. all spins are parallel). The entropy
200: diverges to $+ \infty$, i.e has singularities, at the {\it phase
201: transitions}: $h=2$ \cite{cardy} or $\gamma=0$, see \cite{jin}.
202: To show this behavior of the limiting entropy, we plot it as a
203: function of the magnetic field $h$ at constant anisotropy $\gamma
204: = 1/2$ in Fig.~\ref{entropyplot}.
205: It is interesting to note that the critical behavior of the $XY$
206: model is similar to the Lipkin-Meshkov-Glick model \cite{julien}.
207:
208: {\it Acknowledgments.} We would like to thank P.Deift, B.McCoy,
209: I.Peschel and H.Widom for useful discussions. This work was
210: supported by NSF Grants DMR-0302758, DMS-0099812 and DMS-0503712.
211:
212:
213: \begin{thebibliography}{99}
214:
215:
216: \bibitem{BD} C.H. Bennett, D.P. DiVincenzo, Nature {\bf 404}, 247 (2000)
217:
218: \bibitem{L} S. Lloyd, Science {\bf 261},1569 (1993);
219: {\it ibid} {\bf 263},695 (1994).
220:
221: \bibitem{ben} C.H. Bennett, H.J. Bernstein, S. Popescu, and B.
222: Schumacher,
223: Phys. Rev. {\bf A 53}, 2046 (1996)
224:
225: \bibitem{pop} S. Popescu, A. J. Short, A. Winter, quant-ph/0511225
226:
227: \bibitem{rasetti} P. Zanardi, M. Rasetti, Phys. Lett. {\bf A 264}, 94 (1999);
228: A. Marzuoli, M. Rasetti, Phys. Lett. {\bf A 306}, 79 (2002); M. Rasetti, cond-mat/0211081
229:
230: \bibitem{GRAC} V.Vedral, Nature {\bf 425}, 28 (2003),
231: New J. Phys. {\bf 6},10 (2004)
232:
233: \bibitem{fazio} A. Osterloh, L. Amico, G. Falci and R. Fazio,
234: Nature {\bf 416} 608 (2002)
235:
236: %\bibitem{V} V. Vedral, New J. Phys. {\bf 6},10 (2004)
237:
238: \bibitem{jin} B.-Q. Jin, V. E. Korepin, J. Stat. Phys. {\bf 116}, 79
239: (2004)
240:
241: \bibitem{LRV} J.I. Latorre, E. Rico, G. Vidal,
242: QIC. {\bf 4}, 048 (2004)
243:
244: \bibitem{K} V.E.Korepin, Phys.Rev. Lett. {\bf 92}, 096402 (2004)
245:
246: \bibitem{cardy} P. Calabrese, J. Cardy, JSTAT 0406, P002 (2004)
247:
248: \bibitem{ABV} M.C.Arnesen, S.Bose, V.Vedral,
249: Phys. Rev. Lett. {\bf 87}, 017901 (2001)
250:
251: \bibitem{VMC} F. Verstraete, M.A. Mart\'in-Delgado, J.I. Cirac,
252: Phys. Rev. Lett. {\bf 92}, 087201 (2004)
253:
254: \bibitem{LO} R. Orus, J.I. Latorre, Phys. Rev. {\bf A 69}, 052308 (2004)
255:
256: \bibitem{PP} J.K. Pachos, M.B. Plenio, Phys. Rev. Lett. {\bf 93}, 056402(2004)
257:
258: \bibitem{fan} H. Fan, V. Korepin, V. Roychowdhury, Phys. Rev. Lett. {\bf 93}, 227203 (2004)
259:
260: \bibitem{eisert2} M.B. Plenio, J. Eisert, J. Dreissig, M. Cramer,
261: quant-ph/0405142
262:
263: \bibitem{briegel} S. Anders, M. B. Plenio, W. DŸr, F. Verstraete, H.-J. Briegel, quant-ph/0602230
264:
265: \bibitem{bruno} S. Michalakis, B. Nachtergaele, math-ph/0606018
266:
267: \bibitem{vidal} G. Vidal, J.I. Latorre, E. Rico, A. Kitaev,
268: Phys. Rev. Lett. {\bf 90}, 227902 (2003)
269:
270: \bibitem{keat} J.P. Keating, F. Mezzadri, Commun. Math. Phys. {\bf 252}, 543 (2004)
271:
272: \bibitem{bose} D. G. Angelakis, M. F. Santos, S. Bose, quant-ph/0606159
273:
274: \bibitem{bik} A. R. Its, B.-Q. Jin, V. E. Korepin, J. Phys. {\bf A 38}, 2975 (2005)
275:
276: \bibitem{pesh} I. Peschel, J. of Stat. Mech., P12005 (2004)
277:
278: \bibitem{big} A. R. Its, B.-Q. Jin, V. E. Korepin, quant-ph/0606178
279:
280: \bibitem{Lieb} E. Lieb, T. Schultz and D. Mattis, Ann. Phys. {\bf
281: 16}, 407 (1961)
282:
283: \bibitem{mccoy} E. Barouch and B.M. McCoy, Phys. Rev. {\bf A 3}, 786
284: (1971)
285:
286: \bibitem{mccoy2} E. Barouch, B.M. McCoy and M. Dresden, Phys. Rev.
287: {\bf A 2}, 1075 (1970)
288:
289: \bibitem{gallavotti} D.B. Abraham, E. Barouch, G. Gallavotti and A.
290: Martin-L\"of,
291: Phys. Rev. Lett. {\bf 25}, 1449 (1970); Studies in Appl. Math. {\bf
292: 50}, 121 (1971); {\cal ibid} {\bf 51}, 211 (1972)
293:
294: \bibitem{aban} A.G. Abanov, F. Franchini, Phys. Lett. {\bf A 316}, 342
295: (2003); F. Franchini, A.G. Abanov, J. Phys. {\bf A 38} 5069 (2005)
296:
297: \bibitem{sla} A.R. Its, A.G. Izergin, V.E. Korepin, and N. A. Slavnov,
298: Phys. Rev. Lett. {\bf 70 }, 1704 (1993)
299:
300: \bibitem{dz} P.A. Deift, X. Zhou, Plenum Press, New York and London (1994)
301:
302: \bibitem{izer} M.B. Zvonarev, A.G. Izergin, A.G.Pronko,
303: J. Math. Sci. (N. Y.) 115 (2003), no. 1, 2002--2008 82B20
304:
305: \bibitem{pron} V.S. Kapitonov, A.G. Pronko, J. Math. Sci. (N. Y.) 115
306: (2003), no. 1, 2009--2032 (Reviewer: Anatoliy Yu. Zakharov) 82B20 (82B23)
307:
308: \bibitem{ver} T. Roscilde, P. Verrucchi, A. Fubini, S. Haas, V. Tognetti,
309: Phys. Rev. Lett. {\bf 94}, 147208 (2005)
310:
311: \bibitem{tog} T. Roscilde, P. Verrucchi, A. Fubini, S. Haas, V. Tognetti, quant-ph/0412056
312:
313: \bibitem{julien} J.I. Latorre, R. Orus, E. Rico, J. Vidal, Phys.
314: Rev. {\bf A 71}, 064101 (2005); J.Vidal, R. Mosseri, J. Dukelsky,
315: Phys. Rev. {\bf A 69}, 054101 (2004); J.Vidal, G. Palacios R. Mosseri,
316: Phys. Rev. {\bf A 69}, 022107 (2004); S. Dusuel, J.Vidal, Phys. Rev. Lett. {\bf 93}, 237204 (2004)
317: and Phys. Rev. {\bf B 71}, 224420 (2005);
318: T. Barthel, S. Dusuel, J. Vidal, cond-mat/0606436
319:
320:
321: \end{thebibliography}
322: \end{document}
323: