03.12.2012 Views

PERCOLATION AND DISORDERED SYSTEMS Geoffrey GRIMMETT

PERCOLATION AND DISORDERED SYSTEMS Geoffrey GRIMMETT

PERCOLATION AND DISORDERED SYSTEMS Geoffrey GRIMMETT

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!