Abstract
We derive an explicit expression for the leading term in the long-time, large-distance asymptotic expansion of a transverse dynamical two-point function of the XX chain in the spacelike regime. This expression is valid for all nonzero finite temperatures and for all magnetic fields below the saturation threshold. It is obtained here by means of a straightforward term-by-term analysis of a thermal form factor series, derived in previous work, and demonstrates the usefulness of the latter.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The XX chain is a spin chain with Hamiltonian [15]
where \(\sigma _j^\alpha \), \(\alpha = x, y, z\), are Pauli matrices acting on site \(j \in \{1, \dots , L\}\) of an L-site periodic lattice, \(\sigma _0^\alpha = \sigma _L^\alpha \). The parameters \(J > 0\) and \(h > 0\) denote the strengths of the spin–spin interaction and of the applied magnetic field. We shall restrict the magnetic field to values below the saturation threshold, \(0< h < 4J\).
In our recent work [9], we have derived a novel form factor series for the transverse dynamical correlation function
of the XX chain in equilibrium with a heat bath at temperature T. It measures the space-time evolution of a local perturbation relating two points at distance m and temporal separation t. Our series originates from a form factor expansion related to the quantum transfer matrix [7]. It can be resummed into a ‘Fredholm determinant representation’ consisting of a prefactor times a Fredholm determinant of an integrable integral operator [11]. The latter is different from the Fredholm determinant representation derived by Colomo et al. in [5].
For Fredholm determinants and resolvent kernels of integrable integral operators, a general method [6] is available that allows one to analyse their asymptotic dependence on parameters. Starting with the Fredholm determinant representation obtained in [5], the authors of [12] applied this ‘nonlinear steepest descent method’ to the long-time, large-distance analysis of (2) at a fixed ratio \(\alpha = m/(4Jt)\). They found an asymptotic behaviour of the form
where C, \(\nu \) and \(\xi \) depend on T, h and \(\alpha \). The functional dependence differs according to whether \(\alpha > 1\) or \(\alpha < 1\). The former regime, in which the spatial distance in units of 4J is larger than the temporal separation, is called ‘spacelike’, while the latter is referred to as ‘the timelike regime’.
In [12], the authors considered magnetic fields below the saturation threshold, \(0< h < 4J\). They obtained explicit expressions for \(\nu \) and \(\xi \) in both, space- and timelike regimes. Later the ‘constant term’ C was obtained for \(h > 4J\) in [13]. Although the nonlinear steepest descent method would allow one to calculate C for \(0< h < 4J\) as well, it seems that nobody has ever attempted to do so. This may be partially attributed to the cumbersome nature of the required calculations.
In this work, we reconsider the long-time, large-distance asymptotic analysis of the two-point function \(\langle \sigma _1^- \sigma _{m+1}^+ (t) \bigr \rangle _T\) in the spacelike regime. It turns out that the novel thermal form factor series derived in [9] allows us to obtain the asymptotics, including the constant term C, by a rather elementary term-by-term analysis of the series that avoids the use of any Riemann–Hilbert problem.
On the other hand, our thermal form factor series can be resummed into a Fredholm determinant representation as well. As we shall see below, this Fredholm determinant representation is rather different from the one of Its et al. [12] in that the term that provides the leading long-time, large-distance asymptotics in the spacelike regime appears to be pulled out as a prefactor. Our finding strikingly resembles in structure the Borodin–Okounkov, Geronimo–Case formula [2, 3, 8] for a Toeplitz determinant generated by a symbol satisfying the hypotheses of the Szegö theorem.
We should point out that the long-time, large-distance asymptotics considered here do not commute with the low- and high-temperature asymptotics. At any finite temperature, the asymptotic decay of the transverse two-point functions is exponential and given by (3). If, however, the temperature is send to zero first, the correlation functions will vary algebraically [14]. We shall consider this limit for the more general XXZ chain in subsequent work. If we send the temperature to infinity first, then the behaviour of the correlation functions in ‘time-direction’ becomes Gaussian [4, 16]. We have recently analysed the latter situation in full generality in [11], which is one of two companion papers of this work. In the other one [10], we evaluate the two-point function numerically, for a wide range of temperature and spacetime separations, directly from the novel Fredholm determinant representation.
2 Thermal form factor series representation
The starting point of our analysis will be a thermal form factor series for the transversal two-point function (2) derived in [9]. The series is a series of multiple integrals which is most compactly expressed in terms of certain functions characteristic of the XX chain. These are in first place the momentum p and the energy \(\epsilon \) of the single-particle excitations of the Hamiltonian expressed in terms of the rapidity variable,
Here, we choose the principal branch of the logarithm in the definition of the momentum function \(p(\lambda )\). As a consequence, \(p(\lambda )\) is an \({i}\pi \)-periodic holomorphic function on \({\mathbb {C}}{\setminus } [-\frac{{i}\pi }{2};0 ] \) modulo \({i}\pi \). Because of the \(\pi {i}\)-periodicity of the momentum, shared by all other functions in our form factor series, we may think of these functions as being defined on a cylinder of circumference \(\pi \), which is equivalent to restricting their values to the ‘fundamental strip’
It is easy to see that \(\epsilon \) has precisely two zeros
in \({{\mathcal {S}}}\). These zeros are called the Fermi rapidities. The value
of the momentum function evaluated at the left Fermi rapidity is the Fermi momentum. Using the Fermi rapidities, we can represent the energy function as
Energy and momentum functions \(\epsilon \) and p are real on the lines \(x \pm {i}\pi /4\), \(x \in {\mathbb R}\), where they take the values
The one-particle energy determines the function
Most of the functions occurring in the form factor series below are defined as integrals over two simple closed contours \({{\mathcal {C}}}_h\) and \({{\mathcal {C}}}_p\), involving p, \(\epsilon \), z and some hyperbolic functions.
The ‘hole contour’ \({{\mathcal {C}}}_h\) and the ‘particle contour’ \({{\mathcal {C}}}_p\) are sketched in Fig. 1. They are defined in such a way that \({{\mathcal {C}}}_h\) encloses all roots of \(\mathrm{e}^{- \epsilon (x)/T} - 1\) located inside the strip \(- \pi /4< \mathrm{Im\,}x < \pi /4\) (‘the holes’) as well as the left Fermi rapidity \(\lambda _F^-\), whereas \({{\mathcal {C}}}_p\) encloses the roots of \(\mathrm{e}^{- \epsilon (x)/T} - 1\) inside the strip \(\pi /4< \mathrm{Im\,}x < 3 \pi /4\) (‘the particles’) as well as the right Fermi rapidity \(\lambda _F^+\).
Given these contours, we define the Cauchy transforms
for all \(x \in {{\mathcal {S}}} {\setminus } {{\mathcal {C}}}_h\), and
for all \(x \in {{\mathcal {S}}} {\setminus } {{\mathcal {C}}}_p\). For fixed \(x \in {{\,\mathrm{Int}\,}}({{\mathcal {C}}}_h) \cup {{\,\mathrm{Int}\,}}({{\mathcal {C}}}_p)\), the function \({{\,\mathrm{sh}\,}}(x + \lambda )/{{\,\mathrm{sh}\,}}(x - \lambda )\) is holomorphic in \(\lambda \) for all \(\lambda \in {{\mathcal {S}}} {\setminus } \bigl ({{\,\mathrm{Int}\,}}({{\mathcal {C}}}_h) \cup {{\,\mathrm{Int}\,}}({{\mathcal {C}}}_p)\bigr )\). Since the integrands in (11), (12) are rapidly decaying for \(\lambda \rightarrow \pm \infty \), we may deform the contours and conclude that
Another function needed below is the square of a generalized Cauchy determinant,
After these preparations, we can now recall the form factor series derived in [9]. Using the above notation and performing several more or less obvious simplifications, it can be written as
where
The contour \({{\mathcal {C}}}_h'\) is tightly enclosed by \({{\mathcal {C}}}_h\).
3 Asymptotics in the spacelike regime
Theorem
In the spacelike regime \(m > 4Jt\), the form factor series (15) is absolutely convergent and determines the long-time, large-distance asymptotics of the transverse dynamical correlation function of the XX chain as
where
In preparation of the proof, we introduce the short-hand notations
and the function
with real and imaginary parts \(u(\lambda ) = \mathrm{Re\,}g(\lambda )\) and \(v(\lambda ) = \mathrm{Im\,}g(\lambda )\). Then, the ‘wave factors’ in (15) take the form
We will be interested in the asymptotic behaviour of (15) for large positive \(\tau \) and fixed \(\alpha > 1\). As we shall see below, it is determined by the poles of the integrands at \(\lambda _F^\pm \). The saddle points contribute only to the subleading corrections. This becomes clear when we consider the function g close to the lines \({\mathbb R} \pm {i}\pi /4\) and on the lines \(\mathrm{Re\,}\lambda = \pm R\) for \(R > 0\) large enough.
Lemma
Fix \(\alpha > 1\).
- (i)
Then, \(g' (\lambda ) \ne 0\) for all \(\lambda \in {\mathbb R} \pm {i}\pi /4 \mod {i}\pi \), i.e. there are no saddle points on these lines.
- (ii)
Define the oriented contours
$$\begin{aligned} {{\mathcal {C}}}_{h, \mathrm{sd}}&= \Bigl [- R + \frac{\pi {i}}{4} - {i}\delta , - R - \frac{\pi {i}}{4} + {i}\delta \Bigr ] \cup \Bigl [- R - \frac{\pi {i}}{4} + {i}\delta , R - \frac{\pi {i}}{4} + {i}\delta \Bigr ] \nonumber \\&\qquad \cup \Bigl [R - \frac{\pi {i}}{4} + {i}\delta , R + \frac{\pi {i}}{4} - {i}\delta \Bigr ] \cup \Bigl [R + \frac{\pi {i}}{4} - {i}\delta , - R + \frac{\pi {i}}{4} - {i}\delta \Bigr ] \, ,\nonumber \\ {{\mathcal {C}}}_{p, \mathrm{sd}}&= {{\mathcal {C}}}_{h, \mathrm{sd}}+ \frac{\pi {i}}{2} \, ,\end{aligned}$$(22)where \(R, \delta > 0\). Then, R and \(\delta \) can be chosen in such a way that \(u(\lambda ) < 0\) for all \(\lambda \in {{\mathcal {C}}}_{h, \mathrm{sd}}\), \(u(\lambda ) > 0\) for all \(\lambda \in {{\mathcal {C}}}_{p, \mathrm{sd}}\) and all hole roots are inside \({{\mathcal {C}}}_{h, \mathrm{sd}}\), while all particle roots are inside \({{\mathcal {C}}}_{p, \mathrm{sd}}\).
Proof
(i) For all \(\alpha > 1\) and \(\lambda \in {\mathbb R} \pm {i}\pi /4\), we have
since
for all \(\lambda \in {{\mathcal {S}}}\), and \(p (\lambda ) \in {\mathbb R}\) for all \(\lambda \in {\mathbb R} \pm {i}\pi /4\) [see (9)].
(ii) Let \(x = \mathrm{Re\,}\lambda \), \(y = \mathrm{Im\,}\lambda \). Due to (23), (24) and the Cauchy–Riemann equations,
for \(\lambda = x \pm {i}\pi /4\). Now \(\alpha > 1\) by assumption. Thus, (25) implies that
Since \(u = 0\) for \(\lambda \in {\mathbb R} \pm {i}\pi /4\), it follows that \(u (\lambda ) < 0\) on the lines \(\lambda \in {\mathbb R} \pm {i}\pi /4 \mp {i}\delta \) for small enough positive \(\delta \). Similarly, \(u(\lambda ) > 0\) on the lines \({\mathbb R} + {i}\pi /4 + {i}\delta \) and \({\mathbb R} + 3{i}\pi /4 - {i}\delta \).
Since \(\alpha > 1\), there is a unique \(\varphi > 0\) such that \(\alpha = {{\,\mathrm{cth}\,}}(2\varphi )\). Using this parameterization, we find for any \(\lambda = x + {i}y \in {{\mathcal {S}}}\) that
Thus, \(\partial _y u (\lambda ) = 0\) if and only if
Here, the first term in the square bracket is unbounded from above for \(x \rightarrow \pm \infty \), implying that the only roots of \(\partial _y u(\lambda )\) in \({\mathcal {S}}\) are at \(y = 0, \pi /2\) if |x| is large enough. Taking into account (26), we see that, if the latter is the case, then
It follows that \(u(\lambda ) < 0\) of the lines \(\pm R + {i}(-\pi /4, \pi /4)\), while \(u(\lambda ) > 0\) on \(\pm R + {i}(\pi /4, 3 \pi /4)\), if \(R > 0\) large enough. The statement about the location of the particle and hole roots follows by straightforward inspection of the integrands in (15). \(\square \)
Proof of the Theorem
The function \({{\mathcal {D}}} \bigl (\{x_j\}_{j=1}^n, \{y_k\}_{k=1}^{n-1}\bigr )\) is symmetric separately in all \(x_j\) and \(y_k\). It satisfies
if \(x_j = x_k\) or \(y_j = y_k\) for all \(j \ne k\). Setting
and using the above lemma, we therefore obtain
Here, \({{\mathcal {C}}}_{h, \mathrm{sd}}\) and \({{\mathcal {C}}}_{p, \mathrm{sd}}\) are the contours introduced in (22). Notice that we consider \({{\,\mathrm{res}\,}}\bigl \{ \mathrm{d}x \, V_h (x), x = \lambda _F^- \bigr \}\) as a functional acting on functions f holomorphic in a disc \(D_\varepsilon (\lambda _F^-)\) of sufficiently small radius \(\varepsilon \) centred about \(\lambda _F^-\) as
and similarly for \({{\,\mathrm{res}\,}}\bigl \{ \mathrm{d}y \, V_p (y), y = \lambda _F^+ \bigr \}\). In particular,
Equation (32) implies that
where the four series \(S_\ell (m,t)\) can be written as follows.
with
In order to show the convergence of the series and to estimate their asymptotic behaviour, we have to establish bounds on the individual terms. We start with the functions \({{\mathcal {D}}} \bigl (\{x_j\}_{j=1}^n, \{y_k\}_{k=1}^n\bigr )\) and recall the Hadamard bound for the determinant of an \(n \times n\) matrix
Since the contours \({{\mathcal {C}}}_{h, \mathrm{sd}}\) and \({{\mathcal {C}}}_{p, \mathrm{sd}}\) are finite and disjoint, we can use (38) to estimate
where
Likewise, we set
As follows from the above lemma, there exist \(\kappa , c > 0\) such that
With this, we obtain a bound on every individual term in the series \(S_1\),
for some constant \(C_1 > 0\). This implies absolute convergence of the series \(S_1\) and shows that, asymptotically for large \(\tau \), the series behaves like
In a similar way, one obtains
for constants \(C_j > 0\), \(j = 2, 3, 4\). It follows that the series \(S_j\), \(j = 2, 3, 4\), converge absolutely and behave asymptotically as
Inserting (44), (46) into (35) and recalling the explicit form (16) of \({{\mathcal {F}}} (m)\), we have arrived at the statement of the theorem. \(\square \)
The theorem fixes the constant term of the asymptotics in the spacelike regime that remained undetermined in [12]. Note that the function \(\epsilon ' (\lambda _F^-)\) can be easily calculated explicitly,
For the other factors composing the constant C(T, h), we did not find any further simplification so far.
4 Discussion
For the interpretation of our result, we would like to recall a Fredholm determinant representation of the transversal two-point function (2) that was obtained in [11], where it was used for the asymptotic analysis of the correlation function in the high-temperature limit. Referring to [11], we define the functions
and
Using these functions, we define two integral operators \(\widehat{V}\) and \(\widehat{P}\) acting on functions on the contour \({{\mathcal {C}}}_p\),
Then (cf. [11]), the transversal correlation functions of the XX chain admit the Fredholm determinant representation
Here, we exposed the dependence of \(\Omega \) defined in (49a) on distance m and time t. The function \({{\mathcal {F}}} (m)\) had been defined in (16).
Comparing with the asymptotic behaviour of the correlation function in the spacelike regime \(m > 4Jt\), we see that
meaning that the Fredholm determinant collects the higher-order corrections to the main asymptotics. This is the analogy with the Borodin–Okounkov–Geronimo–Case formula [3, 8] mentioned in the introduction.
On the level of the Fredholm determinant representation, it is easiest to compare our result with that of Its et al. [12]. For this purpose, we rewrite their integral operators acting on functions on the unit circle as integral operators acting on functions on \({{\mathcal {C}}} = [- \infty - {i}\pi /4, + \infty - {i}\pi /4] \cup [+ \infty + {i}\pi /4, - \infty + {i}\pi /4]\). This is achieved by employing the map \(z \mapsto \mathrm{e}^{{i}p(\lambda )}\) to the Fredholm determinant representation in [12]. Then,
where \({\widehat{W}}\) is an integrable operator with kernel
and \({\widehat{Q}}\) is a one-dimensional projector acting as
Comparing (51) and (53), we see that in (53) the long-time, large-distance asymptotics is entirely inside the Fredholm determinants and therefore harder to analyse.
The fact that the long-time, large-distance asymptotic behaviour of the transverse dynamical correlation functions of the XX chain, including the constant term, can be obtained directly from the series representation (15) raises a number of interesting questions.
- (i)
Is a similar analysis possible for the XXZ quantum spin chain? Unlike the XX chain treated in this work, no Fredholm determinant representation for its two-point function is expected to exist, but a thermal form factor series similar to (15) is still available [9]. As the structure of the saddle-point equations is very similar, there seems to be a good chance that the answer will turn out to be positive.
- (ii)
What can be done in the timelike regime? Here, all terms of the series (15) contribute to the long-time, large-distance asymptotics. A further resummation would be necessary. Such a resummation could be effectively obtained by applying the nonlinear steepest descent method to the Fredholm determinant (51). Still, this most likely would not help us with the more general case of the XXZ chain. One might therefore wonder, whether there exists a more direct device, e.g. based on a different Trotter decomposition of the dynamical correlation function, that would give us an asymptotic series suitable for the timelike regime.
We would like to close with two remarks. First, in our recent work [10], we have compared the asymptotic formula of our theorem with a numerical evaluation based on the Fredholm determinant representation (51). As should be clear from the fact that the corrections are exponentially small for large m and t, the asymptotic formula turns out to be very efficient. For an example, see Fig. 2. Second, the constant term C(t, h), equation (18), does not depend on \(\alpha \). For this reason, it should agree with the constant obtained by Barouch and McCoy [1] in form of infinite double products in their analysis of the static correlation functions (see equations (3.17)–(3.19) of their paper). We have numerical evidence that this is indeed the case.
References
Barouch, E., McCoy, B.M.: Statistical mechanics of the XY model. II. Spin correlation functions. Phys. Rev. A 3, 786–804 (1971)
Basor, E.L., Widom, H.: On a Toeplitz determinant identity of Borodin and Okounkov. Integr. Equ. Oper. Theory 37, 397–401 (2000)
Borodin, A., Okounkov, A.: A Fredholm determinant formula for Toeplitz determinants. Integr. Equ. Oper. Theory 37, 386–396 (2000)
Brandt, U., Jacoby, K.: Exact results for the dynamics of one-dimensional spin-systems. Z. Phys. B 25, 181–187 (1976)
Colomo, F., Izergin, A.G., Korepin, V.E., Tognetti, V.: Temperature correlation functions in the XX0 Heisenberg chain. I. Theor. Math. Phys. 94, 11–38 (1993)
Deift, P.A., Zhou, X.: A steepest descent method for oscillatory Riemann–Hilbert problems. Asymptotics for the MKdV equation. Ann. Math. 137, 295–368 (1993)
Dugave, M., Göhmann, F., Kozlowski, K.K.: Thermal form factors of the XXZ chain and the large-distance asymptotics of its temperature dependent correlation functions. J. Stat. Mech.: Theor. Exp. 2013, P07010 (2013)
Geronimo, J.S., Case, K.M.: Scattering theory and polynomials orthogonal on the unit circle. J. Math. Phys. 20, 299–310 (1979)
Göhmann, F., Karbach, M., Klümper, A., Kozlowski, K.K., Suzuki, J.: Thermal form-factor approach to dynamical correlation functions of integrable lattice models. J. Stat. Mech.: Theor. Exp. 113106 (2017)
Göhmann, F., Kozlowski, K.K., Sirker, J., Suzuki, J.: Equilibrium dynamics of the XX chain. Phys. Rev. B 100, 155428 (2019)
Göhmann, F., Kozlowski, K.K., Suzuki, J.: High-temperature analysis of the transverse dynamical two-point correlation function of the XX quantum-spin chain. J. Math. Phys. 61, 013301 (2020)
Its, A.R., Izergin, A.G., Korepin, V.E., Slavnov, N.: Temperature correlations of quantum spins. Phys. Rev. Lett. 70, 1704–1706 (1993)
Jie, X.: The large time asymptotics of the temperature correlation functions of the XX0 Heisenberg ferromagnet: the Riemann–Hilbert approach. Ph.D. thesis, Indiana University Purdue University Indianapolis (1998)
Kozlowski, K.K.: Long-distance and large-time asymptotic behaviour of dynamic correlation functions in the massless regime of the XXZ spin-1/2 chain. J. Math. Phys. 60, 073303 (2019)
Lieb, E.H., Schultz, T., Mattis, D.: Two soluble models of an antiferromagnetic chain. Ann. Phys. (N. Y.) 16, 407–466 (1961)
Perk, J.H.H., Capel, H.W.: Time-dependent xx-correlation functions in the one-dimensional XY-model. Physica A 89, 265–303 (1977)
Acknowledgements
Open Access funding provided by Projekt DEAL. The authors would like to thank Alexander Its and Nikita Slavnov for helpful discussions. FG is supported by the Deutsche Forschungsgemeinschaft within the framework of the research unit FOR 2316 ‘Correlations in integrable quantum many-body systems’. The work of KKK is supported by the CNRS and by the ‘Projet international de coopération scientifique No. PICS07877’: Fonctions de corrélations dynamiques dans la chaîne XXZ à température finie, Allemagne, 2018–2020. JS is supported by JSPS KAKENHI Grants, numbers 18K03452 and 18H01141.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Göhmann, F., Kozlowski, K.K. & Suzuki, J. Long-time large-distance asymptotics of the transverse correlation functions of the XX chain in the spacelike regime. Lett Math Phys 110, 1783–1797 (2020). https://doi.org/10.1007/s11005-020-01276-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11005-020-01276-y
Keywords
- Integrable quantum spins chains
- Dynamical correlation functions at finite temperature. Asymptotics of correlation functions