{"id":"5b47b46e-ae4e-45b4-a886-6d135325e226","arxiv_id":"1908.11555","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For the finite-temperature XX chain in the spacelike regime, the paper derives the exact leading asymptotic term of the transverse two-point function, including the previously undetermined amplitude C(T,h).","lead":"This paper finds the full leading formula, including the previously missing constant, for how a two-point spin correlation in the XX chain decays at large time and distance in the spacelike regime. The result gives a compact exact benchmark for dynamical correlations in a canonical many-body quantum system, useful for testing approximative and numerical methods.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem's proof relies on unverified Eq. (15) and on unproved root containment in Lemma (ii); a direct numerical check is needed.","rationale":"The reader's weakest assumption correctly identifies the inherited form factor series (15) as the main external dependency. My stress-test confirms this and adds a second, more specific vulnerability: the proof of Lemma (ii) does not actually demonstrate that all infinitely many hole and particle roots lie inside the finite deformed contours, a condition needed for the residue expansion (32) to be exact. I checked the internal residue extraction, the sign estimates for u(λ), the Hadamard bounds, and the cancellation of the (-1)^n factor, and found no further internal inconsistency. The numerical comparison with the Fredholm determinant representation and the Barouch-McCoy agreement are supporting evidence for the final constant, but they do not by themselves verify the starting series (15). These concerns are real but do not overturn the reader's ACCEPT verdict, since the external input comes from prior peer-reviewed work by the same authors and the main result is independently numerically supported. A direct check of (15) and the root containment would settle the residual doubt; hence the verdict remains UNCHANGED.","tokens_in":9665,"tokens_out":36194,"duration_ms":345956,"concrete_test":"Implement the truncated form factor series (15) for n=1,...,N and compare against the independent exact representation (51) (or a free-fermion Wick determinant) for several parameter sets in the spacelike regime, e.g., T/J=0.5, h/J=2, Jt=1, m=10 and T/J=0.05, h/J=0.1, Jt=10, m=100, checking that partial sums converge to machine precision. Separately, numerically locate all roots of e^{-epsilon/T}-1 for the same parameters and verify that all hole roots lie inside Ch,sd and all particle roots inside Cp,sd for the R,delta satisfying the sign conditions of Lemma (ii); if any root lies outside, the residue expansion (32) is incomplete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central theorem rests on two unverified inputs. First, Eq. (15) is imported from [9] without re-derivation: its exactness, absolute convergence on 0 < h < 4J and T > 0, and the analyticity properties of Phi_h, Phi_p, z, and F(m) are taken as given. If (15) contains a missing prefactor or its remainder is not small, the residue extraction in Section 3 (Eqs. (32)-(37)) does not yield the announced constant. Second, Lemma (ii) asserts by 'straightforward inspection' that all hole/particle roots of e^{-epsilon/T}-1 lie inside the finite contours Ch,sd and Cp,sd. These roots form an infinite set accumulating at the poles of epsilon(lambda) at lambda=0 and i*pi/2, so containment for all T>0 and h in (0,4J) is not obvious; a crossed root would add a residue term to (32) and change C(T,h). The paper's only independent checks are the numerical comparison in Fig. 2 and the numerical agreement with Barouch-McCoy mentioned in the Discussion; neither verifies (15) itself. Thus the theorem is sound only if these external and internal assumptions hold.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":9889,"tokens_out":9687,"duration_ms":92048,"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":[{"comment":"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.","section":"Section 3, Lemma (ii), Eq. (22)"},{"comment":"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.","section":"Section 3, Lemma (ii)"},{"comment":"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.","section":"Section 2, Eq. (15)"}],"minor_comments":[{"comment":"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.","section":"Section 4, paragraph 5"},{"comment":"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.","section":"Theorem statement, Eq. (17)"},{"comment":"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.","section":"Introduction, Eq. (3)"}],"recommendation":"major_revision","confidential_remarks":"The paper is well written and the claimed result is likely correct, but the contour deformation lemma as stated is internally inconsistent with the residue extraction. This appears to be a fixable technical error rather than a fatal conceptual flaw. I would be willing to review a revised version."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a solid, specialized paper that does what it says. It determines the constant C(T,h) in the late-time, large-distance spacelike asymptotics of the transverse XX two-point function for 0<h<4J, which Its et al. left undetermined and Jie only got for h>4J. The route is genuinely different: no Riemann-Hilbert, just careful contour deformation and residue extraction on the thermal form factor series from [9]. The O(t^{-∞}) error term is new, and the prefactor is explicit enough to be used in numerics.\n\nThe proof is mostly in good shape. The bounds using the Hadamard determinant inequality are standard and convincingly written; the splitting of the series into S1–S4 and the exponential decay estimates are clear. I also like the Fredholm determinant comparison in (51)–(52): it shows the determinant collects only the higher-order corrections, which is a nice structural observation.\n\nThe soft spots are two, and they are not fatal. First, Lemma (ii) asserts by 'straightforward inspection' that all hole and particle roots sit inside the deformed contours. That is the one place I wanted a real proof. The roots accumulate at λ=0 and λ=iπ/2, which are inside the respective contours, so I believe the claim is true; but the paper skips the verification, and the main theorem's error estimate depends on it. A referee should ask for that argument. Second, the whole theorem rests on the form factor series (15) from the authors' earlier paper [9]. That is a published result, so importing it is legitimate, but the numerical check in Fig. 2 does not independently test (15), since the Fredholm determinant representation used for comparison is resummed from the same series. The agreement with Barouch-McCoy's static constant is independent and helps.\n\nBottom line: the paper deserves a serious referee and, after the lemma gap is filled, publication. It is aimed at people working on exact asymptotics of integrable spin chains; for them it is a useful completion, not a revolution.","headline":"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.","tokens_in":10421,"tokens_out":5335,"would_cite":true,"duration_ms":50284,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["XX chain","transverse correlation function","spacelike regime","thermal form factor series","large-distance asymptotics","finite temperature","Fermi rapidity","constant term"],"falsifier":"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.","tokens_in":9475,"feed_emoji":"🧲","tokens_out":10517,"duration_ms":87047,"temperature":0.7,"pith_summary":"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<h<4J, and shows that all corrections are beyond any power of 1/t.","feed_headline":"Exact constant term found for XX spin chain's spacelike correlations","feed_subtitle":"Completes the spacelike asymptotic formula: the prefactor is now explicit for all finite temperatures and fields below saturation.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the exact thermal form factor series (15) that the entire asymptotic analysis begins from.","marker":"[9]"},{"why":"Established the exponential decay law and its decay rate/correlation length in the spacelike regime, leaving the constant term undetermined.","marker":"[12]"},{"why":"Provides the companion Fredholm determinant representation (51) used here to show the determinant tends to 1 and for comparisons.","marker":"[11]"},{"why":"Companion numerical evaluation against which the asymptotic formula (17) is checked.","marker":"[10]"},{"why":"Gives the static correlation constant in double-product form that the $\\alpha$-independent $C(T,h)$ is expected to reproduce.","marker":"[1]"},{"why":"Determined the corresponding constant term for fields above saturation, the case this paper complements.","marker":"[13]"}],"fun_headline_variants":["Explicit prefactor for XX chain spacelike correlations","XX chain asymptotic prefactor made explicit","Spacelike XX correlations: exact prefactor derived","Residue-only derivation of XX chain spacelike prefactor"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Explicit prefactor for XX chain spacelike correlations","XX chain asymptotic prefactor made explicit","Spacelike XX correlations: exact prefactor derived","Residue-only derivation of XX chain spacelike prefactor"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000212,"raw_usage":{"total_tokens":1379,"prompt_tokens":864,"completion_tokens":515,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":480,"completion_tokens_details":{"reasoning_tokens":453}},"tokens_in":480,"tokens_out":515,"duration_ms":4508,"temperature":1.0,"reasoning_tokens":453,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T10:11:48.491251+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"G¨ohmann, M","cited_arxiv_id":null,"evidence_quote":"Supplies the exact thermal form factor series (15) that the entire asymptotic analysis begins from."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Established the exponential decay law and its decay rate/correlation length in the spacelike regime, leaving the constant term undetermined."},{"cited_title":"High-temperature analysis of the transverse dynamical two-point correlation function of the XX quantum-spin chain","cited_arxiv_id":"1905.04922","evidence_quote":"Provides the companion Fredholm determinant representation (51) used here to show the determinant tends to 1 and for comparisons."},{"cited_title":"Equilibrium dynamics of the XX chain","cited_arxiv_id":"1906.03143","evidence_quote":"Companion numerical evaluation against which the asymptotic formula (17) is checked."},{"cited_title":"Barouch and B","cited_arxiv_id":null,"evidence_quote":"Gives the static correlation constant in double-product form that the $\\alpha$-independent $C(T,h)$ is expected to reproduce."},{"cited_title":"Jie, The large time asymptotics of the temperature correlation functions of the XX0 Heisenberg ferromagnet: The Riemann-Hilbert approach, Ph.D","cited_arxiv_id":null,"evidence_quote":"Determined the corresponding constant term for fields above saturation, the case this paper complements."}],"review_version":1}