{"id":"palomar/PALOMAR-2026-10-27-000003","url":"https://github.com/pmaronow/slowequilibration-palomar/tree/a28aaa336343c4caf43791ababd8ed0ee5c7b58e","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-10-27-000003-v1.json","repo":"https://github.com/pmaronow/slowequilibration-palomar","tags":["math.PR","math.LO","msc:60K35","msc:82B44","msc:03B35"],"score":0,"title":"Slow Equilibration and Persistent Stationary Correlations in Spherical Spin Glasses","trust":"high","domain":"math.PR","source":"palomar","authors":["P. M. Aronow"],"reviews":0,"subject":"math.PR","summary":"Lean formalization of the six headline result groups: Theorem 1.2, Corollary 1.3, and Theorems 1.4–1.7. Theorem 1.2, Corollary 1.3, and the asymptotic clauses of Theorem 1.4 are conditional only on Chen’s finite-mixture Parisi formula. Universal pressure lower tails are proved internally. The finite-dimensional Haar comparison and Theorems 1.5–1.7 have no literature premise. The manuscript and exact model assumptions are included.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-10-27","reactions":{},"formalized":true,"formalizes":[{"title":"Slow Equilibration and Persistent Stationary Correlations in Spherical Spin Glasses","identifier":"","relationship":"formalizes"}]}