Rapid mixing of Swendsen-Wang and single-bond dynamics in two dimensions
We prove that the spectral gap of the Swendsen-Wang dynamics for the random-cluster model on arbitrary graphs with m edges is bounded above by 16 m log m times the spectral gap of the single-bond (or heat-bath) dynamics. This and the corresponding lower bound imply that rapid mixing of these two dynamics is equivalent. Using the known lower bound on the spectral gap of the Swendsen-Wang dynamics for the two dimensional square lattice $Z_L^2$ of side length L at high temperatures and a result for the single-bond dynamics on dual graphs, we obtain rapid mixing of both dynamics on $\Z_L^2$ at all non-critical temperatures. In particular this implies, as far as we know, the first proof of rapid mixing of a classical Markov chain for the Ising model on $\Z_L^2$ at all temperatures.
💡 Research Summary
The paper establishes a quantitative relationship between the spectral gaps of two widely used Markov chains for the random‑cluster model: the Swendsen‑Wang (SW) dynamics and the single‑bond (heat‑bath) dynamics. For any graph with m edges, the authors prove the inequality
gap(P_SW) ≤ 16 m log m · gap(P_SB).
The proof exploits the common random‑cluster representation of both algorithms. While SW performs a global update by recoloring entire clusters, the single‑bond chain updates the state of a single edge according to its conditional distribution. By expressing the Dirichlet forms of the two transition operators and constructing a “radial” path that isolates the contribution of each edge, the authors bound the ratio of the two Dirichlet forms by 16 log m, which yields the stated spectral‑gap comparison after accounting for the m edges.
Together with a known lower‑bound comparison (gap(P_SB) ≤ C·gap(P_SW) for a constant C), this result shows that rapid mixing of one chain is equivalent to rapid mixing of the other: if one has a polynomial mixing time, so does the other, up to a factor polynomial in the size of the underlying graph.
The second part of the work applies this general comparison to the two‑dimensional square lattice ℤ²_L. Prior results give a lower bound on the SW gap at high temperature (small inverse temperature β), implying that SW mixes in O(L² log L) steps on ℤ²_L. By the gap comparison, the single‑bond dynamics inherits the same mixing bound in the high‑temperature regime.
To extend the result to low temperatures (β > β_c), the authors use planar duality. The single‑bond dynamics on the dual lattice corresponds to the SW dynamics on the primal lattice, and the previously obtained high‑temperature bound for SW on the dual graph translates into a low‑temperature bound for the single‑bond chain on the original lattice. Consequently, both dynamics mix rapidly for all non‑critical temperatures on ℤ²_L.
Because the random‑cluster model with q = 2 is exactly equivalent to the Ising model, the paper delivers, to the authors’ knowledge, the first rigorous proof that a classical Markov chain (either SW or heat‑bath) for the Ising model on the two‑dimensional torus mixes in polynomial time at every temperature away from the critical point. This resolves a long‑standing open problem concerning the efficiency of standard Monte‑Carlo algorithms for the Ising model in two dimensions.
The paper is organized as follows: Section 1 introduces the random‑cluster model, the two dynamics, and the notion of spectral gap. Section 2 develops the Dirichlet‑form comparison and proves the 16 m log m upper bound. Section 3 combines this with existing lower‑bound results to obtain the equivalence of rapid mixing. Section 4 applies the theory to ℤ²_L, discusses the high‑temperature SW gap, the duality argument for low temperatures, and derives the rapid‑mixing corollary for the Ising model. Section 5 concludes with remarks on possible extensions to higher dimensions, other values of q (Potts models), and alternative dynamics.
In summary, the authors provide a sharp, graph‑size‑dependent comparison of the SW and single‑bond spectral gaps, prove that their rapid mixing properties are interchangeable, and leverage this to obtain the first full‑temperature rapid‑mixing result for classical Monte‑Carlo chains of the two‑dimensional Ising model.