Improved Bounds for Randomly Sampling Colorings via Linear Programming

10/30/2018
by   Sitan Chen, et al.
0

A well-known conjecture in computer science and statistical physics is that Glauber dynamics on the set of k-colorings of a graph G on n vertices with maximum degree Δ is rapidly mixing for k>Δ+2. In FOCS 1999, Vigoda showed that the flip dynamics (and therefore also Glauber dynamics) is rapidly mixing for any k>11/6Δ. It turns out that there is a natural barrier at 11/6, below which there is no one-step coupling that is contractive with respect to the Hamming metric, even for the flip dynamics. We use linear programming and duality arguments to fully characterize the obstructions to going beyond 11/6. These extremal configurations turn out to be quite brittle, and in this paper we use this to give two proofs that the Glauber dynamics is rapidly mixing for any k>(11/6 - ϵ_0)Δ for some absolute constant ϵ_0>0. This is the first improvement to Vigoda's result that holds for general graphs. Our first approach analyzes a variable-length coupling in which these configurations break apart with high probability before the coupling terminates, and our other approach analyzes a one-step path coupling with a new metric that counts the extremal configurations. Additionally, our results extend to list coloring, a widely studied generalization of coloring, where the previously best known results required k > 2 Δ.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/09/2018

Linear Programming Bounds for Randomly Sampling Colorings

Here we study the problem of sampling random proper colorings of a bound...
research
04/11/2018

Rapid mixing of Glauber dynamics for colorings below Vigoda's 11/6 threshold

A well-known conjecture in computer science and statistical physics is t...
research
03/22/2021

From Coupling to Spectral Independence and Blackbox Comparison with the Down-Up Walk

We show that the existence of a “good” coupling w.r.t. Hamming distance ...
research
04/04/2023

Strong spatial mixing for colorings on trees and its algorithmic applications

Strong spatial mixing (SSM) is an important quantitative notion of corre...
research
10/30/2020

Glauber dynamics for colourings of chordal graphs and graphs of bounded treewidth

The Glauber dynamics on the colourings of a graph is a random process wh...
research
04/12/2022

Square coloring planar graphs with automatic discharging

The discharging method is a powerful proof technique, especially for gra...

Please sign up or login with your details

Forgot password? Click here to reset