Strong spatial mixing for list coloring of graphs
The property of spatial mixing and strong spatial mixing in spin systems has been of interest because of its implications on uniqueness of Gibbs measures on infinite graphs and efficient approximation of counting problems that are otherwise known to be hard. In the context of coloring, strong spatial mixing has been established for regular trees in [GeStefankovic11] when where the number of colors, is the degree and is the unique solution to . It has also been established in [GoldbergMartinPaterson05] for bounded degree lattice graphs whenever for some constant , where is the maximum vertex degree of the graph. The latter uses a technique based on recursively constructed coupling of Markov chains whereas the former is based on establishing decay of correlations on the tree. We establish strong spatial mixing of list colorings on arbitrary bounded degree triangle-free graphs whenever the size of the list of each vertex is at least where is the degree of vertex and and is a constant that only depends on . We do this by proving the decay of correlations via recursive contraction of the distance between the marginals measured with respect to a suitably chosen error function.