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.

Mixing Time and Cutoff for the k-SEP

Cutoff of the simple exclusion process with inhomogeneous conductances

Mixing times for the TASEP on the circle

Mixing Times for the Facilitated Exclusion Process

Mixing times and cutoff for the TASEP in the high and low density phase

Cutoff for the mixing time of the Facilitated Exclusion Process

Cutoff for the transience and mixing time of a SSEP with traps and consequences on the FEP

Cutoff for the Bernoulli-Laplace urn model with $o(n)$ swaps

Mixing times of the biased card shuffling and the asymmetric exclusion process

Cutoff for mixtures of permuted Markov chains: reversible case

Cutoff for mixtures of permuted Markov chains: general case

Mixing Time of Near-Critical Random Graphs

Limit Profile for Projections of Random Walks on Groups

Graphical constructions of simple exclusion processes with applications to random environments

Cutoff in the Bernoulli-Laplace Model With Unequal Colors and Urn Sizes

Mixing of the symmetric beta-binomial splitting process on arbitrary graphs

Mixing under Monotone Censoring

Rapid Mixing at the Uniqueness Threshold

Asymmetric simple exclusion process on the percolation cluster: Waiting time distribution in side-branches

Sensitivity of mixing times

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