Improved mixing condition on the grid for counting and sampling independent sets

Cited 15 time in webofscience Cited 0 time in scopus
  • Hit : 54
  • Download : 0
The hard-core model has received much attention in the past couple of decades as a lattice gas model with hard constraints in statistical physics, a multicast model of calls in communication networks, and as a weighted independent set problem in combinatorics, probability and theoretical computer science. In this model, each independent set I in a graph G is weighted proportionally to lambda(|I|), for a positive real parameter lambda. For large lambda, computing the partition function (namely, the normalizing constant which makes the weighting a probability distribution on a finite graph) on graphs of maximum degree Delta a parts per thousand yen 3, is a well known computationally challenging problem. More concretely, let denote the critical value for the so-called uniqueness threshold of the hard-core model on the infinite Delta-regular tree; recent breakthrough results of Weitz (Proceedings of the 38th Annual ACM Symposium on Theory of Computing (STOC), pp. 140-149, 2006) and Sly (Proceedings of the 51st Annual IEEE Symposium on Foundations of Computer Science (FOCS), pp. 287-296, 2010) have identified as a threshold where the hardness of estimating the above partition function undergoes a computational transition. We focus on the well-studied particular case of the square lattice , and provide a new lower bound for the uniqueness threshold, in particular taking it well above . Our technique refines and builds on the tree of self-avoiding walks approach of Weitz, resulting in a new technical sufficient criterion (of wider applicability) for establishing strong spatial mixing (and hence uniqueness) for the hard-core model. Our new criterion achieves better bounds on strong spatial mixing when the graph has extra structure, improving upon what can be achieved by just using the maximum degree. Applying our technique to we prove that strong spatial mixing holds for all lambda < 2.3882, improving upon the work of Weitz that held for lambda < 27/16 = 1.6875. Our results imply a fully-polynomial deterministic approximation algorithm for estimating the partition function, as well as rapid mixing of the associated Glauber dynamics to sample from the hard-core distribution.
Publisher
SPRINGER
Issue Date
2013-06
Language
English
Article Type
Article
Citation

PROBABILITY THEORY AND RELATED FIELDS, v.156, no.1-2, pp.75 - 99

ISSN
0178-8051
DOI
10.1007/s00440-012-0421-8
URI
http://hdl.handle.net/10203/254789
Appears in Collection
EE-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 15 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0