46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05) (2005)
Pittsburgh, Pennsylvania, USA
Oct. 23, 2005 to Oct. 25, 2005
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SFCS.2005.6
Thomas P. Hayes , Thomas P. Hayes
Alistair Sinclair , Alistair Sinclair
<p>We prove that any Markov chain that performs local, reversible updates on randomly chosen vertices of a bounded-degree graph necessarily has mixing time at least \Omega (n\log n), where n is the number of vertices. Our bound applies to the so-called "Glauber dynamics" that has been used extensively in algorithms for the Ising model, independent sets, graph colorings and other structures in computer science and statistical physics, and demonstrates that many of these algorithms are optimal up to constant factors within their class. Previously no super-linear lower bound for this class of algorithms was known. Though widely conjectured, such a bound had been proved previously only in very restricted circumstances, such as for the empty graph and the path. We also show that the assumption of bounded degree is necessary by giving a family of dynamics on graphs of unbounded degree with mixing time O(n).</p>
A. Sinclair and T. P. Hayes, "A general lower bound for mixing of single-site dynamics on graphs," 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05)(FOCS), Pittsburgh, Pennsylvania, USA, 2005, pp. 511-520.