Académique Documents
Professionnel Documents
Culture Documents
Percolation
BELA BOLLOBAS
University of Cambridge and
UM versify of Memphis
OLIVER RIORDAN
Uni vet sit y of Comb; idge
.6(= CAMBRIDGE
IL
.cuy UNIVERSITY PRESS
ilish Lanaia
Contents
page ix
Preface
Probabilistic tools
Exponential decay and critical probabilities - theorems of Menshikov and Aizenman Sz Barsky
78
The van den Berg-Kesten inequality and per colation 78
4 1
80
4 9 Or iented site percolation
4 3 Almost exponential decay of the adius Menshilaw's
Theorem
90
104
4.4 Exponential decay of the radius
Exponential decay of the volume the Aizenman-Newnmn Theorem
107
1
36
vii
Contents
viii
5.5
6
148
156
156
162
167
175
178
178
187
232
Continuum percolation
The Gilbert disc model
8 1
8. 9 Finite random geometric graphs
Bandon' Voronoi percolation
8 3
Bibliography
Index
List of notation
240
241
254
263
299
319
322
Preface
Preface
Chaves. Puha and Sweet (1990]. I:esten [200:31 tun! Gti uu uett 12001]
among others.
Out aims in this book me two-fold 11 hst. we aim to present the
results of percolation in a way that is accessible to the nonspecialist To get straight to the point. we shut with the best known
tesult in the subject, the fundamental theme/It of limits and ICesten.
even though this is a special case of late' and mule genet al results given
in subsequent chaplets
The moot of the Han is Kesten Theorem. in pal t iculat the tippet
hound clue to kesten. was a peat achievement, and his pool not simple
Since them however, especiall y with the advent of new tools in probabilistic combinatmi CS aunty Sininle moors hate been B er ard.. a fact that
most non-specialists ale not awn' e of Pot some of these at gutnents. all
the pieces lute been published some time ago, but pet haps not in one
place. in only as comments that ale easy to ndss Here. we In ing toReilly' these ions pieces and also mole tecent. ver y simple proofs of
the Han Nesten Theorem
In Chapters -1 and 5 we desct the t he vety genet trite:tuns of Nlenshikov,
and of Aizemnan kesten and Newmn: these Jesuits ale again classical
Oin aim hew is to present them in the greatest genetalit \ that does not
complicate the proofs
Out second aim is to present recent results that have not let appeared
in book fie.i t s Nit give a complete moo( of Sinn no\ 's famous confonnal
inva t bu t te result: to out knowledge no such account. tv itlt Hie Is clotted a n al t fl ossed. has previously appeared We finish by pwsenting
an outline of the recent moot that the critical probabilit y for random
Votonoi percolation in the plane is 1/2
As is often the case. we have flied to mite the kind of book we should
like to wad I3' now percolation theory is an immensel y rich subject
with enough material lot a dozen books. so it is not smptisiug that
the choice of topics sttonglv reflects out tastes and intetests We have
striven to give stleatulined moots and to Ming oat the elegance of the
arguments. To make the book accessible to as wide a ! cadetship as
possible. we have assumed NT/ 1 little
little mathematical background and have
illustrated the impol taut concepts and main arguments with mune/ ous
extunples
In niit ing this book we lime receiNed help fron t ma i n people Paul
Balistet. Gesine Ciosche Henn Liu. Robert tklol r is. Anthem Sat kat and
NIB/ k lkaltels were kind enough to tend parrs of t he manuscr ipt and to
correct many misprints: lot the many that iemain. we apologize
1
Basic concepts and results
I I I
Figure 1 Parts of the open subgraphs in site percolation (left.) and bond
percolation (right)) on the square lattice 1 2 On the left, the filled circles are
the Open sites; the open subgraph is the subgraph of 2: 2 induced by these For
bond percolation. the open subgraph is the spanning subgraph containing all
the open bonds
To streamline the discussion, we shall concentrate on mu)/ iented percolation, i e on (bond and site) percolation on an unoriented graph A
\Nre assume that A is connected, infinite, and locally finite (i.e., every
vertex has finite degree) In general, A is a in ulti-gurph, so multiple edges
between the same pair of vertices me allowed, but not loops Most of
the interesting examples will be simple graphs
Often, we shall choose bonds or sites to be open with the SUMO probability p, independently of each other This gives us a probability measure
on the set of subgraphs of A; in bond percolation we write Pen for this
measure, mid in site percolation P sA p More often than not, we shall
suppress the dependence of these measures on some or all parameters,
and write simph IF or Pp Similarly, A l ; is the open subgraph in bond
percolation, and
in site percolation
Formally, given a. graph A with edge-set E, a (bond) configuration is
a function
c
w e ; we write Q = {0,1} E lot the set of
: E
{0,
all (bond) configurations A bond e is open in the configuration w if and
only if = 1, so configurations correspond to open subgraphs Let E
be the a-field on Q generated by the cylindrical sets
C(P, a) = {co E Q
= a f lot
17} ,
PI fl ( p f)
IEr
a f =1
(1)
fEb
af=0
Pf
11
fe ro
Figure 2 Part of t he squaw lattice L 2 (solid circles and lines) and its line
graph /3(2) (hollow circles and dotted lines) Note that ii,( 2:2 ) is isomorphic
to the non-planar graph obtained from E 2 by adding both diagonals to every
other face
we consider are locall y finite.. an open cluster is infinite if and only if,
for every sites in tile cluster the et- cut
holds. Given a site
we r\ rite Cr for the open cluster containing ;r.. if there is one; otherwise.
we take Cs to be erupt) Ilms Crix = {q E A: a! ---rr y} is the set of sites
q for which thew is an open
Path Clearly, in bond percolation, ex
always contains x, and in site percolation.
= N if and 011/1' if ,rt is
closed.
Let Ox (n) beet he p t obahilih that C.,. is infinite. so 0,r (p) = Pvt./7
Needless to sax, O x (p) depends on the underlying graph A. and whether
we take bond or site percolation More finmalty, Eat bond percolation,
for example,
= 0,, (A
group of the graph A acts transitively on the vet tires). we write 0(p) for
Or (p) fa any site x The quantity 0(p), or Ox (p), is sometimes known as
the percolation probability
Clearly, if a, and y are sites at distance il, then (E(p) > p''U,(p), so
either Orr (p) = 0 for every site x, or 0,.(p) > 0 for every x Trivially.
from the coupling described above. 0,.(p) is an increasing function of p
Thus there is a critical probability pn, 0 < < 1. such that if p < prr,
then ()Apr = 0 For every site and if p > p H , then (E(p) > 0 for
every ,r The notation p H is in honour of thimmersle) \Viten the model
tinder consideration is not clear horn the context, we write pill (A) for
site percolation on A and 14).1 (A) for bond percolation
The component str ucture of the open subgrirph undergoes a dramatic
change as p increases past pH : if p < p i] then the probability of the
event E that there is an infinite open duster is 0, while for p > pp this
probability is 1 To see this, note that the event E is independent of the
states of /WV finite set of bonds or sites. so Kohnogorey 's 0-I law (see
Theolem 1 in Chapter 2) implies that Pp (E) is either 0 or I. If p < pH,
So that 0 ( p) = 0 for O y er X, then
filv (E)
0,(p)-= 0
(and so for
P > Th r the" Py( E ) > O AP) > 0 lo t some site
all sites), implying that. Pp (E) = I. One SUNS that percolation
in a certain model if 0,(p)> 0. so P11 (E) = t \kith a slight abuse of
terminoloro, we use the SlUtle word both for this particulat event and
for the measures studied; this is not ideal. but. as in so man) subjects.
the historical terminolog y is now entrenched
To start with, the theory of percolation was concentric) mostly Willi tile
Stull of critical probabilities, i e with the question of when percolation
occurs NOW, howevet, it encompasses tire study of much mole detailed
proper ties of the random graphs arising fron t percolation measures In
fact, great efforts are made to describe the structure of these random
graphs at or near the critical probability. eve" Wile/1 we cannot pin down
the critical meltability itself In Chapter. 7, we shall get a glimpse of the
huge amount of work done in this area, although in a setting in which
the critical probability is known
The theoo of percolation deals with infinite graphs.. and 110111V of
the basic events stitched (such as the occurrence of percolation) involve the states of infinitel y UtiUle bonds Never tireless, it always suf[ices to consider events in finite probability spaces, since, for example.
"" d
b r (p)
=
Pp(IC,) > a). In this book, almost all the time., even
the definition of the infinite product measure will be irrelevant
Fm p < p H , the open cluster Cr is finite with probability 1, but
its expected size need not lie finite This leads us to another critical
probability, p i , named in honour of Temper ley Again, we write K(A)
or p1/4 (A) for site or bond percolation on A. For a site rr, set
NAP) = Es(ICA),
where E t , is the expectation associated to IF,, If all sites are equivalent,
we write simply ixr(p). Trivially, x x (p) is increasing with p, and, as before,
v r (p) is finite for some site rr if and only if it is finite for all sites. Hence
theme is a critical probability
Pr
(p) = cob
which each vertex has k children, so all sites but one have degree k 1
Wm Ring am for the root of I. let
be the section of this tree up to
(2)
On the inter val [0,4 t he function Tr; p (x) is increasing and concave, with
fk,i,(0) = 0 and fk, ,,(1) < 1, so h..1,(a 0 ) = iro for some 0 < :co < 1 if and
only if r (0) = kp> 1; fur thermore, the fixed point yo is tmique when
it exists (see Figure 5) Thus, if p > 1/k, then, appealing to (2) we see
E(1C/01
Erk
y; opt.
,=0
1)//5/
1st
and
1)(-1p1+1
fin bond and site petcohttion espect ivelv Both sums converge lo t any
p < l/(L\
Pit)(A) /4 ( A ) >
As PH > t i . the c o ne sponding inequalities loi m i follow This shows that among all giaphs
with maximum degree
the A-1(4mila' tree has the lowest et itical probabilities
Thew all' VW lolls tit ivial chan ges we can mid) to a gi aph whose effect
= prd
If we know the critical probability for a graph A, then we knor, instantly the critical probabilities Mr a family of graphs A' obtained by
sequences of trivial operations flour A, as in Figure 6
Pignut ti tornsfor wing one bond petcolation model into another, and their
into a site percolation model If the first (the hexagonal lattice) has critical
probability p, then the second has critical probability I sat isfying 1 3 (2 r ) = p
which is also the critical probability For site percolation on the third graph
It is easy to show that any 0 < < 1 is the critical probabilit y for
some graph, indeed, for some tree Let T be a finite rooted tree with
height (depth) h, with (" leaves. Let T I = T. and let T" be the rooted
tree of height ha formed from T"- 1 by identifying each leaf with the
root of a copy of For example, if T is a star with k edges, then T"
is the tree Tk ,, defined above Let 1' be the 'limit' of the tacos T".
defined in the obvious way.
Taking the bonds of 7' to be open independently with probabilit y p.
the nunibm of leaves of T joined to the toot by open paths has a certain
distribution X with expectation ph ( Now suppose that the bonds of T'
are open independently with probability P. and let X be the number
LU
of sites of Tux at; distance fern horn the root joined to the root by open
paths Then the sequence (X0 , Xr, .) is a branching process: we
have X0 1, and each X is the sum of X_ i independent copies of the
distribution X As X is bounded, excluding the trivial case p = C = 1,
it is easy to show (arguing as above flu Tk ) that percolation occurs if
and only if E(X) > 1, i e., if and only if p fi e > 1: this is a special case
of the fundamental result of the theory of branching processes In fact,
one obtains
1 4. (I')
) = 1,11 .'(Tcc ) =
(3)
Suppose now that k > 1 and 1/(k 1) < 7 < 1/k Define (1 < a < 1
by (k-r-1) a k 1 - 0 = 1/7 Let a = La i be the 0-1 sequence with density
a constructed as follows: whenever
divides i but 2-) does not. set
= 1 if and only if the )th hit in the binary expansion of a is 1. Let
'ZO be the tooted tree in which each site at distance i lion/ the root has
k+arr. i children R. is easy to check that, for each n, we can find trees 77!
and T" of height C = 2" such that (21's c
C (T")" , where T" has
(k 1)/k times as Mai/ \ leaves as Using (3), one can easily deduce
that p(Ta ) = 7, where p c denotes any of the four critical probabilities
we have defined
Alternatively, let 7 be the t andom tooted tree in which each site has
k + 1 children with probability r and /ir children with probability 1 - r,
with the choices made independently for each site It is easy to show
that with probability 1 this random tree has p i .(T) =
+1).
In general, it is eas y to calculate the various critical probabilities for a
graph that is 'sufficiently tree-like'. For example, for C > > 3, let Ckj
be the cactus shown it/ Figure 'i This graph is formed by replacing each
vortex of the k-regidar tree Tr; by a complete map(' on C vertices, and
joining each pair of complete graphs col esponding to an edge of TA. by
icier/allying a vertex of one with a vertex of the other, using no vertex in
more than one identification, We call the vertices resulting from these
identifications attachtrient vet Nees Although Gek,t contains many cycles,
it still has the global structure of a tree, and percolation on CiL i may
again be compiled with a blanching process
Indeed, let K; be a complete graph with k distinguished (attachment)
vertices v l . Taking the edges of lid to be open independently
with probability p. let .Vi , be the random number of vertices among
. irk that may be reached hum lir by open paths Let us explore
the open cluster of a given initial site .r of Cr c by working outwards
from :r Except at t he first step, how each attachment vertex that we
11
P`i'l ( C 5c,O =
This quantity may be easily calculated for given k and The critical
probabilities for site percolation on Ckj may be calculated in a corresponding way Furthermore, there is nothing special about complete
graphs: there me many similar constructions of 'tree-like' graphs for
which the critical probabilities can he calculated using a branching process.
In the rest of this chapter, we shall prove some easy bounds on the
various critical probabilities for 7L", d > 2 Of course. percolation on Z
is trivial: all the critical probabilities we have defined are equal to 1
In studying 7 2 , we shall make use of simple properties of plane graphs
As all such graphs we consider will be piecewise-linear (in fact, they will
have subdivisions that are subgraphs of 2Z 2 , if we wish), there are no
topological difficulties In fact, all we shall need is that every polygon
(in the graph Z-, say) separates the plane into two components, the
Basic
concepts
and
results
Thief in; and the el:lei-On, with the interior bounded (This is easily seen
by considering the winding number of the polygon. which changes 1w
1 when we cross a side ) Fl our this, Euler's [bra n ch follows easily by
induction (see Chapter 1 of Boflobtis (19981 for the details), which in
nun implies that IS:5 and A.3 3 are non-planar Thus, for example, if C
is a cycle in the plane and a, b. c, d are four vertices of C appearing in
this order around C', then neither the interior nor the exterior of C can
contain disjoint a- c and b-d paths; see Figure 8
MIEN
II=
MEM
MIN
13
0-
0-
0-
Figure ID lace percolation on the hexagonal lattice (left): the open faces
are shaded. The corresponding open subgraph in the site percolation on the
triangular lattice is shown on the right (to the saute scale!).
14
_ _
a E C
b E Coc
16
Hence. pi > p.. Since p < 1/3 cv a s arbittat:\ it Follows that Pr > 1/3.
For the ti pper hound we consider A = E 2 together with its dual A' =
(1/2,1/2) defined ear hem taking a dual bond c- to be open if e is
closed, and vice versa An open dual cycle is a cycle in the dual graph
consisting of dual bonds that are open
Suppose now- dun p > 2/3. Let Lk be the line segment joining the
might to the point (k,0), and let S be a dual cycle surrounding Lk of
length 21 Then .9 must contain' a dual bond c" crossing the positive
x-axis a some coordinate lat: Veen k 1/2 and (2( 3)/2; thus we have
fewer than t choices fin e' As the rest of S is a path of length 2( 1
in the dual lattice, win kIn is isomorphic to 2 2 , there are at most: f'p9m I
possibilities fon S. Let Yk be the number of open dual cycles surrounding
Lk Since dual bonds are open independently with probability 1 p.
( Pam Pr _5_
>k +2
wi5
>
17
(1)
18
'a
walk IV star ting at 0. Star ting with If, each P i is the part of If lying
in the region 2k 2 < 2+y < 2i (plus the vertex on 2:+y = 2i -- 2 where
II enters this region), translated to start at 0, so distinct, sequences
give distinct walks.. Let ur be the number of walks If of length n that
may be obtained in this way As there are four building blocks with
two edges, and four with four edges, we have to.1 > 4 2 +1 = 20, and
> //y.r >
= 20 1', so A > 20 111 = 2 111
In fact., we have
ur n >
4w- 2
-I- 4 Wu .I
19
(A)
Both inequalities follow from the assertion that, for ever y site x
of A, ever y integer n > 1, and every probability 0 < p < 1, we have
Proof.
(lex I
Indeed, letting T1
5_P
(I Cr > II)
(5)
it follows that
Or( A ) < P03(4)
(6)
20
< EPLP!
u=1
Hence, if tx,(A ii ) < ix, then x,(N) < ,x, so p r (A) > (A)
It remains to prove (5) As C.', is empty in At;, if x is closed, inequality
(5) is equivalent to
(1C,4 > n
37
is open) <
p H C,1 >
(7)
21
U1(13:i71111111
degree
(8)
9')
(9)
:1
23
ylt
Figure 11 A possible value of D,, U,) when expiating the open cluster of
the site re in bond percolation on 2S 2 Bonds in L,. DI and U1 are represented
by solid, dashed and dotted lines, respectively. Tire set B1 is shown by filled
circles The site z lies in Pt , so the bond yz will never be tested; there is only
one choice inzt for the next bond to lest
L i and e 0Di , so
Since we stopped at step I. we must have E Pi , so the site z
e E
is incident: with no other bonds of As z 0 Rt . the site z is incident
with no bonds of L i . so all other bonds incident with z are in De, and
hence closed
We have shown that all open bonds leaving 14 terminate in site s
that me incident with no oldier open bonds Thus, every site z E C1,1;\Rt
is adjacent to a site in
and, crudely.
161;l1 5, (A 1)IRd
(10)
z
IS incident v1/4-ith at most A untested bonds. each time we choose .7.
we test au untested bond hidden!' with z, and we cannot choose zs
if there is only one such bond remaining Since each variable X,, is
tested at most once, each test succeeds with conditional probability p,
and the sequence
has exactly the distribution of
By the construction of I', if e i y i z i was the bowl chosen at step
t and e, E L b then the test at step t succeeded, so one of the X, is
it follows by induction on
equal to 1, and z i is open. As m E
that. Rr c
Using (10) and the fact that R4 and 14, have the same
92[4/21+1 (1
(A))LV2J
- pil'i(A))t4/2j
In prov ing (11). Chaves and Schonniann made use of the concept of
mixed percolation mentioned above. where states 11(:, assigned to the
sites and bonds of A.
So far, we have considered percolation on ordinary graphs, in which
bonds are two-way. The basic concepts of percolation make just as good
sense for oriented graphs. where each edge is or iented horn one endpoint
to the other 'We could also consider threefed graphs, where there may be
an edge in each direction between the same pair of vertices, or indeed,
undirected or chiected In ulti- g raph s where there ma y be several edges
(in one or both directions) between the same pair of vertices
In a I gated percolating the underl y ing (multi-)graph A is oriented
We assign states, open or closed, to the sites (vertices) or bonds (oriented
25
1)
tiN
7I \ >No
VV4 6VJ VV9
T in which = pc (1:y)
pc(Mz).
two children, y and z.. all descendants of y have two children, and all
descendants of z have thiee children Orienting the edges away nom xy
to obtain au oriented graph F. we have pc (T ; = 1/2 for y and all its
26
j4(
^
A;: r')
91(A)
/4 1 (
A : , 1') S 1 ( t
111(0')11111171
A '''))s'n
(12)
The same in-
1Pfk. p(ICt
n) 5_ p PI* p (ICI
1),
where here Cy.,, = Cit In showing this, we work in the finite subgraph
A induced by the vertices reachable from by oriented paths in A of
length at most rn The construction of the sequences and I' proceeds
exactly as in the proof of Theorem 3, except that we take the orientation
into auctorial: at each step t we select an edge ?TT = if-( 7-4 with ig e
a r
E 1-1/.
]'he proof of the second inequality, pg A;
< pir !( A ; ./te'"
27
similar to, but simpler than. the proof of Theorem It; suffices to show
that lot evert' site x of A. every integer n > 1, and every 0 < p 1, we
have
, (iCrl
x is open)
Pi p
(tC; ( 1 ?. a),
/)1(7kI))k,
/I
tree of height k with ever y edge or ionted towards o (In the figure, the
solid lines show such a tree with k = 2 and d = 3 ) The initial site a
sends an edge to all (.11' leaves of this tree
Suppose that the bonds of a (4, k)-unit me open independently with
\\'e shall take C > 2 to be a large constant, and let
probabilit p =
4
! pc Ignoring a for the moment, the numbers X; of sites at distance
[tom n that are joined to v by an open path for in a certain branching
process: for I < i <
A', is the sum of X i _ t independent copies of a
Omaha) As d x with C fixed, this binomial
binomial BUJ, p)
dish Omaha/ converges to the Poisson distribution with mean C
d--cc kx
p(C),
0) that satisfy
.1 01, 1,7, 10 =
If
plZ
0 and
"-1
0 (dpcb e -2dP:;) =
It
1. we can construct_ graphs
, follows that, given any sequence p
A with maximum in-degree
!N.; such that 74, =
Ai(n)
/.4.1 ( 71 ; to) = 14 (71. ; to) and p,1; = pi.)[ (A ; :r0) = p4(7\ ; x) satisfy
= p sn = _(1_ / 1, )( -I-0( ))Ai
30
This shows that the constant Do, in the exponent in (12) is essentially
best possible, at least tvhen
1
If A is an oriented graph and ir a site of A, then we have defined eight
associated critical probabilities: p H and pr for site and bond percolation
on A and on the underlying simple graph A in any combination. We
have eight trivial inequalities relating these probabilities; four of the
form p r < pu, and four of the form p c (A) < p c (A;:r) Also, we have
that each critical probability for site percolation is at least that for
the corresponding bond percolation It follows_that all eight critical
probabilities are at least 'A (A) and at most p41 ( A ;3)
For an y d, let d denote the natural orientation of Z d , where each
edge is et iented in the positive direction Let p be one of A, ipl4/
Since all sites of Z d me equivalent, the critical probability pe ( aid ; ir) is
independent of a:, so we shall write p c ,(2 .1 ) for the common value. Out
12
Lemma 6,
31
Figure 17 A dual cycle S (dashed lines), and the oriented bonds from sites
inside 5' to sites outside S (arrows) S is blocking if every site pointed to is
closed
it star ts, we tabe as many steps upwards as downwards, mid as many
steps to the left as to the right. Thus we take a total of steps that go
up or to the left. Any site x is on the right of at most one upwards step
and at most one leftwards step, so there is a set X of at least t/2 sites
that roust be closed for 5' to be blocking Consequently
P(5' is blocking) G (1 p)I/2
The rest of the argument is as in the unoriented case Let 1 k be the
line segment joining the origin to the point (k, 0), and let I rk be the
number of blocking cycles surrounding Lk We have already shown that
there are at most tpoi _ i cycles of length 2t surrounding L k , and each is
blocking with probability at roost (1 p) (/2 so
EM)5 E
(1121:-I(1
p)(/2
hlt
L, -9 (3(1
C>k+2
13k)
32
This shows that 4(172 ) < p Since p > /10/81 was at bit/ at , p Ii r (2 2 ) <
it to the asymptotic behaviour of the vat hats et itical probabilities associated to percolation on E d and Z il As noted canter. for
each fixed (I, we have di nned eight et itical probabilities, of which pi; (Zit)
is the smallest and pC1 ( d ) the hugest. Since 2' 1+i includes 2 4 as a
subgt mill, each of these eight functions decreases with d.
\VP IlOW bn
2d 1 Ph (cid ) 5 1 4 (2:d)0(1/(1)
p<
/4/(772))1/1(1/2'
33
(Z 2 ) < 1 Since
Note that the right-hand side is indeed 0(11d). as
M i (E d ) is decreasing. we may assume that d is exert Fix any po with
1),)
Z < p 2 1 and set pa = 1 _1)2)2/4 so (1 _ pd) 42
PH
1. I
i=1/24-I
Thus is the linear map sending the first d/2 coordinate vectors to
CI, 01 and t he last dI2 to (ft 1) Let the or igin of Ed be open., and each
other site be open independently with probability pd Let G be the
open cluster of the or iented site percolation on E d We will construct
sequences (iro , WI ,
) with the following prop) and (84 S i , SO,
erties: for each point (a. y) E lit there is a unique V E ,91 such that
=
4, each 8, is a subset of Co, and (iro ,
.) has exactly
the distribution of (Ro, RA , )
We start the construction by taking So = R(' ) = {0} At each step in
the construction. R.', and S: will depend only on the states of sites in
hirers up to l of Ed Given R1_, and Sr_ let us say that a point (44 is
eligible if it is in layer t of Z2 and has at least one neighbour in R.;_ t Let
(e, y) be art eligible point, and suppose without loss of generality that
1, y) E R.;_ I . Then there is a v E _ 1 with y(v) = (:r
The
point v has exactly d/2 neighbours win Zd with y(w) =
y) Since
each is open independently with probability pd , the probability that at
least one is open is exactly pr If at least one w is open. include
y)
Numerous considerably stronger bounds have been proved about critical probabilities in high dimensions. In particular, Cox and Durrett
[1983] showed t h at
1
+ o(4- ") < pl]] (Y / -1 +d - " + 0(4-1)
+As we shall see in Chapter 1, .klensItikov [1986] proved that m i and fir
me equal in a very general context, including all the eases considered
here, so we may write pr lot their common value Kesten [1990; 1991]
(24)-1, and. independently, Hata and
showed that p]](I d ),
Slade [1990] and Cordon (1991] gave stronger results for pc/ ](Zd ). Concerning site per colation, 13ollobas and Kohayakawa [199-1] gave a simple
combinator ial argument showing that pr.(23 d ) (1 + d"")-0)/(24)
fact there are very precise formulae for both bond and site percolation:
1
7
p!!(Zil ) =
i 0(d - I)
24 4d-] 1643
was given by Nara and Slade [1995], confirming the first few terms in au
expansion repot ted in Gaunt and Buskin (19781 without rigorous error
bounds A similar expansion for site percolation,
31
75
5
+
+
324.]]
3914
9d SUP
was given by Gaunt, Sykes and Buskin [f976] again without rigorous
error bounds
'Throughout this chapter, we have concentrated on the critical probabilities of independent percolation models As we remarked earlier,
although these were the first graph invariants associated with percolation, there is likely to be only so much that can be said about them
Except in certain special cases, it seems that the exact critical probabilities arc in some sense rather 8/ hittair, Mr example, there may well
35
Probabilistic tools
Let X = (X t , Kg.
Then P(A) is 0 a l 1
Note that different X; are not assumed to lace the same distribution
An event A with the proper ty described above is known as a tail event:
Theorem I states that fun tail ment in a product probability space has
probability 0 or I
g
inal fthmulation of this
In fact. Theorem t was not kohnogomu L s ori
) is a sequence of
(Ai.-X2,
result What he showed was that. if
P is Barre function and
real-valued uandontvariables. f :
IP( f (X) = 0, x,,
,x)
Probabilistic tools
37
Lemma 2,
(I,,;
<
if a is large enough
Let Lt.)
Taff+
Ii
:r(t)t -2 dt <rx.
cc
u/2 <
(1)
This result is essentially best possible For example, if ..r. > 0, then it
does not suffice to impose condition (1) for (1 + _)1112 < in <n
The framework fin much of combinatorial probability (including percolation theory). is the 'weighted hypereube (21, We shall take our: time
over introducing this important concept
For any set 5. we may identify the power set -P(5'). i e , the set Of
all subsets of S. with the set {0,1} H of all functions f : S + 10.11 In
Probabilistic 10019
38
14(r')
{1 if y
A,
0 if a:
S\A
P(A) =
ft E
= I
(i -pi)
(2)
air--(1
The cube Q" endowed with this probability measure is denoted by (>p,
and called the 'weighted cube with probability p = (m)11_,
Putting it slightly more formally, let x i ,x be independent Bernoulli random variables with Peri = 1) = p i and P(ari = 0) = 1 Pi , and
let x = (:r i ) be the random sequence obtained in this way. Then Qp"
is the space of these random sequences. Also, X =
:
=
is a
2. Probabilistic tools
39
= {(ai)72 1 1 : (al,
,a)) 1 ,1)E
(2"
II A is monotone increasing then Ao C A 1 , and if A is monotone decreasing then Ar C Ao Let Q p",I be the weighted cube whose probability measure is induced by the sequence = (m)72 / 1 . With a slight
(and usual) abuse of notation, let us write P for two different measures,
namely the probability measures in Q p" and (47 1 Note that
P( A ) = ( 1
)P(-410) +Th iP ( A r)
(3)
n B) > P(A)P(B).
(4)
Probabilistic tools
-10
If
(t)
OP(Ao)
pIP(A,
n B,)
Ps)P(B0) pP(13
with the second inequality following how (6), and the last equality a
consequence of (3)
It01 A On up-set and 13 a down-set. inequalit y (5) follows IA applying
(1) to the up-sets A and .13` (2 \ 13:
P(A B) = P(t) P(.4 n Be)
< P(A) P(I)P(Be)
= P(.4) P(A){1 P(B)}
= P(A)P(B)
n .42 n n A i ) >
P(Ai)P(A2) P(A))
(7)
2 Probabilistic tools
41
PO I
IP(*) I
U U AO)
(8)
In the case where each A; has the same probability.. inequality (8) holds
Cot ever) i. For t = 2, this observation is sometimes known as the
'square-root trick; for t =
this is the ''nth-toot trick'
If p : Q"
R is any function, then we may think of
measure on Q" Thus, For E C Q n we have
p(E).=
II
as a signed
Fr(x).
ip=
h(3)/1(3) = (HO(Q")
EQ.
drinp
II
1.A1.13 (Pp >
Li
dIPp (9)
f g dPp >
Q"
Then
Probalribstie tools
42
I Ill
Lg.)
c i d; I L
11,
gj
A 0
,--cnv
Dnz=cnz
implies D E A. and
c B. fin any D
S}
d ii = e ll implies d E A, and
= / implies d E B. for any d E C"2"}
This definition is equivalent to that fin set-systems given above
Note that A0 B is a subset of A ft /3 In fact, it may be a ratlar small
subset of A n 13: fin example, if neither A not B contains a subenbe of
dimension at least 42. then A B 0
di/ = q 1 implies that d E A, then we call c ti a witness on a cc/iificate
161 A with suppoll 1 Thus AUB is the set of points c fin which there ale
disjoint sets I and .1 stab that c it is a witness lot A and e l [ is a witness
2 Probabilistic tools
13
b: ob = 0, E
b e 131
B) C P(A)1P(B)
(11)
Proof
We shall prove (11) by induction on n; the case it
1 (or,
indeed, the case n = (1 which makes perfect: sense) is trivial
As before, let Q p"7 I be the weighted (n - 1)-dimensional cube with
probability measure defined k
=
,p_,) Let C = A0 B It
is easily checked that, as A and B me up-sets,
Co = Ao Bo
and
C', = (.4 0 0
U (A I 0 DO
(12)
41
Probabilistic tools
As A0 C A, and Bo C
it follows t hat
Co C (.4 0 0
) n (A 1 0 B0)
(13)
and that
C A Bi
Thus, by induction,
P ( C0) = P1A0 0130) P(Ar)IP(BoT
and
P(C, ) < F(.4, B,) < P(
Van den Berg and kesten [1985] cot/lectured that their inequality
holds lot all events, not only monotone events Van den Berg and Fiebig
[1987] proved that the inequality holds lot Coll Vel events, that is, intersections of increasing and decreasing events Tate lull conjecture resisted
all attempts until Rchnet [2000] moved it
Theorem 6. /A A B c QV, Then P(1 B) < P(A)P(B)
The proof is much hander than that or the van den BergNester inequality
Han is's Lemma has many extensions, including some cal 'elation inequalities of thiffiths (1967a:1967bl concerning Ising lenomagners, and
extensions by Kelly and Shetman [1968] The PEG inequality of Ratuin, kastelevn and Ginibre [1971] extends these to a cot telation inequality On pat tinily Rioted sets. with applications to statistical mechanics;
45
9. .Probabilistie tools
B}
A b:a EA. b E
B}
A V 13 = la V b: a
and their nee/ as
A A B = (a
IR with the
=)((')
cEE
Here, then, is the Foul Functions Diemen' of Ahlswede and Dar kin,
stating that a certain trivial necessary condition for an inequality is also
sufficient
Theorem 7. Let o.
p(0 V b)p(a A b)
Probabilistic tools
16
for all a b e Q".. (Occasionally, such a function p is said to be logmonotone ) By the Ahlswede-Daykin Four Functions Theorem, if p is
modular , then
log-super.
p(A)p(B) C p(A V B)p(A A B)
(14)
F', +
f g dit
1 1(11!!gdtr
di (A) = ii p
(A) = Pp({w:
is
pivotal for A)
Lemma 9. Let A be an increasing event in, the weighted cube Q p", where
p
= ( p i
, p) Then
p;
Pp ( A ) = /51(A)
2 Probabilistic tools
17
In particular,
=
dlp r ( fl )
/3r (A).
x =
=
i:
Pi H - Pi)
=0
x+ E
A, x
fi b z=
x+ E
A,
AI
and
E (2 "-I
A},
E (p x
Px-)
E p x -}- Pm )11 Px
(15)
xEslb
Hence
Op
l?p (A)
Px
is
xE
0 1 (A)
> t2"(n
SO
max/31(A)
2t log; (11t)In
Probabilistic tools
Ben-Or and Linial {1985: 1990] conjectured that this last inequality
can be improved substantially: up to a constant factor, logn(1/t) can
be replaced by logo 'this conjecture was proved by Kahn, Dalai and
Linial 11988] with the aid of the Bonarni-Becknea inequality from harmonic analysis For a combinatorial proof, see Falik and Samorodnitsky [2005]
Theorem 10. Let A be a subset of the n-dimensional discrete cube
(2 = {0,1}" with probability t = 1A1/2". Then
( log 02
i (A) 2 > et 2 (1 _
fi
(16)
11
where > 0
hi
1171
absolute constant
>
t) (log n)In
Ben-Or and Linial gave an example showing that this is best possible
up to an absolute constant
In order to apply Lemma 9, we need bounds on influences in weighted
cubes Such an extension of Theorem 10 was first proved by Dour gain.
Kahn Kalai, Katznelson and Linial [1992]; a simpler proof has since
been given by Fr ieclgut [2004]
Theorem 11. Let A be a subset of the rueiglrted cube (2 1; with probability
P p (A) = I Then
max/j;
where c > 0
an absolute
stant
!off n
Friedgut and Kaki [1996] noticed that a slight variant of the proof
of Theorem 11 gives a stronger Jesuit (apartt from the constant): if the
maximal influence is not much larger than the bound in Theorem 11
then there are many variables of comparably large influence, so the stun
of the influences is huge
2 Probabilistic tools
49
Theorem 12. Let. .4 be a subset, al the weig hied cube Q" with Pp (A) =
If 11;(.4)< S fat every i. then
) log(1/6),
,d i (A) > c
i.1
where c > 0 is
an
absolute constant
There is a simple condition uncle/ which one large influence guar antees
C Q'' is signmettic if
that the sum of the influences is large A set
t i s wariant under the action of sonic group acting transitively on
[n] Thus, A C Q" is symmetric if, for all 1 < j < h < n, there is a
pet mutation rr of [n] such that 7(j) = h and if x = CIA is in A then
so is 7 (x) = (.H o)i All we shall need about a symmetric event is that
ever y variable has the same influence on it
Using this observation and Lemma 9. Ft iedgut and Kahl [1996] deduced from Theorem 11 that ever y svn u netnc increasing property ifi
has a sharp threshold: an 0(1/ logo) increase in the probability p suffices to increase the probability of the property from close to 0 to close
to 1
Theorem 13, There is an absolute constant c i such that if .1 C Q" is
symmetric and increasing. 0 < z < 1/2, and IPp (.4) >
then Pg (51) >
1 e Whell CM]
p >
log(1/(25))
log o
1'riedgut and Kalai [1996] showed that, for events whose threshold
occurs at very small values of p. this result can be strengthened considerably
Theorem 14. There is an absolute wnstant c, such that if rl C Q" is
symmetric and increasing. 0 < e < 1/2, and Pp (A) >
then TVA) >
e whenever
e2P
(1//)
loo(1/(25))
log
From the publication ' of the first papers on percolation theory in the
late 1950s, for over two decades one of the main challenges of the them)
was the rigorous determination of p it = the critical probabilityfor bond percolation on the square lattice. Hammersley's Monte Carlo
experiments suggested that the value of p H might be 1/2; [rather evidence for this was Own by Bomb (1959], Elliott., Heap, Morgan and
Rushbrooke [19501, and Dumb and Sykes (1961]
The fist major result on this topic was due to Harris [1960], whit)
moved that p H > 1/2 In the light of this result: and the Monte Carlo
evidence, Hammersley conjectured that the critical probability is indeed 1/2. Sykes and Essam [NMI] gave a non-rigorous justification of
( 4.72 ) = 1/2, fur ther supporting this conjecture.
the next important step towards proving the conjecture was taken
by Russo (INS] and by Seymour and \Wish [1978] who, independen(t)s
proved that A (Z,12 )+ glij (Z2 ) = Kesten [1980] finally settled the
conjecture: building on the Russo-Seymour--Welsh result, he gave an
ingenious and intricate proof that. p H = 1/2.
By now, there are many proofs of this famous Harris-Kesten Theorem;
in fact, there are a number of global strategies based on various different ingredients, and frequently even the same ingredients have sever al
different. proolS. :Here we shall give several variants of what is essentially one proof, using some of the basic probabilistic results presented
in Chapter 2 NA,T hat follows will be heavily based on the presentation
in Bollobtis and Riordan [2006c] Later, in Chapter 5, we shall indicate
another proof, based on Menshikov's exponential decay theorem and the
uniqueness theorem of Aizemmm, Kesten and Newman
1/2 is the fact that, for p =
Intuitively, the main 'reason why' p it
1/2, the probability that there is an open path crossing an n by n
rectangle the 'long way' is 1/2 As we shall now see, this is an immediate
consequence of self-duality However, haying proved this simple fact, we
ale still lather far from proving that pu = 1/2: in some sense, the real
p robleru struts only then
Recall that the dual of A V is the lattice A* with vertex set {(a - F
1/2, b 1/2) : (a,b) E Z2 1, in which sites at distance 1 ate adjacent
Thus there is one dual bond e* for each bond e of V; this bond is the
bond of A* that crosses e
A rectangle R in V is a subgraph induced by a set of sites of the form
[0 ,14 x
where a < b and e < d are integer's We shall use the same
notation for the vertex set [a, x
dI and for the rectangle it induces.
If b a +1 and I'. = 1 then we call R a k by C rectangle; note
that such a rectangle has 0 sites and 2k1 k C bonds. A rectangle
in A* is defined as in A = V; equivalently, R.' is a 'octangle in A* if
P,.`+ (1/2, 1/2) is a 'octangle in A
Although we have defined rectangles as suligiaphs of V and its dual,
it is natural to define an 'abstract' k by C rectangle as a 'grid graph' with
he vertices and 2/cf. k (edges. Cleat ly, a suligraph of 23 2 isomorphic
to a k by C abstract rectangle with k, C > 2 is a k by C rectangle as
defined above
Turning to bond percolation on A = Z 2 , let us consider a configuration w E {0,1} E(A) on A. For the moment:, the measure on the space of
configurations will be inelevant, lmt, we shall still call a set of configurations an event As in Chapter 1, we define a bond e" inr A" to be open
if e is closed and vice versa; thus the configuration w specifies the states
of the bonds in A and in A*
The hot izontal dual of a rectangle R = [a, x [c, di in A or A' is
the rectangle Rh = [a + 1/2, b 1/2] x [c 1/2, d + 1/2] in the dual
lattice Analogously, the tun beat dual of R is the rectangle R" = [a
x [e+ 1/2, d 1/2]; see Figure I. Somewhat: artificially, the
horizontal dual of a 1 by l rectangle is the 'empty rectangle', as is the
vertical dual of a k by 1 rectangle. For k, f > 2, the horizontal dual of
a k by C. rectangle is a 1 by C + 1 rectangle, and the vertical dual is
a k + 1 by C 1 rectangle Also, (Rh )"
(R'') h
R.
Given a configuration ro, an open horizontal erossinA
i
a rectangle
= [a, x [c, 4] in A or A' is an open path P C R joining a site (my)
to a site (I), 2), i e., a path in the appropriate lattice, all of whose edges
are open., joining the left-hand side of R to the right-hand side. We write
11(R) for the event that R has such a crossing Similarly, we write 17(R)
for the event that I? has an open. VC/ heat crossing, defined analogously.
52
Theorem
M
I MI
I
M
S11W
111111
1111111111111
Figure 1 A rectangle 1? (solid litand its horizontal dual Rh (dashed lin
R h is the Nettie& dual of B
As a minimal open houzontal crossing of a rectangle I? does not contain anv bond joining two vet flees on the same vertical side (left or right)
of I?, the event fi(R) depends only on the states of those bonds in I?
whose duals appear in R h Similarly V(R) depends only on the states
of bonds with duals in RE.
The next lemma is the pit ()wised 'reason why' pn (2 2 ) = 1/2 The result is obvious, and it is tempting to state it without a proof However.
it is not entirely t t ivial to pr ove, and it usually takes quite a while to clot
the i's; for a poof of it closely /elated result see Kesten [1982. pp 386:3021 Here, we shall give a simple proof needing no topology Logically.
the proof is equivalent to that given in Bollobas and Riordan [2006cd
but the presentation is mote like that of a related result in Bollobas and
Riordan [20061].
Lemma 1. Let I? be a rectangle in E li of its dual. Whatever the states
of the bonds in B. entelly one of the events 11(R) MI (1 V(R h ) holds
Proof . Consider the partial tiling of the plane by octagons and squares
shown in Figure 2.. (This is, in fact, part of the Atchinuidean lattice
8-); see Figure 18 of Chapter 5 ) We take a black octagon for each
site of R. and a white one for each site of R h The bonds of R and
of R h ate represented ha squares. with the sante square representing a
bond e and its dual e* A square representing a bond e of R and its
dual C " in H " is coloured black if c is open. so g* is closed, and white
if c is closed and e* is open In the first case the black square joins
lteodem
53
Figure 2 The upper figure shows the open bonds of a rectangle B (solid) and
its horizontal dual Rh (dashed) In the lower figure each site of I? is drawn as
a black (shaded) octagon, and each site of R h as a white octagon The central
squares correspond to bonds e E I? with duals e' C R fi ; such a square is black
if c is open and white if e* is open There are additional black/white squares
around the edges to connect; the sides of the rectangles
the two black octagons corresponding to the sites e i0111,9 In the second,
this white square joins the two white octagons corresponding to sites of
54
the dual lattice that e" joins The squares corresponding to the bonds
in the vertical sides of I? me coloured black, to 'join up' each side of
R; the states of the corresponding bonds ate irrelevant to the event
11(R) Similarly, the squares corresponding to the (dual) bonds in the
hot izontal sides of Rh ale coloured white
Note that II(R) holds if and only if there is a black path of squares
and octagons from the left of the figure to the right, and 11 (1?),) if and
only if there is a white path of squares and octagons front top to bottom.
In particular, 11(1?) and V(Rh ) cannot both hold: otherwise, these black
and white paths contain disjoint (piecewise linear) curves in the plane
lying in the Ulterior of a cycle C (the boundary of the partial tiling),
and joining two pairs of points at, and bd, with a. b. c and d appearing
in this cyclic order around C As noted in Chaplet 1 (see Figure 8), Kr,
could then be drawn in the plane
Let I be the interface graph. formed by taking those edges of octagons/squares that separate a black region front a (bounded) white
one, with the endpoints of these edges as the vertices Then every vertex of I has degree exactly 2 except for the four vertices x, y, z and at.
which have degree 1. Thus the component of I containing a" is a path Ili,
ending at another vertex of degree I. Walking along I1 7 front r, there is
always a black region on the right and a white one on tire left. Thus 147
cannot end at: 4, so IV ends either at y or at
If II' ends at y, as in Figure 2, Own the black squares and octagons
on the tight of IV give an open horizontal crossing of I?. More precisely,
these squares and octagons correspond to a connected subgraph S of R
joining the left. of .1? to the right, all of whose bonds ate open, except
possibly lot some vertical bonds in the sides of I? Let P be a minimal
connected subgtaph of 5' connecting the left of I? to the right Then P
is a path. and P uses no vertical bonds in the sides of B. so P is an
open horizontal crossing of R. and 11(R) holds Similarly, if IF ends at
w, then the white squares and octagons on the left of II' give an open
vertical crossing of R h in the dual lattice. Thus at least one of I1(R)
and V(Ie) holds.
The path II' in the interface graph I described above may be found
step 1w step: we enter the tiling at r, and at each vertex we 'test' the
two edges leaving tins vet tex and follow one of them. If II(R) holds, so
t hat IV leaves the tiling at y, then the path P we find is the the top-most
open hot )contal crossing of I? This has the very useful property that it
can be found without examining t he states of bonds below P
55
Algorithms such as this, that test for crossings by examining 'interfaces', are sometimes of practical significance, as they can be much faster
than exploring, say, the set of all vet tices of R reachable from the left,
and testing whether this set contains a vet tex on the tight
Lemma 1 may be worded as a statement about a plane graph and
its dual: contract each vertical side of B to a single vertex, and add a
single edge I joining these vertices to form a graph G. Also, contract
each horizontal side of Rh to a single vet tex, and add an edge f* joining
these vet tices, obtaining a graph 6* Then (.7 and G* are planar duals;
see Figure 3
Figure 3 A rectangle /? with its left and right sides pinched to single vertices
(solid lines), and the rectangle R h with its top and bottom sides pinched
(dashed lines) With additional edges f f' as shown, the solid and dashed
plane graphs are chinl to each other
56
1301h1percolotani
Oil
Ea
in
Figure -I A plane graph C (solid circles and lines) di awn with its dual CI
(hollow circles and clashed lines) There is a black 2d-gon for each degree d
vertex of C. and a white 2d-gon for each degree d vertex of a' There is a
-I-gon km each edge/c hu rl-edge pair {c. this is black or white according to
whether c is open or closed, apart from the hatched 4-gon, corresponding to
the distinguished edge f and its dual f
goes except, that colitis/muffing to { i l"} black or white irr ai t y way
Then in the inter face graph hunted by the sides of polygons separating
a black region horn a white one, ever y vertex has degree 2 except the
font vertices of tine -4igont coliesponding to f. f*}: the rest of the 1)1001
is as before
Corollary 3.
57
in Z2 . respectively, then
Pt aH(R)) -F E I-v( / 01 1) = I
Ii is an It + I by II rectangle then
P t12( H ( R )) =11 2
(1)
It is easy to deceive oneself into thinking that (1) shows that par = 1/2
Although self-duality is of course the reason -why' Pu = 1/2, a rigorous
deduction is far from easy, and took twenty years to accomplish
58
Bond pemolation
OP V -
Lemma 1 By that remark, for any possible value P I of L17 (.9), the event
{LII (S) = } does not depend on the states of bonds of S to the right
of PI
We claim that, for any possible value Pi of EV (8), we have
Pp (X(R)ILV(S)= PO Pp(H(R))/2
To see this, let P be the (not necessarily open) path formed by the
union of 13 and its reflection PI' in ti re horizontal symmetry axis of .R,
with one additional bond joining P1 to P(; see Figure 5 This path
Figure 5 A rectangle 1? a al square S inside it, drawn with paths (solid curves)
whose presence as open laths would imply X(R). The path P formed by Pi
its reflection P;, and th r single bond joining then, crosses 1? from top to
trot tom
IP,(H(R))/ 2
As the event V (S) is a disjoint union of events of the form {L1 7 (S) =
59
we thus have P (X (R) I V(8)) > INH(R))/2, and the result follows
li
1111/2(X'U1'))P112(X(R))P112(H(S))
Prp2(H(R))2P1/2(1/(S))2P1/2(H(S))/4.
Bond percolation an E2
60
the Han
hi - Kasten
Theorem
It turns out: that the difficult step is getting horn scrim/es to elongated
rectangles: ft QM COI ollm V 5 it is vent' easy to deduce Hatt is's Theorem
Indeed, considering in ) by 2n and mo by 2n rectangles intersecting in a
2n by 2a square as in Figure 7, by Harris's LCIUMI/1 we have
(2)
> 2n hi particular,
Ion ill
20> h(a).2n)l)(3m2t))/2
Nat
>
2-sh(m.2n),
h(lta. 2a) > 2 17-8k lot all k > :3 and n > 1 As h(m.2n
h(n).2n) it Follows that thew are constants h k > 0 such that
so
1) >
in tn, >
2u
Plats
0 -
(1)
As 2- 1 < /1(3n. 2n) < 1/2 lot ever y n. it is natural to expect that
More gemnalh, one would
11 (31 1 .2a) coin el ges to a limit as n
Nun. fro) = (a lb) lot sonic function /(:c) with 0 <
expect
f(r) < 1 Indeed. it would be astonishing if this were not the case
Surprisingly this conjecture is still open In fact. this is a very special
Hurt is 's Theorem
61
Z2
fri
(5)
.r = 2 -i00 > 0 each rectangle is crossed the long way by an open (dual)
path Il this happens, then the union of these paths contains an open
dual cycle surrounding the centre of the annulus; see Figure 8.
For
> 1. let A t; be the square annulus centred on (I/2,1/2) with
G2
inner and outer radii 4 k and 3 x 4 k , and let Ea he the event that Ak
contains air open dual cycle surrounding the interior of A k , and hence the
origin. Then P(Ek) > e for every P. As the A k are disjoint, the events Ea
me independent If Ea holds, then no point inside .4 k can be joined to
a point outside A k by an open path in V. so r (Co) < 1 +3 x 4 k < 4 k+ I
Thus,
P I/2 ( I
4c1)
P1/2
\ k=
E =
H P112( Ed ^ 0
k=
n-c
0
so 0(1/2) = 0
exists Once again, this natural conjecture is still open, although a corresponding result for site per colation on the triangular lattice is known:
see Chapter 7 The limit above, if it does exist, is often denoted by 11p,
or 1/(5,. It is one of the critical rap(111111115 associated to percolation; see
Chapter 7.
Looking back, the most difficult step in the proof of Theorem (i is
Lemma 4 or the equivalent results of Russo [1978] and Seymour and
Welsh (19781 Although Harris's proof is very different from that presented here, a key step is similar to a step in the proof of Lemma 4:
roughly speaking, given an 'outermost open semi-circle 8 around the
origin' within a certain region, one reflects this to form a cycle S U .
Then a path meeting this cycle from inside is as likely to meet the 'real'
part .5' (all of whose bonds are open) as the reflected part S'
It is pr rssible to prove Hall is's Theorem using Lemma 1, Harris's
Lemma, and the independence of disjoint regions, without ever considering left-most crossings or then equivalent; such a proof has applications
in other contexts, where the proof of Lemma 4 does not work Indeed, as
we shall see in Chapter 8, a (long) proof of this kind was given for random
3 A sharp transition
63
If E is increasing, then
Ip (e,E) =
( w 6 E. co--
2P 1/2 ( r(Co) _^
4 11 1 12
, (n
)/21)
(6)
Band
per rotation on
igwe 9 A bond e (joining the solid discs) that is pivotal lilt 11(1?): the dual
bond c' (endpoints shown as ( l osses) is pivotal for Die)
of length at least 10 /2 L so
0 (e 11(11)) < 2P(1(C0 ) > 111/2 I)
(7)
(9)
(10)
3.3
.1 slung transition
65
ha some constant
for > 2 we have
1e(e,1-I(R))<
(100(1 (0)
H ( R ))
log(1/6)
tell( TO
all p' E [1/2, p]. where e > 0 is an absolute constant
the Margolis lbws formula (Lemma 9 of Chapter 2). the stun
above is exactly the derivative of I (p') with respect to p' 'Thus, writing
for
By
g ( p9
d i/
1(7)(1 (0)
"
follows
Using Iris weaker 'approximate 0-1 law ! instead of the mom iecient
Friedgut Kalai result. [1982] proved a weaker form of Lemma 8:
this weak form is more than enough to deduce Heston s Theorem
Following Bollobas and Riordan (2006ci. we give an alternative proof
of Lemma 8, using a version of the friedgut- Falai result for symmetric
events.. Theorem l3 of Chapter 2 The other ingredients of this proof are
Harris's Lemma and (3) tins. rather than (5) The idea is that. if II(1?)
were a s t innwtric event. then Lemma S would follow immediately from
(3) and the Fr iedgut-lialai result Of course, 11(1?) is not symmetric,
but it is very eas y to convert it into a suitable symmetric went
Alternative proof of tetanal 8. Fix p > 1/2 Rom (3), there is an
absolute constant 0 < < 1/2 such that P i p,(11(R)) > c for any -fn
by rt rectangle
angle I?
obtained from Z 2 1w idenFor n > 3. let T2, be tire graph C' x
tifying all pairs of vertices for which the corresponding coordinates are
congruent, modulo
This graph is often known as then by a discrete
has 112 vertices and 2n 2 edges
torus Note that
For 1 <
t < n-2, a Ai by I rectangle 1? in
is all induced subgraph
corresponding to a k by I rectangle 1?' = [0+1, ads x [5+1. b+11
of
66
in 22 Out rectangles in the torus are always too small to 'wrap ill Olin( II,
so, as in the plane, any such subgraph is an abstract k by t! rectangle.
We shall work in T2 = 'ffiL, taking the bonds to be open independently with probability p. We write PI,
Pi 2 for the corresponding
probability measure
Let E be the event that: 1 2
ti contains sonic 4o by rectangle
with an open horizontal crossing, or some T/ by 1n rectangle with an open
vertical crossing Then E is symmetric as a subset of 1)(X), where X
is the set of all 50n 2 edges of
Considering one fixed -In by o rectangle Pr in 1 2 , we have
P I: 22 ( EO ?_Pi;2(H(E)) = P o2( E (E)) > (.12
Let /5 = (p - 1/2)/(25c,), where c 1 is the constant in -Theorem 13 of
Chapter 2, and set E = I/-" (16 As (5 depends only on p there is an
no = ro ) (p) such that E < e2 < 1/2 lb/ all a > no Now
1
log(1/5-)
9 = 25c,(5=
>
log(n-)
log(1/(2E))
log(50n2)
> E we have
(11)
P); ( ED >P
1=1
<
/I/5(
Kesten's Theorem
67
so Pi; (E ) > 1
Now E is the event that there is an open horizontal crossing of a
fixed 3n by 2n rectangle R in the torus. which we may identify with a
corresponding rectangle in
P(H(R)) =
Thus
Fp( H ( R ))
> 1
enough. 'Using
whenever R. is a 3n by 2n rectangle in 27,2 and a is large
(2), it is easy to deduce (9)
The proofs above involved various explicit bounds. These ate not
really relevant As noted earlier, the following much weaker form of
Lenrnra S is enough to deduce Kestert's Theorem.
Lemma 9. Let p > 1/2 be fixed If 1? is a 3 1 1 by n rectangle to V,
pc,
their P(II(R))
1 as n
This may be proved by either of the methods above Indeed, it follows
from Harris's 'Theorem that the influences of the bonds e on the event
11(R) tend uniformly to zero as the shorter side of R tends to infinity.
Using a qualitative form of Theorem 12 of Chapter 2 (that the stun
of the influences is at least 1(S) if all ale at most O. with (6)
(I), or Russo's approximate 0-1 law, it follows that the stun of
as t
> 0 (from (3)),
the influences tends to infinity Using inf h lt )(3n,
Lemma 9 follows Alternatively, one may use (3) and a qualitative for in
of the symmetric Friedgut -Kalai result, working in the torus as above
Either argument shows that, unlike Lemma 8, Lemma 9 does not depend
on the particular form of the Fr iedgrit-Kalai bound.
34 Kesten's Theorem
As noted earlier, it is well known that Kesten's Theorem follows easily from Lemma 9; inn fact, from the quantitative form of this lemma,
Lemma 8, Kesten's Theorem is more or less immediate
Let E,
denote the event that there is an infinite open cluster Recall
that P(E ) > 0 implies that
= 1 and 6(p) > 0
Theorem 10. Fat hand percolation in V. p > 1/2 then 1P 0 ( Etc ) =
Fix p > 1/2, and let, 7 = -l (p) and no = no(p,2) be as in
> P. 0 be an integer to be chosen below. For k =
Lemma 8 Let
0,1,2,
, let Rk be a rectangle whose bottom-left corner is at the origin,
Proof
68
with side-lengths 2 /1 11 and 2 k -11 n. whew the longer side is vet ical if k is
even and hot izantal if k is odd: see Figure 10.
o f en paths
Let .E / be the event, that ./? k is crossed the long way by an open path
Note that it'll two such ctossings of Ilk and RAH' must meet, so if all
the E h. hold then so does E x . If it is huge enough then, b y Lemma 8.
=
6>a
so P ,(Ex. ) >
F,An k ,.
< 1,
>0
(12)
liesten s Thcomn
69
Figure
Four 0 by rr squares in 2 2 Each consecutive pail fin ins a 2a by
rectangle It these three rectangles have open horizontal crossings, and the
middle two squares have open vertical crossing,, then the union of all Emu
squares has au open
izoutal mussing
ELIM
11111411
1 'gum 12 ly
lis
by n
formicu e I
iv 2n rectangle
i_(1_hp(2,),)-
(13)
Lemma 11. Let. k > 2 and A > 2 be positive integer s. and let G he
a (finite a t graph wtih matint arn degree at most A There are
constants P i = pr (k. A) and n = a (k. A) such that if P is a k-independent
site percolation ineas iti r all G in which each site is open with probability
at MOW
then
11;
exp(an)
71
< (eA)
p;'/
< (cAp
) 7/
I/Ak
= GA T),
< 1, the resit!t, follows,
Choosing pm small enough that
with a = - log;.
For the second statement, note the quantity A k above is in fact an
upper bound for 1 -f- A + + A t I Hence, when /c = 2, it may be
fj.]
replaced by A + 1
72
eve/. v
If 1C1/d > Is + 1) 2 . then el. el \ site n o 1 Co is joined by au open path
to some site at 1.,-distance 2s flow w If in E 8, then it follows that
B(.9,.) holds Tints, if rid > (-1s+ 1) 2 . t hen B(S,,) holds tot every c such
that contains sites of Co 1 he const uction of the model Il go es us
a mutual coupling of Al and Al: a site c is open in A/ if and outs if
FL- 0 is open in Al.
S(B,.) holds ill Al. III particular. event ' with n
so the set of such v forms an open cluster iu Al. and is thus a subset 01
Co Hence. as each So contains onl y s 2 sites. fi g n > (-Is + 1) 2 we have
of
F,,000
g )
111 0(.7,1
g /s2 )
exit( --ust/s2).
(po i _ I < 39
dual cycles of length 21: sou rounding fl. where I r k < -1 x 3 k - I is the number
of paths of length lt ill 2 2 starting at 0 Let S denote the set of duals of
the bonds in 5', so S is a set of bonds of A = Z 2 As the graph 2 2 is
1-edge colourable. there is a set of at least 1/2 Vertex-disjoint bonds hr
diet-I.-probability that S' is open. i e the II-probability that
all bonds in S me closed, is at most (1 - po)112.
It Follows that the probability that Co is finite is at most the expected
number of open dual cycles surrounding the origin. which is at most
v 3210 - pot12
9
t>2
7-1
Proof of Theorem 10 third version. Let p > 1/2 be fixed, let. po < 1 li)e
a constant for which Lemma 11 holds, and set c p(1/ 3 Given a 3n by
a rectangle H. let S' and S" be the two end squares when 1? is cut into
three squares. Note that 11(1?) certainly implies II(S' ) so, by Lemma 9.
Pp(1/ (S" )) =
= P 0 ( 11 ( Si ))
Pp(H(R))
Figure la A au by n recta
rectangle It such that
il) holds.
Harris's Lemma.
Pri (G(R)) > P(//(R))ifii,(17(51))Pp(V(S"))
c3 = po
75
Hid
responding rectangles R.
'16
Bond percolabon an
22
exp(bli7)
for all n
<
<
S.: ext)(--- e 00
(LI)
BIRO ) ICH <
(or 1)
exp(-2a
Figure 15 A 9 by 9 square .5 with bottom-left coiner tire aright. drawn together with all the open hands in its interior 'The filled circles are the sites .r
for which E i e.. those joined to DS by an open path. If the bonds in
[IS are open, and the dual bonds surrounding .9 (dashed lines) ale also open
(night consists precisely of time filled circles
then the open cluster ()I' the
Let N be tire number of sites :It E ,5' for. which E . holds Then
0(p) >
2 t (!fir) = 5 s E s Pn( E.,) > 110(p) As A < n always holds, it fellows that
PAN >
n0 (P)/2 ) 0(p)/2
Pn1 F ) = 04
Since each event Es depends only on the states of bonds in the interior
of S. the random variable N is independent of the event F. and
Pp (n0(p)12 roi <11c)
1?(F
n {N > nO(p)12})
Pp (11 )Pi,(1N
(PG
nO(p)/20
(0)12
Out ainr in this chapter is to show that, for a wide class of percolation
models, when p < prr tie cluster size distribution has an exponential
tail.. Such a result certainly implies that pr = vu; in fact, it will turn
out that exponential decay is relatively easy to prove when p < p r (at
least if -size' is taken to mean radius, rather than number- of sites) Thus
the tasks of proving exponential decay and of showing that: p = are
closely related.
Results of the latter t y pe were proved independently by Nlenshikov
[1986] (see also Menshikev, Alolchanov and Sick)/ wilco [1986]) and by
Aizemnan and Barsk y [1981 under different assumptions Here we shall
present Menshikov's ingenious argument in detail, and say only a re
words about the Aizennian-Bar sky approach. As we shall see, 1\ fenshikoy 's proof makes essential use of the Margulis-Russo [Mrada and
the van den Bel g-ICesten inequality
79
1/2,
(1)
pe(f.)?C') 5- Pp ( 0 ''2")
--' In
yEs,00
P P
11)1Pe(l
ES,,,
E IP(0
y E
y)P (0 -Z.)
(0)
SO
11
:17
shores that
81.
< PACs ]
APj( U
u/.4)
(2)
82
AI p
IC.1 1 IC 1E(CJI
Ard
4.2
83
U C...(7)
eE (:ra
Hence,
PI
(Kidd
tr)
P i (1E(C.J1
It
P2
(7.:
1r1EE.1(1')
As 1.6+ (x)I < A, this gives the upper bound in (2) with i = 1, j = 2.
for any rt > 2 The condition for yr = 1 is trivial, as P I (ICA >
= 1.
K, and we have chosen
while F,OC (7) 1 >
= p for any bond e of
A > 1/p.
For the lower bound, pick any 7 E
(;r) Then
(1CI ?_ 11.1
P I (1E(C,,)1
P2OC,(7) >
II + 1)
P2 (1Cy1
Sd
tie& pi obabilities
to
Figure 2 A series
say,we have y,(,A;p) =
so
1/1 =
pi21. while.
A 1 (L(A);
p) = e (E1pi41).
= \u(P)
$5
A NA
r-1\
T\
LVJ 1;.
r''
6k
ti'AV4 VAV4
simpler: recall from Chapter I that two sites .1: and y of a graph A
are equivalent if there is an automorphism of A mapping x into y The
graph A is of /mite type if there are finitely Malt equivalence classes
of sites uncle/ this relation. In particular, vertex-transitive graphs are
of finite type, with only one equivalence class. In the most interesting
examples, A will be vertex-transitive ha example, the Archimedean
lattices studied in the next chapter, shown in Figure 18 of that chapter,
have lids proper H Occasionally, luwever, we shall stud y mote general
finite-type graphs. Mr example, the duals of the Archimedean lattices
other than the square, hexagonal and triangular lattices For oriented
percolation, A will almost always he such that any two sites are out-like,
so ICIT I = 1 However the greater generality allowed by assuming only
that C:v, is finite does not complicate the proofs, so we shall always work
with this assumption, rather than requiring that 1C ,T 1 =
The next lemma gives a condition on an oriented graph A that will
play the same role as the condition than an in/oriented graph A be
connected Recall that an or iented graph is .41rongly connected if. tor
any two vertices x and y, there is an or iented path from .t; to y
Lemrna Let A be an Infinite. locally finite or ienled multi-graph with
C v shrrngtroam-Ord Then there are real :umber :N (A ) and A( A )
such that
,
1(
A ix)
=141(7C)
and itt
(A)
86
Proof. Let
and y be any two sites of A As there is an or iented
path from [al to [y] in CH-c, there is an oriented path P in A nom x
to a site it' E [y]. If P has length 1, then 0,(p) > p 1 0 /Ay) = Oy(p),
and :y r (p) > pcx,,,(p) =p/Up). As :c and y are ar bitr y, we find that
lt,r (p) > 0 for some site x if and only if 0,,,(p) > 0 for all sites a!, and
that x x (p) < oc for some site a if and only if y x (p) oc for all sites x.
Hence, the critical probabilities pli ( ; x) and 10F ( A ; r) do not depend
on the site :c, as claimed
Our main anti in this chapter is to study the tail of the distribution of
(C), i.e . to study the probability of the event r(C) > a, which is
exactly the event {:c 41 that there is an oriented path from a given site
87
Figure -I The or halted graph X on 71, 1 in which two bonds leave each site
(a, b) one going to (a + 1, b), and the other to (2a. b = 1) ibis example was
given by Paul Balistel
241 holds
88
Figure 5 An Must radon of the event U t eri Solid circles represent open sites
As </(x. :) 4. the (unique) Open path hom the out- n eighbour y of ,r to z is
a witness for PIA(a)
The !casein lot considering 1?(c)inter than Fa =Id. is that we shall
look tin disjoint witnesses for pmts of events such as l?(x). fik(f),
I
which would he impossible lot tr 217). and Ix-L
p < MI ( A; x), then (C5 ) < c with probabilit y 1, so Fi;,If (Cc a ) >
a) as it oc.. Suppose flint CT is strongl y connected Then, IwJ
Lemma 2, throe is a si tgle ethical ptobability p L1'( A) independent of t he
p (:r,. p) =
initial site a For a fixed p < p i ( A ). we thus have
lot twin site 1 7. In the i ugurnents below. w(:` shall need bounds on
( p ) 811 1)
(abli)
J7E7C
/Pa( Cji,
"Pit Cul
(P) 0
US lr
(3)
If
89
Proaf Since C-c is finite and sli t ()ugly connected. them is a constant t
such that fin atIV two out-classes [r] and [y]. there is a path of length
at most t horn [d] to [y] in CT Hence, lo t any sites .r and y. there is
a path P of length t' < f from r to a site V E Let E be the event
that all sites of P other than (pet haps) y' are open Then
1P,,(1c,1
H)
P,,(En flew]
POcii
(i) =
pl IP' pac mi I
I,
F)
IP (I C
41
(')
CJ
PO
.3 Alenshileov's Theorem
91
.5;ti (r)
(a)
Figure 7 The set of sites on open paths from 1 to 9;4; ( r), shown with a
possible artangement of the pivots ha for the event. R (:r) Note that bib..
LT2 63 mid br,b6 are edges of A
er
92
Eepoio
figure
litst
to
then it there are any pivots for the event 1? (1) the
>
. is at disun i ty mot e than k frpm r Thus thine ate open paths P it owl
) and P ' how
S ir) that are disjoint except at .r
S II DI
l i t china case. there ate pat hs P and P' front .1 . to S,+, (r) and to
tespecti eI N with P 111(1 P' disjoint except at .1 and all sites of P and
> k} is contained in
I' tit het titan x open illus. the event R (x)fi {
I lie erect .1 ( Pk(.r) Hence. by t he ran den BEng-Rester inequality.
Theorem 5 of Chaplet 2. tic lime
Pip (I? (3).
>
ie.
P p ( D I > k I Rs (l i )) 5_ 14.(1',
The wain tool in Nlenshiltov's proof is a genet alizatiou of tins observation
When 1?(r) holds and there are at least t pivots, we WI Re 11 lot the
tilt into-1o, el u.stel meaning the set of sites z such that there is a path
P born to c with I) P and all sites of .P other than ./ open: see
Figure 9 Thus, if c is open, then II is the set of sites teachable fron t Jr
by open paths not passing through b, We use bold font fin the random
variable I/ because it will be partic u larly impottant to distinguish It
we
horn its possible values It
ot h er random variables, such as
do not bother.) When lo = y and II = It , then every site in I 1 U 0/1
93
Figure 'the 2nd interior cluster Io consists of the thick hues including all of
their endpoints except b 2 Note that z 6 1 1 , oven though z is not on an open
path Irian i t neighbour of 3: to 51(x)
open, and all sites in d1 1 other than y ate closed. where 01, is the set of
out-neighbours of . U 1:0
With this pteparation, we me ready to present the key lemma for
denotes the probability mealenshikov's main theorem As usual.
sure in which each site of A is open with
of the sites are independent
A}.
(5)
R(.r)
n {D i =
D2 =
(12.
Dr-1 = -1}
pk(y. p)=F;,(R),(y))
Proof Throughout this proof, we work within the finite subgr aph of A
most n hour a We write IP For Fis,
We shall pat tition the event E according to the location y of the
For
and according to the ulterior cluster I=
(r 1) 5 ` pivot b,
let
any possible value I of I consistent W ith E
Ely
= R.(e)
n =
91
it and onl y if Fr, , holds and there is an open path P horn a neighbour
of y to .9,1-(x) disjoint from I U DI (Note that y E DI.) Let us write
G y.i for the event that there is such a path P
Let X = (/u0/) c . and let P IA, denote the product probability measure
in which each site of X is open independently with probability p We
may regard the event D ili as an event in this probability space. Note
that, in the measure P, if we condition on Ft, , ,. then every site of x
is open independently with probability p (The event Flo' is defined
'without looking at' sites in X.) Hence,
P(E mi
F Fp .1 )
= WI;
al I ts
1Pyt.E 1 )
P y (p,
1 )1? (Gm!)
Let H y denote the event that X contains an open path horn a nrighbout of y to b' (p). Suppose that E l, j holds and that D, > k Then
F;, r holds, and, as in the case; = 1 above, X U{y} contains open paths
P. P ' . disjoint except at y, with P joining y to 8,;(a.). and P' .joining
y to St (y); see Figure 10 Thus, X contains disjoint witnesses fin the
f
illerishiltov's Theorem
95
n {D, > k} is a
(Cy
we
have
P;\ (11 , r) =
<
P y (R 1,(y))
1.7 (E
ie
Pp (D, > k E y 1 )
pk(q.p)
Lemma -, is the key ingredient in the proof of Nlenshikov's main theorem Although this lemma gives detailed information about: the distribution of the distances to successive pivots. all we shall need is the simple
consequence that, on average, there ate many pivots if 11 is large.. To
state this lemma, let N(E) denote the number of sites that are pivotal
for an event E
D, _
<on R.(2)
,D,_1=61.,_,}nft.(d),
< k
. ,D,
R.(.0)
(6)
In;
whene\
tk < ti In pinticulin
Pp <
/?
stIP fik (
(D i 15
n(.0)
suPfik(il
Continuing in this uav, we see that
li p
D, < k T?(r))
(1 suppk(y, p))
LitpidiPp
,D6t/tij
R tt(1))
L o / k i slIPPkOrpni-nfid
as claimed
< exp(on/(logn) 2 )
(7)
4 3 Alen sh ikon's Thew cm
97
n>
(8)
nx
BA Lenuna 5, we have
Ei (A; (R (a)) l? (J.
[le / k
- pk(p))1-11/bil
(N(E) I E)113(6),
so
dl
d
E ,(N(E)
P (E) >
-
(E)
(E) flp
lei I k (1 - p(p))L
Pa Cr , P4-)
< xp (-(p -
p_)Lit / Li (I
- p(p+))1"Th)
1.4]
a:pont:Mad decay and al ilia& probabilities
98
as long as p i n > 0; in fact, as we shall see later, p i > p for all p Let
and p_ = p1+1 Thus
=
p+ =
us apply (9) with k =
pk
p,(pi)==
p i , so (9) gives
pd,
and
(p+
)
=
=
1/1 /k) -=
p ix:(m+ ) 5 P,,,
so
Fr om (10)
Pa Pi
og(i/pj) 5
c J pa log(e-ilp0)
where the second last inequality uses E i>0 )c < 1 and the final inequality holds by out choice of no. it follows that the construction of the
pi continues indefinitely, and p i > (Th -1- p)/2 ha ever y
sequences
l.3
Theorem
99
S,:>,(1/9)J
Yt
< st.ino
Let n > no be 111bitutiv Then them is an
SO /11+1 =
with
But
N(P)
Pu t (It ) 5_ Pt:,(Pi) =
(11)
for all a > 1 This weak polynomial bound is a Iar my horn (7), but in
tact the proof is almost: complete! All that teamin g is to use (9).. this
time in a straightforward way
Fix p" with p < p" <
> 1, let k t = k i (n) = (T/5/11)
Then [n/1:::] = e(n 1/6 ), and, from (11), pk ,(p1 )
0(11 =1/6 ) It follows
(1- pc,(P1))1"0''1 is bounded away front zero Hence, applying (9) with
= (a),
p' and p_ = ,r7
p(p") < exp(-(p ' - p")0.(nI/6)) = exp(
as a
oc.
Fix p'" with p < p'" < p" a nd let kg = k 2 (0)
Front (12), we have
p h...,
ri I /6 ))
(lot
(12)
2).
/co (n) it
100
One final iterat ion now gives t he result: taking l':n = log rt(log log O s it
follows that pfa (p'") = o(n- l ). and appl ying (9) once more we find that
p(p) = exp([2(///(log n(log log n i ) s ))).
(13)
The method above gives a slightly stronger bound than the inequality
(7) claimed in Theorem 6 Indeed, the unappealing final estimate (13)
above is stronger than (7) Iterating finthel, one can push the bound
almost to exp(--n/ log n), lint this is as far as the method seems to go.
As noted earlier, under a very mild additional assumption. Theorem 6
immediately implies another theorem of Menshilrov, that > p i n, and
solr7= Pat
Theorem 7, Let A
exp(C l /r/(log 0 3 )
1.5,4(01
fm fret
i ti ligi
t hen M(
(IA)
= Pi1(7)
A Thiel'
(A :
=
,r
11/n;,(// E C's)
H- ( 3 11firi (.1.
S ;':(.1 I
p i ( A )
Using the equivalence between percolation models discussed in Section 2, Theorems 6 and 7 immediately imply corresponding statements
for bond percolation on A. and for 1 u/oriented site and bond percolation.
Mann, of the most interesting percolation models satisfy the assumptions
of Theorem 7 (alter the appropriate translation to oriented site percolation) [ indeed, in many cases (Ion example site or bond percolation
on Ed ), the class-graph has only a single vertex and the sizes of the
neighbourhoods .51,1"(x) in A grow polk nomially iu n
It is tempting to think that for any finite-type graph, cipher the
s Tluore tti
101
'growth function' 2 (u) = Sup , , : 15(.01 will be bounded by a polymania'. or 2 (0> exp(ur) fin sonic n > 0 Indeed. Milma 119681 conjectured that this assertion holds in tilt' special case of Cayle y graphs of
finitel y generated groups. Surprisingly. even this is not true: Gtigorchnk
11983: 198-0 gave a counterexample Fut the/mo t e. solving in the negative a problem of Gramm' 119811. AFilson [2004] proved that a glom of
exponential growth need not be of unifianth exponential growth (See
also Arachnile rind Pak [2001]. Pvber 1200-11 and Eskin. Mozes and Oh
[2005])
The condition that Cc be finite is essential fin Theorem 7. We illustrate this lie untalented bond percolation Let G i he it 2'
gt. id
i c . a square subgt twit of r with 2 2 ' vertices. and let A be
the graph obtained b y stringing together tire gtaphs G; as in Figure II
corners
Figure II. A series of grid-graphs strung toget he t by I heir opposite
lot the example, t he sizes of t he grids grow super-exponentially.
102
works for oriented site percolation: take the line graph, and then replace
e
each bond by two oriented bonds.
In the unmiented case, we do require the underlying graph A to be
of finite type. However, there is little reason to consider the graph
structure of CA, defined analogously to Cdr : the graphs A we study are
always connected, so CA is also connected. Note that if A = ips(A)
is obtained front A by replacing each bond by two oriented bonds, as
in Section 2, then two sites a; and y are out-like in A if and only if
they are equivalent; in A Thus, if A is a connected finite-type graph,
then C1 is finite and strongly connected For locally finite graphs,
the transformation mapping an oriented or unmiented graph to its line
graph also preserves the finiteness of the class-graph Finally, these
transformations also preserve the growth rate of the neighbourhoods, so
Theorem 7 does indeed imply cm responding results for bond percolation,
and for unmiented percolation
In the statement and proofs of Theorems 6 and 7, we took e ye' y site to
have the same pr obability p of being open These results extend easily to
a sornew bat more general setting, in which different sites :r have different
probabilities pd. of being open, with the states of the sites independent
Recall that the definition of the class-graph C-v. or the equivalence of
sites in the man iented case, involves isomolphisms between subgraphs
of A or amount ' phisms of A Naturally, we now requite any such
isomorphism to preser'e the 'weights', i e., the probabilities that the
sites are open. Thus, out-like sites still behave in the same way for
percolation As we require C-Tc. to be finite, there is one probability pi
for each out-like class, so we obtain a per colation model parametrized by
o
a vector p = (p i , .
pk ) For example, one could take A =
with
alternate sites having pr obabilities p i and pi, of being open, resulting in
two oil-like classes
Theorem 6 carries over to this 'finite-type weighted context in a natural way: using self-explanatory notation, the result is that if for some
. hr; We have
. .pk )= 0 then, whenever
pi for each
an assertion equivalent to (7) holds in the probability measure Pp,
Hew Pp , is the measure in which sites of class i are open with probability flit with the states of all sites independent. There are two ways
to see this One is to note that the proof given above carries over mutabs unitantlis In particular. the MargolisRusso fornmla (Lemma 9 of
Chapter 2) states that for tar increasing event E. the stun of the partial
derivatives of IPp (E) is exactly the expected number 01(N(E)) of sites
/3 Alenskikov's Theorem
103
that are pivotal for E If we decrease each p i at the same rate, then the
calculations in the proofs above are exactly the same as for the uniform
case.
Alternatively, one can realize an arbitrarily good approximation to
the weighted model as an unweighted model, by choosing p close to 1
and replacing each site open with probability p r by an oriented path of
length C chosen so that pd is within a factor p of pa,. Using this idea it is
easy to deduce the weighted version of Menshikov's Theorem from the
umveighted one.
Note that we require g p i for all i: in general, it is not enough
to require p < p i for all i and pie < p i for some i. This may be seen
by considering any graph in which sites of one type are ' useless ' , for
example, the graph A obtained from Z - by adding a directed cycle to
each site, where the sites of Z 2 are open with probability p h and tine
new sites with probability Po
Marry of the other results we shall present also have natural weighted
versions Most of the time, we shall present only the unweighted version,
and shall not discuss the simple modifications or deductions needed for
the weighted versions
Aizemnan and Barsky [1087] gave a result closely related to Theorem 7. Their proof uses yen v differeM methods to those of Menshikov,
although it also relies on fire Vail den Berg-Kesten inequality and the
Margulis-Russo for mula A key idea of the proof is the introduction of
a 2-variable generalization of the percolation probability 0(p) Considering bond percolation on a graph A in which all sites are equivalent,
this may be written as
moi,
= 1
p( 7;
II),
rt=I
where p = 1 6- 0 The reason for the reparamettization is that: Aizennmn and Barsky consider a more general model of percolation on Ed,
where 'long-range' bonds are allowed: each edge xy of the complete
graph on 27,(1 is open with probability 1 exp(-0./(x y)), where
.1 is a non-negative symmetric function on Z d . Taking It = 0, the
sum above gives exactly Ilt,OC. <
= 0(p) Writing VI for
.1(X), Alain/Mill arid Barsky prove two differential inequalities
for AI = Al(13,11), namely
8111
08
< 1.111
0.111
104
and
<
,r
+ :11" fli
Ur i
Oh
The latter inegt tlitv genet alizes an eat lie/ tesult of Chaves and Chaves
1986a] that
(() < 0(i()2
0(p)i)(e)11))
lot hood pet colation on Z il (For site pet colation. the Lena 0(p)2
replaced by li t 0(p) 2 ) Using these differential inequalities Aizentnan
and Barsky show that 11/(el l > ch i/2 for some c > 0. where ;IT
corresponds to p i
Math the) deduce that p i
/in Note that the
It) has a simple combinatorial description: if we extend
quantity
the pet colation model la adding a single /KM vertex G (the -ghost'
vertex). and join each site of E d to G independentl y probability
then 111(13.11) is the to obabilit v that thew is no open path (tour
0 to G
13'1 ( 3 ')
if ( ,I )
e 71 (I(:r. y) :)); t
Let A , (.r) denote the numbe t of
Exponential decay
105
of the Indira;
Of
Proof As usual. we write tr,, for IP); Let 1,n > 1 Recall that I?, =
tr. + -14. 1 denotes the event that tin g e is an open path P From an outneighbour of x to a site y e S,t(:r), and that a,(r.p) = Pp(R,(r)).
By splitting the path P at the point it first reaches Sit ()), we see that
Rrr.(x) is the union of the events E, y E .9;(,r), where E y is the event:
that there is an open path P in a,t,..(r) horn an out-neighbour of r to
87: (: y ) that first meets .9) (x) at q (This is not, in general. a disjoint
union. since there m ay be many such paths P ) Splitting such a path
P at y. the initial segment P' Rom a neighbour of 1 to y lies in 8,5(r).
and is thus a witness For the event E,C that theme is a path in 13)/(t) flow
an out-neighbour of x to y; see Figure 12. The remainder, .P", of P is a
path star ting at an ontmeighbout of y and ending in S it i. (x). Thus P"
must contain a site of 5,1)(q). so P'' (ot an initial segment of this path)
is a witness for 17(y) As P' and P'' are disjoint, we have
/7(y)
Writing p(p) for sup y p(y, p), as before. by the van den 3eig
inecpuditv it follows that
P,n(x,
Lii )(E)<
(J)
itC-b;!-(x)
E IFIY( E/y) p a
ye sr))
Err(N;3-(I))aa(a) 5 -IM(t)
so p(p)
< -siln/r1
Note that we work with paths star ting at a neighbour of a given site
to avoid -re-using' a site when we concatenate paths This complication
does not arise for bond percolation, where the corresponding result is
that, if the expected number of sites of 5 + (t) that may be reached
1(16
Figure 12 The (Wick lines show an open path P witnessing the event R.,-E.n(:c)
The sub-paths P' from it ' to y and P" front y ' to z are disjoint witnesses For
the events E,/, attd R.,,(y)= fy + 22- 1 respectively
every 7 then
> 0
such
that
11F7,(3:
fin
exp
Im)
(15)
E ()))
PE
IIESt (x)
p4
a;
107
where Ix + yl is the event that them is an open path flour an out(x)al Also, as
neiglthour of x to y (Thus, I?,
= Uaes;t-cofx-i(x) to y
before, if {x + y} holds then there is an open path fiom
are
independent;
)
--r
is open' and {x
not visiting:, so the events
Let
"o(c)=
P r+
acis;(3,)
Then E r 7, (x) is convergent for each x, so 7,.(r) a As 7, (a:) depends
only on the out-class [x] of x, and there are only finitely many outclasses, there is an r such that 7, (x) < 1/2 for every site x Since
4,(N,+ (x)) < (x), the result then follows how Lem a n 8.
Let us remark that, under the assumptions of Theorem 9, if the expected untidier of open paths star ting at each site x is finite, then (l5)
can be deduced without using the van den Bet g-Kesten inequality. Flowever, it is pet reedy possible for this expectation to be infinite even when
x =i,(p) is finite, as shown by the graph in Figure 13 Indeed, for this
7N 7N 7N
N7 N/
= I in V.111(711 there are exponentially many paths
Figure 1$ A graph With
of length C from a given site.
108
(16)
;MCH
ill( I
>0
Proof The (nem!l plan of the proof is as follows: NW shall cover 11(A)
In a set of balls Bo, OIL u E II' that are reasonabl y \\ ell spread out':
binning a graph (F) on II" by joining a'. a' ' if they ale at distance at
most tit . say we shall show that the maximum degree of D(11) is not
too large We then construct a 2-independent site percolation measure
on D(II ) as follows: a site la E II will be active if some E gi,(w) is
joined In an open path to a : distant' site i e a site at distance at least
r limn .r: these events are independent if d(W. a') > 6/ Also. an y site
in a large enough open utast:el is ,joined to a distant site. so a large open
cluster in A implies a l a rge active cluster in D(IJ ) From Theorem 6
(\lenshiky . 's rliemein) and inequalit y (16). each a' is yen in /likel y to
109
i p rODi = i 13,C ri )i
(I +A+
i r3 ,+1.0a =
AL)18,,(y)l
:
:.r E A} and bi =
for every t > I Let left' = ntaxilB,
where C' depends
A}. Then we have I <
< C' for every
only on A.
\\'e claim that
<
(18)
1.11
> t 0 we hate
let 11/:"
bt,
\AT
<
vT.
t he maximum
110
ithin
pt
To apply
Lemma 11
[(I) =
Since
exp(r2/2)
= A(D(11 1 )) <
imAt-to
/64-0 (
111
In particular, j(r) < 1 if t is large enough, and, as (1$) holds for infinitely many I , there is some r for which (18) holds and f ) < 1 From
now on, we fix ;Men an .
Applying Lemma 11 of Chapter 3 to the 2-independent site percolation
measure IP on the graph D(W), we see that there is a constant c > 0
such that, for any z E IV and any nr > 0,
i13 0C.(D(11 7 ))]
in) 5 exp(cm),
HA )
Ill'OC',;(.0(1V))1 ^ n/q)
exp(cnnib )
I 12
r71111(
E l ;(1Cli I
ir)
exp(on)
(19)
notation
Suppose first that Csc has only a single vertex, i e that all sites arc
out-like this is the wain par t of the proof: the extension to [-had
many out-classes is a minor variation
plr denote the event that there is an open path
As berme let fr y+
from an out-neighbour of x to y interpret {.r + .r} as the event
which always holds. Thus It holds if amid only if .1' II and :1' is
open. Note that
El
PLr li
pc.,
1r
ye:\
\\ le shall estimate the moments of ICH in terms of using the van den
start with the second moment
Berg rkesten inequalit \
We mk, not assume that z. fir and yo ate
Suppose that . yr.
E
distinct. although the Heinle is clearer if we do. As um E there
is an open (oriented, as always) path Pr horn x to yr Let Pr, he m
shortest open path how a site a on P i to /1 2 : such a path exists as
/12 Then Pr and Pr are vertex disjoint except at a (otherwise. Pr
could be shortened) Let us split PI into two paths. a path P; horn a:
to and a path Pi/ horn a to yr: see Figure 15 ()witting the initial
vertices horn the paths P(. P(' and P, gives disjoint witnesses for the
events IT + --,
I/1
{
-- !P I }* respectively.Tills ' if
1./2 E Cr. Olen the event
-
0 {a + IL}
FOP fi g ) <
- it)P(u +
111)P(a +
r12)
Stunninig wai l ,
113
Alter
E A, it follows that
Eacid 2 ) = Ey;
gt
P O/I, /12 E
112
(/1
where, hour now on. all summation variables rnu (wet all sites of A
a7) =
foi any
As all vertices are out-like, we have
E(L+
A Evaluating the triple stun above In first summing over yo, Own
over yr. and theft ()VC/ it, it follows that this sum is Eractig (T. so
E.(1(7,1 2 )
(')"
For higher moments the argument is ver y but slightIN battler
to write down: the only additional complication is that if in..
E Cif
and Pt , Pi and v t = rt are defined as above. then if ya is also in C ad the
shortest path P3 from a site
E Pr U A to ya may start limn a site it7,
on P(, on Piu , or on 12, It will be convenient to write tin fot
and to
denote the 'branch vertices'
by
We shall say that an oriented tree TE on the set
E
+ 1
{0, 1, 2.
. k, 1, 2.
.(k- 1) }
111
SI
from
fy k+1
sequence
is
9.0
11)})
{Y;
particu lar
115
yk E Cr is at most
EE
elli
1/k ),
f.
77E1
where
tnunation
yk.
E(Crik)
(20)
(T),
T
Wile/
e
;r(T) =
II
75E/
Yr).
,;(p
,y_kr1.1
The definition of 7r(T) may be extended to define 7r(U) tot any or iented
abelled
tree U with 0 as a vertex: we sum over a variable r ki for: each
l
vertex i r 0 of U. It is easy to see that if every edge is oriented away
from 0, as is the case it U is a template, then
.R(u)=(x/)`gn
irked there is a leaf j
0 of
U.
so
(21)
(22)
P(tI; - )
r er
for any
we have 7(U) =x 1 )-r(U1 ) where U' =U-ij. and (21) follows
by induction
Rom (20) and (21), we have
EaCzik)
E (t. I
k
Pr:!)
(2k - 3)H
,
( (A )-) A
k
116
As (2k -a) /1,7! < 2 k . this expectation is finite lot 0 < t < (')- 2 /2 As
E(exp(ird)) -
exp(tn)PaC r i = n),
it follows that 1.11 (r i d = 11) < exp(-/o) fin all sufficiently huge 11, and
the result follows,.
SO fat. we assumed that all vertices ate out-like As plot/Used, extending the result from this case to the general case is sttaightfonvatd
Indeed, the pool is the same, except that we 'enlace
by
\" = SUP
P UP .
In= SU P
\if (v)I p
(b) <
!j
so rr(U) < ( \i ")')) . As shown in Lemma 2.. when El i is strongly connected, then \ ,(p) is finite Mt one site w if and only if it is finite fin
all sites. i e if p < Emilie/ mote, as ,(p) depends only on the
out-class of W and (7-.c is finite, the supremum above /WO' he taken mer
a finite set. so \i " is finite The test of the proof is unchanged.
Let us recap very hiiefly the main themenis of this section; all these
exults matt n finite-t ' pe graphs with st rough- connected class-g t aphs.
We have moved results of Hammersley and of Aizenman and Newman
that.. nuclei mild conditions, for p < p T < p it , both the radius and the
VOIIIMP of the open cluster containing a given site decay exponentially.
\\M have also moved Menshikov's Theounn that, under a very weak
condition on the growth of the neighbourhoods, the critical probabilities
pi and pu t coincide. Thus.: fin a very wide class of pound graphs,
pu t pun. and if p is less than this common value p, then the size of the
open clustet of the origin decays exponentially.
A very interesting problem that we have not touched upon is the speed
of this decay. Mo t e pecisely, what me the best constants ca in (1.5) and
in (10), and how do these constants depend on pas i t approaches
flow below. The arguments above give some bounds on the constants
in terms of other quantities, butt then beha y iuur as p
pr is a \ ti
difficult question. about which rather little is known We shall retain to
this Welly in Chapter
o- f for f E F1,
is an automorphism-invariant event for k = 0,1, oc.,. The only property of automorphism-invariant events we shall use is that any antommphism-invar hint event has probability 0 or 1 We state this as a lemma
for site percolation The corresponding result for bond percolation follows by consider ing the line graph, noting that if A is of finite type, then
so is L(A)
Lemma 1. Let A he a locally finite, finite-type infinite graph, and
let E C Q = 0 1'0) he an antonunphism-invariant event Then
In p (E) E }0,
119
(1)
d(te,y)(0)
so cp(y) F. Thus the sets of sites F and y(F) are disjoint It follows
that the event y(EF ), defined in the natural way, is independent of Er
SO
NEL
Thus,
1P(E) F(Er)2I = 1.P(E n E) -P(Er n ))I
< P((E n E)A(Ef, n y(EF )))
For any sets A, B, C. D we have (Anr)A(c
Thus, as E is automm phisrn-inwniant,
I P ( E ) - P(Er )2
<
C (Aa,C)U(BLD).
F(EL1EF)+NEOV(Ep))
P(ELEF)+PP(E)6,y(EF))
= F(EL& ) P(EAEF)
= 2P(ELEF)<
where the final inequality is from (1)
Since 1P(Er) - F(E)1 < IP(ELEF)1 a we have
I F( E ) - P( E) 2 1
9E
1 + i
r (EF) 2 P(E)21
45.
ii
tji
0,
= ft
PA ,
\:<k<x
)=1
1. tit
so
=T
.:n{5' = s}.
where s (s);,,Bu(,,,) E
(13 " 1 " ;) , and 5' = (5,.):,..EBu(,,) is the
(to)
vector giving the states of all sites in
Thus there is an s
which
0.
Now
if
w
E
T
k
s
and
w'
is
the
configuration
obtained
P (-rs k s)
horn w by changing the state of each of the closed sites in f3(ro) h om
closed to open, then w' E In Thus
k
for
>
P(1 1 )
La ( {if
: E T
= (p1(1.
p))1(TT s ) > O.
121
impossible
To prove the main result of this section.we shall need a simple deterinistic lemma concerning finite graphs
L emma 3, Let C; he a finite graph with k components and let L and
, es } he disjoint sets of ITT bees of C. with at least one et
C =
in each coinponent of Let . be integers each at least 3
Suppose that fin each i deleting the reflex m disconnects the component
containin f . 1 info mullet components. in; of which contain mudd i es of
L Then
Figure I A site a for which Tr (c) holds, Ever y site in B, (r) is open; the rest
of the open subgraph is shown by solid lines If the sites in Br (x) ale deleted,
or their states changed to closed, then the infinite open cluster C) falls into
four pieces, three of which are infinite
B, (to) meets at least three infinite open clusters, and w' is obtained
from w by changing the states of all the sites in B, (to) to open, then
E Ti (a0 ). Hence, IP(Tr (to)) >
Thus, for all sites x E X0 we have
P(T, (a)) = a.
for some constant a > 0
Our next aim is to sinus that, if
/I
(2)
123
find marry disjoint balls B, (:r), :r 6 X0 , inside the ball B(:to) In fact,
to make the picture clearer, we shall find balls B, (.r) that are far from
each other. To do this, let; If c X 0 n B_, (x0 ) be maximal subject
to the ba lls (c), w E W. being disjoint If lot E Xo n B_, (x0),
then (1.04/, w) < 4t for some w E otherwise. w' could have been
added to If . As A is connected and of finite type, there is a constant
C such that ever y site is within distance C of a site in X 0 Thus, every
y e B_,a:ro) is within distance t of some w' E X0 n B_,.(3,0), and
hence within distance 4t+t of some w E W In other words, for a > +11,
the balls BID-4w), w E H. cover B_, _ ( Gro) Thus,
IH1
1-812-1-(edi/P-1,-H:(34
ver y crudely.
1B,n(x0 )1 ,5_ IB_,_ 1 0.0 )10 + A + A 2 +
A't+/),
is fixed, there
(:co)i
for all n > t
E P(T,(w)) = 011171
IS.H(370)1
'Em
Hence, as P(Z > IE(Z)) > 0 for any random variable Z, there is a
configuration w such that, in this configuration, we have
s 18n-m(tie)1,
(3)
EL)
(-I)
Let the cut-balls be CIL , C. We define a graph H from 0 by coneach F4 to a single vet tex
trading each cut-ball Ci to a single vertex
and each L i to a single vet tex en see Figure 2 In the graph H. there
is an edge how Ci to ci , for example, if and only if some site of fq is
adjacent to sonic site of CI;
Infinite components of (9 cot espond to components of H containing
at least one vertex in L = Tints, the condition that Ci is a
cut-ball says exactly that deleting c i Flom H disconnects a component
into at least (Mee components containing vet tices of L. Thus we /nay
s, to conclude that
apply Lemma 3 with in; > 3, i = 1.2,
t=
E ( 3 2) = s + 2.
125
Figure 2 The upper figure shows the union 0 of all infinite open clusters
meeting Bdro) The shaded halls, in which all sites are O pen, are the cutballs. The lower figure shows the corresponding graph H The filled circles ar e
the vertices ei corresponding to the cut: balls, the hollow dines the vertices
t i corresponding to the infinite clusters L t , and the crosses the vertices di
cm esponding to t he finite clusters
(5)
127
El
----JJ) C 1/(10(M)
113 1/2 (ft "H
Let S be an n by n square in 2T2 As before. let 1-1(8) be the event that
thane is an open horizontal crossing of S II 1-1(S) holds. then one of the
n sites on the left of 5 is joined by art open path ill S to a site on the
right of S. tit distance at least n I Hence.
(H(S)) <
nP 1/2
<1/100
But this contradicts the basic fact that P 1 1 ,01(S)) > 1/2. which v,e
know from Corollary 3 of Lemma 1 of Chapter 3
As the Harris- Rester/ Them cm is so fundamental. let us briefly summarize the different approaches to its proof that we have presented here.
All the pools start hum the basic fact that either a rectangle has an
open Ina izontal crossing. or its dual has an open vertical crossing Then,
to prose that p ill (Z2 ) > I/2, one ma y prove a Russo-Seymour-Welsh
(RS \V) type theorem as in Chapter 3. 'elating crossings of rectangles
o crossings of squares Alternatively. one can deduce the result horn
the Aizeurnan- Kristen- NtiNV/IMIt ' filet)/ C/11, Theorem 4 lb prove that
i ii(G 2 ) C 1/2, ha y ing moved an RS NV type theorem. one can apply
one of tat ions sharp-threshold results as in Chapter 3 Alternatively
58
129
in Figure 5, and let fl(R,,) be the event that there is an open path in T
consisting of sites in R., starting at a site on the left-hand side of R,
and ending at a. site on the right-hand side. 'Then P 1/2 (11(1?)) = 1/2
for every rr >
.A.
Figure 5
closed sit
to rhombus nu: solid citcles represent open sites, and hollow circles
Plug. Let IiI (R) be the event that there is a closed path in R joining
the top of R,, to the bottom. Reflecting R in its long diagonal, and
exchanging closed and open, we see drat
1E(11(R)) = Pr_glit'(/?))
for any p and any n. In particular, Pit,(H(R)) = 1P it (17 *(R)). It
thus suffices to prove that
17[72(H(R)) +FP1/2(r(R)) = 1
As in Chapter 3, we shall prove the much more detailed result that,
whatever the states of t h e sites in R exactly one of the events 11(1?)
and 17 *(1?) holds..
The proof is essentially the same as that of Lemma 1 of Chapter 3,
although the picture is somewhat simpler One can replace each site of
T with a regular hexagon to obtain a tiling of the plane. Thus, what we
have to show is that in the game of Hex, no draw is possible: if all t i re
hexagons corresponding to R ate coloured black m white, then either
there is a black path from left to right, of a white path from top to
bottom, but not both (On a symmetric board, it follows easily that the
first player has a winning strategy. )
131
:)
n exp(-0(n 1 ))
= > 1 1/10
Hence, with probability at. least 1 4/10 = 6/10 > 0, the event E =
fl
n
fl L .; holds: this event is illustrated in Figure 7. Now E
is independent of the states of the sites in 11_ i Thus, with positive
E holds and every site in /1_ 1 is closed But then the
closed paths R` R guaranteed by the events L and L may be joined
[33
Figure 7. The hexagon Ho with the initial segments of infinite open paths
/41 and P4 leaving its 1st and 4th sides and of infinite closed paths P; Pr;
leaving the 2nd and 5th sides \Miaowr the states of the gte t sites (and the
fl L; holds
n
andrawn sites), the event. E = L, n
to forth a doubl y infinit e closed patil sepal. at ing t he open paths PI and
Pi guaranteed by L I and L 4 It follows that. with positive inobabilih.
(6)
135
/ I/
(chiral
probabilitics
cont //diction
As we shall see in the next section. Theorems S and 10 ate special cases
of a mote general result (Themern 13) concerning symmettic lattices
(7)
When A Z2 , the /elation above is exactly the Hattie Resten heotent Later, we shall prove (7) in sonic generalit y (Theorem 13); first,
we illustrate it with another simple example As before. let I be the
(equilatet al) triangular lattice in the plane. Let /I be the planin dual of
defined in the usual wa y Taking the sites of H to be the centres of
the laces of T, then H is the (tegulat ) hexagonal lattice, or honeycomb:
see Figure 9..
Elgin e 9 Portions of the iangulat lattice T and its dual 11, the hexagonal
of hancyromb lattice
As we shall see later. the critical probabilities for bond pet colati
on
137
71 and on H have been deto mined exacth by NVienuan (1981d confirming a conjectme of Sykes and Essatn 11963; 1961] For the moment:, we
show only that these critical probabilities stun to 1
Theorem 11, The triangalat lattice T and honeycomb lattice H satisfy
pc.1 ( T ) v!)(if) = 1
(8)
Proof The result follows easily front the general results of Menshikov
and of Aizetunan. Is:esten and NeWinall. Suppose first that p"1.(11 ) -11 4!(//) > 1 Then we may chose p E ((l,1) with p < .1)!!(T) and 1 p <
p!)(11) Let us take the bonds c E E (T) to be open independently with
probability p, and each dual bond c' E E(H) to be open if and onl y if c
is closed. Then la Menshikov's Theorem we have exponential decay of
the t adius of open clusters both itr T and hi H.. Hence, taking a huge
enough 'rectangle' R as in Figure 9, with probability 99% t here is neither
au open path in 71 massing R how left to tight, not au open path in H
c t ossing I? limn top to bottom But by planar duality, them is always
a path of one of these two types: this is a special case of Le11/111i1 2 of
Chaplet 3, w hose proof is the same as that of 1,0111111i1 t 01 that chaplet
In this case. the figure obtained la replacing each degree d site of H ot
its dual by a 2d-gon, and each bond-dual bond pan by a squate, is the
(3,12') lattice shown irr Figure 1$
To complete the moor of (8), it suffices to show that lot any p, at most
one of the petcolation probabilities 0(T; p) and 0(1-1; 1 is strictly
positive 'This follows from Theorem -I as above: if both 0(1;p) and
p) ate strictly positive then, taking bonds of T open independently with probability p, with probability 1 them is a unique infinite
open cluster in T, and a unique infinite open cluster in II Considering a
huge enough hexagon in T. it follows as berate that with positive probability thew ate infinite open paths in 71 leaving the hexagon flout the
1st and Std sides, and infinite open paths in H leaving from the 2nd and
dth sides. If the bonds of H inside the hexagon me also open, we find a
doubly infinite open path iu H separating two infinite open components
in It a cmaradict ion
Having proved (7) in two special cases. fin A = V, and rot A = 21,
we bun to a considerably more genet al result The arguments we have
given so lar used the fact, that A had a suitable rotational symmetry,
of onto 4 in the M i st case. and order 6 in the second In fact, the
weaker assumption of onto 2 rotational symmetry is enough, although
139
Figure 10 The planar lattice A (solid lines and filled circles) obtained by
adding diagonals to every fourth face of Z 2 If the horizontal. vertical and
diagonal bonds are assigned weights p, q, and r respectively, then A becomes
a weighted planar lattice. The dual A' of A is drawn with hollow circles, at
the centroids of the faces of A, and dashed lines
(9)
141
Let e 1 1 < i < 4, he four distinct points on the boundfu y of S. 'nunbered in anticlockwise order We write c for the quad/ uple (c,,/!,,c3
We shall always choose these points so that no c; is on a bond of A of. A*
We write .4 1 = A t (c) lur the boundary 01 r of S front cr to ciir t taking
e tr
r If MC is a bond of A with o inside S and to outside. then ate
leaves S front the arc A; iL travelling along the (piecewise linear) bond
ca! from V to 0', the last point of S lies on the ate .4 1 Let E 1 = E 1 (c) be
the event that there is an infinite open path in A leaping 51 from the arc
outside S
with co inside S and
i.e an open path P = roo t co.
for all j > such that non leaves S from the arc .4 1 ; see Figure 11
The precise details of the definition are not that important: the -soft'
arguments we shall present go through with many minor variants For
example, we could consider the last time the whole path leaves S. even if
this is MI a hood soul with vo S Fot 'nice' drawings of 'nice' lattices,
a bond typically crosses S at most once, so the condition is essentially
that vo vf crosses Ai
Set
fdc) = INEi(c))
and
odc)
f dc) = P(Ei(c)"),
y
find define f and 91 similarly, using the dual lattice As aninfinite
142 Uniqueness of' the infinite open dusted' and critical probabilities
open path starting inside S must leave S somewhere, U 1 E1 (5') is exactly
the event E(S) The events Ea(S) are increasing, so then complements
.E1 (S)" are decreasing Thus. by Harris's Lemma (Lennna 3 of Chap.
ter 2), for any c we have
P(E(8)1
P (Ei (c) c )=
E;(c)c)
i=i
(c)
er_r
1.17( c )
<
64
EA
i=1
The key observation is that, as we move one point, (, say,the probabilities fi (c) changc, in a 'continuous' mannet . For a precise statement,
it is mote convenient to work with m(c) The only properties of c that
the event Ei (c) depends on are which bonds of A leave 5' from which
arcs A i .. Tints, as we move C. the probabilities Mc) and m(c) can only
change when moves across a bond of A Of course, m(c) does jump
at these points Our claim is that there is a constant C = C(A,p) such
that, at any such . jump, no m(c) increases or decreases by mole than a
factor of C
Let c and c' = (e t , c!,.c3 , n i ) be such that exactly one bond c leaves
5' front the ate c,cf, Without loss of generality we may suppose that
o)c1,,, ea lie in this order mound S; see Figtue 12 Thus, defining
arcs .4 1 using the division points c, the bond e leaves S across the arc
A I = eme2 while, defining arcs using the points c', the bond c leaves
across A{:, All other bonds leaving S do so across corresponding arcs
Thus, for i = 3, 41 the events E1 (c) and Ei (e) coincide, so
R e ) = fe(ci
Let E be the event that tire bond e is open The event E, (c) is defined
in terms of open paths leaving 5' across the arc ..4; If e is closed, then Ito
open path leaves S along the bond e, so which arc e crosses is in (Amami:
Thus, the symineti ic difference of E i (c) and Ei (c') is contained in the
event E, In other words.
Ei (c) c fl
= E;( c' )` n
es
CI
143
Figure 12. The effect of moving co slightl y to a new point c!): various bonds
of A ate shown as dashed lines. We choose ct; so that a unique bond c leaves
S between c 2 and gt The ales .4; and AC are determined by A I = c i co.
itt; =
A2 = coca and Xi= etc:,
Now
P(Ei(c)c n Etc,)
P(E)(c)c)r(E))
Tints
me) P(E) (c')`) P(Ei (ct n
= iP(Ei (c)" n
P(Ei(c)c)r(Ej
cfn(c),
where
c = c(A,p) = int IP(Ect ) = int Pc) > 0,
as A has finite type and each Pc < 1. Similarly, gi (c) > cfn(c'), establishing the claim
Set C = 11c > 1 Let us fix e l and e5 as opposite points of S Consider
moving c2 from very close to c i to very close to c3 . At the star t of this
process, no bonds cross A t , so El (c) cannot hold, and (Li (c) 1 > go(c)
Similarly, at the end, [Mc) = 1 > g i (c). Each time c2 crosses a bond,
g i (c) decreases by at most a factor C. and 02 (c) increases by at most a
factor C It follows that we may choose c,) so that
1/C G g i (c)/g2 (c) C
Let c.1 be the opposite point to c2 Then by central symmetry we have
gi (c) = gi +2 (c) and g;. (c), 94 0 (c).
(12)
Thus.
gi(C)4 /C2
Using (10). it follows that 9 1 (c) < C' 2E. and hence that
gi(e) < C:3/26
13)
lot cow y i Front (11). there is some j with g(c) < 5 As (13) holds
for even/ we Min' assume without loss of geneialitv that ) = L Thus,
using (12) again.
q:1(c) = f/i(c) 5 s and
Th(c)
El)
Co i (c),
(15)
(16)
while fron t (
2 (0 (c) <
(7 3/2 E
<
1/10.
IK:1 (c)
1-15
Figure 13. Open pat hs P, and P i witnessing the events F2(c) and F t (e) The
open dual paths P( and PT witness i7(c) and ET (c) No site or bond of any
or these. paths wets the shaded clacks It follows that Pi, for example, leaves
the larger circle .5" through the arc col responding to As
event
holds, i.e., them are infinite open paths R and P i in A leaving 5' front
the arcs and .4 4 , and infinite () mut paths F,* and P.; in A* leaving S
from the arcs .4 1 and .4 3 , with no P1 or Rt passing with distance d of
the endpoint of any arc 4 This event is illustrated in Figure 13.
-When F holds, there ate sub-paths P.; and P; of P, and P 1 leaving the
larger circle S' with radius] +d from the arcs corresponding to A, and
.4 4 We may connect: .P1* and P3k by changing the states of all churl bonds
e" that meet 5' to open The corresponding bonds c lie entirely within
5'. so after this change the paths p.!, and P.; are still open But then we
have, with positive probability, two infinite open paths separated by a
doubly infinite open dual path This implies that there are two infinite
open clusters in A, contradicting Theorem
As an immediate cotollat y of irheormn 12 we obtain the desired relationship between the critical probabilities km bond percolation on a
planar lattice A and on its dual, assuming only central svutineti
Theorem 14.
K.(A) + p,s,(A x ) = 1
As noted above, = A E , so Theorem 14 implies Theorem 10 Since every face of the tr hingular lattice T is a triangle, T X = T. so Theorem 1.1
implies Them ern 8 as well
On
147
As it happens, one does not need Them ern 12 to prove Theorem 13;
the proof of the Harris-Kesten Theorem given in this chapter adapts
immediately Indeed, suppose that O(p, 1 - p) > 0 Considering a large
square S, it follows from the 'four th-root' trick that there is some side
of S from which an infinite open path leaves with high probability Of
course, the same holds for the opposite side The dual weighted lattice is
isomorphic to the original lattice rotated through 90 degrees, so infinite
open dual paths leave the remaining two sides of 5' with high probability,
and one can complete the proof as before. In the next section we shall
apply Theo/ em 12 to prove a mot e difficult result, that a cer talc analogue
of Theorem 15 holds for the triangular lattice
02,
+ 3/4(1 pi)
(l / 03
Pr ( 1 Pt )2
probability in at
p2/ 3 3/12( 1 P2
p4(1 Ai)
+ 3/4(1 p i ) =
( 1
/ 3 =
Pi P0 2 =
P2,
p2Fi IIp2 (1
p ) 2 . and
(17)
P_( 1 P2)
i i Substituting
p
= 1p
1Indeed, the last equation is satisfied whenever
into either of the first two equations gives t he stare equation.
iii
$pi=1=(l.
1-19
CSN
WAWA WA
res
WA' a
A SS
WA TA Tata
Figure 15 The triangular lattice 7, and the graph H' 01)
each downward pointing face of 7' by a star. The sites o
(solid and hollow); its bonds ate the dashed lines.
red by replacing
are the circles
subevitic
C 10) 1
411C01
n) POC(d
POCH ^
151
0 ( 11 ; 1 Po) = O CT ;
- r n
(1.8)
pap,: + (1 - P)PbPc
pa ( 1 POP
pph(i )
/ a/ /
and
(1 - p)(1 -pb )(1 -pc ) = (1 - /)(1 -10(1- le)*
l(1-ts)(1 -t)+(1-1),/,(1---/J (1 -t)(1-
= 1
ppem pa ye pc + I = 0
+ P y P P ;PO) z > 1
153
Cot a certain lattice, where each bond is open with the same probability
Let ,5 1e be the square lattice with one diagonal added to every second
lace, shown (rotated) on the left of Figure 16, together with its dual D
Figure IT certain bonds of 5'' arc replaced by double bonds, and the
tliangle-star t t ansibi mat ion is applied as shown. the resulting lattice is I)
%vit h certain bonds subdivided
Taking the undivided bonds to be open with probability q = I
p. and the divided bonds with probability q =
q = I p'. we see
gdIC), p(1,(H),----
1 2 sin( 7/18)
Also, let K' be the (3, 12 2 ) or extended Kagoind lattice shown in Figure 18. Then IC + is the line graph of the lattice H2 obtained by subdividing each bond of II exactly once As noted in Chapter 1, the relation
fki (11(i), p!(H) I12 is immediate: an open bond in the subdivided graph
is only 'useful' if its partner bond is also open. Thus, as noted by Sliding
and Ziff [19991, among others,
fise (K), pcIVI2 ) = p A
l H) 1/2
(1 2 sin(rT/18)) L/2
(21)
In the next chapter we shall review some of the upper and lower
bounds for the critical probabilities of Archimedean lattices.
SUOMI
Sq nu ):
tome: (3,
(a,6, 12)
41
a
^
a
0 11 0
(3' .1-
A
114
A
............A
.41
y
Triangulm: (36)
3,6)
155
extended Kagon
Hexagonal: (63)
(I. 82)
ally A A
w IS
Asffa
Alwarar A
SAY
AT A
A A 111a
FaVa
r
aAl rA A
Va
A ValrAwA
VANS
ATAYAT VA
,6)
-1)
(3 6)
6
Estimating critical probabilities
In genet al. there is no hope of dele l mining the exact critical probabilities
/OA) and pl,;(A) for a general graph A. even if A is a planar Iant ice
Neverthel ess, there a l e mane ways of proving rigorous bounds on these
critical probabilities In this chapter we shall describe sever al of these.
soil ing with the substitution inclhod, a special case of which we saw in
the previous chaPlel
157
gr aph CI, is shott ipo than Cr, and WI > il rte DIM couple the
158
li(s) =
3t2 (1-1).
yr
159
There ate 10 up-sets in the par tition lattice on a Once-element set: two
are trivial: the empty up-set, and the up-set consisting of all partitions.
Any other up-set must contain the type-3 partition, cannot contain the
type-0 partition, and may contain any subset of the three type-1 partitions. Let us write for one of the non-trivial up-sets containing )
partitions of type 1 In this symmetric setting, we have Ss > Tr if and
o i ly if four inequalities hold: each uj must be at least as likely in the
partition induced by Ss as in that induced b y Ti
In the partition induced by S. we have (NUJ ) = h(s) +1 i(s), while
in that induced by T, we have P(U1) = g(t) + !in (0, so Ss > Tt if and
only if
ni(s)-1- lids)
g 3 (1) Rh (0
holds for ) =
Similtuly, Tr > told only if the reverse
inequalities hold. 01 course, if (I) holds for ) = 0 and for . j= 3 then it
also holds for j = 1 and j = 2, so there ate only two conditions to vet ify
We know the critical probability tot H. the left-hand lattice in Figure 1 Indeed, writing p for p H or p
1 (which are equal fin any lattice
by Menshikov's Theorem), from equation (21) of Chapter 5 we lime
p(1 .)(/12 ) = pti !(H) 1 /2 = (1 2 sin(11.8))
7
11
so
say As shown in Figure 1. this weighted graph 11,, with bond weights
s, has a partition into weighted sous S, Replacing each stat with a
triangle T, we obtain the Kagont lattice with bond weights!. It follows
that, if 0(119:s) > U and T, > then 0(K:1)> U As o(it,;s) > 0 fin
any s > so.. we thus ha e
mi,)(K) < int
: T, >
inl ft :
Ss
this
These inequalities and the proof we have just given are due to Wierman [1990] In the same paper, lie obtains the stronger upper bound
pl:(K) < 0.5:335 by considering a larger substitution - replacing the
union of two adjacent: stars in HO by the union of the co/responding triangles in IC In this case there are lour attachment sites, so the partition
1(i9
lattice is now complicated 13% using huge, and lilt get substitutions.
hot ten and bet k g bounds m i t\ l i e ()With/v(1 1-lowc) \ el. the calculations
quickly become Wiwi/Oita' ii C111110(1 0111 ill a 11111\ C \la \ Using yxtions
methods of simplifying the eill(ititat and it sttl/stitittion \\ it h six attachment sites. \Vic/in/an 120031)] shat wined these 'mitt/cis considrilabl
Theorem 1, Let Ii ix the ha q Dm( o, (3.6.3.6) lattice Then
5299
<
>
inl
y
Slunk)/Iv if d
sc., then 0 sic in A i if turd only if one of irf
and c is connected to :J . in S, The relevant events in S s have respective
(s) (
fa( 2 f (s) and .f:Ws) + 2 fi(s)
Pwilmbililies
lane shown that PA,
,X) is a weighted awlage of the quantities 1. 0, 1 3 (s) + h(s), and nr(s) + 2[ 1 (s), where the weights depend
sc) is a weighted average of
0,
on A t \ S. Fut Him more s P A2 (0
weights,
determined
by
y3 (t) -I- in (1). and g3 (t)-1- 2g i (f) with the sonic
\IT/ A i \S, Tints S s bolds mecisciv when the two inequalities
113(0
20 1 (1)
(2)
162
163
Figure 2 The figure on the left shows open paths guaranteWng that t he event
lt(P)=Pp(Cl(R.,)) >
Then lTr
Estimating .
161
'cal probabilities
in plinciple. Hie method above gives arbittarilr good upper bounds: for
each (', find the minimal rot an almost mini/nap value of p, of p such
that heir) > 0 8639. Then each p, is an tippet bound on p11(2, 2 ) and
the sequence p, converges to pi1(Z 2 ) boo, above. ft is easy to check that,
16p6 q2 +8p7 q 1 p s , \\dune q = 1 p, giving the bourn!
',f p ) = 6p 5 M 1
p11(Z) < 0 8798 With a computer, it is eas y to show that
fa(p)
giving p1(21: 2 ) < 0. 815 An exact (ruination of 1,(p) gives /.)`,(II32) <
0 817 Linlin unat el t he st r night il/Wald met hod of evaluating rpr
mnd count inglia which of t he 2' 2 configut at ions in a 2l In 1 rectangle
11), the event 0(11, 1 holds, quickh becomes imm act lent. at mound I = 5
\\Ten the subst it Mimi method can be applied. it tends to give beton bounds for the same computational shirt Note, hotveier. Hurt
the method described hew is much more robust Fin example. fi l eg1 1 1e/Iiii( IS in die graph Me riot a ploblem plodded we can show hat
12'1,(G(1, )") > i > pr ha every bond c one can perform different
substitutions in diffetent pails of the gtaph the substitutions lune to
fit together exact) to give the stt ucHne of a graph with known critical
probability This will often not be possible
Another very imputeant adiant age of the 1-independent approach is
that, if one is p l epa l ed to accept an ewer probabilit y of 1 in a million.
say. or 1 in a billion. then good bounds can easil y he obtained b y this
method Indeed. there is a yeti- easy wa y to estimate the numerical
configtuations in a 2( by
value of E(p) very plecisek: generate
rectangle I?, at random using the ['wasn't , and count the number
.I/ of configurations 1hr which 0(1?,) holds. The random number Al has
p) so if A is huge.
a binomial dishHa t tion with parameters A . and
165
then with lel \ high probability 11//A will he close to /r(p) The y IreV
point is that one can boned the error probabilit y. ercu without knowing
ir (Pr
Given any > 0, one Call give a simple procedure for producing upper.
bounds on /OE') ry ltich provably has probability' at most E 0[ giving
an incorrect bound: foist (by trial and 0110 1 . or guesswork) decide on
parameters I Will p for which )r(p) seems likely to he huge enough
Then calculate numbers N and Ma such that TdA. > J1,(0 ) <
whew
Bi(N. 0 8639) Then generate A samples as ;drove. m i d if Al > 1110
o f t hese have the propert y Ci(g). assert pe r r....- 1
p as a bound IL
in fact 0,(23 2 ) > p. then h(p) < 0 8639. and t he probability that the
sampling procedure generates at least .3/0 successful trials is at most
This method works ver y well in 0010
and the dependence ()I the
I mining time on
is ver y modest For eXa/111A0. using the parameters
= 10 000. p = 0 591, N = 1000 and .110 = 935 with a moderate
computational efhat we obtain the hound i t,".( 2 ) < 0 591 with all 19 lot
plObabilit \ Of E < 10-12
Similar Iv, 161 the matching lattice AE with vet I CX set
out bonds
between each pair of vertices at Euclidean distance I or v' 71. using the
pat ;mulcts l = 20 000. p
408. N = 1000 and A' = 935 we obtain
K( A 3) < -1(18 w" a c""lidellue of1
1g-12 Together these bounds
give
/):1( ) E 10 592.0 5911
with extremely- high confidence. A little 'note computational effort (1=
80.(100. N = 1000. Itltt = 915) gives the result K(Z 2 ) E [(1.592 0593]
with 99 9999cA confidence
Note that we cannot: sat- that the probability that pr(r 2 ) lies in the
inlet val (0.592,0 593] is at least 99 9999%: the critical probability is not
a random < / mutt:it-v. so this statement either holds cm it does not In
the language of statistics. we have given a confidence interval for the
lillk110111/ deftlillillititie quantity ir,'.(Z2 )
As described, the procedure
produces a confidence interval whose upper limit is either the bound
0 593. sm. that we aim for. or infinit y, if Ill < 21.4)
Narrow confidence intervals for mars or her critical probabilities have
been obtained by .Rionlan and \Valters [2006]; Ica example, p;1(11) E
[0 6965..0 6975] with 99 9999 1X confidence. where is the hexagonal
lattice
As usual in statistics. we must be a little careful in generating confidence intervals: Ito example it is not legitimate to per fornt various runs
166
of the sampling procedure with various parameters, and only use one
result In practice, this is not a problem for two reasons: finitly we can
perform as many durnuty' Inns as we like to get an idea of parameters
that are very likely to work, and then one teal run with these parameters
Also, it is easy to get a failure probability of 10- 9 , say, for each run It
is then legitimate to perform 1000 runs with different parameters, and
take the best bounds obtained: as long as the probability that each run
gives an incorrect bound is at most 10 -9 , the final bounds obtained still
give a. 99.9999% confidence inter val for the critical probability.
There is another pitfall to bear in mind when implementing the probabilistic procedure described above: we have implicitly assumed that
a source of random numbers is available.. In practice, for this kind of
sinndation one usualli uses a pseudo-random number generator Not
all the widel y used ones are sufficiently good lb/ this pm pose Indeed,
the current standard generator I t anclourfl used with the programming
language C is not
For example, using this generator we obtained estimates for 1' 10 (0 731)
of 0 8661 0.000 2 and 0 8631+0 0002, depending on the order in which
the random states of the sites were assigned (The turc:er tainties given
ire t wo standar d deviations ) Using the much better I Merserme Twister'
generator MT19337 WI ititen by Matsumoto and Nishimura, we obtain
li o(0 131) = 0/8630 0 0002 Note that this (presumably) true value is
smaller that 0/8639, /i hile one of t he values obtained using I andom() is
larger. in generating t he confidence intervals given above, we used the
lersenne Twister. Of course, one can re-run the same procedure tr itlr
a different generator. or with I n rte' candour numbers obtained horn, for
example.. quantum noise in a diode
The methods described above can be easily adapted to give good upper and lower bounds on p4!(.(1) and pII(A) for any of the Archimedean
lattices A. 1701 lower bounds. to prove that percolation does not occur
at a particular value of p one can use 1-independence as in the proof of
exponential decay of the volume in Chapter 3.
For another approach to lower bounds, let S(0) be the set of sites
at distance n 11010 the origin, and let N be the number of sites in
5 (0) that may be reached from 0 by open paths using only sites within
distance 11 of 0 Lemma 8 of Chapter 4 (or its equivalent, for bond
percolation) states that if, for some n, we have 1/1/ ,(N) < 1, then there
is exponential decay of the radius of the open cluster Co, which certainly
implies that p < pc . In am- lattice, for any p < Menshikov's 'Theorem
implies that: a p (N) 0 as n ^ ob , so arbitrarily good bounds may in
(Z2) =
168
Bali:der. Bollolgis and Stace y [1993: 199-1] gave Indict tippet bounds
OW aim is to decide
Pigmy: 3. Rhombi with sites along the base (bottom left)) and the top (tipper
light) II each t hondtns is replaced b y all oriented edge and I he top and
Lot too t of each rhombus be a \et tux the tesulting or iented pupil is isomm
to 2 In realize the rhombi ate lagged : each contains exact IN :I sites ham
each of t la: 9 la% epf of 772 that it meets
for
: .r. y >
q =
for bagel
wlft iug =
Ei
each site r iu L 1 we choose a set 5,, of consccutke sites in L h(t+. 1) . so
that the sets Se ate disjoint Also. fin each bond 7 E Q we choose a
(toughl y rhombic) subgtaph of Q in such a wry that
R R-
and P7
3 Oriented percolation On
169
1 70
for some p p
E (0,
l),
whenevet U E A, then
171,(1 .7
E A U) > p
(3)
V E- A) >
<0 7191
As in the case of umaiented percolation, a (simpler) version of the op/molt; just described may be adapted to give bounds with 99.99%) confidence!, and fa/ stronger bounds can be obtained in this way with much
less computational effort Indeed, Bollobtis and Stacey [19971 showed
1 , -7
< 0 6-17 with 99.999967% confidence. This bound is very
that pc (
close to the value of appioximately 0.64415 suggested by simulations;
Liggett (19951 used a beautiful and totally different approach to bound
p,/,'( Z 2 ) and pr.(2-), based on au idea of David Williams, who conject i ned that p(1 '( Z 2 ) < 2/3. To describe this, note that ()dented peicolit7-/,
corresponds to a Mar kov chain in a natural way Recall that.
lion on
the ith layer is the set L i = {(:r, y) E 1Z 2 ) : t y > 0, a' -F y = t.} The
be reached from the origin by open paths
set TIt of sites in L i that
and
depends only on
and on the states of the bonds between
L t Obi oriented bond percolation). 01 the states of the sites in L i (for
site percolation) More explicitly. let us code R t by t he r-coordinates of
the points it contains, setting
A i =
Then Ao = Fat bond percolation, given ./14 , the probability that :I! E
= 2pp2 according to whether lA t ofx-1, j is 0,
=
A,+1 is 0,
1 01 2. Furthermore, given A t , the events E A t+ , } are independent
for different c;. For site percolation, the jiMarkov chain is the same,
except that p i = p2 = p. Thus, it is natural to extend the definition of
< 1 and 0 < pa < 1
the Maticov chain (A t ) to any pan/meters 0 <
Note that this Markov chain has stationary transition probabilities: the
distribution of 1 t t , given that = A is the same for any t. Of course,
this Nlarkov chain underlies any analysis of ot hinted percolation; lot the
approach described above, we did not need to define it explicitly Liggett
j1995] !moved the following result.
Theorem 5. If the parameters
1/2 <
< 1 and
(1)
179
Then
the
chain
conditions
Em bond pcs ("dation. 'slagpm p and Ps = 2p ti
of I ()mew 5 MU satisfied fin p > 2/3 For site percolation. whew
p, the relations (-I) hold fin art's p > 3/1 Thus Liggett's
pu = Ps
mediatels
implies the following bounds
result in t
Theorem 6. The (atheist probabilities lot minuted bond and site percolation on the square lattice satisfy
po
E(H(..1_1))
<
(AO) = 11({0))< I
lira civets i s This implies that the pelcolat ion incites); is supple' it ical:
= 0) 1 as n x As 1-1(0) = I awl
otherwise. we would Inge
/1(A)) I. a contradiction
fl is bounded. this would imph
Liggett [1995} showed that. it the conditions (-I) hold then an H with
the I equited mopet ties can be found The weight fitnet ion 11 used by
Liggett is Lather complicated
To describe Liggett's argument. let T be a minion 's variable taking
positive integer values. with E(T) < and let I( be the stationary
' encash' meastue on sequences q E 10 1 t- associated to h Thus. the
diSt / Haitian of I he landain secnwnce rt is itr y ltiant under tt mishit ion. and
the gaps between successive Is a t e independent and have the distribution
of IT Lhe weight 11(A) is defined as the ic-probabilit y that li (y) = 0 for
met v .1 E) A. Note that this etamint y satisfies 11(0) = 1 awl 1-1(A) < t
Fm = 0. Of tom w het het the kev equation (5) is satisfied depends
on the choice of
(1 (bleated pelfolation on Z
173
\\j i lting F(n) f or ENT > a). Liggett shows that (5) is satisfied in the
special case that A is an inter val if and only if
p 2i 110 + I) =
.17(k)F(n
k)
a1)2F(7I)
(6)
:3
igme 1 'The portion of the oriented hexagonal lattice that may be flinched
loom the origin Considering the sets of points in evert . second column t liat
may be reached from the origin by open paths leads to a simple Marlcov chain
Pi
p and
P2
= P( 2P
P2)
mid /PM
175
64 Non-rigorous bounds
It seems that the critical probabilities for even very simple graphs can
be determined exactly only in a small number of exceptional cases In
the light of this, it is not surprising that a huge amount of work has
gone in to estimating such critical probabilities. Here we shall describe
briefly some of the techniques used, and mention a few of the older and
a few of the more recent papers on this topic: a complete survey of this
field is beyond the scope of this book
??lost non-rigorous estimates of critical probabilities for lattices ate
based on Monte Car lo techniques, i e., on simulating the behaviour of
percolation on some finite lattice However, there are many different
ways of extrapolating front such finite simulations to predict the critical
probabilities
For simplicity, we shall consider site percolation on the square lattice
Z2 Let A be the finite portion of this lattice consisting of a square
with n sites on each side If A is any event depending on the states
of the sites in A.n , then we May estimate Pp (A) = PE; 24,(A) in the
obvious way: for each of N trials generate the states of the sites in A
at random, according to the measure P. and count the number M of
trials in which A holds
The problem is this: how do we estimate p (Z2) = f(Z2 ) from
the probabilities of events depending only on the states of finitely many
sites? One possible approach is the following Let H,, = H(A) be the
event that A has an open horizontal crossing From Menshikov's Theorem and Lemma 9 of Chapter 5, we know that lim_, P p (H) = 0 if
p < Pt , while lim_. (H ) = 1 if p > p For each ti re function
Pp (Hn ) is increasing in p. Hence, as a gets larger and !anger, this fluteHon increases from close to 0 to close to 1 in a smaller and smaller 'window' ar ind pc In particular, the value p(n) at which Pp()(11). 1/2,
say, tends to pc. By estimating Pp (II) for various values of p, we can
estimate p(a). By choosing n as large as is practical, or by considering
several different values of n and extrapolating, one can then estimate
pc = lim_,p(n). A problem with this approach is that, even for a
single value of a, we must estimate P(11) for many values of p
A computationally efficient version of this method was developed by
Newman and Ziff [2000; 2001], based on the following simple idea.. Let
Q be some random variable that depends on the states of the sites in
A, whose expectation we wish to estimate For example, C2 could be
p(rin). If there
the indicator function of the event LI, so EgQ)
176
E(Q
= ittliPp (X = k)
k=t)r-4)
= (1 5027-16'2110 00000013
Flowevm. there ate two problems with the approach just described One
is that the estimates of E i,((2) kit different p ate not independent 'This
makes the statistical analysis somewhat Made/. A ouch mote set ions
moblent is the effect of Jinn C-siZC scaling': we know that p(p), sai tends
to pc , hut not at what rate. It is believed that
17)
177
7
invariance - Sn mov's Theorem
Conformal
The celebrated 'conformal invariance' conjecture of Aizemnan and Langlands, Pouliot and Saint-Aubin (199,1] states, roughly, that if A is a planar lattice with suitable symmetry, and we consider percolation on A
with probability p MA), then as the lattice spacing tends to zero
certain limiting probabilities are invariant under conformal maps of the
plane P 2 C This conjecture has been proved for only one standard
percolation model, nameh independent site percolation on the triangular lattice The aim of this chapter is to present this remarkable result of
Smitum [2001a; 20014 and to discuss briefly some of its consequences
In the next section we describe the conformal invariance conjecture,
in terms of the limiting behaviour of crossing pr obabilities, and present
Cardy's explicit prediction for these conformally invariant limits in
Section 2, we present Smimov's Theorem and its proof; as we give full
details of the proof, this section is rather lengthy. Finally, we shall very
briefly describe some consequences of Str u t nov's Theorem concerning the
existence of certain 'critical exponents '
179
Fiume 1 A 4-nnuked
domain
180
such that /7 1 ,
cr_i lie inside D 1 ,0 and id ale outside D. and t he line
segments eon and et _ i n meet the arcs = (Dt land A 3 = A30).0,
respectively When the context is cheat, we IllitY omit the references to
the arcs .1 1 and A3 and to the lattice SA
The quintessential example of a -1-mat Iced domain is a rectangle with
the comers marked Let D = (a,b) x (e..d.), and let be the vertices
of the rectangle. D, labelled as in Figure 2 If A is the square lattice
P2
P1
I I
--m- -
' i
, ,
, ,
, ,
11
1
R - ,,,
11
I
II
[
DI
11111-11
11:
I 1
I [ I
,
I r I
, , , ,
I I I I
1:
Ill
11111
111111'
II
Ir
181
iangular
lattice
p < Th.
= p 1 0),
<1
(I)
holds fior all sufficientl y small 6. (hi fact. a < inin(b d c) will do,
since this condition on a enmities that D must contain points of OZ 2 ) A
corresponding statement for any lattice with suitable symmetry can he
proved along the same lines Using Elm ris ls Lemma, it. is not hard to
deduce that (1) holds lot any A-marked domain D.i.
In the light of (1). it is highly plausible that for any lattice A and
any 4-marked domain D. 1 . the limit lintszo P,t (D. 1 , A) exists and lies in
(0,1). Langlands. Picket. Pouliot and Saint-Auhin 119921 studied time
behaviour of this limit assuming it exists, by perrot/Mug 1/1/11/CIical expet intents with rectangular domains Dr, for site and bond percolation
on the square. triangular and hexagonal lattices These experiments
suggested to them that the limiting dossing probabilities .P(D. I . A.) are
universal, i e. independent of the lattice A (This is au oversimplification: in general. one must first apply a finest transformation to the
lattice A: for the cases listed. this is not necessary) Aizenman then
suggested that these crossing p i obabilities should he confin wally inyar
182
P(D'4)
Let us spell out the meaning of conformal equivalence in this context. Car atheodor y's Them ern (see, for example, Duren [1983, p.12], or
Beardon [1979, p. 226] for a proof) states that if .D and D' are Jordan
domains, then any conformal map f from D to D' may be extended to
a continuous map f from D to D' As f <I may also be so extended, it
follows that f maps the boundary of D bijectively onto that of D' Let
/34 = (D: (P)) and D', = (D'; (PI)) be 4-marked domains. Then al
and D!, are conithmally equivalent if there is a conformal map f from
D to D' whose continuous extension to D maps Pi to PI for 1 < i < 1
Note that the crucial condition is that P, is mapped into PR we always
have conformal maps ft urn D to D'
To describe the scope of Conjecture 1, let us define what we mean by
a lattice: a two-dimensional lattice A is a connected, locally finite graph
A, with V(A) a discrete subset of R 2 , such that there me translations T,
and 7",, of R2 through two independent vectors m and va each of which
acts on A as a graph isomorphism. Note that we do not require A to be a
planar graph. Also, as in the case of planar lattices as defined in previous
chapters, the vertex set 1 7 (A) need not lie a hit tice in the algebraic sense:
in general, V(A) is a finite union of translates of an algebraic lattice hr
the conjecture above, a 'suitable' lattice includes any two-dimensional
lattice with rotational symmetr y of order at least 3 This includes the
square, triangular and hexagonal lattices, for example
One cannot expect conformal invariance for site percolation. say, on
an arbitrary lattice A. Suppose, for example. that A is obtained from
Z2 by applying the shear described by a matrix AI. Then conformal
invariance for Z 2 would imply that P(D 1 , A) = P(Do, A) whenever the
domains M- 1 1), and Do are conkn malty equivalent This is not
the same as D I and Ds being confer/natty equivalent. The conjecture
of Aizetunan and Langlands. Pouliot and Saint-Aubin [1994] states that
183
Z:3)(z2
Z1)
124 22)(23 ZI
E(0.1)
(2)
184
3F(2/3)
7r(q)
r0/3)-
a(72)1,(H) z"
c(")
conformal r ec taargies
As every rectangle has an axis of symmelny, mid any 4-marked domain is cordon math, equivalent" to a rectangle.. Conjecture 1 implies the
iucru ianee of P(D. 1 ) under reflections of the domain D i ; see Figure 3.
the cross-ratio ti (D.1 ), and hence Candy's formula it(D 4 ), are
preserved by reflections, and hence by Mutiliolornor pink... ? maps, i e
jections "which preserve the magnitude but not the sign of angles
=
P4). set
Given a il-manked .Jordan domain Di = (D: PI ,
tossing
of
D.
i
e
an
open
crossing
of
al
An
open
("
m
,
).
.p,
P
i
(D; P. p
/ CIO
185
--------f
Figure 3 If f is a contramat map, then so is the map y :
Hance.
a Turarked domain D m i d its minor image may be confornially mapped to
the same rectangle
00=
di
I V( U)(1
A:(k2)
186
is the complete elliptic integral of the first kind (Our notation here
follows Abramowitz and Stegun [1966. p 590) The same notation
1(1,7)
is sometimes used for K(u2 ) ) The aspect ratio of r is r
2K(1c2 )//C(1 k 2 ), so, to find 7r(D.di )), one can invert (minim jenny):
7r(q), where ri=
this formula to find k; then 7r(D.I (r)) = 7r((.1.1(/,:))
tkU.0)) = (1 k) 2 /(1 + k) 2 (In particular, this shows that tkr)
lAD4 (1)) is monotone decreasing in r )
Starting from Cardv's formula, Ziff [1995a; 1995b] gave a relatively
simple formula not for r(D.1 (1)) itself, but for its derivative with respect
to :
20ITI (2/3)
(fi k(D, 1 (0) 1(1/3)2
(nlit
do
Car leson showed that for the special 4-nueked domain T;',, = (1);
Cindy's formula takes the extremely simple form
= .r
(3)
7.2
SmintorC5
Theorem
187
As we shall see in the next section, it is in this form that Smir 1/0V proved
Cal(' \ r' S ft/1/ . 11111a for site percolation on the triangular lattice. Note that
relation 7r(q)
7(1 r t) = 1 is easy to verify from (3) Indeed,
permuting the labels of the rum ked points to obtain the dual domain
Writing ri n(21) for the
Tx* as before, Tjj is the mirror image of
cross-ratio of L. , we have ti(13.*0 = 1 0(1).1 ) for any 4-marked domain,
so
r(1
(4)
186
189
190
We shall use the following immediate consequence of Theorem 3 several times Let A be an annulus, i.e the region between two concentric
circles C 1 and 0). We say that A has an open crossing in the lattice ST
if there is an open path from a site inside the inner circle C 1 to a site
outside the outer circle C.)).
Lemma 4. Let. A be an annulus with ginner radius r_ and onto, radius
If 7 +11 > 2 WO r_ > 10008, then the probability that A has an
open crossing in ST is at most (r_11 + )", where (11 > 0 is an absolute
constant_
Proof. R eplacing a by a/2, we may assume that / 4 . = 2 k r_ for some
integer k > 1. In any annulus with inner and outer radii I and 21 . , we
can find six rectangles as shown in Figure 6. If 6/7 is small enough (and
Figure 6 Six rectangles inside an ru t /mins A of inner radius r and outer radius
2r If each rectangle is crossed the long way by a closed path in OT, then the
annulus A cannot be crossed by an open path
< 1/1000 will certainly do), then the shorter side of each rectangle
is at least 26, and the 6-neighbourhood of each rectangle is contained in
the annulus, so the event that it has a closed crossing depends only on
the states of sites in the annulus As K(T) = 1/2, Theorem 3 applies
equally well to closed crossings Hence, for each of mu six rectangles,
the probability that it contains a closed path joining the two short sides
is at least c, where c > 0 is an absolute constant By Harris's Lemma
191
(Lemma 3 of Chapter 2), the probability that all six rectangles contain
such paths is at least c 6 Hence, with probability at least d i , there is a
closed cycle in ST separating the inner and outer circles of the annulus.
Recall that
= 2 k t
Thus, inside the given annulus A, we can
log(r+//_)/ log2 disjoint annuli A j C A with inner and outer
find k
radii and 2/ 7 , respectively Let E1 be the event that A; contains a
closed cycle separating its inside from its outside. If J_ > 10008, then
1P(E 1 ) > di for each i. If A has an open crossing, then none of the events
c an hold. But the events E1 are independent. so
Pfil has an open crossing) < Pfno E i holds) =
(E1) < (1
,_r
192
Figure 7 A discrete domain G (filled uncles and the lines joining thew) drawn
with the corresponding hexagons shaded The two thick lines are t he (des
in T corresponding to t he Juliet and inner boundaries 0 + (G) and 3 (C) 01.61
The topological boundaly OC of (the set of hexagons corresponding to) G is
I he cycle in /I separating shaded and unshaded hexagons
cut-ye t tex enstues that we do not visit the same ver tex of 0-(0) or or
eTf. (G) more than once 110111 now on we shall view 0-(G) and O H- (0)
as cycles in the graph 1
Billie1101,'S Theorem
193
is partitioned into arcs Ajt Consider the partial tiling of the plane by
hexagons, consisting of one hexagon for each site of C U (G). Colour
the hexagon ./1,. cot responding to c E C black if n is open, and white
191
ALVA A A A
A
A
V
V
VA
VA
A
A V
Figure 8. A 1-marked discrete domain (68. e 2 . ea! et) (filled circles and lines
joining thew) The outer boundary eP(G), a cycle in T, consists of the hollow
circles and the lines joining them. The thick lines show the inner boundary
shining endpoints and the
0-(G) of C. a writer of arcs A. I < i sjj.
corresponding disjoint arcs
C a c (CI)
195
Figure 9 The hexagons Ii corresponding to G U &' (C). with those corresponding to the marked vertices / 4 , vo, ra, N labelled. A hexagon EL., v E
is coloured black for i = 3 and white for i 2,1 A hexagon H i ., v E C. is
black if t, is open and white if t is closed There is an open path in GI nom
A i to A 3 if and only if there is a black path in the figure horn A lt to .-11- and
hence if and only if the interface between black and white hexagons joins y,
to g.1
196
order around this ttiangle Thinking of open sites as black and closed
sites as white. we write 131 for the event that there is an open path
.joining x i to Ac = ATP). i e., an open path from x i to a site in .4i,
and 11'1 for the event that there is a closed path horn x i to Let
8 1 13,113 denote the event that there ate vertex disjoint paths Pi from
x i to
with P i mid 172 open, and P3 closed; see Figure 10. Note that
8 1 13Th;, = 13, 13,} J IL, is just the box product of the events 13 1 . 13,
and II -3 . as defined in Chaplet 2 Define 8 1 11 .43 3 = L3 1 II -Q C /33
sinalai b. and so MI
[he probability (HMI ibutimi associated to critical percolation on t he
iangultu lattice is of commit 'nese' \ Cd if we change the state of every
open site to closed. and vice versa Huts
Ft/3 1 11 -2 11 3 )=P(11,8 2 Ba),
(5)
7:'
Stith 1101' s
Thew ein
197
1.11(D I
-2 83 ) = POL L /32 B3 )
(6)
(7)
Applying (5). or the relation P(B i 1 ,11'3 ) = 111-1 (8 1 which is essent ially equivalent to (7), one of the equalities in (6) Follows immediately
The older inequality follows similarly, or by relabelling
In tutu.
(7) is equivalent to
IP(/3 1 11',D3 =
(8)
The idea of the proof is as follows.. Whenevet B 1 FI holds, one can find
l i n t el/mist' open and closed paths Q i and Q. , witnessing Bi
condition not only on B I ji. but also on the pietise values of the paths
cart find these paths without examining the states of
Q i and Qo
sites -outside them
Next we shall show that if Fi l l ri B3 holds, then thole is nu open path
p, front 3i3 to .4 3 outside the inunermost paths Q j and Qo Ilms, the
conditional probabilih that 8 1 11:)/3: i holds is just the probability that
the -outside' contains an open path horn ,r 3 to A 3 . As we have not yet
examined the states of alp sites 'outside' Q i and Q(i. this is the same as
the probabilit y that the domain 'outside' (2 1 and Q contains a closed
path from to A: 1 , which is the conditional probability that B111'41:3
holds
At the risk of scorning too pedantic, we shall present a detailed pool
of Lemma 6 using the ideas above Note that a little caution is needed:
on the level of the vague outline just given, it might seem that the same
argument shows that 1P(B 1 BoB3 B I M) = P(13 1 13,11 .1 / .8 1 13,0 In fact,
P(13,
Vii ) and P(E3 i BoB3 ) ate not in genetal equal
To find the intim most paths witnessing B 1 111i, we shall fellow a return/
interlace between hexagons. Consider the /initial tiling of the plane by
hexagons. with one hexagon ha each site of U (G) As holjae, we
colont a hexagon H, cm responding to a site v of CI black if e is open, and
white if v is closed This time. we colon y the hexagons corresponding
to Ali black, those corresponding to At white. and those to At grey
As before, let I be the subg l aph of the hexagonal lattice consisting of
198
Coriformal
Smernov's Theorem
all edges between black and white hexagons, with then endpoints as the
vertices This time, every vertex of I has degree 2 except for a vertex
y where .41' meets At, and one or more vertices y i incident with grey
hexagons; see Figure 11. Let P he the component of I containing y.
Then P is a path starting at y and ending at a vertex :p i where hexagons
of all three colours meet.
is adjacent to a
199
Figure 12 The centroid w or a triangle ruts:es in 7', and the oriented edge
-7 =71 of the hexagonal lattice H that separates x i from r
Let P' be the path in the inter face graph I defined as follows: starting
at y, continue along edges of I until either we traverse 7 in the positive
direction, or we reach a grey hexagon If P does traverse the edge 7 in
the positive direction, then P' is an initial segment of P Otherwise, P'
is all of P. Let N(P'), the neighbourhood of P', be the set of sites of G
corresponding to hexagons one or more of whose edges appears in P'
Claim 8. If P' ends unlit the edge then the set N(P') C G contains
(necessarily disjoint) paths Q i from. :f t to A i and (29 from, r, to Ait,
with Q i open and Qs closed.
Proof. The argument is as in the proof of Lemma 5: if P' ends with the
edge 7, then the sites corresponding to the black hexagons on the left of
2(10
Qo C .1V(P) Flom
Together, the claims above show that BULL holds if and only if P'
ends with the edge "(7 The proofs of Claims 7 and S also given little
mote
Claim 0. The event 33 I II I,23 holds if and only if 13' ands with
and then, is on open pith P3 C C from 3 .3 to A$ using no site of the
/31 I I)IY3 holds if and only if P'
twig hbou t hood N(P') of P'
and them k a closed path P3 C 0 from .r3 10 .4 using no
conk with
Sill!
N(P')
201
G \
7.2,4
Separating probabilities
The next step is to give a kninal definition of the 'separating piobabilities: the limits of these probabilities will be harmonic functions on D
From this point On we shall view the discrete domains Go that we shall
consider as subgraphs of ST rather than T: this makes no difference to
the properties of Gs as a gtaph, but will be convenient for taking Bunts
later
Let Cs = (Gs: r:i) C ST he a 3-mat lord discrete domain .rith
mesh 8, and let c E C be the centre of a triangle in ST As heline, we
may think of z as a vertex of the hexagonal lattice SH dual to (11 A
'fey idea in Sndinov's proof of Theorem 2 is to consider the probability
of the event
E?:(c) = { Cs contains an open A r- A, path separating c from At },
and the events E (z) and g(z) defined similarly, where, as before.
Ar i(C; s) is the path in the inner boundary of Cs starting at ri
and ending at or +1 , and At = Aj (Cs) C 0 + (C; (5 ) is the corresponding
path in the outer boundary of Cs Usually. we shall take z to be the
centre of a triangle in Gs, although the definition makes sense for points
z nearer to (or even outside) the boundary of Cs The subscript fi in
out notation is shorthand to indicate the dependence both On S and on
the discrete domain Gs.
Needless to say, by an open Ar -Ao path Pin C7,5 sve mean a path P
in the graph Gs C ST all of whose sites are open starting with a site
202
Conformal
11)0(11
Smini.ov'; Theorem
Figure 13 A discrete domain G's (circles and the lines joinil g thew) %vith
the associated coloured hexagons: open sites ate shown by Ii led circles and
shaded hexagons, closed sites by empty circles and unshaded hexagons. 'The
outer hexagons (those not containing circles) correspond to the u t ter boundary
0 11 (0s) of C,5 , divided into truce ales .4.1 1 , At and A4 at the thick lines Art
open A 1 --.19 path P and the associated cycle C separating z, the centre of a
triangle in C, from At are shoran a thick lines
72
8711:177101t ' s
'Theorem
203
Figure 11 The figure on the left shows a schematic drawing cif a 3-marked
discrete domain a5 together with an A i -Aii pat h separating z hour A . If the
sites on this path are open, then Ei,t(z) holds. The figure on the right shows a
connected set S meeting and Ao and separating z from A4 that does not
contain an Ar-Ao path separating z fron t At. If only the sites of S are open.
theu Es(z) does not hold
204
U
a + (0 A l. where 0 + /Go) =
U
is the onto bounda t v of 05
We C ohan a hexagon H,. c E 61 ,r, black if l' is open and white if V
closed We colour H, black if e E At U
and white if u E At; sc.;
Figute 15.. Let. I be the oriented interface graph whose edges a t e the
Figure IS Ilse discrete domain (circles and the lines j0 n og them), with
t he associated coloured hexagcms 'The inter lace I between black (dark and
lightly shaded) and tc kite hexagons has exactly two vertices of degree I,
namely yr and y2 An Open - path P and the associated cycle C' separating z from At are shown by thick lines If :rr i is not connected to :L i by
a closed pat I I , then t he while component containing ,r 2 is surrounded by a
connected set S of black hexagons: those not on 1" or At" U AT are shown
lightly shaded The union of and P contains an A l -A 2 path sepal ating
from Alt consisting of the clashed lines together with part of P The limited
edge of the hexagonal lattice crossing Tow:, is indicated b y an arrow
edges of the hexagonal lattice wit h a black hexagon on the t ight and a
white one on the left This graph has exactly two vet tices of degree
the vett:ices .111 and rki shown in Figute 15
As x/i is open and
205
edge J o ftin hexagonal lattice (tossing .10.1 3 with 1 on the left: this
edge is indicated with an arrow in Figure IS
Suppose first that the component of I containing f is a path. Then
it ends at a vertex of I with degree 1. which must be it, But then the
chine hexagons on the HI of this path Mira a connected set containing
3). and meeting At As before it follows that there is a dosed path
ram ,e 3 to .21 3 , as required.
Suppose next that the component of I containing f is a cycle, as in
igme 15. Our aim is to deduce a contradiction. Let hr. 1m... h, be
the sequence of hexagons seen on the right of this ci cle as we trace it
once star ting hom f Then each // i is black. h i corresponds to 3.' 2 , h,
/responds to x i . and h i is adjacent to h i* , lot each i Ide n tifying a
hexagon with the corresponding vertex of the lattice, we do not have
Mr an y i: otherwise. the interface cycle would visit w
=
twice
Recall that we lime open paths P I and P. , joining
to A t and
respectively. and that these paths can be closed to a rude C
sunounding c but not w by adding parts of At and A:. No edge of the
interface I can cross C. so ever v center h i lies on or outside C Let
he maximal subject to h, E P.) u At, and let 5 he minimal subject to
s > t and 11,, E Pr U At Note that 1 < r < s < as h i = :ro E Po and
to
EPn
Let S =
.11,.I} Then S is a connected set of vertices of
the graph C ri
for rued from Cs by deleting the edge ..rTro: the
hexagons corresponding to S ate lightl y shaded in Figtue 15 As S
contains a neighbour of Pn U At and a neighborn of Pi U At, it follows
that .PI U S contains a path F' in (1,5 r i :r9 joining A i to A, (The
part of tins path off P 1 UP) is shown by dashed hues in Figthe 15 ) The
corresponding hexagons are black (drawn with dark or light shading in
Figure 15). so the path I" is open Fu
Iv lies on or outside
C. so it separates z from At As P' does not use the edge x i it
follows that 13' separates w from At This contradicts mu assumption
that g(w) does not hold
The proof above is longer than one might: like, and can probable be
expressed more simply Note, howeve L that one cannot give a 'purely
topological' proof: in order to show that E, (m) holds, it is not enough
to find a connected black set meeting A i and A, and separating to front
At Indeed, one might expect that the centre c of a triangle in ST is
separated fron t At by an open Am An path if and onl y if z lies 'above'
206
ThCOlern
207
E 811 be the
centre of the triangle, and let. zr, C 2, Z3 E 611 be the neighbours of ay in
673. with z i and x i opposite for each i. Then
(9)
h si (w, c)
Note that, trivially,
n(z)-n(rv)=iov,z)-
(10)
) M C ) Clz
208
aril;
triangle with side length 6, mid a ' is the centte of the triangle C", then
f (z)
of unity
Let w = (I + \/-3)/2 denote one of the cube toots
Lemma 13. Let CI; be a discrete 3-hooked domain such that no point
of C is within disloace a of all three arcs of OGo. where a > 20006 If
C' is a discrete triangulat canton; in. Cs of length L. then
(1)
(:)(1:
( 1)
fm i
7 2 Swirnov s Thcomm
0(010")
209
Hence.
/a)").
hs
i (w..z) =
(12)
w:
tv)11,15(
as complex munbets
Fix w E C' , and let z i Ca be the neighbours of a
' in anticloclavise
cadet, so
w =
w) =
(13!
(,A)
c . )) =
pet nutted,
Z)
and
h(15(a)7 c 3) =
Setting z 4
CI , we thus have
(zi
tv)q(ut, zj)
tv)1;;(v
1i)
j=1
w(zi -w)h,v(m.=i i i)
.i=1
3
(v)16(w
I=i
where the first equality is simpI N a relabelling Of the same sum. the
second is Eton, (13), and the third (Li) and the following similar
equalities Stumning over w E C"', it follows that
S2 =
(13)
210
call write
5,, =
z)h's(z, u,)
it,,zC"
and
(z w)11:5 (ev, z).
0(L(S I o))
(16)
for each
For
z a)his(lut
(a'
)1/1,1(Z, w)
h S
WX/116(111,
(z w)(
(It ))
f4(w))
To obtain
the must stun this last term over all unordered pairs {m, z}
with m + z and
E C' Collecting all terms of the Ram :17101"),
E C. we thus have
:17
E E - Jig ?, )
E ('rv-z)f,R4v)- E E (a' z)1,(10).
wE C" zw, ze4c,
In the first sum in the final line, the coefficient of each 1, ((tv) is exactly
0 There is one term in the final sum for every edge viz of SH crossing
C from the inside to the outside. The edge ruz of 511 may be obtained
from the dual edge 1,"// E C of ST by a clockwise rotation through w/2
followed by scaling by a factor 1/ \/[3 (For x, y and w, see Figure 17 )
Thus, z w = ( - 14/fr3)(y :r) Hence, h our OM definition of the
discrete contour integral,
(z . 0.1A(10 =
.11(Z) (1Z;
(17)
VF3 c
As Si =
7 2 5'71th-two's Theorem
211
to a Jordan domain D3, then the functions Mz) converge to continuous functions f' on D Lemma 13 will imply that the (usual) contour
integrals of these functions around a given contour are related by
nultiplication by co.
B C A(=)},
9 1 9
Ds(
o(1)
(19)
and, given -y> 0, there arc (5 1 , 11> 0 such that fur all r5 < S i , any two
points n: and of Cif with dist (w, z) < q may be joined by a path in GI
lying in the boll 13.,(w)
This is standard.
213
horn F
One can show, that. given a ri-nun lied domain D., and an > 0, lot
sufficiently small S there are 1-/ / ta/ ked discrete domains G:5
C ST
that am s-close to D.:, such that any crossing of Gs in ST contains a
crossing of D4, and any crossing of f).1 in ST contains a crossing of G,"riThis implies that
P6(0,7 ) P6(D4 < Ps(Cr{ )
(20)
In fact, it will be cleaner to move a somewhat weaker statement, involving only crossings that do not pass to close to the /milked points Pi.
This weaker statement does not imply (20) Howevel, we shall show.
using LC1/11 / 1a 4, that it does imply Lemma 1-1, which is strong enough
fon the proof of Theorem 2
The basic idea of the construction is as follows. If is a rectangle
with the cm ners uni tized, then we nay take (CT to be a slightl y !tinge'
and thinner 'rectangle' in the lattice, and Crq to be a slighth shorter and
214
Conformal Invariance -
no v's Theorem
>
where fi is a. function of
so that 6; 4, 1 is much smaller than
fot
each i. In particular, we shall assume that 10005 i + 1 <
say
Let s t > 0 be given Our first step is to simplify the crave F = OD mac.
the nmrked points Pi As before, A i = A i (D) is the arc of the Jordan:
curve F running from P. 1 to Pi i . The arcs A t and A 3 are disjoint, and
so separated by a positive distance The same applies to A 2 and Ai,:
Let Zo e D be fixed throughout, and note that dist(zo, A i ) > 0 for each
Reducing
if necessary, we may assume that. dist(zo,
> 106 t , and
that,
ri.
E1,
(21)
5 7-(r,
Ei
E,
Figure 18 Th e
joining
215
to
Figure 19 'The 'simplified' curve r (thick lines), and its interim D'.. The
points P1 arc the cent res of the circles C; with radii am (drawn tvith solid
lines) The dashed lines ate the arcs of F \ F', each of which remains
distance
of some Pi , as indicated by the clotted circles..
(22)
for each i
We shall modify r in a way that is analogous to replacing a rectangle
by a slightly longer and thinner one The disjoint closed sets 1 < i <
4, ate separ ated by positive distances, so there is an Ea > 0 such that
dist(r i ,F;) > 10E3 (23)
for i
210
Let
s;3/3)/2.
(- I)
For i = 1.3. let .55 he the arc of D=c (AC) outside F', and, a little
dissonantly. for 2,4. let Si be the arc of D'(Ari ) inside r (The
external boundary of IV; = ft' ) is defined without reference to the rest
of F'. so Si is part of the external boundary of N 1 even when Si is
inside F'.) These choices for the arcs Si correspond to the operation of
replacing a rectangle by a longer and thinner one, by moving the first
and third sides of the rectangle outwards a little. and the second and
fourth sides inwards a little
We shall write R i for the region bounded Iry the closed (nuke formed
7 2 SinirtunCs Theorem
S.1
217
joining
the endpoints
Claim 17. 117e can paramelf Ltd: the open Jordan carves Sm and
continuous injections sm. gm : (0.1]
sm(1)
C with
!Mt))
alt
t
<
fin.
E Ca + , and dist( sm
i (0) E C h
I;
9 18
a ball of radius E 3 /3 centred at either point:, and hence within a ball of,
radius g 3 /3
centred at s i (t). As in (t) is a point of this at
we have (list (il i (t), -s,(f
177.1 s3/2
Figure 21 The curve F - (solid lines) and its interim IF The dashed li
ale the curves
Each Si is palt of the external boundary of N i tr. It ll : ha
i = 1,3. S i is outside
i
81 is inside r
S3 fit
for 1 < i
219
an t ett izations of the Jordan cm yes 17- and such that c otresponding
points ate within distance 5.3
Roughly speaking, we shall take CC to consist of all sites v of ST
vhose corresponding hexagons H a t e contained UnfoitunatelY,
this set; need not be connected, so we shall have to be mot e careful
Suppose that
0 < 35 <
(26)
Et/10)
wLcre q is the (Unction appearing in Lemma 16, and let D (7 be the set
of sites v E ST such that H C D - Reducing 5, if necessary, we may
some
lu that
< 05 4 /100,
(27)
Figure 22 A pint of C;;;" (viewed as a union of hexagons). together \in.( ' auof hexagons contained in D - 0:5 is
other (small) component of the set
the component of
containing the point; zu
1.
220
Confotwal
)11-141 I )(Wet
(28)
CM
Let 0;7 be defined as 0T. but with all subscripts cveled, so ice take
and 84 outside F'. and 8 1 and 84 inside r
89
>0
999
Ps(C; )
The final property that we require of out domains Gt is that nea t fps.
points may be joined by a shot t path in the domain We prove this for
Gs; the conesponding statement for G ict then follows by per tnutit i g the
marked points R.
Claim 21. Let y > 0 be given Their is an q = q(D4 , 1 ) > 0 with th
following property. If E l is chosen small enough, then any two points
w and z of C -5- with dist
B., (w).
Z) < n OIC
(30)
7 2 Sunni
Theorem
99:3
Figure 23 Pmt of CC (hexagons). including two points at and z on its boundary with dist(w, z) <
'Hie shaded legion R. is bounded by B C OCC, a
piecewise linen/ curve joining w to z and the line segment
The curved
line is part of F - ; the point :r' E
is within distance 25 of the point x E DC",
and B- C I? is the arc of
from le ' to z'
Cri T
CD
Let Os I emai 1r that the proof of Lenuna 1-1 shows that when defining
Pi ( /7/, TL it does not inattel exactly how we neat the houndmv
proof of SmirnoWs Them cm will be valid tot any definition of a c t ossing
of D., lin \vhich a flossing of the 'longer. thinner' domain C-:;" horn
01 1 (LC ) to ../1/ ! (CC) t hat stays tar ham t he cot nets guru antees a crossing
of D., how .ffl to 21 3 . and prevents a mussing of DA 110111 1 2 to .4 I . FOr
example, we could define a ("tossing of DA 111 ST from A i to .4 ) to be
open path in D Ma/ling and ending at points within distance 1051 of Ar
and .!1!
225
0:sl. is ai-close to Ds
(31)
Of coutse, the same holds for Cl,t, but, as we shall see.. it suffices to
consider G's-.
To prove Ibeotent
we shall show that
Ps(G)
rr(D.1 )
(32)
as /5
0. where Ps(CCir ) is the pH/It/Wilily that the 4-marked discrete
domain
contains an open crossing joining its first and Hind boundary
at es. Indeed,
(33)
P,s(Gt )
r(D-1)
can be lamed in the same way as (32) and then P i (Dr)
7i(D4)
follows front (19). In fact. WI iting = P2 . P3, P I , PI ) lot the dual'
marked domain. the consti net ions of the apptoxiination CI" to D4 and
the apt/it/xi/nation 61,1 to DI given in the previous section ate identical
Hence. (33) follows hum (32). the /elation m(D. 1 )-+ 7,-(D1) = 1 (see (4))..
and Lemma 5 ha this leason we consider only C;"
Tot the moment, we shall regard the domains D., = (.D: Pt , P2.
PI)
and 0,T
(67: e t .r u:t vs) as 3-mallred, by fmgetting the fourth
mailed point.. Pi of v., We write = .4 i (D// ), 1 < i < 3, fig the
boundary mcs of the 3-tai Iced domain .D 3 = (D; P}, P4 ) \\'e use
corresponding notation 16/ the brt/Id/ay arcs of 67
Let f,l(z) he the 'et ossing-under' probabilities defined by (9), for the
domain Gs = = , 173 ) Thus, lot z the centre. of a triangle
in CI . th e have
C5(z) = P(E75(.:)).
226
the centres of various triangles (faces) of the lattice 81/' At the centre
E 61-1 of any face of 45T meeting D. set: g,C(z) equal to the value
of JA at the closest point ay where /,( is defined. (H there is mote than
one such iv, choose one in an arbitrary way ) Note that, from (31), we
have
dist (II'
< E +
26.
(3
say
\\1e extend hour the centres of the triangles meeting .D to the entire'
triangles as follows: first, take the value of fio at the corner :r of such a
triangle to be (say) the average of the values at the centres of all triangles
incident with a and meeting D. Then divide each face of ST into t lace
triangles meeting at the centre, and define chi on each of these triangles
by linear interpolation Finally, 'forget' the values of 9 i5 outside D to
obtain a function with domain of definition D
\Ve shall Use two proper ties of the interpolating functions f./15.
each !Ali is a continuous function on D Second, for any
and c E D.
there are points le t E 811 at which fA is defined. with 115 (w) < gfc(z)<
fRui f ). and dist (net). dist (iv', z) < 2E.. where = 5(5) is as in (31) The
first property is inunediate from the definition of q The second follows
Prow (34)
Claim 22 The f (Indians
MY'
uniformly equiconlinnowi
Proof It suffices to show that t he functions fL ii ate tudIcainly equicout iummns Given ii > U, we roust show t hat t here is an q > 0 such that. for all
to EDCC With dist (c. u . ) < q Mid all 8, Ale !Mee
(c) (415 001 <.1
ht doing this, we may choose an) 6 1 (ii) > 0 and restrict our attention to the functions
for S < 11 1 (0): whatever the values of
(z)
tSr
(it)
the
linear
inter
polation
in
the
definition
of
id
ensures
that
the
>
functions gA. e > 0r ( i3). are uuiforruhy ecpticont imams (indeed. indica rub,
Lipschitz)
As no point of the 3-marked J o rdan domain
3 D3 lies on all three arcs
=
(D3 ). there is a constant e > 0 such that
(35)
aro. rc E 1)
Let us choose 'y > 0 so that < c/ltl and (63/c)'< d/2. where o >
is the constant in Lemma -I By Lcuuua 1-1, if we choose Sr small enough.
I Iwn t here is an I/ > tl such that any two 'mints
g of GT. 8 < S I . at
7 :2 Sminuols Theorem
227
2 Hi
It follows that
as required
The functions ifs take values in [0,..11 Hence, these Functions are uniformly equicontinuous and uniformly bounded Thus, by the ArzelftAston Theorem (see, for example, Bollobtis [1999, p. 90]), any subsequence of (g-, A, q) contains a subsequence that converges uniformly
continuous
to a limit
IP), with each
The last two (rather substantial) pieces of the jigsaw puzzle needed to
complete the proof of Theorem are collected in the next two
claims The first describes some crucial proper ties of the possible limits
(g 1 . 0 2 . ,q 3 )
Claim 23.
228
nov 5 l'hemmti
avtk each
oE
5C1
Then
or
(36)
A i we ham
11'(o)=
who du 'opal
coalMoon
g(c)do.
g i+I (o) do = w
an foi (my point
and gi+1(z)-1-
(0)
= 1.
(37),
SS. wilting
CO/MOMS
dz
!Edo)
o(I.)
as S
whete the second it/leg/id is t he usual contom ioteguai Since
the ri1c = q converge indlo t l i th to
we have
( lc
as 61 = d
deduce that
-r-
(I) f:/(:)(1
o(1)
g'(1)
d o
0(1)
at e
229
(38)
fhis( c ) = g (c ) + o(1)
(39)
Is 0
Flom (31) we may choose a porn ft's On the 'mutably of CT,T (viewed
and hence
as a union of hexagons) so that, its (5 + lb we have ws
first (ms, c o) 0 Let :I's E C',.,1" lie a site of the inner houndm v of Coll in
whose hexagon tux lies, so (list (,ro. ws) < 6 Note that it c = P l . then
we may take rs to be e 3 The :Hausdoi II distance between the discrete
boundary arc A;(67) and the emit:imams air A i (Da) tends to zero
0 Thus. from (38).. lot 6 sufficiently small. the site lies on the
ate A3 of C1,7 (viewed as it 3-marked domain) and the point: ws on the
cottesporaling ate of the bow/du t y 30W of the union 0,7 of hexagons
Suppose that D:51 (.7. 3 ) holds Thcn time is an open path limn Al(0,7)
limn At (Gill ), and, in pal t Rada', sepal ating
to .'10(03l ) sepat ating
Such
a
path
must
moss the line segment: cows It follows that
horn ws
some site of
within distance (list(:,, ws) + 26 = o(1) of c 3 is joined
by au open path to snow site at distance at least a o(i) hum c3
this event has mobabilitv o(11), so
Lemma
=,i) = 111'(El i3 (c 3 )) = o(1)
Using (39). it follows that cia (:) =
Recall that 3! 3 is a lumndat V site of A 3 (0) within distance 6 of ms
Let Es be the event that some site in Baistfrc ?co+ t oc(zo) is joined by an
open path to A i (CI3- )U Aii,(CC) As above, LP(E3 ) = obi ) Let 0,15 be the
4-marked domain obtained front the 3-marked domain 03 l by taking to
as the 'Muth marled point Note that if c = so ,r 3 = el , then we
recover the original -I-marked domain
If E3 does not hold. then no open path horn A t (gli ) to A;1 (0) can
tome within distance 26 of the line segment /tows. Hence E,i(z:s) holds if
and only if Cfs has an open (dossing h om A [ (Cs ) = (0;C: ) to .13(6"3):
see figure 2-1
Conformal
230
Figure 24 A 3-marked discrete domain 61 1,1 with boundary ales A i , 1 < i < 3,
and the corresponding 4-marked domain 0,1j with boundary 8104 < i < 4,
obtained by marking a point ass on .4 3 . If no open path joins A I U An to the
line segment ,rozo, then an open path from .1 ' to A3 separates z,) from :At if
and only if it ends at a site of AC,
Hence,
P(Gs has an open classing limn A', to A'a ) = d(zs) + o(1) (-10)
Similarly. if E6 does not hold, then EA (As) holds if and only if C's has
an open crossing from ,41, to .4 ,',, so
has an open (flossing from A1, to A',1 ) =
(zs) + o(1)
As before,
9 +
g2 + w 2
w293
g3
231
gl (a2.1
g'= 0.
ice, by Morera's Theorem (see, e.g Bear don 11979, p 1661), the
g is analytic in D.
unction
f
On the b011./IdatY of D, condition (37) ensures that, fors E A i , the
value of g(z) is a convex combination of co 1+ r and44) 1+2 , i.e., that g maps
into the line segment ig 4. 1 e i+ 0 Since g is continuous, it follows that
g maps Pi into Furthermore, as z traces the boundary of D in the
anticlockwise direction, g(z) remains within DA and winds exactly mice
around this boundary As noted by Bettina (2005], it follows that g is a
conformal map from D to A Indeed, applying the argument principle
(see, e.g., Beardon (1979, p 1270, the equation g(2) = w has a unique
solution for each w E A, and no solution for w outside A Since g maps
the craps g and y are identical
Pi to
Arguing similarly, the function
+ g2 -1-:g3 is analytic in D. continuous
on the boundary, and takes the constant value 1 on the boundary Thus
g2 + ga is identically 1 This means that the real-valued functions
g' are determined by g: for example,
(201 g2 ga ) / 3 + (g 1 + 9 2 + ifs)/3 = 211.e(g)/3 + 1/3
As g
y, this shows that the triple (g I ,g 2 ,g3 ) is uniquely determined.
The triple given by g i (z) = hi(c,..-..:(z)) satisfies conditions (36) and (37),
so the claim follows
We now have all the pieces iu place to prove Sinn noy 's Theorem
Proof of Theorem 2 Let
P3, P4 ) be a 4-mmked Jordan
domain Let (.7:5- and G7 be defined as in Lemma 14, for all 0 < S < So,
7r(D4 ), since
where So > 0 is constant It suffices to show that Ps(C7)
the same argument shows that Ps(G,I)
ir(D4 ), and then .P,5(D4,T)
g (D.1 ) follows from (19).
Let f and g,is be defined as above, using the discrete domains 67
We claim that /4; o y, where h i and y are defined as in (Hahn 24
Suppose, for a contradiction, that this is not the case, i.e that there is
there are 1 < e < 3
an E. > 0 and a sequence (50 such that for each
and 2 E D with
^
(41)
232
,14
P,;(67 )
(cs)
o(1) =
o( 1)
1 ) = 11 2 (y:(P.1 ))
o( )
Indeed. the first equation is exact Iv (-10) For c oo- PI : as noted Mat\ e. the
domain Cr[:, appeal ing in (-10) is exact IN t he -1-m a nked domain 0:[[ in this
case As 11-' (y(1). 0) = 7(1 ) 1 ) by definition, t he proof is complete
Site poi colatimi on the tiiiiiiLmtm lattice is t he mils standard pc[ i colat ion model For g hick toilful/nal invariance is kiwi\ iv. tittle MC SOUR' 110/1standaid models to \\ inch either Sinn nov's Themem. or its pub! has
been adapted Indeed. Canria. Nelk111811 and SidthilVitillti [2002: 2004]
haVe ', 1 St ithiitiii0(1 t ith i lismal invariance
certain dependent site peu blat ion models nu the tiiaugular Lattice, obtained l, l imning a patIicnlur
deterministic cellular automaton horn an initial state given 11\ independmo site percolation The\ establish continual invarance by showing
t hat the dependent model is hi a cethriu sense a small per tin bat ion' of
t he independent ittoth . 1 and t hen apply ing
Themem
Chaves Lei 120061 defined a Lather unusual class of percolation
mids based on dependent bond percolation on t he I iangulal lattice.
mid muted the equiirdent of SmitnoCs theoreur t o t these models by
t I anslat ing Stint
Smituoc s pool to this context ft remains an blip)! ant
challenge to move conEumal invariance for am other standard model.
lo t example. lo t site or bond pet colation on the square lattice. or lot
Gilbert 's model or random \Mir : Hun percolation in the plane (see Chapter SI
lot
233
p()4*()(1)
p, limn above.
(42)
where ./.1 > (I is a constant that depends on the dimension but not the
details of the petcolat ion model
Tinning to the size of the open cluster Co when it is finite. as earlier,
we write V (p) = Ep (lCal) for the expected size of (number of sites in)
Co As k(p) = x for p > mr . it is rather mote informative to modify the
definition slightly.. and consider
\ f (P) = E a
so that
\ f (p) = A(p)
( lCallacokic)
tP,,(IC01
\ I ( p ),
as p pc,
(43)
23-1
11
1/2
5(M- -,01)),E7
1111 2 11',({0
It is conjectured that
= IP Pc1 -1 '
for
(-1G)
The reason for the term 'correlation length' is that ti(p) is expected to
be closely related to the probability that two sites at a given distance
1. arc in the same finite open cluster: roughly speaking, this probability
should decry exponentially with WE(p)
Finally, it is expected that, at the critical probability, we have
P P- ( 0 -
(-IT)
(48)
235
' Aced, let x i , ,1], be two points at sonic (large) distance r II there is an
open path joining II and to, then each,r; must be joined by an open path
to the boundar v of the ball B, i3 Ur 0, say But with probability bounded
awa y from zero there arc open cycles in these two balls surrounding the
centres that ate joined to each other; relation (-IS) their follows using
Ian is's Lemma (Lemma 3 of Chapter 2).
Mester' [19871; 1987c] established highly non-trivial relationships bemen the various exponents for two-dimensional percolation. Firstly,
building on Iris work on the 'incipient infinite cluster (Kesten (19861),
exists), then so does 6',
he showed that if ti exists (or, equivalently. it
Fur
then/lore,
Ire
showed
that
if the exponents ri and
11
(5
1)
=
with
S exist, then so do the other exponents, and
Ij
In pa/
2 1/
6-I- 1 '
6 I
+ 1
sind "
and
= ti(2
1/ ),
ns'
(J19)
and 2 q
S+
(50)
It. is believed that (-19) holds in all dimensions, and that (SO) holds fo r
d < 6: see Chimmett [1999] A yet y large number of papers have been
written about the ethical exponents associated to percolation aud the
relationships between them: see, for example, Rudd and Frisch [1970],
Wu [1978], Kesten [1981], Aizemnan and Newman [198-1], Durrett [1985],
Chayes and Chayes [1987], lasaki 11984 Mester and Zhang [1987],
IKesten [1987a: 1988] and Hammond [2005] Burgs, Ch ryes, Kestim and
Spencer [1999] proved the deep result that the hyperscaling relations
(50) hold as long as two assumptions are satisfied: 5, exists, and, at
p = N. the crossing probabilities for cuboids with fixed aspect ratios are
bounded away from I. (Their results are stated for bowl percolation
in Za , but proved in a more general setting.) The latter assumption is
expected to hold for cl 6
Bettuning to two dimensions, Selo anun [2000] studied a certain scaling limit of 'loop-erased random walks' in the plane, which we shall riot
define. He defined a family of random curves iu a domain in the plane,
whose distribution depends on a real parameter which he called the
stocli astic Locivrod evolution with parameter h, and denoted SLE.. The
230
-13
15;
5
and= TT-
These values for the critical exponents coincide with the predictions
of theoretical physicists: see Kesten (1987c]. Sion 110V and \Victim' [20011
and the references therein As noted above. 6, = 1112 = 5/48 follows
relatively easily, and d = 91/5 161 IOWS ftun a the results of [(estctu [1984
The proof of Theorem 25 is based on crossings of annuli lb sa y a
few words about this proof. denote tu ALt the event that in the site
percolation on r restricted to the disc /3 R (0), there are (at least)
distinct open clusters each of which connects a site in B, (0) to a site
near the boundary of B E (0) For fixed i. the asymptotic behaviour
of P IT:, (A; ??) does not depend on as long as n is large enough for
tins probability to be positive \\:n it ing A llt for rr, ??. say, S i nn no\ and
\\hiller noted that. b y the results of Kesten 119874 Theorem 2,5 fellows
horn the tur, relations
P1 / 2 ( A IR) =
(51)
.1
237
wd
(52)
E C : t
<
It is not haul to sett that. For crit ical site percolation on It the probabilit y of the event C,(1 .1?) does not depend on the terms of the sequence
c, only on its length Indeed.. the woof of Lemma 5 allows us to deli ie a
I?) From the inner tilde
'lowest' (clockwise-most) open missing of e."(;.1?)
to the ante! citele. 'whi t /revel such a crossing exists Having Found such
a classing. Pi , we may then look lot a lowest open at closed crossing
above PI in the same wa y. The lowest classing P i may be found without examining the states of sites above Pi . so when we look fin the next
clossing, the inobabilitv of success does not depend on whetIon it is tin
open cat a closed crossing that we seek It follows sin/HaiIv that
^us(C',(; R)) =
R)
lot sonic (ti (t, lit ) that depends on the length of c but not the actual
sequence Sinn ion and Wet nei (2(101 showed that. , it j > 1 is fixed and
d is huge enough. then
(1 ) (t .1?), 1?
(53)
238
Theolvin
on 's
as R
Returning to the full annulus, one can show (see Aizenman, Duplantit
(fIc ( t, R)) is independent of the colours
and Allat011y 119991) that P i r,
in the sequence c, provided C contains at least one B and at least One
H' This is related to Lemma 6 above: if the sequence contains two
terrns of opposite colours, then it contains two consecutive terrns, and
one can start by searching for an Innermost' pair of paths of opposite
colours Then, working outwards, each remaining path may be found as
the lowest crossing of a certain region, and the probability of finding the
next path does not depend on the colour
\VI iting bj (t, H.) for P i/2 (He (t,R)), wirer e c is airy sequence of length j
containing at least one B and at least one H', Snriu nov and Werner [2001]
showed that if ) > 2 is fixed and r is large enough, then
Di (r,B)
RH12- 0/12+00)
(54)
(R 11)--.1(i+1)/ti+o(I)
(55)
as R, r x with .1711 fixed. (In fact, to obtain (55), one first needs an 'a
priori' bound of the Ram a 3 (1 R) = 0(17- I I ) as R cc, for constants
I
and > 0; see Smirnov and \Verner 120011 and the references therein )
239
e(a10r,13));
see Kesten [1987c] and Kesten, SidO/aViellIS and Zliang [1998] When
Considering paths of the same colour, this relation is fairly easy to derive
front the Russo-Seyrnom-Welsh Theorem Fortunately, for half-annuli,
One can assume that all paths have the same colour: The corresponding
relation for hi is much harder; see SatittION" and Werner [2001]
Finally, let us note that, in the annulus, the restriction that not all
paths be the same colour really does seem to matter It is likely that
1Pr/2(lf,(7,R))
a, cc with t and j fixed, where c is a sequence of length j with =
.13 for every i However, these 'monochromatic' exponents 7; are very
likely different horn the multichromatic exponents (j2 - 1)/12 above
" rm. ticulm, Grassberger [1999] reported numerical evidence that =
0.3568 0.0008. The numerical value, or even the existence, of -;; for
j > 2 is not known, although Lawler, Schramm and Werner [20026]
showed that 7,, exists and is equal to the maximum eigenvalue of a
certain differential operator
Critical percolation is not the only discrete object known to have a
cargo, mally invariant scaling limit described by SLE: Lawler, SCl/181M/1
and Werner [2004] have shown that one may define certain natural scaling limits of loop-erased random walks in the plane and of uniformly
chosen spanning trees in a planar lattice; these are related to SLE2 and
to SLE8 , respectively.
The brief remarks hr this section hardly scratch the surface of the
the theory that has grown out of conformal invariance and the study of
SLE For a selection of related results see, for example, Schramm 120014
Lawler Schramm and Werner [2001a; 2001b; 2002a; 2002c; 2003], Kleban
and Zagier [2003], Beflara [2004], Dubedat [2004], Than [2001], Morrow
and Zhang [2005], and Rohde and Schramm [2005], Informative surv eys
of the field have been written by Schramm ' [2001b], Lawler [2001; 2005],
Werner [2004; 2005], Kager and Nienhuis [2004] and Canty [2005].
8
Continliuni percolation
2-11
for k =
(I, )) E
0. 1
Let
P ( X i ,i = h ) = (CA\k
/,!
be the unit square with bottom left vertex
1. j < y < p 1
every
j) E E.2 , select Nu points independently and unifinudy
from
then the union of all these sets has proper ties (i) and (ii), so
we may take this as the definition of PA
Although we shall not study it here, let us remar k in passing that a
Poisson process P f of intensit y satisfies (i) and (ii), except that the
2-12
Continuum prErrolation
is a lion-negative _el:
mean of j(U) is given by 11 , /, where
integrable function
RenitIllilg to Pa, note that if Z is a Bore! set of measure 0, then the
probability that PA lets any point in Z is 0; hence, in what follows, we
shall assume (lint PA fl Z = th lot all measure 0 sets Z that we consider.
For example, we shall assume that no point of P A is on a given (fixed)
polygon; a little wore generally, given a plane lattice, every point of PA
will be assumed to be an interior point of a face
For A > (1 and 7' > 0, let a, a be tine random geometric graph whose
vertex set is P. with an edge joining two points of Pa if they are at
distance at most 1; see Figure I We call C, A the Chlber t model with
parameter s r and A, of the Boolean inadel with parameter 5 r and A. With
this notation, the standard Gilbert (or Boolean) model is C. = C
Figure I. Pail of Hie graph C a (dots and lines) Two vertices ale joined
they are within distance i e , if each lies in the shaded circle centred on the
other
The model GC , A has numerous variants and extensions First, let
us rescale by writing H, ,A for C.), A. This resealing is not entirely
pointless, since it allows us to define a random subset of R2 in a natural
way, by writing D = .D, ,A (P A ) for the union of the discs of radius 7'
about the points of Pa; see Figure 2 Note that the probability that
there are two points of out Poisson process at distance exactly r is (l,
so it makes no difference whether we take open discs or closed discs
There is a. one-to-one cot respondence between the compor ter its of C2,. a =
(1,,, ',CPA ) and those of D, A = D, a(PA ); in particular, as P A has (a s )
243
Figure 2 Pail of the jit atilt G2, A (dots and lines) The shaded region is D,. A.
of (.32,. A toe adjacent if and only if the conesponding shaded
discs meet
Two VW tices
211
245
Our main aim in the test of this section is to give hounds on the n itica t degree a c . An easy way of bounding a, is by e0111pat ing C, A to a
discrete percolation model with good bounds on its critical probability
Perhaps the most natural model in the face immolation On the hexagonal
lattice in which each face is open with the Sallie probability indeipen(entry of the states of the other faces, and closed odic' wise; two faces ate
iwighbouts if they share au edge (As every vertex has degree 3, someshat misleadingly, this is equivalent to sliming a vertex ) This amdel
is t ome usually desetibed as site petcolation on the triangular lattice
Theorem 8 of Chapter 5 tells us that if p < 1/2. then a s there is no
face petcolation, and if p > 1/2, then a s we have face percolation
To obtain a face percolation model F l om PA. let A be a hexagonal
lice, with each face a regular hexagon of side-length s. Define a
face percolation model on A b y setting a face to be open if it contains
i t least one point of PA. and closed ()diet wise. so each face is closed
with limitabilit y c -AA and open with probability t - C AA , \viten, A =
3452 /2 is the area of a hexagonal face (see Figure 3) Front Theorem 8
010
Figure 3 Comparison between Gilberts model and face percolation on the
hexagonal lattice, i e site pwcolation on the hi:log[11w lattice: a hexagon is
shaded if it contains one or more points of the Poisson process The co p esponding site in the triangular lattice is then taken to be open If the hexagons
have side-length s. then AB = 2 ,/s. so AC =
of Chaplet 5, if 1 - c -A1 < 1/2 then we do tot have face pet col ion,
and if 1 - c -AA > 1/2 then we do
All that remains is to thaw the appropriate conclusions alma the
disc model G, A Note that any two points in neighbouring faces ate
at distance at most ((2A 2 1 2 ) i/2 s
s /171, and any two paints
iu non-neighbouting faces are at distance at least H Consequently, if
246
Continuum percolation
log 2
Mil-1o'c, 9< a, <
34
34
We have given these inequalities to show what one can read out of the
approximation of a Poisson process by face percolation on the hexagonal
lattice, although the lower bound above is worse than the trivial boon
1 implied by the simplest branching process argument. On the other
hand. the t i pper bound, given by Gilbert [1961] under the assumption
(unproved at the time, but proved now) that the critical probability for
site per colation on the triangular lattice was 1/2, has not been improved
much in over four decades The slightly better upper bound in the
theorem below is due to Hall [1985b], while the lower bound is the bound
from the seminal paper of Gilbert [1961]. (In fact, the numerical value
for the formula given there was 1 75. !)
Theorem 1. Let a be the critical degree (area) Pi the (tither (Boolean
,lice model G,. Then
671
271-
612
Proof Let us start with the lower bound. Let Co he the vet tex set of
the component of the origin in G, = G, , r, briefly, the component of the::
or igin We shall use a very simple process to find the points in Co one
by one, but in order to achieve a concise formulation of this pr ocess, we
describe it in a rasher formal way.
We shall constr uct, a sequence of pairs of disjoint (finite) sets of points
of the plane, (Do, Lo),(D 1 ,
say The points in D, are the points
of the component Co that ale dead at time t: they belong to the component Co, and so do all their neighbours; the points in L 1 are hue at
time t: they belong to Co, but we have made no attempt to find their
neighbours. To star t t he sequence, we set Do = 0 and Lo = {X 0 }, where
X 0 = 0 is the origin Next, let No be the set of neighbours of Ko, and
set Dr = {X 0 } and L i = No Having found (D,, L i ), if L, = 0 then
we terminate the sequence; otherwise, we pick a point K, horn L I , and
define Dt+. = Dt U{Xt } = {X 0 ., X,
} and L 1+1 =
u L,\ {NJ,
where Nt is tire set of neighbours of Kt that are not neighbours of any of
247
I.V
0 1
At
CU
Ar
i=0
laVe
ID / I =
t1<
(1)
Figure 4 Two (lists V, and I; of radius r with effi g ies A. and Xf, such that.
E
The (nett of Pr \ V1 (shaded) is maximized if dist (X. X t ) ttct I, as
shown In this ease the area is ft = (if + 4-1+t 2
Now. to bound let Zo. Zi. be independent Poisson random
variables. with E(2 0 ) = a7 2 , the men of the disc Dr,, and E(Zi ) = b fur
i> 1 Then inequality (1) implies that
POCol > <
i k\i=0
II 6 <
il l ^
IC
as A
i .
9-18
Since r
= 71 - <
we have b <
= 2if + 3 \ /73
Pigmy 5. The shaded part of each hexagon is the legion within distance
the midpoints of all ti sides The labels correspond to those in Figure
I of
249
Figure
The points A and C' are midpoints of two opposite sides of a hexagon
II; 0 is the centre of H and 131' is half of a side. Thus, A0 = 01' = V3/2.
013 =
BC = 1/2 and LCOB = 7/6 The shaded region is part of a circle
wit It centre A, so AD = We write y for LIDO and r5 for so
that ,42, + = 7/6. The shaded domain DOC' is one twelfth or the area of a
rounded hexagon II'
sin 12
OD =
sin(57/6)
II
esio( ) = 0 2709
AD (1-7)
OD) = 31.-'3(15). 1)
OD /I
so that u = 2 -167
3r--1 tncsin(
91:3( \/-7) 1
8
. as claimed.
259
ermithumn percolation
There has been much numerical work on the critical degree For the
Boolean model, and on its square yin iant Simulation methods have been
used For the disc by Roberts [1964 Don't) [1972], Pike and. Seager [1971],
Seager and Pike [1.971], Flenrlin [1976], Haan and Zwanzig [1977], GawL:
inski and Stanley [1981], Rosso [1989], Lorenz, Otgzali and Heuer [1993],
Quinlan:ilia. and Torquato [19991, and Quintanilla, Torquato and Ziff
[2000], among others, and fort the square by Dubson and Garland [1985];
Aron, Drmy and Balbog [1990], Garboczi, Thorpe, DeVries and Dm.,
[1994 and Baker, Paul, Sreenivasan and Stanley [2002] (Not suupr is
night., several of the bounds obtained happen to contradict each other )
For the critical degree of disc percolation, Quintanilla, Torquato and
Ziff [20001 gave lower and upper bounds of 1 51218 and 4.51228; for
square percolation, Baker, Paul, Sreenivasan and Stanley [2002] suggested 1 388 and 4..396
In studying the critical degrees in these two models, Baliste" , Bollobris
and Walters [ 2 005] gave rigorous reductions of the problems to complicated mune] ice! integrals, 1\ hich they calculated by Monte Cat lo methods Indeed, their method was the basis of the discussion of rigorous 99%
confidence intervals For site and bowl percolation critical probabilities in
Chapter 6 The basic idea is to use results about k-independent per colaHon to prove that a certain bound On holds, as long as a certain event
E defined in ter ins of the restriction of 0, to a finite l egion has at least
some probability Thi (For example, they consider the event E that the
largest components of the subgraphs of (7, induced by the squares [0, ((2
and [1 . 2/1 x [0. L] are part of a single component: in the subgraph induced
by 10,2(1x (0, t] Considering events isomorphic to E, there is a natural
way to define a Lindependent bond percolation measure on Z 2 such that
ever V bond is open with probability P(E). Another possible choice ha
E is described in Chapter 6 ) Unica tunately, one cannot evaluate P(E)
exactly: however, there are Monte Car lo methods for evaluating P(E)
that conic with rigorous bounds on the probability of errors of certain
magnitudes; see Chapter 6 for more details of the basic method Using
this technique. Balister, Ballobris and Walters [2005] proved that. with
confidence 99 99%, the cr itical degree for the disc percolation is between
4.508 and 4 515 and that fin the square percolation' is between 4.392
and 4 398
The results and methods we discussed in ear lier chapters for discrete
percolation models are easil y applied to the Gilbert Boolean disc model
to 'rime the Ind( 11/01 letiti of the infinite open cluster above the critical
9_5
251
Then
<
ur= thr
{71/ 2 A : IrtaCo(G,
L. where
A lp = Do}
Let A(6,./ j ) be the graph whose veil are the faces Flci , in winch two
faces are joined if the maximum distance between two points of their
union is at most r i We couple G,, A, with independent site percolation
on A(S. L I ) in the obvious way: declare a site F15:, of AO, to be open
if and only if it contains at least one point of 'P A , Note that the states
of the sites (i e laces) are independent, and that each is open with
probability pr = 1 - c-Ala
Suppose that there is an infinite open cluster in A(6,1 j ). If :r and y
ate adjacent open sites of AR I I ). then there is at least one point of PA,
in the faces of ,5& corresponding to A and g. and any two such points
are joined in CI, , ,A , . Hence. G,, A, has an unbounded open cluster But
or < a. so this event has probability zeta Thus, p i < pli(A.(6.11))..
9'0
Continuum pettolalion
Unlike Theorems 3. this does not follow easilr limn the co/les/Raiding
discrete results: the Brent that them is at most one unbounded (occupied
there is no
01 vacant) cluster is 'within increasing not decreasing .
stotight fo t w i nd wa\ to bound its probabilit y b \ that ( )I an event iu a
disown. , app t oximation to ()illicit 's model However. the Button Keane
proof of the Aizenman ICesten Newman uniqueness result lot lattices
(Themen t 1 of Chilling 5) can easilr be adapted to Gilbett's model
(hice we know d i nt (with probability I) G, A has a unique infinite
component-. it is reasonable to expect that inside a -big box' them is
onl y one -big component. Pen t ose and Pisztoi a [1990] showed drat the
heuristics. if moped r stated, ate indeed tine. but they hare to work
rather Laud to more 1110111
Ot Ile/ results tot percolation on lattices have analogues lot cuminmn pe t ( M i tt km Fro example, Alexander 0996] proved an rutalogne
(111? Russo SCVIIRMI SVelsh liniment for occupied eh/stets in G, A.
101
13, A
N.
C(
Bo y [1990]
Even in the plane. t he 011)00 model has 1111111(1 otts
tur d extelisions
Em example. instead if a dim... We way use a convex domain IC C R2 to
define a random set
ti
D a . = U(
IC )
i=
whew PA
} is a Poisson process of intensity A in the plane
This process percolates if D k. A has an unbounded component Note that
K is not assumed to be s we genet alize the I/11(1 etat ion of
the Gilbet t model shown in Figure 2 The co t tesponding giaph is exact Iv
G A (P A ) as defined eat lief wit h A =I( k In pm ticulal. fhe expected
degree of a vet tex is A times the m e t' of IC IC \
(IC rot
the critical intensity of this percolation process. lonasson [2001] proved
the beautiful result that, among convex (10111/1illti IC of area A, (K )
is minimal fin a triangle Ro y and Tairenuna [20021 showed that an
analogous result holds in higher dimensions, with a simplex replacing
the triangle
To conclude this section Nye note that thew turf natural models with
critical degrees close to the minimum First, as shown by Pent ose
the finical degree for long purge pe t colat kW " ill Z2 (ot J') tends to 1
as the 'range' tends to infinity (See I3ollobas and Kohayakawa [1995]
for a combinatorial pool.) 'Molesurprisingly. let A :
the annulus
with twin 1 and I + e (anti so area rr(2s.
E 2 )); then the critical degree
for (Py ) tends to 1 as E 0. This was proved. independently by
Flanceschetti, Booth. Cook. Aleeste/ and Duck [2005]. and I3alistet.
Bollobtis and NValters (2001) In the lattei. Impel. it was shown that the
of tesponding asset t ion for 'squaw annuli' is false: let S, be t he squa t e
annulus with the buret square having side-length 1, and t he outer 1
0 < E < 1. say 'Then the critical degree for Cs_ ('PA ) is at least c > 1.
with c independent of E
Tinning to hall pc/potation in higher dimensions (corresponding
the Boolean disc model in dimension two), let (14(!`i) be the critical degree
(volume) in E a , so that
= (4.2) Peru ose 1[996] showed that HY)
d (pc., Batiste/.. Bollobris and N Yakut s (20011 proved a general result
about models with ethical degrees tending to I t he minimum possible
value: t his implies tiiyiallv the results fin annuli and high-dimensional
balls
254
Continuum percolation
255
the scaling is irrelevant: a and d determine (3, (r71, A) so, with a slight
abuse of notation. we may write (17 d for this model. The main advantage of using the tor us, and so C,, e h is the homogeneity of the model:
however, to all intents and purposes, for r1 = il(n)
o(n) the models
Cri
(tin) and (3, (U) are interchangeable provided d =7112n.
The first question we should like to answer about the finite graphs
C , a is the following For what values of the parameters n and d is the
random geometric graph C a likel y to have isolated vertices? This was
answered by Steele and Tierney [1989] Later, Penrose [1997; 19991 extended this result by giving detailed information about the distribution
of the minimal degree ti(G a) of C ( 1 It is fascinating that this result is
the exact analogue of the classical result of Lidos and R 6/ IVi [1961Id on
random graphs (see also Bollohas [2001, Theorem 3 5 .1) Here we present
only a weaken for w of Penrose's thecae'''.
Theorem 5. Let rl = d(n) = log p A; log log n
fixed non-negative integer. If o(n)
then
Nri(G
and tf 0( )
<
o(n) where Ar is a
then
(8(G > lr
so
li ltt/s) 2 AE 2 C -AS2
r".
(1
256
imph ing (2)
II (1
> 1) <
u( 1)
ni
u( 1
The genet al case can he p i ( ed along the same lines. \\ it 11 a little mote
calculation.
Im fact. it is easy to pttne that- Fin d = ((Oil in the pp/ Op into lunge,
thenuttbet _Ar. of Net t ices of degtee A. has as y mptot ically Poisson distribution: t his implies Yen good bounds on t he mobability Il il ei(G a) >
Although this is not inintediatek obvious, it is not hind to show that
hemetn 5 does nuked cal y ore/ to t l i e model (3, defined on the
souffle l athe/ than the lotus, i e that the dumndan effects do not
matte]
ou t nex t aim is to state a considembh weight jet lesnit of Pentose
establishing a close connection between t he mope ' ties Of 4-runitecteduess
and of l i ming minimal degree at least s
e star t br defining t he hit ling
(hell P(2(
> 1 ) (2'(P)
for
PVC?
ty set. P In pm t ic-
f PC I
257
degree at least s (see Bollobas [2001]. Theorem 7 -1) Penrose [1999] (see
also Penrose (2003. pp 302- 3051) showed that this result car ies over to
the Boolean model on the tor us
Theorem 6. Let PA be a Poisson process on the ton If with intensity A Then
(PA) = ps>,(17 A )) = 1
lint
IP'(G :I is s-conneeled) 4
and if (1(0
then
d is ssivnneetcd)
258
Continuum percolation
the random geometric graph obtained in this way Note that o is the,
e,rpected number of vertices of H , e; also, if H . p has or > 1 vet (ices
then it has at least km/2 and at most km edges
The random geometric graph H k is again a model of an ad hoc::
network of transceivers and, as such, it has been studied by many people,:
including Kleimock and Silvestet [1978], Silvester [1980], Flajek [1983]
Takagi and kleimock [1984], Hon and Li [1986], Ni and Chandler [1994]
Gonzales-Banjos and Qniroz [2003], and Xue and Kumar [20041.
We should like to know for which Functions k = k(n) the graph
. More precisely, we should like
is likely to be connected as n
find a function ko(n) such that, if F.- > 0 is constant, then
lim P(
,A-
ro
if k 5 (1 04.0(4
is connecte ) =
if k
(1 + E)ko(o)
Such a function ko(n) is considerably harder to deter mine than the ctiti-:
cal deg/ ee d for connectedness in the Boolean model given by Theorem 7;
since the trivial obstruction to connectedness, the existence of an isolated vet tex, is ruled out by the definition of H
As we shall now See, simple back-of-an-envelope calculations give us
the order of /,.[) (o) Nevertheless, we ate very far from determining the
asymptotic value of 1;0 (0 In the arguments that fellov,, the inequalities
are claimed to hold only if o is sufficiently huge.
Let us see first that if r > e then k = k(n) = [clog
is an upper
bound fix ko(n). If every disc of area a = 7r1 2 centred at a point a: E V
contains at most k other points of S. then ti e contains
as a
subgraph, whew is the graph on V,, obtained by joining two points
if they are within distance r The variant of Theorem 7 for the square
(rather than the torus) tells us that the graph C is connected whp
(with high probability, i e., with probability tending to 1 as n x) if
a = log n + log log o, say. (In the application of the theorem, s = 1, and
ev(n), log logn ) Fm this a, the probability that a fixed disc of area a.
contains at least A' + I points is at most
ah1
(k + 1)!
<
([/(!)/ <
where c < < c and z > 0 nom basic proper ties of Poisson processes,
it Follows that the probability that the disc of area a about seine point of
1,7 contains more than A. other points of V is at most 1E' Consequently.
H , p is connected hp, as claimed
259
WO
Figure '1 A family D = {D i , D. Dr,} of three concentric discs, and two possible discs D, touching D I For k 2. the fandiv D is had., so contains
no edges from the vertices in D I to the test of the graph
bad for the graph
hold:
1, (or set V) if the following three conditions
Continuum percolation
260
points is approximatel y 1/2; an\ at least 1/3 Next soin thin (ii) holds
with ptobalrilit
Finally. condition (iii)) holds if it holds tin the points c with dist(i)..r),
tar For such a point c, the area of D, n (Dr, \ Da) is en 2 for sow
> 2 1111/S. one call cover D 5 \ D3 by a constant number C of regions
contaitrs sonic The probability that.
R., of area 27/ 2 so that any D, con)
a given R, does not contain at least k+1 points oft is Y(1) Hence, the
probability that (iii) holds is 1-0(1). and in pm Perrin/ at least 1/2 lot y
large Since the events (i), (ii) and (iii) are independent, the probability
that a family D is bad tor [I n k is at least fr-H-5/(i
The square .5 contains at least
>)-
101(( x) log n)/(87v)
)0 -11
//
5 log n
+16)
lug!,
261
rather
2(
Flat to [1973] considered iandoin arcs of the same length (r. 0 < 0 <
(Sin pi isingly. this problem had been considered br Stevens 119391swei al
years byline Eho t etzlt N posed Ids question. in a 101 1 111a1 on eugenics.) To
state Flat to's distill. let m be a fixed nal inal nundaa and (hop the at cs
on the (Tide (01 pet inwtei I) al Iiin(loni one la one. stopping ;is soon
as CNC( y point of the cl i ck' is co N end at least ni limes \I) /he A , 101
the /Hunk , ' of tics used (Thus. A , is the hit ting time lot baying
an m-Fold covet.) Flat to showed that
litre 1111(;V,
0-6
1 ( log( I /d )
loglog(1/d) th id)) =
(:2"7(
\\ hich is once again itiminiscent of the classical Eldirs Ren y ' result
Siegel [1979] plowed results about the distribution of thy length of the
!Income ( ' pall of the chyle: late/. Hall [1985a] extended this Jesuit to
higher dimensions. The t esult s of Stevens wen' gene/ idized Ir y Siegel and
Hoist [1982]
The number, total length m i d sizes of the gaps left by the coveti ng
arcs were studied b y Hoist and Hasler 119841 and Iluillet [2(103]. among
Whets Inparticular,Huillet made use of Stentels identity to Noy('
exact and as\ nip( ot ie results about these quantities
A dilated problem_ due to 1 11 ()ns i 119581 conceins choosing disjoint
9 1i 9
p(N)N
lam
log A"
Machina proved that if r < 1. then whp the sphere is not coveted completel y, while if c > I then whp it is. Further results of 'Mitcham 11090;
200-0 concert the intersection gr aphs of random arcs and random caps:
these graphs are the analogues of the gr aphs on the tor us and
square we studied ear her in this sect ion
In a differ ent vein, Aldous [1989] used Stein's method to prove sharp
results about covering a square b y random small squares
Gene] alizing several em rim results. Janson ([986] used ingenious and
long arguments to prove that. under rather weak conditions and aler iippoquiate inalization. the (random) numbei of random small
set s needed to cover a larger set t ends tot he ext Imile-value dist ill n i t ion
exp(-c 11 ") as the measure of the small sets tends to 0
TO conclude this section, we shall sa l a few words about the random
convex hull problem vet ,mother old problem about random points in a.
convex domain Pick a points at 1 ile(10111 horn a convex domain K CIE2.
NV hat can one say about the (r andorn) number X of sides of the convex hull H of these II points? Renvi and Sulanke [1963] proved that:
the distribution of X depends very strongly on the smoothness of the
boundary: if K has a smooth boundary then Et-k) = 0(1 1/3 ), while if
K is a convex k-goll titan Er(X) =
(log
wrier(' C
(1)+ L(C )
is .Eulet's constant and c(K) = o(k) depends on K and is maximal fin
regular polygons and their shine equivalents In a follow-up paper,. Renyi
and Sulanke [190-1] studied the area and perMiele/ length of the convex
hull 11 These results of Reny' and Sulanke have spurted much research,
including papers In- Cimeneboom [1988]. Cabo and GI oeneboom 099-0,
Using [199 0, Hume! [199-1: 1909a; 1999b].
Using and Bingham (19981, Brinker and lising 119981. and Finch and [-ureter (2004] For
263
II
the normalized random variable (X 27rc i a l/3 )1(n 0' V27o)) tends to a standard normal
random wadable, inhere(37/2)"-1/3 r(5/3) 0 538 and co is
expressed in tams of complicated double integrals Finch and Hnetet
gave an explicit expression fin c
(P) =
9 64
Continuum p(vcakifion
l'ignie $ [lie upper figure slums pact of I he Voronoi tessellation I (P) associated to it P0i55011 process P c E* 2 : the points ()I P me also short n If the
inert t hen their common edge is pall of
Voronoi cells associat ed
I he per pendiculat bisector of ry -the lower figures slum t he graph Cc
dal ed to I . (2): I 0 points ()I P arc joined if the cur responding Voronoi (ells
meet On the left each hund of Cr is (Hoc ir rising two st might line segments
on the right using one I he first ewbedding (4 Gp is r lent lv plaua i II is east/
to shore 1 hit/ t he second is also
255
266
Crontinuuni percolation
note only some of the MOHe recent results concerning planar tessellations Haven and Chine (2000) gave a formula for the probability that
the cell containing the migM is a triangle, and Calka [2003] gave an
explicit formula for the distribution of the number of sides Calka and
Schreiber [2005) proved results about the asymptotic number of vertices and the area of a cell conditioned to contain a disc of radius r as
Continuing the work of Foss and Zuyev [19961, Calka [2002a;
2002b], made use of the result of Stevens [1939) mentioned in the previous section to study the radius of the smallest circle containing the cell
of the origin, and tire radius of the largest circle in the cell
Somewhat surprisingl y although Gilbert introduced Iris disc percolation 'nuclei, and studied the random Volonui tessellation as a model of
Crystal growth, he did not pose the problem of face percolation on a
nanchnn Vilronoi tessellation. However, a little later, in one of the early
papers devoted to percolation (hear y, Frisch and Hammersle y [1963]
called for attempts to pioneer 'branches of mathematics that might he
called stochastic geometry or statistical topology'. Eventually, this challenge was taken up Inv physicists; for example, Pike and Seager [1971]
and Seeger and Pike [1974] per fornwd compute" analyses of the percolation and the conductance of the Gilbert model and some of its variants
Detailed computer ' studies of these models were carried out by many
people, including Hall!) and Zwanzig [1977], Vicsek and !Kw tesz [19811,
Gawliniski and Stanley [1981], and Gawlinski and Redner [19831 among
others
Percolation on random Vonmoi tessellations was studied by Hatfield
[197$], Winter Feld, Scrken and Davis [1981), .1cmuld, Hatfield, Scr iven
and Davis [1.9841, and kraut* Striven and Davis [1984]. In panticuIan, based on compute ' simulations and the cluster moment. method of
Dean [19631, %\i interfeld Striven and Davis estimated that 0 500 0 010
is the critical probability for random VO/Olkai percolation in the plane
(to be defined below) Nevertheless, no proof was offered even for the
simple fact that the critical probability is strictly between' 0 and I As
we shall see later. this is not entirely trivial, unlike for lattices such as
the example S in Chapter I
In a series of papers, Valddi-As1 and Wier man [1990; 1992; 1993] studied first-passage percolation on random Vononoi tessellations More recently. Gurvnel and Gliffitath [1997] proved substantial results about
random \km onoi tessellations: in the problem thew consider. the laces
are coknued at /widow with I colours, and then the colours change ac-
267
268
use Let .
w rite
). whet e X + and A-
Op
is infinite rather
is black if
a'
P at minimal distance flows is open (closed) Note that points I hat lie
in the laces of the Volonoi cells ma 't be both black and white Ic w hat
269
(3)
Since Op is locall finite, infinite. and connected as noted in Output] I. there is a critical probabiliti ////(Gp) = pi i (Cp) associated to
site percolation on (3 p Note that ',OC R ) is a buolow variable, as
it depends on the Poisson process P How (3) if p <
mi have
we
lime
(E,
Hp)
=
0
a
s
.
and.
for
p
>
ps
i
C'p)
=1as
Pe
Thus
Pn(C'p) = Pit 0 s
i e the I nidcun satiable pil(Gp) is essentially deterministic We sh a ll
call p H the ci !tient probability fro random i'wonoi putrid& ion in
noting that p it is also the critical plobabiliti rot site percolation on
almost //Vet \ VOInnui tessellation associated to a Poisson process in P1't
\\c next tin n to the percolation purbabiliti ll(p) l\ it h probtrhilicr 1.
Use or igin lies in a unique Voionoi cell io E P. If co is open, let
Cf; he tire open cluster in Op containing the site to Also let Co be
the Had, diode/ of the might i e the component of black points in Trid
awl Co are taken to
containing the or igin II Co is closed then both
270
Continuum pc [rotation
E eff
Set
0(p) =
IP (ci `
1P1, (C is
bounded)
11.M C1
We
ha vc p ii (d) < I
271.
[4 112)
.
the event that each B. contains at least one point of
and no 8,,, contains a point of P
For .r E B, , every point of B,
than any point outside 13,. is Hence, whenever L.T,.
strictly closet to
holds. eve' v Point E
C U Be is black.
The event ET, depends on the restriction of (P c , P- ) to the region R,
and R I are disjoint,
c and E E(Za ) do not slime a vertex, then
Let U. l e
279
Continuum pmrolation
and LT,
C T lie i ndependent Thus. taking a bond o //I Di to
be open if mid oni
U, holds we have defined a 1-independent bond
pet colation model
on Ed
The probability of the event U,. is
P A(Lr) =
whew nit is the volume of a [Ttlimensional ball with radius 1/-1 and
//,/ < 3 x Tl ed is the wItune of the union of the balls 13,2
Choosing A huge enough that 0 9Ac, / > IQ say.. and then 9 < p < L
close enough to I that (I p)An d < I/10. we have
EA p( )
= (1004
> 0 8639
'Thus. in the I-independent bond petcolation model .11 on 271 , each bond
is open with plobabilitL at least 0 8639 Hence. hom the result of Ballstet BolloMis and Walters [20(15). Lemma IS of Chapter 3. with positive
limb/Minty the origin is in au infinite open path P in III lViten this
event happens. tlw get/met/it path 11 E 6 ( C P/ i consists entirely
of black points. so the black component Ca of the origin is unbounded
Hence lift the chosen valves of p and A. 1l(` have
O(p) =
showing that p H = m i (d)
rid C
0..
273
The arguments above ale vet'. crude: we Mute included them only to
give an indication of the basic techniques needed to handle the longr ange dependence in random Nroionoi percolation Pot huge fr. home\ el.
it turns out that the method of Lemma 1(1 gives a bound that is not that
tat from the bulk: the towe l bound in the result of Brdister, 13ollokis
and Quas [2005] below was obtained in this way The upper bound is
much mote difficult
Theorem 11. If 4 et sufficiently huge, then the el Meal prob ab ility pH(d)
27,1
Continuum percolation
Figure 11 In the figure err the left, 11(R) holds: the thick line is a black
horizontal crossing of R. In the figure on the right, /1(R) does not hold
1? has a black hot izontal crossing Equivalently. 11(1?) is the event that
the set of black points in I? has a component, meet ing both the left- and
right-hand sides of I?
Ignoring probability zero events, the event .11(R) holds if and only if
there is an open path P =n rr2 e t in Cp such that
meets the
left-hand side of R, 1:;., meets the right-hand side, and, for 1 < i < t
the cells V, and 1 7,. , meet inside I?
write 11(1?) for the event that I? has a white horizontal crossing,
275
and Vi,(/?), VAR) for the events that I? has a black or white ve rtical
crossing, respectively
Lemma 12 *
Let I? be a 'rectangle in R2
events Ilb (R) and V (B) holds
Figure 12. the shading inside the (square) rectangle R. is flour the Poisson
process 111 ,(R) holds if and only if the outer black regions rue joined by a
black path, and V. (I) holds if and only if the outer white regions are joined
by a white path. Tracing the in/Efface between black and while regions shows
that one of these events 11;st hold
Let I be the inter face punk i e the set of all points that are both
black and white (lie in the boundaries of both black and white regions)
With probability 1 the set I is a drawing in the plane of a graph in which
every vertex has degree exactly 3, apart front Four vertices of degree 1
As in previous proofs of this type, considering a path component of the
276
interface shows t hat one Of HI V?) awl (I?) must Ind If boll; hold,
A5 can be drawn in the plane
Cotollaxy 13, If S 1 4, anti 9quarc
/2( 11 ( 3 )) = 1/2
x [g. Ii (
>
O.
Mc
Proof Dv Le1 1 1111a 1 2 . lb/ U < p < 1 we have Pp(llt,(5))+P i,(Vi v(S)) =
Flipping the states of all sites now open to closed or vice V(11S11.
se
that lil y ( Vw(S))
Flt-/)(11,(8)) Fioni the sin/ i n/env of the Poisson pro
cuss , = Ifi.),(III,(8)) Thus. P),(//b(8))+IPI_,,(1-1-1,(5))=. 1
Taking p = 1/2 the result follows
0
I t ;eedinau 11997j plover' ;01 analogue of Co t 011 8 1 N' 13 rtniceining 'essential loops in 'widow \lo t onoi percolation on the projective plane
lie untuoks that p 8 (2) = 1/2 In' notnett v consideurtions floweret,
although Co/011m v 13 is t he 'uison wh y. p 8 (2) = 1/2. I his Elkin' ohserration is even further how a woof than in t he case of bond percolation
on Z2
Fin the Val ions lattices w hose et it ical ptobabilitv is known exactly,
ant of the ninn y plaids of the trainer 1Kesten Theorem can be adapted
with out too n i nth work 1 7 o/ /widow Votonoi percolation
. the situation
is different Some of the tools used to stud y percolation on lattices do
cal v met t o t his cont ext , but ot het s do not In pal ticitlat e is
no ohs 101111 was to wink .Nlenshikov's I hern CM. and no direct equi snleut
of t he Rosso -Se% mow AVelsh Thiess is known. although, as we shall
see late!. ;t weak loin; of t he hatterresult has been plover!
Let us tarn w our main /11111 in t his section, a sketch of the proof t hat
/111 (2) = 1/2 We star t w ith Hat rim's Lemma, t he first of the basic / esults
for ordin a ry percolation Burt do extend to I he \ Tot onoi setting slate
its analogue for Vor onoi per colat ion, we need t o define 'increasing (1 \ cuts'
in t his context
We call an event, E defined in toms of t he Poisson processes (Pt P-)
block-inctrusing, or simpl y increacing, if. fin ever } configuration
=
(Xt. XI')
E and ere; configut at ion
= (X.1).
) ivith
C X1E
and Ail AT, we have
E In other words. E is preserved lw the
addit ion of open points, t he deletion of closed points 1 he definition of
an increasing function j (P + P-) is analogous: / is hue/easing if adding
open points or deleting closed points cannot decrease the value of .1
Since a point of 1R 2 is Hack if t he (a) newest point of p is open adding
open points and deleting closed points can change fhe colon/ of a point
277
1-1(R)=
i =
l/n,
C-2
I.
E t ( g i I L k) 22'
le Convergence
C/a
( g i q2)
POE' 02)
(6)
whenever th and
are nwasumble hounded and Met easing
The cot tesponding result flu the colour ed process follows immediately
\Vt. ) state this 418 a lemma giving onl y the character istic function case
- although the proof Fin increasing functions is the smile we shall not
gu
IP,,(E1)Pp(E2),
where
iti the probability measure minor:toted to fandom Volonoi percolation in the plane
Pl oy/ -We shall w i ne E
i e
)Cei at ion with respect.
e
to EL p Let,
J; be the elm/atter istic function /if E h so h is black-increasing Fixing
F
lot (guilt h. I (P r .P - ) is increasing in P l.-. so IA O.
Eli 12 I P
P- HE(/ I P-4
fat every possible 2 - Taking the expectation of both sides ((wet Ps),
GUif2)
11': (
)E( /2)
f i iEt (p),
Theorem 15. Fm any A > and any 0 < p < 1 thene is alumni ninety
at most one infinite open cluster in Op
279
Harris's Lemma, and the symmetr y of the square lattice In his rutpublished MSc thesis. Zva y itch [1996] pointed out that Zhang's proof
carries over to the random Voronoi setting, giving the following result.
Theorem 16. Fm random Voronoi percolation in the plane, 0(1/2) = 0
Hence, pn(2) > 1/2.
Continuant Navarreton
28(1
s )
(7)
foi all m
> 1. The argument is exactl y as in Chapter 3: Iet R 1 and
R 2 he m s ha s and / srs he s rectangles intersect lug in an s by s squaw
S Bondi n
own porcolotion
98
PgH(R
ni-R re 2 )nits1)
> Pp(H(RWPI(H(R2))11'1,(1.(3))
(see 1:',.igitte
Continirilin percolation
282
Theorem 19. Let 0 < p < 1 and p > 1 be fixed If lint inf,
0, then lint sup,_, f,,(p, ^ )> 0
s)
(8)
(9)
Here, and throughout, the limit is taken as s pc with all other parameters, for example p. fixed. In this context, an event holds with high
probabititw or why), if it holds with probability 1 o(1) as s cc.
'The assumptions above imply that. Mr any fixed E > 0,
fp (l +5,5)
as s
(10)
fp (p, ^ )
.n,(1
/,76, s)
fff ,(1
s)fp(1,
(b,(1 +
fp (1
(k 1) 5 , s) >
contradicting (9)
Condition (10) imposes very severe restrictions on the possible black
paths crossing a square, fOr example: roughly speaking, no segment of
such a path can cross horizontally a rectangle that is even slightl y longer
than high Thus, fot any E > 0, wisp all black horizontal crossings of a
given s by 5 squat e 5' pass within distance E s of the top and bottom of
5': otherwise, with positive probability we could find a black horizontal
crossing of on e of two 3 by (1 E)s rectangles, contradicting (10)
The next observation is that wh i p any black horizontal crossing of
air s by s square 5' starts ar i d ends near the midpoints of the vertical
283
8'
Figure 14 Two squares S and S'; their horizontal axes of symmetry are shown
bye clotted lines Each of the horizontal crossings P. P' of S and 5' passes near
the top and bottom of the square it crosses. If P starts above P' then t he
paths cross: P ' must leave the region bouncied by partt of the bounds ' v of S'
and the initial segment of P up to the point it
28-1
Continuum petrol& an
Figure 15 A squa t t S (outer lines) and a black path P crossing it (solid and
dot ted curves) 'The path P i is the initial segment of P s:opr ing at Hie inner
vertical line The he al segment P. of P is defined similarh Ii ;uglily speaking,
each Pi crosses a square smaller than 5', and so cannot a vroach too close to
the top and hot ton of .9 Thus ;24. P: her wise a slightly flattened
rectangle in S would have a black horizontal crossing T he dotted p i nt at
in fact passes very close to the top mid botto m of S
ft is not hard to make the vague rugument just outlined pwcise, although it, turns out to be bet ter to work in a r (retail*, [0. x [Cs. Ci],
say, of bounded aspect ratio 2C > I. In Bollobris and Riordan [2006a1,
Hie following consequence of (10) is proved
Claim 21. Let C > 0 he ficed and lel 1? =
285
L(R)F(Rs) holds
0
of her wise
13v Lemma 18. 1,(1?,) = 1,(R.) whp Furthermore. 1.(R,) depends only
on the restriction of (P + ,P-) to the t meighbom hood of 17, Hence. if
R s and 1r, me separated by a distance of at least 2r o(a). tire random
variables 1,(17,) and Z (TC) are independent
Roughl
y speaking, we wish to relate t he distribution of i,(R J. which
286
Continuum pc/colahop
depends only an
to the distribution of L(I? s /2 ), using Claim 21[
fact to leave a lit t le elbow room, we relate L(I?) to L( Bo
). say For
71> 0 a (very small) constant, define g(s) by
g(s) = sup{ :
CL- (R s ) <
<
where I?, i s any s by 2s rectangle Recall that that L(1?,) < at if and
only if I?, has some black horizontal crossing, an event of probability
f,,(1/2, 2s) >
> cy > 0, horn (8) As L(R.,,)
L,(1?,; ) Min, it
follows that 0 g(s) < cc if q is chosen small enough. and then s large
enough, which we shall assume from now on Also, the sumer/m i n above
is attained. so
Pii(L(Rs) < 1/( s ))
( 11)
112
from (11) Hence, the probability that i(IL) ) + 2,;(1?k ) < g(0 .17s) holds
for saute pair (Hi , Bk ) separated by distance 0 Ols is at roost N9 and
hence at roost 11/2 if we choose ri small enough
The proof of !lemur 19 is essentially complete: horn Me remarks
above, whp every black horizontal ossing of B. has length at least
16 times the minimum of L(R 1 ) + .L(Rk ) over separated pails (B1. Rk).
Thus,
L(R,) < 16g(0.47s))
so g(s) > 160 47s), and g(s) grows faster than s [1 , say As g(so) > 0 for
some so, it follows drat there are arbitrarily huge s with (33 < g(s) < cc.
But then. with probability bounded away horn 1, the shortest black
hor izontal crossing of IL, = [0, ,s1 x [0,2s1 has length at least [[; 3 'This is
287
impossible, since, will). R. meets only 0(s2 ) Vorouoi cells, and each has
diameter at most 0(log s)
say Before sketching the (rather lengthy) proof of (12), let us see how
Theorem 17 follows The argument:, based on 1-independent bond percolation on 2Li 2 . is very close to an al gument given in Chapter 3
Given a 3s by s rectangle I?, with the long axis horizontal, let
G(R.,) = II(R s ) n V(5 1 ) n V(S2),
where S I and 5, are the
two
g
le
Figure 16 A 3s by s rectan
such that
G(R s ) holds
(Sr =
p( ER S1
)) = (
288
Continuum purolation
2b9+ s)
289
11= , (H(R)) =
(I-I(R))+, o(I)
290
Continuum percolation
Let 6 = 6(s) > 0 be such that 109/6 is an integer, and divide T 2 = Tios
up into (10s/6) 2 squares 51 of side-length S in the natural way We
shall approximate (Pt P-) (defined on the torus) with a finite product
measure as follows: a square S i is bad if [Si n
> 0, neutral if i n
0 and
n P 4 > 0; see
Pfl P + = 0, and good if 18 1 n
Figure 17 Thus, open points (points of 7) ) ate good, and closed points
1S
= 1Si
Figure 17 A small part of the decomposition of the torus into squares Sr.
Points of P" are shown by dots those of P.- by crosses A square is good
(heavily shaded) if it meets P -1 but not r , neutral (lightly shaded) if it meets
neither P 1- nor P -, and bad (unshaded) if it meets PM The 'crude state1. of
the torus is given by the shading of the squares Usually, almost all squares
are neutral
are bad, and the presence of a bad point outweighs that of a good one;
we shall see the reason for this choice later
For each 4, the probabilities that 51 is bad, neutral and good ate
it had
Pnemrrat
Prood
82 ( 1 p),
( 11)
- 62 (i - p)) (1 - exp(-52p))
291
(F),
(15)
292
increasing and Ft :
win { ri+
where p,
(E) >
p_ q - }
then
)/ log tt.
( to)
nrx{g+.p_}.
When we come to apply this result, the hunt of (16) will /natter; this
is in sharp contrast to the situation lot bond percolation on 2: 2 , Indeed,
when we used Thement 13 of Chapter 2 to (move Kestells 'Theorem in
Chaplet 3, the hun t of the era responding bound was not it/tiro/taut
All that, mattered was that, with s: fixed and II tending to infinity, the
inctease in p required to taise P,,(E) front E to 1 E tends to zero
Mete even though we are using a strange/ tesult, (with the extra factor
p,, log(.I/p,;,) working in out la yout). flame is a limit as to how' small
we can take (5 while still getting a useful result front Theorem 22
Vie shall eta/pant (E) with Pi t,(E) fot a suitable event E. when/
p > 1/2 is fixed. Row Corollary 20. the hate/ probability will be at
least some small constant E. and to prove (12) it will suffice to show that
(E) 1 E. In doing this, we shall make a discrete approximation
as above. Et ow (1+1). when we apply Theorem 22, we shall have
p_ a_ ,= itS 2 6 2 /2 = e(a-)
293
294
constant. such that all statements ' if .9 is large enough' in the rest
of the proof hold kw all s > sr 13), Corollary 20, there is an s >
such that / 1/ .,(9,
> co, where co > 0 is an absolute constant; we fix
such an s throughout the proof. Let Rr be a fixed Os by 9 rectangle
in P., = , so P i p(11(R 1 )) > co. Regarding R i as a rectangle in the torus
II" = let E 1 be the event that R i has a black horizontal crossing
in the random Vcnonoi tessellation on the torus As noted earlier, since
I?, does not come close to (within distance ()(log s) of, say) wrapping
mound T 2 , we have
a( I% i) = Pi';2(H(Ri))
o(1)
as s
295
r;9(Er) .^ co/2,
(17)
say.
Let 6 be chosen so that 10.9/6 is an integer, and S -2-1 < 6 < s14;
is possible if s is huge enough, which we /nay enforce by our choice
of sr. We shall first apply Theorem 23, and then 'cliscretize' by dividing
the torus 2 into (108/5) 2 small squares S i of side-length 6, as above
Set p' = (p + 1/2)/2, so 1/2 < p < p, and consider the coupled
Poisson processes (Pif , P and (Pt PT ) whose existence is guaranteed
by Theorem 23. applied with m = 1/2, po = p', and q =16 < c1
Let R. , be an Ss by 2s rectangle obtained by moving the vertical sides
of outwards by a distance 8/2, and the horizontal sides inwards by
the same distance; see Figure 18 Let E2 be the event that there is a
horizontal crossing of Ro that is IS-robustly black.
this
i)
s,
Suppose that Er holds with respect to (Pi", Pr); flour (17), this event
has probability at least co /2 Let Pr C R 1 C T2 be a black path that
crosses R I horizontally If the global event Eg described in Theorem 23
holds, as it does whim then there is a path A with (In (Pr P2 ) < (logs)'
such that P, is IS - robustly black With respect to (Pt. If s is
sufficiently large that (log 8) 2 < s/2, then any such path 12, contains
a sub-path A crossing horizontally, so E, holds with respect to
(P:t,P.r) If s is large enough, then Eg holds with probability at least
1 e0 /4, so
(E2 ) >
co/I
296
Continuum imirolati OP
and p'gt.
be defined
(52p
(19)
The event F3 is symmetric, as E3 and hence Elsi is preserved by a translation of the torus through (18, Pi. ), ) E Z. ft is not hard to check that
1:3 is also increasing
From (11) and (18) we have
pit i
p82 (2(1)
997
F ) > -
(")
Suppose that CS is such that LI holds, and let (P P-) be aqy configuration of the Poisson process consistent with this particular elude
state of the tot us By the definition of E7)') . there is another realization
consistent with the same crude state such that E. holds. i e such that
there is a 4S-robustly black path P Grossing some Ss be 2s rectangle in
72 Prom the definition of bad, neutral and good squares, it follows that
in the realization (Pt P - ). the path P is still black Hence. -)\ riling E4
for the event that some Ss by 2s rectangle in T 2 has a black horizontal
Cl owing. we have
PI, (Er) ^ 1Pi, (Etr ) > 1 -
I"
s is large enough Appealing to (7), it is eas y to deduce that fp (3, -Is) >
0 99. As noted earlier, 0(p) > (1 then follows easily by considering 1independent percolation Since p > 1/2 was at bitranr, and 0(1/2) = 0
from Theorem 16, the result follows
298
Continuum percolation
As shown by Bollobiis and Riordan [2006a], for p < 1/2, the proof of
'Thoth ern 17 also gives exponential decay of the size of the open cluster
Co or cot responding black cluster Crg containing the origin; this result
follows from (12) by considering a suitable k-independent site percolation
model on Z2
Theorem 24. Let leol denote the diameter of Co, the area of Co, or
the 711110101 ICT of I/010710i cells in Co Then, for any p < 1/2 > there
is a constant c(p) > 0 such that
F
Pp (FCol
hi every n > 1
n)
exp(e(p)n)
As in Chapters 3 and 4, this implies that the Hanunersley and Temper ley
critical probabilities coincide
Theorem 25. Let p i he the Tempe/ley cr itical probability for random
Ijoronoi percolation in the plane above which Ej,(Kup diverges, where
roi denotes the diatnetei of Co, the area of Co, or the number of Voronai
= p i( = 1/2
crffs in Co Then.
Bibliography
Abramowitz, M. and Stegun, 1 A, Eds (196(i). Handbook of Alathemalical Functions, with Foimulas, Graphs, and Mathematical Tables
Dover, xiv+1016 pp
Aldswede B. Daykin D E (1978) An inequality for the weights of two
families of sets, their unions and intersections. Z Wahl sch Vein,
Gebiete 43, 183-185
Arzemnan NI (1998) Scaling limit for the incipient spanning clusters
In Mathematics of Mull iscale Mulct tars K Golden, G Grimmett,
B. James, G. Milton, and P Sem eds Springer
(1987) Sharpness of the phase transition in
Aizenman M Barsky D
percolation models. Carat Math Phys 108, 189-526
Aizenman Chaves .1 T Chaves L FrOldie!' I., Russo L (1983)
On a sharp transition from area law to perimeter law in a system of
random surfaces. Cowin. Math. Phys. 92, 19-69
Aizemnan M., Delyon
Souillard B (1980) Lower bounds on the
cluster size distribution .1 Statist Phys 23, 267-280.
Aizenman M., Duplantier B., Aharony A (1999) Path-crossing exponents and the exterrnd perimeter in 2d percolation Phys Rev
Lett. 83, 1359-1362.
Aizenman
Grim/nett G (1991) Strict monotonicity for critical
points in percolation and ferromagnetic models.
Statist Phys 63,
817-835
Aizeninan M Kesten Newman C M (1987) Uniqueness of the
infinite cluster and continuity of connectivity functions for short and
long range percolation Conan Math Phys 111, 505-531
Aizenman M Newman C. -NI (1981) Tr ee graph inequalities and critical
behavior in percolation models. ,/ Statist. Phys 36, 107-143.
300
BIBLIOGRAPHY
Aldous D .1 (1989). Stein's method in a two-dimensional coverage problem Stubs! Pi bob Lett 8. 307 ,314
Alexander K S (1996) The RSNNT theorem for continuum percolation and the CUT Mt Euclidean minimal spanning trees. Ann. App!,
Probab 6 -166-494
Alon U , Dor y A.. Balberg 1 (1990) Systematic derivation of pc/eclat-ion tluesholds in continuum s ystems Plop Rev A 42. 4634 4638
Ambartzumian R V (1990) Factorization Calculus and Geometric
Probability Cambridge University Press. xii+286 pp
Appel M
B . Russo R P (1997) The minimum vertex degree of
graph on uniform points in 10. 11 11 Adv. in App( Ptobab 29 582-594
Appel M 1 B_ Russo R P (2002) The connectk ity of a graph on
uniform points on 10,11 d Statist Pinball Lett 60, 351 357
Atlant a S., Roy
, Sam km A (2004) Chi the coverage of space by
random sets Ado in Ann( Proem?) 36. 1-18.
Baker I) R., Paul SICC/IiVil.tittn S . Stanley B. B (2002) Continuum
percolation threshold for inter pellet' at ing squint's and cubes Phqs
Rev E 66. 046136 ; 5
Batiste! P.
B . (ias A (2005) Percolation in \Lot onoi filings
Random. Sti HO e ,4 Algorithms 26 310 318
Batiste' P.
B Sarkitt A . Wallets M (2005) Connectivit y of
andom /r-nemestmeighboui graphs Achy .
Appl Prnhub 37. 1-24
13alistm P , Bollokin B Stacey A (1993) Upper bounds lot the et it Mal
probabilit y of oriented pet colat ion in two dimensions Prot Boy Sac
London Sri A 440 2t11-220
Balistei P. I3ollolnis B Stacey A (199-1) Imployed impel bounds
lot the critical in liabilit y of oriented percolation in two dimensions
Random St, ?rehires Algol Mons 5. 573-589.
Batiste! P. B. Stace y A (1999) Counting boundary paths
for oriented ()evolution clusters Random Structures Algot Willis 14.
1-28
Batiste ' P. Bollobtis B . Wallets NI (2004) Continuum percolation with
steps in an annulus. Ann App!
obab 14. 1869-1879.
Ba list P. Bollobris B_ Wallet s NI (2005) Continuum percolation wits'
steps in the square of the disc. Random iSt Indio es Algorithms 26,
392-403
Bemdon A I' (1979) ( rumpled: Analycis Wiley. 6+239 pp
Hellas V (200-1) Hausdot II dimensions for SLEa.
Ann Motel() 32.
2606 2629
301
Bel!ma V (2005) Catdy's lot mula on the triangular lattice, the easy
way Proceedings for a meeting held at the Fields Institute, Septerm
bet 2005 http://www umpa ens-Iyon ft /--vbeffara/files/PloceedingsTo t onto. pclf.
Ben-Or M., Linial N. (1985) Collective coin flipping, robust voting
schemes and minima of Banzhaf \rall ies. In Proceedings of the 26th
.1an cal IEEE Symposium on Foundations of Compute ., Science 408--116.
Ben-Or :NI Linial N (1990) Collective coin flipping in Randomness
and Computation. S
ed Academic Press, 91-115.
Benjamini
Schramm 0 (1998) Conformal invariance of Voronoi
percolation Caw
Math. Phyla 197. 75-107.
van den Berg .1 Brouwer R , Vrigvalgyi B (2006) Continuity Lot selfdestructive petcolation in the plane. Preprint
van den Berg 1 Fiebig U (1987) On a combinatorial conjecture concerning disjoint atm unites of events Ann Thobab 15, 3541741
van den Berg .1 Keane M (198-I) On the contiltuity of the percolation
probabilit y function. In Confirrence in Madera Analysis and Pmbability (New Haven. Conn . 1982) American Mathematical Society,
61 65
van den Berg .1., Kesten I-1 (1985) Inequalities with applications to
petcolation and reliability- .1 Appl Probab 22.. 556-569
Bezdek IC (2002) Improving Rogers' ti ppet bound fro the density of
unit ball paekings via estimating the surface area of Yormati cells
hunt below in Euclidean d-space lot all d > S Diseivic Comput
Geom. 28, 75-- 106
Bezuidenhout C B thimmett Kesten H. (1993) Strict inequality lot critical values of Potts models and tandom-cluster processes
Comm Math Phys 158.1--16.
Bollobris B (1998) Modern Grath Theory Springer. xiv+39.1 pp
Bollobds B (1999) Line()) Analysis. Second edn Crunth idge University
Press, xii+240 pp
Bollobds 13. (2001) Random Graphs. Second edn Cambridge Univers ity
ess, xxiii-1-198 pp
Bollobds B (2006) The Ar t of Mathematics Gaffee Time in. Alemphis
Cambridge University Press
Bolkbtis B . Kohayakawa Y (1994) Petcolatiou iu high dimensions.
Bait pena .1 Cambia 15, 1 13 125
Bollobds B Kohayakawa Y (1995). A note on long-range percolation In
302
RIBLIOGRAPHI'
2 (Kalamazoo,
BIBLIOGRAPHY
303
301
BIBLIOGRAPHY
BIBLIOGRAPHY
305
30G
BIBLIOGRAPHY
13I13LIOGRAPH1'
307
Gravner 4., GraMath D (1997) MuItitype threshold growth: convergence to Poisson-Vol own' tessellations. Ann Appl Probab 7, 615647.
Griffiths 11. B. (1967a) Correlations in !sing fort omagnets 1. 1. Mathematical Phys 8, 478-483.
Griffiths ft B (19676). Correlations in !sing ferromagnets. IL External
magnetic fields 1 Mathematical Phys 8, 484-489
igorchuk R I (1983). On the Minor problem of group growth. Doll
Akad. Nook 8551? 271, 30-33
Grigorchnk ft 1 (1984) Degrees of growth of finitely generated groups
and the theory of invariant means /to Alan/. Nook 8881? Set.
Alai.. 48, 939 985 English translation: Math USSRAz y 25 (1985),
no 2, 259 -300.
Grin/melt G (1989) Percolation Springer, xii+296 pp
Grim/nett G (1994) Potts models and random-cluster processes with
many-body interactions .1 Statist Phys 75, 67-121
Orimmett G (1999). Pairolation, Second Mil. Spl ingot, xiv+444 pp
Grimmett G. (2004) The random-cluster model in Probability on Discrete Sit act
s. Springer, 73-123
Grinunett G. B., Stacey A M (1998) Critical probabilities For site and
bond percolation models Ann Probab. 26, 1788.-1812
Grow/el:Joon' P (1988) Limit theorems for convex hulls. Pintail) Thema
Related Fields 79, 327-368
Gromov NI (1981). Structures illatriques pout has 1(11 ieieS fliar raaanicones. CEDIC., iv+152 pp Edited by
Lafontaine and P. Pansu
(11.iinbaum B Shephald G C (1987). Things and Patients NN
Freeman, xii+700 pp
Gut Unarm A 4 , Conway A. 11 (2001) Square lattice sells-avoiding -walks
and polygons Ann Comb 5, :319-345. Dedicated to the memory of
Gian-Carlo Rota (Tianjin, 1999).
I-hmn S., Zwanzig B (1977) Series expansions in a continuum percolation problem .1. Phys. A 10, 1547.-1555
Ha jek B (1983) Adaptive transmission strategies and routing in mobile radio netwotks Proceedings (././ the Conference on Infolination
Sciences and Systems, 373-378.
Hall P (1935) On representatives of subsets .1 London. Math Soc 10,
26-30
Ilall P (1985a) Distribution of size, structure and cumber of vacant
regions in a high-intensity mosaic. Z. Wahl sch Verve Gebiete 70,
237-261
308
BIBLIOGRAPHY
309
Hoist 12 Hiislet J (1984) O t t the m i nium cos (nage of the circle I
Appl Mahal, 21 558 566
Hon L. Li V (1986). Transmission I ange control in uudtihop packet
radio networks. IEEE Trim on Coin m icat ion s C01\1-34.
38-44
(1994) On the asymptotic distribution of the area outside a
Using
mutton/ convex hull in a disk Ann Appl Probab 4. .178 493
Httetel 1 (1994) The convex hull of a nonnal sample Adv. in Appl
Mahal, 26. 855 ST5
Rueter I (1999a) The convex hull of samples hourdisn ibttMahal) 31.. 34-47
lions. Ada in
Huetel 1 (1999b) Limit theorems fot the convex hull of 'tition' points
Aram Alath Sou 351. -1337-4363
in higher dimensions.
Hughes 13 D (1995) Random walks and random environments. I ol
Random walks Oxford Univeisitv Riess. xxii+63I pp
Hughes 13. I) (1996) Random walks and random environments Di/ :2
310
BIBLIOGRAPHY
BIBLIOGRAPHY
311
131BLIOGRAPIll
312
(ion exponents lot pIanat Brorvuiau motion Acta Math 189 179-201.
Lawler C. F Sch./alum 0 \Van \V (2002b). One-aun exponent for
critical 2D percolation ElerPon Probab 7. no 2. 13 pp (cluebionic)
Lawler C Schramm 0 , \\Mum kV (2002e) Shalt) estimates for
Bt Gu i nan non-intersection ptobabilit kis In In and out of Equilibliant
(llambacabit, 2000) Bi t Ichnuset. 113-131
Lawler C1 F Sulu noun O. \ Vet 1 iet \V (20(124)
inn intersection exponents.
Values of Mown-
a
product
nwasut es Ann Probab 25. 71.95
Lorenz B . Orgaall I , Ileum 1-1 -0 (1993). li nivetsalit
BIBLIOGRAPHY
313
311
BIBLIOGI?APHI'
BIBLIOGRAPHY
315
316
BIBLIOGRAPHY
BIBLIOGRAPHY
317
Sykes 'AI F Essam '1\ (1963) Some exact critical percolation 6101)abilities fin site and bond !nutrients in two dimensions Phys Rev
PhDs
5. 11.17 1127
Takagi H.. Klehnock L (198-) Optimal transmission ranges for tan(Wady disti ibut ed packet Indio terminals IEEE Transactions on
Comm
AI Q
Ehst-passage pen:citation
Random
Vahidi - Asl
lattices Adv
NVieinian C (198-1) A bond pen:Mallon critical probability (termi nitiation based on the star-Biangle Hansfiumation 1 Phqs A 17.
1525 1530
lt
318
BIBLIOGRAPHY
Index
86
Meted,
320
Nlenshikov, 93
Newman and Schulman 1211
Smirnov, 196
line graph, 3
log-nioncit one, -16
log-sitpermodular,
67
(10111:1111,
17!)
-1
open bond/site, 1
open cluster, 3, 269
open dual cycle 16
open horizontal glossing 51
open our-cluster . 25, 111
open path, 3
open subgraph, L 80
open vertical crossing, 51
oriented graph.. 2-1
oriented line-graph 82
oriented path, 25
oriented percoIat ion, 21 , 167
out-ball. /0-1
out-class 81
out-class graph, 8-1
out-lilac sites 8-1
out-sphere. Sli
out-subgraph 25, 81
outer boundary. 192
partially (mimed set :38
Peierls argument., 16
percolation measure, 3, 80
percolation probability, 5
pivotal
bond in percolation, 63
variable 16
planar lattice, 138
Poisson process, 2,11
Poisson-Voronoi tessellation me
ranc:an Voronoi tessellation
poset, 38
power set, 37
radius of a cluster
in an oriented g r aph, 86
random convex hull problem. 262
random geometric graphs. 2-10 25 - I
random set process_ 176
random Vinonid percolation 263
Inded:
pindout Voronoi tessellation, 263
retticamalization argument, 68
itliemann Mapping Theorem, 178
robustl y black path, 293
B;e1W T'lleorem, see
Russo-Seymour-Welsh T'hcoret
scale, scale parameter, 279
scaling relations, 235
Schramm-Loom/et. evolution (STE),
232, 235, 239
self-avoiding walk, 15
self-duality, 12, 129, 274
sharp threshold, 49
site percolation 1
site. i e vertex I
SLE. sae Schramm-Locuetner evolution
sphere (in a graph), 79
square lattice, 2
bond percolation, 50
site percolation, 133, 162 . 1165
square product, 42
square-root trick, 41
star-delta transformation, 148. 151
stn--triangle transformation, sac
star-delta I ransforma I ion
stale of a bond/site, 1
stochastic domination, /57
strongly connected graph, 26. 85
sub-exponential decay, 76
substitution method. 149, 156
symmetric
event, 66
plane graph 138
set system, 49
ail event 36
Theorem:
Aldswede and Daykin, 45
AiZe11111811 and Barsky, 103
Aizettman, Nester and Newman, 121
Mammon and Newman, 107, 111
Arzelit tend Ascoli, 227
Balister, Bollobeis. Sarkar tend
Walters, 260
Batiste!. Bollobas tend Stacey, 171
Batiste') Bollokis and Quas, 273
van den Berg tend Kest en, 43
Bollobas and Riordan, 279, 282, 298
Bourgain, Kahn,
Katznelson
and
48
Cara/ Intodory, 182
Tot tuin ICasteleyn and Milne, 46
Friedgut and halal, 48, 49
321
Gilbert 246
Grimmett 152
Grinunett ancl Stace
Hall 246, 249
Hammersley, 19, 106
Harris 61, 124
Harris and Kesten, 50, 13, 128 146
Kahn, Nalai and Linial,
Kesten, 67, 71, 131, 1.17
Kohnogorov, 36
Liggett., 171, 172
Wester and Roy, 252
lienshiletut, 90. 96, 100
Penrose, 255, 257
Reimer, 44
Roy 251
Russo, 134
Russo and Seymour and Welsh 57
Smirnov, 187, 188
StIlit'llOV and Werner, 236
\ Vierrnan, 149, 169, 162
Zravitch, 279
'Ft/lessen polygonalizat ion sac Voronoi
Iessellatiem
t ranslat ion-invariant event 120
triangular lattice, 13, 136, 155
bond percolation, 1,19
Grit ical exponents. 236
site percolation, 129. 187
two-dimensional lattice, 182
uniqueness of the infinite/ cluster,
for (filbert's model, 252
for random Voronoi percolat ion, 278
in amenable graphs, 121
up-set 39
List of notation
1,41: cardinality,
ALB: symmetric difference, 38
A 0 .41, A 08: square/box product., -12
:1 C B: subset (equality allowed), 38
A P.L : closed 6-/leighbourhood, 211
A L : boundary are of a (discrete)
domain, 179, 193
At: outer boundary arc of a discrete
domain, 193
13i (a
binomial distribution, 28
8,4,1:4 Indl in a graph, 108
Br(z): ball in Ia 2 or C, L83
Bh:D: out-ball in an oriented graph,
104
C: complex number-s, 178
= {/1 E A : y}: open cluster
containing :r, 4
G;f: open out-cluster, 25
C'-: out-class graph, 8-1
Dr y: occupied set in 0, , A 212
El, etc: expectation associated to Pp
elm. 6
B(A): edge set of a graph A, 1
E15.(:): existence of open separating
path, 201
E, A: vacant set in GI ,. A, 243
0(o): 0, ,A with ers 2 A = 244
G A (Il!): generalized Gilbert model, 2-13
Cis: discrete domain, 191
CTT: discrete approxinuttions to a
domain, 212
G,,7 : finite random geometric graph
with degree d, 255
G, A: Gilbert model, 2-12
G,: G et , 212
C r (1,), (1 ' A): finite noulom
geometric graphs 254
H: hexagonal lattice, 136
List
of
17 o
I ati o n
323