Recognition: unknown
The Legendre structure of the TAP complexity for the Ising spin glass
Pith reviewed 2026-05-09 23:07 UTC · model grok-4.3
The pith
A Kac-Rice computation with supersymmetric ansatz yields a lower bound on annealed TAP complexity matching the Legendre transform of the Parisi variational functional with zero-overlap mass constraint.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Using a Kac-Rice computation combined with a supersymmetric ansatz, we establish a lower bound on the annealed complexity that matches the prediction of the first conjecture. We further extend the analysis to a conditional setting in which a hierarchical skeleton of ancestors is prescribed, providing additional evidence in support of the second and third conjectures.
What carries the argument
The generalized TAP functional of Chen, Panchenko and Subag, whose critical points are counted by a Kac-Rice formula equipped with a supersymmetric ansatz that reduces the complexity computation to a variational problem linked to the Parisi formula.
If this is right
- The annealed number of TAP critical points is at least the value of the Legendre transform of the Parisi-derived functional constrained by overlap mass at zero.
- The conditional complexity with a prescribed ancestor skeleton obeys the same variational structure, supporting the quenched conjecture.
- States at any fixed non-equilibrium free-energy level are organized ultrametrically, with ancestor states at other levels appearing only in subexponential number.
- Enumeration of TAP states is governed by the same Parisi large-deviation rate function that controls the partition function.
Where Pith is reading between the lines
- Proving a matching upper bound would establish the exact annealed complexity and close the link to the Parisi formula.
- The same Legendre structure may govern complexity in other mean-field disordered systems whose overlap distributions satisfy similar constraints.
- The hierarchical-skeleton technique could be adapted to compute dynamical quantities such as barrier heights between states.
Load-bearing premise
The supersymmetric ansatz accurately represents the contribution of the Kac-Rice integral for the generalized TAP functional with mixed p-spin covariance.
What would settle it
Numerical enumeration of critical points of the TAP functional for a large but finite system with a specific three-spin interaction and direct comparison of the observed logarithmic growth rate against the value of the predicted Legendre transform.
Figures
read the original abstract
We study the complexity of the Thouless-Anderson-Palmer (TAP) free energy for Ising spin glasses with a general mixed p-spin covariance, working with the generalized TAP functional of Chen, Panchenko, and Subag. We formulate three conjectures about the complexity (i.e. number of critical points). First, the annealed complexity is given by the Legendre transform of a variational functional constructed from the Parisi formula subject to a constraint on the overlap mass at zero, thereby establishing a precise link between the enumeration of TAP states and the large-deviation rate function of the partition function. Second, the quenched complexity is governed by the Legendre transform of a closely related functional in which the mass up to -- but not including -- the supremum of the support is constrained. Third, TAP states at any non-equilibrium free-energy level are organized into an ultrametric hierarchy, with ancestor states at other levels appearing only in subexponential number. Using a Kac-Rice computation combined with a supersymmetric ansatz, we establish a lower bound on the annealed complexity that matches the prediction of the first conjecture. We further extend the analysis to a conditional setting in which a hierarchical "skeleton" of ancestors is prescribed, providing additional evidence in support of the second and third conjectures.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proposes three conjectures on the complexity of critical points of the generalized TAP functional for mixed p-spin Ising spin glasses. The first conjecture states that the annealed complexity is given by the Legendre transform of a variational functional from the Parisi formula with a zero-mass constraint. The second concerns the quenched complexity with a modified constraint, and the third posits an ultrametric hierarchy of TAP states. The authors prove a lower bound on the annealed complexity matching the first conjecture using a Kac-Rice computation combined with a supersymmetric ansatz, and provide conditional results supporting the other conjectures.
Significance. This result provides rigorous evidence for the conjectured link between TAP complexity and the Parisi formula, which is a significant step in understanding the structure of the free-energy landscape in spin glasses. The Kac-Rice approach with supersymmetry is innovative in this setting and, if the ansatz can be justified more broadly, could lead to proofs of the quenched and hierarchical conjectures. The work builds on the independent Parisi formula without circularity and supplies the first matching lower bound for the annealed case.
major comments (1)
- [Kac-Rice computation with supersymmetric ansatz] Kac-Rice computation (as described following the statement of the main result): the supersymmetric ansatz is used to evaluate the expectation of the absolute determinant of the Hessian (or its supersymmetric extension) over the critical-point measure. Its validity for the generalized TAP functional with mixed p-spin covariance is not derived and is load-bearing for the exact match to the conjectured annealed complexity; the manuscript notes this reproduces the Legendre transform but leaves open whether it holds identically beyond pure p-spin or high-temperature regimes.
minor comments (2)
- The introduction could include an explicit equation for the zero-mass constraint to clarify its role in the variational functional.
- Add a brief remark in the abstract that the lower bound relies on the supersymmetric ansatz.
Simulated Author's Rebuttal
We thank the referee for their careful reading, positive assessment of the significance of our results, and constructive feedback. We address the major comment below.
read point-by-point responses
-
Referee: Kac-Rice computation (as described following the statement of the main result): the supersymmetric ansatz is used to evaluate the expectation of the absolute determinant of the Hessian (or its supersymmetric extension) over the critical-point measure. Its validity for the generalized TAP functional with mixed p-spin covariance is not derived and is load-bearing for the exact match to the conjectured annealed complexity; the manuscript notes this reproduces the Legendre transform but leaves open whether it holds identically beyond pure p-spin or high-temperature regimes.
Authors: We thank the referee for this observation. The supersymmetric ansatz is indeed an assumption in the Kac-Rice computation used to evaluate the expected absolute determinant of the Hessian (or its supersymmetric extension). Its validity has been established in the literature for pure p-spin models and certain high-temperature regimes, but a general derivation for mixed p-spin covariances is not supplied here. The manuscript already notes that the computation reproduces the conjectured Legendre transform under this ansatz while leaving its broader validity open. This conditional lower bound still provides a rigorous matching result supporting the first conjecture, consistent with the approach taken in related complexity calculations. We will revise the manuscript to expand the discussion of the ansatz, its scope, supporting references, and the conditional nature of the lower bound. revision: partial
Circularity Check
Kac-Rice computation with supersymmetric ansatz provides independent lower bound matching conjecture
full rationale
The paper states three conjectures linking TAP complexity to Legendre transforms of functionals built from the Parisi formula (an independent prior result). It then applies the standard Kac-Rice formula to the generalized TAP functional of Chen-Panchenko-Subag, combined with an explicitly invoked supersymmetric ansatz, to derive a lower bound on annealed complexity that equals the first conjecture's prediction. No equation reduces the target quantity to a fitted parameter or self-defined input by construction; the ansatz is presented as a computational tool rather than derived from the conjecture. The Parisi formula and Kac-Rice method supply external structure, and the derivation remains self-contained under the stated assumption without load-bearing self-citations or renaming of known results.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The Parisi formula provides the correct variational expression for the free energy of the spin glass
- standard math The Kac-Rice formula can be applied to count critical points of the TAP functional
Reference graph
Works this paper leans on
-
[1]
Journal of Physics C: Solid State Physics , abstract =
A J Bray and M A Moore , title =. Journal of Physics C: Solid State Physics , abstract =. 1980 , month =. doi:10.1088/0022-3719/13/19/002 , url =
-
[2]
Physical Review B , volume=
The number of solutions of the Thouless-Anderson-Palmer equations for p-spin-interaction spin glasses , author=. Physical Review B , volume=. 1992 , publisher=
1992
-
[3]
Communications on Pure and Applied Mathematics , volume=
Generalized TAP free energy , author=. Communications on Pure and Applied Mathematics , volume=. 2023 , publisher=
2023
-
[4]
Communications in Mathematical Physics , volume=
The generalized TAP free energy II , author=. Communications in Mathematical Physics , volume=. 2021 , publisher=
2021
-
[5]
On the Free Convolution with a Semi-circular Distribution , urldate =
Philippe Biane , journal =. On the Free Convolution with a Semi-circular Distribution , urldate =
-
[6]
arXiv preprint arXiv:2105.05051 , year=
Landscape complexity beyond invariance and the elastic manifold , author=. arXiv preprint arXiv:2105.05051 , year=
-
[7]
Journal of Physics A: Mathematical and General , volume=
Probability density of determinants of random matrices , author=. Journal of Physics A: Mathematical and General , volume=. 2000 , publisher=
2000
-
[8]
Communications on Pure and Applied Mathematics , volume=
Random matrices and complexity of spin glasses , author=. Communications on Pure and Applied Mathematics , volume=. 2013 , publisher=
2013
-
[9]
Physical Review B , volume=
Complexity in the Sherrington-Kirkpatrick model in the annealed approximation , author=. Physical Review B , volume=. 2003 , publisher=
2003
-
[10]
Canadian Journal of Mathematics , volume=
The Parisi formula is a Hamilton--Jacobi equation in Wasserstein space , author=. Canadian Journal of Mathematics , volume=. 2022 , publisher=
2022
-
[11]
Extending the
Mourrat, Jean-Christophe and Panchenko, Dmitry , journal=. Extending the
-
[12]
arXiv preprint arXiv:1810.02538 , year=
Large deviations for the largest eigenvalue of the sum of two random matrices , author=. arXiv preprint arXiv:1810.02538 , year=
-
[13]
arXiv preprint arXiv:2105.05000 , year=
Exponential growth of random determinants beyond invariance , author=. arXiv preprint arXiv:2105.05000 , year=
-
[14]
Communications on Pure and Applied Mathematics , volume=
Shattering versus metastability in spin glasses , author=. Communications on Pure and Applied Mathematics , volume=. 2024 , publisher=
2024
-
[15]
Annals of mathematics , pages=
The parisi formula , author=. Annals of mathematics , pages=. 2006 , publisher=
2006
-
[16]
Communications in mathematical physics , volume=
Broken replica symmetry bounds in the mean field spin glass model , author=. Communications in mathematical physics , volume=. 2003 , publisher=
2003
-
[17]
Annals of Mathematics , pages=
The Parisi ultrametricity conjecture , author=. Annals of Mathematics , pages=. 2013 , publisher=
2013
-
[18]
Chen, Wei-Kuo , journal=. The
-
[19]
Panchenko, Dmitry , TITLE =. Ann. Probab. , FJOURNAL =. 2018 , NUMBER =. doi:10.1214/17-AOP1194 , URL =
-
[20]
Inventiones mathematicae , volume=
The geometry of the Gibbs measure of pure spherical spin glasses , author=. Inventiones mathematicae , volume=. 2017 , publisher=
2017
-
[21]
arXiv preprint arXiv:2306.02402 , year=
Emergence of near-TAP free energy functional in the SK model at high temperature , author=. arXiv preprint arXiv:2306.02402 , year=
-
[22]
Communications in Mathematical Physics , volume=
An iterative construction of solutions of the TAP equations for the Sherrington--Kirkpatrick model , author=. Communications in Mathematical Physics , volume=. 2014 , publisher=
2014
-
[23]
International Conference on Statistical Mechanics of Classical and Disordered Systems , pages=
A Morita type proof of the replica-symmetric formula for SK , author=. International Conference on Statistical Mechanics of Classical and Disordered Systems , pages=. 2018 , organization=
2018
-
[24]
Journal of Mathematical Physics , volume=
The replica symmetric formula for the SK model revisited , author=. Journal of Mathematical Physics , volume=. 2022 , publisher=
2022
-
[25]
Communications in Mathematical Physics , volume=
The TAP--Plefka variational principle for the spherical SK model , author=. Communications in Mathematical Physics , volume=. 2019 , publisher=
2019
-
[26]
arXiv preprint arXiv:2204.00681 , year=
High temperature TAP upper bound for the free energy of mean field spin glasses , author=. arXiv preprint arXiv:2204.00681 , year=
-
[27]
Physical review letters , volume=
Spin-glass complexity , author=. Physical review letters , volume=. 2004 , publisher=
2004
-
[28]
Journal of Physics A: Mathematical and Theoretical , volume=
Counting equilibria in a random non-gradient dynamics with heterogeneous relaxation rates , author=. Journal of Physics A: Mathematical and Theoretical , volume=. 2022 , publisher=
2022
-
[29]
Physical review letters , volume=
Structural glass transition and the entropy of the metastable states , author=. Physical review letters , volume=. 1995 , publisher=
1995
-
[30]
Convergence condition of the TAP equation for the infinite-ranged Ising spin glass model , volume =
Plefka, Timm , year =. Convergence condition of the TAP equation for the infinite-ranged Ising spin glass model , volume =. Journal of Physics A: Mathematical and General , doi =
-
[31]
Journal of Physics A: Mathematical and General , volume=
On supersymmetry breaking in the computation of the complexity , author=. Journal of Physics A: Mathematical and General , volume=. 2004 , publisher=
2004
-
[32]
Large deviations for the largest eigenvalue of rank one deformations of
Ma. Large deviations for the largest eigenvalue of rank one deformations of. Electronic Journal of Probability , volume=
-
[33]
Large deviations for extreme eigenvalues of deformed
McKenna, Benjamin , journal=. Large deviations for extreme eigenvalues of deformed
-
[34]
arXiv preprint arXiv:0907.3381 , year=
Disorder chaos and multiple valleys in spin glasses , author=. arXiv preprint arXiv:0907.3381 , year=
-
[35]
Talagrand, Michel , TITLE =. 2011 , PAGES =. doi:10.1007/978-3-642-15202-3 , URL =
-
[36]
Communications in Mathematical Physics , volume=
Renormalization of the abelian Higgs-Kibble model , author=. Communications in Mathematical Physics , volume=. 1975 , publisher=
1975
-
[37]
Physical Review B , volume=
Complexity in mean-field spin-glass models: Ising p-spin , author=. Physical Review B , volume=. 2005 , publisher=
2005
-
[38]
Journal of Physics A: Mathematical and General , volume=
Coexistence of supersymmetric and supersymmetry-breaking states in spherical spin-glasses , author=. Journal of Physics A: Mathematical and General , volume=. 2004 , publisher=
2004
-
[39]
On the nature of the low-temperature phase in discontinuous mean-field spin glasses , volume =
Montanari, Andrea and Ricci-Tersenghi, Federico , year =. On the nature of the low-temperature phase in discontinuous mean-field spin glasses , volume =. European Physical Journal B , doi =
-
[40]
Communications in Mathematical Physics , volume=
The Parisi formula has a unique minimizer , author=. Communications in Mathematical Physics , volume=. 2015 , publisher=
2015
-
[41]
Annals of Probability , year=
A variational representation for certain functionals of Brownian motion , author=. Annals of Probability , year=
-
[42]
Annals of Probability , volume=
Phase transition of the largest eigenvalue for nonnull complex sample covariance matrices , author=. Annals of Probability , volume=
-
[43]
Journal of mathematical physics , volume=
Concentration of the complexity of spherical pure p-spin models at arbitrary energies , author=. Journal of mathematical physics , volume=. 2021 , publisher=
2021
-
[44]
Bounds for the Determinant of the Sum of Hermitian Matrices , urldate =
Miroslav Fiedler , journal =. Bounds for the Determinant of the Sum of Hermitian Matrices , urldate =
-
[45]
and Guionnet, Alice and Zeitouni, Ofer , TITLE =
Anderson, Greg W. and Guionnet, Alice and Zeitouni, Ofer , TITLE =. 2010 , PAGES =
2010
-
[46]
Guionnet, Alice and Husson, Jonathan , TITLE =. ALEA Lat. Am. J. Probab. Math. Stat. , FJOURNAL =. 2022 , NUMBER =. doi:10.30757/alea.v19-30 , URL =
-
[47]
Knowles, Antti and Yin, Jun , TITLE =. Probab. Theory Related Fields , FJOURNAL =. 2017 , NUMBER =. doi:10.1007/s00440-016-0730-4 , URL =
-
[48]
Guionnet, A. and Ma\". A. J. Funct. Anal. , FJOURNAL =. 2005 , NUMBER =. doi:10.1016/j.jfa.2004.09.015 , URL =
-
[49]
D. V. Voiculescu and K. J. Dykema and A. Nica , TITLE =
-
[50]
Bercovici and D
H. Bercovici and D. Voiculescu. Free convolution of measures with unbounded support. Indiana U. Math. J
-
[51]
Free convolution with a semicircular distribution and eigenvalues of spiked deformations of
Capitaine, Mireille and Donati-Martin, Catherine and F. Free convolution with a semicircular distribution and eigenvalues of spiked deformations of. Electron. J. Probab. , ISSN =. 2011 , Language =. doi:10.1214/EJP.v16-934 , Keywords =
-
[52]
Subag, Eliran , TITLE =. Ann. Probab. , FJOURNAL =. 2017 , NUMBER =. doi:10.1214/16-AOP1139 , URL =
-
[53]
arXiv preprint arXiv:2311.15495 , year=
A Constructive Proof of the Spherical Parisi Formula , author=. arXiv preprint arXiv:2311.15495 , year=
-
[54]
E. Gardner , abstract =. Spin glasses with p-spin interactions , journal =. 1985 , issn =. doi:https://doi.org/10.1016/0550-3213(85)90374-8 , url =
-
[55]
2019 , publisher=
Introduction to a renormalisation group method , author=. 2019 , publisher=
2019
-
[56]
Probability Theory and Related Fields , volume=
Some properties of the phase diagram for mixed p-spin glasses , author=. Probability Theory and Related Fields , volume=. 2017 , publisher=
2017
-
[57]
Order Parameter for Spin-Glasses , author =. Phys. Rev. Lett. , volume =. 1983 , month =. doi:10.1103/PhysRevLett.50.1946 , url =
-
[58]
Cavagna, Andrea and Giardina, Irene and Parisi, Giorgio and M\'ezard, Marc , TITLE =. J. Phys. A , FJOURNAL =. 2003 , NUMBER =. doi:10.1088/0305-4470/36/5/301 , URL =
-
[59]
Annibale, Alessia and Cavagna, Andrea and Giardina, Irene and Parisi, Giorgio and Trevigne, Elisa , title =. J. Phys. A: Math. Gen. , fjournal =. 2003 , pages =. doi:10.1088/0305-4470/36/43/018 , url =
-
[60]
Philosophical Magazine , volume =
Solution of `Solvable Model of a Spin Glass' , author =. Philosophical Magazine , volume =. 1977 , doi =
1977
-
[61]
Fan, Zhou and Mei, Song and Montanari, Andrea , TITLE =. Ann. Probab. , FJOURNAL =. 2021 , NUMBER =. doi:10.1214/20-AOP1443 , URL =
-
[62]
arXiv preprint cond-mat/0309256 , year=
Quenched Computation of the Complexity of the Sherrington-Kirkpatrick Model , author=. arXiv preprint cond-mat/0309256 , year=
-
[63]
Physical Review B , volume=
Stationary points of the Thouless-Anderson-Palmer free energy , author=. Physical Review B , volume=. 1998 , publisher=
1998
-
[64]
Journal of Physics A: Mathematical and General , volume=
Quenched complexity of the mean-field p -spin spherical model with external magnetic field , author=. Journal of Physics A: Mathematical and General , volume=. 1999 , publisher=
1999
-
[65]
Physical Review Letters , volume=
Free energy landscapes, dynamics, and the edge of chaos in mean-field models of spin glasses , author=. Physical Review Letters , volume=. 2004 , publisher=
2004
-
[66]
Physical Review Letters , volume=
Numerical study of metastable states in Ising spin glasses , author=. Physical Review Letters , volume=. 2004 , publisher=
2004
-
[67]
Physical Review E , volume=
Supersymmetric complexity in the Sherrington-Kirkpatrick model , author=. Physical Review E , volume=. 2003 , publisher=
2003
-
[68]
Europhysics Letters , volume=
On the number of metastable states in spin glasses , author=. Europhysics Letters , volume=. 1995 , publisher=
1995
-
[69]
Journal of Physics A: Mathematical and General , volume=
Metastable states in the solvable spin glass model , author=. Journal of Physics A: Mathematical and General , volume=
-
[70]
Physical Review E , volume=
How to count in hierarchical landscapes: A full solution to mean-field complexity , author=. Physical Review E , volume=. 2023 , publisher=
2023
-
[71]
Journal de Physique I , volume=
Recipes for metastable states in spin glasses , author=. Journal de Physique I , volume=. 1995 , publisher=
1995
-
[72]
and Taylor, Jonathan E
Adler, Robert J. and Taylor, Jonathan E. , TITLE =. 2007 , PAGES =
2007
-
[73]
Large deviations for the smallest eigenvalue of a deformed GOE with an outlier
Large deviations for the smallest eigenvalue of a deformed GOE with an outlier , author=. arXiv preprint arXiv:2408.09256 , year=
work page internal anchor Pith review Pith/arXiv arXiv
-
[74]
Talagrand, Michel , TITLE =. J. Stat. Phys. , FJOURNAL =. 2007 , NUMBER =. doi:10.1007/s10955-006-9108-9 , URL =
-
[75]
Javerzat, Nina and Bertin, Eric and Ozawa, Misaki , journal=. R
-
[76]
Duke Mathematical Journal , volume=
Free energy landscapes in spherical spin glasses , author=. Duke Mathematical Journal , volume=. 2024 , publisher=
2024
-
[77]
Information and Inference: A Journal of the IMA , volume=
Asymptotic mutual information for the balanced binary stochastic block model , author=. Information and Inference: A Journal of the IMA , volume=. 2017 , publisher=
2017
-
[78]
Probability Theory and Related Fields , volume=
The adaptive interpolation method: a simple scheme to prove replica formulas in Bayesian inference , author=. Probability Theory and Related Fields , volume=. 2019 , publisher=
2019
-
[79]
arXiv preprint arXiv:2409.19453 , year=
Disordered Gibbs measures and Gaussian conditioning , author=. arXiv preprint arXiv:2409.19453 , year=
-
[80]
Talagrand, Michel , TITLE =. Probab. Theory Related Fields , FJOURNAL =. 2010 , NUMBER =. doi:10.1007/s00440-009-0242-6 , URL =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.