OpenAI · 227-02 · 2026-10-05 · Probability and statistical mechanics
Functional universality of critical SK autocorrelations
preprints/Functional-universality-of-critical-SK-autocorrelations-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 that the stationary spin autocorrelation of the zero-field Sherrington–Kirkpatrick model at inverse temperature β = 1 has a common functional scaling limit for Gaussian and Rademacher couplings. With rate-one heat-bath clocks at every site, time is scaled by n2/3 and the mean spin autocorrelation is multiplied by n1/3. The functions converge in law uniformly on compact positive-time intervals. Their limiting law is not a point mass: it retains sample-to-sample randomness, and its functions decay to zero at large times.
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