Perfect Sampling in Infinite Spin Systems via Strong Spatial Mixing

  title={Perfect Sampling in Infinite Spin Systems via Strong Spatial Mixing},
  author={Konrad Anand and Mark Jerrum},
We present a simple algorithm that perfectly samples configurations from the unique Gibbs measure of a spin system on a potentially infinite graph G. The sampling algorithm assumes strong spatial mixing together with subexponential growth of G. It produces a finite window onto a perfect sample from the Gibbs distribution. The runtime is linear in the size of the window. 

Coupling from the past for exponentially ergodic one-dimensional probabilistic cellular automata

For every exponentially ergodic one-dimensional probabilistic cellular automaton with positive rates, we construct a locally defined coupling-from-the-past flow whose coalescence time has a finite

Fast and perfect sampling of subgraphs and polymer systems

We give an efficient perfect sampling algorithm for weighted, connected induced subgraphs (or graphlets ) of rooted, bounded degree graphs. Our algorithm utilizes a vertex-percolation process with a

Appendix A . A Bernoulli Factory for Margin Overflow 39 Appendix B . Monotonicity of Constraint Properties 41 Appendix C . { 2 , 3 }-tree Witness for Constraint Properties

A fast algorithm for sampling uniform solutions of general constraint satisfaction problems (CSPs) in a local lemma regime with running time polynomial in both = and Δ, which departs from all previous fast algorithms for sampling LLL.

Sampling Lovász Local Lemma For General Constraint Satisfaction Solutions In Near-Linear Time

A fast algorithm for sampling uniform solutions of general constraint satisfaction problems (CSPs) in a local lemma regime with running time polynomial in both 𝑛 and Δ, which departs from all previous fast algorithms for sampling LLL.

Improved Bounds for Sampling Solutions of Random CNF Formulas

This work aims to uniformly sample from its solution space for most Φ, a random k -CNF formula on n variables and m clauses, where each clause is a disjunction of k literals chosen independently and uniformly.



Mixing in time and space for lattice spin systems: A combinatorial view

A sharp equivalence is proved between exponential decay with distance of spin correlations and “super-fast” mixing time of the Glauber dynamics of the Markov chain Monte Carlo algorithm.

For 2-D lattice spin systems weak mixing implies strong mixing

We prove that for finite range discrete spin systems on the two dimensional latticeZ2, the (weak) mixing condition which follows, for instance, from the Dobrushin-Shlosman uniqueness condition for

Statistical mechanics of lattice systems

We study the thermodynamic limit for a classical system of particles on a lattice and prove the existence of infinite volume correlation functions for a “large” set of potentials and temperatures.

Spatial Mixing and Approximation Algorithms for Graphs with Bounded Connective Constant

It is proved that thehard core model with vertex activity λ <; λc(Δ+1) exhibits strong spatial mixing on any graph of connective constant Δ, irrespective of its maximum degree, and hence an FPTAS is derived for the partition function of the hard core model on such graphs.

Optimal mixing of Glauber dynamics: entropy factorization via high-dimensional expansion

An optimal mixing time bound for the single-site update Markov chain known as the Glauber dynamics or Gibbs sampling in a variety of settings is proved and the approximate tensorization of entropy can be deduced from entropy factorization into blocks of fixed linear size.

How to Get a Perfectly Random Sample from a Generic Markov Chain and Generate a Random Spanning Tree of a Directed Graph

Algorithms for generating a random sample from the state space of a Markov chain in accordance with the steady-state probability law of the chain are given, improving on earlier results and exploiting the duality between the two problems.

Rapid Mixing of Glauber Dynamics up to Uniqueness via Contraction

This proof utilizes that the graph partition function is a divisor of the partition function for Weitz's self-avoiding walk tree and leads to new tools for the analysis of the influence of vertices, and may be of independent interest for the study of complex zeros.

Contraction: a Unified Perspective of Correlation Decay and Zero-Freeness of 2-Spin Systems

This work introduces the contraction property as a unified sufficient condition to devise FPTAS via either Weitz's algorithm or Barvinok's algorithm and shows the existence of correlation decay in these regions based on the zero-freeness of the partition function.

Approximating the Permanent

A randomised approximation scheme for the permanent of a 0–1s presented, demonstrating that the matchings chain is rapidly mixing, apparently the first such result for a Markov chain with genuinely c...