1: \documentclass[12pt]{article}
2: \renewcommand{\baselinestretch}{1.1}
3: \topmargin -27pt
4: \textwidth 6.6in
5: \textheight 8.9in
6: \oddsidemargin=-0.5cm
7: \def\be{\begin{equation}}
8: \def\ee{\end{equation}}
9:
10: \def\ch{\mbox{ch}}
11: \def\sh{\mbox{sh}}
12: \def\sign{\mbox{sign}}
13: \def\tg{\mbox{tg}}
14: \def\s{\sigma}
15: \def\g{\gamma}
16: \def\a{\alpha}
17: \def\b{\beta}
18: \def\l{\lambda}
19: \def\la{\langle}
20: \def\ra{\rangle}
21:
22:
23:
24: \begin{document}
25:
26: \begin{center}
27: {\large Fisher-Hartwig conjecture and the correlators in
28: XY spin chain.}
29: \end{center}
30:
31: \begin{center}
32: {\large A.A.Ovchinnikov}
33: \end{center}
34:
35: \begin{center}
36: {\it Institute for Nuclear Research, RAS, Moscow, 117312, Russia}
37: \end{center}
38:
39:
40: \begin{abstract}
41:
42: We apply the theorems from the theory of Toeplitz determinants
43: to calculate the asymptotics of the correlators in the XY spin chain
44: in the transverse magnetic field.
45: The asymptotics of the correlators for the XX spin chain
46: in the magnetic field are obtained.
47:
48: \end{abstract}
49:
50:
51:
52:
53: \vspace{0.2in}
54:
55: {\bf 1. Introduction}
56: \vspace{0.1in}
57:
58:
59:
60: The calculation of correlators in the one-dimensional exactly
61: solvable models remains an interesting and important problem.
62: An important exact results on the correlators for the XY
63: quantum spin chain and the Ising model were obtained
64: \cite{LSM}-\cite{MC}.
65: The goal of the present letter is twofold.
66: First, we present the calculations of the correlators in
67: the limit of the XX spin chain in a non-zero magnetic field
68: which was not considered previously.
69: In particular, the asymptotics of the exponential correlator
70: for the XX spin chain is found.
71: Second, we use the generalized Fisher-Hartwig conjecture
72: (for example, see \cite{BM}) and the method to calculate
73: the asymptotics of Toeplitz determinants \cite{F} to
74: derive the known results \cite{MC} for the correlators
75: in the XY spin chain in a non-zero magnetic field
76: in a simple way.
77:
78:
79:
80: In the present letter to calculate the asymptotics of the
81: determinants we use the conjecture from the theory of Toeplitz
82: matrices, \cite{BM}, the generalized Fisher-Hartwig conjecture,
83: which is based on the proofs of the original
84: Fisher-Hartwig conjecture \cite{FH} including the constant in
85: front of the asymptotics, in a number of the particular cases
86: \cite{Basor}, \cite{ES} (see also \cite{BM} and references
87: therein).
88: One finds the representation of the generating function
89: $f(x)$ of the Toeplitz matrix
90: $M_{ij}=M(i-j)=\int_{0}^{2\pi}(dx/2\pi)e^{i(i-j)x}f(x)$
91: of the following form:
92: \be
93: f(x)=f_0(x)\prod_{r}e^{ib_r(x-x_r-\pi\sign(x-x_r))}
94: (2-2\cos(x-x_r))^{a_r},
95: \label{f}
96: \ee
97: where $x\in(0,2\pi)$ is implied, the discontinuities (jumps and zeroes
98: or the power-law singularities) are at finite number of the points $x_r$,
99: and $f_0(x)$ is the smooth non-vanishing function
100: with the continuously defined argument at the interval $(0,2\pi)$.
101: The function (\ref{f}) is
102: characterized by the parameters $a_r$, $b_r$ at each point of
103: discontinuity $x_r$.
104: In general there are several representations of the form (\ref{f})
105: for a given functions $f(x)$.
106: To obtain the asymptotics of the determinant one should take the sum
107: over the representations (\ref{f}) corresponding to the minimal exponent
108: $\sum_r(b_r^2-a_r^2)$:
109: \be
110: D(N)=\sum_{Repr.}e^{l_0 N}N^{\sum_r(a_r^2-b_r^2)} E
111: \label{DN}
112: \ee
113: where $E$ is the constant independent of $N$,
114: \be
115: E=\exp\left( \sum_{k=1}^{\infty}k l_k l_{-k}\right)
116: \prod_{r}(f_{+}(x_r))^{-a_r+b_r}(f_{-}(x_r))^{-a_r-b_r}~~~~~~~~~~~~
117: \label{E}
118: \ee
119: \[
120: ~~~~~~~~~\prod_{r\neq s}\left(1-e^{i(x_s-x_r)}\right)^{-(a_r+b_r)(a_s-b_s)}
121: \prod_{r}\frac{G(1+a_r+b_r)G(1+a_r-b_r)}{G(1+2a_r)},
122: \]
123: $l_k=\int_{-\pi}^{\pi}(dx/2\pi)e^{ikx}\ln(f_0(x))$, and
124: the functions $f_{\pm}(x)$ are given by the equations
125: \[
126: \ln f_{+}(x)=\sum_{k>0}l_{-k}e^{ikx}, ~~~
127: \ln f_{-}(x)=\sum_{k>0}l_{k}e^{-ikx},
128: \]
129: where $G$ is the Barnes $G$-function \cite{Barnes},
130: $G(z+1)=G(z)\Gamma(z)$, $G(1)=1$.
131:
132:
133:
134: For the piecewise continuous generation function $f(x)$
135: with the finite number of discontinuities which is not equal
136: to zero ($a_r=0$) the equation (\ref{DN}) can be represented in
137: a more convenient form \cite{Basor}.
138: Suppose the function $f(x)$ has
139: the finite number of discontinuities at the points $x_r$,
140: \[
141: \l_r=\frac{1}{2\pi}\left(\ln f(x_r+0)-\ln f(x_r-0)\right),
142: \]
143: and assume that the function $f(x)$ has the continuously defined
144: argument and not equal to zero at the interval $(-\pi,\pi)$.
145: Then the asymptotic of the determinant is given by the formula
146: \cite{Basor}
147: \be
148: D(N)=\sum_{Repr.}e^{l_0 N}N^{(\sum_r\l_r^{2})}E,~~~~E=\exp\left(
149: \sum_{k=1}^{\infty}\left(k l_k l_{-k}-\frac{1}{k}
150: \sum_{r}\l_r^{2}\right)\right)\prod_r \tilde{g}(\l_r),
151: \label{det}
152: \ee
153: where we denote
154: $l_k=\int_{-\pi}^{\pi}(dx/2\pi)e^{ikx}\ln(f(x))$
155: and the function $\tilde{g}(\l)$ equals
156: \be
157: \tilde{g}(\l)=e^{(1+\g)\l^2}\prod_{k=1}^{\infty}
158: \left(1+\frac{\l^2}{k^2}\right)e^{-\l^2/k},
159: \label{gl}
160: \ee
161: where $\g=0.577..$ is Euler's constant.
162: The constant $E$ (\ref{gl}) in eq.(\ref{det}) is a consequence of
163: the formula for the Barnes $G$- function:
164: \[
165: G(1+z)=(2\pi)^{z/2}\exp\left(-\frac{z(z+1)}{2}-\g\frac{z^2}{2}\right)
166: \prod_{k=1}^{\infty}\left(1+\frac{z}{k}\right)^k
167: \exp(-z+z^2/2k),
168: \]
169: in such a way that $\tilde{g}(\l_r)=G(1+z)G(1-z)$ for $\l_r=iz$.
170:
171:
172: In ref.\cite{Basor} the theorem was proved for an arbitrary
173: number of the discontinuities of the imaginary part of the magnitude
174: less than $1/2$, $|\l_r|<1/2$, however, there are many reasons
175: to believe it to be true also in the case $|\l_r|=1/2$ \cite{BM}.
176: For the case of an arbitrary single Fisher-Hartwig singularity
177: the conjecture (\ref{DN}) was recently proved in ref.\cite{ES}.
178: See ref.\cite{BM} for the complete list of the cases for which
179: the rigorous proof of the conjecture (\ref{DN}) is available.
180: Schematically the rigorous proofs in the particular
181: cases \cite{Basor} \cite{ES} go as follows.
182: Suppose that equation (\ref{det}) is fulfilled for some functions
183: $f_1(x)$ and $f_2(x)$ of the class of piecewise continuous
184: functions with continuously defined argument.
185: Then the equation (\ref{det}) is fulfilled for the function
186: $f(x)=f_1(x)f_2(x)$.
187: Thus it is sufficient to prove eq.(\ref{det}) for the
188: smooth function with the continuously defined argument,
189: in which case it is reduces to the well known
190: strong Szego theorem and for the singular function of the
191: form (\ref{f}) $f(x)=(1-z)^{\a}(1-1/z)^{\b}$,
192: $z=e^{ix}$, in which case the asymptotics is known exactly.
193:
194:
195:
196:
197:
198: \vspace{0.2in}
199:
200: {\bf 2. General form of the correlators for XY spin chain.}
201:
202:
203: \vspace{0.1in}
204:
205:
206: Let us review the known calculations \cite{LSM}-\cite{MC}
207: of the equal-time correlators of the operators $S^{\pm}$
208: for the XY spin chain at non-zero transverse magnetic field.
209: The Hamiltonian of the XY spin chain has the form
210: \be
211: H=-\sum_{i=1}^{L}\left((1+\g)S_i^{x}S_{i+1}^{x}+
212: (1-\g)S_i^{y}S_{i+1}^{y} - h S^{z}_{i}\right),
213: \label{H}
214: \ee
215: where $S^a=\frac{1}{2}\s^a$, $a=x,y,z$, $0<\g<1$
216: and the periodic boundary conditions are implied.
217: Performing the well-known Jordan-Wigner transformation
218: ($S^{\pm}=S^{x}\pm iS^{y}$):
219: \be
220: S_{x}^{+}=e^{i\pi N(x)}a_x^{+}=\exp(\sum_{l<x}n_{l})a_x^{+},
221: \label{J}
222: \ee
223: we obtain the following Hamiltonian written down in terms
224: of the fermionic operators:
225: \be
226: H=-\frac{1}{2}\sum_{i=1}^{L}\left(a_i^{+}a_{i+1}+
227: \g a_i^{+}a_{i+1}^{+} +h.c.\right)+
228: h\sum_{i=1}^{L}a_i^{+}a_i,
229: \label{HF}
230: \ee
231: where the boundary terms which are not important in the
232: thermodynamic limit are omitted.
233: The Hamiltonian is diagonalized with the help of the
234: following Fourier transform in the sectors with an odd number
235: of particles:
236: \[
237: a_k^{+}=\frac{1}{\sqrt{L}}\sum_{x}e^{ikx}a_x^{+}, ~~~
238: k=\frac{2\pi n}{L}, ~~n\in Z, ~~~ -\pi<k<\pi.
239: \]
240: The Hamiltonian (\ref{HF}) is easily diagonalized in the
241: momentum space. Introducing the column
242: $\psi_k^{+}=(a_k^{+}, a_{-k})$ for $k\in(0,\pi)$ the Hamiltonian
243: is represented as
244: \[
245: H=-\sum_{k>0}\psi_k^{+}\hat{M}_{k}\psi_k, ~~~~
246: \hat{M}_k=\left(
247: \begin{array}{cc}
248: \epsilon_k & i\Delta_k \\
249: -i\Delta_k & -\epsilon_k
250: \end{array} \right), ~~~~\psi_k=\left(
251: \begin{array}{c}
252: a_k \\
253: a^{+}_{-k}
254: \end{array}\right), ~~~~k>0,
255: \]
256: where the notations $\epsilon_k=\cos(k)-h$, $\Delta_k=\g\sin(k)$
257: are used and the additional constant term $\epsilon_k$ is implied.
258: It is convenient to redefine the operator $a_{-k}^{+}\to ia_{-k}^{+}$.
259: In this case the Hamiltonian is diagonalized by means of the
260: canonical transformation
261: \be
262: a_{k}^{+}=c_{k}\a_{1k}^{+}+s_{k}\a_{2k}, ~~~
263: a_{-k}= c_{k}\a_{2k}-s_{k}\a_{1k}^{+},
264: \label{can}
265: \ee
266: where $k>0$, $c_k^2+s_k^2=1$, $c_k=\cos(\phi_k)$, $s_k=\sin(\phi_k)$,
267: and the angle $\phi_k$ and the Hamiltonian are:
268: \[
269: \tg(2\phi_k)=-\frac{\Delta_k}{\epsilon_k}, ~~~
270: H=-\sum_{k>0}\left(\a_{1k}^{+}\a_{1k}-\a_{2k}^{+}\a_{2k}+1\right), ~~~
271: E_k=\sqrt{(\cos(k)-h)^2+\g^2\sin^2(k)}.
272: \]
273: Consider the equal-time correlators for the XY spin chain:
274: \[
275: G(x)=\la0|S^{+}_{i+x}S^{-}_{i}|0\ra. ~~~~~
276: \tilde{G}(x)=\la0|S^{+}_{i+x}S^{+}_{i}|0\ra.
277: \]
278: Using the Jordan-Wigner transformation
279: $S_{x}^{+}=\exp(i\pi\sum_{l<x}n_l)a_x^{+}$,
280: the correlation functions $G(x)$, $\tilde{G}(x)$ can be represented
281: as the following averages over the ground state of the Hamiltonian
282: (\ref{HF}),
283: \be
284: G(x)=\la0|a_x^{+}e^{i\pi N(x)}a_0|0\ra, ~~~~~
285: \tilde{G}(x)=-\la0|a_x^{+}e^{i\pi N(x)}a_{0}^{+}|0\ra,
286: \label{corr}
287: \ee
288: where $\hat{N}(x)=\sum_{i=1}^{x-1}n_{i}$.
289: Introducing the operators, anticommuting at different sites,
290: \[
291: A_i=a_i^{+}+a_i, ~~~~ B_i=a_i^{+}-a_i, ~~~~A_i B_i=e^{i\pi n_i},
292: \]
293: where $n_{i}=a_i^{+}a_i$ - is the fermion occupation number, with the
294: following correlators with respect to the vacuum,
295: \[
296: \la B_i A_j\ra=BA(i-j),~~~~\la A_i A_j \ra=0,~~~\la B_i B_j\ra=0
297: \]
298: one obtains the following expression for the bosonic correlator:
299: \be
300: G(x)=\frac{1}{4}\la0|B_x\prod_{i=1}^{x-1}(A_i B_i)A_0|0\ra+
301: \frac{1}{4}\la0|B_0\prod_{i=1}^{x-1}(A_i B_i)A_0|0\ra =
302: \la S^{y}_x S^{y}_0\ra + \la S^{x}_x S^{x}_0\ra,
303: \label{G}
304: \ee
305: where the terms $\la S^{y}_x S^{y}_0\ra$, $\la S^{x}_x S^{x}_0\ra$
306: correspond respectively to the two terms at the
307: left-hand side of this equation. At zero magnetic field
308: each term in this expression is represented as a product of the two
309: Toeplitz determinants \cite{LSM}. The asymptotic behaviour of $G(x)$ is
310: determined by the form of the average $BA(x)$. To calculate this
311: function one should use the expressions for the averages of two
312: operators $a_i^{+}$, $a_i$, which follow from the canonical
313: transformation (\ref{can}):
314: \be
315: \la a_{x}^{+}a_0 \ra= \int_{0}^{\pi}\frac{dk}{2\pi}
316: \left( e^{ikx}+e^{-ikx}\right)\left(\frac{1}{2}+\frac{1}{2}
317: \frac{\cos(k)-h}{\sqrt{(\cos(k)-h)^2+\g^2\sin^2(k)}}\right),
318: \label{av}
319: \ee
320: \[
321: \la a_x^{+} a_0^{+}\ra=\int_{0}^{\pi}\frac{dk}{2\pi}\left(
322: e^{ikx}-e^{-ikx}\right)
323: \left(\frac{1}{2}\frac{i\g\sin(k)}{\sqrt{(\cos(k)-h)^2+\g^2\sin^2(k)}}
324: \right)
325: \]
326: where the sums have been replaced by the integrals in the
327: continuum limit. From the expressions (\ref{av})
328: the following expression can be obtained:
329: \[
330: BA(x)=\int_{-\pi}^{\pi}\frac{dk}{2\pi}e^{ikx}
331: \frac{\cos(k)-h+i\g\sin(k)}{\sqrt{(\cos(k)-h)^2+\g^2\sin^2(k)}},
332: \]
333: which gives the following generation functions $f_1(x)$, $f_2(x)$
334: for the correlators $\la S^{x}_x S^{x}_0\ra$, $\la S^{y}_x S^{y}_0\ra$
335: respectively for the XY spin chain in the magnetic field:
336: \be
337: f_{1,2}(x)= e^{\mp ix}\sign_{\g}(x)= e^{\mp ix}
338: \left(\frac{\cos(k)-h+i\g\sin(k)}{\cos(k)-h-i\g\sin(k)}\right)^{1/2}.
339: \label{f12}
340: \ee
341: Finally, let us obtain the determinant representation for the
342: exponential correlator
343: \be
344: G_{\a}(x)=\la e^{i\a N(x)}\ra ,
345: \label{a}
346: \ee
347: where $\a$ is an arbitrary parameter and $N(x)=\sum_{i=1}^{x}n_i$,
348: introducing the operators
349: \[
350: A_i=e^{i\a/2}a_i^{+}+a_i, ~~~B_i=a_{i}^{+}+e^{i\a/2}a_i, ~~~
351: A_i B_i=e^{i\a n_i},
352: \]
353: for an arbitrary $\a$ we represent the correlator (\ref{a}) as the
354: average $\la\prod_{i=1}^{x}(a_i B_i)\ra$.
355: Since for $\a\neq\pi$ the averages $\la A_i A_j\ra$ and
356: $\la B_i B_j\ra$ are not equal to zero at $\g\neq0$,
357: we obtain the correlator
358: (\ref{a}) as a Pfaffian, which can be expressed through
359: the Toeplitz determinants.
360: For the case $\a=\pi$ we have $\la A_i A_j\ra=\la B_i B_j\ra=0$
361: and the average can be represented as the Toeplitz determinant
362: $\det_{ij}\left(\la A_i B_j\ra\right)$, $i,j=1, \ldots x$,
363: At $\g=0$ the generating function for this determinant equals
364: $f(x)=\sign(|x|-p_F)$.
365:
366:
367:
368: For the practical calculations one should represent the functions
369: (\ref{f12}) in the following form:
370: \be
371: f_{1,2}(x)=\left(e^{i2x}\right)
372: \left(\frac{1-\l_{1}e^{-ix}}{1-\l_{1}e^{ix}}\right)^{1/2}
373: \left(\frac{1-\l_{2}e^{-ix}}{1-\l_{2}e^{ix}}\right)^{1/2},
374: \label{ff12}
375: \ee
376: where the factor $e^{i2x}$ in the parenthesis corresponds to
377: the correlator $\la S^{y}_{x}S^{y}_0\ra$
378: (to the function $f_2(x)$) and the parameters $\l_{1,2}$ are
379: given by the expression:
380: \be
381: \l_{1,2}=\frac{1}{1+\g}\left(h\mp\sqrt{h^2+\g^2-1}\right).
382: \label{l12}
383: \ee
384: The behaviour of the correlators is determined by the values of
385: the parameters $\l_{1,2}$, which obey the relation
386: $\l_1\l_2=a$, where the parameter $a<1$ equals
387: $a=(1-\g)/(1+\g)$.
388: In general, for $\g>0$ one should distinguish four different cases.
389: 1) $h^2+\g^2<1$. In this case the parameters
390: $\l_{1,2}=\sqrt{a}e^{\pm i\phi}$ are the complex numbers.
391: 2) $h^2+\g^2>1$ but $h<1$. In this case the parameters
392: $\l_{1,2}$ are real and obey $\l_{1}<\l_{2}<1$.
393: 3) The line $h=1$ at arbitrary $\g$: $\l_{1}=a<1$, $\l_{2}=1$.
394: 4) The region $h>1$ where the real parameters $\l_{1,2}$
395: are $\l_{1}<1<\l_{2}$. The asymptotic behaviour of the
396: correlators is different in this four regions.
397:
398:
399:
400:
401:
402: \vspace{0.2in}
403:
404:
405: {\bf 3. Correlators for the XX spin chain.}
406:
407: \vspace{0.1in}
408:
409:
410: In this section we calculate the correlators for the isotropic
411: XX spin chain ($\g=0$) at non-zero magnetic field. For this purpose
412: it is sufficient to use the equation (\ref{det}).
413: Let us present the generating functions $f(x)$ for the initial determinants
414: of the $x\times x$ matrices obtained for different correlators.
415: We construct the functions with the continuously defined argument
416: at the interval $(-\pi,\pi)$ which is important for the application of the
417: equation (\ref{det}) (see \cite{Basor}).
418: One can use the following functions.
419: First for the correlator (\ref{a}) at $\a<\pi$ one should use the function
420: \be
421: f(x)=(1,e^{i\a},1)
422: \label{f1}
423: \ee
424: where the three number in parenthesis denote the values of the function
425: at the intervals $(-\pi,-p_F)$, $(-p_F,p_F)$ and $(p_F,\pi)$
426: respectively and the unity in eq.(\ref{f1}) denotes the phase equal to zero,
427: the function
428: \be
429: f(x)= (1,-1,1)
430: \label{f2}
431: \ee
432: for the same correlator at $\a=\pi$ and the functions of the form
433: \be
434: f_1(x)=e^{-ix}(e^{-i\pi},1,e^{i\pi}),~~~~
435: f_2(x)=e^{ix}(e^{i\pi},1,e^{-i\pi}),
436: \label{f3}
437: \ee
438: with the continuously defined argument for the two terms in
439: eq.(\ref{G}) respectively.
440: Let us note that for the case $\a>\pi$ in eq.(\ref{a})
441: the function can be chosen in the form $(e^{i2\pi},e^{i\a},e^{i2\pi})$,
442: which shows that the correlator (\ref{a}) is in fact the
443: $2\pi$ - periodic function of the real parameter $\a$.
444:
445:
446:
447: The function $f(x)$ (\ref{f1}) has the continuously defined argument
448: and the two jumps of the size $i\a$ and $-i\a$ at the points
449: $x_1=-\pi/2$ and $x_2=\pi/2$.
450: Substituting this functions into the equation (\ref{det}) we
451: obtain at the half-filling the asymptotics:
452: \be
453: G_{\a}(x)=\la e^{i\a N(x)}\ra =e^{i\a x/2}\frac{1}{x^{\a^2/2\pi^2}}
454: \frac{1}{2^{\a^2/2\pi^2}}\left(g(\l)\right)^2,
455: \label{ga}
456: \ee
457: where $\l=\a/2\pi$.
458: Evaluating the product in $g(\l)$ for the function given by
459: the equation (\ref{gl}) we obtain the expression:
460: \be
461: \ln(g(\l))=\l^2\int_{0}^{\infty}\frac{dt}{t}\left(e^{-t}-
462: \frac{1}{\l^2}\frac{(\sh(\l t/2)^2}{(\sh(t/2))^2}
463: \right), ~~~~\l^2=\frac{\a^2}{4\pi^2}.
464: \label{lgl}
465: \ee
466: For the correlator $G_{\a}(x)$ at $\a=\pi$ one should use
467: the conjecture (\ref{DN}).
468: The function $f(x)=(1,-1,1)$ (\ref{f2}) allows for two different
469: representations in the form (\ref{f}) with two equal
470: exponents $\sim 1/x^{1/2}$: 1) $b_1=1/2$, $b_2=-1/2$, $f_0(x)=e^{i\pi/2}$
471: and $b_1=-1/2$, $b_2=1/2$, $f_0(x)=e^{-i\pi/2}$, with
472: $x_1=-\pi/2$, $x_2=\pi/2$.
473: Thus for the asymptotics one should take the sum of the two terms
474: which gives the following result:
475: \be
476: G_{\pi}(x)=\left(e^{ip_F x}+e^{-ip_F x}\right)G_0(x)=
477: \cos(p_{F}x)2G_0(x),
478: \label{pi}
479: \ee
480: where $p_F=\pi/2$ and
481: \[
482: G_0(x)=\frac{1}{x^{1/2}}\frac{1}{\sqrt{2}}(g(1/2))^2.
483: \]
484: The correlator $G_{\pi}(x)$ equal to zero for $x$ - odd and
485: to $\pm 2G_0(x)$ for $x$- even in accordance with the general
486: properties of the average $G_{\pi}(x)=\la\prod_{i=1}^{x}(1-2n_i)\ra$
487: (real function).
488: The same result for $G_{\pi}$ can be obtained using the reduction
489: of the determinant to the square of the half-size determinant.
490: At $\a\neq\pi$ the first term $e^{ip_F x}$ in eq.(\ref{pi})
491: corresponds to the expression (\ref{ga}) while the second term gives
492: the subleading asymptotics.
493: One can also obtain the asymptotics of the correlator (\ref{pi})
494: at the arbitrary $p_F\neq\pi/2$:
495: \be
496: G_{\pi}(x)=(e^{ip_F x}+e^{-ip_F x})\frac{1}{x^{1/2}}
497: \frac{1}{\sqrt{\sin(p_F)}}\frac{1}{\sqrt{2}}(g(1/2))^2,
498: \label{pf}
499: \ee
500: which also have two different exponents and at arbitrary $p_F$ is the
501: real function of $x$.
502: Note that the same results could be obtained from equation (\ref{det})
503: by taking the sum of the two terms corresponding to the functions
504: $(1,e^{i\pi},1)$, and $(1,e^{-i\pi},1)$.
505:
506:
507:
508:
509: The spin-spin correlator (\ref{corr}) using the
510: functions (\ref{f3}) for the two terms we obtain from eq.(\ref{det})
511: the asymptotics
512: \be
513: G(x)=\frac{1}{x^{1/2}}\frac{1}{\sqrt{2}}(g(1/2))^2,
514: \label{asg}
515: \ee
516: where the constant $g(1/2)=\sqrt{\pi}(G(1/2))^2$,
517: can be represented in the form:
518: \[
519: \ln(g(1/2))=\frac{1}{4}\int^{\infty}_{0}\frac{dt}{t}\left(
520: e^{-4t}-\frac{1}{(\ch(t))^2}\right).
521: \]
522: Note that for the functions (\ref{f3}) there is only one representation
523: (\ref{f}), $b_1=b_2=1/2$ and $b_1=b_2=-1/2$ respectively
524: so the conjecture (\ref{DN}) leads to the same results.
525:
526: Finally, one can use equation (\ref{G}) and the functions (\ref{f3})
527: and the discontinuities at the points $x_{1,2}=\pm p_F$ to obtain
528: the asymptotics of the correlator $G(x)$ for the XX spin chain in the
529: magnetic field in the form:
530: \be
531: G(x)=\frac{1}{x^{1/2}} \frac{\sqrt{\sin(p_F)}}{\sqrt{2}}
532: (g(1/2))^{2},
533: \label{PF}
534: \ee
535: which differs from the well known asymptotics (\ref{asg})
536: by the simple factor $(\sin(p_F))^{1/2}=(1-h^2)^{1/4}$.
537: Note that both eq.(\ref{DN}) and (\ref{det}) predict the
538: real positive function $G(x)$ without the oscillating factors
539: in agreement with the observation that the ground-state
540: wave function of the Hamiltonian (\ref{H}) at $\g=0$
541: is the positive function of the coordinates.
542:
543:
544:
545:
546:
547:
548: \vspace{0.2in}
549:
550: {\bf 4. Correlators for the XY spin chain.}
551:
552: \vspace{0.1in}
553:
554: Let us start with the calculations of the asymptotics of the
555: $xx$-correlator $G^{xx}(x)=\la S^{x}_{x}S^{x}_0\ra$ for the
556: different values of the parameters $\g$, $h$ ($\l_{1,2}$).
557: In Section 2 this correlator was represented by the
558: determinant corresponding to the function $f_1(x)$ (\ref{ff12}).
559: At $h<1$ we have for the parameters $\l_{1,2}$ the condition
560: $|\l_{1,2}|<1$, and this function is the smooth function with
561: zero winding number, so the strong Szego theorem can be applied.
562: Thus in the whole region $h<1$ the correlator has the long-range
563: order which can be easily calculated:
564: \[
565: G^{xx}(x)={1\over4}(1-a^2)^{1/2}(1-h^2)^{1/4}, ~~~~~
566: a=\frac{1-\g}{1+\g}, ~~~~~~h<1.
567: \]
568: Next, let us consider the correlator at the line $h=1$.
569: At this value of $h$ the parameter $\l_2=1$ and the function
570: $f_1(x)$ takes the form:
571: \[
572: f_1(z)=
573: \left(\frac{1-a/z}{1-az}\right)^{1/2}
574: \left(\frac{1-1/z}{1-z}\right)^{1/2}, ~~~~~z=e^{ix}.
575: \]
576: One can see that this function has the form (\ref{f})
577: with the function $f_0(x)$ given by the first factor in the last
578: equation and the single jump discontinuity at $z=1$ with the
579: parameter $b=-1/2$. The calculations according to the formulas
580: (\ref{DN}), (\ref{E}) yield the result
581: \[
582: G^{xx}(x)=\frac{1}{x^{1/4}}\frac{\g^{3/4}}{2(1+\g)}
583: \sqrt{\pi}(G(1/2))^2, ~~~~~~h=1,
584: \]
585: in agreement with the result of ref.\cite{MC}.
586: Let us turn to the case $h>1$. In this case $\l_2>1$ and the
587: function takes the following form:
588: \be
589: f_1(z)=z^{-1}
590: \left(\frac{1-\l_1/z}{1-\l_1 z}\right)^{1/2}
591: \left(\frac{1-\l z}{1-\l/z}\right)^{1/2},
592: ~~~~~~\l=1/\l_2<1.
593: \label{fun}
594: \ee
595: To calculate the determinant we use the method proposed in
596: ref.\cite{F}, which allows one to use the general
597: Fisher-Hartwig conjecture (\ref{DN}), (\ref{E}).
598: Representing the matrix elements as an integrals
599: in the complex plane over the unit circle,
600: we deform the contour of integration to the circle $|z|=1/\l$
601: which is the {\it outer} boundary of the annulus $\l<|z|<1/\l$.
602: This procedure is correct since the function (\ref{fun})
603: is an analytic function inside this annulus and reduces
604: to the substitution $z\to z/\l$ in eq.(\ref{fun}).
605: As a result we obtain the function of the form (\ref{f}):
606: \[
607: f_0(z)=\l\left(\frac{1-\l_1\l/z}{1-(\l_1/\l)z}\right)^{1/2}
608: \frac{1}{(1-\l^2/z)^{1/2}},~~~~~a=\frac{1}{4},~~~~b=-\frac{3}{4}
609: \]
610: with the singularity at the point $z=1$.
611: Applying the conjecture (\ref{DN}) we obtain the result
612: for the case $h>1$:
613: \[
614: G^{xx}(x)=\frac{1}{x^{1/2}}\left(\frac{1}{\l_2}\right)^{x}
615: \frac{1}{4\sqrt{\pi}}(1-\l_{1}^2)^{1/4} (1-\l_{2}^{-2})^{-1/4}
616: (1-\l_1\l_2)^{1/2}, ~~~~~~h>1,
617: \]
618: in agreement with the corresponding formula in ref.\cite{MC}.
619:
620:
621: Let us proceed with the calculations of the $yy$-correlator
622: $G^{yy}(x)=\la S^{y}_{x}S^{y}_0\ra$.
623: The behaviour of this correlator in the four regions
624: in the space of parameters is completely different.
625: We begin with the basic region in the space of parameters
626: where both $\g$ and $h$ are sufficiently small:
627: $h^2+\g^2<1$. In this case the parameters $\l_{1,2}$ are
628: inside the unit circle at the complex plane:
629: \[
630: \l_{1,2}=(1+\g)^{-1}\left(h\pm i\sqrt{1-h^2-\g^2}\right)=
631: e^{\pm i\phi}\sqrt{a}.
632: \]
633: In order to obtain an appropriate representation (\ref{f})
634: we deform the contour of integration from the unit circle
635: to the circle of the radius $\sqrt{a}$, which amounts to
636: the substitution $z\to\sqrt{a}z$ in the function $f_2(z)$
637: (\ref{ff12}). One can see that the resulting function $f(z)$
638: has the two singularities at the points $z=e^{\pm i\phi}$.
639: One can prove that the only possible way to represent this
640: function in the form (\ref{f}) is as follows. Namely,
641: we single out the two equivalent Fisher-Hartwig singularities
642: at the points $x=\pm\phi$. Thus we have the representation:
643: \[
644: f_0(z)=a(1-e^{i\phi}az)^{-1/2}(1-e^{-i\phi}az)^{-1/2},
645: ~~~~~a_1=a_2=\frac{1}{4}, ~~~~~ b_1=b_2=\frac{3}{4}.
646: \]
647: Substituting this function into the equations (\ref{DN}),
648: (\ref{E}) we obtain the correlator:
649: \[
650: G^{yy}(x)=a^{x}\frac{1}{x}\left(\frac{1}{2\pi}
651: \sin(\phi)(1-a)^{-1/2}(1+a^2-2a\cos(2\phi))^{-1/4}\right).
652: \]
653: Next, let us consider the case $h^2+\g^2>1$, but $h<1$,
654: when the parameters $\l_1$ and $\l_2$ are real and both are
655: inside the unit circle, $\l_1<\l_2<1$.
656: Taking the contour to be the inner boundary of the region
657: $\l_2<|z|<1/\l_2$, where the function $f_2(z)$ (\ref{ff12})
658: is an analytic function, we obtain the representation:
659: \[
660: f_0(z)=\l_{2}^{2}
661: \left(\frac{1-(\l_1/\l_2)/z}{1-(\l_1\l_2)z}\right)^{1/2}
662: \frac{1}{(1-\l_2^2 z)^{1/2}},
663: ~~~~~a=\frac{1}{4},~~~~b=\frac{7}{4},
664: \]
665: which gives the following correlation function:
666: \[
667: G^{yy}(x)=-\frac{1}{x^{3}}\left(\l_2^2\right)^{x}
668: \frac{1}{8\pi}(1-\l_{1}^2)^{1/4}(1-\l_{2}^{2})^{-3/4}
669: (1-\l_1\l_2)^{-1/2}(1-\l_1/\l_2)^{-1}, ~~~~~h<1.
670: \]
671: This expression is identical with that given in ref.\cite{MC}
672: which can be easily established using the following
673: useful relations: $1-\l_{1}\l_2=1-a=2\g/(1+\g)$ and
674: $(1-\l_1^2)(1-\l_2^2)=4(1-h^2)/(1+\g)^{2}$.
675:
676:
677: As in the case of the $xx$-correlator, at the line $h=1$
678: no special deformation of the integration contour is
679: required. The parameters $\l_{1,2}$ are $\l_1=a$, $\l_2=1$
680: and from the function $f_2(x)$ (\ref{ff12})
681: one can easily obtain the representation:
682: \[
683: f_0(z)=\left(\frac{1-a/z}{1-az}\right)^{1/2},
684: ~~~~~a=0,~~~~b=\frac{3}{2},
685: \]
686: Calculating the constant (\ref{E}) we get:
687: \[
688: G^{yy}(x)=-\frac{1}{x^{9/4}}\frac{\sqrt{\pi}}{32}
689: \g^{-5/4}(1+\g)(G(1/2))^2.
690: \]
691: Finally, let us consider the region $h>1$ ($\l_2>1$).
692: In this case the calculations are analogous to the
693: corresponding case for the $xx$-correlator.
694: Introducing the parameter $\l=1/\l_2<1$, we
695: observe that the function is an analytic function
696: in the annulus $\l<|z|<1/\l$. Deformation of the integration
697: contour to the {\it inner} boundary of the annulus,
698: $z\to\l z$, gives the representation (\ref{f})
699: in the form:
700: \[
701: f_0(z)=\l\left(\frac{1-(\l_1/\l)/z}{1-\l_1\l z}\right)^{1/2}
702: (1-\l^{2}z)^{1/2},~~~~~a=-\frac{1}{4},~~~~b=\frac{5}{4}.
703: \]
704: Applying the conjecture (\ref{DN}) we obtain the result:
705: \[
706: G^{yy}(x)=-\frac{1}{x^{3/2}}\left(\frac{1}{\l_2}\right)^{x}
707: \frac{1}{8\sqrt{\pi}}(1-\l_{1}^2)^{1/4}(1-\l_{2}^{-2})^{3/4}
708: (1-(\l_1/\l_2))^{-1}(1-\l_1\l_2)^{-1/2},
709: ~~~~h>1,
710: \]
711: in agreement with the corresponding formula in ref.\cite{MC}.
712: Let us note that in all the cases considered in this section
713: (except the $yy$- correlator at $h^2+\g^2<1$) we have
714: obtained the functions with the single Fisher-Hartwig
715: singularity. In the case of the single singularity
716: the asymptotics (\ref{DN}), (\ref{E}) was proved
717: in ref.\cite{ES}.
718: In conclusion, it is easy to verify that in all the cases
719: considered, there is only one possible way to choose the contour
720: of integration (inner or outer boundary of the annulus).
721: In fact, in all the cases at the opposite boundary the
722: condition $a_r\pm b_r\in Z^{-}$ is fulfilled.
723: Formally, in this case we have the constant $E=0$,
724: which suggests, that these special cases should be excluded from
725: the general statement of the conjecture (\ref{DN}), (\ref{E})
726: since in this case the matrix elements corresponding to the
727: pure Fisher-Hartwig singularity does not exist.
728:
729:
730:
731:
732:
733:
734: \begin{thebibliography}{99}
735:
736: \bibitem{LSM}
737: E.Lieb, T.Schultz, D.Mattis, Ann.Phys. 16 (1961) 407.
738:
739: \bibitem{M}
740: B.M.McCoy, Phys.Rev.B 173 (1968) 531; \\
741: T.T.Wu, Phys.Rev. 149 (1966) 380.
742:
743: \bibitem{MC}
744: E.Barouch, B.M.McCoy, Phys.Rev.A 3 (1971) 786.
745:
746: \bibitem{BM}
747: E.L.Basor, K.E.Morrison, Lin.Alg.Appl. 202 (1994) 129. \\
748: E.L.Basor, C.A.Tracy, Physica A 177 (1991) 167.
749:
750: \bibitem{F}
751: P.J.Forrester, N.E.Frankel, math-ph/0401011.
752:
753: \bibitem{FH}
754: M.E.Fisher, R.E.Hartwig, Adv.Chem.Phys. 15 (1968) 333.
755:
756: \bibitem{Basor}
757: E.Basor, Indiana U.Math.J. 28 (1979) 975; \\
758: E.Basor, H.Widom, Journ.Funct.Analysis 50 (1983) 387.
759:
760: \bibitem{ES}
761: T.Ehrhardt, B.Silbermann, Journ.Funct.Analysis 148 (1997) 229.
762:
763: \bibitem{Barnes}
764: E.W.Barnes, Quart.J.Math. 31 (1900) 264.
765:
766:
767:
768: \end{thebibliography}
769:
770: \end{document}
771:
772: