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.

T(p) − 1<br />

or W(p)<br />

4k/d<br />

3k/d<br />

Percolation and Disordered Systems 221<br />

3<br />

2d<br />

Fig. 8.2. There is a ‘forbidden region’ for the pairs (p, T(p) − 1) and (p, W(p)),<br />

namely the shaded region in this figure. The quantity k denotes kT or kW as appropriate.<br />

for some c(p) which is uniformly bounded for p < pc. Also T(pc) < ∞.<br />

The proof is achieved by establishing and using the following three facts:<br />

(a) T(p) and<br />

W(p) = �<br />

|x| 2 τp(0, x) 2<br />

4<br />

2d<br />

x∈Z d<br />

are continuous for p ≤ pc;<br />

(b) there exist constants kT and kW such that<br />

T(p) ≤ 1 + kT<br />

d<br />

, W(p) ≤ kW<br />

d<br />

p<br />

, for p ≤ 1<br />

2d ;<br />

(c) for large d, and for p satisfying (2d) −1 ≤ p < pc, we have that<br />

whenever<br />

T(p) ≤ 1 + 3kT<br />

d<br />

T(p) ≤ 1 + 4kT<br />

d<br />

, W(p) ≤ 3kW<br />

d<br />

, W(p) ≤ 4kW<br />

d<br />

, p ≤ 3<br />

2d<br />

, p ≤ 4<br />

2d .<br />

Fact (a) is a consequence of the continuity of τp and monotone convergence.<br />

Fact (b) follows by comparison with a simpler model (the required<br />

comparison is successful for sufficiently small p, namely p ≤ (2d) −1 ). Fact<br />

(c) is much harder to prove, and it is here that the ‘lace expansion’ is used.<br />

Part (c) implies that there is a ‘forbidden region’ for the pairs (p, T(p)) and<br />

(p, W(p)); see Figure 8.2. Since T and W are finite for small p, and continuous<br />

up to pc, part (c) implies that<br />

T(pc) ≤ 1 + 3kT<br />

d , W(pc) ≤ 3kW<br />

d , pc ≤ 3<br />

2d .

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

Saved successfully!

Ooh no, something went wrong!