We develop an efficient algorithmic approach for approximate counting and sampling in the
low-temperature regime of a broad class of statistical physics models on finite subsets of the …

We give a fully polynomial-time approximation scheme (FPTAS) and an efficient sampling
algorithm for the high-fugacity hard-core model on bounded-degree bipartite expander …

We present a detailed probabilistic and structural analysis of the set of weighted
homomorphisms from the discrete torus Z mn, where m is even, to any fixed graph: we show …

We establish long-range order for discrete nearest-neighbor spin systems on $\mathbb {Z}^
d $ satisfying a certain symmetry assumption, when the dimension $ d $ is higher than an …

It has been shown by van den Berg and Steif (Ann. Probab. 27 (1999) 1501–1522) that the
subcritical and critical Ising model on Z^d is a finitary factor of an iid process (ffiid), whereas …

Let Q d be the d-dimensional hypercube and N= 2 d. We prove that the number of (proper) 4-
colorings of Q d is asymptotically 6e2 N, as was conjectured by Engbers and Galvin in 2012 …

A proper q-coloring of a domain in Z d is a function assigning one of q colors to each vertex
of the domain such that adjacent vertices are colored differently. Sampling a proper q …

A proper $ q $-coloring of a domain in $\mathbb {Z}^ d $ is a function assigning one of $ q $
colors to each vertex of the domain such that adjacent vertices are colored differently …

A system of hard spheres exhibits physics that is controlled only by their density. This comes
about because the interaction energy is either infinite or zero, so all allowed configurations …