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.

174 <strong>Geoffrey</strong> Grimmett<br />

5.3 Site and Bond Percolation<br />

Let G = (V, E) be an infinite connected graph with maximum vertex degree<br />

∆. For a vertex x, define θ(p, x, bond) (resp. θ(p, x, site)) to be the probability<br />

that x lies in an infinite open cluster of G in a bond percolation (resp.<br />

site percolation) process on G with parameter p. Clearly θ(p, x, bond) and<br />

θ(p, x, site) are non-decreasing in p. Also, using the FKG inequality,<br />

θ(p, x, bond) ≥ Pp<br />

�<br />

�<br />

{x ↔ y} ∩ {y ↔ ∞} ≥ Pp(x ↔ y)θ(p, y, bond),<br />

with a similar inequality for the site process. It follows that the critical points<br />

pc(bond) = sup{p : θ(p, x, bond) = 0},<br />

pc(site) = sup{p : θ(p, x, site) = 0},<br />

exist and are independent of the choice of the vertex x.<br />

Theorem 5.13. We have that<br />

(5.14)<br />

1<br />

∆ − 1 ≤ pc(bond) ≤ pc(site) ≤ 1 − � 1 − pc(bond) � ∆ .<br />

One consequence of this theorem is that pc(bond) < 1 if and only if<br />

pc(site) < 1. The third inequality of (5.14) may be improved by replacing<br />

the exponent ∆ by ∆ −1, but we do no prove this here. Also, the methods of<br />

Chapter 4 may be used to establish the strict inequality pc(bond) < pc(site).<br />

See [168] for proofs of the latter facts.<br />

Proof. The first inequality of (5.14) follows by counting paths, as in the proof<br />

of (3.4). We turn to the remaining two inequalities. Let 0 be a vertex of G,<br />

called the origin. We claim that<br />

(5.15) C ′ (p, 0, site) ≤ C(p, 0, bond)<br />

and<br />

(5.16) C(p, 0, bond) ≤ C ′ (p ′ , 0, site) if p ′ ≥ 1 − (1 − p) ∆ ,<br />

where ≤’ denotes stochastic ordering, and C(p, 0, bond) (resp. C ′ (p, 0, site))<br />

has the law of the cluster of bond percolation at the origin (resp. the cluster<br />

of site percolation at the origin conditional on 0 being an open site). Since<br />

θ(p, 0, bond) = Prob � |C(p, 0, bond)| = ∞ � ,<br />

p −1 θ(p, 0, site) = Prob � |C ′ (p, 0, site)| = ∞ � ,<br />

the remaining claims of (5.14) follow from (5.15)–(5.16).

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

Saved successfully!

Ooh no, something went wrong!