Rapid Mixing from Spectral Independence beyond the Boolean Domain

Abstract

We extend the notion of spectral independence (introduced by Anari, Liu, and Oveis Gharan [4]) from the Boolean domain to general discrete domains. This property characterises distributions with limited correlations and implies that the corresponding Glauber dynamics is rapidly mixing.As a concrete application, we show that Glauber dynamics for sampling properq-colourings mixes in polynomial-time for the family of triangle-free graphs with maximum degree Δ providedq≥ (α*+δ)Δ whereα*≈ 1.763 is the unique solution toα*= exp (1/α*) andδÞ 0 is any constant. This is the first efficient algorithm for sampling properq-colourings in this regime with possibly unbounded Δ. Our main tool of establishing spectral independence is the recursive coupling by Goldberg, Martin, and Paterson [25].