Académique Documents
Professionnel Documents
Culture Documents
What is Percolation?
[1.4]
DR
AF
T
of x. The open cluster C(0) at the origin is therefore typical of such clusters, and
we represent this cluster by the single letter C. Occasionally we shall use the term
C(x) to represent the set of vertices joined to x by open paths, rather than the graph
of this open cluster. We shall be interested in the size of C(x), and we denote by
|C(x)| the number of vertices in C(x). We note that C(x) = {x} whenever x is
incident to no open edge.
If A and B are sets of vertices of Ld , we shall write A B if there exists
an open path joining some vertex in A to some vertex in B; if A B 6= then
A B trivially. Thus, for example, C(x) = {y Zd : x y}. We shall write
A
/ B if there exists no open path from any vertex of A to any vertex of B,
and A B off D if there exists an open path joining some vertex in A to some
vertex in B which uses no vertex in the set D.
If A is a set of vertices of the lattice, we write A for the surface of A, being
the set of vertices in A which are adjacent to some vertex not in A.
Our notation for boxes is the following. A box is a subset of Zd of the form
B(a, b) = {x Zd : ai x i bi for all i }, where a and b lie in Zd ; we sometimes write
d
Y
B(a, b) =
[ai , bi ]
i=1
We may turn B(n) into a graph by adding the edges which it inherits from Ld . If x
is a vertex of the lattice, we write B(n, x) for the box x + B(n) having side-length
2n and centre at x.
We write a and a for the integer part of the real number a, and the least
integer not less than a, respectively. If (an : n 1) and (bn : n 1) are sequences
of real numbers, we write an bn if an /bn 1 as n , and an bn if
log an / log bn 1 as n . Similarly, we write f ( p) g( p) (respectively
f ( p) g( p)) as p if f ( p)/g( p) 1 (respectively log f ( p)/ log g( p)
1) as p . Finally, we write f ( p) g( p) as p if f ( p)/g( p) is bounded
away from 0 and on a neighbourhood of .
1.4