FRSB in the SK spin glass: convergence to full-interval support at zero temperature

Hong-Bin Chen

REVIEW 2 major objections 3 minor 1 cited by

FRSB in the SK spin glass: convergence to full-interval support at zero temperature

T0 review · 2 major / 3 minor · reviewed 2026-08-01 · 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 zero-temperature Parisi measure of the SK spin glass is smooth with support [0,1), so all overlap values are realized by near-ground states; it also quantifies how the positive-temperature support endpoint approach

desk verdict If Lemma 3.4's sign bound holds, this settles zero-temperature FRSB for SK; the proof is transparent and the trust boundaries are honest, but the load-bearing third-derivative assumption needs independent verification before the result is accepted. read the letter →

arxiv 2607.18032 v1 pith:YLZPJMTL submitted 2026-07-20 math.PR cond-mat.dis-nnmath-phmath.MP

Hong-Bin Chen This is my paper · ORCID

classification math.PRcond-mat.dis-nnmath-phmath.MP MSC 60K3582B44

keywords Sherrington-KirkpatrickmodelParisimeasurefullreplicasymmetrybreakingzerotemperatureoverlapgapvariationalproblemabsolutecontinuitysupport

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

The paper's goal is to pin down the exact structure of the Parisi variational object for the Sherrington–Kirkpatrick spin glass at zero temperature: it claims that the unique minimizer is a smooth, atomless, strictly increasing function whose Stieltjes measure has support the whole half-open interval [0,1). If true, this means that at zero temperature every overlap value in [0,1) is approximated by pairs of near-ground-state configurations, so the model realizes infinite-step replica symmetry breaking with no overlap gaps. The paper also sharpens the positive-temperature picture by showing that the support endpoint qβ approaches 1 at a rate no faster than a constant times β^{-2} and no slower than (3−cβ)/(2β²), with the endpoint atom weight cβ > 1/3. A sympathetic reader should care because the shape of this measure is the order parameter of the model: it controls the ultrametric structure of ground states and is exactly the input that optimization algorithms based on message passing assume to be strictly increasing.

What carries the argument

The carrying object is the zero-temperature Parisi minimizer γ⋆ and its Stieltjes measure ν⋆ = dγ⋆. The Parisi PDE, ∂_t u + ½(u_xx + γ(t) u_x²) = 0 with terminal condition u(1,x)=|x|, turns a choice of γ into a convex function u, and the functional P(γ)=u(0,0)−½∫₀¹ t γ(t)dt selects γ⋆. The technical engine is the transformed density Q(t,x)=ρ_t(x)e^{−γ(t)u(t,x)} and the ratio H(t,x)=Q_xx/Q. The proof shows H(t,·) is nondecreasing and strictly increasing inside every gap, using the third-derivative sign bound u_xxx ≤ 0 and strict total positivity of the heat kernel; this monotonicity, combined with Cole–Hopf inequalities for the slope-space curvature quantities K and J, yields the crossing imp

What would settle it

Run a high-accuracy numerical solve of the zero-temperature Parisi PDE for a simple admissible two-step γ, such as γ=0 on [0,t0) and γ=m on [t0,1), and check the sign of u_xxx at time t0 for positive x; any positive value would violate Lemma 3.4, the monotonicity of H across the jump, and therefore the gap-exclusion proof. Alternatively, producing an admissible γ with a strict support gap that still satisfies the first-order optimality conditions would directly falsify Theorem 1.3.

Watch

Extended reading notes

Core claim

On its own terms, the paper establishes two structural theorems. Theorem 1.3 states that for the zero-temperature variational problem with terminal datum |x|, the unique minimizer γ⋆ satisfies γ⋆(0)=0 and its Stieltjes measure dγ⋆ equals ρ∞(t)dt for a nonnegative smooth function ρ∞ ∈ C^∞([0,1)), with support [0,1). Hence the Parisi measure has no atom and no singular continuous part, and every overlap in [0,1) lies in the support. Theorem 1.2 states that at every β > 1 the positive-temperature Parisi measure has an endpoint atom of weight cβ and support [0,qβ], with cβ > 1/3 and (3−cβ)/(2β²) < 1−qβ < 2/β², so qβ → 1 as β → ∞. The proof takes the known positive-temperature interval-and-atom s

Load-bearing premise

The load-bearing premise is the strict monotonicity of H=Q_xx/Q on (0,∞), which the proof obtains from the third-derivative sign bound u_xxx ≤ 0 on [0,1)×(0,∞); the paper itself notes that its machine-checked formalization treats this analytic sign bound as an assumption, so if that sign ever fails the crossing implication inside gaps collapses.

Editorial extensions

If this is right

Every overlap u in [0,1) is realized, up to arbitrarily small error, by two near-ground-state spin configurations with probability exponentially close to 1; the support statement plus the known overlap-to-ground-state correspondence gives this directly.
The zero-temperature no-overlap-gap assumption used by El Alaoui, Montanari, and Sellke holds for the SK model: because γ⋆ is strictly increasing, their message-passing algorithm reaches energy within any fixed ε of the optimum.
Since γ⋆ is smooth and strictly increasing, the zero-temperature Parisi measure is neither atomic nor singular continuous; it represents infinite-step replica symmetry breaking.
The positive-temperature support endpoint qβ converges to 1 at rate β^{-2} (up to constants), while the endpoint atom weight stays bounded below by 1/3, so the endpoint layer is a quantitative boundary effect.
The zero-temperature variational problem cannot see an atom at the right endpoint t=1, so any closed-interval convention with a mass at 1 requires an external limiting prescription; the positive-temperature boundary layer is one such prescription.

Reading between the lines

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

The third-derivative sign condition u_xxx ≤ 0 is doing more work than any other indivisible estimate: it is the step that keeps H monotone across jumps. A natural testable extension is whether the same condition holds for mixed even p-spin models; if it fails, the full-support theorem may fail there even when the Parisi formula is valid.
Because the no-overlap-gap assumption now holds at zero temperature, the algorithmic question shifts from whether the assumption holds to whether the constant C(ε) in the running time C(ε)N² can be made polynomial in 1/ε; the present proof does not address that rate.
The endpoint estimates suggest a boundary-layer picture: as β grows, the positive-temperature density on [0,qβ] plus an atom at qβ reshapes, after scaling by β, into a smooth full-interval Stieltjes measure. One could try to recover ρ∞ as the limit of a free-boundary problem in which the endpoint atom melts into the continuum.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Chen's paper is the first to give a complete zero-temperature structural description of the SK Parisi measure: smooth density, full support [0,1), plus quantitative β^{-2} endpoint bounds at positive temperature. That is a real step beyond Auffinger–Chen–Zeng's infinitely-many-points result and Lopatto's positive-temperature interval theorem. The endpoint argument in Section 2 is genuinely clever — the moment identities plus the monotone transformed density give clean bounds on c_β and q_β without fitting anything.

The zero-temperature machinery is also well organized. The gap-exclusion argument via the crossing theorem is intricate but laid out honestly: each step names its inputs, and the Cole–Hopf inequalities are reproved in an appendix so the paper is mostly self-contained. The biggest soft spot is exactly what the stress test flags: the strict monotonicity of H=Q_xx/Q and the gap crossing rest on the sign bound D=u_xxx≤0 (Lemma 3.4, Eq. (3.20)). The maximum-principle proof in Appendix B.3 is plausible but not machine-checked, and the Lean formalization treats it as one of seven axioms. If D≤0 fails at some jump, the monotonicity preservation (3.35) breaks and the whole gap-exclusion argument collapses. That is not a discovered contradiction — it is a clearly flagged trust boundary — but it is load-bearing.

I also note the paper leans on Lopatto's Theorem 1.1 without reproof. That is acceptable given the provenance disclosure, but it does mean the positive-temperature characterization is an external input. The authorship note is unusual and refreshingly direct.

Who gets value from this: anyone working on mean-field spin glasses or the Parisi structure, and people tracking the no-overlap-gap assumptions behind optimization algorithms. It deserves a serious referee — the potential payoff is high and the risk is concentrated in one identifiable analytic lemma. I would send it out, with instructions to scrutinize Lemma 3.4 and the seven Lean assumptions. If those hold, the paper is a major result; if not, the zero-temperature theorem is unproven. Conditional accept is the right posture.

Referee Report

2 major / 3 minor

Summary. The paper proves structural results for the Parisi measure of the zero-field Sherrington–Kirkpatrick model. At positive temperature, Theorem 1.2 gives quantitative endpoint control: the atom c_β at q_β satisfies c_β > 1/3 and 1−q_β lies between (3−c_β)/(2β^2) and 2/β^2, so q_β→1 as β→∞. At zero temperature, Theorem 1.3 asserts that the unique minimizer γ_⋆ of the Parisi functional is absolutely continuous on [0,1) with a smooth density and that its Stieltjes measure has full support [0,1). The proof combines variational consistency identities, finite-cascade Cole–Hopf inequalities, a zero-temperature crossing argument excluding internal and terminal support gaps, and a regularity bootstrapping argument. The paper also includes a conditional Lean 4 formalization of Theorems 1.2–1.3 that treats seven analytic inputs as assumptions, one of which is the third-derivative sign bound used in the monotonicity argument.

Significance. If the analytic hypotheses are fully verified, the result is significant: it identifies the zero-temperature Parisi measure for the SK model as a smooth, atomless measure filling the entire interval [0,1), thereby proving the no-overlap-gap condition used in algorithmic and ultrametric interpretations. The paper is also praiseworthy for its explicit disclosure of the formalization's trust boundary, for the absence of fitted or calibrated parameters, and for the transparent chain of propositions leading to the gap-exclusion theorem. The main caveat is that the central zero-temperature conclusion depends on a sign bound for u_xxx that is not machine-checked and whose proof in Appendix B.3 is compressed.

major comments (2)

[Lemma 3.4, Eq. (3.20); Props. 3.7 and 4.2] The assertion D(t,x)=u_xxx(t,x)≤0 on [0,1)×(0,∞) is load-bearing. It is used in Step 3 of Proposition 3.7 through Eq. (3.35) to preserve monotonicity of H=Q_xx/Q across jumps of γ, and the strict monotonicity of H is then an input to the crossing identity (4.14) in Proposition 4.2. If D≤0 failed at a jump, the preservation identity (3.35) would not imply (H_+)_x≥0, and the implication Γ''(t)=0 ⇒ Γ'''(t)>0 would no longer follow; internal or terminal gaps could survive. The proof in Appendix B.3 invokes a maximum principle 'in the form used in [10, proof of Lemma 8]' without stating the growth and boundary hypotheses precisely, and the accompanying Lean 4 repository explicitly treats Eq. (3.20) as one of seven assumptions rather than a machine-checked theorem. This is a fixable but load-bearing gap: the manuscript should either supply a complete self-contained proof of D≤0 or extend the f
[Sec. 3.1-3.2 and formalization footnote] The paper's own footnote states that the Lean formalization 'treats seven explicitly identified analytic inputs as assumptions' and is 'not an assumption-free verification of the entire paper.' This is honest, but the main text later says the manuscript is self-contained apart from Theorem 1.1 and well-established results. The reader should be told explicitly, in the introduction or at the statement of Theorem 1.3, that the zero-temperature conclusion is conditional on the unformalized analytic inputs, especially the sign bound in Lemma 3.4. This is not a mathematical inconsistency, but the presentation currently understates the verification debt.

minor comments (3)

[Eq. (3.19) and surrounding text] The notation u_λ := u_{λ,γ∧λ} = u_{h_λ,γ∧λ} is confusing: the first subscript appears to be a parameter but is then identified with a terminal datum. Define the two-argument notation explicitly before Eq. (3.19).
[Appendix B.3] The maximum-principle step for the third derivative cites [10, proof of Lemma 8] without stating the exact function class, growth conditions, or treatment of the unbounded half-line. Since this is the main unverified step, the proof should be expanded.
[Throughout] There are several typographical and formatting issues: the title contains broken spacing ('INTER V AL', 'SUPPOR T'), and Appendix C contains 'aiXiv' instead of 'arXiv'. These do not affect the mathematics but should be corrected.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation chains for Theorems 1.2 and 1.3 rest on independent external inputs and a flagged, non-equivalent analytic trust boundary.

full rationale

The two main theorems have independent inputs. Theorem 1.2 uses the positive-temperature support theorem from Lopatto [13, Thm 1.1] as an input, then derives the endpoint identities (2.2)-(2.3) from the external variational identity Gamma(s)=s on the support ([1, Thm 5]) plus Ito calculus and Cole-Hopf formulas; the strict inequalities in Prop. 2.3 are covariance comparisons using monotonicity of an explicitly constructed transformed density, not fitted constants or reused conclusions. Theorem 1.3 is proved separately: it starts from the external uniqueness and minimizer theory in [6], and the no-gap arguments in Propositions 4.2-4.5 are analytic statements about any solution with constant coefficient on a putative gap. Their inputs - H-monotonicity from total positivity (Prop. 3.7), the finite Cole-Hopf inequalities (Appendix A, attributed to [12] and reproved locally), and the uniform tail estimates (Lemma 3.13) - do not contain full support as an assumption. The most sensitive premise, D = u_xxx <= 0 (Lemma 3.4), is explicitly acknowledged in the paper and in its Lean formalization as one of seven analytic inputs treated as assumptions. That is a clearly flagged trust boundary about an unverified analytic fact, not a circular step: it is not equivalent to, nor derived from, the conclusion supp nu_* = [0,1). The only self-citation to the predecessor [5] is described as a source of ideas whose arguments are re-proved or strengthened in the present text (Appendix C), so it is not load-bearing. No fitted parameter is renamed as a prediction, no uniqueness claim is imported from the present authors to force the choice, and no known result is merely relabeled. The paper is therefore not circular.

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

No free parameters or invented entities: the proof has no fitted constants and postulates no new objects — Q(t,x) = ρ_t e^{−γ(t)u} is a technical device derived from already-defined quantities. The central claim rests instead on an explicit stack of external theorems (Parisi formulas, uniqueness, Lopatto's [13] structure theorem, variational conditions from [6]) and on technical analytic estimates (Lemma 3.3, Lemma 3.4, Lemma 3.13) that the conditional Lean formalization does not verify.

assumptions (6)

domain assumption Parisi formula for the SK free energy and its zero-temperature analogue (Talagrand [19]; Auffinger–Chen [3]).
The whole variational framework presumes these formulas; they are cited, not reproved.
domain assumption Unique minimizers of the Parisi functional at positive temperature ([2, Thm. 1]) and zero temperature ([6, Thm. 4]).
The objects μ_β and γ⋆ are defined as unique minimizers; uniqueness is imported.
domain assumption Positive-temperature structure theorem (Lopatto [13, Thm. 1.1]): μ_β = ρ_β ds + c_β δ_{q_β} with support [0,q_β].
Section 1 states 'We do not reprove any part of the positive-temperature characterization in Theorem 1.1'; it is the input for the endpoint estimates in Section 2.
domain assumption Self-consistency Γ(s) = s for s ∈ supp μ_β ([1, Thm. 5]) and zero-temperature consistency/stability at every q ∈ S including 0 ∈ S ([6, Prop. 3; §before Prop. 5]).
These variational conditions drive the endpoint moment identities (2.1) and the gap-exclusion boundary conditions (4.23); 0 ∈ S is also among the seven formalization assumptions.
domain assumption The seven analytic inputs treated as assumptions in the Lean formalization (Parisi variational theory, PDE/stochastic analysis, convergence arguments, and the fact from [6] that 0 lies in the support).
The footnote on p.1 declares that the machine-checked part is not assumption-free; the analytic strength of the paper lives in these inputs.
standard math Degenerate-strip maximum principle, Prékopa–Leindler, and total-positivity theory (Karlin [11]) used for H-monotonicity and the J-inequalities.
Prop. 3.7 (Step 2, Eq. 3.33) and Appendix A rely on these classical tools without proof.

how reviews work

0 comments

Cite this review

Pith. "Pith review of FRSB in the SK spin glass: convergence to full-interval support at zero temperature." pith.science (2026). https://pith.science/paper/YLZPJMTL

@misc{pith2026260718032,
  author       = {Pith},
  title        = {Pith review of: FRSB in the SK spin glass: convergence to full-interval support at zero temperature},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YLZPJMTL}},
  note         = {Machine review of arXiv:2607.18032}
}

abstract

We prove full replica symmetry breaking for the zero-field Sherrington-Kirkpatrick model at zero temperature: the Parisi minimizer is absolutely continuous, has a smooth density, and has support $[0,1)$. At inverse temperature $\beta>1$, [arxiv.org/abs/2607.11756v3] recently proved that the Parisi measure has support $[0,q_\beta]$. Here, we show $q_\beta$ converges to $1$ as $\beta\to\infty$.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

On the Gardner Transition in the Ising Pure $p$-Spin Glass II
math.PR 2026-08 conditional novelty 8.0 of 10

The paper proves the Ising pure p-spin glass is RS, then 1-RSB, then full RSB with support {0} union [q,q'], for every p at least 3.

Reference graph

Works this paper leans on

19 extracted references · 1 linked inside Pith · cited by 1 Pith paper

[1]

Auffinger and W.-K

A. Auffinger and W.-K. Chen, On properties of Parisi measures,Probability Theory and Related Fields161 (2015), 817–850

2015
[2]

Auffinger and W.-K

A. Auffinger and W.-K. Chen, The Parisi formula has a unique minimizer,Communications in Mathematical Physics335(2015), 1429–1444

2015
[3]

Auffinger and W.-K

A. Auffinger and W.-K. Chen, Parisi formula for the ground state energy in the mixedp-spin model,Annals of Probability45(2017), no. 6B, 4617–4631

2017
[4]

Auffinger, W.-K

A. Auffinger, W.-K. Chen, and Q. Zeng, The SK model is infinite step replica symmetry breaking at zero temperature,Communications on Pure and Applied Mathematics73(2020), no. 5, 921–943

2020
[5]

ChatGPT, FRSB in the SK Spin Glass: Convergence to Full-Interval Support at Zero Temperature, aiXiv:aixiv.260716.000001, 2026,https://aixiv.science/abs/aixiv.260716.000001

arXiv 2026
[6]

W.-K. Chen, M. Handschy, and G. Lerman, On the energy landscape of the mixed evenp-spin model, Probability Theory and Related Fields171(2018), no. 1–2, 53–95

2018
[7]

El Alaoui, A

A. El Alaoui, A. Montanari, and M. Sellke, Optimization of mean-field spin glasses,Annals of Probability49 (2021), no. 6, 2922–2960

2021
[8]

Guerra, Broken replica symmetry bounds in the mean field spin glass model,Communications in Mathe- matical Physics233(2003), 1–12

F. Guerra, Broken replica symmetry bounds in the mean field spin glass model,Communications in Mathe- matical Physics233(2003), 1–12

2003

Show all 19 references

[9]

Jagannath and I

A. Jagannath and I. Tobasco, Some properties of the phase diagram for mixedp-spin glasses,Probability Theory and Related Fields167(2017), 615–672

2017
[10]

Jagannath and I

A. Jagannath and I. Tobasco, A dynamic programming approach to the Parisi functional,Proceedings of the American Mathematical Society144(2016), no. 7, 3135–3150

2016
[11]

Karlin,Total Positivity, vol

S. Karlin,Total Positivity, vol. 1, Stanford University Press, Stanford, 1968

1968
[13]

Lopatto, Full replica symmetry breaking in the Sherrington–Kirkpatrick model, arXiv:2607.11756v3, 2026, https://arxiv.org/abs/2607.11756v3

P. Lopatto, Full replica symmetry breaking in the Sherrington–Kirkpatrick model, arXiv:2607.11756v3, 2026, https://arxiv.org/abs/2607.11756v3

2026 arXiv
[14]

Montanari, Optimization of the Sherrington–Kirkpatrick Hamiltonian,SIAM Journal on Computing54 (2025), no

A. Montanari, Optimization of the Sherrington–Kirkpatrick Hamiltonian,SIAM Journal on Computing54 (2025), no. 4, FOCS19-1–FOCS19-38

2025
[15]

Panchenko, The Parisi formula for mixedp-spin models,Annals of Probability42(2014), no

D. Panchenko, The Parisi formula for mixedp-spin models,Annals of Probability42(2014), no. 3, 946–958

2014
[16]

Panchenko, The Parisi ultrametricity conjecture,Annals of Mathematics177(2013), no

D. Panchenko, The Parisi ultrametricity conjecture,Annals of Mathematics177(2013), no. 1, 383–393. 40 HONG-BIN CHEN

2013
[17]

Parisi, Infinite number of order parameters for spin-glasses,Physical Review Letters43(1979), 1754–1756

G. Parisi, Infinite number of order parameters for spin-glasses,Physical Review Letters43(1979), 1754–1756

1979
[18]

Sherrington and S

D. Sherrington and S. Kirkpatrick, Solvable model of a spin-glass,Physical Review Letters35(1975), 1792–1796

1975
[19]

Talagrand, The Parisi formula,Annals of Mathematics163(2006), no

M. Talagrand, The Parisi formula,Annals of Mathematics163(2006), no. 1, 221–263

2006
[20]

Zhou, Existence of full replica symmetry breaking for the Sherrington–Kirkpatrick model at low temperature, Communications on Pure and Applied Mathematics79(2026), no

Y. Zhou, Existence of full replica symmetry breaking for the Sherrington–Kirkpatrick model at low temperature, Communications on Pure and Applied Mathematics79(2026), no. 7, 1746–1770, https://doi.org/10.1002/ cpa.70038

2026

Pith tools

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

[1] [1]

Auffinger and W.-K

A. Auffinger and W.-K. Chen, On properties of Parisi measures,Probability Theory and Related Fields161 (2015), 817–850

2015

[2] [2]

Auffinger and W.-K

A. Auffinger and W.-K. Chen, The Parisi formula has a unique minimizer,Communications in Mathematical Physics335(2015), 1429–1444

2015

[3] [3]

Auffinger and W.-K

A. Auffinger and W.-K. Chen, Parisi formula for the ground state energy in the mixedp-spin model,Annals of Probability45(2017), no. 6B, 4617–4631

2017

[4] [4]

Auffinger, W.-K

A. Auffinger, W.-K. Chen, and Q. Zeng, The SK model is infinite step replica symmetry breaking at zero temperature,Communications on Pure and Applied Mathematics73(2020), no. 5, 921–943

2020

[5] [5]

ChatGPT, FRSB in the SK Spin Glass: Convergence to Full-Interval Support at Zero Temperature, aiXiv:aixiv.260716.000001, 2026,https://aixiv.science/abs/aixiv.260716.000001

arXiv 2026

[6] [6]

W.-K. Chen, M. Handschy, and G. Lerman, On the energy landscape of the mixed evenp-spin model, Probability Theory and Related Fields171(2018), no. 1–2, 53–95

2018

[7] [7]

El Alaoui, A

A. El Alaoui, A. Montanari, and M. Sellke, Optimization of mean-field spin glasses,Annals of Probability49 (2021), no. 6, 2922–2960

2021

[8] [8]

Guerra, Broken replica symmetry bounds in the mean field spin glass model,Communications in Mathe- matical Physics233(2003), 1–12

F. Guerra, Broken replica symmetry bounds in the mean field spin glass model,Communications in Mathe- matical Physics233(2003), 1–12

2003