{"id":"67233d76-3783-4bfd-a9a7-f313b0ddd994","arxiv_id":"1908.05158","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For weak long-range spin systems the anomalous dimension is η=2−σ up to the Sak threshold σ*=2−η_SR, and functional RG yields new quantum critical exponents for O(N) rotor chains.","lead":"This paper reviews and extends renormalization group calculations for spin systems with slowly decaying, power-law interactions. It concludes that the 'Sak scenario' is right: a key critical exponent keeps its mean-field form until a threshold, and it presents new quantum spin chain predictions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (14a), ∂_t Z_σ = 0, is the hinge of the Sak-scenario claim, but it is a property of the two-term truncation (10) and symmetric sharp regulator (11); a two-scale or smooth regulator can make ∂_t Z_σ nonzero and shift both δη and σ*.","rationale":"The reader's weakest assumption identifies exactly the truncation of the kinetic sector to q^σ and q^2 together with the regulator (11). My stress-test sharpens this: the load-bearing step is Eq. (14a), ∂_t Z_σ = 0, which is not an exact result but a consequence of the chosen sharp, single-scale regulator and of the absence of any q^(σ+δη) term in the ansatz. All the subsequent Sak-scenario conclusions, δη = 0, the LR fixed-point condition η_2 = 2 − σ from Eq. (16a), and the merger value σ* = 2 − η_SR, inherit this assumption. A concrete two-scale regulator test would settle whether the result is scheme-dependent. I agree with the reader's conditional assessment: the classical Sak scenario has strong independent support, so this is not grounds for rejection, but the paper's FRG derivation should not be taken as a regulator-independent proof, and the quantum exponent predictions built on the same machinery inherit the same caveat. Since the reader already issued CONDITIONAL, my read does not move the verdict.","tokens_in":22737,"tokens_out":10352,"duration_ms":116374,"concrete_test":"Take the ansatz (10) and replace the regulator (11) by the two-scale regulator R_k(q) = Z_σ (k_σ^σ − q^σ) θ(k_σ^σ − q^σ) + Z_2 (k_2^2 − q^2) θ(k_2^2 − q^2), with k_σ = A k and k_2 = B k. Recompute Eqs. (12)–(14) and the fixed-point condition of Section III for d = 2, N = 1 while varying A/B in [0.5, 2]. If ∂_t Z_σ is nonzero or σ* deviates from 2 − η_SR(d) by more than a few percent, then the reported η = 2 − σ and Sak threshold are regulator artifacts of the symmetric sharp cutoff. If ∂_t Z_σ remains zero and σ* is unchanged for A/B ≠ 1, the concern is resolved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Sak scenario: η = 2 − σ with δη = 0, and σ* = 2 − η_SR) rests on Eq. (14a), ∂_t Z_σ = 0, which is then used to obtain the fixed-point condition η_2 = 2 − σ in Eq. (16a) and the branching of the LR fixed point from the SR one at σ* = 2 − η_SR. In the text, this vanishing is motivated by the statement that the RG flow of the inverse propagator remains analytic at p → 0. But at a LR fixed point the exact propagator behaves as q^σ, which is non-analytic for non-integer σ; the analyticity of ∂_t Γ_k^(2)(p) is an assumption, not a derivation. Moreover, the ansatz (10) contains only the momentum structures q^σ and q^2, so any correction of the form q^(σ+δη) is excluded by construction, and projecting onto p^σ cannot detect it. Eq. (14a) is therefore not regulator-independent: the symmetric regulator (11) makes the q < k propagator constant and removes the non-analytic momentum dependence from the loop integrand. A different regulator, for example one with separate cutoff scales for the q^σ and q^2 terms, or a smooth regulator, will generically produce a non-zero p^σ projection of ∂_t Γ_k^(2). If so, the fixed-point condition is no longer exactly η = 2 − σ, and σ* = 2 − η_SR shifts. This does not disprove Sak's scenario, which has independent Monte Carlo and conformal bootstrap support, but it means the FRG derivation in Sections II–III exhibits the result inside a truncation/regulator in which it has been effectively assumed, rather than deriving it from the exact flow.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper presents a functional renormalization group (FRG) study of classical and quantum O(N) spin models with weak long-range (LR) interactions, i.e. couplings decaying as r^{-(d+σ)} with 0<σ<2. The main classical part (Sections II-III) constructs scale-dependent effective actions containing both the non-analytic kinetic term q^σ and the standard q^2 term, together with a symmetric infrared regulator. The central claim is that no correction to the mean-field value of the anomalous dimension exists (δη=0, hence η_LR=2−σ) and that the long-range fixed point merges with the short-range one at σ*=2−η_SR, in agreement with Sak's scenario. The quantum part (Section IV) extends the same construction to quantum rotor and transverse-field Ising models, deriving the quantum-to-classical effective dimension, the dynamical exponent z, and the threshold σ*=2−η_SR, together with numerical estimates for 1/ν and 1/(zν) in d=1. The paper also reviews effective-dimension relations and compares its results with Monte Carlo, conformal bootstrap, and previous FRG work.","tokens_in":23241,"tokens_out":3493,"duration_ms":37947,"significance":"If the central derivation were fully robust, the paper would provide a single FRG framework that unifies classical and quantum LR criticality and settles the long-standing controversy between σ*=2 and σ*=2−η_SR in favor of Sak's scenario. The paper is genuinely useful as a review and as a source of concrete predictions: it contains parameter-free flow equations, explicit numerical curves for exponents as functions of σ, and a consistent discussion of the fixed-point structure. The agreement with existing Monte Carlo and conformal-bootstrap evidence is a real strength, as is the explicit treatment of the competition between q^σ and q^2 terms near σ*. However, the derivation of the key result δη=0 and σ*=2−η_SR rests on a specific truncation of the effective action and a specific regulator choice, and the paper does not establish regulator independence; this limits the conclusiveness of the central claim.","major_comments":[{"comment":"The result ∂_t Z_σ = 0 is the hinge of the Sak-scenario derivation: it directly yields the fixed-point condition η_2 = 2−σ in Eq. (16a) and the branching at σ* = 2−η_SR. However, this equation is obtained within the two-term parametrization (10) and the symmetric sharp regulator (11). The text's justification, that the flow of the inverse propagator remains analytic at p→0, is an assumption: at an LR fixed point the exact propagator behaves as q^σ, which is non-analytic for non-integer σ. Moreover, the ansatz (10) contains only the momentum structures q^σ and q^2, so any correction of the form q^{σ+δη} is excluded by construction and projecting onto p^σ cannot detect it. As written, the derivation exhibits Sak's result inside a truncation/regulator in which it is effectively assumed rather than deriving it from the exact flow. The authors should either prove regulator independence or carefully state this limitation in the main text.","section":"§IIB, Eq. (14a)"},{"comment":"The symmetric regulator (11) uses the same scale k for the q^σ and q^2 terms, making the low-momentum propagator (Z_σ k^σ + Z_2 k^2 + ...) constant for q<k. This removes the non-analytic q^σ momentum dependence from the loop integrand and is likely responsible for the exact vanishing of ∂_t Z_σ. A different regulator, for instance two independent cutoff scales for the two kinetic terms or a smooth regulator, would generically produce a non-zero p^σ projection of ∂_t Γ_k^(2). The paper does not test this sensitivity. Consequently, the conclusion σ* = 2−η_SR, which follows from Eqs. (16a) and (18a), is not shown to be scheme-independent. I would not regard this as a refutation of Sak's scenario—independent Monte Carlo and bootstrap evidence supports it—but the FRG derivation as presented does not establish it beyond the chosen truncation.","section":"§IIB, Eq. (11) and §III"},{"comment":"Equation (40), ∂_t Z_k = (2−σ−η)Z_k, is used to conclude that either η = 2−σ or Z_k→0. This is again an ansatz-level statement: the scaling dimension of the LR kinetic coefficient is computed relative to the SR kinetic term, and the 'anomalous dimension' η is defined with respect to the SR term (Eq. (41)). If there were a non-mean-field correction to the LR term, the flow would read ∂_t Z_k = (2−σ−η−δη)Z_k with δη≠0. The equation therefore presupposes the absence of such a correction. The subsequent derivation of σ*=2−η_SR in Eq. (44) consequently inherits this assumption. The authors should acknowledge that Eq. (40) is a truncation assumption rather than a derived exact relation.","section":"§IVB, Eq. (40)"},{"comment":"The statement that 'setting Z_2,k = 0 ... does not introduce any further correction to the determination of the critical exponents, since the analytic momentum term only becomes relevant for σ≃σ* and, even there, it has been shown in Ref. [27,28] not to substantially influence the numerical values' is presented as a justification for dropping the q^2 term in the computation of η_τ and ν. This is an external approximation claim, not a demonstration within the present framework. Given that the central Sak-scenario result depends precisely on the competition between the LR and SR terms near σ*, this omission should be flagged explicitly as an additional truncation and its numerical impact should be quantified in the present paper rather than only cited from earlier work.","section":"§IVC, paragraph following Eq. (44)"}],"minor_comments":[{"comment":"There is a spelling error: 'diffucult' should be 'difficult'.","section":"Introduction, first paragraph"},{"comment":"The function f(ρ̄0, Ū(2)(ρ̄0)) is used in Eq. (47) for η_τ before it is defined in Eq. (48). Reorder the definitions or add a forward reference.","section":"§IVC, Eqs. (46)-(48)"},{"comment":"The phrase 'the d→d+z correspondence seems an artefact of our approximation procedure rather than an exact result' is somewhat in tension with the earlier use of the same correspondence to derive upper and lower critical dimensions in Section IVA. It would help to state clearly which results are affected by this artefact and which are not.","section":"§V, Conclusions"},{"comment":"Reference [117] contains a typo: 'Phis. Rev.B' should be 'Phys. Rev. B'. Also, Ref. [30] is a PhD thesis; if it is not accessible to the reader, more details of the spike-plot technique should be provided in the text.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper is well organized and useful, and the scientific claim is certainly defensible given existing external evidence. My main concern is that the FRG derivation of the central result (δη=0 and σ*=2−η_SR) appears to be scheme-dependent in a way that is not discussed; the text sometimes presents as derived what is in fact an ansatz-level input. I therefore recommend major revision rather than rejection: the authors could add an explicit statement of the truncation/regulator dependence, and preferably a test with a different regulator or an independent argument for the vanishing of the p^σ projection of ∂_t Γ_k^(2). I also note that the paper relies heavily on the authors' own earlier FRG results (Refs. [27]-[29]); this is not inappropriate for a review-style paper, but it increases the importance of the requested robustness check."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick read: this is a solid, self-consciously written FRG review of weak long-range O(N) spin models, classical and quantum. The central physics — Sak's scenario, η=2−σ with σ*=2−η_SR, and the quantum rotor exponents — comes from the authors' own earlier papers [27–30]; the genuinely new items here are the error estimate for the effective-dimension mapping, the phase diagram, and re-plotted exponent curves. As a review it does its job: the flow equations are standard and clearly presented, the classical picture is checked against Monte Carlo and bootstrap, and the authors are honest about limitations (they flag the d→d+z correspondence as approximate and admit BKT is outside the formalism).\n\nThe soft spot is the one the stress-test note points to: Eq. (14a), ∂_t Z_σ = 0, is the hinge for η=2−σ and σ*=2−η_SR, but it follows from the two-term ansatz (10) and the symmetric sharp regulator (11), not from the exact flow. The text's appeal to analyticity of ∂_t Γ^(2) at small p is an assumption, not a derivation: with that regulator, the loop no longer sees the non-analytic q^σ, and a q^(σ+δη) correction is excluded by construction. This does not by itself sink Sak's scenario — independent Monte Carlo and bootstrap back it — but the FRG derivation as presented exhibits the answer rather than derives it. A referee should ask for a regulator-dependence check or at least a frank statement that the result is truncation-dependent.\n\nThe quantum section has a second, lesser soft spot: the O(2) exponents disagree with the Monte Carlo of Ref. [118], the mismatch is acknowledged but not resolved, and the claim that these are the \"most accurate\" estimates sits on curves with no error bars. Minor relative to the classical review, but worth saying.\n\nWho is this for? Someone who wants a single, readable FRG treatment of weak long-range criticality, especially for quantum rotor models relevant to trapped-ion and Rydberg experiments. It is not a new landmark, but it is a competent and honestly framed review that deserves a serious referee. My recommendation: send it to peer review, and conditionally accept after the regulator/truncation independence and the O(2) discrepancy are addressed.","headline":"A solid, self-described FRG review that restates the authors' earlier Sak-scenario results; the new error estimates and quantum exponents are useful, but the core derivation hinges on an unexamined regulator/truncation assumption.","tokens_in":23693,"tokens_out":3335,"would_cite":false,"duration_ms":31492,"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":"For weakly long-range O(N) spin models, the paper argues that the anomalous dimension is exactly η=2−σ for d/2<σ<σ*, with no perturbative correction, and that the long-range and short-range fixed points merge at σ*=2−η_SR.","keywords":["weak long-range interactions","O(N) spin models","functional renormalization group","anomalous dimension","critical exponents","effective fractional dimension","quantum rotor model","universality class"],"falsifier":"Measure the anomalous dimension of the two-dimensional Ising model with long-range couplings directly at $\\sigma=7/4$: the scenario predicts $\\eta=1/4$ exactly and a transition that is still long-range at $\\sigma=7/4$ but short-range for any $\\sigma>7/4$; a measured $\\eta$ clearly different from $1/4$, or clear long-range scaling above $\\sigma=7/4$, would refute the central claim. A direct check of the mechanism itself is to add a $q^4$ term to the ansatz and see whether the fixed-point condition $\\partial_t Z_\\sigma=(2-\\sigma-\\eta)Z_\\sigma$ remains the only way to stop the long-range kinetic flow.","tokens_in":22541,"feed_emoji":"🧲","tokens_out":12537,"duration_ms":110782,"temperature":0.7,"pith_summary":"This paper argues for a specific resolution of a long-standing dispute about how power-law couplings change critical behavior. For classical $O(N)$ spin models with interaction $r^{-d-\\sigma}$ and decay exponent in the weak long-range window $d/2<\\sigma<\\sigma^*$, the paper claims the anomalous dimension is exactly $\\eta=2-\\sigma$, with no perturbative correction, and that the long-range fixed point merges continuously with the short-range one at $\\sigma^*=2-\\eta_{SR}$. The argument is built on the functional renormalization group with an effective action that retains both the $q^\\sigma$ and $q^2$ kinetic terms, so neither term is assumed dominant in advance. If the claim is right, the puzzling alternative boundary $\\sigma^*=2$ is excluded and the universality classes of weak long-range models are fixed by a simple threshold formula. The same merging rule is then extended to quantum rotor and transverse-field Ising models, where it also determines the dynamical critical exponent.","feed_headline":"Exact exponent rules weak long-range spin order","feed_subtitle":"Functional renormalization fixes the boundary and predicts testable exponents for classical and quantum spin models.","key_machinery":"The load-bearing machinery is the scale-dependent effective action $\\Gamma_k$ truncated to the two leading momentum terms of the inverse propagator, $Z_{\\sigma,k} q^\\sigma$ and $Z_{2,k} q^2$, together with a regulator that acts on both terms symmetrically, $R_k(q)=Z_{\\sigma,k}(k^\\sigma-q^\\sigma)\\theta(k^\\sigma-q^\\sigma)+Z_{2,k}(k^2-q^2)\\theta(k^2-q^2)$. This choice avoids biasing the competition between long-range and short-range physics. The fixed-point analysis then reduces to two mutually exclusive possibilities: either the long-range kinetic coefficient vanishes (short-range fixed point) or the anomalous dimension is forced to $\\eta=2-\\sigma$ (long-range fixed point). The two solutions coalesce exactly when $2-\\sigma$ equals $\\eta_{SR}$, which is the mechanism producing the threshold $\\sigma^*=2-\\eta_{SR}$. The same structure, with an additional frequency term $K_k \\partial_\\tau^2$, carries the quantum calculation.","core_discovery":"On the paper's own terms, the central discovery is that the long-range fixed point of the classical $O(N)$ model satisfies $\\eta=2-\\sigma$ exactly, because the flow of the $q^\\sigma$ kinetic coefficient vanishes only when this identity holds, while the $q^2$ coefficient adjusts its scaling dimension to match. The two kinetic terms therefore exchange dominance precisely at the value of $\\sigma$ where the long-range anomalous dimension equals the short-range one, yielding $\\sigma^*=2-\\eta_{SR}$. At $\\sigma>\\sigma^*$ only the short-range fixed point exists; at $\\sigma<\\sigma^*$ the long-range fixed point controls the transition and has one relevant direction, and at $\\sigma=d/2$ it merges with the Gaussian (mean-field) fixed point. In the quantum case the same fixed-point condition on the kinetic term gives $\\sigma^*=2-\\eta_{SR}$ with $\\eta_{SR}$ the anomalous dimension of the corresponding short-range model in $d+1$ dimensions, and the dynamical exponent is $z=\\sigma/(2-\\eta_\\tau)$, where $\\eta_\\tau$ is the frequency anomalous dimension.","pith_inferences":["If the two-term truncation is faithful, the same merging criterion $\\sigma^*=2-\\eta_{SR}$ should apply to other models with two competing kinetic operators, such as long-range percolation or long-range $O(N)$ field theories in fractional dimension; the paper does not test those cases.","A natural cross-check not performed in the paper would compare high-precision long-range Monte Carlo exponents in $(d,\\sigma)$ with short-range conformal-bootstrap data at fractional dimension $D_{\\rm eff}=2d/\\sigma$.","Trapped-ion spin chains with tunable decay exponent could test the predicted dynamical exponent $z=\\sigma/(2-\\eta_\\tau)$ by measuring correlation-spread dynamics, a quantitative target the paper does not address.","Because $\\eta_{SR}$ must be supplied from outside the present truncation, a fully scheme-independent test of $\\sigma^*=2-\\eta_{SR}$ would require computing both sides at the same approximation level; that consistency check is not carried out here."],"forward_implications":["For $d/2<\\sigma<\\sigma^*$, the critical exponents of classical long-range $O(N)$ models can be read from short-range exponents in the effective dimension $D_{\\rm eff}=2d/\\sigma$, with $\\nu_{LR}=(2-\\eta_{SR}(D'_{\\rm eff}))\\,\\nu_{SR}(D'_{\\rm eff})/\\sigma$.","At $\\sigma=\\sigma^*$ the long-range and short-range fixed points coincide, so the anomalous dimension $\\eta$ is continuous across the boundary, with no jump to a different value at $\\sigma^*$.","For quantum rotors and the transverse-field Ising model, $\\sigma^*=2-\\eta_{SR}$ (with $\\eta_{SR}$ taken from the $d+1$-dimensional short-range theory) and the dynamical exponent is $z=\\sigma/(2-\\eta_\\tau)$, reducing to the mean-field value $z=\\sigma/2$ when frequency renormalization vanishes.","The upper critical dimension of the long-range quantum model is $d_{\\rm uc}=3\\sigma/2$, and for continuous symmetries the lower critical dimension is $d_{\\rm lc}=\\sigma/2$.","Within this truncation, the computed $\\nu$ and $z\\nu$ agree with available Monte Carlo results to within about five percent for the Ising case, with the known exception of the $d=1,N=2$ case where a topological transition is expected at $\\sigma=2$."],"supporting_citations":[{"why":"Gives the original $\\epsilon$-expansion derivation of $\\eta=2-\\sigma$ and the conjecture that it is exact.","marker":"[3]"},{"why":"Proposes $\\sigma^*=2-\\eta_{SR}$ and the vanishing of the correction $\\delta\\eta$; this paper's central claim verifies that scenario in the FRG truncation.","marker":"[4]"},{"why":"Provides the FRG treatment with both $q^\\sigma$ and $q^2$ kinetic terms and the fixed-point analysis that this paper reviews and extends.","marker":"[27]"},{"why":"Extends the FRG formalism to anisotropic classical systems and underlies the quantum kinetic-sector flow equations.","marker":"[28]"},{"why":"Supplies the fixed-point solutions and critical exponents for quantum long-range rotor models used in Section IV.","marker":"[29]"},{"why":"Monte Carlo results for long-range Ising models cited as supporting the continuous merging scenario and the threshold formula.","marker":"[17]"},{"why":"Gives the fixed-point potential analysis in fractional dimension used for the effective-dimension relation $D_{\\rm eff}=2d/\\sigma$.","marker":"[102]"},{"why":"Provides the fractional-dimension anomalous dimension $\\eta_{SR}$ used to evaluate the improved effective dimension and $\\sigma^*$.","marker":"[106]"}],"fun_headline_variants":["Exact η = 2 − σ for weak long-range spin criticality","Spin long-range criticality: exact exponent boundary","Weak long-range spins: exact RG exponents for quantum and classical","Renormalization yields exact long-range spin exponents"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole derivation rests on truncating the flowing action to the single $q^\\sigma$ and $q^2$ momentum terms and on the symmetric regulator chosen to compare them; if higher-order momentum dependence or a different regulator moves the fixed-point condition, the threshold $\\sigma^*=2-\\eta_{SR}$ and the exponents would shift.","fun_headline_variants_meta":{"raw":{"variants":["Exact η = 2 − σ for weak long-range spin criticality","Spin long-range criticality: exact exponent boundary","Weak long-range spins: exact RG exponents for quantum and classical","Renormalization yields exact long-range spin exponents"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000644,"raw_usage":{"total_tokens":2944,"prompt_tokens":910,"completion_tokens":2034,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":526,"completion_tokens_details":{"reasoning_tokens":1966}},"tokens_in":526,"tokens_out":2034,"duration_ms":16464,"temperature":1.0,"reasoning_tokens":1966,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:35:28.562845+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Measure the anomalous dimension of the two-dimensional Ising model with long-range couplings directly at $\\sigma=7/4$: the scenario predicts $\\eta=1/4$ exactly and a transition that is still long-range at $\\sigma=7/4$ but short-range for any $\\sigma>7/4$; a measured $\\eta$ clearly different from $1/4$, or clear long-range scaling above $\\sigma=7/4$, would refute the central claim. A direct check of the mechanism itself is to add a $q^4$ term to the ansatz and see whether the fixed-point condition $\\partial_t Z_\\sigma=(2-\\sigma-\\eta)Z_\\sigma$ remains the only way to stop the long-range kinetic flow.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the fractional-dimension anomalous dimension $\\eta_{SR}$ used to evaluate the improved effective dimension and $\\sigma^*$."}],"review_version":1}