{"id":"64411ccb-f6c2-4607-bd0a-8d32b3fab83a","arxiv_id":"2508.15666","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"A rigorous cluster expansion proves that truncated two-point correlations in ferromagnetic long-range Ising models decay as |x-y|^{-alpha} at low temperatures.","lead":"This paper develops a cluster expansion for multidimensional long-range Ising models using specially constructed contours, and applies it to prove that correlations decay algebraically with exponent alpha. If correct, it provides a rigorous low-temperature description of long-range interactions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Decay-of-correlations theorem rests on inherited contour geometry and long-range summability that the abstract does not prove; central claim is consequently unverified.","rationale":"The reader's verdict was UNVERDICTED, and my analysis reinforces that judgment rather than moving it. The abstract-only manuscript asserts a theorem whose proof depends on a previously constructed contour machinery that is not described or re-derived in the available text. The reader's weakest_assumption identifies exactly this inherited contour construction as the load-bearing element; I agree. My concern is not a demonstration of a mathematical error, but a precise verification gap: the convergence of the cluster expansion and the resulting algebraic decay with coefficient alpha require specific geometric and summability properties of the multiscaled contours in the presence of the long-range interaction. Without access to the full proof, one cannot check whether those properties hold, so the paper cannot be accepted or rejected on the merits. Hence the verdict remains UNVERDICTED, equivalent to UNCHANGED from the reader's position. The proposed concrete test would settle the concern by isolating the contraction estimate and checking the long-range interaction treatment; if that estimate is uniform and valid for all alpha>d, the central claim would be supported, and if not, the decay exponent would be in question.","tokens_in":517,"tokens_out":4247,"duration_ms":47985,"concrete_test":"Obtain the full text and isolate the convergence theorem for the cluster expansion. Re-derive the key contraction estimate: for sufficiently large beta, the sum over contour families enclosing a fixed volume of products of contour weights is bounded by a constant <1 independent of volume. In the long-range term, check that the interaction is decomposed into a finite-range part and an integrable tail with the weight depending on alpha>d only through quantities like \\sum_{y\\neq x}|x-y|^{-alpha} (finite) or exponentially small corrections. If the uniform contraction estimate fails or requires alpha>2d, the claimed decay coefficient alpha is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that, at low temperatures, the cluster expansion for the multidimensional multiscaled contours converges and yields truncated two-point correlations decaying as |x-y|^{-alpha}. The abstract states these contours were 'defined by three of us' but supplies no derivation or statement of the geometric and summability hypotheses on which the cluster expansion converges. The proof requires (i) a Peierls-type estimate making contour weights exponentially small at low temperature; (ii) a uniform summability bound over contour families in d dimensions; and (iii) a compatible treatment of the long-range interaction J/|x-y|^alpha, alpha>d, whose infinite-range nature can spoil finite-range contour arguments. If any one of these fails, the cluster expansion could diverge and the algebraic decay with coefficient alpha would not follow. This is not a known contradiction, but it is a load-bearing verification gap: the paper's theorem is no stronger than the unstated properties of the inherited contour construction.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript (arXiv:2508.15666) announces a cluster expansion for multidimensional multiscaled contours previously introduced by three of the authors, applied to long-range Ising models with interaction J_{xy}=J/|x-y|^alpha, J>0, alpha>d. The stated result is that, at low temperatures, the cluster expansion converges and the truncated two-point correlation function decays algebraically with exponent alpha. The available text is the abstract only; no proof, no statement of the geometric or summability hypotheses on the contoured construction, and no definition of the low-temperature regime are supplied.","tokens_in":782,"tokens_out":2217,"duration_ms":28490,"significance":"If correct, the result would establish a rigorous algebraic decay of correlations for long-range Ising models with alpha>d, extending contour-based cluster-expansion techniques to systems with non-integrable-looking but finite-energy interactions. A notable strength visible in the abstract is that the decay exponent is derived rather than fitted, giving a precise, falsifiable prediction. The mathematical machinery, however, is entirely inherited from prior work by the same authors, and the abstract does not expose any of the conditions under which convergence is claimed; therefore the significance is conditional on the unstated technical apparatus being sound.","major_comments":[{"comment":"The central claim rests on 'multidimensional multiscaled contours defined by three of us,' but the abstract gives no statement of the geometric and summability properties these contours must satisfy for the cluster expansion to converge. The proof needs a Peierls-type estimate, a uniform summability bound over contour families in d dimensions, and a controlled treatment of the infinite-range interaction J/|x-y|^alpha. None of these are visible here. As presented, the theorem is no stronger than the unstated properties of the inherited construction, leaving the main claim unverified. This is a load-bearing gap in the available manuscript.","section":"Abstract, second sentence"},{"comment":"The phrase 'decay is algebraic with coefficient alpha' is ambiguous: if 'coefficient' means the exponent, then it should say 'exponent'; if it means the multiplicative prefactor, then the statement that the prefactor is alpha is not the usual meaning and could be wrong. This ambiguity affects the central quantitative claim and should be clarified. In an abstract-only submission, this obscures the exact theorem being asserted.","section":"Abstract, last sentence"}],"minor_comments":[{"comment":"The phrase 'contours defined by three of us' is not a formal citation. Please provide a precise reference to the prior work, including theorem or definition numbers, so the reader can locate the construction.","section":"Abstract, line 1"},{"comment":"The abstract says 'low temperatures' without specifying the condition in terms of J, alpha, and d. Even for an abstract, a bound of the form T < T_0(J,alpha,d) would help state the theorem.","section":"Abstract, low-temperature condition"},{"comment":"The abstract does not state the dimension d explicitly beyond 'multidimensional' except through alpha>d. It is worth stating d>=2 (or d>=1, as appropriate) to avoid ambiguity.","section":"General"}],"recommendation":"uncertain","confidential_remarks":"The manuscript was provided to me as an abstract-only text. I cannot conduct a substantive proof review, and the central theorem depends on an inherited contour construction that is not described here. The reader's low-confidence 'UNVERDICTED' assessment is appropriate. If the full text exists, it should be sent for review with particular attention to the summability of the long-range interaction over the multiscaled contours and to possible circularity in citing the authors' own prior results. The paper may well be correct, but the available material is insufficient for a verdict."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take. The paper claims a precise theorem: convergence of the cluster expansion for their multiscaled contours in the long-range Ising model with alpha>d, and algebraic decay of truncated two-point correlations with exponent alpha. That's a real, non-fitted result, and physically the expected one. If the proof holds, it's a solid, incremental contribution to mathematical statistical mechanics.\n\nWhat the paper does well: it states a sharp result and honestly attributes the contour construction to prior work by three of the authors. The decay exponent is derived, not chosen to fit data. The method is a natural extension of their earlier work, so novelty is moderate but genuine.\n\nSoft spots: the whole argument rests on the multidimensional multiscaled contours. From the abstract alone, I can't verify three load-bearing things: (1) a Peierls estimate making contour weights exponentially small at low temperature, (2) uniform summability over contour families in d dimensions, and (3) that the long-range interaction J/|x-y|^alpha, alpha>d, doesn't break the cluster expansion. These are not automatic; long-range tails often force extra bookkeeping. The stress-test note is fair: the theorem is no stronger than the unstated properties of the inherited construction. But that's a verification gap, not evidence of error. This group has done good work in this area, and I take the missing details as 'to be checked' rather than 'probably wrong.'\n\nThe self-citation chain is not a real flaw. Building on your own contours is standard. The circularity burden is low because the exponent is not fitted.\n\nBottom line: this deserves a serious referee. It should go to peer review, not be desk-rejected. The referee will need the prior paper and should check the three geometric/summability conditions. I'd want to see the full proof before citing it myself, but I'd bet it holds. Yes to peer review; maybe for the reading group, if we want to see how cluster expansions handle long-range tails.","headline":"A plausible extension of the authors' contour method to long-range Ising, but the abstract leaves the inherited contour geometry unverifiable.","tokens_in":1163,"tokens_out":3327,"would_cite":false,"duration_ms":37991,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["82B20","82B05","82B26"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper develops a convergent cluster expansion for long-range Ising models and proves that the truncated two-point correlation decays algebraically with the same exponent alpha as the interaction.","keywords":["cluster expansion","long-range Ising model","multiscaled contours","decay of correlations","power-law correlations","truncated two-point function","low-temperature expansion","contour methods"],"falsifier":"For d=1 and alpha=1.5, simulate the ferromagnetic long-range Ising model at low temperature, measure the truncated two-point correlation at several distances, and fit the decay exponent: a fitted exponent clearly different from 1.5, or an exponential decay, would contradict the claimed algebraic decay with exponent alpha.","tokens_in":512,"feed_emoji":"🧲","tokens_out":9600,"duration_ms":100674,"temperature":0.7,"pith_summary":"The paper establishes rigorous low-temperature control of correlations in ferromagnetic Ising models on d-dimensional lattices with long-range interactions J/|x-y|^alpha, where alpha>d. It builds a convergent cluster expansion on the multidimensional multiscaled contours introduced in earlier work by the same authors. Convergence at low temperature yields algebraic decay, with exponent alpha, for the truncated two-point correlation function. This matters because the infinite range of the interaction defeats the usual finite-range contour arguments; the result ties the correlation tail directly to the interaction tail.","feed_headline":"Long-range spin correlations decay exactly like the interaction","feed_subtitle":"Convergent cluster expansion pins the truncated two-point correlation exponent to alpha in d dimensions.","key_machinery":"The central object is the multidimensional multiscaled contour representation, in which low-temperature spin configurations are decomposed into contours at several length scales, with scale-dependent weights designed to control the long-range interaction. The cluster expansion is the series over connected sets of such contours; its convergence at low temperature is the step that yields the bound of the truncated two-point function by a constant times |x-y|^{-alpha}.","core_discovery":"The paper's central claim is that the cluster expansion for the multidimensional multiscaled contours converges at sufficiently low temperatures in ferromagnetic long-range Ising models with interaction J(|x-y|)=J/|x-y|^alpha, J>0 and alpha>d. From that convergence, the authors conclude that the truncated two-point correlation function decays algebraically in |x-y| with the same exponent alpha as the interaction. The statement is for arbitrary dimension d, with the long-range tail handled by the multiscale contour representation rather than by finite-range geometry.","pith_inferences":["A question the abstract leaves open is whether the algebraic decay is two-sided; a matching lower bound would sharpen 'decay with exponent alpha' from a bound to a true asymptotic.","If the contour summability only needs the power-law tail, the same cluster expansion may extend to interactions comparable to |x-y|^{-alpha}, such as slowly varying prefactors, with the same exponent.","Higher-order truncated correlations and Ursell functions could likely be treated by the same convergent expansion, giving power-law tails governed by alpha.","The low-temperature restriction suggests the interesting open boundary is the full temperature range: the same exponent need not persist near or above the critical temperature."],"forward_implications":["For every dimension d and every alpha>d, at sufficiently low temperature the truncated two-point correlation is bounded by a constant times |x-y|^{-alpha}.","The convergent cluster expansion gives a rigorous series starting point for computing other low-temperature observables in long-range Ising systems.","The decay exponent is set by the interaction tail alpha, not by the lattice dimension or the contour geometry.","Rigorous contour and cluster-expansion methods now apply to long-range interactions with J(|x-y|) ~ |x-y|^{-alpha}, not only to finite-range interactions."],"supporting_citations":[],"fun_headline_variants":["Truncated spin correlations decay with exponent alpha","Long-range Ising correlations mirror interaction decay exponent","Cluster expansion settles correlation decay at alpha","Low-T correlation decay matches interaction exponent"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The result relies on the multidimensional multiscaled contour construction taken from the authors' earlier work; if those contours fail any of the geometric or summability estimates that the cluster expansion requires, the convergence proof and the alpha-decay conclusion would not follow from this paper.","fun_headline_variants_meta":{"raw":{"variants":["Truncated spin correlations decay with exponent alpha","Long-range Ising correlations mirror interaction decay exponent","Cluster expansion settles correlation decay at alpha","Low-T correlation decay matches interaction exponent"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00182,"raw_usage":{"total_tokens":6907,"prompt_tokens":566,"completion_tokens":6341,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":310,"completion_tokens_details":{"reasoning_tokens":6286}},"tokens_in":310,"tokens_out":6341,"duration_ms":44446,"temperature":1.0,"reasoning_tokens":6286,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T17:44:01.653454+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For d=1 and alpha=1.5, simulate the ferromagnetic long-range Ising model at low temperature, measure the truncated two-point correlation at several distances, and fit the decay exponent: a fitted exponent clearly different from 1.5, or an exponential decay, would contradict the claimed algebraic decay with exponent alpha.","supporting_citations":[],"review_version":1}