mathematical-physics / Spin glasses; jamming; random constraint satisfaction

Franz-Parisi jamming exponents in the negative spherical perceptron, at margin -1

Theorem 1.1: for the spherical perceptron with margin −1-1 and quadratic penalty there is a sharp feasibility threshold αc\alpha_c; the ordered limits (size, then zero temperature, then α↓αc\alpha\downarrow\alpha_c) of the contact-removed gap law and mean-one force law exist with GJ(u)=u1−γ+o(1)G_J(u)=u^{1-\gamma+o(1)}, FJ(s)=s1+θ+o(1)F_J(s)=s^{1+\theta+o(1)}, γ=(2+θ)−1\gamma=(2+\theta)^{-1}, 0.4126930<γ<0.41269340.4126930<\gamma<0.4126934, 0.4231063<θ<0.42310880.4231063<\theta<0.4231088, and the critical limit is isostatic. The same holds for a small Gaussian scale mixture of coordinates. Not shown: other negative margins, the unpenalized hard-constraint model directly, other limit orders, or finite-size scaling.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

mathematical-physicsSep 24, 2026Significance 22/100Registry: unreviewed

Franz-Parisi jamming exponents in the negative spherical perceptron, at margin -1

Prior state unknown→proved

Theorem 1.1: for the spherical perceptron with margin −1-1 and quadratic penalty there is a sharp feasibility threshold αc\alpha_c; the ordered limits (size, then zero temperature, then α↓αc\alpha\downarrow\alpha_c) of the contact-removed gap law and mean-one force law exist with GJ(u)=u1−γ+o(1)G_J(u)=u^{1-\gamma+o(1)}, FJ(s)=s1+θ+o(1)F_J(s)=s^{1+\theta+o(1)}, γ=(2+θ)−1\gamma=(2+\theta)^{-1}, 0.4126930<γ<0.41269340.4126930<\gamma<0.4126934, 0.4231063<θ<0.42310880.4231063<\theta<0.4231088…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: for the spherical perceptron with margin −1-1 and quadratic penalty there is a sharp feasibility threshold αc\alpha_c; the ordered limits (size, then zero temperature, then α↓αc\alpha\downarrow\alpha_c) of the contact-removed gap law and mean-one force law exist with GJ(u)=u1−γ+o(1)G_J(u)=u^{1-\gamma+o(1)}, FJ(s)=s1+θ+o(1)F_J(s)=s^{1+\theta+o(1)}, γ=(2+θ)−1\gamma=(2+\theta)^{-1}, 0.4126930<γ<0.41269340.4126930<\gamma<0.4126934, 0.4231063<θ<0.42310880.4231063<\theta<0.4231088, and the critical limit is isostatic. The same holds for a small Gaussian scale mixture of coordinates. Not shown: other negative margins, the unpenalized hard-constraint model directly, other limit orders, or finite-size scaling.

Theorem 1.1: for the spherical perceptron with margin −1-1 and quadratic penalty there is a sharp feasibility threshold αc\alpha_c; the ordered limits (size, then zero temperature, then α↓αc\alpha\downarrow\alpha_c) of the contact-removed gap law and mean-one force law exist with GJ(u)=u1−γ+o(1)G_J(u)=u^{1-\gamma+o(1)}, FJ(s)=s1+θ+o(1)F_J(s)=s^{1+\theta+o(1)}, γ=(2+θ)−1\gamma=(2+\theta)^{-1}, 0.4126930<γ<0.41269340.4126930<\gamma<0.4126934, 0.4231063<θ<0.42310880.4231063<\theta<0.4231088, and the critical limit is isostatic. The same holds for a small Gaussian scale mixture of coordinates. Not shown: other negative margins, the unpenalized hard-constraint model directly, other limit orders, or finite-size scaling.

Recorded attempts

Evidence graph

Connected research record

Franz-Parisi jamming exponents in the negative spherical perceptron, at margin -1 — Mathematical Frontier Network