alphaFeedback

WorksMathematics

The Parisi Formula for the Edwards–Anderson Model in the High-Dimensional Limit

AI contributions
  • Anthropic Claude Opus 5.5
  • OpenAI ChatGPT 5.6
  • OpenAI ChatGPT 6
  • OpenAI ChatGPT 6.1
View details

Abstract

We study the Edwards–Anderson spin glass on the torus (Z/LZ)d(\mathbb{Z}/L\mathbb{Z})^d, with independent Gaussian couplings of variance 1/(2d)1/(2d) between nearest neighbors. We prove that, as d→∞d\to\infty, its free energy converges to that of the Sherrington–Kirkpatrick model, given by the Parisi formula, at every temperature and in every uniform external field, uniformly in the side length LL. The same holds on the hypercube {0,1}d\{0,1\}^d, and the ground-state energies converge to the Sherrington–Kirkpatrick ground-state energy.

Authors’ Note

With the exception of this note, the entire document is machine written. We have taken care to supervise this writing to ensure that the proofs meet a minimum standard of readability and that previous literature is appropriately cited. However, the resulting document remains lacking in exposition and overall coherence. We are nonetheless releasing this manuscript on Hexagon to disseminate the result as quickly as possible, because we believe it may be of interest to the mathematics and physics communities. We welcome suggestions concerning mathematical corrections, omitted citations, and attribution of ideas.

P.L. was partially supported by NSF grant DMS-2450004.

Introduction

Background

The Edwards–Anderson (EA) model [58] is the basic model of a short-range spin glass. Ising spins σx∈{−1,1}\sigma_x \in\{-1,1\} sit at the sites of a lattice, and each pair of neighboring spins interacts through an independent centered random coupling, so that some interactions favor alignment and others favor opposition. Its mean-field counterpart is the Sherrington–Kirkpatrick (SK) model [127], in which every pair of spins interacts. For the SK model, Parisi’s theory of replica symmetry breaking [118, 119] has to a large extent been made rigorous. The free energy is given by the Parisi formula [76, 134], its minimizer is unique [7], and Panchenko proved that overlap arrays satisfying the Ghirlanda–Guerra identities are ultrametric [113, 114]. For the EA model in a fixed dimension, by contrast, the existence of a spin-glass phase at positive temperature remains open. At zero temperature, Chatterjee has proved several signatures of glassy behavior, including disorder chaos and low-energy macroscopic excitations [30]. There are competing physical descriptions of the low-temperature states: the replica-symmetry-breaking picture [102], the droplet picture [68], and intermediate pictures such as the trivial–nontrivial picture [95, 111]; see [129] for a discussion. The pictures disagree in particular about a uniform external field: replica symmetry breaking predicts a phase transition at a de Almeida–Thouless line [53, 72], whereas the droplet picture predicts that there is no transition in any positive field.

A natural way to relate the two models is to let the number of neighbors of each spin grow. On the torus (Z/LZ)d(\mathbb{Z}/L\mathbb{Z})^d with nearest-neighbor couplings of variance 1/(2d)1/(2d), the local field ∑y∼xJxyσy\sum_{y\sim x} J_{xy}\sigma_y acting on a spin, for a fixed configuration, is a sum of 2d2d small independent terms, as in the SK model. The variance of the Hamiltonian per site is 1/21/2, which agrees with that of the SK model up to its finite-size correction. Mean-field theory is expected to describe the model increasingly well as dd grows. In zero field, the critical behavior is predicted to be that of mean-field theory above the upper critical dimension six [82], and the low-temperature phase of the EA model on Zd\mathbb{Z}^d has been studied through an expansion in powers of 1/d1/d around mean-field theory [72]. The EA model on diluted hypercubes of large dimension has also been studied numerically as a mean-field spin glass [67]. In particular, the free energy per site of the EA model is expected to converge to that of the SK model as d→∞d \to\infty, at every temperature and in every field.

Rigorous results on this limit have so far required high temperature, interactions of diverging range, or graphs that are random or locally tree-like. For β≤1\beta\le1 in zero field, the SK free energy equals the annealed value log⁡2+β2/4\log2 + \beta^2/4 [1]. The same limit holds on any regular graph of diverging degree. For β<1\beta< 1, this graph extension follows from the second-moment method and the Gaussian concentration of the free energy. On a DD-regular graph with nn vertices, the ratio of the second moment of the partition function to the square of its mean is at most det⁡(I−β2S+)−1/2\operatorname{det}(I-\beta^2S_+)^{-1/2}, where S+S_+ is the positive part of the adjacency matrix divided by DD. Since tr⁡S+≤n/D\operatorname{tr} S_+ \le n/\sqrt{D}, this ratio is eo(n)e^{o(n)} as D→∞D \to\infty. The case β=1\beta= 1 follows by monotonicity in β\beta. In every field, Hachem recently proved that for β2<log⁡2\beta^2 < \log2 the free energy of the SK model with a sparse doubly stochastic variance profile, which includes the EA model on regular graphs of diverging degree, converges to the replica-symmetric SK value [81 Corollary 3]. Fröhlich and Zegarlinski [71] proved high-temperature mean-field limits of short-range spin glasses as the interaction range tends to infinity. In the Kac limit, the dimension is fixed, the strength of the couplings decays to zero over a distance γ−1\gamma^{-1}, and γ→0\gamma\to0 after the thermodynamic limit. For positive-semidefinite interaction kernels, Franz and Toninelli [69, 70] proved that the free energy converges to the SK free energy. One of the two inequalities, proved earlier by Guerra and Toninelli [77], requires the interaction kernel to be positive semidefinite. For sparse random graphs, Dembo, Montanari, and Sen [54] showed that the maximum cut of random regular and Erdős–Rényi graphs of large average degree is governed by the SK ground-state energy. Their comparison uses the randomness of the graph. It was extended to other optimization problems on sparse random hypergraphs by Sen [126], and to inhomogeneous random graphs, whose large-degree limit is an inhomogeneous Potts spin glass, by Jagannath, Ko, and Sen [89]. El Cheairi and Gamarnik showed that algorithms given by low-degree polynomials with a certain tree structure perform equally well on the SK model and on sparse Erdős–Rényi graphs of large average degree [63]. Approximating message passing for the SK model by such polynomials, they obtained nearly maximal cuts on these graphs, assuming that the support of the Parisi measure is an interval [0,q∗][0,q_*] for all large β\beta. On deterministic regular graphs of large degree and large girth, El Alaoui, Montanari, and Sellke [62] constructed cuts of the same size by local algorithms, under a similar assumption at zero temperature.

None of these methods applies to a deterministic lattice at low temperature. The lattice is not locally tree-like: it has many short cycles. The methods that prove the Parisi formula, namely Guerra’s interpolation [76], the Aizenman–Sims–Starr scheme [2], and Panchenko’s analysis of the overlap distribution [114], use the fact that the covariance of the SK Hamiltonian is a function of the overlap of two configurations. On the lattice, the covariance of H(σ)H(\sigma) and H(τ)H(\tau) is instead a function of the fraction of edges xyxy with σxσy=τxτy\sigma_x\sigma_y = \tau_x\tau_y. Further, the nearest-neighbor lattice with an even side length is bipartite, and flipping all spins on one sublattice reverses the sign of the Hamiltonian. Its normalized adjacency matrix then has the eigenvalue −1-1, and the comparison arguments that require this matrix to be close to positive semidefinite do not apply.

The goal of this paper is to prove that the free energy of the EA model on the torus (Z/LZ)d(\mathbb{Z}/L\mathbb{Z})^d converges to the SK free energy as d→∞d \to\infty, at every temperature and in every uniform field, uniformly in the side length LL. We prove the same statement for the hypercube {0,1}d\{0,1\}^d.

Main results

The model. Throughout, G=(V,E)G=(V,E) is a finite simple DD-regular graph with n=∣V∣n=|V| vertices and D≥1D\ge1. It need not be connected. We write GD\mathcal{G}_D for the set of all such graphs. Given GG, let (gxy)xy∈E(g_{xy})_{xy\in E} be independent standard Gaussian variables and Jxy=gxy/DJ_{xy}=g_{xy}/\sqrt{D}. For β≥0\beta\ge0 and h∈Rh\in\mathbb{R}, the Hamiltonian, the pressure, and the ground-state energy per site are

HG(σ)=∑xy∈EJxyσxσy,pG(β,h)=1nElog⁡∑σ∈{−1,1}Vexp⁡(βHG(σ)+h∑x∈Vσx),e(G;h)=1nEmax⁡σ∈{−1,1}V(HG(σ)+h∑x∈Vσx).(1)\begin{aligned} H_G(\sigma)&=\sum_{xy\in E}J_{xy}\sigma_x\sigma_y, \qquad p_G(\beta,h)=\frac{1}{n}\mathbb{E}\log\sum_{\sigma\in\{-1,1\}^V}\exp\left(\beta H_G(\sigma)+h\sum_{x\in V}\sigma_x\right),\\ e(G;h)&=\frac{1}{n}\mathbb{E}\max_{\sigma\in\{-1,1\}^V}\left(H_G(\sigma)+h\sum_{x\in V}\sigma_x\right). \tag*{(1)} \end{aligned}

As in the literature on the SK model, the field enters the pressure through the Gibbs exponent and is not multiplied by β\beta, so that pG(β,βh)/β→e(G;h)p_G(\beta,\beta h)/\beta\to e(G;h) as β→∞\beta\to\infty. The normalization gives EHG(σ)2=∣E∣/D=n/2\mathbb{E}H_G(\sigma)^2=|E|/D=n/2 for every σ\sigma, and ∑y∼xEJxy2=1\sum_{y\sim x}\mathbb{E}J_{xy}^2=1 for every vertex xx. Our main examples are the following.

  • The torus TLd=(Z/LZ)d\mathbb{T}_L^d=(\mathbb{Z}/L\mathbb{Z})^d, in which two vertices are adjacent if they differ by ±1\pm1 in exactly one coordinate, is simple and 2d2d-regular for L≥3L\ge3, with n=Ldn=L^d. On it, HGH_G is the EA Hamiltonian with couplings gxy/2dg_{xy}/\sqrt{2d}. We write pd,L=pTLdp_{d,L}=p_{\mathbb{T}_L^d}.

  • The hypercube Qd={0,1}dQ_d=\{0,1\}^d, in which two vertices are adjacent if they differ in exactly one coordinate, is dd-regular with n=2dn=2^d.

No relation between nn and DD is assumed. For example, D=2dD=2d is proportional to log⁡n\log n on TLd\mathbb{T}_L^d, and D=log⁡2nD=\log_2 n on QdQ_d.

The SK model. The SK Hamiltonian on NN spins is HNSK(σ)=N−1/2∑1≤i<j≤NgijσiσjH_N^{\mathrm{SK}}(\sigma)=N^{-1/2}\sum_{1\le i<j\le N}g_{ij}\sigma_i\sigma_j, with independent standard Gaussian variables gijg_{ij}. Its variance (N−1)/2(N-1)/2 agrees with that of HGH_G up to the factor (N−1)/N(N-1)/N. The limits

P(β,h)=lim⁡N→∞1NElog⁡∑σeβHNSK(σ)+h∑iσi,P∗(h)=lim⁡N→∞1NEmax⁡σ(HNSK(σ)+h∑iσi)(2)\mathcal{P}(\beta,h)=\lim_{N\to\infty}\frac{1}{N}\mathbb{E}\log\sum_{\sigma}e^{\beta H_N^{\mathrm{SK}}(\sigma)+h\sum_i\sigma_i}, \qquad\mathcal{P}_*(h)=\lim_{N\to\infty}\frac{1}{N}\mathbb{E}\max_{\sigma}\left(H_N^{\mathrm{SK}}(\sigma)+h\sum_i\sigma_i\right) \tag*{(2)}

exist. The first exists by [75, 134] and is given by the Parisi formula [76, 134], which we recall in § 3.3. The second exists by a comparison with the first (see (8)), and P∗(h)=lim⁡β→∞P(β,βh)/βP_*(h) = \lim_{\beta\to\infty} \mathcal{P}(\beta,\beta h)/\beta. Numerical evaluations of the Parisi formula give P∗(0)≈0.7632P_*(0) \approx0.7632 [51]; see also [54].

Results. Our main theorem states that the pressure of the EA model on the torus converges to the SK pressure, uniformly in the side length.

Theorem 1.1. For every β≥0\beta\ge0 and h∈Rh \in\mathbb{R},

lim⁡d→∞sup⁡L≥3∣pd,L(β,h)−P(β,h)∣=0.\lim_{d \to\infty}\sup_{L \ge3} \left|p_{d,L}(\beta,h)-\mathcal{P}(\beta,h)\right|=0.

The same holds on the hypercube.

Theorem 1.2. For every β≥0\beta\ge0 and h∈Rh \in\mathbb{R},

lim⁡d→∞pQd(β,h)=P(β,h).\lim_{d \to\infty}p_{Q_d}(\beta,h)=\mathcal{P}(\beta,h).

Letting the temperature tend to zero, we obtain the corresponding statement for ground states.

Corollary 1.3. For every h∈Rh \in\mathbb{R},

lim⁡d→∞sup⁡L≥3∣e(TLd;h)−P∗(h)∣=0andlim⁡d→∞e(Qd;h)=P∗(h).\lim_{d \to\infty}\sup_{L \ge3}\left|e(\mathbb{T}_L^d;h)-P_*(h)\right|=0 \qquad\text{and}\qquad \lim_{d \to\infty}e(Q_d;h)=P_*(h).

We make several remarks on these results.

Remark 1.4. The pressures pGp_G and P\mathcal{P} are 1-Lipschitz in hh and (B/2)(B/2)-Lipschitz in β∈[0,B]\beta\in[0,B] (Lemma 2.1). Then the convergence in Theorems 1.1 and 1.2 is uniform for (β,h)(\beta,h) in compact subsets of [0,∞)×R[0,\infty)\times\mathbb{R}, and the convergence in Corollary 1.3 is uniform for hh in compact subsets of R\mathbb{R}. We give the short argument at the end of Section 8.

References

  1. [1]M. Aizenman, J. L. Lebowitz, and D. Ruelle. Some rigorous results on the Sherrington–Kirkpatrick spin glass model. Comm. Math. Phys., 112(1):3–20, 1987.
  2. [2]M. Aizenman, R. Sims, and S. L. Starr. Extended variational principle for the Sherrington–Kirkpatrick spin-glass model. Phys. Rev. B, 68:214403, 2003.DOI
  3. [3]Diego Alberici, Francesco Camilli, Pierluigi Contucci, and Emanuele Mingione. The solution of the deep Boltzmann machine on the Nishimori line. Comm. Math. Phys., 387(2):1191–1214, 2021. arXiv:2012.13987.DOI
  4. [4]Diego Alberici, Francesco Camilli, Pierluigi Contucci, and Emanuele Mingione. The multi-species mean-field spin-glass on the Nishimori line. J. Stat. Phys., 182(1):Paper No. 2, 2021. arXiv:2007.08891.DOI
  5. [5]Antonio Auffinger and Wei-Kuo Chen. Free energy and complexity of spherical bipartite models. J. Stat. Phys., 157(1):40–59, 2014. arXiv:1405.2321.DOI
  6. [6]Antonio Auffinger and Wei-Kuo Chen. On properties of Parisi measures. Probab. Theory Related Fields, 161(3-4):817–850, 2015. numbered citations refer to arXiv:1303.3573v1.arxiv.org/abs/1303.3573
  7. [7]Antonio Auffinger and Wei-Kuo Chen. The Parisi formula has a unique minimizer. Comm. Math. Phys., 335(3):1429–1444, 2015. numbered citations refer to arXiv:1402.5132v3.DOI
  8. [8]Antonio Auffinger and Wei-Kuo Chen. The Legendre structure of the Parisi formula. Comm. Math. Phys., 348(3):751–770, 2016. numbered citations refer to arXiv:1510.03414v2.DOI
  9. [9]Antonio Auffinger and Aukosh Jagannath. Thouless–Anderson–Palmer equations for generic p-spin glasses. Ann. Probab., 47(4):2230–2256, 2019. arXiv:1612.06359.DOI
  10. [10]Antonio Auffinger, Wei-Kuo Chen, and Qiang Zeng. The SK model is infinite step replica symmetry breaking at zero temperature. Comm. Pure Appl. Math., 73(5):921–943, 2020.arxiv.org/abs/1703.06872
  11. [11]Jinho Baik and Ji Oon Lee. Free energy of bipartite spherical Sherrington–Kirkpatrick model. Ann. Inst. Henri Poincaré Probab. Stat., 56(4):2897–2934, 2020. arXiv:1711.06364.arxiv.org/abs/1711.06364
  12. [12]Afonso S. Bandeira and Ramon van Handel. Sharp nonasymptotic bounds on the norm of random matrices with independent entries. Ann. Probab., 44(4):2479–2506, 2016. arXiv:1408.6185.
  13. [13]Zhigang Bao, Qiyang Han, and Xiaocong Xu. A leave-one-out approach to approximate message passing. Ann. Appl. Probab., 35(4):2716–2766, 2025. arXiv:2312.05911.arxiv.org/abs/2312.05911
  14. [14]Jean Barbier and Nicolas Macris. The adaptive interpolation method: a simple scheme to prove replica formulas in Bayesian inference. Probab. Theory Related Fields, 174(3-4):1133–1185, 2019. arXiv:1705.02780.arxiv.org/abs/1705.02780
  15. [15]Adriano Barra, Aldo Di Biasio, and Francesco Guerra. Replica symmetry breaking in mean-field spin glasses through the Hamilton–Jacobi technique. J. Stat. Mech. Theory Exp., page P09006, 2010. arXiv:1003.5226.DOI
  16. [16]Adriano Barra, Giuseppe Genovese, and Francesco Guerra. Equilibrium statistical mechanics of bipartite spin systems. J. Phys. A, 44(24):245002, 2011. arXiv:1012.1261.DOI
  17. [17]Adriano Barra, Pierluigi Contucci, Emanuele Mingione, and Daniele Tantari. Multi-species mean field spin glasses. Rigorous results. Ann. Henri Poincaré, 16(3):691–708, 2015. arXiv:1307.5154.arxiv.org/abs/1307.5154
  18. [18]Anirban Basak and Sumit Mukherjee. Universality of the mean-field for the Potts model. Probab. Theory Related Fields, 168(3-4):557–600, 2017. arXiv:1508.03949.arxiv.org/abs/1508.03949
  19. [19]Erik Bates and Youngtak Sohn. Balanced multi-species spin glasses, 2025. Preprint, arXiv:2507.06522v2.arxiv.org/abs/2507.06522
  20. [20]Joshua Batson, Daniel A. Spielman, and Nikhil Srivastava. Twice-Ramanujan sparsifiers. SIAM J. Comput., 41(6):1704–1721, 2012. arXiv:0808.0163.
  21. [21]Mohsen Bayati and Andrea Montanari. The dynamics of message passing on dense graphs, with applications to compressed sensing. IEEE Trans. Inform. Theory, 57(2):764–785, 2011. numbered citations refer to arXiv:1001.3448v4.DOI
  22. [22]Mohsen Bayati, Marc Lelarge, and Andrea Montanari. Universality in polytope phase transitions and message passing algorithms. Ann. Appl. Probab., 25(2):753–822, 2015.DOI
  23. [23]Joshua K. Behne and Galen Reeves. Fundamental limits for rank-one matrix estimation with groupwise heteroskedasticity. In Proceedings of the 25th International Conference on Artificial Intelligence and Statistics, volume 151 of Proc. Mach. Learn. Res., pages 8650–8672, 2022. arXiv:2106.11950.arxiv.org/abs/2106.11950
  24. [24]Patrick Billingsley. Probability and measure. John Wiley & Sons, New York, third edition, 1995.
  25. [25]Erwin Bolthausen. An iterative construction of solutions of the TAP equations for the Sherrington–Kirkpatrick model. Comm. Math. Phys., 325(1):333–366, 2014. numbered citations refer to arXiv:1201.2891v1.arxiv.org/abs/1201.2891
  26. [26]Erwin Bolthausen. A Morita type proof of the replica-symmetric formula for SK. In Véronique Gayrard, Louis-Pierre Arguín, Nicola Kistler, and Irina Kourkova, editors, Statistical mechanics of classical and disordered systems, volume 293 of Springer Proc. Math. Stat., pages 63–93. Springer, Cham, 2019. arXiv:1809.07972.arxiv.org/abs/1809.07972
  27. [27]Erwin Bolthausen and Alain-Sol Sznitman. On Ruelle’s probability cascades and an abstract cavity method. Comm. Math. Phys., 197(2):247–276, 1998.DOI
  28. [28]Stéphane Boucheron, Gábor Lugosi, and Pascal Massart. Concentration inequalities: a nonasymptotic theory of independence. Oxford University Press, Oxford, 2013.
  29. [29]Christian Brennecke and Horng-Tzer Yau. The replica symmetric formula for the SK model revisited. J. Math. Phys., 63(7):073302, 2022. numbered citations refer to arXiv:2109.07354v2.DOI
  30. [30]Sourav Chatterjee. Spin glass phase at zero temperature in the Edwards–Anderson model, 2023. Preprint, revised May 2, 2026; arXiv:2301.04112v6.arxiv.org/abs/2301.04112
  31. [31]Hong-Bin Chen. On free energy of non-convex multi-species spin glasses. ALEA Lat. Am. J. Probab. Math. Stat., 23:429–473, 2026. doi: 10.30757/ALEA.v23-17. arXiv:2411.13342.DOI
  32. [32]Hong-Bin Chen. FRSB in the SK spin glass: convergence to full-interval support at zero temperature, 2026. Preprint, arXiv:2607.18032v1.arxiv.org/abs/2607.18032
  33. [33]Hong-Bin Chen and Jean-Christophe Mourrat. On the free energy of vector spin glasses with non-convex interactions. Probab. Math. Phys., 6:1–80, 2025. arXiv:2311.08980.DOI
  34. [34]Hong-Bin Chen and Jean-Christophe Mourrat. Free energy of non-convex multi-species spherical spin glasses, 2026. Preprint, arXiv:2609.32710v1.arxiv.org/abs/2609.32710
  35. [35]Hong-Bin Chen and Jiaming Xia. Hamilton–Jacobi equations for inference of matrix tensor products. Ann. Inst. Henri Poincaré Probab. Stat., 58(2):755–793, 2022. arXiv:2009.01678.arxiv.org/abs/2009.01678
  36. [36]Hong-Bin Chen and Jiaming Xia. Hamilton–Jacobi equations with monotone nonlinearities on convex cones. Ann. Fac. Sci. Toulouse Math. (6), 34(1):1–45, 2025. arXiv:2206.12537; theorem numbers refer to arXiv version 4.arxiv.org/abs/2206.12537
  37. [37]Hong-Bin Chen, Victor Issa, and Jean-Christophe Mourrat. Free energy of non-convex multi-species spin glasses with centered Ising spins, 2026. Preprint, arXiv:2606.16636v2.arxiv.org/abs/2606.16636
  38. [38]Wei-Kuo Chen. Variational representations for the Parisi functional and the two-dimensional Guerra–Talagrand bound. Ann. Probab., 45(6A):3929–3966, 2017. numbered citations refer to arXiv:1501.06635v2.arxiv.org/abs/1501.06635
  39. [39]Wei-Kuo Chen and Dmitry Panchenko. On the TAP free energy in the mixed p-spin models. Comm. Math. Phys., 362(1):219–252, 2018. numbered citations refer to arXiv:1709.03468v2.DOI
  40. [40]Wei-Kuo Chen, Dmitry Panchenko, and Eliran Subag. The generalized TAP free energy II. Comm. Math. Phys., 381(1):257–291, 2021. numbered citations refer to arXiv:1903.01030v1.DOI
  41. [41]Wei-Kuo Chen, Dmitry Panchenko, and Eliran Subag. The generalized TAP free energy. Comm. Pure Appl. Math., 76(7):1329–1415, 2023. numbered citations refer to arXiv:1812.05066v3.
  42. [42]Michael B. Cohen, Jelani Nelson, and David P. Woodruff. Optimal approximate matrix product in terms of stable rank. In 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), volume 55 of Leibniz International Proceedings in Informatics (LIPIcs), pages 11:1–11:14, 2016. arXiv:1507.02268; theorem numbers refer to arXiv version 3.arxiv.org/abs/1507.02268
  43. [43]Pierluigi Contucci and Cristian Giardinà. The Ghirlanda–Guerra identities. J. Stat. Phys., 126(4-5):917–931, 2007. arXiv:math-ph/0505055.DOI
  44. [44]Pierluigi Contucci and Sandro Graffi. Monotonicity and thermodynamic limit for short range disordered models. J. Stat. Phys., 115:581–589, 2004. numbered citations refer to arXiv:math-ph/0302013v2.
  45. [45]Pierluigi Contucci and Sandro Graffi. On the surface pressure for the Edwards–Anderson model. Comm. Math. Phys., 248:207–216, 2004. numbered citations refer to arXiv:math-ph/0306006v3.
  46. [46]Pierluigi Contucci and Joel L. Lebowitz. Correlation inequalities for spin glasses. Ann. Henri Poincaré, 8:1461–1467, 2007. numbered citations refer to arXiv:cond-mat/0612371v1.DOI
  47. [47]Pierluigi Contucci, Cristian Giardinà, and Joseph Pulé. The thermodynamic limit for finite dimensional classical and quantum disordered systems. Rev. Math. Phys., 16(5):629–637, 2004. arXiv:cond-mat/0401211.
  48. [48]Pierluigi Contucci, Emanuele Mingione, and Shannon Starr. Factorization properties in d-dimensional spin glasses. Rigorous results and some perspectives. J. Stat. Phys., 151(5):809–829, 2013. arXiv:1212.5281.
  49. [49]Michael G. Crandall and Pierre-Louis Lions. Viscosity solutions of Hamilton–Jacobi equations. Trans. Amer. Math. Soc., 277(1):1–42, 1983.DOI
  50. [50]Michael G. Crandall, Lawrence C. Evans, and Pierre-Louis Lions. Some properties of viscosity solutions of Hamilton–Jacobi equations. Trans. Amer. Math. Soc., 282(2):487–502, 1984.
  51. [51]A. Crisanti and T. Rizzo. Analysis of the ∞-replica symmetry breaking solution of the Sherrington–Kirkpatrick model. Phys. Rev. E, 65:046137, 2002. arXiv:cond-mat/0111037.
  52. [52]Debsura De and Dmitriy Kunisky. Computational and statistical lower bounds for low-rank estimation under general inhomogeneous noise, 2025. Preprint, arXiv:2510.08541v1.arxiv.org/abs/2510.08541
  53. [53]J. R. L. de Almeida and D. J. Thouless. Stability of the Sherrington–Kirkpatrick solution of a spin glass model. J. Phys. A, 11(5):983–990, 1978.
  54. [54]Amir Dembo, Andrea Montanari, and Subhabrata Sen. Extremal cuts of sparse random graphs. Ann. Probab., 45(2):1190–1217, 2017.DOI
  55. [55]DLMF. NIST digital library of mathematical functions. https://dlmf.nist.gov/, Release 1.2.8 of 2026-09-15, 2026. F. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain, eds.
  56. [56]Tomas Dominguez and Jean-Christophe Mourrat. Statistical mechanics of mean-field disordered systems: a Hamilton–Jacobi approach. Zurich Lectures in Advanced Mathematics. EMS Press, 2024. arXiv:2311.08976; theorem numbers refer to the arXiv version.arxiv.org/abs/2311.08976
  57. [57]David L. Donoho, Arian Maleki, and Andrea Montanari. Message-passing algorithms for compressed sensing. Proc. Natl. Acad. Sci. USA, 106(45):18914–18919, 2009. arXiv:0907.3574.DOI
  58. [58]S. F. Edwards and P. W. Anderson. Theory of spin glasses. J. Phys. F: Met. Phys., 5 (5):965–974, 1975.
  59. [59]Ahmed El Alaoui, Florent Krzakala, and Michael I. Jordan. Fundamental limits of detection in the spiked Wigner model. Ann. Statist., 48(2):863–885, 2020. arXiv:1806.09588.DOI
  60. [60]Ahmed El Alaoui, Andrea Montanari, and Mark Sellke. Optimization of mean-field spin glasses. Ann. Probab., 49(6):2922–2960, 2021. numbered citations refer to arXiv:2001.00904v1.arxiv.org/abs/2001.00904
  61. [61]Ahmed El Alaoui, Andrea Montanari, and Mark Sellke. Sampling from the Sherrington–Kirkpatrick Gibbs measure via algorithmic stochastic localization. In 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS), pages 323–334. IEEE, 2022. numbered citations refer to arXiv:2203.05093v2.arxiv.org/abs/2203.05093
  62. [62]Ahmed El Alaoui, Andrea Montanari, and Mark Sellke. Local algorithms for maximum cut and minimum bisection on locally treelike regular graphs of large degree. Random Structures Algorithms, 63(3):689–715, 2023. arXiv:2111.06813.arxiv.org/abs/2111.06813
  63. [63]Houssam El Cheairi and David Gamarnik. Algorithmic universality, low-degree polynomials, and Max-Cut in sparse random graphs, 2024. Preprint, arXiv:2412.18014.arxiv.org/abs/2412.18014
  64. [64]Zhou Fan and Yihong Wu. The replica-symmetric free energy for Ising spin glasses with orthogonally invariant couplings. Probab. Theory Related Fields, 190:1–77, 2024. arXiv:2105.02797.arxiv.org/abs/2105.02797
  65. [65]Zhou Fan, Song Mei, and Andrea Montanari. TAP free energy, spin glasses and variational inference. Ann. Probab., 49(1):1–45, 2021. arXiv:1808.07890.arxiv.org/abs/1808.07890
  66. [66]Zhou Fan, Yufan Li, and Subhabrata Sen. TAP equations for orthogonally invariant spin glasses at high temperature, 2022. arXiv:2202.09325v2; to appear in Ann. Inst. H. Poincaré Probab. Statist.arxiv.org/abs/2202.09325
  67. [67]L. A. Fernández, V. Martín-Mayor, G. Parisi, and B. Seoane. Spin glasses on the hypercube. Phys. Rev. B, 81:134403, 2010. arXiv:0911.4667.DOI
  68. [68]Daniel S. Fisher and David A. Huse. Equilibrium behavior of the spin-glass ordered phase. Phys. Rev. B, 38(1):386–411, 1988.pubmed.ncbi.nlm.nih.gov/9945202
  69. [69]Silvio Franz and Fabio Lucio Toninelli. Kac limit for finite-range spin glasses. Phys. Rev. Lett., 92(3):030602, 2004.pubmed.ncbi.nlm.nih.gov/14753859
  70. [70]Silvio Franz and Fabio Lucio Toninelli. Finite-range spin glasses in the Kac limit: free energy and local observables. J. Phys. A, 37(30):7433–7446, 2004.DOI
  71. [71]J. Fröhlich and B. Zegarlinski. Some comments on the Sherrington–Kirkpatrick model of spin glasses. Comm. Math. Phys., 112(4):553–566, 1987. doi: 10.1007/BF01225372.
  72. [72]A. Georges, M. Mézard, and J. S. Yedidia. Low-temperature phase of the Ising spin glass on a hypercubic lattice. Phys. Rev. Lett., 64(24):2937–2940, 1990.pubmed.ncbi.nlm.nih.gov/10041851
  73. [73]Antoine Georges and Jonathan S. Yedidia. How to expand around mean-field theory using high-temperature expansions. J. Phys. A, 24(9):2173–2192, 1991.DOI
  74. [74]Stefano Ghirlanda and Francesco Guerra. General properties of overlap probability distributions in disordered spin systems. Towards Parisi ultrametricity. J. Phys. A, 31(46):9149–9155, 1998. arXiv:cond-mat/9807333.DOI
  75. [75]F. Guerra and F. L. Toninelli. The thermodynamic limit in mean field spin glass models. Comm. Math. Phys., 230(1):71–79, 2002.
  76. [76]Francesco Guerra. Broken replica symmetry bounds in the mean field spin glass model. Comm. Math. Phys., 233(1):1–12, 2003.DOI
  77. [77]Francesco Guerra and Fabio Lucio Toninelli. Some comments on the connection between disordered long range spin glass models and their mean field version. J. Phys. A, 36(43):10987–10995, 2003.
  78. [78]Alice Guionnet, Justin Ko, Florent Krzakala, and Lenka Zdeborová. Low-rank matrix estimation with inhomogeneous noise. Inf. Inference, 14(2):iaaf010, 2025. arXiv:2208.05918.DOI
  79. [79]Dongning Guo, Shlomo Shamai, and Sergio Verdú. Mutual information and minimum mean-square error in Gaussian channels. IEEE Trans. Inform. Theory, 51(4):1261–1282, 2005. arXiv:cs/0412108.arxiv.org/abs/cs/0412108
  80. [80]Walid Hachem. Approximate message passing for sparse matrices with application to the equilibria of large ecological Lotka–Volterra systems. Stochastic Process. Appl., 170:104276, 2024. arXiv:2302.09847v4.arxiv.org/abs/2302.09847
  81. [81]Walid Hachem. The SK model with a sparse variance profile: free energy and AMP algorithm for TAP equations at high temperature, 2026. Preprint, arXiv:2604.25535v1.arxiv.org/abs/2604.25535
  82. [82]A. B. Harris, T. C. Lubensky, and J.-H. Chen. Critical properties of spin-glasses. Phys. Rev. Lett., 36(8):415–418, 1976.DOI
  83. [83]Fu-Hsuan Ho. A concavity theorem for the Parisi PDE, 2026. Preprint, arXiv:2606.15432v1.arxiv.org/abs/2606.15432
  84. [84]Wassily Hoeffding. Probability inequalities for sums of bounded random variables. J. Amer. Statist. Assoc., 58(301):13–30, 1963.
  85. [85]Brice Huang and Mark Sellke. A constructive proof of the spherical Parisi formula, 2023. Preprint, arXiv:2311.15495.arxiv.org/abs/2311.15495
  86. [86]Victor Issa. Existence and uniqueness of permutation-invariant optimizers for Parisi formula. ALEA Lat. Am. J. Probab. Math. Stat., 23:761–800, 2026. doi: 10.30757/ALEA.v23-30. arXiv:2407.13846; numbered citations refer to the published version.DOI
  87. [87]Aukosh Jagannath and Ian Tobasco. A dynamic programming approach to the Parisi functional. Proc. Amer. Math. Soc., 144(7):3135–3150, 2016. numbered citations refer to arXiv:1502.04398v4.DOI
  88. [88]Aukosh Jagannath and Ian Tobasco. Some properties of the phase diagram for mixed p-spin glasses. Probab. Theory Related Fields, 167:615–672, 2017. numbered citations refer to arXiv:1504.02731v2.DOI
  89. [89]Aukosh Jagannath, Justin Ko, and Subhabrata Sen. Max κ-cut and the inhomogeneous Potts spin glass. Ann. Appl. Probab., 28(3):1536–1572, 2018. arXiv:1703.03455.
  90. [90]Svante Janson. Large deviations for sums of partly dependent random variables. Random Structures Algorithms, 24(3):234–248, 2004.DOI
  91. [91]Adel Javanmard and Andrea Montanari. State evolution for general approximate message passing algorithms, with applications to spatial coupling. Inf. Inference, 2(2):115–144, 2013. numbered citations refer to arXiv:1211.5164v2.arxiv.org/abs/1211.5164
  92. [92]Ioannis Karatzas and Steven E. Shreve. Brownian motion and stochastic calculus, volume 113 of Graduate Texts in Mathematics. Springer, New York, second edition, 1991.
  93. [93]K. M. Khanin and Ya. G. Sinai. Existence of free energy for models with long-range random Hamiltonians. J. Stat. Phys., 20:573–584, 1979.DOI
  94. [94]Satish Babu Korada and Nicolas Macris. Exact solution of the gauge symmetric p-spin glass model on a complete graph. J. Stat. Phys., 136(2):205–230, 2009.DOI
  95. [95]F. Krzakala and O. C. Martin. Spin and link overlaps in three-dimensional spin glasses. Phys. Rev. Lett., 85(14):3013–3016, 2000.pubmed.ncbi.nlm.nih.gov/11005991
  96. [96]Florent Krzakala and Lenka Zdeborová. Hiding quiet solutions in random constraint satisfaction problems. Phys. Rev. Lett., 102:238701, 2009. arXiv:0901.2130.DOI
  97. [97]Florent Krzakala, Jiaming Xu, and Lenka Zdeborová. Mutual information in rank-one matrix estimation. In 2016 IEEE Information Theory Workshop (ITW), pages 71–75. IEEE, 2016. arXiv:1603.08447.DOI
  98. [98]Marc Lelarge and Léo Miolane. Fundamental limits of symmetric low-rank matrix estimation. Probab. Theory Related Fields, 173:859–929, 2019. arXiv:1611.03888.arxiv.org/abs/1611.03888
  99. [99]Patrick Lopatto. Parisi measure of the Sherrington–Kirkpatrick model with external field, 2026. Preprint, arXiv:2610.00127v1.arxiv.org/abs/2610.00127
  100. [100]Patrick Lopatto. Full replica symmetry breaking in the Sherrington–Kirkpatrick model, 2026. Preprint, arXiv:2607.11756v3.arxiv.org/abs/2607.11756
  101. [101]Colin McDiarmid. On the method of bounded differences. In Surveys in Combinatorics, 1989 (Norwich, 1989), volume 141 of London Math. Soc. Lecture Note Ser., pages 148–188. Cambridge Univ. Press, Cambridge, 1989.DOI
  102. [102]Marc Mézard, Giorgio Parisi, and Miguel Angel Virasoro. Spin glass theory and beyond: An introduction to the replica method and its applications, volume 9 of World Scientific Lecture Notes in Physics. World Scientific, 1987.
  103. [103]Andrea Montanari. Optimization of the Sherrington–Kirkpatrick Hamiltonian. SIAM J. Comput., 54(4):FOCS19-1–FOCS19-38, 2025. Published online 2021; numbered citations refer to arXiv:1812.10897v2.
  104. [104]Jean-Christophe Mourrat. Hamilton–Jacobi equations for finite-rank matrix inference. Ann. Appl. Probab., 30(5):2234–2260, 2020. arXiv:1904.05294.arxiv.org/abs/1904.05294
  105. [105]Jean-Christophe Mourrat. Hamilton–Jacobi equations for mean-field disordered systems. Ann. H. Lebesgue, 4:453–484, 2021. arXiv:1811.01432.arxiv.org/abs/1811.01432
  106. [106]Jean-Christophe Mourrat. Nonconvex interactions in mean-field spin glasses. Probab. Math. Phys., 2(2):281–339, 2021. numbered citations refer to arXiv:2004.01679v8.DOI
  107. [107]Jean-Christophe Mourrat. The Parisi formula is a Hamilton–Jacobi equation in Wasserstein space. Canad. J. Math., 74(3):607–629, 2022. arXiv:1906.08471.arxiv.org/abs/1906.08471
  108. [108]Jean-Christophe Mourrat. Free energy upper bound for mean-field vector spin glasses. Ann. Inst. Henri Poincaré Probab. Stat., 59(3):1143–1182, 2023. numbered citations refer to arXiv:2010.09114v2.arxiv.org/abs/2010.09114
  109. [109]Jean-Christophe Mourrat and Dmitry Panchenko. Extending the Parisi formula along a Hamilton–Jacobi equation. Electron. J. Probab., 25:Paper No. 23, 1–17, 2020. arXiv:1910.14482.arxiv.org/abs/1910.14482
  110. [110]Hidetoshi Nishimori. Internal energy, specific heat and correlation function of the bond-random Ising model. Progr. Theoret. Phys., 66(4):1169–1181, 1981.
  111. [111]Matteo Palassini and A. P. Young. Nature of the spin glass state. Phys. Rev. Lett., 85 (14):3017–3020, 2000.
  112. [112]Dmitry Panchenko. A question about the Parisi functional. Electron. Comm. Probab., 10:155–166, 2005. arXiv:math/0412463.arxiv.org/abs/math/0412463
  113. [113]Dmitry Panchenko. The Parisi ultrametricity conjecture. Ann. of Math. (2), 177(1):383–393, 2013. arXiv:1112.1003.arxiv.org/abs/1112.1003
  114. [114]Dmitry Panchenko. The Sherrington–Kirkpatrick model. Springer Monographs in Mathematics. Springer, New York, 2013.
  115. [115]Dmitry Panchenko. The free energy in a multi-species Sherrington–Kirkpatrick model. Ann. Probab., 43(6):3494–3513, 2015. arXiv:1310.6679.DOI
  116. [116]Dmitry Panchenko. Free energy in the Potts spin glass. Ann. Probab., 46(2):829–864, 2018. arXiv:1512.00370.arxiv.org/abs/1512.00370
  117. [117]Dmitry Panchenko. Free energy in the mixed p-spin models with vector spins. Ann. Probab., 46(2):865–896, 2018. arXiv:1512.04441.arxiv.org/abs/1512.04441
  118. [118]Giorgio Parisi. Infinite number of order parameters for spin-glasses. Phys. Rev. Lett., 43:1754–1756, 1979.
  119. [119]Giorgio Parisi. A sequence of approximated solutions to the S-K model for spin glasses. J. Phys. A, 13(4):L115–L121, 1980.
  120. [120]Miquel Payaró and Daniel P. Palomar. Hessian and concavity of mutual information, differential entropy, and entropy power in linear vector Gaussian channels. IEEE Trans. Inform. Theory, 55(8):3613–3628, 2009. numbered citations refer to arXiv:0903.1945v1.arxiv.org/abs/0903.1945
  121. [121]T. Plefka. Convergence condition of the TAP equation for the infinite-ranged Ising spin glass model. J. Phys. A, 15(6):1971–1978, 1982.DOI
  122. [122]Tim Robertson, F. T. Wright, and R. L. Dykstra. Order restricted statistical inference. Wiley Series in Probability and Mathematical Statistics. John Wiley & Sons, Chichester, 1988.
  123. [123]David Ruelle. A mathematical reformulation of Derrida’s REM and GREM. Comm. Math. Phys., 108(2):225–239, 1987.DOI
  124. [124]René L. Schilling, Renming Song, and Zoran Vondraček. Bernstein functions: theory and applications, volume 37 of De Gruyter Studies in Mathematics. Walter de Gruyter, Berlin, second edition, 2012.
  125. [125]Mark Sellke. Optimizing mean field spin glasses with external field. Electron. J. Probab., 29(4):1–47, 2024. numbered citations refer to arXiv:2105.03506v6.DOI
  126. [126]Subhabrata Sen. Optimization on sparse random hypergraphs and spin glasses. Random Structures Algorithms, 53(3):504–536, 2018. arXiv:1606.02365.arxiv.org/abs/1606.02365
  127. [127]D. Sherrington and S. Kirkpatrick. Solvable model of a spin-glass. Phys. Rev. Lett., 35(26):1792–1796, 1975.
  128. [128]Charles M. Stein. Estimation of the mean of a multivariate normal distribution. Ann. Statist., 9(6):1135–1151, 1981.DOI
  129. [129]Daniel L. Stein and Charles M. Newman. Spin glasses and complexity. Primers in Complex Systems. Princeton University Press, Princeton, NJ, 2013.
  130. [130]Eliran Subag. TAP approach for multispecies spherical spin glasses II: the free energy of the pure models. Ann. Probab., 51(3):1004–1024, 2023. arXiv:2111.07134.arxiv.org/abs/2111.07134
  131. [131]Eliran Subag. Free energy landscapes in spherical spin glasses. Duke Math. J., 173 (7):1291–1357, 2024. arXiv:1804.10576.
  132. [132]Michel Talagrand. Transportation cost for Gaussian and other product measures. Geom. Funct. Anal., 6(3):587–600, 1996.DOI
  133. [133]Michel Talagrand. Spin glasses: a challenge for mathematicians. Cavity and mean field models, volume 46 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. Springer, Berlin, 2003.
  134. [134]Michel Talagrand. The Parisi formula. Ann. of Math. (2), 163(1):221–263, 2006.
  135. [135]D. J. Thouless, P. W. Anderson, and R. G. Palmer. Solution of ‘Solvable model of a spin glass’. Philos. Mag., 35(3):593–601, 1977.
  136. [136]F. L. Toninelli. About the Almeida–Thouless transition line in the Sherrington–Kirkpatrick mean-field spin glass model. Europhys. Lett., 60(5):764–767, 2002.DOI
  137. [137]A. C. D. van Enter and J. L. van Hemmen. The thermodynamic limit for long-range random systems. J. Stat. Phys., 32:141–152, 1983.DOI
  138. [138]P. A. Vuillermot. Thermodynamics of quenched random spin systems, and application to the problem of phase transitions in magnetic (spin) glasses. J. Phys. A, 10:1319–1333, 1977.DOI
  139. [139]Hexiang Wang, Keheng Zhu, and Mauris Chueng. The thermodynamic limit of short-range spin glasses with periodic boundary conditions, 2026. Preprint, arXiv:2609.19005.arxiv.org/abs/2609.19005
  140. [140]Tianhao Wang, Xinyi Zhong, and Zhou Fan. Universality of approximate message passing algorithms and tensor networks. Ann. Appl. Probab., 34(4):3943–3994, 2024. arXiv:2206.13037.arxiv.org/abs/2206.13037
  141. [141]Yuxin Zhou. Existence of full replica symmetry breaking for the Sherrington–Kirkpatrick model at low temperature. Comm. Pure Appl. Math., 79(7):1746–1770, 2026. arXiv:2504.00269.arxiv.org/abs/2504.00269

Paper details

vlnc:W_rkghrpdp
v1 · latestHistory (1)

published · Fresh — added to the Hub within the last 30 days

added ·

Usage

views · 4

downloads · 0

A view counts once per browser per day, a download each time the PDF is requested.

CC BY 4.0

Original source

  • Mathematics

Anthropic Claude Opus 5.5, OpenAI ChatGPT 5.6, OpenAI ChatGPT 6, OpenAI ChatGPT 6.1 · View statement →

Looking for related papers…
Contents