Slow mixing of Glauber dynamics for the hard‐core model on regular bipartite graphs

Let $\gS=(V,E)$ be a finite, $d$-regular bipartite graph. For any $\lambda>0$ let $\pi_\lambda$ be the probability measure on the independent sets of $\gS$ in which the set $I$ is chosen with probability proportional to $\lambda^{|I|}$ ($\pi_\lambda$ is the {\em hard-core measure with activity $\lambda$ on $\gS$}). We study the Glauber dynamics, or single-site update Markov chain, whose stationary distribution is $\pi_\lambda$. We show that when $\lambda$ is large enough (as a function of $d$ and the expansion of subsets of single-parity of $V$) then the convergence to stationarity is exponentially slow in $|V(\gS)|$. In particular, if $\gS$ is the $d$-dimensional hypercube $\{0,1\}^d$ we show that for values of $\lambda$ tending to 0 as $d$ grows, the convergence to stationarity is exponentially slow in the volume of the cube. The proof combines a conductance argument with combinatorial enumeration methods.

[1]  Béla Bollobás,et al.  Modern Graph Theory , 2002, Graduate Texts in Mathematics.

[2]  H. Chernoff A Measure of Asymptotic Efficiency for Tests of a Hypothesis Based on the sum of Observations , 1952 .

[3]  Reinhard Diestel,et al.  Graph Theory , 1997 .

[4]  Béla Bollobás,et al.  Random Graphs , 1985 .

[5]  S. Zachary,et al.  Loss networks , 2009, 0903.0640.

[6]  Victor K.-W. Wei,et al.  Odd and even hamming spheres also have minimum boundary , 1984, Discret. Math..

[7]  Eric Vigoda,et al.  A Note on the Glauber Dynamics for Sampling Independent Sets , 2001, Electron. J. Comb..

[8]  J. Berg,et al.  Percolation and the hard-core lattice gas model , 1994 .

[9]  R. Dobrushin The problem of uniqueness of a gibbsian random field and the problem of phase transitions , 1968 .

[10]  László Lovász,et al.  On the ratio of optimal integral and fractional covers , 1975, Discret. Math..

[11]  S. K Stein,et al.  Two Combinatorial Covering Theorems , 1974, J. Comb. Theory, Ser. A.

[12]  Martin E. Dyer,et al.  On Counting Independent Sets in Sparse Graphs , 2002, SIAM J. Comput..

[13]  Jeff Kahn,et al.  On Phase Transition in the Hard-Core Model on ${\mathbb Z}^d$ , 2004, Combinatorics, Probability and Computing.

[14]  M. Luby,et al.  Fast convergence of the Glauber dynamics for sampling independent sets , 1999, Random Struct. Algorithms.

[15]  Alan M. Frieze,et al.  Torpid mixing of some Monte Carlo Markov chain algorithms in statistical physics , 1999, 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039).

[16]  David J. Galvin,et al.  On homomorphisms from the Hamming cube to Z , 2003 .

[17]  Sergei L. Bezrukov Minimization of Surrounding of Subsets in Hamming Space , 2002 .