mathematical-physics / Spin glasses: mean-field models with rotationally invariant couplings

The limiting free energy of orthogonally invariant Ising spin glasses at every temperature

Theorem 1.1: under the stated spectral assumptions, lim⁡EPN=lim⁡PN=inf⁡p{S(p)+G1(p)}\lim\mathbb EP_N=\lim P_N=\inf_p\{S(p)+G_1(p)\} almost surely, where pp ranges over overlap quantile functions, SS is a Parisi-type one-site functional and G1G_1 involves the edge-extended RR-transform of μ\mu; no independence across NN is needed. Extensions: deterministic external fields converging in Wasserstein-1, random spectra, the zero-temperature ground-state energy, and Gaussian Hopfield consequences (limiting max and min of N−1∥Gσ∥2N^{-1}\|G\sigma\|_2). Not shown: outliers in the spectrum, explicit identification with the published 1RSB formulas, or the structure (full RSB or not) of the optimizer.

15Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

mathematical-physicsSep 25, 2026Significance 15/100Registry: lean checked

The limiting free energy of orthogonally invariant Ising spin glasses at every temperature

Prior state unknown→proved

Theorem 1.1: under the stated spectral assumptions, lim⁡EPN=lim⁡PN=inf⁡p{S(p)+G1(p)}\lim\mathbb EP_N=\lim P_N=\inf_p\{S(p)+G_1(p)\} almost surely, where pp ranges over overlap quantile functions, SS is a Parisi-type one-site functional and G1G_1 involves the edge-extended RR-transform of μ\mu; no independence across NN is needed. Extensions: deterministic external fields converging in Wasserstein-1, random spectra, the zero-temperature grou…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: under the stated spectral assumptions, lim⁡EPN=lim⁡PN=inf⁡p{S(p)+G1(p)}\lim\mathbb EP_N=\lim P_N=\inf_p\{S(p)+G_1(p)\} almost surely, where pp ranges over overlap quantile functions, SS is a Parisi-type one-site functional and G1G_1 involves the edge-extended RR-transform of μ\mu; no independence across NN is needed. Extensions: deterministic external fields converging in Wasserstein-1, random spectra, the zero-temperature ground-state energy, and Gaussian Hopfield consequences (limiting max and min of N−1∥Gσ∥2N^{-1}\|G\sigma\|_2). Not shown: outliers in the spectrum, explicit identification with the published 1RSB formulas, or the structure (full RSB or not) of the optimizer.

Theorem 1.1: under the stated spectral assumptions, lim⁡EPN=lim⁡PN=inf⁡p{S(p)+G1(p)}\lim\mathbb EP_N=\lim P_N=\inf_p\{S(p)+G_1(p)\} almost surely, where pp ranges over overlap quantile functions, SS is a Parisi-type one-site functional and G1G_1 involves the edge-extended RR-transform of μ\mu; no independence across NN is needed. Extensions: deterministic external fields converging in Wasserstein-1, random spectra, the zero-temperature ground-state energy, and Gaussian Hopfield consequences (limiting max and min of N−1∥Gσ∥2N^{-1}\|G\sigma\|_2). Not shown: outliers in the spectrum, explicit identification with the published 1RSB formulas, or the structure (full RSB or not) of the optimizer.

Recorded attempts

Evidence graph

Connected research record