Pith. sign in

REVIEW 4 minor 1 cited by

At critical temperature the SK free energy fluctuates like (1/6) log N and is Gaussian, while overlaps live at scale N^{-1/3}.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.5

2026-07-12 08:21 UTC pith:BBDACMUI

load-bearing objection They close Aspelmeier's variance and Talagrand's critical-overlap problems with a clean critical reweighting argument that actually works.

arxiv 2607.02172 v2 pith:BBDACMUI submitted 2026-07-02 math.PR cond-mat.dis-nnmath-phmath.MP

Fluctuations of the Sherrington-Kirkpatrick free energy at critical temperature

Hang Du , Brice Huang This is my paper
classification math.PR cond-mat.dis-nnmath-phmath.MP MSC 82B4460K3560F0582B27
keywords Sherrington–Kirkpatrick modelcritical temperaturefree-energy fluctuationsoverlap scaleBBP edgespherical spin glassreweighted moments
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The Sherrington–Kirkpatrick spin glass is a classic model of disordered magnets. At high temperature its free energy has constant-size Gaussian fluctuations; below the critical temperature the scale is expected to diverge and remains open. This paper settles the critical case β = 1. It proves that the free-energy variance is exactly (1/6) log N plus a bounded error, that the centered and scaled free energy converges to a standard normal, and that the typical squared overlap of two Gibbs samples is of order N^{-2/3}, with an exponential-moment bound at the scale N^{-1/3}. The argument works by reweighting the Ising partition function against its spherical counterpart; the spherical model is already known to have the same fluctuation scale, and the reweighting ratio concentrates. After reweighting, the overlap moments reduce to a one-dimensional integral whose localization scale is fixed by the BBP critical edge of spiked GOE matrices. The same comparison also transfers the variance and overlap statements back to the spherical model.

Core claim

At the critical inverse temperature β = 1 the free energy F_N of the Sherrington–Kirkpatrick model satisfies Var(F_N) = (1/6) log N + O(1) and, after centering by N/4 − (log N)/12 and scaling by (log N / 6)^{1/2}, converges in distribution to N(0,1). Simultaneously the annealed two-replica overlap obeys E⟨R_{1,2}^{2}⟩ ≍ N^{-2/3} and admits a uniform exponential moment E⟨exp(c N^{1/3}|R_{1,2}|)⟩ ≤ 2.

What carries the argument

Critical reweighted second-moment method: the ratio X_N = Z_N / Z_N^{sph} satisfies E[(X_N − 1)^{2}] ≪ N^{-1/3}. After this reweighting, overlap moments become one-dimensional expectations of an explicit kernel J(q) that is localized on the BBP scale |q| ∼ N^{-1/3} by log-concavity plus a one-point lower bound J(0) ≳ N^{-1/6}.

Load-bearing premise

The argument rests on a one-point lower bound for the spherical two-replica ratio at zero overlap; if that lower bound is false the localization scale and every subsequent exponent collapse.

What would settle it

A rigorous upper bound showing that the spherical two-replica ratio at zero overlap is o(N^{-1/6}) with high probability, or a direct computation of Var(F_N) that yields a coefficient different from 1/6.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 4 minor

Summary. The paper studies the Sherrington–Kirkpatrick model at the critical inverse temperature β=1 with zero field. It proves that the free energy satisfies Var(F_N)=(1/6)log N+O(1) and that the centered and (log N/6)^{-1/2}-scaled free energy converges in distribution to N(0,1) (Theorem 1.3). It also establishes the critical overlap scale E⟨R_{1,2}^2⟩≍N^{-2/3} together with a uniform exponential moment E⟨exp(c N^{1/3}|R_{1,2}|)⟩≤2 (Theorem 1.4), confirming predictions of Aspelmeier and Talagrand. The argument proceeds by reweighting the Ising partition function by the spherical one, obtaining an exact one-dimensional identity for reweighted overlap moments (Lemma 2.1), proving log-concavity of the kernel K (Lemma 3.3), establishing a one-point lower bound J(0)≳N^{-1/6} via contour integrals and GOE edge estimates (Proposition 3.1/Section 4), and transferring the resulting localization scale |q|≲N^{-1/3} to annealed moments and free-energy variance via cavity and Chatterjee’s integral formula.

Significance. The results settle long-standing conjectures on free-energy fluctuations and the two-replica overlap at the SK critical point, and they give the first rigorous confirmation of Aspelmeier’s 1/6 log N variance prediction exactly at β=1. The critical reweighting method, which uses the spherical partition function as an explanatory variable with diverging variance, is a genuine conceptual advance over classical small-subgraph conditioning and cleanly links the Ising model to the BBP edge. The proofs are self-contained once standard GOE edge tightness and spherical CLTs are imported; concurrent weaker bounds of Schertzer and the near-critical work of Dey–Kang are properly cited. The paper therefore constitutes a substantial and lasting contribution to the mathematical theory of mean-field spin glasses.

minor comments (4)
  1. In the introduction (p. 2–3) the concurrent works of Dey–Kang and Schertzer are mentioned only briefly; a short paragraph comparing the precise ranges of β and the strength of the variance bounds would help the reader place the contribution.
  2. Lemma 3.9 and the subsequent sphere-to-cube comparison in §3.3 use the o(N^{-1/4}) window; a one-line remark that the BBP scale N^{-1/3} is comfortably inside this window would make the localization argument easier to follow.
  3. The constant ε=0.01 appears only as a technical buffer in Proposition 5.1; stating once that any sufficiently small positive ε works would remove any impression that the value is special.
  4. A few typographical inconsistencies remain (e.g., “expp” versus “exp”, occasional missing spaces around ≔). A final copy-edit pass would polish the manuscript.

Circularity Check

0 steps flagged

No significant circularity: variance/overlap scales follow from independent RMT one-point bound plus algebraic reweighting and log-concave localization, not from fitted parameters or self-referential definitions.

full rationale

The derivation chain is self-contained against external benchmarks. The load-bearing one-point lower bound J(0) ≳ N^{-1/6} (Prop. 3.1/4.1) is proved in full via contour-integral representations of the spherical partition functions (Lemmas 4.2–4.3), Fourier-density interpretations, GOE edge tightness (AGZ, Landon), and a compactness argument for the top-K quadratic-form density (Lemmas 4.6–4.7); none of these statements encode the target SK variance or overlap scale. Log-concavity of K (Lemma 3.3, via Prékopa–Leindler) then localizes the reweighted integrand at the BBP scale |q| ≲ N^{-1/3}, after which the sphere-to-cube comparison (Thm. 1.6, Prop. 3.2) and Chatterjee cavity integral (Fact 5.12 + Prop. 5.7 from DK26) yield the claimed exponents by direct estimation. Spherical free-energy CLTs (Landon, Baik–Lee) and GOE edge results are imported as external theorems whose hypotheses do not contain Var(F_N) or E⟨R_{1,2}^2⟩. No parameter is fitted to data and then re-predicted; no uniqueness theorem is imported from the authors’ prior work; the reweighting identity (Lemma 2.1) is an exact Gaussian change-of-measure identity. Concurrent weaker bounds (Schertzer, Dey–Kang) are cited only for context. Score 0 is therefore the honest finding.

Axiom & Free-Parameter Ledger

1 free parameters · 6 axioms · 2 invented entities

The paper is a rigorous derivation inside classical probability and random-matrix theory. It imports standard GOE edge and spherical-SK results as black boxes and introduces only technical auxiliary objects (the reweighting ratio X_N and the kernels J, K) that are defined by explicit formulas, not postulated physical entities. No numerical parameters are fitted to data.

free parameters (1)
  • ε = 0.01
    A fixed small positive constant used only to absorb lower-order error terms in the annealed-overlap upper bound (Proposition 5.1); it is not fitted and does not enter the leading 1/6 coefficient.
axioms (6)
  • domain assumption Spherical SK free-energy CLT at criticality (Landon 2022) and contour-integral formula for Z_sph (Baik–Lee)
    Used as the known fluctuation law of the reweighting variable and as the starting point for the two-replica contour analysis in §4.
  • domain assumption GOE edge tightness, eigenvalue rigidity, and edge counting estimates (AGZ, EYY, Landon–Sosoe)
    Supply the high-probability control on the top gaps a_k = γ − λ_k needed for the density bounds on Ξ_W and Ξ_W,2 in Propositions 4.4–4.5.
  • domain assumption Chatterjee’s integral formula Var(F_N) = (N/2) ∫_0^1 E⟨R_{1,2}²⟩_t dt and monotonicity of correlated overlaps
    Converts the annealed overlap bounds into the free-energy variance statement in §5.3.
  • domain assumption Cavity estimates for correlated overlaps (Dey–Kang, specialized to β = 1)
    Provide the two-sided comparison between E⟨R²⟩_t and the ordinary moments E⟨R²⟩, E⟨R⁴⟩ used in Proposition 5.7.
  • standard math Prékopa–Leindler theorem and log-concavity of the map M ↦ (Z_sph(M))^{-2}
    Establishes that K(q) is log-concave (Lemma 3.3), which drives the soft localization argument.
  • domain assumption Chen’s Gaussian convexity concentration for medians of convex Lipschitz functions of Gaussians
    Controls the lower tail of F_N (and hence of X_N) needed to pass from reweighted to annealed overlap moments.
invented entities (2)
  • Critical reweighting ratio X_N = Z_N / Z_sph_N independent evidence
    purpose: Absorbs the diverging quenched fluctuations so that reweighted second moments remain tractable at criticality
    Defined by an explicit ratio of partition functions; its L² closeness to 1 is proved, not postulated.
  • Overlap kernels J(q) and K(q) independent evidence
    purpose: Reduce reweighted multi-replica moments to a one-dimensional integral whose localization scale is governed by the BBP edge
    Explicitly defined via Gaussian change of measure and rotational invariance; not free parameters.

pith-pipeline@v1.1.0-grok45 · 45609 in / 3440 out tokens · 36869 ms · 2026-07-12T08:21:36.746613+00:00 · methodology

0 comments
read the original abstract

We consider the Sherrington-Kirkpatrick spin glass model at the critical inverse temperature $\beta = 1$ with zero external field. We prove that the free energy $F_N = F_{N,\beta=1}$ of this model has variance \[ \mathrm{Var}(F_N) = \frac16 \log N + O(1)\,, \] confirming a physics prediction of Aspelmeier \cite{aspelmeier2008free}, and that the centered and scaled $F_N$ satisfies a Gaussian CLT. We also identify the critical two-replica overlap scale, proving \[ \mathbb{E} \langle R_{1,2}^2\rangle \asymp N^{-2/3}\,, \] as conjectured by Talagrand \cite{talagrand2011mean2}, together with a uniform exponential moment bound for $N^{1/3} |R_{1,2}|$. The key input is a critical reweighted moment method, in the spirit of the ``small subgraph conditioning'' technique from probabilistic combinatorics, but capable of capturing diverging fluctuations. Through this reweighting, we relate the critical SK model to the BBP critical edge, which determines the overlap and fluctuation scales.

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

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

  1. Moderate Deviations for Gaussian Maxima and an Entropy Proof of Critical SK Free Energy Fluctuations

    math.PR 2026-07 accept novelty 7.0

    Sharp moderate-deviation exponent κ²/(2−α²) for Gaussian maxima above the expected maximum, plus an entropy/I-MMSE/information-percolation proof of the critical SK variance (1/6)log N.

Reference graph

Works this paper leans on

51 extracted references · 3 linked inside Pith · cited by 1 Pith paper

  1. [1]

    and Klochkov, Yegor and Onatski, Alexei and Pavlyshyn, Damian , journal=

    Johnstone, Iain M. and Klochkov, Yegor and Onatski, Alexei and Pavlyshyn, Damian , journal=. An edge

  2. [2]

    Aspelmeier, Timo , title=. Phys. Rev. Lett. , volume=

  3. [3]

    Parisi, Giorgio and Rizzo, Tommaso , title=. Phys. Rev. B , volume=

  4. [4]

    ALEA Lat

    Chen, Wei-Kuo and Lam, Wai-Kit , title=. ALEA Lat. Am. J. Probab. Math. Stat. , volume=

  5. [5]

    and Kang, Taegu , title=

    Dey, Partha S. and Kang, Taegu , title=. arXiv preprint arXiv:2603.05636 , year=

    arXiv

  6. [6]

    Landon, Benjamin , title=. J. Math. Phys. , volume=

  7. [7]

    and Klochkov, Yegor and Onatski, Alexei and Pavlyshyn, Damian , title=

    Johnstone, Iain M. and Klochkov, Yegor and Onatski, Alexei and Pavlyshyn, Damian , title=. J. Stat. Phys. , volume=

  8. [8]

    Free energy fluctuations of the bipartite spherical

    Collins. Free energy fluctuations of the bipartite spherical. Ann. Henri Poincar\'e , volume=

  9. [9]

    Order of fluctuations of the free energy in the positive semi-definite

    Collins. Order of fluctuations of the free energy in the positive semi-definite. arXiv preprint arXiv:2501.11732 , year=

    Pith/arXiv arXiv

  10. [10]

    arXiv preprint arXiv:2603.28702 , year=

    Prodromidis, Kyprianos-Iason and Sly, Allan , title=. arXiv preprint arXiv:2603.28702 , year=

    arXiv

  11. [11]

    and Ruelle, David , title =

    Aizenman, Michael and Lebowitz, Joel L. and Ruelle, David , title =. Comm. Math. Phys. , volume =

  12. [12]

    Comets, Francis and Neveu, Jacques , title =. Comm. Math. Phys. , volume =

  13. [13]

    Talagrand, Michel , title =

  14. [14]

    Talagrand, Michel , title =. Ann. Math. , volume =

  15. [15]

    Panchenko, Dmitry , title =

  16. [16]

    Baik, Jinho and Lee, Ji Oon , title =. J. Stat. Phys. , volume =

  17. [17]

    Chatterjee, Sourav , title =

  18. [18]

    arXiv preprint arXiv:0907.3381 , year =

    Chatterjee, Sourav , title =. arXiv preprint arXiv:0907.3381 , year =

    Pith/arXiv arXiv

  19. [19]

    Sherrington, David and Kirkpatrick, Scott , title =. Phys. Rev. Lett. , volume =

  20. [20]

    Parisi, Giorgio , title =. Phys. Rev. Lett. , volume =

  21. [21]

    Panchenko, Dmitry , title =. Ann. Math. , volume =

  22. [22]

    Spin Glass Theory and Beyond: An Introduction to the Replica Method and Its Applications , publisher =

    M. Spin Glass Theory and Beyond: An Introduction to the Replica Method and Its Applications , publisher =

  23. [23]

    Ruelle, David , title =. Comm. Math. Phys. , volume =

  24. [24]

    General properties of overlap probability distributions in disordered spin systems

    Ghirlanda, Stefano and Guerra, Francesco , journal=. General properties of overlap probability distributions in disordered spin systems

  25. [25]

    , title =

    Aizenman, Michael and Sims, Robert and Starr, Shannon L. , title =. Phys. Rev. B , volume =

  26. [26]

    Guerra, Francesco , title =. Comm. Math. Phys. , volume =

  27. [27]

    Crisanti, Andrea and Sommers, H-J , title =. Zeit. Phys. B , volume =

  28. [28]

    Talagrand, Michel , title =. Probab. Theory Rel. Fields , volume =

  29. [29]

    and Wu, Qiang , journal=

    Dey, Partha S. and Wu, Qiang , journal=. Fluctuation results for multi-species

  30. [30]

    Free energy of bipartite spherical

    Baik, Jinho and Lee, Ji Oon , journal=. Free energy of bipartite spherical

  31. [31]

    and Wormald, Nicholas C

    Robinson, Robert W. and Wormald, Nicholas C. , journal=. Almost all cubic graphs are

  32. [32]

    and Wormald, Nicholas C

    Robinson, Robert W. and Wormald, Nicholas C. , journal=. Almost all regular graphs are

  33. [33]

    On the hardness of sampling independent sets beyond the tree threshold , author=. Probab. Theory Rel. Fields , volume=

  34. [34]

    On the chromatic number of random d -regular graphs , author=. Adv. Math. , volume=

  35. [35]

    Proof of the contiguity conjecture and lognormal limit for the symmetric perceptron , author=. Proc. 62nd FOCS , pages=

  36. [36]

    arXiv preprint arXiv:2507.15616 , year=

    On zeros and algorithms for disordered systems: mean-field spin glasses , author=. arXiv preprint arXiv:2507.15616 , year=

    arXiv

  37. [37]

    Random regular graphs: asymptotic distributions and contiguity , author=. Combin. Probab. Comp. , volume=

  38. [38]

    Perfect matchings in random r -regular, s -uniform hypergraphs , author=. Combin. Probab. Comp. , volume=

  39. [39]

    Fluctuations of the

    Coja. Fluctuations of the. arXiv preprint arXiv:2601.08590 , year=

    arXiv

  40. [40]

    Fabian, Christian and Loick, Philipp , journal=. The

  41. [41]

    arXiv preprint arXiv:2311.08351 , year=

    A gaussian convexity for logarithmic moment generating functions with applications in spin glasses , author=. arXiv preprint arXiv:2311.08351 , year=

    Pith/arXiv arXiv

  42. [42]

    Phase transition of the largest eigenvalue for nonnull complex sample covariance matrices , journal =

    Baik, Jinho and Ben. Phase transition of the largest eigenvalue for nonnull complex sample covariance matrices , journal =

  43. [43]

    The largest eigenvalue of small rank perturbations of

    P. The largest eigenvalue of small rank perturbations of. Probab. Theory Rel. Fields , volume =

  44. [44]

    Limits of spiked random matrices

    Bloemendal, Alex and Vir. Limits of spiked random matrices. Probab. Theory Rel. Fields , volume =

  45. [45]

    Limits of spiked random matrices

    Bloemendal, Alex and Vir. Limits of spiked random matrices. Ann. Probab. , volume =

  46. [46]

    Rigidity of Eigenvalues of Generalized

    Erd. Rigidity of Eigenvalues of Generalized. Adv. Math. , volume =

  47. [47]

    The order of free energy fluctuations in the critical

    Schertzer, Adrien , journal =. The order of free energy fluctuations in the critical

  48. [48]

    2010 , publisher=

    An Introduction to Random Matrices , author=. 2010 , publisher=

    2010

  49. [49]

    Fluctuations of the overlap at low temperature in the 2 -spin spherical

    Landon, Benjamin and Sosoe, Philippe , journal=. Fluctuations of the overlap at low temperature in the 2 -spin spherical

  50. [50]

    Analysis on Symmetric Cones , series =

    Jacques Faraut and Adam Kor. Analysis on Symmetric Cones , series =. 1994 , isbn =

    1994

  51. [51]

    David Vernon Widder , title =