PERCOLATION AND DISORDERED SYSTEMS Geoffrey GRIMMETT
PERCOLATION AND DISORDERED SYSTEMS Geoffrey GRIMMETT
PERCOLATION AND DISORDERED SYSTEMS Geoffrey GRIMMETT
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 .