{"id":"194f923a-f212-4478-8f41-b8f775749f0a","arxiv_id":"1908.08638","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"For the Haldane-Shastry spin chain, the nonlocal factor caused by ring frustration is exactly cos(pi*alpha) with alpha = r/N, matching the Heisenberg model.","lead":"This paper derives the nonlocal parts of spin correlations for the Haldane-Shastry model, finding that the odd-versus-even ring-frustration factor is cos(pi*r/N), the same as for the Heisenberg chain. The value comes from an exact ground-state wavefunction rather than numerical fits, giving a clean check of a possible universal effect in frustrated spin rings.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The odd-N limit defining C(O) in Eq. (4) is ill-defined because Eq. (38) carries an oscillatory sign (-1)^r; the claimed R(alpha)=cos(pi alpha) needs an unstated absolute-value redefinition.","rationale":"The reader's weakest_assumption concerned the assertion that ratios in Eq. (5) depend only on alpha and not on r. My check makes this concern concrete: for odd N the exact correlation in Eq. (38) contains a factor (-1)^r that oscillates as N grows at fixed alpha, so the limit defining C(O) does not exist unless one strips this sign. The paper does strip it ('Set aside the unimportant minus sign') without amending the definition of the nonlocal factor. This is a genuine soft spot, but it is repairable: the magnitude/envelope ratio converges to cos(pi alpha), as the paper's Fig. 1(b) suggests. I therefore do not move the verdict; CONDITIONAL remains appropriate. The actual envelope calculation appears sound: Eq. (40) and the small-alpha expansion of R(E) are consistent with the exact formulas once the sign is removed. The independent support from the exact ground-state wave function and closed-form correlations is real, but the presentation needs a precise definition of the nonlocal factor for alternating correlations.","tokens_in":11577,"tokens_out":26834,"duration_ms":236501,"concrete_test":"Compute R_M(alpha) = C_{r,2M+1}/C_{r,2M} using exact Eqs. (30) and (38) with alpha = 1/3 and r = floor(alpha(2M+1)) for M = 1,...,200. If the signed ratio has two subsequences approaching +cos(pi alpha) and -cos(pi alpha) while |R_M(alpha)| approaches cos(pi alpha), the limit in Eq. (4) fails and an envelope redefinition is required. Repeat for an irrational alpha (e.g., sqrt(2)/3) to confirm generic behavior.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Equation (38) gives Cr,2M+1 = cos(M theta')/((2M+1) sin(theta'/2)) times a sum, and Eq. (39) rewrites cos(M theta') = (-1)^r cos(pi r/(2M+1)). For fixed alpha = r/N with N = 2M+1, r is an integer that grows with M, so the factor (-1)^r alternates and has no limit as M tends to infinity. Therefore C(O)(r,alpha) in Eq. (4) does not exist for generic alpha, and R(alpha) = C(O)/C(E) in Eq. (6) is not defined as written. The phrase 'Set aside the unimportant minus sign' after Eq. (39) silently replaces the signed correlation by its absolute value, which is a different observable. The envelope ratio does converge to cos(pi alpha), so the central claim can be repaired by defining R(alpha) on the envelope, but the paper does not state this redefinition. This is the soft spot that must be fixed before the result is rigorous.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces the concept of nonlocal factors for spin correlation functions, defined as ratios of correlations in the nonlocal scaling limit (r and N large with alpha = r/N fixed) to the local continuum correlation. The authors apply this to the Haldane-Shastry model, for which the ground state and spin correlations are computed exactly for both even and odd numbers of spins from the Gutzwiller-Jastrow wavefunction. They derive analytically that the ring-frustration nonlocal factor is R(alpha) = cos(pi alpha), identical to that of the Heisenberg model, and they give an approximate analytic form for the even-N factor R(E)(alpha) = pi alpha / sin(pi alpha) together with a numerical fit.","tokens_in":11816,"tokens_out":4952,"duration_ms":49231,"significance":"If the stated result is made rigorous, the paper provides a rare analytical example of factorization of spin correlations into local and nonlocal contributions in an exactly solvable model. The central claim, equality of the ring-frustration factor R(alpha) with the Heisenberg model result, is derived directly from the exact ground-state wavefunction without fitting parameters, and the explicit correlation formulas are a useful starting point for further analysis. The paper would be of interest to the statistical mechanics and strongly correlated electron communities. The main caveat is that the odd-N correlation limit as currently defined is not well-posed, so the central claim needs a precise redefinition before it can be accepted.","major_comments":[{"comment":"The limit defining C(O)(r, alpha) in Eq. (4) does not exist for generic alpha because Eq. (38) contains the factor (-1)^r, and for fixed alpha = r/N with N = 2M+1, r grows with M so (-1)^r oscillates without a limit. The phrase 'Set aside the unimportant minus sign' after Eq. (39) silently replaces the correlation by its absolute value, which is a different observable. Consequently, the ratio R(alpha) = C(O)/C(E) in Eq. (6) is not defined as written. The result can be repaired by defining R(alpha) on the envelope of the oscillating correlation, i.e., on |C(O)|, and proving that the envelope has a well-defined limit; this redefinition must be stated explicitly and used consistently in all subsequent formulas and in Figure 1.","section":"Section IV, Eqs. (4), (38)-(41)"},{"comment":"The Laplace-expansion step that selects the nonzero contributions in the confluent alternant is asserted rather than derived. Equations (25) and (A5) contain nontrivial combinatorial factors such as (2M-1)!! and 2M!!, but the manuscript does not show how these arise from the expansion or how the summation over x_j inside the determinant is handled. Since formulas (30) and (38) are the exact input for the nonlocal factors, this is a load-bearing technical step; please expand the derivation or give a reference that contains the full computation.","section":"Section III and Appendix A, Eqs. (24)-(26), (A5)"},{"comment":"The derivation of R(E)(alpha) = pi alpha / sin(pi alpha) discards O(1/M) terms in Eq. (35) without proving that they vanish uniformly in alpha, particularly near alpha = 1/2. The numerical fit in Eq. (34) and the approximate analytic form in Eq. (37) visibly differ, so the manuscript should clarify that Eq. (37) is an approximate result and state the size of the correction in the M -> infinity limit. This issue does not by itself invalidate the ring-frustration factor R(alpha), which is obtained from the ratio C_{r,2M+1}/C_{r,2M}, but it weakens the claimed analytic derivation of R(E).","section":"Section IV, Eqs. (35)-(37)"}],"minor_comments":[{"comment":"Replace 'Set aside the unimportant minus sign' with a precise statement that the nonlocal factor is defined through the absolute value or envelope of the correlation, as the current wording changes the observable being studied.","section":"Section IV, after Eq. (39)"},{"comment":"The notation 'sin t/2M sin t/2M' is ambiguous; it should be written as sin(t/2)/sin(t/(2M)) or with explicit parentheses so that the change of integration variable is clear.","section":"Eq. (32)"},{"comment":"The caption should state whether the plotted ratio C_{r,2M+1}/C_{r,2M} uses absolute values, given that the odd-N correlation carries an oscillatory sign.","section":"Figure 1 caption"},{"comment":"The expression for R(alpha) of the transverse Ising model is typeset ambiguously as 'cos πα/2 − sin πα/2'; please insert parentheses to distinguish cos(pi alpha/2) - sin(pi alpha/2) from other readings.","section":"Eq. (7)"}],"recommendation":"major_revision","confidential_remarks":"The central result is likely correct after redefining the odd-N nonlocal factor on the envelope, so I do not think rejection is warranted. Please check that the Heisenberg R(alpha) comparison value quoted in Eq. (9) was obtained with the same envelope convention proposed here, since it is imported from the authors' prior numerical work and the present definition must match it. The Laplace-expansion gap is a reproducibility concern rather than a fatal error, but it should be addressed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this paper gives exact finite-size spin correlations for the Haldane-Shastry chain and shows that the ring-frustration nonlocal factor is R(alpha)=cos(pi alpha), the same as the Heisenberg chain. That is a real result, and it is not circular: the HS ground state is known, the correlations are evaluated analytically, and the odd/even comparison is direct.\n\nWhat is good: the wavefunction and norm are handled cleanly; the correlation formulas in Eqs. (30) and (38) are exact and simple enough to check. The paper also does not oversell. It compares with earlier numerical XY and Heisenberg values honestly, and it makes clear that the HS ground state is much simpler than the Bethe ansatz state. The analytic even-N factor pi alpha/sin(pi alpha) matches the numerical fit, so the confidence in that piece is decent.\n\nSoft spots, in order of importance. First, the odd-N limit is not well-defined as written. Equation (38) carries an oscillatory sign (-1)^r via Eq. (39), and \"set aside the unimportant minus sign\" is not a mathematical operation. For fixed alpha with r growing, the sequence C_{r,2M+1} has no limit; R(alpha) in Eq. (6) only makes sense if you define it on the envelope, that is, on |C_{r,2M+1}| or after stripping the parity factor. The stress-test note is right about this. It is repairable, but it is a genuine hole in the definitions. Second, the Laplace expansion that produces Eq. (25) is summarized in a sentence. The norm has a full appendix; the correlation numerator does not. A referee should ask for that derivation or at least a clear statement of which terms vanish. Third, Eq. (37) is called analytic but comes from dropping the O(1/M) term in Eq. (35); the discarded series is not controlled. It matches the numerical fit, so it is probably fine, but it should be labeled as approximate. The two fitted constants in Eq. (34) have no uncertainties; that is minor.\n\nBottom line: the central identification R(alpha)=cos(pi alpha) is likely correct and is a useful data point for the possible universality of nonlocal factors in one-dimensional spin chains. The paper needs a revision that fixes the envelope definition and tightens the expansion steps. I would send it to a serious referee, with a clear note about the sign issue.","headline":"Exact HS correlations confirm the nonlocal factor R(alpha)=cos(pi alpha), but the odd-N sign must be handled via an envelope definition before the claim is rigorous.","tokens_in":12339,"tokens_out":3865,"would_cite":true,"duration_ms":38760,"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 Haldane-Shastry model's spin correlations split into a local continuum part and nonlocal factors, and the ring-frustration factor is exactly $\\cos(\\pi\\alpha)$, matching the Heisenberg model.","keywords":["Haldane-Shastry model","spin correlations","nonlocal factors","ring frustration","odd spin chains","inverse-square exchange","continuum limit","finite-size scaling"],"falsifier":"Calculate, by exact diagonalization of small Haldane-Shastry rings, the ratio $C_{r,N}/C_\\infty(r)$ for two different separations with the same fraction $\\alpha=r/N$, for example $r=3,N=12$ and $r=4,N=16$. The factorization predicts equal ratios up to finite-size corrections, so any systematic $r$-dependence at fixed $\\alpha$ would falsify it. In the same data, compare $C_{r,2M+1}/C_{r,2M}$ with $\\cos(\\pi\\alpha)$ at fixed $\\alpha$ for increasing $M$; a persistent drift away from the cosine, especially near $\\alpha=1/2$, would falsify the central claim.","tokens_in":76,"feed_emoji":"🌀","tokens_out":14812,"duration_ms":190040,"temperature":0.7,"pith_summary":"The paper sets out to split the spin-correlation function of a closed quantum spin chain into a local piece, which survives the infinite-size continuum limit, and nonlocal factors that encode the ring geometry. It carries out this split for the Haldane-Shastry model, a one-dimensional antiferromagnet with inverse-square exchange couplings, by computing the ground-state correlations exactly for both even and odd numbers of spins. The central result is that the factor measuring ring frustration, the extra cost of accommodating a staggered spin pattern on an odd ring, is $R(\\alpha)=\\cos(\\pi\\alpha)$, exactly the same function previously found for the Heisenberg model. The paper also derives an analytic even-chain factor, $R^{(E)}(\\alpha)=\\pi\\alpha/\\sin(\\pi\\alpha)$, which it shows is almost identical to the numerical fit. If this is right, the odd-versus-even difference in spin correlations is governed by a geometric factor common to different spin models, which can be studied exactly in the simpler Haldane-Shastry ground state.","feed_headline":"Odd rings share the Heisenberg model's spin-correlation signature","feed_subtitle":"Odd rings suppress spin correlations by cos(pi alpha), a signature shared with Heisenberg chains.","key_machinery":"The load-bearing object is the nonlocal factor, the ratio of a finite-ring correlation at fixed $\\alpha=r/N$ to the continuum correlation $C_\\infty(r)$; the paper's claim is that this ratio depends only on $\\alpha$. The calculation is carried by the Gutzwiller-Jastrow ground state of the Haldane-Shastry model, $\\Psi(x_1,\\dots,x_M)=\\prod_i z_{x_i}\\prod_{i<j}(z_{x_i}-z_{x_j})^2$ with $z_x=e^{2\\pi i x/N}$. Norms and correlation numerators are evaluated by rewriting the squared wave function as a confluent alternant, a determinant whose rows pair each site value with its derivative, then expanding that determinant via Laplace's theorem and using the unit-root identity $\\sum_{x=1}^N z_x^n=\\delta_{n,0}$ to remove all but finitely many terms. The factorization emerges from an integral representation of the even-$N$ correlation after a $1/M$ expansion, in which the leading term becomes the local piece and the leftover prefactor in $\\alpha$ becomes the nonlocal factor.","core_discovery":"On the paper's own terms, the discovery is that Haldane-Shastry spin correlations factorize: $C_{r,N}=C_\\infty(r)\\times R^{(E)}(\\alpha)$ for even $N$, with an additional factor $R(\\alpha)$ for odd $N$, where $\\alpha=r/N$ is the fixed fraction of the ring between the two spins. The continuum correlation is $C_\\infty(r)=\\frac{1}{2\\pi r}\\int_0^{\\pi r}dt\\,\\frac{\\sin t}{t}$. Expanding the exact even-$N$ correlation for large $M$ gives $R^{(E)}(\\alpha)=\\pi\\alpha/\\sin(\\pi\\alpha)$, which the authors show is almost indistinguishable from the numerical fit $1+0.428\\sinh^2(1.969\\alpha)$. The odd-$N$ correlation carries an extra factor $\\cos(M\\theta')\\approx\\cos(\\pi\\alpha)$, so the ring-frustration ratio between odd and even chains is $R(\\alpha)=R^{(O)}(\\alpha)/R^{(E)}(\\alpha)=\\cos(\\pi\\alpha)$. The paper identifies this cosine factor as exactly the same one previously extracted numerically for the Heisenberg model, and notes that the XY model shows the same form.","pith_inferences":["If the cosine frustration factor is universal across one-dimensional antiferromagnetic rings, the odd-even difference in spin correlations is fixed by ring geometry alone; a direct test would be to extract $R(\\alpha)$ for spin chains beyond those studied here, such as spin-1 or dimerized rings.","The factorization suggests a practical scheme for small-ring numerics: divide out the nonlocal factor to expose universal continuum correlation data, which could improve finite-size extrapolations of critical exponents.","The paper treats only ground states, so a natural extension is to ask whether the same factorization holds in thermal or excited states of the Haldane-Shastry model; the ratio definition could be checked at finite temperature for small rings.","The place to look first for a breakdown is near $\\alpha=1/2$, because the subleading terms dropped in the $1/M$ expansion need not vanish uniformly there; a careful finite-size study at fixed $\\alpha$ close to $1/2$ would test the factorization most sharply."],"forward_implications":["For an odd Haldane-Shastry ring, the frustration factor $\\cos(\\pi\\alpha)$ vanishes at $\\alpha=1/2$, the largest possible separation on the ring, so correlations near half the ring are suppressed relative to an even chain.","The analytic form $\\pi\\alpha/\\sin(\\pi\\alpha)$ reproduces the numerically fitted even-chain nonlocal factor, giving a closed expression where only a numerical fit was previously available.","All four degenerate ground states of the odd-$N$ chain give the same spin correlations, so the nonlocal factors are properties of the model rather than of a particular ground-state choice.","Because the Haldane-Shastry ground state is far simpler than the Bethe-ansatz state of the Heisenberg model, the same cosine frustration factor can now be derived analytically rather than inferred from small-system numerics."],"supporting_citations":[{"why":"Introduces the nonlocal-factor concept and supplies the numerical nonlocal factors for the XY and Heisenberg models that this paper extends and compares with.","marker":"[13]"},{"why":"Defines the Haldane-Shastry model with inverse-square couplings, the system whose correlations are computed here.","marker":"[14]"},{"why":"Independent formulation of the same model, providing its Hamiltonian and exact-solvability context.","marker":"[15]"},{"why":"Provides the finite-size scaling hypothesis and the earlier even-N nonlocal factor for the XY model used as a baseline for $R^{(E)}$.","marker":"[17]"},{"why":"Supplies the numerically extracted even-N nonlocal factor for the Heisenberg model that the comparison with the cosine frustration factor relies on.","marker":"[18]"},{"why":"Supplies the Gutzwiller-Jastrow ground-state wave function of the Haldane-Shastry model on which all correlation calculations are built.","marker":"[19]"},{"why":"Earlier demonstration that ring frustration produces nonlocal spin-correlation behavior, motivating the factorization studied here.","marker":"[12]"}],"fun_headline_variants":["Odd rings' spin correlations factor out a cosine signature","Haldane-Shastry odd rings echo Heisenberg's frustration factor","Spin correlations factorize: odd rings add cos(pi alpha)","Nonlocal factor for odd rings is identical to Heisenberg's","Even and odd Haldane-Shastry rings share a correlation factor"],"cache_read_input_tokens":14464,"weakest_assumption_plain":"The load-bearing premise is that, in the limit of an infinitely long chain with the spin separation held at a fixed fraction $\\alpha$ of the chain, the ratio of the finite-ring correlation to the infinite-chain correlation depends only on $\\alpha$ and not on the absolute separation $r$; the paper asserts this cancellation before demonstrating it.","fun_headline_variants_meta":{"raw":{"variants":["Odd rings' spin correlations factor out a cosine signature","Haldane-Shastry odd rings echo Heisenberg's frustration factor","Spin correlations factorize: odd rings add cos(pi alpha)","Nonlocal factor for odd rings is identical to Heisenberg's","Even and odd Haldane-Shastry rings share a correlation factor"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000594,"raw_usage":{"total_tokens":2742,"prompt_tokens":866,"completion_tokens":1876,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":482,"completion_tokens_details":{"reasoning_tokens":1788}},"tokens_in":482,"tokens_out":1876,"duration_ms":13350,"temperature":1.0,"reasoning_tokens":1788,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:34:36.110650+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Calculate, by exact diagonalization of small Haldane-Shastry rings, the ratio $C_{r,N}/C_\\infty(r)$ for two different separations with the same fraction $\\alpha=r/N$, for example $r=3,N=12$ and $r=4,N=16$. The factorization predicts equal ratios up to finite-size corrections, so any systematic $r$-dependence at fixed $\\alpha$ would falsify it. In the same data, compare $C_{r,2M+1}/C_{r,2M}$ with $\\cos(\\pi\\alpha)$ at fixed $\\alpha$ for increasing $M$; a persistent drift away from the cosine, especially near $\\alpha=1/2$, would falsify the central claim.","supporting_citations":[{"cited_title":"Li and Y","cited_arxiv_id":null,"evidence_quote":"Introduces the nonlocal-factor concept and supplies the numerical nonlocal factors for the XY and Heisenberg models that this paper extends and compares with."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the Haldane-Shastry model with inverse-square couplings, the system whose correlations are computed here."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Independent formulation of the same model, providing its Hamiltonian and exact-solvability context."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the finite-size scaling hypothesis and the earlier even-N nonlocal factor for the XY model used as a baseline for $R^{(E)}$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the numerically extracted even-N nonlocal factor for the Heisenberg model that the comparison with the cosine frustration factor relies on."},{"cited_title":"Kuramoto and Y","cited_arxiv_id":null,"evidence_quote":"Supplies the Gutzwiller-Jastrow ground-state wave function of the Haldane-Shastry model on which all correlation calculations are built."},{"cited_title":"Dong, Z.-Y.Zheng and P","cited_arxiv_id":null,"evidence_quote":"Earlier demonstration that ring frustration produces nonlocal spin-correlation behavior, motivating the factorization studied here."}],"review_version":1}