Full replica symmetry breaking in the Sherrington-Kirkpatrick model

Patrick Lopatto

Full replica symmetry breaking in the Sherrington-Kirkpatrick model

T0 review · 0 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For every inverse temperature β>1, the Parisi measure of the Sherrington–Kirkpatrick model is supported on a single interval [0,qβ], has a smooth density, and has one atom at qβ.

desk verdict Full RSB for SK at every β>1 is a major structural result built on genuinely new machinery; it deserves a serious refereeing effort, with the main risk concentrated in the gap estimates of Proposition 8.1. read the letter →

arxiv 2607.11756 v3 pith:5BMGDEZX submitted 2026-07-13 math.PR

Patrick Lopatto This is my paper · ORCID

classification math.PR MSC 60K3582B4482D30

keywords ParisimeasureSherrington-KirkpatrickmodelreplicasymmetrybreakingspinglassvariationalprincipleCole-Hopftransformlow-temperaturephase

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

This paper proves that in the Sherrington–Kirkpatrick spin glass with no external field, the measure governing replica symmetry breaking — the Parisi measure — has a complete, simple structure at every low temperature (β>1): it is supported on a single interval [0,qβ], with a smooth density on that interval and one atom at the top endpoint qβ. This is the first proof that full replica symmetry breaking holds throughout the low-temperature phase, not just near the critical temperature. If correct, it resolves a long-standing prediction that the SK model is governed by a continuous order-parameter profile and gives a definitive description of the low-temperature phase.

What carries the argument

The argument is carried by an invariant for Gaussian Cole–Hopf evolutions: when the Parisi PDE runs across an interval of constant cumulative mass, its solution is a Cole–Hopf transform of the terminal profile. In slope coordinates B=u_x, C=u_xx, the quantities K, J and their first B-derivatives are shown to stay nonnegative under these evolutions and under lowering the active parameter, giving a one-crossing property for the second derivative of the self-consistency function Γ(s)=E[u_x(s,X_s)^2]. The transformed density r = p e^{-αu} supplies the additional convexity: V=-log r satisfies V_x,V_xx≥0 and V_xxx≤0 on the positive half-line, which rules out gaps and identifies the endpoint atom.

What would settle it

Compute, rigorously or numerically, the Parisi measure at some β>1 and exhibit a positive gap in its support, an interior atom, or a failure of log-concavity of the transformed density at qβ; any of these would contradict Theorem 1.1.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: for every β>1 there exist qβ in (0,1), cβ in (0,1), and a C∞ density ρβ on [0,qβ) such that the Parisi measure μβ equals ρβ(s)ds + cβ δ_{qβ}, with support exactly [0,qβ]. The proof shows first that zero is an accumulation point of the support, then that no gap can exist: on any hypothetical gap, a new slope-coordinate differential invariant forces zeros of Γ'' to be crossed from negative to positive, which contradicts the variational constraints at the gap endpoints. Finally, log-concavity of the transformed density p e^{-αu} at the maximal support point forces the endpoint to carry an atom, and a known regularity result yields smoothness of the remaining de

Load-bearing premise

The gap-exclusion argument requires uniform two-sided Gaussian bounds and derivative bounds for the transformed density and for the slope-coordinate quantities on every gap; if these estimates failed near the right endpoint of a gap, the integrations by parts and the monotonicity argument would collapse.

Editorial extensions

If this is right

Full replica symmetry breaking is confirmed at all low temperatures: the Parisi measure is not one-step but continuous with one terminal atom, matching the physical prediction.
The smooth density part means the order parameter is a continuous profile, so the model exhibits continuously broken replica symmetry rather than discrete levels.
The proof provides a general template: Cole–Hopf invariants plus convexity of a transformed diffusion density may apply to other mean-field spin glasses to characterize their Parisi measures.
The atom weight cβ and interval length qβ are implicitly fixed by the self-consistency equations, so the result opens the way to estimating these quantities as functions of β.
It closes the gap left by near-critical results: the structural description holds for every β>1, not just for β sufficiently close to 1.

Reading between the lines

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

The same slope-invariant machinery may extend to the SK model with a weak external field, where the Parisi measure is expected to retain a similar interval-plus-atom structure with field-dependent parameters.
The crossing principle for Γ'' suggests a general no-gap lemma for any minimizer of the Parisi functional whose support accumulates at zero, potentially simplifying structural proofs for related models such as p-spin glasses.
A quantitative prediction follows: for large β, the ratio of the atom weight to the density mass, or the speed at which qβ approaches 1, could be computed numerically and compared with the zero-temperature limit in which the measure is known to have infinite support.
The log-concavity of the transformed density, established here for the SK model, may be the right structural input for proving regularity of Parisi measures in any model admitting a stochastic representation.

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

Bottom line first: this paper looks like the real thing. It proves full replica symmetry breaking for the SK model at every β>1, removing Zhou's near-critical restriction. If the proof holds, the Parisi measure is exactly a smooth density on [0,qβ] plus one atom at qβ. That settles the low-temperature structure problem that has been open since the physics predictions. The novelty is not just the theorem; the tools are new. The Cole-Hopf slope invariant, the crossing principle for Γ′′ on arbitrary gaps, and the log-concavity argument for the endpoint atom are all substantive departures from previous work. The paper is also honest about how it is built: it uses Jagannath-Tobasco variational criteria, Auffinger-Chen regularity, and Talagrand's Parisi formula as black boxes, and the LLM-assistance note in Section 1.3 is disclosed rather than hidden.

On credit: the proof is internally structured, no fitting of constants, no circularity. Propositions 3.6 and 3.7, the zero-accumulation argument, the gap-exclusion, and the endpoint atom all hang together. I went looking for a fatal flaw and did not find one. The softest spot is Proposition 8.1: the uniform two-sided Gaussian bounds for the transformed density and the exponential growth bounds for the slope-coordinate quantities on a gap (a,b). Everything in the gap-crossing proof — differentiation under the integral, integration by parts, the strict monotonicity of L — rests on those estimates. I could not find a concrete failure, and the derivations from the Brownian-bridge representation are plausible, but this is where I would send a referee first. The proof is long and not machine-checked, which is a real limitation for something this intricate. The reliance on external variational and regularity results is legitimate; those are independent support.

The citation pattern looks appropriate. The main result is a capstone to Zhou's near-critical work and Auffinger-Chen-Zeng's zero-temperature picture; the references are the right ones.

Who is this for? Anyone working in rigorous spin glasses, and people interested in Parisi variational problems. It belongs in a reading group. My recommendation: send it out. A serious editor should not desk-reject this. The referees have a clear mandate: check Proposition 8.1 and the approximation arguments in Sections 3 and 7 line by line. If those survive, it is a publishable major theorem.

Referee Report

0 major / 4 minor

Summary. The paper claims to prove, for every inverse temperature β>1 in the Sherrington-Kirkpatrick model at zero external field, that the Parisi measure μ_β has support exactly [0,q_β], has a C^∞ density on [0,q_β), and has a single atom at q_β. The proof combines the Jagannath-Tobasco variational characterization with stochastic calculus and heat-semigroup/Cole-Hopf representations. It first shows that 0 is an accumulation point of the support, then that no gap (a,b) with a>0 can exist, and finally that the right endpoint q_β is an atom. The argument relies on a finite-cascade differential invariant (Prop. 3.6 and Prop. 3.7), a crossing property for Γ'' (Prop. 4.1 and Prop. 9.1), Gaussian estimates for the transformed density (Prop. 8.1), and log-concavity at q_β (Prop. 9.3).

Significance. If correct, this is a major breakthrough: it gives the complete structure of the Parisi measure for the SK model at all temperatures below the critical point, extending Zhou's near-critical result to every β>1. The proof is detailed and internally structured, with all main estimates proved in dedicated lemmas and no free parameters. It uses external variational characterizations and regularity theorems as inputs rather than assuming the conclusion. The most delicate point is Proposition 8.1, whose uniform Gaussian bounds and slope-coordinate estimates are load-bearing for the gap-crossing argument; I traced the main steps and did not find a concrete failure, but the density of the argument means the community should scrutinize this section carefully. The manuscript is not machine-checked, and the proof relies on imported results (notably [2], [7], and Talagrand's theorem), but these are standard tools in the field.

minor comments (4)

[Throughout] The title contains a typo ('SYMMETR Y' should be 'SYMMETRY'). Also, the plain-text rendering of quantities such as K_B and fractions like x/s is ambiguous in several displayed equations (e.g., Eq. (4.20) and Eq. (4.30)); the published version should use unambiguous notation with explicit subscripts and fractions.
[Section 4, Eq. (4.20)-(4.36)] The definitions of N, R_1, R_0 and the differentiation identities are dense. A short notation table or a sentence clarifying that N = x/s + K_B (where K_B is the slope-derivative of K) would greatly help the reader. In particular, Eqs. (4.24) and (4.36) rely on this convention and are easy to misread.
[Proposition 8.1] This proposition is the technical heart of the paper but is very compressed. In particular, the proof of the two-sided Gaussian bounds (8.10) and the exponential-growth bounds (8.16) could be expanded slightly to make explicit where the assumption a>0 is used. This would help readers verify the uniform estimates that underpin Proposition 9.1.
[References] Reference [13] is cited as forthcoming in CPAM with page numbers; please confirm the final bibliographic data. Also, the paper would benefit from a remark connecting the notation Γ to the existing literature (e.g., Auffinger-Chen's self-consistency function) to avoid confusion.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity identified: the proof derives the Parisi-measure structure from external variational characterizations and self-contained analytic estimates, with no fitted parameter or self-citation chain.

full rationale

Walking the derivation chain, I find no circular step. The paper does not fit any parameter to a subset of data and then relabel it as a prediction; no equation is equivalent by construction to the conclusion of Theorem 1.1. The load-bearing inputs are external theorems with stated assumptions independent of the target result: Talagrand's Parisi formula [10], Auffinger-Chen uniqueness and regularity results [2,3], and the Jagannath-Tobasco variational characterization and self-consistency conditions [6,7]. Zhou's near-critical result [13] is cited as background/context and is not used as a premise in the proof. The internal proof proceeds by contradiction: assuming a support gap, it develops finite-cascade Cole-Hopf invariants (Prop. 3.6), extends them by approximation to arbitrary Parisi boundary data (Prop. 3.7), derives crossing properties (Prop. 4.1, Prop. 9.1), and combines them with endpoint variational conditions. These propositions are proved within the paper from PDE bounds, Ito calculus, and Brownian-bridge representations. The delicate uniform Gaussian bounds in Proposition 8.1 are derived from an explicit bridge formula and tail estimates, not imported from the theorem being proved. The only noted fragility, that the uniform gap estimates could fail near the right endpoint, is a technical correctness risk, not a circularity. Thus the proof is self-contained relative to external benchmarks and deserves a score of 0.

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

No free parameters are fitted: β is the physical parameter and qβ, cβ, ρβ are constructed. The paper introduces mathematical objects (transformed density r, slope-coordinate curvature C(r,B)) but these are proof devices, not new physical entities. The central claim rests on known external theorems from [2,3,7,10] and standard analysis.

assumptions (4)

domain assumption Parisi variational characterization and self-consistency conditions from Jagannath-Tobasco [7] (Prop 2.1, Lemma 2.2).
The proof uses [7, Cor. 3.6] to identify support points with minimizers of G and [7, Prop. 1.1] for Γ(q)=q and β²E C²≤1. These are imported as established theorems.
domain assumption Auffinger-Chen regularity and support theorems [2].
0∈supp μβ, boundedness of u and its derivatives, uniform derivative convergence, and the final smooth-density statement all rely on [2, Theorems 1-2].
domain assumption Talagrand's Parisi formula and uniqueness of the minimizer [10,3].
The existence and uniqueness of the Parisi measure μβ and the variational characterization of the free energy are taken from the cited literature.
standard math Itô-Krylov formula and standard SDE/PDE regularity.
Stochastic differentiation identities in Sections 2, 4, and 7 rely on Itô-Krylov calculus and parabolic regularity, treated as standard background.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Full replica symmetry breaking in the Sherrington-Kirkpatrick model." pith.science (2026). https://pith.science/paper/5BMGDEZX

@misc{pith2026260711756,
  author       = {Pith},
  title        = {Pith review of: Full replica symmetry breaking in the Sherrington-Kirkpatrick model},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5BMGDEZX}},
  note         = {Machine review of arXiv:2607.11756}
}

abstract

We prove that, at zero external field and for every inverse temperature $\beta>1$, the Parisi measure of the Sherrington-Kirkpatrick model is supported on a single interval $[0,q_\beta]$, has a smooth density on $[0,q_\beta)$, and has a single atom at $q_\beta$. The proof first establishes that zero is an accumulation point of the support. By direct analysis of the Gaussian Cole-Hopf solutions associated with finitely supported measures, followed by an approximation argument, we show that a positive gap separating zero from the rest of the support contradicts the variational characterization of the Parisi measure established by Jagannath and Tobasco (2017). We then derive a monotonicity constraint on a quantity appearing in the self-consistency conditions arising from the Parisi variational criteria, which is incompatible with the existence of any gap in the support. Finally, log-concavity of a transformed probability density associated with the optimal diffusion implies that the maximal support point carries an atom, while the regularity result of Auffinger and Chen (2015) excludes the possibility of other singular components.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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.
FRSB in the SK spin glass: convergence to full-interval support at zero temperature
math.PR 2026-07 conditional novelty 8.0 of 10 partial

The zero-temperature Parisi measure for the SK spin glass is absolutely continuous with smooth density and support [0,1), and the positive-temperature endpoint q_β → 1 at rate Θ(β^−2).

Reference graph

Works this paper leans on

13 extracted references · 2 linked inside Pith · cited by 2 Pith papers

[2]

On properties of Parisi measures.Probability Theory and Related Fields, 161:817–850, 2015

Antonio Auffinger and Wei-Kuo Chen. On properties of Parisi measures.Probability Theory and Related Fields, 161:817–850, 2015

2015
[7]

Some properties of the phase diagram for mixed p-spin glasses.Probability Theory and Related Fields, 167:615–672, 2017

Aukosh Jagannath and Ian Tobasco. Some properties of the phase diagram for mixed p-spin glasses.Probability Theory and Related Fields, 167:615–672, 2017

2017
[1]

Lebowitz, and David Ruelle

Michael Aizenman, Joel L. Lebowitz, and David Ruelle. Some rigorous results on the Sherrington–Kirkpatrick spin glass model.Communications in Mathematical Physics, 112(1):3–20, 1987

1987
[3]

The Parisi formula has a unique minimizer.Communications in Mathe- matical Physics, 335:1429–1444, 2015

Antonio Auffinger and Wei-Kuo Chen. The Parisi formula has a unique minimizer.Communications in Mathe- matical Physics, 335:1429–1444, 2015

2015
[4]

The SK model is infinite step replica symmetry breaking at zero temperature.Communications on Pure and Applied Mathematics, 73:921–943, 2020

Antonio Auffinger, Wei-Kuo Chen, and Qiang Zeng. The SK model is infinite step replica symmetry breaking at zero temperature.Communications on Pure and Applied Mathematics, 73:921–943, 2020

2020
[5]

K. D. Elworthy, A. Truman, and H. Z. Zhao. Generalized itˆ o formulae and space-time Lebesgue–Stieltjes integrals of local times.S´ eminaire de Probabilit´ es, 40:117–136, 2007. Corrected version available as arXiv:math/0505195

arXiv 2007
[6]

A dynamic programming approach to the Parisi functional.Proceedings of the American Mathematical Society, 144:3135–3150, 2016

Aukosh Jagannath and Ian Tobasco. A dynamic programming approach to the Parisi functional.Proceedings of the American Mathematical Society, 144:3135–3150, 2016

2016
[8]

Infinite number of order parameters for spin-glasses.Physical Review Letters, 43(23):1754–1756, 1979

Giorgio Parisi. Infinite number of order parameters for spin-glasses.Physical Review Letters, 43(23):1754–1756, 1979

1979

Show all 13 references

[9]

A sequence of approximated solutions to the S–K model for spin glasses.Journal of Physics A: Mathematical and General, 13(4):L115–L121, 1980

Giorgio Parisi. A sequence of approximated solutions to the S–K model for spin glasses.Journal of Physics A: Mathematical and General, 13(4):L115–L121, 1980

1980
[10]

The Parisi formula.Annals of Mathematics, 163:221–263, 2006

Michel Talagrand. The Parisi formula.Annals of Mathematics, 163:221–263, 2006

2006
[11]

About the Almeida–Thouless transition line in the Sherrington–Kirkpatrick mean-field spin glass model.Europhysics Letters, 60(5):764–767, 2002

Fabio Toninelli. About the Almeida–Thouless transition line in the Sherrington–Kirkpatrick mean-field spin glass model.Europhysics Letters, 60(5):764–767, 2002

2002
[12]

On the Gardner transition in the Ising purep-spin glass, 2024

Yuxin Zhou. On the Gardner transition in the Ising purep-spin glass, 2024. arXiv:2408.14630

2024 arXiv
[13]

Existence of full replica symmetry breaking for the Sherrington–Kirkpatrick model at low temperature

Yuxin Zhou. Existence of full replica symmetry breaking for the Sherrington–Kirkpatrick model at low temperature. Communications on Pure and Applied Mathematics, 79(7):1746–1770, 2026

2026

Pith tools

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

[1] [2]

On properties of Parisi measures.Probability Theory and Related Fields, 161:817–850, 2015

Antonio Auffinger and Wei-Kuo Chen. On properties of Parisi measures.Probability Theory and Related Fields, 161:817–850, 2015

2015

[2] [7]

Some properties of the phase diagram for mixed p-spin glasses.Probability Theory and Related Fields, 167:615–672, 2017

Aukosh Jagannath and Ian Tobasco. Some properties of the phase diagram for mixed p-spin glasses.Probability Theory and Related Fields, 167:615–672, 2017

2017

[3] [1]

Lebowitz, and David Ruelle

Michael Aizenman, Joel L. Lebowitz, and David Ruelle. Some rigorous results on the Sherrington–Kirkpatrick spin glass model.Communications in Mathematical Physics, 112(1):3–20, 1987

1987

[4] [3]

The Parisi formula has a unique minimizer.Communications in Mathe- matical Physics, 335:1429–1444, 2015

Antonio Auffinger and Wei-Kuo Chen. The Parisi formula has a unique minimizer.Communications in Mathe- matical Physics, 335:1429–1444, 2015

2015

[5] [4]

The SK model is infinite step replica symmetry breaking at zero temperature.Communications on Pure and Applied Mathematics, 73:921–943, 2020

Antonio Auffinger, Wei-Kuo Chen, and Qiang Zeng. The SK model is infinite step replica symmetry breaking at zero temperature.Communications on Pure and Applied Mathematics, 73:921–943, 2020

2020

[6] [5]

K. D. Elworthy, A. Truman, and H. Z. Zhao. Generalized itˆ o formulae and space-time Lebesgue–Stieltjes integrals of local times.S´ eminaire de Probabilit´ es, 40:117–136, 2007. Corrected version available as arXiv:math/0505195

arXiv 2007

[7] [6]

A dynamic programming approach to the Parisi functional.Proceedings of the American Mathematical Society, 144:3135–3150, 2016

Aukosh Jagannath and Ian Tobasco. A dynamic programming approach to the Parisi functional.Proceedings of the American Mathematical Society, 144:3135–3150, 2016

2016

[8] [8]

Infinite number of order parameters for spin-glasses.Physical Review Letters, 43(23):1754–1756, 1979

Giorgio Parisi. Infinite number of order parameters for spin-glasses.Physical Review Letters, 43(23):1754–1756, 1979

1979