Rapid Mixing via Coupling Independence for Spin Systems with Unbounded Degree

TL;DR

This paper introduces a new coupling independence framework to analyze rapid mixing times of Glauber dynamics in unbounded degree spin systems, achieving optimal or near-optimal results for coloring and hardcore models.

Contribution

It develops a novel framework for proving rapid mixing in unbounded degree spin systems, applicable to various models and improving existing bounds.

Findings

Proves $O(n)$ relaxation time for random $q$-list-coloring under certain conditions.

Establishes $O(n)$ relaxation time and near-linear mixing for hardcore models in balanced bipartite graphs.

Introduces coupling independence as a key technique for analyzing Glauber dynamics.

Abstract

We develop a new framework to prove the mixing or relaxation time for the Glauber dynamics on spin systems with unbounded degree. It works for general spin systems including both $2$-spin and multi-spin systems. As applications for this approach: $\bullet$ We prove the optimal $O(n)$ relaxation time for the Glauber dynamics of random $q$-list-coloring on an $n$-vertices triangle-tree graph with maximum degree $\Delta$ such that $q/\Delta > \alpha^\star$, where $\alpha^\star \approx 1.763$ is the unique positive solution of the equation $\alpha = \exp(1/\alpha)$. This improves the $n^{1+o(1)}$ relaxation time for Glauber dynamics obtained by the previous work of Jain, Pham, and Vuong (2022). Besides, our framework can also give a near-linear time sampling algorithm under the same condition. $\bullet$ We prove the optimal $O(n)$ relaxation time and near-optimal $\widetilde{O}(n)$ mixing time for the Glauber dynamics on hardcore models with parameter $\lambda$ in $\textit{balanced}$ bipartite graphs such that $\lambda < \lambda_c(\Delta_L)$ for the max degree $\Delta_L$ in left part and the max degree $\Delta_R$ of right part satisfies $\Delta_R = O(\Delta_L)$. This improves the previous result by Chen, Liu, and Yin (2023). At the heart of our proof is the notion of $\textit{coupling independence}$ which allows us to consider multiple vertices as a huge single vertex with exponentially large domain and do a "coarse-grained" local-to-global argument on spin systems. The technique works for general (multi) spin systems and helps us obtain some new comparison results for Glauber dynamics.