Abstract:Over the past decades, a fascinating computational phase transition has been identified in sampling from Gibbs distributions. Though, the computational complexity at the critical point remains poorly understood, as previous algorithmic and hardness results all required a constant slack from this threshold. In this paper, we resolve this open question at the critical phase transition threshold, thus completing the picture of the computational phase transition. We show that for the hardcore model on graphs with maximum degree $\Delta\ge 3$ at the uniqueness threshold $\lambda = \lambda_c(\Delta)$, the mixing time of Glauber dynamics is upper bounded by a polynomial in $n$, but is not nearly linear in the worst case. For the Ising model (either antiferromagnetic or ferromagnetic), we establish similar results. For the Ising model on graphs with maximum degree $\Delta\ge 3$ at the critical temperature $\beta$ where $|\beta| = \beta_c(\Delta)$, with the tree-uniqueness threshold $\beta_c(\Delta)$, we show that the mixing time of Glauber dynamics is upper bounded by $\tilde{O}\left(n^{2 + O(1/\Delta)}\right)$ and lower bounded by $\Omega\left(n^{3/2}\right)$ in the worst case. For the Ising model specified by a critical interaction matrix $J$ with $\left \lVert J \right \rVert_2=1$, we obtain an upper bound $\tilde{O}(n^{3/2})$ for the mixing time, matching the lower bound $\Omega\left(n^{3/2}\right)$ on the complete graph up to a logarithmic factor. Our mixing time upper bounds are derived from a new interpretation and analysis of the localization scheme method introduced by Chen and Eldan (2022), applied to the field dynamics for the hardcore model and the proximal sampler for the Ising model. As key steps in both our upper and lower bounds, we establish sub-linear upper and lower bounds for spectral independence at the critical point for worst-case instances.

Geometric bounds on the fastest mixing Markov chain

Bounds on Mixing Time for Time-Inhomogeneous Markov Chains

For every quantum walk there is a (classical) lifted Markov chain with faster mixing time

Bounds on Lifting Continuous Markov Chains to Speed Up Mixing

Locally Stationary Distributions: A Framework for Analyzing Slow-Mixing Markov Chains

Elementary Bounds On Mixing Times for Decomposable Markov Chains

Speeding up random walk mixing by starting from a uniform vertex

Rapid mixing for the hardcore Glauber dynamics and other Markov chains in bounded-treewidth graphs

Estimating the Mixing Time of Ergodic Markov Chains

Rapid mixing of global Markov chains via spectral independence: the unbounded degree case

Rapid mixing of the down-up walk on matchings of a fixed size

On Mixing of Markov Chains: Coupling, Spectral Independence, and Entropy Factorization

Rapid Mixing at the Uniqueness Threshold

Lifting Markov Chains To Mix Faster: Limits and Opportunities

Mixing Time of Vertex-Weighted Exponential Random Graphs

Cutoff for mixtures of permuted Markov chains: reversible case

Rapid Mixing of Glauber Dynamics Via Spectral Independence for All Degrees

The switch Markov chain for sampling irregular graphs and digraphs

Faster quantum mixing for slowly evolving sequences of Markov chains

A rapidly mixing Markov chain from any gapped quantum many-body system

Mixing Time of Glauber Dynamics With Parallel Updates and Heterogeneous Fugacities