mathematical-physics / Spin glasses; perceptron models

The finite-temperature free energy of the spherical perceptron with bounded continuous potentials (Gyorgyi-Reimann continuous-RSB formula)

Theorem 1.1: for all α,β>0\alpha,\beta>0 and ϕ∈Cb(R)\phi\in C_b(\mathbb R), EpN\mathbb Ep_N and pNp_N (in probability) converge to inf⁡m{αVβϕ(m)+S(m)}\inf_m\{\alpha V_{\beta\phi}(m)+S(m)\} over nondecreasing m:[0,1]→[0,1]m:[0,1]\to[0,1], with VV a Brownian stochastic-control value and SS the spherical entropy; this matches the Gyorgyi-Reimann continuous-RSB functional. Companions: the analogous formula for the Gaussian Ising perceptron with any bounded Borel log-potential at all densities and positive temperatures, and for spherical models with bi-orthogonally invariant disorder without outliers. Not shown: hard constraints or zero temperature (storage capacity), discontinuous potentials in the spherical case, or properties of the optimizer.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

mathematical-physicsSep 24, 2026Significance 20/100Registry: lean checked

The finite-temperature free energy of the spherical perceptron with bounded continuous potentials (Gyorgyi-Reimann continuous-RSB formula)

Prior state unknown→proved

Theorem 1.1: for all α,β>0\alpha,\beta>0 and ϕ∈Cb(R)\phi\in C_b(\mathbb R), EpN\mathbb Ep_N and pNp_N (in probability) converge to inf⁡m{αVβϕ(m)+S(m)}\inf_m\{\alpha V_{\beta\phi}(m)+S(m)\} over nondecreasing m:[0,1]→[0,1]m:[0,1]\to[0,1], with VV a Brownian stochastic-control value and SS the spherical entropy; this matches the Gyorgyi-Reimann continuous-RSB functional. Companions: the analogous formula for the Gaussian Ising perceptron with any bound…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: for all α,β>0\alpha,\beta>0 and ϕ∈Cb(R)\phi\in C_b(\mathbb R), EpN\mathbb Ep_N and pNp_N (in probability) converge to inf⁡m{αVβϕ(m)+S(m)}\inf_m\{\alpha V_{\beta\phi}(m)+S(m)\} over nondecreasing m:[0,1]→[0,1]m:[0,1]\to[0,1], with VV a Brownian stochastic-control value and SS the spherical entropy; this matches the Gyorgyi-Reimann continuous-RSB functional. Companions: the analogous formula for the Gaussian Ising perceptron with any bounded Borel log-potential at all densities and positive temperatures, and for spherical models with bi-orthogonally invariant disorder without outliers. Not shown: hard constraints or zero temperature (storage capacity), discontinuous potentials in the spherical case, or properties of the optimizer.

Theorem 1.1: for all α,β>0\alpha,\beta>0 and ϕ∈Cb(R)\phi\in C_b(\mathbb R), EpN\mathbb Ep_N and pNp_N (in probability) converge to inf⁡m{αVβϕ(m)+S(m)}\inf_m\{\alpha V_{\beta\phi}(m)+S(m)\} over nondecreasing m:[0,1]→[0,1]m:[0,1]\to[0,1], with VV a Brownian stochastic-control value and SS the spherical entropy; this matches the Gyorgyi-Reimann continuous-RSB functional. Companions: the analogous formula for the Gaussian Ising perceptron with any bounded Borel log-potential at all densities and positive temperatures, and for spherical models with bi-orthogonally invariant disorder without outliers. Not shown: hard constraints or zero temperature (storage capacity), discontinuous potentials in the spherical case, or properties of the optimizer.

Recorded attempts

Evidence graph

Connected research record