Pith. sign in

REVIEW 3 major objections 3 minor 16 references

Late-time large-distance asymptotics of the transverse correlation functions of the XX chain in the space-like regime

T0 review · 3 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that the leading late-time, large-distance term of the XX chain's transverse dynamical correlation function in the spacelike regime includes an explicit, previously unknown constant prefactor.

desk verdict Fixes the missing amplitude in the spacelike XX asymptotics with a clean form-factor-series analysis; a few hand-waved technical points but the result is credible. read the letter →

arxiv 1908.11555 v1 pith:RYZFE36X submitted 2019-08-30 cond-mat.stat-mech hep-thmath-phmath.MP

Frank Göhmann , Karol K. Kozlowski , Junji Suzuki This is my paper · ORCID
classification cond-mat.stat-mechhep-thmath-phmath.MP
keywords XXchaintransversecorrelationfunctionspacelikeregimethermalformfactorserieslarge-distanceasymptoticsfinitetemperatureFermirapidityconstantterm
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

At finite temperature, spin-spin correlations in the XX chain decay exponentially in distance once the separation is spacelike, meaning larger than the 4Jt light cone set by the hopping amplitude. Earlier work fixed the decay rate and correlation length but left the multiplying constant undetermined when the field is below saturation. This paper derives that missing constant in closed form by feeding the exact thermal form factor series through a contour deformation and residue extraction at the Fermi rapidities. The resulting theorem gives the full leading term, including the constant, uniformly for all T>0 and 0

What carries the argument

The engine of the paper is the exact thermal form factor series, equation (15), for $\langle\sigma_1^-\sigma_{m+1}^+(t)\rangle_T$: a double series over hole and particle contours $C_h$ and $C_p$ whose integrands contain the momentum $p(\lambda)$, the single-particle energy $\epsilon(\lambda)$, the auxiliary functions $z(\lambda)$, $\Phi_h(\lambda)$, $\Phi_p(\lambda)$, and the squared generalized Cauchy determinant $D(\{x_j\},\{y_k\})$. The proof deforms these contours to nearby contours on which the real part of $g(\lambda)=i(\alpha p(\lambda)+\cos p(\lambda))$ has a fixed sign, so every term not passing through the Fermi rapidities $\lambda_F^\pm$ (the two zeros of $\epsilon$) is exponentially small in $\tau=4Jt$. The surviving terms are the residues at $\lambda_F^-$ and $\lambda_F^+$; the residue at $\lambda_F^-$ produces the constant $C(T,h)$, and the remaining deformed-contour terms are exponentially suppressed. In the companion Fredholm determinant form of the same series, the determinant approaches $1$, so the entire leading asymptotics is isolated as an explicit prefactor times the exponential decay.

What would settle it

Evaluate $\langle\sigma_1^-\sigma_{m+1}^+(t)\rangle_T$ numerically from the Fredholm determinant representation in Section 4 for a fixed ratio $\alpha=m/(4Jt)>1$, at several temperatures and fields below $4J$, and compare with the theorem's right-hand side. Because the theorem predicts corrections of order $O(t^{-\infty})$, any deviation that grows as a power of $1/t$ at fixed $\alpha$ (rather than vanishing faster than every power) would falsify the claimed constant and the residue computation.

Watch

Extended reading notes

Core claim

The paper proves that for $m>4Jt$, $T>0$ and $0<h<4J$, the transverse dynamical two-point function $\langle\sigma_1^-\sigma_{m+1}^+(t)\rangle_T$ equals $$(-1)^m\,C(T,h)\,\exp\left\{-m\int_{C_h}\frac{d\$\lambda$}{2\pi}\,p'(\$\lambda$)\ln\left|\cth\left(\frac{\epsilon(\$\lambda$)}{2T}\right)\right|\right\}\,\left(1+O($t^{{-\infty}}$)\right),$$ where $$C(T,h)=\frac{2T\,\Phi_p(\lambda_F^-)}{\epsilon'(\lambda_F^-)}\,\exp\left\{-\int_{C'_h\subset C_h}d\$\lambda$\,z(\$\lambda$)\int_{C_h}d\mu\,\cth'(\$\lambda$-\mu)\,z(\mu)\right\}.$$ The exponential factor contains the decay length obtained in earlier work; the prefactor $C(T,h)$ is the new content and is independent of the ratio $m/t$. The proof shows the asymptotics is carried entirely by the residues at the two Fermi rapidities $\lambda_F^\pm$, while all deformed integration contours contribute only exponentially suppressed terms.

Load-bearing premise

The argument inherits, without re-derivation, the exactness of the thermal form factor series (15) on the stated domain $0<h<4J$, $T>0$, together with its prefactor $F(m)$ and the functions $z$, $\Phi_h$, $\Phi_p$; if that series is not exact there, or if its remainder is not small enough to justify the term-by-term contour deformation and residue extraction, the theorem loses its foundation.

Editorial extensions

If this is right

  • The missing constant in the previously known exponential decay $Ct^{\nu}e^{-m/\xi}$ is now explicit for $0<h<4J$, making the leading spacelike asymptotics fully quantitative.
  • Because $C(T,h)$ is independent of $\alpha=m/(4Jt)$, the same prefactor must govern the static ($t=0$) large-distance decay at finite temperature, connecting the dynamical theorem to the earlier static correlation constants.
  • In the Fredholm determinant representation of the same correlation function, the determinant tends to $1$ in the spacelike regime, so the asymptotic formula is the whole leading term and the determinant contains only exponentially small corrections.
  • The theorem reduces the numerical task: evaluating the correlation function at large spacelike separations can be done from the explicit formula (17) rather than by solving the full determinant problem.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A direct testable extension is to run the same contour-deformation and residue argument on the analogous thermal form factor series for the XXZ chain; if the saddle-point structure is as similar as the authors expect, the leading constant should again come from Fermi-rapidity residues.
  • The structural analogy with the Borodin-Okounkov/Geronimo-Case formula suggests the Fredholm determinant in (51) can be expanded systematically in powers of $e^{-\tau c}$, turning the $O(t^{-\infty})$ statement into a full asymptotic series.
  • The $\alpha$-independence of $C(T,h)$ predicts a clean equality of the dynamical prefactor with the static constant of Barouch and McCoy; an independent static derivation would provide a stringent check of the residue calculation.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 3 minor

Summary. The paper derives an explicit asymptotic expression for the transverse dynamical two-point function of the XX chain at finite temperature and magnetic field 0<h<4J in the spacelike regime m>4Jt. Starting from the thermal form factor series (15) obtained in the authors' previous work [9], the proof deforms the integration contours to finite rectangles on which the phase factors decay exponentially, extracts the residues at the Fermi rapidities, and estimates the remaining series with Hadamard determinant bounds. The main new result is the previously unknown constant term C(T,h) in Eq. (18), which is independent of the velocity ratio alpha=m/(4Jt). The paper also provides a numerical comparison in Fig. 2 and discusses connections with a Fredholm determinant representation and with the earlier work of Its, Izergin, Korepin, and Slavnov.

Significance. If the theorem is correct, it completes the late-time, large-distance asymptotic expansion of the transverse correlation function in the spacelike regime for all nonzero finite temperatures and for all fields below saturation, filling a gap left by [12] and [13]. The derivation is elementary in structure and demonstrates that the thermal form factor series of [9] is a practical tool for such asymptotics, avoiding a full Riemann-Hilbert analysis. The paper also offers a useful structural comparison with the Borodin-Okounkov-Geronimo-Case formula and with the Fredholm determinant representation of the companion paper [11]. The numerical agreement shown in Fig. 2 and the stated agreement with Barouch-McCoy are strengths. However, the proof as written contains a load-bearing technical problem in the definition of the deformed contours, so the result needs correction before it can be considered established.

major comments (3)
  1. [Section 3, Lemma (ii), Eq. (22)] As written, the contour Ch,sd is the rectangle with vertical sides at Re λ = ±R and horizontal sides at Im λ = -π/4 + δ and Im λ = π/4 - δ. The Fermi rapidity λ_F^- = -z_F + iπ/4 has imaginary part π/4, so it lies above the top side of Ch,sd and therefore is not inside that contour for any δ>0. Similarly, Cp,sd = Ch,sd + iπ/2 has its bottom side at Im λ = π/4 + δ, so λ_F^+ = z_F + iπ/4 lies below Cp,sd and is not inside it. The residue extraction at λ_F^± in Eq. (32) is therefore not justified by the contours as defined. Please correct the definition of Ch,sd and Cp,sd, or explain precisely how the Fermi rapidities are enclosed by the deformed contours.
  2. [Section 3, Lemma (ii)] The assertion that all hole and particle roots of e^{-epsilon(λ)/T}-1 are contained in the fixed bounded contours Ch,sd and Cp,sd is dismissed with the phrase 'straightforward inspection'. These roots form an infinite set that accumulates near the poles of epsilon(λ) at λ=0 and λ=iπ/2, so containment for every T>0 and every 0<h<4J is not obvious. If even one root lay outside the deformed contour, the residue theorem applied in Eq. (32) would acquire an extra residue term and the constant C(T,h) in Eq. (18) would change. Please provide a proof of the root-containment statement, or give a precise reference where the distribution of these roots is established.
  3. [Section 2, Eq. (15)] The proof inherits, without re-derivation, the exact thermal form factor series (15), including the prefactor F(m), the functions z(λ), Φ_h(λ), Φ_p(λ), and the claim that the series converges to the transverse two-point function for 0<h<4J and T>0. Since the theorem and the constant C(T,h) are only as strong as this input, please state explicitly which theorem or result in [9] guarantees absolute convergence and the required analyticity properties on the stated domain. This is a request for completeness and traceability; it does not challenge the cited derivation.
minor comments (3)
  1. [Section 4, paragraph 5] The text refers to 'the constant term C(t,h), equation (18)', but the theorem and Eq. (18) define C(T,h); the argument should be T, not t.
  2. [Theorem statement, Eq. (17)] The notation O(t^{-∞}) is never defined. Please specify that it means bounded by e^{-ct} for some c>0, uniformly in m subject to the spacelike condition m>4Jt with fixed α=m/(4Jt)>1.
  3. [Introduction, Eq. (3)] The general asymptotic form (3) contains a power-law factor t^ν, while the spacelike theorem has no such factor. It may help the reader if the paper explicitly states that ν=0 in the spacelike regime for the transverse function considered here.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the theorem's constant term is obtained by residue calculus from an independently derived exact form factor series, not fitted or assumed.

full rationale

The paper's central claim is the asymptotic formula (17) with the previously undetermined constant C(T,h) given in (18). The derivation starts from the exact thermal form factor series (15), imported from the authors' earlier work [9]. This is a load-bearing input, but it is not circular: Eq. (15) is a parameter-free exact representation of the same correlation function; it does not contain the asymptotic constant C(T,h) as an input. The constant emerges from the explicit residue computations (34a)-(34b) at the Fermi rapidities, after contour deformation, and the prefactor F(m) in (16) supplies the exponential decay. The fact that the decay exponent already appears in F(m) is a factorization of the series, not an assumption of the theorem. No parameter is fitted to the quantity being predicted, and no step reduces Eq. (17) to Eq. (15) by definition. The numerical check in Fig. 2 compares the asymptotic formula with a Fredholm determinant representation from the companion paper [11]; this is a cross-check between two exact representations, and although it is authored by overlapping authors, it is not a fitted input. The assertion in Lemma (ii) that all hole/particle roots are contained in the deformed contours is made by 'straightforward inspection' and is a possible rigor gap, but that is a correctness concern, not circularity. Accordingly no circular step is identified.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

None of the constants in the theorem are fitted; J, h, T are the model parameters, and alpha = m/(4Jt) is a fixed ratio. The derivation imports the exact series from [9] and uses standard complex analysis; no new free parameters or entities are introduced.

assumptions (3)
  • domain assumption The thermal form factor series (15) is an exact, convergent representation of the transverse two-point function for T > 0 and 0 < h < 4J.
    Used as the starting point of the proof in Section 3; the paper cites [9] and does not re-derive the series or its convergence domain, so the theorem inherits this external result.
  • domain assumption The deformed contours C_{h,sd} and C_{p,sd} can be chosen so that all hole and particle roots are enclosed and the function u is negative on C_{h,sd} and positive on C_{p,sd}.
    Proved mostly in the lemma, but the location of the roots is asserted by 'straightforward inspection of the integrands' in the proof of Lemma (ii); the residue extraction at the Fermi rapidities relies on this enclosure.
  • standard math Hadamard's determinant bound and standard contour integration results may be applied to the Cauchy determinant D and to the deformed integrals.
    The paper uses these bounds in Section 3 to show absolute convergence and the exponentially small corrections; they are standard and not proven in the text.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Late-time large-distance asymptotics of the transverse correlation functions of the XX chain in the space-like regime." pith.science (2026). https://pith.science/paper/RYZFE36X

@misc{pith2026190811555,
  author       = {Pith},
  title        = {Pith review of: Late-time large-distance asymptotics of the transverse correlation functions of the XX chain in the space-like regime},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RYZFE36X}},
  note         = {Machine review of arXiv:1908.11555}
}
read the original abstract

We derive an explicit expression for the leading term in the late-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 non-zero 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.

Figures

Figures reproduced from arXiv: 1908.11555 by the authors.

Figure 1
Figure 1. Sketch of the hole and particle contours [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Real part of hσ − 1 σ + m+1(t)i as a function of m for T /J = 0.05, h/J = 0.1 and J t = 10 evaluated numerically and from (17). 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… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

  1. [9]

    G¨ohmann, M

    F. G¨ohmann, M. Karbach, A. Kl ¨umper, K. K. Kozlowski, and J. Suzuki, Thermal form-factor approach to dynamical correlation functions of integrable lattice models, J. Stat. Mech.: Theor. Exp. (2017), 113106

    work page 2017

  2. [12]

    A. R. Its, A. G. Izergin, V . E. Korepin, and N. Slavnov,Temperature correlations of quantum spins, Phys. Rev. Lett. 70 (1993), 1704–1706

    work page 1993

  3. [13]

    Jie, The large time asymptotics of the temperature correlation functions of the XX0 Heisenberg ferromagnet: The Riemann-Hilbert approach, Ph.D

    X. Jie, 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

    work page 1998

  4. [11]

    High-temperature analysis of the transverse dynamical two-point correlation function of the XX quantum-spin chain

    F. G¨ohmann, K. K. Kozlowski, and J. Suzuki, High-temperature analysis of the transverse dynamical two-point correlation function of the XX quantum-spin chain, preprint, arXive:1905.04922, 2019

    work page Pith review arXiv 1905

  5. [1]

    Barouch and B

    E. Barouch and B. M. McCoy, Statistical mechanics of the XY model. II. Spin correlation functions, Phys. Rev. A 3 (1971), 786–804

    work page 1971

  6. [2]

    E. L. Basor and H. Widom, On a Toeplitz determinant identity of Borodin and Okounkov, Integr. Equ. Oper. Theory 37 (2000), 397–401. 13

    work page 2000

  7. [3]

    Borodin and A

    A. Borodin and A. Okounkov, A Fredholm determinant formula for Toeplitz determi- nants, Integr. Equ. Oper. Theory 37 (2000), 386–396

    work page 2000

  8. [4]

    Brandt and K

    U. Brandt and K. Jacoby, Exact results for the dynamics of one-dimensional spin- systems, Z. Phys. B 25 (1976), 181–187

    work page 1976

Show all 16 references
  1. [5]

    Colomo, A

    F. Colomo, A. G. Izergin, V . E. Korepin, and V . Tognetti,Temperature correlation functions in the XX0 Heisenberg chain. I, Theor. Math. Phys. 94 (1993), 11–38

    1993

  2. [6]

    P. A. Deift and X. Zhou, A steepest descent method for oscillatory Riemann-Hilbert problems. Asymptotics for the MKdV equation, Ann. of Math. 137 (1993), 295–368

    1993

  3. [7]

    Dugave, F

    M. Dugave, F. G¨ohmann, and K. K. Kozlowski, 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

  4. [8]

    J. S. Geronimo and K. M. Case, Scattering theory and polynomials orthogonal on the unit circle, J. Math. Phys. 20 (1979), 299–310

    1979

  5. [10]

    G¨ohmann, K

    F. G¨ohmann, K. K. Kozlowski, J. Sirker, and J. Suzuki, The equilibrium dynamics of the XX chain revisited, preprint, arXiv:1906.03143, 2019

    1906 arXiv

  6. [14]

    K. K. Kozlowski, Long-distance and large-time asymptotic behaviour of dynamic correlation functions in the massless regime of the XXZ spin-1/2 chain , preprint, arXiv:1903.00207, 2019

    1903 arXiv

  7. [15]

    E. H. Lieb, T. Schultz, and D. Mattis, Two soluble models of an antiferromagnetic chain, Ann. Phys. (N.Y .)16 (1961), 407–466

    1961

  8. [16]

    J. H. H. Perk and H. W. Capel, Time-dependent xx-correlation functions in the one-dimensional XY-model, Physica A 89 (1977), 265–303

    1977

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.