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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

262 <strong>Geoffrey</strong> Grimmett<br />

is obtained by setting ω(e) = 0 if δe(σ) = 0, and otherwise ω(e) = 1<br />

with probability p (independently of other edges).<br />

In conclusion, the measure µ is a coupling of a Potts measure πβ,J on V ,<br />

together with a ‘random-cluster measure’<br />

�<br />

�<br />

(12.7) φp,q(ω) ∝ p ω(e) (1 − p) 1−ω(e)<br />

�<br />

q k(ω) , ω ∈ Ω.<br />

e∈E<br />

The parameters of these measures correspond to one another by the relation<br />

p = 1 − e −βJ . Since 0 ≤ p ≤ 1, this is only possible if βJ ≥ 0.<br />

Why is this interesting? The ‘two-point correlation function’ of the Potts<br />

measure πβ,J on G = (V, E) is defined to be the function τβ,J given by<br />

τβ,J(i, j) = πβ,J(σi = σj) − 1<br />

, i, j ∈ V.<br />

q<br />

The ‘two-point connectivity function’ of the random-cluster measure φ is<br />

φp,q(i ↔ j), i.e., the probability that i and j are in the same cluster of a<br />

configuration sampled according to φ. It turns out that these ‘two-point<br />

functions’ are (except for a constant factor) the same.<br />

Theorem 12.8. If q ∈ {2, 3, . . . } and p = 1 −e −βJ satisfies 0 ≤ p ≤ 1, then<br />

τβ,J(i, j) = (1 − q −1 )φp,q(i ↔ j).<br />

Proof. We have that<br />

τβ,J(i, j) = ��<br />

1 {σi=σj}(σ) − q −1�<br />

µ(σ, ω)<br />

σ,ω<br />

= �<br />

φp,q(ω) � �<br />

µ(σ | ω) 1 {σi=σj }(σ) − q −1�<br />

ω<br />

= � �<br />

φp,q(ω)<br />

σ<br />

(1 − q −1 )1 {i↔j}(ω) + 0 · 1 {i�j}(ω)<br />

ω<br />

= (1 − q −1 )φp,q(i ↔ j). �<br />

This fundamental correspondence implies that properties of Potts correlation<br />

can be mapped to properties of random-cluster connection. Since<br />

Pottsian phase transition can be formulated in terms of correlation functions,<br />

this implies that information about percolative phase transition for randomcluster<br />

models is useful for studying Pottsian transitions. In doing so, we<br />

study the ‘stochastic geometry’ of random-cluster models.<br />

The random-cluster measure (12.7) was constructed under the assumption<br />

that q ∈ {2, 3, . . . }, but (12.7) makes sense for any positive real q. We<br />

have therefore obtained a rich family of measures which includes percolation<br />

(q = 1) as well as the Ising (q = 2) and Potts measures.<br />

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

Saved successfully!

Ooh no, something went wrong!