The mixing time of Mean-Field Gibbs-Ornstein-Uhlenbeck processes
Abstract
We introduce mean-field Gibbs--Ornstein--Uhlenbeck (MFGOU) processes, a class of discrete-time Markov processes with increments of order 1/n, whose conditional means approximate a smooth vector field. If the field has a unique attracting zero and satisfies a global Lyapunov condition, we prove τmix = 1/λ1nlog n+O(n), where λ1 is the smallest eigenvalue of the drift Jacobian at the attractor. Mean-field block measures form an important subclass encompassing mean-field spin systems and projected Gibbs samplers for Latent Dirichlet Allocation (LDA) and related mixture models. The leading mixing constant has a spectral expression involving the free-energy Hessian and the covariance of single-step dynamics. A block-refinement argument transfers projected-chain results to the full chain under a mild spectral condition, preserving this constant. The theory recovers known cutoff locations for Curie--Weiss Ising and Potts models and complete multipartite Ising models, gives an external-field formula for Curie--Weiss Ising, and covers regular-graph interactions. It yields explicit nlog n asymptotics for multinomial mixtures and partially collapsed LDA. For full LDA, mixing is determined conditionally on the stationary-point structure of the free energy, distinguishing metastability from topic-label switching. The framework also applies to continuous-state Gibbs sampling, constant-step stochastic gradient descent, and frequently refreshed Hamiltonian Monte Carlo, rigorously for truncated Gaussian increments and heuristically without truncation. The proof combines variance and mean estimates with path coupling allowing slight expansion in expected distance. After rescaling, the coupling distance is a nonnegative supermartingale whose quadratic variation gives a positive probability of coalescence.
Related
- Fourier-Laplace transforms in polynomial Ornstein-Uhlenbeck volatility models
- Sharp Logarithmic Sobolev Inequalities for q-Araki-Woods Ornstein-Uhlenbeck Semigroups
- Ornstein-Uhlenbeck Is Hard to Beat, Yet Superlinear Drift Ships Lower Transport Costs
- PSEUDOSPECTRAL PHENOMENA PREVENTING THE ANALYTICITY SECTOR OF A ORNSTEIN-UHLENBECK SEMIGROUP TO BE RULED BY THE SPECTRAL ANGLE OF ITS GENERATOR
- Spectral and mapping properties of the inverse Ornstein--Uhlenbeck operator
BibTeX
@misc{jonasson2026mixing,
title = {{The mixing time of Mean-Field Gibbs-Ornstein-Uhlenbeck processes}},
author = {Johan Jonasson},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.08103},
eprint = {2610.08103},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.08103},
}
RIS
TY - UNPB
TI - The mixing time of Mean-Field Gibbs-Ornstein-Uhlenbeck processes
AU - Johan Jonasson
PY - 2026
DA - 2026/10/06
PB - arXiv
DO - 10.48550/arxiv.2610.08103
UR - https://arxiv.org/abs/2610.08103
AB - We introduce mean-field Gibbs--Ornstein--Uhlenbeck (MFGOU) processes, a class of discrete-time Markov processes with increments of order 1/n, whose conditional means approximate a smooth vector field. If the field has a unique attracting zero and satisfies a global Lyapunov condition, we prove τ_mix = 1/λ_1nlog n+O(n), where λ_1 is the smallest eigenvalue of the drift Jacobian at the attractor. Mean-field block measures form an important subclass encompassing mean-field spin systems and projected Gibbs samplers for Latent Dirichlet Allocation (LDA) and related mixture models. The leading mixing constant has a spectral expression involving the free-energy Hessian and the covariance of single-step dynamics. A block-refinement argument transfers projected-chain results to the full chain under a mild spectral condition, preserving this constant. The theory recovers known cutoff locations for Curie--Weiss Ising and Potts models and complete multipartite Ising models, gives an external-field formula for Curie--Weiss Ising, and covers regular-graph interactions. It yields explicit nlog n asymptotics for multinomial mixtures and partially collapsed LDA. For full LDA, mixing is determined conditionally on the stationary-point structure of the free energy, distinguishing metastability from topic-label switching. The framework also applies to continuous-state Gibbs sampling, constant-step stochastic gradient descent, and frequently refreshed Hamiltonian Monte Carlo, rigorously for truncated Gaussian increments and heuristically without truncation. The proof combines variance and mean estimates with path coupling allowing slight expansion in expected distance. After rescaling, the coupling distance is a nonnegative supermartingale whose quadratic variation gives a positive probability of coalescence.
ER -