Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.
MANUSCRIPT 01
Universality of critical quench autocorrelations in the Sherrington–Kirkpatrick model
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 n^(1/3), and…
Full source abstract
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 n^(1/3), and waiting times and lags are measured in units n^(2/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.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
MANUSCRIPT 02
Functional universality of critical SK autocorrelations
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 n^(2/3) and the mean spin autocorrelation is multiplied by…
Full source abstract
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 n^(2/3) and the mean spin autocorrelation is multiplied by n^(1/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.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
MANUSCRIPT 03
A spectral gap throughout the high-temperature Sherrington–Kirkpatrick phase
For every fixed inverse temperature 0< β< 1, we prove that the unscaled spectral gap of single-site heat-bath dynamics for the zero-field Gaussian Sherrington–Kirkpatrick model is bounded away from zero with probability tending to one over the disorder. Equivalently, the Gibbs law satisfies a dimension-free Poincaré inequality…
Full source abstract
For every fixed inverse temperature 0< β< 1, we prove that the unscaled spectral gap of single-site heat-bath dynamics for the zero-field Gaussian Sherrington–Kirkpatrick model is bounded away from zero with probability tending to one over the disorder. Equivalently, the Gibbs law satisfies a dimension-free Poincaré inequality for all functions.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
MANUSCRIPT 04
Cutoff throughout the high-temperature Sherrington–Kirkpatrick phase
We prove worst-case total-variation cutoff for the zero-field Gaussian Sherrington–Kirkpatrick heat-bath dynamics at every fixed inverse temperature 0\leqβ< 1. With rate-one refresh at each spin, the cutoff location is log n/(2\lambda(β)) for a positive deterministic rate \lambda(β). The location for uniformly chosen…
Full source abstract
We prove worst-case total-variation cutoff for the zero-field Gaussian Sherrington–Kirkpatrick heat-bath dynamics at every fixed inverse temperature 0\leqβ< 1. With rate-one refresh at each spin, the cutoff location is log n/(2\lambda(β)) for a positive deterministic rate \lambda(β). The location for uniformly chosen single-site update attempts is n times as large. Convergence is in probability over the disorder.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
MANUSCRIPT 05
Critical slowing down in the Sherrington–Kirkpatrick model
At the critical inverse temperature β = 1, we prove slow mixing for zero-field Gaussian Sherrington–Kirkpatrick heat-bath dynamics from typical equilibrium configurations held fixed as initial states. For every deterministic sequence t_n=o(n^{2/3}) in rate-one-per-site time, the Gibbs mass of initial states whose time-t_(n)…
Full source abstract
At the critical inverse temperature β = 1, we prove slow mixing for zero-field Gaussian Sherrington–Kirkpatrick heat-bath dynamics from typical equilibrium configurations held fixed as initial states. For every deterministic sequence t_n=o(n^{2/3}) in rate-one-per-site time, the Gibbs mass of initial states whose time-t_(n) total-variation distance from equilibrium exceeds 1/4 tends to one in probability over the disorder. The same statement holds for every deterministic integer sequence k_n=o(n^{5/3}) of uniform-site update attempts.
This PDF is listed in OpenAI's formalization catalogue. See the scope and dependencies before interpreting coverage.
MANUSCRIPT 06
Stretched-exponential barriers for typical SK initial states
At every fixed inverse temperature β > 1, we prove a stretched-exponential obstruction to mixing for the zero-field Sherrington–Kirkpatrick model from typical equilibrium configurations held fixed as initial states. The Gibbs mass of states whose total-variation distance from equilibrium at time exp(n^{1/10000}) exceeds 1/4…
Full source abstract
At every fixed inverse temperature β > 1, we prove a stretched-exponential obstruction to mixing for the zero-field Sherrington–Kirkpatrick model from typical equilibrium configurations held fixed as initial states. The Gibbs mass of states whose total-variation distance from equilibrium at time exp(n^{1/10000}) exceeds 1/4 tends to one in probability over the disorder. This holds for rate-one-per-site heat-bath dynamics and after the same stated number of discrete update attempts.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
MANUSCRIPT 07
A typical-start upper bound for low-temperature SK Glauber dynamics
For every fixed inverse temperature β > 1, we prove subexponential mixing for rate-one-per-site heat-bath dynamics in the zero-field Gaussian Sherrington–Kirkpatrick model from a typical equilibrium configuration. If one Gibbs-sampled configuration is held fixed as the initial state, its total-variation distance from…
Full source abstract
For every fixed inverse temperature β > 1, we prove subexponential mixing for rate-one-per-site heat-bath dynamics in the zero-field Gaussian Sherrington–Kirkpatrick model from a typical equilibrium configuration. If one Gibbs-sampled configuration is held fixed as the initial state, its total-variation distance from equilibrium is at most 1/4 by time exp(n^{1-1/40000000}), with joint probability tending to one over the disorder and the sampled state.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
MANUSCRIPT 08
Critical mixing in the Sherrington–Kirkpatrick model
At the critical inverse temperature β = 1, we determine the worst-start total-variation mixing exponent for single-site heat-bath dynamics in the zero-field Gaussian Sherrington–Kirkpatrick model. The mixing time is n^{2/3+o(1)} when every site has rate one, or n^{5/3+o(1)} attempted uniform-site updates, in probability over…
Full source abstract
At the critical inverse temperature β = 1, we determine the worst-start total-variation mixing exponent for single-site heat-bath dynamics in the zero-field Gaussian Sherrington–Kirkpatrick model. The mixing time is n^{2/3+o(1)} when every site has rate one, or n^{5/3+o(1)} attempted uniform-site updates, in probability over the disorder.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.