Indexed metadata

Upper deviations of the Sherrington-Kirkpatrick free energy: the fifth-order law and the onset of constrained Parisi measures

Yan Ru Pei

Source record

Source: arXiv

Published: Oct 5, 2026

arXiv: 2610.06480

Open original source ↗

Source abstract

Let ZNZ_N be the partition function of the Sherrington-Kirkpatrick model at inverse temperature β>1β>1. Replica theory (Kondor near the critical temperature, Parisi and Rizzo at all temperatures) predicts that the probability that N−1log⁡ZNN^{-1}\log Z_N exceeds its typical value by δδ decays like exp⁡(−Naδ6/5)\exp(-Naδ^{6/5}) with an explicit constant aa; Aronow and Lopatto recently proved bounds of this order. The exponent is the Legendre transform of the Parisi problem constrained to carry an atom θθ at zero. We show that the constrained minimum exceeds the equilibrium free energy by cβθ5(1+o(1))c_βθ^5(1+o(1)), where cβ=9640β3ρβ(0)−3c_β=\frac{9}{640}β^3ρ_β(0)^{-3} and ρβ(0)>0ρ_β(0)>0 is the density at zero of the Parisi measure. With the fractional-moment formula, valid for this model, this gives the exponent 56(6cβ)−1/5δ6/5(1+o(1))\frac56(6c_β)^{-1/5}δ^{6/5}(1+o(1)) as N→∞N\to\infty and then δ→0δ\to0. The constrained minimizer has a marginal first positive contact, to leading order at 3θ/(2ρβ(0))3θ/(2ρ_β(0)) with an atom θ/2θ/2, below which a function equal to the identity at the contacts differs from it by a universal cubic to leading order. This plateau calculus applies to every mixture with ξ′′′(0)=0ξ'''(0)=0 whose Parisi measure accumulates at zero; it also shows that a small field hh opens a gap of order ∣h∣2/3|h|^{2/3} and adds a term of order ∣h∣10/3|h|^{10/3} to the free energy, and that an atom of the Parisi measure at zero, present in every pure pp-spin model with p≥3p\ge3, makes the rate leave zero linearly, with slope equal to the atom. Near criticality the constant tends to Kondor's value 9/51209/5120, the marginal regime ends at a de Almeida-Thouless threshold in the constraint, and above its first contact the constrained measure agrees with the Parisi measure up to O(θ5)O(θ^5). The results at every β>1β>1 use Lopatto's theorem that the Parisi measure accumulates at zero.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.