OpenAI · 227-01 · 2026-10-05 · Probability and statistical mechanics
Universality of critical quench autocorrelations in the Sherrington–Kirkpatrick model
preprints/Universality-of-critical-quench-autocorrelations-in-the-Sherrington-Kirkpatrick-model-October-5-2026
Family 227. The dynamical phase transition in the Sherrington–Kirkpatrick model.
The authors are OpenAI. This companion does not verify the proof and does not adopt it as a theorem of Ngo Cheung’s series. It is not a premise. O.1 stays NOT_CLOSED. Anti-de Sitter results are not a de Sitter state, not Em02-E’s relational lapse, not XVI-P’s QdS scheme, and not XVI-Q’s sigma-image record. No quantum coefficient is admitted. No compilation is asserted.
Read against the standing problems
Standing problems. No standing problem is named in this text. It was still read against the nine problems and does not close any of them. The authors are OpenAI. The companion does not verify the proof. This is not a premise of a manuscript by Ngo Cheung. O.1 stays NOT_CLOSED. No quantum coefficient is admitted. No compilation is asserted. XVI-P · XVI-N
For zero-field Gaussian SK heat-bath dynamics with rate-one updates per spin, proves worst-start cutoff on the scale for fixed , mixing time at , and stretched-exponential mixing from a Gibbs-sampled fixed starting configuration for , in probability over disorder. At criticality, rescaled stationary and quench autocorrelation processes have universal random limits for Gaussian and Rademacher disorder; the quench limit relaxes to the stationary limit.
We prove joint functional convergence of the stationary and quench autocorrelations of zero-field Sherrington–Kirkpatrick heat-bath dynamics at inverse temperature β = 1, with the same random limit for Gaussian and Rademacher couplings. Each site has a rate-one clock, mean spin autocorrelations are multiplied by n1/3, and waiting times and lags are measured in units n2/3. The quench starts from independent fair spins, and convergence is uniform on compact sets of positive waiting times and lags. The quench limit is selected by these initial states and relaxes to the stationary limiting autocorrelation as the waiting time tends to infinity.
Preprint source and Lean scope
The abstract above is the catalogue abstract. The sections below are the full preprint source, 0 sections. This page is not only the abstract. The manuscript file is loading.
A Lean scope note is stored for family 227, but it does not name this preprint. It names 227-03, 227-04, 227-05, 227-06. This page still has the full preprint source. No compilation is asserted. O.1 stays NOT_CLOSED.
Page curve
A finite SK autocorrelation is not a Page curve
Family 227 records a classical critical SK quench and a claimed common functional limit. Oai227-A records a two-spin stationary--quench certificate at beta=1 on [4,5] times [1,2] and does not verify 227-01. The difference is less than 1/65536 for every real coupling. Gaussian and Rademacher finite-size laws are not identified. SKRatio.lean and CriticalSKMixing.lean end in sorry and are not this certificate. A classical autocorrelation is not a Page curve. A separable spin law is not gravity-generated entanglement and not an exclusion of classical gravity. QAOA is not this heat-bath dynamics. The authors of the external preprint are OpenAI. The companion does not verify those proofs.
Page curveOai227-A finite SK certificateEm04-A XY reductionHawk02-E regulated SYK