Markov chains for the hard-core model via polymer models
Authors:
- Andreas GalanisAGAndreas Galanis
- Leslie Ann GoldbergLGLeslie Ann Goldberg
- James StewartJSJames Stewart
Preprint
Abstract
Jenssen, Keevash and Perkins give an FPTAS and an efficient sampling algorithm for the high-fugacity hard-core model on bounded-degree bipartite expander graphs. Their method is based on using the cluster expansion to obtain a zero-free region for a so-called polymer model partition function in the complex plane, and then approximating the polymer partition function using the Taylor series truncation method of Barvinok. We circumvent the zero-free analysis and the generalisation to complex fugacities, showing that the polymer partition function can be approximated using Glauber dynamics on polymers. The proof that polymer Glauber dynamics mixes rapidly is easy and is based on using the sizes of the disagreeing polymers as a distance function. We then use Markov chain comparison to show that the hard-core partition function can be approximated using spin Glauber dynamics restricted to even and odd dominant portions of the state space. Our techniques also apply to the Ferromagnetic Potts model.Keywords
All Related Versions
This publication has 12 references indexed in Scilit:
- Algorithms for #BIS-Hard Problems on Expander GraphsSIAM Journal on Computing, 2020
- Deterministic Polynomial-Time Approximation Algorithms for Partition Functions and Graph PolynomialsSIAM Journal on Computing, 2017
- #BIS-hardness for 2-spin systems on bipartite bounded degree graphs in the tree non-uniqueness regionJournal of Computer and System Sciences, 2016
- Inapproximability of the Partition Function for the Antiferromagnetic Ising and Hard-Core ModelsCombinatorics, Probability and Computing, 2016
- Computing the Permanent of (Some) Complex MatricesFoundations of Computational Mathematics, 2015
- Left and right convergence of graphs with bounded degreeRandom Structures & Algorithms, 2012
- Slow mixing of Glauber dynamics for the hard‐core model on regular bipartite graphsRandom Structures & Algorithms, 2005
- On Markov Chains for Independent SetsJournal of Algorithms, 2000
- Analyzing Glauber dynamics by comparison of Markov chainsJournal of Mathematical Physics, 2000
- Cluster expansion for abstract polymer modelsCommunications in Mathematical Physics, 1986