Random cluster model

In statistical mechanics, probability theory, graph theory, etc. the random cluster model is a random graph that generalizes and unifies the Ising model, Potts model, and percolation model. It is used to study random combinatorial structures, electrical networks, etc. ^{[1] [2]} It is also referred to as the RC model or sometimes the FK representation after its founders Cees Fortuin and Piet Kasteleyn. ^[3]

Definition

Let ${\displaystyle G=(V,E)}$ be a graph, and ${\displaystyle \omega :E\to \{0,1\}}$ be a bond configuration on the graph that maps each edge to a value of either 0 or 1. We say that a bond is closed on edge ${\displaystyle e\in E}$ if ${\displaystyle \omega (e)=0}$, and open if ${\displaystyle \omega (e)=1}$. If we let ${\displaystyle A(\omega )=\{e\in E:\omega (e)=1\}}$ be the set of open bonds, then an open cluster is any connected component in ${\displaystyle A(\omega )}$ union the set of vertices. Note that an open cluster can be a single vertex (if that vertex is not incident to any open bonds).

Suppose an edge is open independently with probability ${\displaystyle p}$ and closed otherwise, then this is just the standard Bernoulli percolation process. The probability measure of a configuration ${\displaystyle \omega }$ is given as

${\displaystyle \mu (\omega )=\prod _{e\in E}p^{\omega (e)}(1-p)^{1-\omega (e)}.}$

The RC model is a generalization of percolation, where each cluster is weighted by a factor of ${\displaystyle q}$. Given a configuration ${\displaystyle \omega }$, we let ${\displaystyle C(\omega )}$ be the number of open clusters, or alternatively the number of connected components formed by the open bonds. Then for any ${\displaystyle q>0}$, the probability measure of a configuration ${\displaystyle \omega }$ is given as

${\displaystyle \mu (\omega )={\frac {1}{Z}}q^{C(\omega )}\prod _{e\in E}p^{\omega (e)}(1-p)^{1-\omega (e)}.}$

Z is the partition function, or the sum over the unnormalized weights of all configurations,

${\displaystyle Z=\sum _{\omega \in \Omega }\left\{q^{C(\omega )}\prod _{e\in E(G)}p^{\omega (e)}(1-p)^{1-\omega (e)}\right\}.}$

The partition function of the RC model is a specialization of the Tutte polynomial, which itself is a specialization of the multivariate Tutte polynomial. ^[4]

Special values of q

The parameter ${\displaystyle q}$ of the random cluster model can take arbitrary complex values. This includes the following special cases:

• ${\displaystyle q\to 0}$: linear resistance networks. ^[1]
• ${\displaystyle q<1}$: negatively-correlated percolation.
• ${\displaystyle q=1}$: Bernoulli percolation, with ${\displaystyle Z=1}$.
• ${\displaystyle q=2}$: the Ising model.
• ${\displaystyle q\in \mathbb {Z} ^{+}}$: ${\displaystyle q}$-state Potts model.

Edwards-Sokal representation

The Edwards-Sokal (ES) representation ^[5] of the Potts model is named after Robert G. Edwards and Alan D. Sokal. It provides a unified representation of the Potts and random cluster models in terms of a joint distribution of spin and bond configurations.

Let ${\displaystyle G=(V,E)}$ be a graph, with the number of vertices being ${\displaystyle n=|V|}$ and the number of edges being ${\displaystyle m=|E|}$. We denote a spin configuration as ${\displaystyle \sigma \in \mathbb {Z} _{q}^{n}}$ and a bond configuration as ${\displaystyle \omega \in \{0,1\}^{m}}$. The joint measure of ${\displaystyle (\sigma ,\omega )}$ is given as

${\displaystyle \mu (\sigma ,\omega )=Z^{-1}\psi (\sigma )\phi _{p}(\omega )1_{A}(\sigma ,\omega ),}$

where ${\displaystyle \psi }$ is the uniform measure, ${\displaystyle \phi _{p}}$ is the product measure with density ${\displaystyle p=1-e^{-\beta }}$, and ${\displaystyle Z}$ is an appropriate normalizing constant. Importantly, the indicator function ${\displaystyle 1_{A}}$ of the set

${\displaystyle A=\{(\sigma ,\omega ):\sigma _{i}=\sigma _{j}{\text{ for any edge }}(i,j){\text{ where }}\omega =1\}}$

enforces the constraint that a bond can only be open on an edge if the adjacent spins are of the same state, also known as the SW rule.

The statistics of the Potts spins can be recovered from the cluster statistics (and vice versa), thanks to the following features of the ES representation: ^[2]

• The marginal measure ${\displaystyle \mu (\sigma )}$ of the spins is the Boltzmann measure of the q-state Potts model at inverse temperature ${\displaystyle \beta }$.
• The marginal measure ${\displaystyle \phi _{p,q}(\omega )}$ of the bonds is the random-cluster measure with parameters q and p.
• The conditional measure ${\displaystyle \mu (\sigma \,|\,\omega )}$ of the spin represents a uniformly random assignment of spin states that are constant on each connected component of the bond arrangement ${\displaystyle \omega }$.
• The conditional measure ${\displaystyle \phi _{p,q}(\omega \,|\,\sigma )}$ of the bonds represents a percolation process (of ratio p) on the subgraph of ${\displaystyle G}$ formed by the edges where adjacent spins are aligned.
• In the case of the Ising model, the probability that two vertices ${\displaystyle (i,j)}$ are in the same connected component of the bond arrangement ${\displaystyle \omega }$ equals the two-point correlation function of spins ${\displaystyle \sigma _{i}{\text{ and }}\sigma _{j}}$, ^[6] written ${\displaystyle \phi _{p,q}(i\leftrightarrow j)=\langle \sigma _{i}\sigma _{j}\rangle }$.

Frustration

There are several complications of the ES representation once frustration is present in the spin model (e.g. the Ising model with both ferromagnetic and anti-ferromagnetic couplings in the same lattice). In particular, there is no longer a correspondence between the spin statistics and the cluster statistics, ^[7] and the correlation length of the RC model will be greater than the correlation length of the spin model. This is the reason behind the inefficiency of the SW algorithm for simulating frustrated systems.

Two-dimensional case

If the underlying graph ${\displaystyle G}$ is a planar graph, there is a duality between the random cluster models on ${\displaystyle G}$ and on the dual graph ${\displaystyle G^{*}}$. ^[8] At the level of the partition function, the duality reads

${\displaystyle {\tilde {Z}}_{G}(q,v)=q^{|V|-|E|-1}v^{|E|}{\tilde {Z}}_{G^{*}}\left(q,{\frac {q}{v}}\right)\qquad {\text{with}}\qquad v={\frac {p}{1-p}}\quad {\text{and}}\quad {\tilde {Z}}_{G}(q,v)=(1-p)^{-|E|}Z_{G}(q,v)}$

On a self-dual graph such as the square lattice, a phase transition can only occur at the self-dual coupling ${\displaystyle v_{\text{self-dual}}={\sqrt {q}}}$. ^[9]

The random cluster model on a planar graph can be reformulated as a loop model on the corresponding medial graph. For a configuration ${\displaystyle \omega }$ of the random cluster model, the corresponding loop configuration is the set of self-avoiding loops that separate the clusters from the dual clusters. In the transfer matrix approach, the loop model is written in terms of a Temperley-Lieb algebra with the parameter ${\displaystyle \delta =q}$.

History and applications

RC models were introduced in 1969 by Fortuin and Kasteleyn, mainly to solve combinatorial problems. ^{[1] [10] [6]} After their founders, it is sometimes referred to as FK models. ^[3] In 1971 they used it to obtain the FKG inequality. Post 1987, interest in the model and applications in statistical physics reignited. It became the inspiration for the Swendsen–Wang algorithm describing the time-evolution of Potts models. ^[11] Michael Aizenman and coauthors used it to study the phase boundaries in 1D Ising and Potts models. ^{[12] [10]}

See also

• Tutte polynomial
• Ising model
• Random graph
• Swendsen–Wang algorithm
• FKG inequality

References

1. Fortuin; Kasteleyn (1972). "On the random-cluster model: I. Introduction and relation to other models". Physica. 57 (4): 536. Bibcode:1972Phy....57..536F. doi:10.1016/0031-8914(72)90045-6.
2. Grimmett (2002). "Random cluster models". arXiv: math/0205237 .
3. Newman, Charles M. (1994), Grimmett, Geoffrey (ed.), "Disordered Ising Systems and Random Cluster Representations", Probability and Phase Transition, NATO ASI Series, Dordrecht: Springer Netherlands, pp. 247–260, doi:10.1007/978-94-015-8326-8_15, ISBN   978-94-015-8326-8 , retrieved 2021-04-18
4. Sokal, Alan (2005). "The multivariate Tutte polynomial (Alias Potts model) for graphs and matroids". Surveys in Combinatorics 2005. pp. 173–226. arXiv: math/0503607 . doi:10.1017/CBO9780511734885.009. ISBN   9780521615235. S2CID   17904893.
5. Edwards, Robert G.; Sokal, Alan D. (1988-09-15). "Generalization of the Fortuin-Kasteleyn-Swendsen-Wang representation and Monte Carlo algorithm". Physical Review D. 38 (6): 2009–2012. Bibcode:1988PhRvD..38.2009E. doi:10.1103/PhysRevD.38.2009. PMID   9959355.
6. Kasteleyn, P. W.; Fortuin, C. M. (1969). "Phase Transitions in Lattice Systems with Random Local Properties". Physical Society of Japan Journal Supplement. 26: 11. Bibcode:1969JPSJS..26...11K.
7. Cataudella, V.; Franzese, G.; Nicodemi, M.; Scala, A.; Coniglio, A. (1994-03-07). "Critical clusters and efficient dynamics for frustrated spin models". Physical Review Letters. 72 (10): 1541–1544. Bibcode:1994PhRvL..72.1541C. doi:10.1103/PhysRevLett.72.1541. hdl: 2445/13250 . PMID   10055635.
8. Wu, F. Y. (1982-01-01). "The Potts model". Reviews of Modern Physics. American Physical Society (APS). 54 (1): 235–268. Bibcode:1982RvMP...54..235W. doi:10.1103/revmodphys.54.235. ISSN   0034-6861.
9. Beffara, Vincent; Duminil-Copin, Hugo (2013-11-27). "The self-dual point of the two-dimensional random-cluster model is critical for $q\geq 1$". arXiv: 1006.5073 [math.PR].
10. Grimmett. The random cluster model (PDF).
11. Swendsen, Robert H.; Wang, Jian-Sheng (1987-01-12). "Nonuniversal critical dynamics in Monte Carlo simulations". Physical Review Letters. 58 (2): 86–88. Bibcode:1987PhRvL..58...86S. doi:10.1103/PhysRevLett.58.86. PMID   10034599.
12. Aizenman, M.; Chayes, J. T.; Chayes, L.; Newman, C. M. (April 1987). "The phase boundary in dilute and random Ising and Potts ferromagnets". Journal of Physics A: Mathematical and General. 20 (5): L313–L318. Bibcode:1987JPhA...20L.313A. doi:10.1088/0305-4470/20/5/010. ISSN   0305-4470.

External links

• Random-Cluster Model – Wolfram MathWorld