PERCOLATION AND DISORDERED SYSTEMS Geoffrey GRIMMETT
PERCOLATION AND DISORDERED SYSTEMS Geoffrey GRIMMETT
PERCOLATION AND DISORDERED SYSTEMS Geoffrey GRIMMETT
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
12.3 Random-Cluster Models<br />
Percolation and Disordered Systems 261<br />
It was Fortuin and Kasteleyn who discovered that Potts models may be<br />
recast as ‘random-cluster models’. In doing so, they described a class of<br />
models, including percolation, which merits attention in their own right, and<br />
through whose analysis we discover fundamental facts concerning Ising and<br />
Potts models. See [158] for a recent account of the relevant history and<br />
bibliography.<br />
The neatest construction of random-cluster models from Potts models is<br />
that reported in [127]. Let G = (V, E) be a finite graph, and define the<br />
sample spaces<br />
Σ = {1, 2, . . . , q} V , Ω = {0, 1} E ,<br />
where q is a positive integer. We now define a probability mass function µ<br />
on Σ × Ω by<br />
(12.5) µ(σ, ω) ∝ �<br />
where 0 ≤ p ≤ 1, and<br />
e∈E<br />
�<br />
�<br />
(1 − p)δω(e),0 + pδω(e),1δe(σ) (12.6) δe(σ) = δσi,σj if e = 〈i, j〉 ∈ E.<br />
Elementary calculations reveal the following facts.<br />
(a) Marginal on Σ. The marginal measure<br />
is given by<br />
µ(σ, ·) = �<br />
µ(σ, ω)<br />
�<br />
µ(σ, ·) ∝ exp<br />
ω∈Ω<br />
βJ �<br />
e<br />
�<br />
δe(σ)<br />
where p = 1 − e −βJ . This is the Potts measure (12.3). Note that<br />
βJ ≥ 0.<br />
(b) Marginal on Ω. Similarly<br />
µ(·, ω) = �<br />
�<br />
�<br />
µ(σ, ω) ∝ p ω(e) (1 − p) 1−ω(e)<br />
�<br />
q k(ω)<br />
σ∈Σ<br />
where k(ω) is the number of connected components (or ‘clusters’) of<br />
the graph with vertex set V and edge set η(ω) = {e ∈ E : ω(e) = 1}.<br />
(c) The conditional measures. Given ω, the conditional measure on Σ is<br />
obtained by putting (uniformly) random spins on entire clusters of ω<br />
(of which there are k(ω)), which are constant on given clusters, and<br />
independent between clusters. Given σ, the conditional measure on Ω<br />
e