This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
O set
1la :=fn{iE{5 and
0 implies that on X there is a simple TG-path in B(q',250) from q' to Pi rH1 that avoids 8D( extrH11')' Since the number of edges traversed by these paths is bounded, it is easy to see that the probability that S follows the latter path and X holds given
Iq'-bl <500 do not hold.
1088
CONTou n LI NES OF T I'II!; TWO-DI~IENSIONAL DISCRETE GAUSSIAN FREE FIELD
79
Figure 3.9. The interfOCI)!; spreading out.
If q' is an endpoint of 0' a similar argument may be used. Suppose, for example, that q' is the initial point of 0 , that yrj is t he other endpoint of a and that
Iq' _ yr j 1<300.
Then
we may consider the possibility that the connected component of extrH1 ,\extr/ 1' that has y" j as an endpoint goes as far to the left as possible subject to the requirements that it stays inside B(yr j , 5000) and avoids hexagons containing vertices visited by ext rj S , and tha t t he connected component of ext rHI 1'\ext" j ' that has xrj as an endpoint goes as far to t he left as possible subject to t he requirements that it stays inside B(x" j, 4000) and avoids t he previous strand extend ing ext rj l' at yrj and finally, the random walk avoids
8D(exi rj+l') and stays in B(q' , 300) until it hits Iq' - y" j I ~300. This proves (3.36).
(]3 "Hl '
A similar argument applies if
We now prove that fo r every j E N,
(3 .37) for some CI=CI{A»O. Let x=x" j+ ' , y=y" Hl and q=qrj +l . Let
st
be the part of the
walk S from the first visit to qrj up to the first visit to q. Note t hat
if Q j> O, and similarly for y . T hus, the event Qj+l <2Qj is the union of the fo llowing five events Mo ' ~
{QH' ~O},
M, , ~ {d;st(St , (x , y}) < (2Qjrj+,)A Ix - yl),
M2 := {Tj +1Q j+1 = dist (q, extrH l , ), Qj+ 1 < 2Qj}, 1089
80
o.
SCHRAMM AND S. SHEFFIELD
M
3
:= {O < Ix-YI =rj+lQj+1,Qj+l < 2Qj},
M
4
:= {Qj+l
=
160' Qj+l < 2Qj}.
(In the definition of M 1 , dist(St, {x, y}) means the least distance from a vertex visited by st to x or y, of course.) Clearly, (3.38)
160
implies that the holds for k=O. The same is also true for k=4, because Qj+l = random walk started at q has conditional probability bounded away from zero to hit extrHl'"Y before 81J3 rH2 . A similar argument gives (3.38) when k=2. Now condition on M 1 , and let v be the vertex first visited by st that is at distance less than (2Qjrj+I)i\lx-YI from {x,y}. Conditioned additionally on 8 R , extrHl'"Y and the walk st until it hits v, there is clearly probability bounded away from zero that
st hits a vertex adjacent to extrH1'"Y before IJ3 rH2 , and in this case we have Qj+2=0. Consequently, (3.38) also holds for k=l. Now condition on M 3 ,
{Qj+1<2Qj}=U!=oM k , and (3.38) holds for k=0,1, ... ,4, it follows that (3.37) holds as well. Set sn:=2RI1~~~(1-2-k/10)-I. It follows from Lemma 3.14 and our assumption that Q(8R)~
160 that for any JEN,
for some C2=C2(A»0. An appeal to (3.36) therefore implies that
Continuing inductively, we get for every nEN,
Since
2-k)-1
< 2R 1- L 10 00
SUPSn n
(
k=O
1090
=
5
"2 R ,
CONTOUR LINES OF THE TWO-DIMENSIONAL DISCRETE GAUSSIAN FREE FIELD
81
we get for every j EN, [
a
I
-log2 Qj
j
P Zo rj,8R ~
Co
logR
Q-log2 Co C2
1{rj)5Rj2}=C2
j
logR
1{rj)5Rj2}·
(3.39)
From (3.37) we get that for every j the conditional probability that there is some
k>j such that rk>2R, Qk<2Qj and Qk+1>O, given rj and 8 R , is at most 1-Cl. Let mn denote the number of kEN such that rk>3R and QkE(2-n, 21 - n j. Fix some nEN, and suppose that P[m n >014R,8 R j>0. On the event mn>O, let k n be the first k such that QkE(2-n,21-nj. By induction and (3.37), for every mEN,
An appeal to the upper bound in Lemma 3.14 gives a
P[Zo ,mn >2m Imn >O,rk n ,8Rj ~
c3(1- Cl)m 1og R
for some C3=C3(A). On the other hand, (3.39) gives
Comparing the last two inequalities, we get
In particular, there is an no=no(A,p)EN and a C4=C4(A) such that
Let
nl
be the least integer larger than 3 such that I1~=nl (1-10.2 1 -
n )c4 n
>i, and let
n2=nl Vno· On the event zOnnn>n2 {mn~c4n} we must have some JEN with rj>~R and Qj~2-n2 (because rj+1/rj=1-10Qj and n2~nl). Consequently,
!
P [there exists j : Q j > C5, r j > ~ R I Zo, 4R, 8 R] ~ 1- (1- p)
(3.40)
holds for some C5=C5(P, A»O. Note that this almost achieves our goal of proving (3.35). The difference between (3.40) and (3.35) is that in the latter the radius r at which Q( r) is bounded from below is variable. Let A be the event that there is a JEN with Qj>C5 and rj>~R, and on A, let jo denote the first such j. We have from (3.39) that
(3.41)
1091
82
O. SCHRAMM AND S. SHEFFIELD
Fix some s>O small. We now argue that
a 3R 3R 0S~ P[ZO IA,<prJO ,eR,lx -y l<sRJ~-logR
(3.42)
for some positive constants C7 and C6 depending only on A. The argument is similar to the one given in the proof of the case k=3 in (3.38). Let z be the midpoint of the segment [x 3R , y3RJ. We construct a barrier as a perturbation of the connected component of oB(z,2sR)\oD(ext3R'Y) that intersects lE 3R. If that barrier is hit by the extension of ext3R'Y (which happens with probability bounded away from 1), then we condition on the extension up to that barrier, and construct another barrier at radius 4sR, instead. We continue in this manner, constructing barriers at radii 2n sR up to the least n such that 2n s> 10100' say. Because the probability of avoiding the nth barrier given that the (n-1)th barrier has been reached is bounded away from 1, we find that P['Y=:J;JRIA,<prjo,eR,lx3R_y3RI<sR] is bounded by a constant times some positive power of s. The estimate (3.42) follows by considering the behavior of S. Suppose now that the random walk S after its first hit to lE r JO· but before its first hit to lE3R gets within distance sR of ext3R'Y. Then, by Lemma 2.1, conditional on S up to the first time this has happened and on A,
P[zg I A,
C7SC6 +CSS(l logR
Comparison with (3.41) now gives
a P[Q(
P[Q(
and take Tj+1=(1-lOQj)Tj and Tj+1=(1+10Qj)Tj. The proof proceeds essentially as above. The straightforward details are left to the reader. D 1092
CONTOUR LINES OF THE TWO-DIMENSIONAL DISCRETE GAUSSIAN FREE FIELD
COROLLARY
83
3.16. There exists a constant c=c(A) >0 such that the following esti-
mate holds. Let (D',o~,o~,h'a,h',,,!',vb) satisfy the same assumptions as we have for (D,o+,o_,ha,h,,,!,vo). Let R>c, and assume that fJ3 6R cD'nD and vo,VbjtfJ3 6R . Let 8~, ~R and zg' be the objects corresponding to 8 R, 4R and zg for the system in D'
(with the same u, that is, u'=u). Then
P[8 R = {} I zg, 4RJ ~ cP[8~ = {} I zg', ~RJ
(3.43)
holds for all {} and for all 4R and ~R satisfying P[zg I4RJ >0 and
P[zg'l ~RJ >0,
respectively. Consequently, under the same assumptions, there exists a coupling of the conditional laws of 8 R and 8~ such that
Proof. It is enough to prove the first claim, since the latter claim immediately follows. Let c'>O be the constant denoted as c in the separation lemma (Lemma 3.15) with p=~.
Let Q denote the event Q(3R)i\Q(82R)~C'. Let X be the collection of all () such that 8 2R =() is possible and Q(())~c', and let X{} be the collection of all ()EX that are compatible with 8 R={); that is, such that {8 2R =() and 8 R={}} is possible. In the following, f~g will mean that fig is contained in [l/c,cJ for some constant c=c(A»O. By Lemma 3.15 and the choice of p,
P[8 R = {} I zg, 4RJ ~ P[8 R = {} I Q, zg, 4RJ =
L
P[82R = () I Q, zg, 4RJ.
(3.44)
OEXiJ
Now, if Q(3R»C' and ()EX, then
P[8
2R
= ()
I Q zu
' 0 ' 3R
= (), Q, zg I 3RJ P[zg, Q I 3RJ
J = P[8 2R
P[82R = (), zg I3RJ P[zg, Q I3RJ P[82R = () I 3RJP[Zg I 8 2R = P[zg, Q I 3RJ
(),
3RJ
We apply Lemma 3.13 to the first factor in the numerator and Lemma 3.14 to the second factor, and get
P[8
2R
I
= () Q
zu J ~ P2R(())/log R ' 0 ' 3R P[zg, Q I 3RJ·
The sum of the left-hand side over all ()EX is 1. Consequently,
1093
84
O. SCHRAMM AND S. SHEFFIELD
By taking expectation conditioned on Q, Zo and
pre
R
= {)
I Z
0'
0 is chosen sufficiently small. The latter is equivalent to showing that the random variable P[ST=zTIS'I T ] is bounded away from zero on A by a function of 8 and A. Suppose that A holds, and that ZTEa'.f. Let 6 and 6 be the two connected components of ar\{zr}. The construction of Y n in the proof (3.48) shows that there is a path Yo connecting 6 and 6 in B(zT,8r)\B(zT' !8r) that separates ZT from a!. in DT such that Yo is an (s, diam Yo)-barrier for (D, IT) for every sE (0,8'], where 8' E (0,1) is a universal constant. (The assumption that Al holds is used here.) If ST never visits a vertex adjacent to Yo, then Yo separates ST from a!.. In this situation, if I \ IT does not hit Yo, then ST does not visit a vertex adjacent to it, and therefore ZT=ST' Thus, Theorem 3.11 (or Remark 3.12) applies to give the needed lower bound on P[ST=zTIS'IT ] when ST does not visit a vertex adjacent to Yo. 1109
100
o.
SCHRAMM AND S. SHEFFIELD
Suppose now that BT does visit vertices adjacent to 10. We can then construct a path 1 whose image is 10 as well as all the boundaries of hexagons visited by BT that are not separated from a'!. by 10. Since we are assuming that A2 holds, diam 1:::;;20- 1 r. As A3 holds, dist(l\ 10,aDT»~02r and therefore also diam 10>~02r. Consequently, 1 is a (~0103, 20- 1 r)-barrier. Now Theorem 3.11 and Remark 3.12 may be used again to give a similar lower bound on P[Br=ZTIB,')'T]. As a similar argument applies when
BrEa'!., the proof of (3.62) is now complete. We now choose E:= ~po and take a p>O and R>O depending only on E: and A and satisfying (3.62). Let a be such that the estimate given in Lemma 3.17 holds with the p there replaced by ~Pop. Let o=o(Po,A»O be sufficiently small so that o-l>RVa. We assume that r> 100- 5. For ZED, let Jz denote the event that there are more than two disjoint arcs in ')' joining the two circles aB(z,04r) and aB(z,05 r ), and let f[ denote the event that there are more than two such arcs in
')'T.
By the choice of a and 0, the
probability that dist(BTl aDU{vo}»40 4r and JS holds is at most ~pop. Consequently, the same bound applies for the probability that dist(zT, aDU{ vo}) >404r, zT=Br and Jz~ holds. Thus, as the events dist(zT, aDU{ vo}) >404r and Jz~ are h T , B)-measurable, T
~poP ~ P[ZT = BTl dist(zT, aDU{ vo})
> 40 4r, Jz~]
h T , B]] Br I ')'T, B] 1{dist(zT,8DU{vo}»48 r} l:Tl;J
= E[P[ZT = BTl dist(zT, aDU{vo}) > 40 4r, J'f; = E[P[ZT =
4
By (3.62) and our choice of E:, we therefore have P[dist(zT, aDU{ vo}) > 40 4r, J'f;] :::;; ~po. Let
1{
(3.63)
denote the event h\')'T)naB(zT' 05 r )#0. Now condition on ')'T and B such
that dist(zT, aD) >Or and -'Jz~ holds. Suppose also that dist(zT, bT ) >Pr. Then there are precisely two connected components of B(zT,04r)nDT that intersect aB(zT,05 r ). Let WI, w2EaB(ZT' 05 r )nDT be points in each of these two connected components. By constructing barriers as in the proof of (3.48), it is easy to see that if o=o(po, A) is sufficiently small, then
for j=1,2. Now note that if dist(wj,,),\,),T;Dh T ))>o4r for j=1,2, then Consequently,
1110
-,1{
holds.
CONTOUR LINES OF THE TWO-DIMENSIONAL DISCRETE GAUSSIAN FREE FIELD
101
We combine this with (3.63), and get
P[Ji, dist( vo, ZT) > 48 4 r, dist(zT, bT ) > 83 r, dist(ZT, aD) > 8r] ::( ~po.
(3.64)
Since r=dist(vo, aD), provided that we take 8=8(po, A) >0 sufficiently small, Lemma 3.24 gives P[dist( vo, ZT) ::(8r] < ~Po, Lemma 2.1 gives P[dist( vo, ZT) >8r, dist(zT, bT ) ::(82r] < ~Po and (3.53) gives P[dist(zT, aD) ::(8r, zT~WD] < ~Po, These last three estimates may be combined with (3.64), to yield P[Ji, ZT ~aD]::( ~po, which completes the proof. D We now prove the analog of (3.61) with ,T replacing ,. Let FT denote the function that is +A on V+(tT), -A on V_(tT), equal to hG on TG-vertices in aD, and is discreteharmonic at all other vertices in D. PROPOSITION
3.27. Assume (h), (D), (S) and (a). Then
in probability as dist (Vo, aD) --+ 00 while A is held fixed. Proof. Fix 10>0 and set r:=dist(vo, aD). We have, by the heights interface continuity (Proposition 3.3),
IE[h(ZT) It,zT]-E[h(ZT) It T ,ZT]1 <10 if dist(zT, '\'T »Ro, where Ro=Ro(c, A). Therefore, Lemma 3.26 with po=cjOX(l) >0 gives
E[IE[h(ZT) It,zT]-E[h(ZT) It T ,ZT]IJ <210
(3.65)
when r>s-l R o, and s is as given by the lemma.
(Note that E[h(ZT) It, zT]=E[h(ZT) itT, ZT] when zTEaD.) In the following, we will use a parameter 8>0. The notation 0(1) will be shorthand
for any quantity g satisfying limo-to limr-too Igl =0 while A is fixed. Let Z be a maximal set of TG-vertices in DnB(vo, 28- 1 r) such that the distance between any two such vertices is at least 82r and the distance between any such vertex to aD is at least 83 r. Then IZI=O(8- 6 ). By (3.61) (with each uEZ in place of vo), we therefore have P[there exists u E Z: E[h(u)-F(u) I,f > 10] = 0(1).
(3.66)
Let to be the first tEN such that dist(St, aD(tT)) ::(8r. By Lemma 2.1, (3.67) By (3.54), P[dist(zT, ,; D) < 8 1 / 3 r, ZT E aD] = 0(1), 1111
102
O. SCHRAMM AND S. SHEFFIELD
while Lemma 3.26 gives
Thus, P[dist(zT, 'Y\'YT; D)
< 81/ 3r] = 0(1).
This and (3.67) imply that P [dist(Sta, 'Y\ 'YT; D) < ~81/3r ] = 0(1).
(3.68)
Since dist(Sta, aD('YT)) <8r, this and Lemma 2.1 imply that with probability 1-0(1) the L1 norm of the difference between the discrete-harmonic measure from Sta on aD('YT) and the discrete-harmonic measure from Sta on aD('Y) is 0(1). Because E[h(Sta) b, Sta] is the average of E[h(z) I'Y]' where Z is selected according to the discrete-harmonic measure on aD('Y) from Sta and similarly for 'Y T , we conclude from the above and (3.65) that
in probability. Now, Lemma 2.1 implies that P[dist(Sta,vo»8- 1r]=0(1). On the event dist(Sta' vo)::::;8- 1r, fix some zoEZ within distance 82 r from Sta (if there is more than one such Zo, let Zo be chosen uniformly at random among these given (h,'Y,S)). By the discrete Harnack principle (Lemma 2.2) and (3.68), we have
E[h(Sta) 1 'Y, Sta]-E[h(zo) 1 'Y, zo] = 0(1) in probability, which in conjunction with (3.66) yields E[h(Sta) b, Sta]-F(zo)=0(1). The discrete Harnack principle now implies that F(zo)-F(Sta)=o(1) in probability, and (3.68) gives F(Sta)-FT(Sta)=0(1) in probability. Consequently,
in probability. Since E[h(·) bTl and FT are discrete-harmonic in D('YT) , the proposition follows.
D
We can now prove the height gap theorem. THEOREM 3.28. Assume (h), (D), (S) and (a). As above, let T denote a stopping time for 'Y, let 'YT :='Y[O, T], let DT be the complement in D of the closed triangles meeting 'Y[O, T). Let hT denote the restriction of h to VnaD T and let Vo be some vertex in D. Then E[h(vo) I'YT,hT]-FT(vo)-+O
in probability as dist( Vo, aD) -+00 while A is held fixed, where FT is as in Proposition 3.27. 1112
CONTOUR LINES OF THE TWO-DIMENSIONAL DISCRETE GAUSSIAN FREE FIELD
103
Proof. Set
X:=E[h(vo) ["?,hT]-E[h(vo) I"~?]. By Proposition 3.27, it suffices to show that X -+0 in probability as dist(vo,8D)-+oo. For vEVn8DT , let av denote the conditional probability that a simple random walk started at
Vo
first hits 8DT at v, given
X
L
=
"'IT.
Then
av(h(v)-E[h(v)
h T ]).
vEvn8 D r
Consequently,
v,u
Now Corollary 3.5 implies that it suffices to show that for every r>O,
v,u
in probability. This follows by Lemmas 2.1 and 3.24.
D
4. Recognizing the driving term In this section we use a technique introduced in [LSW4] and used again in [SS] in order to show that the driving term for the Loewner evolution given by the DGFF interface with boundary values -a and b converges to the driving term of SLE(4; a/ A-I, b/A-l) if a, bE [-Ao, X]. The reader unfamiliar with this method is advised to first learn the technique from [SS, §4] or [LSW4, §3.3]. The account in [SS] is closer to the present setup and somewhat simpler, but some parts of the argument there are referred back to [LSW4]. The present argument is more involved than those of the above mentioned papers, because we prove convergence to an instance ofSLE(x; (?1, t?2) rather than just plain SLE(4). The main added difficulty comes from the fact that the drift term in SLE(x; t?l, t?2) becomes unbounded as W t comes close to the force points. These difficulties disappear if a=b=A, in which case the convergence is to ordinary SLE and the argument giving the convergence of the driving term to scaled Brownian motion is easily established with minor adaptations of the established method. We therefore forego dwelling on this simpler case, and move on to the more general setting, assuming that the reader is already familiar with the fundamentals of the method. 1113
104
o.
SCHRAMM AND S. SHEFFIELD
4.1. About the definition of SLE(x; (11, tl2) Throughout this section, given a Loewner evolution defined by a continuous Wt, we let
Xt and Yt be defined as in §1.4 by
and we make use of the definition of SLE(x; th, e2) by means of the SDE (1.5). As we mentioned in §1.4, some subtlety is involved in extending the definition of SLE(x; el, e2) beyond times when W t hits the force points, and in starting the process from the natural initial values Xo = Wo =yo =0. This is closely related to the issues involved in defining the Bessel process, which we presently recall. The Bessel process Zt of dimension 8>0 and initial value x#O satisfies the SDE
8-1 dZt = 2Zt dt+dBt ,
x,
(4.1)
8-1 Zt =x+ Jo 2Zs ds+Bt-Bo,
(4.2)
Zo
=
which we also write in integral form as
t
up until the first time t for which Zt=O. When defining Zt for all times, this SDE is awkward to work with directly since the drift blows up whenever Zt gets close to zero (and some of the standard existence and uniqueness theorems for SDE solutions, as given, e.g., in [RY], do not apply in this situation). However, for every 8>0, the square of the Bessel process turns out to satisfy an SDE whose drift remains bounded and for which existence and uniqueness of solutions follow easily from standard theorems. For this reason, many authors construct the Bessel process by first defining the square
Z;
of the Bessel process via an SDE that it satisfies and then taking its square root [RY]. (Recall also that when 8";; 1 the Bessel process itself does not satisfy (4.2) at all without a principal value correction. Even when 1<8<2, which, as we will see below, is the case that corresponds to SLE(x; e) that hit the boundary and can be continued after hitting the boundary, the solution to (4.2) is not unique unless we restrict attention to non-negative solutions.) The formal definition for SLE(x; e) with one force point (i.e., el =e and e2=0) was given in [LSW3]. It was observed there that in this case, (1.5) implies that the process Wt-Xt satisfies the same SDE as the Bessel process of dimension 8=1+2(e+2)/x up until the first time t for which Wt=Xt. Thus, to define SLE(x; e), the paper [LSW3] starts with a constant multiple of a Bessel process Zt of the appropriate dimension and defines the evolution of the force point Xt by Xt=xo+ J~(2/Zs) ds and the driving term by Wt=Xt+Zt. 1114
CONTOUR LINES OF THE TWO-DIMENSIONAL DISCRETE GAUSSIAN FREE FIELD
105
Defining SLE( x; [h, (22) is a slightly more delicate matter since neither W t - Xt nor Yt - W t is exactly a Bessel process (although each one is quite close to a Bessel process when the other force point is relatively far away). Although this is not a very difficult issue, it seems that there does not yet exist, in the literature, an adequate definition of SLE( x; (21, (22) that is valid beyond the time that the driving term hits a force point. Since we prove the convergence to SLE(x; (21, (22), we have to define it. The approach we adopt is basically similar to the way in which the Bessel process (and hence SLE(x; (2)) is usually defined: we pass to a coordinate system in which the corresponding SDE becomes tractable. We will describe the coordinate change we use in §4.2. Within this new coordinate system, we then prove the convergence of the Loewner driving parameters of our discrete processes to those of the corresponding SLE(x; (21, (22) in §4.3 and §4.4. Then §4.5 describes the reverse coordinate transformation and use it to give a formal definition of SLE(x; (21, (22), Definition 4.14. We remark that there are many equivalent ways to define SLE(x; (21, (22) (for example, one can probably show directly that (1.5) has a unique strong solution for which Xt~Wt~Yt for all t), but ours seems most efficient given that the coordinate change also simplifies the proofs in §4.3 and §4.4.
4.2. A coordinate change
In this subsection, we recall a different coordinate system for Loewner evolutions, which is virtually identical to the setup used in [LSW2, §3j. Suppose that ,: [0, (0) -+ iHi is a continuous simple path that starts at ,(0)=0, does not hit lR\ {O}, satisfies limt-+oo 1,(t)l=oo and is parameterized by half-plane capacity from 00. Let gt:IHI\,[O,tj-+IHI be the conformal map satisfying the hydrodynamic normalization at 00, let Wt=gt(r(t)) be the corresponding Loewner driving term. Loewner's theorem says that gt satisfies Loewner's chordal equation (1.3). Now we introduce a I-parameter family of maps C;: IHI\,[O, tj-+IHI satisfying the normalization for t>O,
C;(oo) = 00,
C;((O, (0)) = (1, (0)
and
C;(( -00,0)) = (-00, -1).
That is, (4.3) where Xt and Yt (as defined earlier) are the two images under gt of
1115
°
and Xt
106
O. SCHRAMM AND S. SHEFFIELD
By differentiating (4.3) and using (1.3) and (1.4) it is immediate to verify that G; satisfies
dG;(z) dt
1-G;(z? 8 (Yt-Xt)2 (GHz)- Wt)(1- (Wt)2)'
We now define a new time parameter
It is easy to verify that s is continuous and monotone increasing and s( (0,00)) = (-00,00).
Set Gs=G; and Ws=Wt when s=s(t). Differentiation gives (4.4) Consequently, this change of time variable allows us to write the ODE satisfied by G as
dGs(z) ds
1-Gs (z? G s (z) - W s
(4.5) '
where all the terms come from the new coordinate system. Later, in §4.5, we explain how to go back to the standard chordal coordinate system.
4.3. The Loewner evolution of the DGFF interface In addition to our previous assumptions (h) and (D) about the domain D and the boundary conditions, we now add the assumption that (ab) there are constants a and b such that ha=b on 8+, ha=-a on 8_ and
min{a,b} > -Ao, where Ao>O is given by Lemma 3.9 with A:=max{lal, Ibl}. In this case, clearly (8) holds. In the following, a and b will be considered as constants, and the dependence of various constants on a and b will sometimes be suppressed (for example, when using the 0(·) notation). Let 4>: D--+lHI be a conformal map that corresponds 8+ with the positive real ray. Let "( be the zero-height interface of h joining the endpoints of 8+, and let "(
. Now, "(
0, if TD is sufficiently large and EO is sufficiently small, then (4.36)
To prove (4.36), first observe that conditional on "(SLE such that Al holds, a 2dimensional Brownian motion S started at i has probability at least So to first hit "(SLEUR in "(SLE[tl, t2]. Moreover, if this happens, the Brownian motion is likely to stay within a compact subset LclHI before hitting "(SLE[tl, t2] and not to come arbitrarily close to "(SLE far from its hitting point. On compact subsets of 1HI, the map Tr}r/J-l distorts distances by a bounded factor, by the Koebe distortion theorem [P, Theorem 1.3 and Corollary 1.4]. Since r/J-l takes a Brownian motion to a monotonically time-changed Brownian motion, by taking TD large we may couple Tr}S and Tr}r/J-loS to stay arbitrarily close (until r/J-loS hits aD) with high probability, up to a time change. Assuming that (} is arbitrarily small and taking (5) into account, we find that on Al and given ("(SLE, "(
O. Let A2 denote the event
1141
132
O. SCHRAMM AND S. SHEFFIELD
Then (3.62) reads P[A 2 ];?1-8. In conjunction with (4.36) and P[A j ];?1-8, j=O, 1, this implies that (4.37) Conditional on Sn on the event A I n{dist(¢(S7),')'SLE[tl,t2])
°
ma 3.17 with S7 translated to where the p in that lemma is chosen as ~p808 and the R is taken to be 82rD, where 82=82(80»0 is a small constant depending only on 80. Note that the assumption necessary for the lemma that dist(Sn {vo}UoD»4R holds by (2), (4) and (5) in the definition of Al and the fact that the distance distortion of r"i/¢-I is bounded on compact subsets of !HI. Let ii denote the a provided by the lemma, which is a function of 80, a, band 8. Set r=Rj(ii+1). Then the lemma together with (4.37) imply that with probability 1-0(8) there is within distance CI from ')'SLE[tl, t2] the ¢-image of a vertex VEoDh) such that ¢-lo')'[O, T] has precisely two disjoint crossings of the annulus {z:r:;:;; Iz-vi :;:;;R}. If this happens, let ZI be a point in ')'SLE [i}, t 2 ] closest to such a ¢(v). Let r' denote the lower bound we get on {1¢(v)-¢(z)I:lv-zl;?r} which follows from the bounded distortion of rD¢' We may also assume that 1¢(v)-¢(z)l:;:;;i80 when Iv-zl:;:;;R. Now take CI=~r' and let 83=83(8,r')E(0, ir') be so small that with probability at least 1-8 for every ball of radius ~r' centered at a point Zo E')'SLE [to , T] the distance outside of the ball B(zo, ~r') between the two connected components of lRu (')'SLE [0, T] \ {zo}) is at least 83. Note that when this is the case, every path connecting these two components outside of B(zo, ~r') has to intersect iHiS3 / 3 hsLElO, T]). Consequently, if additionally (!< ~83' then ')'<1>[0, T] cannot contain an arc whose endpoints are within distance ~83 of these two components, unless the arc visits the ball B(zo, ~r'). If is sufficiently small, then there is some t~:;:;;t3 such that I')'SLdt3)-')'(t~)I<~83' Now choose Zo :=ZI, for the previous paragraph. The path ')'<1>[0, t~] must pass through the ball B (zo, ~r'), and therefore ¢-I 0,),<1> [0, t~] contains two disjoint crossings of the annulus {z:r:;:;;lz-vl:;:;;R}. If we assume that ¢-lo')'[O,T] has no more than two disjoint cross{!
ings of this annulus (which happens with probability at least 1-0(8)), it follows that for tE[t3,T] the point ')'(t) is closer to ')'SLE[to,T] than to ')'SLE[O,tO]UlR. Since in the above 8, to and t3 are arbitrary subject to the constraint 0
A:={zEiHi:rl
CONTOUR LINES OF THE TWO-DIMENSIONAL DISCRETE GAUSSIAN FREE FIELD
133
¢-l(A), 8j :=¢-1( {zEiHi: JzJ=rj}), j=1,2, L:=dist(81, 8 2; A') and L' :=dist(8+, 8_; A'). By conformal invariance of extremal length, it follows that L' / L---+O as r2---+00, uniformly in D. (Otherwise, the metric which is equal to the Euclidean metric in the ball of radius 3L centered on a point in an arc of length at most 2L from 8 1 to 8 2 in A', and is zero outside this ball, contradicts the extremal length going to zero.) Let ,6cA' be an arc of diameter at most 2L' connecting 8+ and 8_. Let
L1 := dist(,6, 8 1; A')
and
L 2 := dist(,6, 8 2; A').
Since L' / L---+O as r2 ---+00, we have L 1;:: ~ L or L 2;:: ~ L if r2 is sufficiently large. Suppose first that L2;::~L. Let So denote the first time such that J¢o,(so)J=r2. Then there are two connected components ,61 and ,62 of ,6\,[0, sol such that ,[0, sol U,61 U,62 separates ¢-l(B(O, r1)) from Ya in D. Now the proof of Theorem 3.22 shows that
if L2/ L' is sufficiently large. (Hence when L 2 ;:: ~ Land r2 is sufficiently large.) A similar estimate holds with ,62. Thus, with probability at most 0(8), Ie? contains two disjoint crossings of the annulus r1 ~ JzJ ~r2. On the other hand, if L2 < ~L and L 1;:: ~L, then we may apply the same argument to the reversal of , (or else slightly modify the way the analog of Theorem 3.22 is proved) to reach the same conclusion. This completes the proof. D
5. Other lattices In this section we describe the modifications necessary to adapt the proofs of Theorems 1.3 and 1.2 to the more general framework of Theorem 1.4. Before we go into the actual proof, a few words need to be said about the properties of the weighted random walk on <5 and its convergence to Brownian motion. Fix some vertex Vo in <5, and let Vo denote its orbit under the group generated by the two translations T1 and T2 preserving <5. If the walk starts at vo, then a new Markov chain is obtained by looking at the sequence of vertices in Vo that the walk visits. A simple path reversal argument shows that for this new Markov chain the transition probability from v to u is the same as the transition probability from u to v, for every pair of vertices v, UEVo. Also observe that the JR.2-length of a single step has an exponential tail. This is enough to show that the Markov chain on Vo, rescaled appropriately in time and space, converges to a linear image of Brownian motion (and it is not hard to verify that the linear transformation is non-singular). Moreover, the few properties of the simple random walk on TG that we have used in the course of the paper are easily verified for this Markov chain on Vo and easily translated to the weighted walk on <5. 1143
o.
134
SCHRAMM AND S. SHEFFIELD
Proof of Theorem 1.4. Very few changes are needed to adapt the proof. Let
IB* denote the planar dual of lB.
The statement and proof of Lemma 3.1 requires some changes, because in the more general setup it is not true that every vertex adjacent to an interface on the right has a
Every vertex at
where c< 1 is some constant depending only on the lattice and its edge weights. We can certainly drop the trailing additive 0(1). Induction on j now gives
where Qj=l+(l-c)+ ... +(l-c)j-l=(l-(l-c)j)/c. When j=m, this reads M(l-c)'" ~ m
'"
O(l)Q", M(l-c)'"
0'
Clearly, Mo~eX, and the bound M m =Om,X(1) follows. A corresponding bound clearly also holds for E[e-h(v) 11C] when vEV_. The remainder of the proof of the analog of Lemma 3.1 proceeds without difficulty. The proof of Lemma 3.2 needs to be similarly adapted, but essentially the same argument works. The next point which requires adaptation is the definition of zg in §3.5. Let
~
denote
the set of pairs (v, e*), where v is a vertex in
e* E"(. Let
~'
be a collection of
elements of~, one from each orbit under the group generated by the translations Tl and T2 preserving
CONTOUR LINES OF THE TWO-DIMENSIONAL DISCRETE GAUSSIAN FREE FIELD
135
References
[A]
[B] [BPZ]
[BEF]
[CN]
[Cal [Co]
[DMS] [DoSn]
[D] [DS1] [DS2]
[F] [FS]
[Ga]
[Gi]
[GJ] [HK]
[I] [Ka] [KN] [KS]
AHLFORS, L. V., Conformal Invariants: Topics in Geometric FUnction Theory. McGraw-Hill Series in Higher Mathematics. McGraw-Hill, New York, 1973. BEFFARA, V., The dimension of the SLE curves. Ann. Probab., 36:4 (2008),1421-1452. BELAVIN, A. A., POLYAKOV, A. M. & ZAMOLODCHIKOV, A. B., Infinite conformal symmetry in two-dimensional quantum field theory. Nuclear Phys. B, 241 (1984), 333-380. BRICMONT, J., EL MELLOUKI, A. & FROHLICH, J., Random surfaces in statistical mechanics: roughening, rounding, wetting, .... J. Stat. Phys., 42:5-6 (1986), 743798. CAMIA, F. & NEWMAN, C. M., Two-dimensional critical percolation: the full scaling limit. Comm. Math. Phys., 268 (2006), 1-38. CARDY, J., SLE for theoretical physicists. Ann. Physics, 318 (2005), 81-118. CONIGLIO, A., Fractal structure of Ising and Potts clusters: exact results. Phys. Rev. Lett., 62:26 (1989), 3054-3057. DI FRANCESCO, P., MATHIEU, P. & SENECHAL, D., Conformal Field Theory. Graduate Texts in Contemporary Physics. Springer, New York, 1997. DOYLE, P. G. & SNELL, J. L., Random Walks and Electric Networks. Carus Mathematical Monographs, 22. Mathematical Association of America, Washington, DC, 1984. DUPLANTIER, B., Two-dimensional fractal geometry, critical phenomena and conformal invariance. Phys. Rep., 184 (1989), 229-257. DUPLANTIER, B. & SALEUR, H., Exact critical properties of two-dimensional dense self-avoiding walks. Nuclear Phys. B, 290 (1987), 291-326. - Winding-angle distributions of two-dimensional self-avoiding walks from conformal invariance. Phys. Rev. Lett., 60:23 (1988), 2343-2346. FOLTIN, G., An alternative field theory for the Kosterlitz-Thouless transition. J. Phys. A, 34:26 (2001), 5327-5333. FROHLICH, J. & SPENCER, T., The Kosterlitz-Thouless transition in two-dimensional abelian spin systems and the Coulomb gas. Comm. Math. Phys., 81 (1981), 527602. GAW§DZKI, K., Lectures on conformal field theory, in Quantum Fields and Strings: a Course for Mathematicians, Vol. 1, 2 (Princeton, NJ, 1996/1997), pp. 727-805. Amer. Math. Soc., Providence, RI, 1999. GIACOMIN, G., Limit theorems for random interface models of Ginzburg-Landau '17¢ type, in Stochastic Partial Differential Equations and Applications (Trento, 2002), Lecture Notes in Pure and Appl. Math., 227, pp. 235-253. Dekker, New York, 2002. GLIMM, J. & JAFFE, A., Quantum Physics. Springer, New York, 1987. HUBER, G. & KONDEV, J., Passive-scalar turbulence and the geometry of loops. Bull. Amer. Phys. Soc., DCOMP Meeting 2001, Q2.008. ISICHENKO, M. B., Percolation, statistical topography, and transport in random media. Rev. Modern Phys., 64:4 (1992), 961-1043. KADANOFF, L. P., Lattice Coulomb gas representations of two-dimensional problems. J. Phys. A, 11:7 (1978), 1399-1417. KAGER, W. & NIENHUIS, B., A guide to stochastic Lowner evolution and its applications. J. Stat. Phys., 115:5-6 (2004), 1149-1229. KARATZAS, 1. & SHREVE, S. E., Brownian Motion and Stochastic Calculus. Graduate Texts in Mathematics, 113. Springer, New York, 1988. 1145
136 [Ke] [KDH] [KH] [KHS] [Ko] [KT] [Ll] [L2] [L3] [L4] [LSWl] [LSW2] [LSW3] [LSW4]
[M] [NS] [Nl] [N2] [dN]
[P] [RY] [RS] [SD] [Sch] [SS]
O. SCHRAMM AND S. SHEFFIELD KENYON, R., Dominos and the Gaussian free field. Ann. Probab., 29:3 (2001), 11281137. KONDEV, J., Du, S. & HUBER, G., Two-dimensional passive-scalar turbulence and the geometry of loops. Bull. Amer. Phys. Soc., March Meeting 2002, U4.003. KONDEV, J. & HENLEY, C. L., Geometrical exponents of contour loops on random Gaussian surfaces. Phys. Rev. Lett., 74:23 (1995), 4580-4583. KONDEV, J., HENLEY, C. L. & SALINAS, D. G., Nonlinear measures for characterizing rough surface morphologies. Phys. Rev. E, 61 (2000), 104-125. KOSTERLITZ, J. M., The d-dimensional Coulomb gas and the roughening transition. J. Phys. C, 10:19 (1977), 3753-3760. KOSTERLITZ, J. M. & THOULESS, D. J., Ordering, metastability and phase transitions in two-dimensional systems. J. Phys. C, 6:7 (1973), 1181-1203. LAWLER, G. F., Intersections of Random Walks. Probability and its Applications. Birkhiiuser, Boston, MA, 1991. Strict concavity of the intersection exponent for Brownian motion in two and three dimensions. Math. Phys. Electron. J., 4 (1998), Paper 5, 67 pp. An introduction to the stochastic Loewner evolution, in Random Walks and Geometry, pp. 261-293. de Gruyter, Berlin, 2004. Conformally Invariant Processes in the Plane. Mathematical Surveys and Monographs, 114. Amer. Math. Soc., Providence, RI, 2005. LAWLER, G. F., SCHRAMM, O. & WERNER, W., Values of Brownian intersection exponents. I. Half-plane exponents. Acta Math., 187 (2001), 237-273. - Values of Brownian intersection exponents. III. Two-sided exponents. Ann. Inst. H. Poincare Probab. Statist., 38 (2002), 109-123. Conformal restriction: the chordal case. J. Amer. Math. Soc., 16 (2003), 917-955. Conformal invariance of planar loop-erased random walks and uniform spanning trees. Ann. Probab., 32:1B (2004), 939-995. MANDELBROT, B., How long is the coast of Britain? Statistical self-similarity and fractional dimension. Science, 156 (1967), 636-638. NADDAF, A. & SPENCER, T., On homogenization and scaling limit of some gradient perturbations of a massless free field. Comm. Math. Phys., 183 (1997), 55-84. NIENHUIS, B., Exact critical point and critical exponents of O(n) models in two dimensions. Phys. Rev. Lett., 49:15 (1982), 1062-1065. - Critical behavior of two-dimensional spin models and charge asymmetry in the Coulomb gas. J. Stat. Phys., 34:5-6 (1984), 731-761. DEN NIJS, M., Extended scaling relations for the magnetic critical exponents of the Potts model. Phys. Rev. B, 27:3 (1983), 1674-1679. POMMERENKE, C., Boundary Behaviour of Conformal Maps. Grundlehren der Mathematischen Wissenschaften, 299. Springer, Berlin-Heidelberg, 1992. REVUZ, D. & YOR, M., Continuous Martingales and Brownian Motion. Grundlehren der Mathematischen Wissenschaften, 293. Springer, Berlin-Heidelberg, 1999. ROHDE, S. & SCHRAMM, 0., Basic properties of SLE. Ann. of Math., 161 (2005), 883-924. SALEUR, H. & DUPLANTIER, B., Exact determination of the percolation hull exponent in two dimensions. Phys. Rev. Lett., 58:22 (1987), 2325-2328. SCHRAMM, 0., Scaling limits of loop-erased random walks and uniform spanning trees. Israel J. Math., 118 (2000), 221-288. SCHRAMM, O. & SHEFFIELD, S., Harmonic explorer and its convergence to SLE4. Ann. Probab., 33:6 (2005), 2127-2148.
1146
CONTOUR LINES OF THE TWO-DIMENSIONAL DISCRETE GAUSSIAN FREE FIELD [Sh] [Sm] [Sp]
[W]
137
SHEFFIELD, S., Gaussian free fields for mathematicians. Probab. Theory Related Fields, 139 (2007), 521-541. SMIRNOV, S., Critical percolation in the plane: conformal invariance, Cardy's formula, scaling limits. C. R. Acad. Sci. Paris Ser. I Math., 333 (2001), 239-244. SPENCER, T., Scaling, the free field and statistical mechanics, in The Legacy of Norbert Wiener: A Centennial Symposium (Cambridge, MA, 1994), Proc. Sympos. Pure Math., 60, pp. 373-389. Amer. Math. Soc., Providence, RI, 1997. WERNER, W., Random planar curves and Schramm-Loewner evolutions, in Lectures on Probability Theory and Statistics, Lecture Notes in Math., 1840, pp. 107-195. Springer, Berlin-Heidelberg, 2004.
ODED SCHRAMM was at the Theory Group of Microsoft Research One Microsoft Way Redmond, WA 98052-6399 U.S.A.
SCOTT SHEFFIELD Courant Institute New York University 251 Mercer Street New York, NY 10012 U.S.A. [email protected] [email protected]
Received October 18, 2006
1147
Commun. Math. Phys. 288. 43---53 (2009) Digital Object ldemifier ( 001 ) 10. 1007/sOO220-009-0731 ·6
Communications in
Mathematical Physics
Conformal Radii for Conformal Loop Ensembles Oded Schramm I. Scotl Shefficld 2. 3. • , David B. Wilson I t Microso ft Rcsean;h. One Microsoft Way. Redmond. WA 98052. USA 2 Courant Institule. New York University. 251 Mercer Slre~1. New York . NY 1002 1. USA 3 1)ep.1rtmcnt of Mathematic s. M. l. T.. 77 Massachu seus Ave .. Cambridge. MA 021 39. USA Received: 20 September 20071 Accepted: 10 Nove mber 2008 Publisllcd online: 26 February 2009 - © Springer-Verlag 2009
Abstract: The conformal loop ensembles CLE" , defined for 8/ 3 ::: /( ::: 8, arc random collections of loops in a planar domain which arc conjectured scaling limits of the O(n ) loop models. We calculate the distribution of the conformal radii of the nested loops surrounding a deterministic poi nt. Our resu lts agree with pred ictions made by Cardy and Ziffand by Kenyon and Wilson for Ihe 0(1/) model. We also compute the expectation dimension of the CLE" gasket, which consisls of po in IS nOI surrounded by any loop, to be
2- (8-K)(3K-8). 32K
which agrces with the fractal dimension given by Duplamier for the O(n) model gasket. I . Introduction
The conformal loop ensembles CLE..-, defined for all 8/ 3 ::: /( ::: 8, are random colkctions of loops in a simply connected planar domain D ~ C. They were defined and constructed from branching variants of SLE" in [She06], where they were conjectured 10 be the scaling limits of various random loop models from statistical physics, including Ihe so-called 0(/1) loop modcls with /I
= - 2cos(4JT/ K).
(I)
see e.g. IKN04 1 for an exposition. This paper is a sequel to IShe06J. We wi ll Slate Ihe results about CLE" from IShl-{)6 llhal we nced for Ihis paper (namely Propositions I and 2), but we will not repeal the definition of CLE" here. When 8/ 3 < K < 8, CLE" is almost surely a countably infinitc collection of loops. CLEs is a single space- fil ling loop almost surely and CLEs/3 is almost surely emply. • Partially supported by NSF grant DMS0403IS2.
I. Benjamini, O. Häggström (eds.), Selected Works of Oded Schramm, Selected Works in Probability C Springer Science+Business Media, LLC 2011 and Statistics, DOI 10.1007/978-1-4419-9675-6_33, 1149
O. Schramm. S. Sheffield,
44
I).
S. Wi l.on
CLE6 is the scaling limit of the cluster boundaries of critical site percolation on the triangular lanice [CN06,SmiOl ,CN07 1. We will henceforth assume 8/3 < K < 8.
q
For each zE D, we inductively defin e to be the outermost loop surrounding z when the loops L ~ , .... Lk_ l aTC removed (provided such a loop exists). For each deterministic zE D , Ihe loops L i exist for all k ~ I with probability one. Define = D and let Af be the component of D\q that contains z. The conformal gasket is the random closed scI r consisting o f points that afC not surrounded by any loop of an instance o f CLEI(, i.c. the SCI of points for whic h L i does nOl exi st. If 0 is a simply con nected planar do main and ZE D , the conformal r adius of D viewed from z is defined to be CR(D, z) := 19' (z) I- I, where g is any conformal map from D to the unit disk ][Il that sends z to O. The follow ing is immediate from the construction in [She06 j:
Ab
Proposition 1. Let D be a simply connected bounded planar domain, and consider a CLEK on D for some 8/3 < K < 8. Theil r is almost surely fh e closure of fhe sef of points that lie 011 all outermost loop (i,e" a loop of the form L ~ for some z), Conditioned 0 11 the outermost loops, the law of the remain ing loops is given by an independent CLE K in each compOllent of D\ r, For zE D and k = 1,2,3, ' .. , define B~ := log CR (Ak_ I' z) - logCR (Ak' z).
For any fixed z , the
Bf 's are i.i.d. random variables.
Vari ous authors in the physics literature have used heuristic arguments (based on the so-called Coulomb gas method) LO calculate properties of the scaling limi ts o f stati stical physical loop models, including the O (n ) models, based on certain conformal invariance hypotheses of these limits. Although the scaling limi ts of the 0 (1/) models have not been shown to cx ist, there is strong evidence that if they do ex ist they must be CLEK • (For example, there is heuristic evidence that any scaling limit of the 0(11) models sho uld be in some sense eonformally invariant; it is shown in LShe06,SW08b, SW08aj that any random loop e nsemble satisfying certain hypotheses including conformal invariance and a Markov-type property must be a CLEK . ) It is therefore natural to interpret these calcu lat ions as predictions about the behavior of the CLEK • Cardy and ZilT LCZ03 j predicted and experimentally verified the e)(peeted number o f loops surrounding a point in the 0(11) model, which, in light of (I ), may be interpreted as a prediction of the expectation o f B~: --~
IE[ Bf l
(K/4 - l)cot(1f(1 - 4/K)) 1f
Ke nyon and Wil son [KW04 j went further and predicted the di stribution of its moment generating function IE[ exp(A
Bt, g iving
-COS(41f/K)
BDj =
-,(~ri-=#""=;;c=;=\ cos 1fJ(l 4/K)2 + 8A / K)'
(3)
jI, and de nsity function
for A satisfy ing RCA < I - ~ d
(2)
,
dx PrlBk < xl oo
=
- KCOS(41f / K) L: 41f
j
.
[
(- I) (J + 1/2) exp -
j=O
1150
(J +I / 2)2_( 1 - 4/K)2] x . 8/K
(4)
45
COllfomlaJ Radii for Conformal Loop Ensembles
The main result of thi s paper is Theorem I, which confirms Jhese predictions. In the special case I( = 6, th is prediction for the law of 13: was independently confirmed by OubCdat [Oub05 [. Theorem I. Let fJ( denote the density fUllction for the first time that a standard BrowlI ian motioll started at 0 exits tile iI/terral (~2JT / ./K. 2JT / ./K). Then for 8/3 < I( < 8, the density function for is
B: -d Pr[Bt:. dx
<x ] =~fJ«x)eos(4JT I I()exp
[(K - 4)' x ] . 81(
(5)
The equivalence of the form ulations (4) and (5), and the fact that they imply (3), follows from a calculation of Ciesie lski and Taylor, who showed that the exit-time di stribution of a Brownian motion from the center of a l ~dim e n s i onal bal l of radius r has a mo ment gcncrating funct ion of 1/ cos J2r 2).., and who gavc two serics cxpansions (onc in powcrs of e- x and thc othcr in powcrs of e- 1/ x ) for its dcnsity func tion [CT62 , Thcorcm 2 and Eq. 2.22J (sce also [8 S02 , Eqs. 1.3.0. 1 and 1.3.0. 2J). Since thc Fourier transform is invertible o n L 2(1R) , the equivalence of (3) and (4) follows by considering the moment generating fun ction restricted to the imaginary line RCA = O. Ouplantier [Oup90] predicted thc fractal dimension of thc gasket r associated with the 0 (II) model to be 31(
2
32
K
-+ I +-. where as usualn = -2 cos(4JT/ I(). We partially confirm this predictio n by giving the cxpectation dime nsion of the gaskct associatcd with CLEJ(' Thc expectation dimension of a rando m bounded set A is defined to be D E( A )
log !E[mini mal number of bal ls of radius £ required to cover A [ , £ ..... 0 I log £[
= lim
providcd the limi t ex ists. Thc expectation dimension upper bounds the Hausdorff dimension. Theorem 2. Let
r
be rhe gasket of a CLEo: ill/he ullit disk with
!E[minimalllumber of balls of radius £ required to COFer /11 particular. the expec/atioll dimellsion of the gasket
r
I(
E
(8/3.8). Theil
(I) ll·'·i
rJ ::::: -;;
is ~ + I +
r
Hcre, ::::: denotes cquivalence up to mul tiplicative constants. Lawler, Schramm, and Wcrncr [LSW02 ] studicd thc percolation gasket (associatcd with CLE6), effectively proving Thcorcm 2 in the casc I( = 6. More generally, they studied how long it takcs for a radial SLEo: to surround the origi n whe n I( > 4, and thc ir results impli citly imply Theorcm 2 whcn I( > 4; see the remark in Sect. 2.1 for furth er discussion. We conclude our introduction by no ting that the gasket dimension described above plays an important role in the physics literature, where it is related (at least heuristicall y) to the expone nts of magnctization and multipoint corrclation func tions in critical Ian ice models. We bricfl y describe thi s connect ion in the case of the q-state Pons model on the sq uare lanicc. More dctails and refcrenccs are found in [Shc06,Car07, Gri06 ]. 1151
O. Sch.ramm. S. Shcffleld. D. B. Wilson
46
A sample from the q-statc POliS model on a connected planar graph G is a random function (1 : V --7 {I, 2, ... ,q), where V is the sct o f vertices of G and the image values 1,2, .... q are often called spins. I f the boundary vertices (those on the boundary of thc unbounded face) of G arc all assigned a particu lar value (say b), then using the standard FK random cl uster decomposition [FK72 1, one may construct a sample from the Potts model as follows: I.
Sample a random subgraph G' of G contain ing all boundary edges (edges on the boundary of the unbo unded face), wi th probability proport ional to qilComponl'ntsOfG' (
2.
_ P_ I - p)
lIedgeSOfGI
whcreO < p < lisa paramclcr.Thc law ore ' is called Ihe FK random cluster model with parameters p and q. Call the component of G ' whieh eontains the bou ndary vertices of G the FK gasket. Set a(v) = b for each v in the FK gasket, and inde pendently assign one of the q states uniformly at random 10 each o f the remaining connected components of G ' (assigning all vertices in that component the corresponding state).
T he " magnet ization" at an interior vertex v of G (i.e., the probability that a(v) = j minus l l q ) is proportional to the probability that v is in the F K gasket. Given distinct vertices v and w, the covariancc of a (v) and a (w) is proportional to the probability that both v and w lie in the same component o f G/. We now restrict to the case in which G is a finit e piece of the square grid in the plane and the parameter p satisfies p/( I - p) = .jq. (Wi th this choice of p , the F K model is self-dual and believed to be crit ical, see e.g., [Gri06, Chap. 6J.) 11 is shown in [She06] that if q ::::: 4 and certain other hypotheses including conformal invariance hold , then the scaling limit of the set o f boundaries between clusters and dual cl usters in thecrhical FK rando m cluster models discussed above must begivcn by CLEK for the K satisfying q = 4 cos 2 (4JT I K) and 4 ::::: K ::::: 8. Assuming these hypotheses, the scaling limit of the d iscrete gasket is precisely the conti nuum CLEK gasket. A heuristic ansatz is that thc law of the critical FK gasket shou ld havc similar properties as the law of the set of squares in a fin e grid which intersect the continuum gasket. If this heurist ic holds, then when G is a bounded domai n intersected wit h asq uare grid wi th spac ing e, the magnetization at a vertex v of macroscopic distance from the bou ndary in the discrete model will be on the order of e2- d , where d is the limiting expectat ion dimension of the continuum gasket. Si milarly, the covariance between a( v) and a(w), for two macroscopically separated vert ices v and w, shou ld be on the order o f €2(2 - d j (si nce in the conti nuum model , the set of pairs v and w which lie in the same conti nuum spin cluster has di mension 2d; see [She06]). 2. Diffusions and Martingales
2.1. Reduction to a diffusion problem. Let BI [0. 00) --7 R. be a standard Brown ian motion and let BI : [0, 00) -+ [0, 2JT] be a random continuous process on the interval [0, 2JT] that is instantaneously reflecting at its endpoints (i.e., the set It : BI E 10, 2JT}) has Lebesgue measure zero almost surely) and evolves accordi ng 10 the SDE
K -4
dBr = -2- cot(B,f2) dl + jK d B/
1152
(6)
Confonnal Radii for Conformal Loop Ensembles
47
on each interval of time fo r which 0, r;. to. 2JT) . In other words, 0, is a rando m continuous process adapted to the fi ltration of Ht which almost surely sati sfi es
for ali i for which the right hand side is well defined. The law of this process is un iquel y determined by 00 [She06 ], and we also have the following from [Shc06 ]: Proposilion 2. When 8/3 < I( < 8. the law of H~ is the same as the law of in f{ t : Ot = 2JT I for the diffusion (6) started at 00 = O. It is convenient to lift the process O( so that , rather than taking values in [0, 2JT], it takes values in all of IR. Let R : lR --'I- [0. 2JT [ be the piecewise affine map for which R(x) = Ixl when x E [-2JT , 2JT] and R(4JT + x) = R(x) for all x. Gi ven 81> we can generate a continuo us process 0, with R(O,) = 01 in such a way that for each component (ft. t2) of the set It: 01 r;. 2JT Z}, we independently toss a fair coi n to dec ide whethe r 0, > Oil or 0, < Oil on that component. The 8, together wit h these coin tosses (for each interval of II : 0, r;. 2JTZ)) determine 0, uniquely. This 0, is still a solution to (6) provided we modify H, in such a way that dB, is replaced with -d B, on those intervals for which dO, = - dOl' (Th is modi fi cat io n does not change the law of 8,.) In the fCmain der of the text, we will drop the 0, notation and write 01 for the lifted process on JR.
Remark. A very simi lar diffu sion process was slUdied by Lawler, Schramm, and Werner [LSW02 ], name ly (7)
which is the same as (6) but without the factor of (I( - 4) / 2, and they too studied the time for the diffusion to reach 0, = 2JT when slarted at 00 = O. Diffusions 6 and 7 arc ide ntical when I( = 6, and Diffusion 6 (for 4 < I( < 8) is given by Diffu sio n 7 (for 4 < I( < (0) upon substituting I( --'I- (21() /(1( - 4) and scaling time by I ---;. 1(1( - 4) /2 . However, Diffusion 6 is a more si ngular Bessel-type process when I( :s: 4, req uiri ng additional tec hnical analysis to deal with Ihe times at which process is at 0 (see e.g. Lemma 3). Furthermore, o nly the large-time asymptotic decay rate of the hitting time di stribution (used in the proof of Theorem 2) is given in fLSW02], and additio nal effon is requ ired to obtain the prec ise hill ing time distribution provided in Theorem I.
2.2. Local martingales. Recall the hypergeornetrie fu ncti on defined by 00
b . . ) _ ' " (a)"(b),, "
F (a, . c. Z - L...
,,:(I
(c)"n1
z ,
where a, b, c E C are parameters, c r;. -N (where N = to, I. 2. . . . )), and (e)" denotes - 1). This defi nition holds for Z E C when [zl < I, and it may be
e(e+ 1) ··· (e+ 11
1153
48
O. Sc hramm. S. Sheffie ld . D. B. Wil son
de fined by analytic continuation else where (though il is then not always si ng le-valued). We defin e for A E C,
, Md.(fJ)= F ( l -/i4 + M:.)..{O) = F ( I _
j( I -I(4)2" 4)'" 3 4 ., , ) +"K, I - i4 ( - j( 1 -;( + -;:-:1-K<sm-'4
~ + j (! _ ~)2 + :A,
~ _ JH_ ~)2 + ~A: ~; cos2 ~ )
I_
i,
'
cos ~
... ).
( where the formul a for M : .A(0) makes sense whenever I( f~ . ~, There i s some ambiguity in the choice of sq uare root, but since F(b. a : c: z) = F(a. b; c: z) , as long
as the same choice of square root is made for both occurrences, there is no ambigui ty in these defin itions.
Lemma I. For the diffllsion (6) with K > 0, lei T be the fi rst rime at which (), E 2:7r Z. alld leI t = min(r. T). For allY).. E C, both cxp[ AtlM: .A(0;) (Uld cxppJj M:. A(8;) are local martingales p(l ramererized by t. Proof Given these formulas, in princ iple it is straightforward to verify that the d t term o f the Ito expansion o f
d [el./ M:~~(8/ )] is equal to zero (where elo is either e or 0 ). This term can be e xpressed as
,,[ AM....,'e.l..(e,)+ (M....,'e;.. )' (8/ ) -2-cot ,-4 ' ( M.:.). ,'e)"(8/)]dr. (9,/2)+ "2
e
Since Mathematiea does not simplify thi s to zero, we show how 10 do this for M:.i\ ; the case for .l.. is simi lar. We abbreviate M :.;.. wi th M , leI F de note the hypergeometric fun ction in the definition o f M:.;.., let a. b, and c de note the parameters of F in M , and change variables 10
M:.
y = y(O) = S;"2(014) = ( I - oos(012)) /2, M(O) = F (y (9 )) .
M ' (9) =
~ F'(Y(0))S;" (012).
M"«():= F"(y «()))
/6 sin2(O/2) + F'(Y(O»)~COS«()/2)
2 I J' '= F " ( Y )Y-Y - 4- + F' (y )-4-·
so that ,"
[
:=
4,
K I K F " (y) ( Y-Y J. F (Y)--4F (Y)(Y-')+g
el./ [AF(y) + (1 - 3K/8) F'(y)
J.+ ( I _ [
K +-
8
(Y -
!) + i
2) +g F (Y) K
F"(y)(y -
,
,-y)]
('
i )]
3'/8 ) (" _ ~ ",-(a "",,)(b:.. :.+,,, -,)) - ]
(a+ +
2
lI )(b +/! )
c
1154
II
.:..:: +
c +n
/I - II(n- l)
)
Confonnal Radii for Confonnal Loop Ensembles
49
and we define Ell to be C+II times the expression in brackets. (Note that indeed c ¢ -N.) We may write E/I as a polynomial in II: Ell = [( I - 3K/ S)(I - 1/ 2) + (K/ SH I - c+a +b)] x 1/ 2
+ [A + ( I - 3K / S)(C - a / 2 - b/ 2) + (K / S)(C + a b)] + rCA - ( I - 3K / S)a b/ 2].
X"
By our choices of a , band c, E" = 0 for each II , which proves the clai m for M:.A.
0
2.3. Expected first hitting of 2H Z. In this subsection we obtai n asymptotics for the fu nction
where ()I is the diffusion (6) and T is the first ti me t ~ 0 at whic h ()I E 2JT Z . (Recall that T is fi nite a.s. when K < S.) Whenever () E 2H Z, trivially L «() = () . Lemma 2. For the diffusioll (6) with S/ 3 <
K
< S, L«(),) is a martingale.
Proof Since L(O) is defined in tenns of expected values, L(OI) is a local mart ingale whenever 01 ¢ 2JT Z, and the stopped process L (Olllill (f.T) is a martingale. Since the di ffu sion behaves sy mmetrically around the points 2H Z and the number of intervals of R·,,2H Z crossed before some determin ist ic time has expone ntially decaying tai ls (whic h implies integrability), L(8, ) is a marti ngale. 0 Next, we express L «(), ) in terms of the A = 0 case of the local martingales expIA/] M:.,, «(),) and exp[At] M: .,,«(),) . Because M : .o (O ) = I, this local martingale is uni nformative, but
We have M:.o (O) = - M: .o(2JT) = j1ir(4 / K - 1/ 2)/ (2r(4/ K» , a nd since M:.o is bounded (when K =f: S), the stopped process M:. O«()lllin (l. T) is also a martingale. This delerm incs L. namely, L(O) = JT-
2 for (i) F (3 _.:! 1. 3·cos2 (1 ) cos (/ r (~ _ -1) 1 1(' l' l ' ! l' I(
f)
E [0, 2JTI
(8)
and L(8 + 2JT) = L(O) + 2JT. (It is also possible to derive (8) from the formula for Pr rSLE trace passes to left of x + i y ] [SchOl l after applying a Mobius transformation and suitable hypergeometric identities.) We wish to understand the behavior of L near the points in 2JT Z, and to this end we use the form ula (see rEMOT53, p. lOS, Eq . 2. 10. 1[) F(a , b:c:z) =
r (c)r (c - a - b) F(a , b;a+b-c+l; I - z) r (c - a)r(c - b) r(c)r (a +b - c ) c- a- b + (I -z ) F(c- a.c - b · c- a - b+ l·l -z ) r(a) r (b) "
(9) 1155
O. Schram m. S. Sheffield . D. B. Wilson
50
whic h is valid when I - c, b - a, and c - b - a are not integers and I arg( I - z)1 < Jf . In our case the noni ntcgralit), condit ion is satisfied whenever 8/ K ~ N. For the range of K Ihat we arc interested in, this rules out K = 4, for which we already know L«(}) = (J, and therefore do not need asymptotics. The endpoints o f the range, K = 8/3 and K = 8 are al so ru led out , but for the remaini ng
F G-~,~ : ~;cos2~)=
have
r (') r (± -1) ~(~) ;(1 )- F G-~ · !;~-~ : s in 2~) +
~
K ' S we
r (') r (l - ±) '1 _ Isin ol''-I F (.1 l' i+ l's in20) r (l-~) r (~)" ""'" J(
fo"r (~-j) 2r (') K
r (~-~). , 1- 1
1
-ICOs- 'I'1 + 2r ('i -
4 4 1 '29 ) x F ( ; ' l: :;:- + "2: Sin "2
4) K
I,,, ,I
.
and by (8),
L(e)~cK (Sin 2"O )~ - 1 F (.1K'
1'.1 + 2' l'si n2 2"0)cos. O • /( 2'
(} E (O . JT ).
for some con stant CK > O. (O ne can use the Legendre duplicat ion form ula to show that Co; = 281/( - 1r(~)2 / r ( ~), but we do not need this.) Since L ( -8) = - L (8), we concl ude that
e E (-n , n). where Ao is a analytic function (depending on K) satisfying Ao(O) > O. Thi s implies
e' ~ A (IL(O)I'(8- ,')
( 10)
near 8 = 0, for some analytic A.
2.4. Starting at 80 = O. We wil[ event ually need to start the di ffu sion at 80 = 0, but Lemma I o nly covers what happens up until the fi rst time that OJ E 2JrZ. In this subsection we show
Lemma 3. For the diffllsion (6) with 8/3 < K < 8, let T be the first time (jf which 91 E 2JrZ'AJrZ, and let i = min(t, T) . For all)' A E C. the process exp[ Ar]M:." (Or) is
a marrillgale.
Proof Let M abbreviate M;.", and let us assume without loss o f generality that -2Jr < < 2Jr. Let us define WI = L (Od, whic h is a martingale and may be interpreted as a time-c hanged Brownian motion. We wish to argue that e"r M ( L -1 (Wi» = e"i M(9i) is a local martingale. (The definitio n of L implies that it is strictl y monoto ne, and he nce L - 1 is well defin ed .) Note that by Lemma I it is a local marti ngale when ()f ¢ 2 Jr Z. To exte nd this to a ne ig hborhood o r (); = 0, one could try to use Ito's formu la. To do this, it would be necessary that f := M o L -I betwice d iffe rcntiablc . We have M (9) = A I (8 2) in ( - 2 Jr . 2 Jr), where A I is analytic. Conseque ntly, ( 10) gives for 8/3 < K < 8 and for W in a ne ighborhood o f 0,
80
( 11 )
1156
51
Conformal Radii for Con fomlal Loop Ensembles
for some anal ytic A 2. Though thi s is not necessary for the proof, one can check that A2(0) :F 0 and there fore f"(0) is not fi nile when K < 4. To circumvent the problem of f = M o L - \ not being twice d ifferentiable, we use the 110- Tanaka Theore m ([ RY99, Theorem 1.5 o n p. 223 D. The expone nt -(!:; in ( I I ) ranges from I to 00 as K ranges from 8/3 to 8. In particular, f'( O) = 0 and !' is continuous ncar O. Since A2 is analytic, ncar 0 the function f may be ex pressed as the d ifference o f two convex functio ns, namely, few) = (f(w) - f(O» Iw>O + (f(w) - f( O» Iw
F(a, b: c: I) = ~~'-c=-~ r (c a)r(c b )
( 12)
provided -c ~ N and Rec > Re(a +b ) (see e .g. [EMOT53, p. 104, Eq. 46[). Therefore, M(±2rr} is fini te . Thus, e)..i M (Oi) is bounded for bounded t, and we may concl ude that it is a martingale. 0 For future reference, we now caleulate M:.)..(±2rr). Observe that the parameters a, b. c of the hypergeometric function in the defi nition of M:. A satisfy 2 c - a - b = I. Conseque ntly, the identity r( z)r(1 - z) = rr/sin (rrz) and ( 12) give
( 13)
3. Proofs of M ain Results
We now restate and prove T heorem I. Theorem 3. SUP/Jose the diffusioll process (6) (with 8/3 < K < 8) is slarled at 00 = 0, alld T is the first lillie at which Of = ± 2:rr. If RcA ~ O. thell IE [
)..T
e
I
]
cos(:rr(l - 4/K» 00= 0 = cos(:rr J (l-4/ K)2+ 8A/ K) '
(This is equ ivalent to T heore m I by Proposition 2 and the remarks following the statement of Theore m I ,)
Proof Since M:.).. (OT) = M;,;.,C±2 rr) = M:. A (2rr) a.s. and exp[),.i'I M:. A (0;) is a martingale, the optional sampli ng theorem gives
and the proof is completed by appeal to ( 13). 1157
0
O . Schramm, S. Sheffield. D. B. Wilson
52
Proof of Th eorem 2. Fix some E: > 0 and let zED. Set ro := I -lzl,'1 := dist(z, L t), and suppose that f; < roo We seek to estimate the probabilit y that the open disk of radius e about z intersects the gasket; that is. the probability that r1 < e. By the Koebe = 1/4 theorem, 1'1 :::: CR ( D l, z) ::: 4 r l . Likewise, ro ::: CR(D, z) ::: 4 ro_ Th us, log CR(J[]I,z) - log CR (D [,z ) = log(ro/ r [) + 0 ( 1) . Referring to the density function of (4 ), we see thai
Bf
Bt
Pr[r) < E:] x e xp[-a log(ro/e)] = (E/ ro)«, where
•
~
l j4- (1 -4jK)2 31< 2 (8 -K)(3K -8) "----0;';--'-"-- = - - + I - - = .
8/1(
32
I(
321(
Fo r each j = I , ... , p/el, we may cover the annulus /z : (j - J) t ::: I -izi s j cI by D CI Ie) disks of radius e. TIle total expected number of these di sks that intersect the gasket is at most [11£1
L
O( l /s) x O(s/( js » U = O (su - 2).
j= 1
(Here we made usc of the fact that ex < I.) Th us o n average O(su - 2) disks of radius s surfiee to cover the gasket. On the other hand, we may pack into II) at least 9 ( I /s2) points so that every two of the m are more than di stance 4s apart, and each of them is at least distance 1/2 fro m the bou ndary. For each such point z there is a 8 (sU) chance that the disk or radius s cenlered at Z is not surrounded by a loop, i.e., that that the gasket r contains a point z' that is within distance s of z. Since the points z are suffi cie ntly far apart , the poi nts z' must be co vered by di stinct disks in any covering of r by disks of radius s. Thus the expected number of disks of radius s required to co ver the gasket r is at least 9 (su - 2) . 0 4. Open Problems Kenyon and Wilson [KW04] also predicted the large-k limiting distribution of anOlher quantity, the "electrical thickness" of the loops L ~ when k ~ 00. The electrical thickness of a loop compares the conformal radius of the loop to Ihe conformal radius of the image of the loop under the map mew) = l /(w - z), and more precisely it is
t1:( LD = - log CR (q.z) - 10g CR (m( q ). z) . Kenyon and Wil son [KW041 predicted that the large-k moment generating func tion of t1 z(q ) is ( 14)
or equivale ntl y that the li miti ng probabil ity density function is given by the density functio n of the exit time of a standard Brownian eXCll rsi on started in the middle of the interval (- 21f I JK. 21f I JK), reweigh ted by a facto r of const x exp[ (K - 4)2 x 1(8K) [. (llli s equivalence follows from [BS02, Eq. 5.3.0.1 1.) Recall that the density function 1158
Conformal Radii for Confomlal Loop Ensembles
53
of Bf is given by the density function of the ex it time of a standard Brownian motion started in the middle of the interval (- 2Jr I./K, 2JT I./K), also reweighted by a factor of const x exp[(K _ 4)2 X/(8K)). These forms are highly suggestive, but currently wedo not know how to calc ulate the e]ectrical thickness using CLE... nor do we have a conceptual explanation for why these di stributions take these forms, References [BS02] [Carl}7] [CN06] [CN07] [Cf62] [CZ031 [Dub05] [Dup90] [EMOT53] [ FK 72]
[Gri06] [KN04] IKW04) [LSW02) [RY99j [ScIlOI]
[She06] [SmiO l j [SW08a] [SW08b]
Sorodin. A.N .. Salminen. p,: H(llldbu(lk of Bro"'Jli(lll Mo/iml-F(lc/s(llld Formu/(le, Probabi lity and its Applications. Basel: Birkhliuser Verlag. 2nd edition. 2002 Cardy. 1.: ADEand SLE. 1. Phys. A 40(7).1427-1438 (2007) Camia. F.. Ncwman. CM.: Two-dinlCnsional critical percolation: the full scaling limit. Commun. Math. Phys. 268(1). 1-38 (2006) Camia. E. Newman. CM.: Critical percolation exploration path and SLEt,: a proof of convergencc. Probab. Theory Relatcd Fields 139(3-4). 47 3-5 19 (2007) Ciesiclski. Z .. Taylor. S.J.: First passage times and sojourn times for Brownian motion in space and the exact Hausdorff measure of thc samplc path. Tran s. AnlCr. Math. Soc. tOJ(3).434450(1962) Cardy. 1.. Ziff. R,M.: Exact results for the un iversal area distri bution of clustcrs in percolation. [sing. and POliS models. 1. Stat. Phys. 11 0(1 -2). 1- 33 (2003) DubMat.1.: 2005. Persona[ communication Dup[antier. B.: Exact fractal area of two-dinlCnsional vesicles. Phys. Rev. Lett. 64(4). 493 (199Q) Erd~lyi. A .. Magnus. W.. Oberheuinger. F.. Tri comi. F.G.: Higher Tr(lnscendell/(l{ FJIIlc/io",', Vol. L. New York: McGraw -Hili Book Co mpany. 1953. based. in pan. on notes left by Harry Bateman Fonuin. CM .. Kaste[cyn. P.W.: On the random-cluster model. I. Introduct ion and relation to Olher models, I'hysica 57. 536--564 (1972) Grimmett. G.: The R(llldom-CIr,sler Model. Volume J.n of Grundlehren der Mathematischen Wissenschaften [Fundamenta[ Princip[es of Mathematical Sciences]. Berlin: Spri nger- Verlag_ (2006) Kager. W.. Nienhu is. B,: A guide to stochastic L6wner evolution and it s applications, 1, Stat, Phys. t 15(5-6). I [49- 1229 (2004) Kenyon. R,W.. Wilson. D.B.: COllformal radii Of loop models. 2004. Manuscript Lawler. G. F.. Schramm. 0 .. Werner. W.: One-ami eXf'Onelllfor crilical 2D perCOllllion. Elcctron.1.l'robab. 7 : Paper No.2. 13 pp. (2002) Revuz. D.. Yor. M,: Coli/iII/lOllS Marlingaiesond Browniall MOli(JII. Vol ume 29J ofGrundlehren der Mathematischen Wissenschaften [FundanlCntal l'rinciples of Matllcmatical Sciences], Berlin: Springer-Verlag. third edition. 1999 Schramm. 0.: A pen:ol(liiollf(}rmllill. E[ectron. Cornm. I'robab. 6. 115- 120 (2001) Sheffield. S.: Exp/(JrOliOll lrees (llld "ollform(llloop en.•emble.f. hnp:llarxiv.orgfabslmath. PRI 0609167.2006 Duke Math. L to appear Smirnov. S.: Critical percolation in the plane: conformal invariance. Cardy's fonnula. scaling limit s. C R. Acad. Sci. Paris S~r. 1 Math. 3J3(3). 239-244 (2001) Sheffield. S .. Werner. W.: Confoml(l/ loop ensembles: COIIS/rllc/ion l'i(l/ooIJ-SOlIl's. 2008. in preparation Sheffield. S .. Werner. W.: COllforlll(l/loop ensembles: The M(lr/u",i(ln ch(lr(lc/eri:Plioll . 2008. in preparation
Communicated by M. Ai7.en man
1159
Conformally invariant scaling limits: an overview and a collection of problems Oded Schramm
Abstract. Many mathematical models of statistical physics in two dimensions are either known or conjectured to exhibit conformal invariance. Over the years, physicists proposed predictions of various exponents describing the behavior of these models. Only recently have some of these predictions become accessible to mathematical proof. One of the new developments is the discovery of a one-parameter family of random curves called stochastic Loewner evolution or SLE. The SLE curves appear as limits of interfaces or paths occurring in a variety of statistical physics models as the mesh of the grid on which the model is defined tends to zero. The main purpose of this article is to list a collection of open problems. Some of the open problems indicate aspects of the physics knowledge that have not yet been understood mathematically. Other problems are questions about the nature of the SLE curves themselves. Before we present the open problems, the definition of SLE will be motivated and explained, and a brief sketch of recent results will be presented. Mathematics Subject Classification (2000). Primary 60K35; Secondary 82B20, 82B43, 30C35. Keywords. Statistical physics, conformal invariance, stochastic Loewner evolutions, percolation.
1. Introduction In the past several years, many predictions from physics regarding the large-scale behavior of random systems defined on a lattice in two dimensions have become accessible to mathematical study and proof. Of central importance is the asymptotic conformal invariance of these systems. It turns out that paths associated with these random configurations often fall into a one-parameter family of conformally invariant random curves called stochastic Loewner evolutions, or SLE. We start by motivating SLE through a simple mathematical model of percolation. After giving the definition of SLE, we present a narrative of recent developments. However, since there are good surveys on the subject in the literature [94], [36], [21], [52], [95], this introductory part of the paper will be short and cursory. The rest of the paper will consist of an annotated list of open problems in the subject.
Proceedings of the International Congress of Mathematicians, Madrid, Spain, 2006 © 2007 European Mathematical Society
I. Benjamini, O. Häggström (eds.), Selected Works of Oded Schramm, Selected Works in Probability C Springer Science+Business Media, LLC 2011 and Statistics, DOI 10.1007/978-1-4419-9675-6_34, 1161
514
Oded Schramm
1.1. Motivation and definition of SLE. To mot ivate SLE, we now discuss percolat ion. More specifi cally, we define one particul ar model of percolation in two di mensions. Fix a number p E [0, I]. Let w be a random subset of the set of vertices in the triangular grid TG , where for vertices v E V(TG ) the events v E It) are independent and have probability p. In percolation theory one srudies the connected components (a.k.a. cl usters) of the random subgraph of TG whose vertex sel is w and whose edges are the edges in TG connecting two e lements of w. Equivalent ly, one may study the connected components of the sel of white hexagons in Figure 1, where each hexagon in the hexagonal grid dual to TG represents a vertex of TG and hexagons corresponding to vertices in w are colored white. The reasons for considering this dual representatio n are that the fi gures come out nicer and that it makes some important definitions more concise.
Figure I. Si te percolation on (he triangular grid as re presented by colored hexagons.
The above percolation model is site (or vertex) percolation on the triangular grid. Likew ise, there is a bond (or edge) model, where o ne considers a random subgraph of a grid whose vertex set is the set of all vertices of the grid, but where each edge of the grid is in the percolati on subgraph with probability p, independently. Additionall y, there are various percolation models which are not based o n a Ian ice. Some of these wi ll be discussed in later sections. There is an important value Pc of the parameter p . which is the threshold for the ex istence of an unbounded cluster and is called the critical value of p . The actual value of Pc varies depending on the parti cular percolation model. For site percolati on on the triangular grid, as well as for bond percolation on the square grid, we have Pc = 1/2. This is a theorem of Kesten [43]. based o n earlier work by Harris [33], Russo l7 8] and Seymour and We lsh [84]. The underlying reason for this nice value of Pc is a duality which these two models have, though the precise form of the duality they exhibit is 1162
Conformally invariant scaling limits: an overview and a collection of problems
5 15
different. For bond percolation on the triangular grid Pc = 2 sin (1l/1S) [98], whi le for site percolation on the square grid there is not even a prediction for the value of Pc, though rigorous and experimental estimates exi st. As P increases beyond Pc . the large scale behavior of percolation undergoes a rapid change. This is perhaps the mathematically simplest model of a phase transition. From now o n, we wil l foc us our attention on critical percolation, that is, percolat ion with p = Pc. which is in many ways the most interesting value of p. We now define and di scuss the percolation interface curve indicated in Figure 2. Consider a bou nded domain D in the plane ]R2 = C whose boundary is a simple closed curve. Lei a+ c aD be a proper arc on the boundary of D. Given e > 0 we may consider the collection of hexagons in a hexagonal grid of mesh e which intersect D. Each of these hexagons which meets 8+ we color white, each of the hexagons which meet aD but not a+ we co lor black, and each of the hexagons contained in D we color white or black with probabi lity 1/ 2, independently. In addition to whjte clu s~ ters (con nected com ponents of whi te hexagons) sometimes, black clusters are also considered. Percolat ion theory is the study of connected components of random sets, such as these clusters.
Fi gure 2. The interface associated with percolation.
For simpl icity, we assume that aD is sufficiently smooth and e is suffi ciently small so that the union of hexagons intersecting aD but not a+ is connected. There is a un ique (random) path {3, which is the common boundary of the white cl uster meeting a+ and the black cluster meeting aD. The law ILD. 3+.e of {3 is a probabi lity measure on the space of closed subsets of
i5
wi th the Hausdorff metric. Smirnov [87] proved that as e \.O the measure 1163
516
Oded Schramm
J-L D,o+,£ converges weakly to a measure JLD J)+ , and thai J-L is conformally invariant,
in the following sense. If f: i5 --+ Df C )R.2 is a homeomorphi sm thai is analytic in D, then the push forw ard of /.LD. a+ under f is J-Lf( D)./(fJ+) . In other words, if E is small, then /({3) is a good approximation for the corresponding path defi ned using a hexagonal grid of mesh e in I(D) = 0 ' , This type of conformal invariance was believed to hold for many "critical" random systems in two dimensions. However, the o nly previous resu lt establishing conformal invariance for a random scaling limi t is Levy's theorem [64] stating that for two-dimensional Brownian motion, the scaling lim it of simple random wal k on Z} , is conformally invariant up to a time-change. Smimov's proof is very beautifu l, and the result is important, bUI describing the proofw il llhrow us too far off course (since forthi s paper percolation is just an exampl e model, nOI the primary topic). The interested reader is encouraged to consu lt [12], [30], [70J , [451 for backgrou nd in percolation and highl ights of percolation theory. An elegant simplification of parts of Smimov's proof has been discovered by Vincelll Beffara [II ]. A more detai led version of other parts of Smirnov's argument appears i" [19). Though th is was not the original inspiration, we w ill now use Smirnov's resu lt to motivale the defi nition of SLE. By conformal invariance, we may venture 10 understand fJ in Ihe domain of our choice. The si mplest situation turns oul to be when D = JH[ is the upper half plane and a+ is the positive real ray R+, as in Figure 3.
Figure 3. The percolation interface in the upper half plane.
(Though thi s domain D is unbounded, that does not cause any problems.) We may consider the di screte path fJ as a si mple path fJ: [0, T) ---+ !HI starting near 0 and satisfy ing Iimt_T IfJ(t )1 = 00 (where T is finite or infin ite) . We would like to learn about fJ by understanding the one-parameter fami ly of conformal maps g, mapping 1HI \ fJ([D, t]) onto 1HI. To faci litate th is, we must firs t 1164
Confonnally invariant scaling limits: an overview and a collection of problems
517
recall a few basic facts and discuss Loewner's theorem. At this point, assume only that {J is a simple path in H with {J(O) E JR and {J(t) f/. JR for t > O. The existence of the conformal maps gt: H \ {J([O, t]) -+ H is guaranteed by Riemann's mapping theorem. However, gt is not unique. In order to choose a specific gt for every t, we first require that gt (00) = 00. Schwarz reflection in the real axis implies that gt is analytic in a neighborhood of 00, and therefore admits a power series representation in liz, gt(z) = al z + ao + a-I Z-I + a-2 Z-2 + ... , valid for all z sufficiently large. Since gt maps the real line near 00 into the real line, it follows that aj E JR for all j, and because gt: H \ {J ([0, t]) -+ H, we find that al > O. We now pick a specific gt by imposing the so-called hydrodynamic normalization at 00, namely al = 1 and ao = O. This can clearly be achieved by post-composing with a map of the form z J-+ a Z + b, a > 0, b E R The coefficients aj of the series expansion of gt are now functions of t. It is not hard to verify that a-I (t) is a continuous, strictly increasing function of t. Clearly, go(z) = z and hence a-I (0) = O. We may therefore reparametrize {J so as to have a_I (t) = 2 t for all t > O. This is called the half-plane capacity parametrization of {J. With this parametrization, a variant of Loewner's theorem [65] states that the maps gt satisfy the differential equation
2 gt(z) - W(t)'
(1)
where W (t) := gt ({J (t)) is called the Loewner driving term. A few comments are in order. 1. Although gt is defined in H \ {J([O, t]), it does extend continuously to {J(t), and therefore Wet) is well defined. 2. If z = {J(s) for some s, then (1) makes sense only as long as t < s. That is to be expected. The domain of definition of gt is shrinking as t increases. A point z falls out of the domain of gt at the first time T = T z such that liminft,l'r gt(z) - W(t) = o. 3. The main point here is that information about the path {J is encoded in Wet), which is a path in JR. 4. The proof of (1) is not too hard. In [53, Theorem 2.6] a proof (of a generalization) may be found. We now return to the situation where {J is the percolation interface chosen according to fLlHI,lR+,e, parametrized by half-plane capacity. It is easy to see that in this case T = 00. Fix some s > O. Suppose that we examine the colors of only those hexagons that are necessary to determine {J ([0, s]). This can be done by sequentially testing the hexagons adjacent to {J starting from {J(O) as follows. Each time the already 1165
518
Oded Schramm
determined arc of fJ meets a hexagon whose color has not yet been examined, we test the color (which permi ts us to extend the determi ned initial arc of f3 by at least one segment), unti l fJ([O, s]) has been determi ned. See Figure 4.
Figure 4. Initial segment of interface.
Now comes the main point. Let Ds be the unbounded component of the collection
at
of hexagons of undetermined color in lHI, and let be the subset of aDs lying on the boundary of hexagons of determined color whjte. Then the di stribution of the continuation P([s, (0)) of the interface given .8([0, s]) is f.LD,.a~.t . By Smirnov's theorem, if G: Ds --+ 1HI is the conformal map sati sfying the hydrodynamic normal ization, then the image under G of J.LDj.a~.t is close to I-LH .G(j~ ).t. (Actually, to j ustify th is. one needs a slightly stronger "uniform" vers ion of Smirnov's theorem. But here we want to convey the main ideas, and do not bother about being entirely precise.) Now, since D J, approximates IHI \ ,8([0, s]), it fo llows that G is very close to 8s and G(a~J is close to [W(s) , (0) = [gs(,8(s» , (0). Therefore, in the limit as e '\" 0 , we have for,8 sampled according to /-LH.R+ that given J3([0, s]) the distribution of gs 0 ,8([s, 00» (which is the conformal image of the continuation of the path) is /-LH.R+ translated by We,). The Loewner driving term of the path t ~ gs 0 J3(s + 1) is W(s + 1), because gs+t 0 g;1 maps IHI \ gs(J3([s, s + tD) onto illI. The conclusion of the previous paragraph therefore implies that g iven (W(t) t E lO, sD the distribution of the continuation of W is identical to the original distribution of W translated to start at W(s). This is a very strong property. Indeed, for every II E Nand t > 0 we may write Wet) = :L = 1(WU t / /I) - W eu - 1)//11»), which by the above is a sum of II independent identicall y distributed random variables. If we assume that the variance of Wet) is fini te, then it is also the sum of the variances of the summands. By the central limit theorem, Wet) is therefore a Gaussian random variable. By symmetry, Wet) has the same distribution as - W(t), and so W(t) is a centered Gaussian. It now eas il y follows that there is some constant K ::: 0 such that Wet) has the same distribution as 8(K t), where 8 is one-dimensional Brownian motion starting at 8(0) = O. Us ing results from the theory of stochastic processes (e.g., the characterization of cont inuous martingales as time-changed Brownian motion), the same conclusion can be reached
1
1166
Conformally invariant scaling limits: an overview and a collection of problems
519
while replacing the assumption that Wet) has finite variance with the continuity of Wet) in t. We have just seen that Smirnov's theorem implies that the Loewner driving term of a sample from /L1HI,lE.+ is B(K t) for some K ::::: 0. This should serve as adequate motivation for the following definition from [79]. Definition 1.1. Fix some K ::::: 0, and let gt be the solution of Loewner's equation (1) satisfying go(z) = z with Wet) = B(K t), where B is standard one-dimensional Brownian motion starting at B(O) = 0. Then (gt : t ::::: 0) is called chordal stochastic Loewner evolution with parameter K or SLEK • Of course, SLEK is a random one-parameter family of maps; the randomness is entirely due to the Brownian motion. It has been proven [76], [59] that with probability 1 there is a (unique) random continuous path y (t) such that for each t ::::: the domain of definition of gt is the unbounded component of 1HI \ y([O, tD. The path is given by yet) = g;-l(W(t)), but proving that g;-l (W (t)) is well defined is not easy. It is also known [76] that a.s. yet) is a simple path if and only if K :::: 4 and is space-filling if and only if K ::::: 8. Sometimes the path y itself is called SLEK • This is not too inconsistent, because gt can be reconstructed from y([O, tD and vice versa. If D is a simply connected domain in the plane and a, bEaD are two distinct points (or rather prime ends), then chordal SLE from a to b in D is defined as the image of y under a conformal map from 1HI to D taking to a and 00 to b. Though the map is not unique, the choice of the map does not effect the law of the SLE in D. This follows from the easily verified fact that up to a rescaling of time, the law of the SLE path is invariant under scaling by a positive real constant, as is the case for Brownian motion. The reason for calling the SLE "chordal" is that it connects two boundary points of a domain D. There is another version of SLE, which connects a boundary point to an interior point, called radial SLE. Actually, there are a few other variations, but they all have similar definitions and analogous properties.
°
°
1.2. A historical narrative. In this subsection we list some works and discoveries related to SLE and random scaling limits in two dimensions. The following account is not comprehensive. Some of the topics not covered here are discussed in Wendelin Werner's [97] contribution to this IeM proceedings. We start by very briefly discussing the historical background. In the survey paper [49], Langlands, Pouliot and Saint-Aubin present a collection of intriguing predictions from statistical physics. They have discussed these predictions and some simulation data with Aizenman, which prompted him to conjecture that the critical percolation crossing probabilities are asymptotically conformally invariant (see [49D. This means that the probability Qs(D, ai, a2) that there exists a critical percolation cluster in a domain D C
°
1167
520
Oded Schramm
invariant, namely, Q(D, aI, a2) = Q(j(D), f(al), f(a2)) if f is a homeomorphism from D to feD) that is conformal in D. This led John Cardy [20] to propose his formula (involving hypergeometric functions) for the asymptotic crossing probability in a rectangle between two opposite edges. The survey [49] highlighted these predictions and the role of the conjectured conformal invariance in critical percolation, as well as several other statistical physics models in two dimensions. Prior to SLE there were attempts to use compositions of conformal slit mappings and even Loewner's equation in the study of diffusion limited aggregation (DLA). DLA is a random growth process, which produces a random fractal and is notoriously hard to analyse mathematically. (See [100], [4] for a definition and discussion of DLA.) Makarov and Carleson [22] used Loewner' s equation to study a much simplified deterministic variant of DLA, which is not fractal, and Hastings and Levitov [34] have used conformal mapping techniques for a non-rigorous study of more realistic versions of DLA. Given that the fractals produced by DLA are not conformally invariant, it is not too surprising that it is hard to faithfully model DLA using conformal maps. Harry Kesten [44] proved that the diameter of the planar DLA cluster after n steps grows asymptotically no faster than n 2/ 3 , and this appears to be essentially the only theorem concerning two-dimensional DLA, though several very simplified variants of DLA have been successfully analysed. The original motivation for SLE actually came from investigating the Loop-erased random walk (a.k.a. LERW), which is a random curve introduced by Greg Lawler [51]. Consider some bounded simply-connected domain D in the plane. Let G = G(D, s) be the sub graph of a square grid of mesh s that falls inside D and let Va be the set of vertices of G that have fewer than 4 neighbors in D. Suppose that 0 ED, and let 0 be some vertex of G closest to O. Start a simple random walk on G from 0 (at each step the walk jumps to any neighbor of the current position with equal probability). We keep track of the trajectory of the walk at each step, except that every time a loop is created, it is erased from the trajectory. The walk terminates when it first reaches Va, and the loop-erased random walk from 0 to Va is the final trajectory. See Figure 5, where D is a disk. The LERW is intimately related to the uniform spanning tree. In particular, if we collapse Va to a single vertex Va and take a random spanning tree of the resulting projection of G, where each possible spanning tree is chosen with equal probability, then the unique path in the tree joining 0 to Va (as a set of edges) has precisely the same law as the LERW from 0 to Va [74]. This is not a particular property of the square grid, the corresponding analog holds in an arbitrary finite graph. In the other direction, there is a marvelous algorithm discovered by David Wilson [99] which builds the uniform spanning tree by successively adding loop-erased random walks. The survey [66] is a good window into the beautiful theory of uniform spanning trees and forests. Using sophisticated determinantcalculations and Temperley's bijection between the collection of spanning trees and a certain collection of dimer tilings (which is 1168
Confonnally invariant scaling limits: an overview and a collection of problems
521
Figure 5. The LERW in a disk.
special to the planar setting), Richard Kenyon [39], [41], [40] was able to calculate several properties of the LERW. For example, it was shown that the variance of the winding number ofthe above LERW in G(D, 8) is (2 + 0(1)) log(I/8) as 8 \.. 0, and that the growth exponent for the number of edges in a LERW is 5/4. In [79] it was shown that if the limit of the law of the LERW as 8 \.. 0 exists and is conformally invariant, then it is a radial SLE2 path, when parametrized by capacity. (See subsection 2.1 for a description of two alternative topologies on spaces of probability measures on curves, for which this convergence may be stated.) In broad strokes, the reason why it should be an SLE path is basically the same as the argument presented above for the percolation interface. Two important properties of the percolation interface scaling limit were crucial in the above argument: conformal invariance and the following Markovian property. If we condition on an initial segment of the path, the remainder is an instance of the path in the domain slitted by the initial segment starting from the endpoint of the initial segment. Conformal invariance was believed to hold for the LERW scaling limit, while the Markovian property does hold for the reversal of the LERW. The identification of the correct value of the parameter IC as 2 is based on Kenyon's calculated LERW winding variance growth rate and a calculation of the variance of the winding number of the radial SLEK path truncated at distance 8 from the interior target point. The latter grows like (IC + 0(1)) log(1/8). It was also conjectured in [79] that the percolation interface discussed above converges to SLE6. The identification of the parameter IC as 6 in this case was based on Cardy's formula [20] and the verification that the corresponding formula holds for SLEK if and only if IC = 6. The percolation interface satisfies the following locality property. The evolution of the path (given its past) does not depend on the shape of the domain away from 1169
522
Oded Schramm
the current location of the endpoint of the path. Though this is essentially obvious, it should be noted that other interesting paths (such as the LERW scaling limit) do not satisfy locality. Another process that clearly satisfies locality is Brownian motion. Greg Lawler and Wendelin Werner [61], [62] studied the intersection exponents of planar Brownian motion and the relations between them. An example of an intersection exponent is the unique number ~ (l, 1) such that the probability that the paths of two independent Brownian motions started at distance 1 apart within the unit disk U and stopped when they first hit the circle R au do not intersect one another is R-W,I)+o(l) as R -+ 00. At the time, there were conjectures [27] for the values of many of these exponents, which were rational numbers, but only two of these could be proved rigorously (not accidentally, those had values 1 and 2). These exponents encode many fundamental properties of Brownian motion. For example, Lawler [50] showed that the dimension of the outer boundary of planar Brownian motion stopped at time t = 1, say, is 2 (l - a) for a certain intersection exponent a. Lawler and Werner [61], [62] have proved certain relations between the intersection exponents, and have shown that any process which like Brownian motion satisfies conformal invariance and a certain version of the locality property necessarily has intersection exponents that are very simply related to the Brownian exponents. Since SLE6 was believed to be the scaling limit of the percolation interface, it should satisfy locality. It is also conformally invariant by definition. Thus, the Brownian exponents should apply to SLE6. Indeed, in a series of papers [53], [54], [55] Lawler, Werner and the present author proved the conjectured values of the Brownian exponents by calculating the corresponding exponents for SLE6 (and using the previous work by Lawler and Werner). Very roughly, one can say that the reason why the exponents of SLE are easier to calculate than the Brownian exponents is that the SLE path, though it may hit itself, does not cross itself. Thus, the outer boundary of the SLE path is drawn essentially in chronological order. Later [58] it became clear that the relation between SLE6 and Brownian motion is even closer than previously apparent: the outer boundary of Brownian motion started from 0 and stopped on hitting the unit circle au has the same distribution as the outer boundary of a variant of SLE6. Lennart Carleson observed that, assuming conformal invariance, Cardy's formula is equivalent to the statement that Q(D, aI, a2) = length(a2) when D is an equilateral triangle of sidelength 1, al is its base, and a2 c aD is a line segment having the vertex opposite to al as one of its endpoints. Smirnov [87] proved Carleson's form of Cardy's formula for critical site percolation on the triangular lattice (that is, the same percolation model we have described above) and showed that crossing probabilities between two arcs on the boundary of a simply connected domain are asymptotically conformally invariant. As a corollary, Smirnov concluded that the scaling limit of the percolation interface exists and is equal to the SLE6 path. This connection enabled proving many conjectures about this percolation model. For example, the prediction [24], [73] that the probability that the cluster of the origin has diameter larger 1170
Conformally invariant scaling limits: an overview and a collection of problems
523
than R decays like P[the origin is in a cluster of diameter ~ R]
= R- 5/ 4S +o (1)
(2)
as R --+ 00 was proved [56]. This value 5/48 is an example of what is commonly referred to as a critical exponent. Building on earlier work by Kesten and others, as well as on Smirnov's theorem and SLE, Smirnov and Werner [88] were able to determine many useful percolation exponents. Julien Dubedat [25] has used SLE to prove Watts' [92] formula for the asymptotic probability that in a given rectangle there are both a white horizontal and vertical crossing (for the above percolation model at P = Pc = 1/2). The next process for which conformal invariance and convergence to SLE was established is the LERW [59]. Contrary to Smirnov's proof for percolation, where convergence to SLE was a consequence of conformal invariance, in the case of the LERW the proof establishes conformal invariance as a consequence of the convergence to SLE2. More specifically, the argument in [59] proceeds by considering the Loewner driving term of the discrete LERW (before passing to the limit) and proving that the driving term converges to an appropriately time-scaled Brownian motion. The same paper also shows that the uniform spanning tree scaling limit is conformally invariant, and the Peano curve associated with it (essentially, the boundary of a thickened uniform spanning tree) converges to SLEs. Another difference between the results of [87] and [59] is that while the former is restricted to site percolation on the triangular lattice, the results in [59] are essentially lattice independent. Figure 5 above shows a fine LERW, which gives an idea of what an SLE2 looks like. Likewise, Figure 6 shows a sample of an initial segment of the uniform spanning tree Peano curve in a rectangular domain. Note that the curve is space filling, as is SLEs.
Figure 6. An initial segment of the uniform spanning tree Peano path. 1171
524
Oded Schramm
Meanwhile, Gady Kozma [47] came up with a different proof that the LERW scaling limit exists. Although Kozma's proof does not identify the limit, it has the advantage of generalizing to three dimensions [48]. There are two discrete models for which convergence to SLE4 has been established by Scott Sheffield and the present author. These models are the harmonic explorer [80] and the interface ofthe discrete Gaussian free field [81]. The discrete and continuous Gaussian free fields (a.k.a. the harmonic crystal) play an important role in the heuristic physics analysis of various statistical physics models. The discrete Gaussian free field is a probability measure on real valued functions defined on a graph, often a piece of a lattice. If, for example, the graph is a triangulation of a domain in the plane, an interface is a curve in the dual graph separating vertices where the function is positive from vertices where the function is negative. See [85] or [81] for further details, and see Figure 7 for a simulation of the harmonic explorer, and therefore an approximation ofSLE4.
Figure 7. The harmonic explorer path.
Sheffield also announced work in progress connecting the Gaussian free field with SLEK for other values of K. The basic idea is that while SLE4 may be thought of as a curve solving the equation h = 0, where h is the Gaussian free field, for other K, the SLEK curve may be considered as a solution of c winding(y [0, t])
= h(y(t)),
(3)
where c is a constant depending on K. When K = 4, the corresponding constant c is zero, which reduces to the setting of [81]. Alternatively, (3) can be heuristically written as c y'(s) = exp(i h(y(t)), where s is the length parameter of y. However, we stress that it is hard to make sense of these equations, for the Gaussian free field 1172
Conformally invariant scaling limits: an overview and a collection of problems
525
is not a smooth function (in fact, it is not even a function but rather a distribution). Likewise, the SLE path is not rectifiable and its winding at most points is infinite. As mentioned above, there are several different variants of SLE in simply connected domains: chordal, radial, as well as a few others, which we have not mentioned. These variants are rather closely related to one another [83]. There are also variants defined in the multiply-connected setting [101], [6], [5], [7]. One motivation for this study comes from statistical physics models, which are easy to define on multiply connected domains. Since one can easily vary the boundary conditions on different boundary components of the domain, it is clear that there is often more than one reasonable choice for the definition of the SLE path. Finally, we mention an intriguing connection between Brownian motion and SLEK fOrK E (8/3,4]. There is the notion of the Brownian loop soup [63], which is a Poisson measure on the space of Brownian motion loops. According to [93], the boundaries of clusters of a sample from the loop soup measure with intensity c are SLEK-like paths, where K = K(C) E (8/3,4]. The proof is to appear in a future joint work of Sheffield and Werner. The above account describes some of the highlights of the developments in the field in the past several years. The rest of the paper will be devoted to a description of some problems where we hope to see some future progress. Some of these problems are obvious to anyone working in the field (though the solution is not obvious), while others are borrowed from several different sources. A few of the problems appear here for the first time. The paper [76] contains some additional problems.
2. Random processes converging to SLE As we have seen, paths associated with several random processes have been proved to converge to various SLE paths. However, the list of processes where the convergence is expected but not proved yet is longer. This section will present questions of this sort, most of which have previously appeared in the literature. The strategy of the proofs of convergence to SLE in the papers [59], [80], [81] is very similar. In these papers, a collection of martingales with respect to the filtration given by the evolution of the curve is used to gain information about the Loewner driving term of the discrete curve. Although such a proof is also possible for the percolation interface (using Cardy's formula), this technique was not available at the time, and Smirnov used instead an argument which uses the independence properties of percolation in an essential way and is therefore not likely to be applicable to many other models. Thus, it seems that presently the most promising technique is the martingale technique from [59].
2.1. Notions of convergence. To be precise, we must describe the meaning of these scaling limits. In fact, there are at least two distinct reasonable notions of convergence, which we now describe. Suppose that Yn are random paths in the closed upper half 1173
526
Oded Schramm
plane 1HI starting from O. Consider the one-point compactification t = c U {(X)} of C = JR2, which may be thought of as the sphere S2. The law of Yn may be thought of as a Borel probability measure on the Hausdorff space of closed nonempty subsets of t. Since that Hausdorff space is compact, the space of Borel probability measures on it is compact with respect to weak convergence of measures [26]. We may say that Yn converges in the Hausdorff sense to a random set Y C 1HI U {(X)} if the law of Yn converges weakly to the law of y. A similar definition applies to curves in the closure of a bounded domain DeC. The above stated instances of convergence to SLE hold with respect to this notion. However, in the case of convergence to SLEs, this does not mean very much, for SLEs fills up the domain. The second notion of convergence is stronger. Suppose that each Yn is a.s. continuous with respect to the half-plane capacity parametrization from 00. (This holds, in particular, if Yn is a.s. a (continuous) simple path.) If d is a metric on t = c U {(X)} compatible with its topology, then we may consider the metric d*(fh, (h) :=
sup d(th(t),{h(t)) tE[O,ex:!)
on the space of continuous paths defined on [0, (0). We may say that Yn converges to a random path Y weakly-uniformly if the law of Yn converges weakly to the law of Y in the space of Borel measures with respect to the metric d*. This implies Hausdorff convergence. Since d* is finer than the Hausdorff metric, there are more functions from the space of paths to JR that are continuous with respect to d* than with respect to the Hausdorff metric. Consequently, weakly-uniform convergence is stronger than Hausdorff convergence. In all the results stated above saying that some random path converges to SLE, the convergence is weakly-uniform when the paths are parametrized by capacity or half-plane capacity (depending on whether the convergence is to radial or chordal SLE, respectively). In the following, when we ask for convergence to SLE, we will mean weaklyuniform convergence. However, weaker nontrivial forms of convergence would also be very interesting. 2.2. Self avoiding walk. Let G be either the square, the hexagonal or the triangular grid in the plane, positioned so that 0 is some vertex in G. For n E N consider the uniform measures on all self avoiding n-step walks in G that start at 0 and stay in the upper half plane. It has been shown in [60] that when G = 7L,2 the limiting measure as n -+ 00 exists. (The same proof probably applies for the other alternatives for G, provided that G is positioned so that horizontal lines through vertices in G do not intersect the relative interior of edges of G which they do not contain.) Problem 2.1 ([60]). Let Y be a sample from the n -+ 00 limit of the uniform measure on n-step self avoiding paths in the upper half plane described above. Prove that the limit as s ~ 0 of the law of s Y exists and that it is SLEsj3. The convergence may be considered with respect to either of the two topologies discussed in subsection 2.1. 1174
Conformally invariant scaling limits: an overview and a collection of problems
527
In [60] some consequences of this convergence are indicated, as well as support for the conjecture. There are some indications that the setting of the hexagonal lattice is easier: the rate of growth of the number of self avoiding paths on the hexagonal grid is predicted [72] to be (2 + -J2 + 0(1) r/2; no such prediction exists for the square grid or triangular lattice. In dimensions d > 4 Takashi Hara and Gordon Slade [32] proved that the scaling limit of self-avoiding random walk is Brownian motion. This is also believed to be the case for d = 4. See [67] for references and further background on the self-avoiding walk. 2.3. Height models. There is a vast collection of height model interfaces that should converge to SLE4. The one theorem in this regard is the convergence of the interface of the Gaussian free field [81]. This was motivated by Kenyon's theorem stating that the domino tiling height function converges to the Gaussian free field [42] and by Kenyon's conjecture that the double domino interface converges to SLE4 (see [76] for a statement of this problem). The domino height function is a function on Z2 associated with a domino tiling (see [42]). Its distribution is roughly (ignoring boundary issues) the uniform measure on functions h: Z2 ---+ Z such that h(O, 0) = 0,
0
h (x, y ) mo d 4 =
1 I
2
3
x, y even, x odd y even, x, y odd, x even y odd,
and Ih(z) - h(z')1 E {I, 3} if Iz - z'l = 1, z, Z' E Z2. Let D be a bounded domain in the plane whose boundary is a simple path in the triangular lattice, say. Let a+ and a_ be complementary arcs in aD such that the two common endpoints of these arcs are midpoints of edges. Consider the uniform measure on functions h taking odd integer values on vertices in D such that h = 1 on a+,h = -1 ona_, and Ih(v)-h(u)1 E {O, 2}forneighborsv, u. We may extend such a function h to D by affine interpolation within each triangle, and this interpolation is consistent along the edges. There is then a unique connected path y that is the connected component of h -1 (0) that contains the two endpoints of each of the two arcs a±. Problem 2.2. Is it true that the path y tends to SLE4? Does the law of h converge to the Gaussian free field? The convergence we expect for h is in the same sense as in [42]. Note that if we restrict in the above the image of h to be {I, -I}, we obtain critical site percolation on the triangular grid, and the limit of the corresponding interface is in this case SLE6. 1175
528
Oded Schramm
Now suppose that (D, 3+, 3_) is as above. Let A E (0, 1/2] be some constant and consider the uniform measure on functions h taking real values on vertices in D such that h = A on 3+, h = -A on 3_ and Ih(v) - h(u)1 :s 1 for every edge [v, u].
Problem 2.3. Is it true that for some value of Athe corresponding interface converges to SLE4? Does the law of h converge in some sense to the Gaussian free field? In the case of the corresponding questions for the discrete Gaussian free field, there is just one constant A such that the interface converges to SLE4. For other choices of A the interface converges to a well-known variant of SLE4 [81]. There are some restricted classes of height models for which convergence to the Gaussian free field is known [71]. It may still be very hard to prove that the corresponding interface converges to SLE4. One interesting problem of this sort is the following.
Problem 2.4 ([81]). If we project the Gaussian free field onto the subspace spanned by the eigenfunctions of the Dirichlet Laplacian with eigenvalues in [-r, r] and add the harmonic function with boundary values ±A on 3±, does the corresponding interface converge to SLE4 as r --+ 00 when A is chosen appropriately? The problem is natural, because the Gaussian free field is related to the Dirichlet Laplacian. In particular, the projections of the field onto the spaces spanned by eigenfunctions with eigenvalues in two disjoint intervals are independent. 2.4. The Ising, FK, and 0 (n) loop models. The Ising model is a fundamental physics model for magnetism. Consider again a domain D adapted to the triangular lattice and a partition 3D = 3+ U 3_ as in subsection 2.3. Now consider a function h that take the values ± 1 on vertices in D such that h is 1 on 3+ and -Ion 3_. On the collection of all such functions we put a probability measure such that the probability for a given h is proportional to e- 2{3k, where f3 is a parameter and k is the number of edges [v, u] such that h(v) i= h(u). This is known as the Ising model and the value associate to a vertex is often called a spin. It is known that the critical value f3e (which we do not define here in the context of the Ising model) for f3 satisfies e 2{3 = J3 (see [69], [35]). Again, the interface at the critical f3 = f3e is believed to converge to an SLE path, this time SLE3. For f3 E [0, f3e) fixed, the interface should converge to SLE6. Note that when f3 = 0, the model is again identical to critical site percolation on the triangular grid, and the interface does converge to SLE6.
Problem 2.5. Prove that when f3 = f3e, the interface converges to SLE3 and when f3 E (0, f3e) to SLE6. When f3 > f3e we do not expect convergence to SLE, and do not expect conformal invariance. The interface scaling limit is in this case a straight line segment if the domain is convex [75] (see also [29]). The Fortuin-Kasteleyn [28] (FK) model (a.k.a. the random cluster model) is a probability measure on the collection of all subsets of the set of edges E of a finite 1176
Conformally invariant scaling limits: an overview and a collection of problems
graph G
=
529
(V, E). In the FK model, the measure of each weE is proportional to
(p/(l - p) )Iwl qC, where q > 0 and p E (0, 1) are parameters, Iwl is the cardinality of w, and c is the number of connected components of the subgraph (V, w). The FK model is very closely related to the well known Potts model [8], which is a generalization of the Ising model. Many questions about the Potts model can be translated to questions about the FK model and vice versa. On the grid 7l 2 , when p = .j7j/ (1 + .j7j) the FK model satisfies a form of selfduality.
Problem 2.6 ([76]). Prove that when q E (0,4) and p = .j7j/(1 +.j7j), the interface of the FK model on 712 with appropriate boundary conditions converges to SLEK , where K = 4 n / cos -1 ( - .j7j/2). (See [76] for further details.) The O(n) loop model on a finite graph G = (V, E) is a measure on the collection of subgraphs of G where the degree of every vertex in the subgraph is 2. (The subgraph does not need to contain all the vertices.) The probability of each such sub graph is proportional to x e n C , where c is the number of connected components, e is the number of edges in the subgraph, and x, n > 0 are parameters. When n is a positive integer, the 0 (n) loop model is derived from the 0 (n) spin model, which is a measure on the set of functions which associate to every vertex a unit vector in ]Rn. In order to pin down a specific long path in the 0 (n) loop model, we pick two points on the boundary of the domain and require that in the random subgraph the degrees of two boundary vertices near these two points be I, while setting the degrees of all other boundary vertices to 0, say. Then the measure is supported on configurations with one simple path and a collection of loops. 1/ 2 , Now we specialize to the hexagonal lattice. Set xc(n) := (2 + which is the conjectured critical parameter [72].
,J2=11r
Problem 2.7 ([36]). Prove that when n E [0,2] and x = xc(n) (respectively, x > xc(n» the scaling limit of the path containing the two special boundary vertices is chordalSLEK , whereK E [8/3,4] (respectively, K E [4,8]) andn = -2 cos(4n/K). When x < xc(n), we expect the scaling limit to be a straight line segment (if the domain is convex). The fact that at n = 1 we get the same limits as for the Ising model is no accident. It is not hard to see that the 0 (1) loop measure coincides with the law of boundaries of Ising clusters. See [36] for further details. Similar conjectures should hold in other lattices. However, the values of the critical parameters are expected to be different. 2.5. Lattice trees. We now present an example of a discrete model where we suspect that perhaps conformal invariance might hold. However, we do not presently have a candidate for the scaling limit. Fix n E N+, and consider the collection of all trees contained in the grid G that contain the origin and have n vertices. Select a tree T from this measure, uniformly at random. 1177
530
Oded Schramm
Problem 2.8. What is the growth rate of the expected diameter of such a tree? If we rescale the tree so that the expected (or median) diameter is 1, is there a limit for the law of the tree as n ---+ oo? What are its geometric and topological properties? Can the limit be determined? It would be good to be able to produce some pictures. However, we presently do not know how to sample from this measure.
Problem 2.9. Produce an efficient algorithm which samples lattice trees approximately uniformly, or prove that such an algorithm does not exist. See [86] for background on lattice trees and for results in high dimensions and [17] for an analysis of a related continuum model.
2.6. Percolation interface. It is natural to try to extend the understanding of percolation at Pc to percolation at a parameter p tending to Pc. One possible framework is as follows. Fix a parameter q E (0, 1). Suppose that in Figure 3 with small mesh c: > 0 we choose p (c:) so that the probability to have a left to right crossing of white hexagons in some fixed 1 x 1 square in the upper half plane is q at percolation parameter p = p(c:). The corresponding interface will still be an unbounded path starting at 0, but its distribution will be different from the interface at p = 1/2 if q t= 1/2. Thus, it is natural to ask Problem 2.10 (Lincoln Chayes (personal communication)). What is the scaling limit of the interface as c: '\i. 0 and p = p (c:) if q t= 1/2 is fixed? This problem is also very closely related to a problem formulated by F. Camia, L. Fontes and C. Newman [18]. Site percolation on the triangular lattice is only one of several different models for percolation in the plane. Among discrete models, widely studied is bond percolation on the square grid. As for site percolation on the triangular lattice, the critical probability is again Pc = 1/2. At present, Smimov's proof does not work for bond percolation on the square grid. The proof uses the invariance of the model under rotation by 2 n /3. Thus, the following problem presents itself.
Problem 2.11. Prove Smimov's theorem for critical bond percolation on Z2. Some progress on this problem has been reported by Vincent Beffara [9]. There are other natural percolation models which have been studied. Among them we mention Voronoi percolation and the boolean model. In Voronoi percolation one has two independent Poisson point processes in the plane, Wand B, with intensities p and 1- p, respectively. Let Wbe the closure of the set of points inlR2 closer to W than to B, and let Bbe the closure of the set of points closer to B. The set Wis a sample from Voronoi percolation at parameter p. Some form of conformal invariance was proved for Voronoi percolation [14], but the version proved does not imply convergence 1178
Conformally invariant scaling limits: an overview and a collection of problems
531
to SLE. It is neither stronger nor weaker than the conformal invariance proved by Smirnov. Notable recent progress has been made for Voronoi percolation by Bollobas and Riordan [15], who established the very useful Russo-Seymour-Welsh theorem, as well as Pc = 1/2 for Voronoi percolation. Problem 2.12. Prove Smirnov's theorem for Voronoi percolation.
The boolean percolation model (a.k.a. continuum percolation) can be defined by taking a Poisson set of points W C ]R2 of intensity I and letting W be the set of points in the plane at distance at most r from W. Here, r is the parameter of the modeL (Alternatively, one may fix r = 1, say, and let the intensity of the Poisson process be the parameter, but this is essentially the same, by scaling.) The RussoSeymour-Welsh theorem is known for this model [1], [77], but the critical value of the parameter has not been identified. A nice feature which the model shares with Voronoi percolation is invariance under rotations. Problem 2.13. Prove Smirnov's theorem for boolean percolation.
3. Critical exponents The determination of critical exponents has been one motivation to prove conformal invariance for discrete models. For example, den Nijs and Nienhuis predicted [24], [73] that the probability that the critical percolation cluster of the origin has diameter larger than R is R- 5/ 48 +o (l) as R ---+ 00. Likewise, the probability that a given site in the square [- R, R]2 is pivotal for a left-right crossing of the square [-2 R, 2 R]2 was predicted to be R- 5/ 4+o (l). (Here, pivotal means that the occurrence or nonoccurrence of a crossing would be modified by flipping the status of the site.) These and other exponents were proved for site percolation on the triangular grid using Smirnov's theorem and SLE [56], [88]. The determination of the exponents is very useful for the study of percolation. Richard Kenyon [39] calculated by enumeration techniques involving determinants the asymptotics of the probability that an edge belongs to a loop-erased random walk. The probability decays like R- 3/ 4+o (1) when the distance from the edge to the endpoints of the walk is R. However, Kenyon's estimate is much more precise; he shows that, in a specific domain, R 3/ 4 times the probability is bounded away from zero and infinity, and in fact estimates the probability as f R- 3/4 (1 + 0(1») as R ---+ 00, where f is an explicit function of the position of the edge. Thus, it is natural to ask for such precise estimates for the important percolation events as well. Namely, Problem 3.1. Improve the estimates R- 5/ 48 +o (1) and R- 5/ 4+o (1) mentioned above (as well as other similar estimates) to more precise formulas. It would be especially nice to obtain estimates that are sharp up to multiplicative constants. 1179
532
Oded Schramm
In addition to the case of the loop-erased random walk mentioned above, estimates up to constants are known for events involving Brownian motions [57]. The difficulty in getting more precise estimates is not in the analysis of SLE. Rather, it is due to the passage between the discrete and continuous setting. Consequently, the above problem seems to be related to the following. Problem 3.2. Obtain reasonable estimates for the speed of convergence of the discrete processes which are known to converge to SLE. There are still critical exponents which do not seem accessible via an SLE analysis. For example, we may ask Problem 3.3. Calculate the number ex such that on the event that there is a left-right crossing in critical percolation in the square [0, R]2, the expected length of the shortest crossing is Ra+o(l). Ziff [102] predicts an exponent which is related to this ex, but it seems that there is currently no prediction for the exact value of ex.
4. Quantum gravity Consider the uniform measure ILn on equivalence classes of n-vertex triangulations of the sphere, where two triangulations are considered equivalent if there is a homeomorphism of the sphere taking one to the other. One may view a sample from this measure with the graph metric as a random geometry on the sphere. Such models go under the name "quantum gravity" in physics circles. One may also impose statistical physics models on such random triangulations. For example, the sample space may include such a triangulation (or rather, equivalence class of triangulations) together with a map h from the vertices to {-I, I}. The measure of such a pair may be taken proportional to a k , where k is the number of edges [v, u] in the triangulation for which h(v) i= h(u) and a > is a parameter. Thus, we are in effect considering a triangulation weighted by the Ising model partition function. (The partition function is in this case the sum of all the weights of such functions h on the given triangulation.) Likewise, one may weight the triangulation by other kinds of partition functions. In some cases it is easier to make a heuristic analysis of such statistical physics models in the quantum gravity world than in the plane. The enigmatic KPZ formula of Knizhnik, Polyakov and Zamolodchikov [46] was used in physics to predict properties of statistical physics in the plane from the corresponding properties in quantum gravity. Basically, the KPZ formula is a formula relating exponents in quantum gravity to the corresponding exponents in plane geometry. To date, there has been progress in the mathematical (as well as physical) understanding of the statistical physics in the plane as well as in quantum gravity [2], [3], [16]. However, there is still no mathematical understanding of the KPZ formula. In fact, the author's understanding of KPZ is too weak to even state a concrete problem.
°
1180
Confonnally invariant scaling limits: an overview and a collection of problems
533
However, we may ask about the scaling limit of /Ln. There has been significant progress lately describing some aspects of the geometry of samples from /Ln [2], [23]. In particular, it has been shown by Chassaing and Schaeffer [23] that if Dn is the graphmetric diameter of a sample from /Ln, then Dn / n -1 /4 converges in law to some random variable in (0, (0). However, the scaling limit of samples from /Ln is not known. On the collection of compact metric spaces, we may consider the Gromov-Hausdorff distance dGH(X, Y), which is the infimum of the Hausdorff distance between subsets X* and Y* in a metric space Z* over all possible triples (X*, Y*, Z*) such that Z* is a metric space, X*, Y* C Z*, X is isometric with X* and Y is isometric with Y*. Let Xn be a sample from /Ln, considered as a metric space with the graph metric scaled by n- 1/ 4 , and let /L~ denote the law of X n .
Problem 4.1. Show that the weak limit limn ---+ oo /L~ with respect to the GromovHausdorff metric exists. Determine the properties of the limit. Note that [68] proves convergence of samples from /Ln, but the metric used there on the samples from /Ln is very different and consequently a solution of Problem 4.1 does not seem to follow.
5. Noise sensitivity, Fourier spectrum, and dynamical percolation The indicator function of the event of having a percolation crossing in a domain between two arcs on the boundary is a boolean function of boolean variables. Some fundamental results concerning percolation are based on general theorems about boolean functions. (One can mention here the BK inequality, the Harris-FKG inequality and the Russo formula. See, e.g. [30].) Central to the theory of boolean functions is the Fourier expansion. Basically, if I: {-I, l}n ---+ lR is any function of n bits, the Fourier-Walsh expansion of I is I(x)
=
L
j(s) Xs(x),
Sc[n]
where Xs(x) = njESXj for S C [n] = {I, ... , n}. When we consider {-I, l}n with the uniform probability measure, the collection {XS : S C [n]} forms an orthonormal basis for L2({ -1, l}n). (Often other measures are also considered.) If we suppose that II I 112 = 1 (in particular, this holds if I: {-I, 1}2 ---+ {-I, I}), then the Parseval identity gives LSc[n] j(S)2 = 1. Thus, we get a probability measure /LIon 2[n] = {S : S C [n]} for which /L/({S}) = j(S)2. The map S t-+ lSI, assigning to each S C [n] its cardinality pushes forward the measure /LI to a measure iLion {O, 1, ... ,n}. This measure iLl may be called the Fourier spectrum of I. The Fourier spectrum encodes important information about I, and quite a bit of research on the subject exists [37]. For instance, one can read off from iLl the sensitivity of I to noise (see [13]). 1181
534
Oded Schramm
When I is a percolation crossing function (i.e., 1 if there is a crossing, -1 otherwise), the corresponding index set [n] is identified with the collection of relevant sites or bonds, depending if it is a site or bond modeL Though there is some partial understanding of the Fourier spectrum of percolation [82], the complete picture is unclear. For example, if the domain is approximately an e x e square in the triangular lattice, then for the indicator function Ie of a crossing in critical site percolation it is known [82] that for every a < 1/8 (4)
as e ---+ 00. This is proved using the critical exponents for site percolation as well as an estimate for the Fourier coefficients of general functions (based on the existence of an algorithm computing the function which is unlikely to examine any specific input variable). On the other hand, using the percolation exponents one can show that (4) fails if a > 3/4. This is based on calculating the expected number of sites pivotal for a crossing (i.e., a change of the value of the corresponding input variable would change the value of the function) as well as showing that the second moment is bounded by a constant times the square of the expectation. The expected number of pivotals is known [88] to be e3 / 4+0 (1) as e ---+ 00. It is reasonable to conjecture that (4) holds for every a < 3/4.
ProblemS.I. Is it true thatlime--+ooJLJe([eal, ea2 ]) = I ifa1 < 3/4 < a2? Determine the asymptotic behavior of JLIe ([e al , ea2 ]) as e ---+ 00 for arbitrary 0 ::: a1 < a2 ::: 2. Estimates on the Fourier coefficients of percolation crossings (in an annulus) play a central part in the proof [82] that dynamical percolation has exceptional times. Dynamical percolation (introduced in [31]) is a model in which at each fixed time one sees an ordinary percolation configuration, but the random bits determining whether or not a site (or bond) is open undergo random independent flips at a uniform rate, according to independent Poisson processes. The main result of [82] is that dynamical critical site percolation on the triangular lattice has exceptional times at which there is an infinite percolation component. These set of times are necessarily of zero Lebesgue measure. A better understanding of the Fourier coefficients may lead to sharper results about dynamical percolation, such as the determination of the dimension of exceptional times. Some upper and lower bounds for the dimension are known [82]. One would hope to understand the measure f.LJ geometrically. Gil Kalai (personal communication) has suggested the problem of determining the scaling limit of f.LJ. More specifically, the Fourier index set S for critical percolation crossing of a square is naturally identified with a subset of the plane. If we rescale the square to have edge length I while refining the mesh, then f.LJ may be thought of as a probability measure on the Hausdorff space Jf of closed subsets of the square. It is reasonable to expect that f.LJ converges weakly to some probability measure f.L on Jf. We really do not know what samples from f.L look like. Could it be that f.L is supported on singletons? Alternatively, is it possible that f.L[S = entire square] = I? Is S a Cantor set f.L-a.s.? 1182
Confonnally invariant scaling limits: an overview and a collection of problems
535
Problem 5.2 (Gil Kalai, personal communication). Prove that the limiting measure J-t exists and determine properties of samples from J-t. Kalai suspects (personal communication) that the set S is similar to the set of pivotal sites (which is a.s. a Cantor set in the scaling limit). This is supported by the easily verified fact that P[i E S] = P[i pivotal] and P[i, j E S] = P[i, j pivotal] hold for arbitrary boolean functions. Examples of functions where the scaling limit of S has been determined are provided by Tsirelson [90], [91]. One may try to study a scaling limit of dynamical percolation. Consider dynamical critical site percolation on a triangular lattice of mesh £, where the rate at which the sites flip is A > O. We choose A = A(£) so that the correlation between having a leftright crossing of a fixed square at time 0 and at time 1 is 1/2, say. Noise sensitivity of percolation [13] shows that lime\.,o A(£) = 0 and the results of [82] imply that A(£) = £0(1) and £ = A(£)0(1) for £ E (0, 1]. It is not hard to invent (several different) notions in which to take the limit of dynamical percolation as £ ~ O. Problem 5.3. Prove that the scaling limit of dynamical critical percolation exists. Prove that correlations between crossing events at different times t1 < t2 decay to zero as t2 - t1 ---+ 00 and that a change in a crossing event becomes unlikely if t2 - t1 ---+ O. Since the correlation between events occurring at different times can be expressed in terms of the Fourier coefficients [13], [82], it follows that the second statement in Problem 5.3 is very much related to strong concentration of the measure fife, in the spirit of Problem 5.1. Because of the dependence of A on £, it is not reasonable to expect the dynamical percolation scaling limit to be invariant under maps of the form I x identity, where I: D ---+ D' is conformal and the identity map is applied to the time coordinate. In particular, in the case where I (z) = a Z, a > 0, one should expect dynamical percolation to be invariant under the map I x (t 1---+ af3 t), where f3 := -lime\.,ologA(£)/log£ (and this limit is expected to exist). It is not too hard to see that f3 = 3/4 ifthe answer to the first question in Problem 5.1 is yes. This suggests a modified form of conformal invariance for dynamical percolation. Suppose that F(z, t) has the form F(z, t) = (f(z), g(z, t)), where I: D ---+ D'is conformal and g satisfies 8t g(z, t) = II' (z) 1f3, with the above value of f3. Is dynamical percolation invariant under such maps? If such invariance is to hold, it would be in a "relativistic" framework, in which one does not consider crossings occurring at a specific time slice, but rather inside a space-time set. It is not clear if one can make good sense of that.
6. LERW and UST The loop-erased random walk and the uniform spanning tree are models where very detailed knowledge exists. They may be studied using random walks and electrical 1183
536
Oded Schramm
network techniques, and in the two-dimensional setting also by SLE as well as domino tiling methods. (See [66] and the references cited there.) However, some open problems still remain. One may consider the random walk in a fine mesh lattice in the unit disk, which is stopped when it hits the boundary of the disk. The random walk converges to Brownian motion while its loop-erasure converges to SLE2. It is therefore reasonable to expect that the law of the pair (random walk, its loop-erasure) converges to a coupling of Brownian motion and SLE2. (If not, a subsequential limit will converge.) Problem 6.1. In this coupling, is the SLE2 determined by the Brownian motion? It seems that this question occurred to several researchers independently, including Wendelin Werner (personal communication). Of course, one cannot naively loop-erase the Brownian motion path, because there is no first loop to erase and there are cases where the erasure of one loop eliminates some of the other loops. It is also interesting to try to extend some of the understanding of probabilistic statistical physics models beyond the planar setting to higher genus. The following problem in this direction was proposed by Russell Lyons (personal communication). Consider the uniform spanning tree on a fine square grid approximation of a torus. There is a random graph dual to the tree, which consists of the dual edges perpendicular to primal edges not in the tree. It is not hard to see that this random dual of the tree contains precisely three edge-simple closed paths (i.e., no repeating edges), and that these paths are not null-homotopic.
Problem 6.2. Determine the distribution of the triple of homotopy classes containing these three closed paths. The problem would already be interesting for a square torus, but one could hope to get the answer as a function of the geometry of the torus.
7. Non-discrete problems In this section we mention some problems about the behavior of SLE itself, which may be stated without relation to any particular discrete model. The parametrization of the SLE path by capacity is very convenient for many calculations. However, in some situations, for example when you consider the reversal of the path, this parametrization is not so useful. It would be great if we had an understanding of a parametrization by a kind of Hausdorff measure. Thus we are led to Problem 7.1. Define a Hausdorff measure on the SLE path which is a-finite. We would expect the measure to be a.s. finite on compact subsets of the plane. 1184
Conformally invariant scaling limits: an overview and a collection of problems
537
That the Hausdorff dimension ofthe SLE path is min{2, 1 + K 18} has been established by Vincent Beffara [10]. When K < 8 (in which case the path has zero area), we expect the a-finite Hausdorff measure to be the Hausdorff measure with respect to the gauge function
Problem 7.2. Fix K < 8. Find necessary or sufficient conditions on a deterministic compact set K c 1HI to satisfy p[ K n y 1= 0] > 0, where y is the SLEK path. The case K c lR is of particular interest. When K = 8/3 and 1HI \ K is simply connected, there is a simple explicit formula [58] for p[y n K 1= 0]' It is not clear if such formulas are also available for other values of K. Wendelin Werner [96] proved the existence of a random collection of SLEs/3-like loops with some wonderful properties. In particular, the expected number of loops which separate two boundary components of an annulus is conformally invariant, and therefore a function of the conformal modulus of the annulus. However, this function is not known explicitly. Many of the random interfaces which are known or believed to converge to SLE are reversible, in the sense that the reversed path has the same law as the original path (with respect to a slightly modified setup). This motivates the following problem from [76].
Problem 7.3. Let y be the chordal SLEK path, where K :::: 8. Prove that up to reparametrization, the image of y under inversion in the unit circle (that is, the map z t-+ 1I z) has the same law as y itself. The reason that we restrict to the case K :::: 8 is that this is false when K > 8 (as will be proved in a forthcoming joint paper with Steffen Rohde). Indeed, there are no known models from physics that are believed to be related to SLEK when K > 8. Sheffield (personal communication) expects that at least in the case K < 4 Problem 7.3 can be answered by studying the relationship between the Gaussian free field and SLE. 1185
538
Oded Schramm
Acknowledgments. Greg Lawler, Wendelin Werner and Steffen Rohde have collaborated with me during the early stages of the development of SLE. Without them the subject would not be what it is today. I wish to thank Itai Benjamini, Gil Kalai, Richard Kenyon, Scott Sheffield, Jeff Steif and David Wilson for numerous inspiring conversations. Thanks are also due to Yuval Peres for useful advice, especially concerning Problem 7.1.
References [1] Alexander, K. S., The RSW theorem for continuum percolation and the CLT for Euclidean minimal spanning trees. Ann. Appl. Probab. 6 (2) (1996),466-494. [2] Angel, 0., Growth and percolation on the uniform infinite planar triangulation. Geom. Funct. Anal. 13 (5) (2003), 935-974. [3] - , Scaling of Percolation on Infinite Planar Maps, I. Preprint, 2005; arXiv:math.PrI 0501006. [4] Barlow, M. T., Fractals, and diffusion-limited aggregation. Bull. Sci. Math. 117 (1) (1993), 161-169. [5] Bauer, R. 0., and Friedrich, R. M., On radial stochastic Loewner evolution in multiply connected domains. 1. Funct. Anal. 237 (2) (2006), 565-588. [6] - , Stochastic Loewner evolution in multiply connected domains. C. R. Math. Acad. Sci. Paris 339 (8) (2004), 579-584. [7] - , On Chordal and Bilateral SLE in multiply connected domains. Preprint, 2005; arXiv:math.Pr/0503178. [8] Baxter, R. J., Kelland, S. B., and Wu, F. Y., Equivalence of the Potts model or Whitney polynomial with an ice-type model. 1. Phys. A 9 (1976), 397-406. [9] Beffara, v., Critical percolation on other lattices. Talk at the Fields Institute, 2005; http://www.fields.utoronto.ca/audio/05-06/. [10] - , The dimension of the SLE curves. Preprint, 2002; arXiv:math.Pr/0211322. [11] - , Cardy's formula on the triangular lattice, the easy way. Preprint, 2005; http://www.umpa.ens-lyon.frrvbeffara/files/Proceedings-Toronto.pdf. [12] Beffara, v., and Sidoravicius, 0507220.
v.,
Percolation theory. Preprint, 2005; arXiv:math.PrI
[13] Benjamini, I., Kalai, G., and Schramm, 0., Noise sensitivity of Boolean functions and applications to percolation. Inst. Hautes Etudes Sci. Publ. Math. 90 (1999), 5-43. [14] Benjamini, I., and Schramm, 0., Conformal invariance ofVoronoi percolation. Comm. Math. Phys. 197 (1) (1998), 75-107. [15] Bollobas, B., and Riordan, 0., The critical probability for random Voronoi percolation in the plane is 112. Probab. Theory Related Fields 136 (2006), 417-468. [16] Bousquet-Melou, M., and Schaeffer, G., The degree distribution in bipartite planar maps: applications to the Ising model. Preprint, 2002; arXiv:math.CO/0211070. [17] Brydges, D. C., and Imbrie, J. Z., Branched polymers and dimensional reduction. Ann. of Math. (2) 158 (3) (2003), 1019-1039. 1186
Conformally invariant scaling limits: an overview and a collection of problems
539
[18] Camia, F., Fontes, L. R. G., and Newman, C. M., The Scaling Limit Geometry of NearCritica12D Percolation. Preprint, 2005; cond-matl0510740. [19] Camia, F., and Newman, C. M., The Full Scaling Limit of Two-Dimensional Critical Percolation. Preprint, 2005; arXiv:math.Pr/0504036. [20] Cardy, J., Critical percolation in finite geometries. 1. Phys. A 25 (4) (1992), L201-L206. [21] - , SLE for theoretical physicists. Ann. Physics 318 (1) (2005), 81-118. [22] Carleson, L., and Makarov, N., Aggregation in the plane and Loewner's equation. Comm. Math. Phys. 216 (3) (2001), 583-607. [23] Chassaing, P., and Schaeffer, G., Random planar lattices and integrated superBrownian excursion. Probab. Theory Related Fields 128 (2) (2004), 161-212. [24] den Nijs, M., A relation between the temperature exponents of the eight-vertex and the q-state potts model. 1. Phys. A 12 (1979), 1857-1868. [25] Dubedat, J., Excursion decompositions for SLE and Watts' crossing formula. Probab. Theory Related Fields 134 (3) (2006), 453-488. [26] Dudley, R. M., Real analysis and probability. Wadsworth & Brooks/ColeAdvanced Books & Software, Pacific Grove, CA, 1989. [27] Duplantier, B., and Kwon, K.-H., Conformal invariance and intersection of random walks. Phys. Rev. Lett. 61 (1988), 2514-2517. [28] Fortuin, C. M., and Kasteleyn, P. W., On the random-cluster model. I. Introduction and relation to other models. Physica 57 (1972), 536-564. [29] Greenberg, L., and Ioffe, D., On an invariance principle for phase separation lines. Ann. Inst. H. Poincare Probab. Statist. 41 (5) (2005), 871-885. [30] Grimmett, G., Percolation. Second ed., Grundlehren Math. Wiss. 321, Springer-Verlag, Berlin 1999. [31] Haggstrom, 0., Peres, Y., and Steif, J. E., Dynamical percolation. Ann. Inst. H. Poincare Probab. Statist. 33 (4) (1997),497-528. [32] Hara, T., and Slade, G., Self-avoiding walk in five or more dimensions. I. The critical behaviour. Comm. Math. Phys. 147 (1) (1992),101-136. [33] Harris, T. E., A lower bound for the critical probability in a certain percolation process. Proc. Cambridge Philos. Soc. 56 (1960), 13-20. [34] Hastings, M. B., and Levitov, L. S., Laplacian growth as one-dimensional turbulence. Physica D 116 (1998), 244-252. [35] Itzykson, C., and Drouffe, J.-M., Statistical field theory. Vol. 1. From Brownian motion to renormalization and lattice gauge theory, Cambridge Monogr. Math. Phys., Cambridge University Press, Cambridge 1989. [36] Kager, W., and Nienhuis, B., A guide to stochastic Lowner evolution and its applications. 1. Statist. Phys. 115 (5-6) (2004), 1149-1229. [37] Kalai, G., and Safra, S., Threshold phenomena and influence. In Computational Complexity and Statistical Physics (A. G. Percus, G. Istrate and C. Moore, eds.), St. Fe Inst. Stud. Sci. Complex., Oxford University Press, New York 2006, 25-60. [38] Kennedy, T., Monte Carlo comparisons of the self-avoiding walk and SLE as parameterized curves. Preprint, 2005; arXiv:math.Pr/0510604. 1187
540
Oded Schramm
[39] Kenyon, R., The asymptotic determinant of the discrete Laplacian. Acta Math. 185 (2) (2000), 239-286. [40] - , Conformal invariance of domino tiling. Ann. Probab. 28 (2) (2000), 759-795. [41] - , Long-range properties of spanning trees. Probabilistic techniques in equilibrium and nonequilibrium statistical physics. 1. Math. Phys. 41 (3) (2000), 1338-1363. [42] - , Dominos and the Gaussian free field. Ann. Probab. 29 (3) (2001),1128-1137. [43] Kesten, H., The critical probability of bond percolation on the square lattice equals 1/2. Comm. Math. Phys. 74 (1) (1980),41-59. [44] - , Upper bounds for the growth rate of DLA. Phys. A 168 (1) (1990), 529-535. [45] - , Some highlights of percolation. In Proceedings of the International Congress of Mathematicians (Beijing, 2002), Vol. I, Higher Ed. Press, Beijing 2002, 345-362. [46] Knizhnik, V. G., Polyakov, A. M., and Zamolodchikov, A. B., Fractal structure of 2Dquantum gravity. Modern Phys. Lett. A 3 (8) (1988), 819-826. [47] Kozma, G., Scaling limit of loop erased random walk - a naive approach. Preprint 2002, arXiv:math.Pr/0212338. [48] - , The scaling limit of loop-erased random walk in three dimensions. Preprint 2005, arXiv:math.Pr/0508344. [49] Langlands, R., Pouliot, P., and Saint-Aubin, Y., Conformal invariance in two-dimensional percolation. Bull. Amer. Math. Soc. (N.S.) 30 (1) (1994), 1-61. [50] Lawler, G. F., The dimension of the frontier of planar Brownian motion. Electron. Comm. Probab. 1 (5) (1996), 29-47 (electronic). [51] - , A self-avoiding random walk. Duke Math. 1. 47 (3) (1980), 655-693. [52] - , Conformally invariant processes in the plane. Math. Surveys Monogr. 114, Amer. Math. Soc., Providence, RI, 2005. [53] Lawler, G. F., Schramm, 0., and Werner, W., Values of Brownian intersection exponents. I. Half-plane exponents. Acta Math. 187 (2) (2001), 237-273. [54] - , Values of Brownian intersection exponents. II. Plane exponents. Acta Math. 187 (2) (2001),275-308. [55] - , Values of Brownian intersection exponents. III. Two-sided exponents. Ann. Inst. H. Poincare Probab. Statist. 38 (1) (2002),109-123. [56] - , One-arm exponent for critical2D percolation. Electron. 1. Probab. 7 (2) (2002), 13 pp. (electronic). [57] - , Sharp estimates for Brownian non-intersection probabilities. In and out of equilibrium (Mambucaba, 2000), Progr. Probab. 51, Birkhauser Boston, Boston, MA, 2002, pp.I13-131. [58] - , Conformal restriction: the chordal case. 1. Amer. Math. Soc. 16 (4) (2003), 917-955 (electronic). [59] - , Conformal invariance of planar loop-erased random walks and uniform spanning trees. Ann. Probab. 32 (1B) (2004), 939-995. [60] - , On the scaling limit of planar self-avoiding walk. In Fractal geometry and applications: ajubilee of BenOIt Mandelbrot, Part 2, Proc. Sympos. Pure Math. 72, Amer. Math. Soc., Providence, RI, 2004, 339-364. 1188
Conformally invariant scaling limits: an overview and a collection of problems
541
[61] Lawler, G. F., and Werner, W., Intersection exponents for planar Brownian motion. Ann. Probab. 27 (4) (1999), 1601-1642. [62] - , Universality for conformally invariant intersection exponents. 1. Eur. Math. Soc. (JEMS) 2 (4) (2000), 291-328. [63] - , The Brownian loop soup. Probab. Theory Related Fields 128 (4) (2004), 565-588. [64] Levy, P., Processus Stochastiques et Mouvement Brownien. Suivi d'une note de M. Loeve. Gauthier-Villars, Paris 1948. [65] Lowner, K. (C. Loewner), Untersuchungen tiber schlichte konforme Abbildungen des Einheitskreises, I. Math. Ann. 89 (1923), 103-121. [66] Lyons, R., A bird's-eye view of uniform spanning trees and forests. In Microsurveys in discrete probability (Princeton, NJ, 1997), Amer. Math. Soc., Providence, RI, 1998, 135-162. [67] Madras, N., and Slade, G., The self-avoiding walk. Probab. Appl., Birkhauser, Boston, MA,1993. [68] Marckert, J. F., and Mokkadem, A., Limit of Normalized Quadrangulations: the Brownian map. Ann. Probab. 34 (2006), 2144-2202. [69] McCoy, B. M., and Wu, T. T., The two-dimensional Ising model. Harvard University Press, Cambridge, Mass., 1973. [70] Meester, R., and Roy, R., Continuum percolation. Cambridge Tracts in Math. 119, Cambridge University Press, Cambridge 1996. [71] Naddaf, A., and Spencer, T., On homogenization and scaling limit of some gradient perturbations of a massless free field. Comm. Math. Phys. 183 (1) (1997), 55-84. [72] Nienhuis, B., Exact critical point and critical exponents. Phys. Rev. Lett. 49 (1982), 1062-1065. [73] - , Coulomb gas description of 2-d critical behaviour. J. Statist. Phys. 34 (1984), 731-761. [74] Pemantle, R., Choosing a spanning tree for the integer lattice uniformly. Ann. Probab. 19 (4) (1991), 1559-1574. [75] Pfister, C.-E., and Velenik, Y., Interface, surface tension and reentrant pinning transition in the 2D Ising model. Comm. Math. Phys. 204 (2) (1999), 269-312. [76] Rohde, S., and Schramm, 0., Basic properties of SLE. Ann. of Math. (2) 161 (2) (2005), 883-924. [77] Roy, R., The Russo-Seymour-Welsh theorem and the equality of critical densities and the "dual" critical densities for continuum percolation on R2. Ann. Probab. 18 (4) (1990), 1563-1575. [78] Russo, L., A note on percolation. Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 43 (1) (1978),39-48. [79] Schramm, 0., Scaling limits of loop-erased random walks and uniform spanning trees. Israel 1. Math. 118 (2000), 221-288. [80] Schramm, 0., and Sheffield, S., Harmonic explorer and its convergence to SLE4. Ann. Probab. 33 (6) (2005), 2127-2148. [81] - , Contour lines of the 2D Gaussian free field. In preparation, 2006. 1189
542
Oded Schramm
[82] Schramm, 0., and Steif, J. E., Quantitative noise sensitivity and exceptional times for percolation. Preprint, 2005; arXiv:math.Pr/0504586. [83] Schramm, 0., and Wilson, D. B., SLE coordinate changes. New York 1. Math. 11 (2005), 659-669. [84] Seymour, P. D., and Welsh, D. J. A., Percolation probabilities on the square lattice. Advances in graph theory (Cambridge Combinatorial Conf., Trinity College, Cambridge, 1977); Ann. Discrete Math. 3 (1978), 227-245. [85] Sheffield, S., Gaussian free fields for mathematicians. Preprint, 2003; arXiv:math. Pr/0312099.
[86] Slade, G., Lattice trees, percolation and super-Brownian motion. In Perplexing problems in probability, Progr. Probab. 44, Birkhauser, Boston, MA, 1999,35-51. [87] Smirnov, S., Critical percolation in the plane: conformal invariance, Cardy's formula, scaling limits. C. R. Acad. Sci. Paris Ser. I Math. 333 (3) (2001), 239-244. [88] Smirnov, S., and Werner, W., Critical exponents for two-dimensional percolation. Math. Res. Lett. 8 (5-6) (2001), 729-744. [89] Taylor, S. J., The measure theory of random fractals. Math. Proc. Cambridge Philos. Soc. 100 (3) (1986), 383-406. [90] Tsirelson, B., Fourier-Walsh coefficients for a coalescing flow (discrete time). TAU RPSOR-99-02, 1999; arXiv:math.Pr/9903068. [91] - , Scaling limit of Fourier-Walsh coefficients (a framework). TAU RP-SOR-99-04, 1999; arXiv:math.Pr/9903121. [92] Watts, G. M. T., A crossing probability for critical percolation in two dimensions. 1. Phys. A 29 (14) (1996), L363-L368. [93] Werner, W., SLEs as boundaries of clusters of Brownian loops. C. R. Math. Acad. Sci. Paris 337 (7) (2003), 481-486. [94] - , Random planar curves and Schramm-Loewner evolutions. In Lectures on probability theory and statistics, Lecture Notes in Math. 1840, Springer-Verlag, Berlin 2004, 107-195. [95] - , Conformal restriction and related questions. Probab. Surv. 2 (2005), 145-190 (electronic). [96] - , The conformally invariant measure on self-avoiding loops. Preprint, 2005; arXiv:math. PrJ0511605. [97] - , Conformal restriction properties. In Proceedings of the International Congress of Mathematicians (Madrid, 2006), Volume III, EMS Publishing House, ZUrich 2006, 741-762. [98] Wierman, J. C., Bond percolation on honeycomb and triangular lattices. Adv. in Appl. Probab. 13 (2) (1981), 298-313. [99] Wilson, D. B., Generating random spanning trees more quickly than the cover time. In Proceedings of the Twenty-eighth Annual ACM Symposium on the Theory of Computing (Philadelphia, PA, 1996), ACM , New York 1996, 296-303. [100] Witten, T. A., and Sander, L. M., Diffusion-limited aggregation. Phys. Rev. B (3) 27 (9) (1983),5686-5697. [101] Zhan, D., Stochastic Loewner evolution in doubly connected domains. Probab. Theory Related Fields 129 (3) (2004), 340-380. 1190
Conformally invariant scaling limits: an overview and a collection of problems
543
[102] Ziff, R. M., Exact critical exponent for the shortest-path scaling function in percolation. J. Phys. A 32 (43) (1999), L457-L459.
Microsoft Corporation, Redmond, Washington, U.S.A.
1191
$"'""lIe,' ,,, 'he A"n,,!" uJ f',,,/>a(',/!Iy ",Xiv : . .tb.PR/OOOOOOC
ON THE SCALING LIMITS OF PLANAR PERCOLATION
By
ODED SCHRAl\IM .. ,t AN D S T AN ISLAV SMIRNOVt ,§
WITH AN Ap PEND I X BY C H RISTOP H E GARBA N
Microsoft Researcht and Universiti de Geneveli CNRS, ENS Lyon \ Ve prove T sirelson's conjecture that any scaling limit of the crit· ical planar pe rcolation is a black noise. Our theorems apply to anum· ber of percolation models, including s ite percolation on the triangular grid a nd any s ubsequential scaling limit of bond percolation o n the square grid. We also suggest a natural cons truction for the scaling limit of planar percolation , and more generally of any discre te planar model describing connectivity properties.
Contents. Introduction. 1.1 Motivation 1.2 Percolat ion basics and notation 1.3 Definition of the scaling limits . 1.4 Statement of main results 2 The Discrete Gluing Theorem 3 The space of lower sets . 4 Uniformity in the mesh size . 5 Factorization . . . . . . . . . A Continuity of crossing events B Multi·scale bound on the four·arm event on Z2 (by Christophe Garban) . . . . References . Aut hor 's addresses 1
2 2
7 13 15 23 27
32 40 42
49 53 55
• Decembe r 10, 1961 Septe mber I, 2008 tS upported by the Euro pean Research COllnci l AG CO NF RA, the Swiss National Sci· ence FOllndation, and by t he C hebyshev Laboratory ( Faculty of Mathema t ics and l\'lechanics, St. Petersburg State University) under the grant of the government of the Russian Federation AMS 2000 subject classifications; Prima ry 60K35; secondary 28C20, 82B43, 6OG60 Keywords and phmses: percolation, noise, scaling limi t
1
I. Benjamini, O. Häggström (eds.), Selected Works of Oded Schramm, Selected Works in Probability C Springer Science+Business Media, LLC 2011 and Statistics, DOI 10.1007/978-1-4419-9675-6_35, 1193
2
ODED SC HRAM l,,1 AND ST AN ISLAV Si'vIlRNOV
1. Introduction. 1.1. Motivation.
This paper has a two~ fold motivation: to propose a new construction for the (subsequent ial) scaling limits of the critical and near-critical percolation in the plane, and to show that such limits are twodimensional black noises as suggested by Boris Tsirelson. Percolation is perhaps t he simplest statistical physics model exhibi ting a phase transition. We will be interested in planar percolation models , t he archetypical examples being site percolation on the t riangular lattice and bond percolation on t he square lattice. More generally, our theorems apply to a wide class of models on planar graphs, satisfying the assumpt ions outlined below. Consider a planar graph and fix a percolation probability 1) E [0, Ij. In site percolation, each site is declared open or closed with probabilities p and I - p , independently of others. In the pictures we represent open and closed sites by blue and yellow colors correspondingly. One t hen studies open clusters, which are maximal connected subgraphs of open sites. In bond percolation, each bond is similarly declared open or closed independently of others, and one studies clusters of bonds. Percolation as a mathematical model was originally introduced by Broadbent and Hammersley to model the flow of liquid t hrough a random porous medium. It is assumed that the liquid can move freely between the neighboring open sites, and so it can How between two regions if there is an open path between them . Fixing a quad Q (= a topological quadrilateral) , we say t hat t here is an open crossing (between two distinguished opposite sides) for a given percolation configuration , if for its restriction to t he quad , t here is an open cluster intersecting both opposite sides. One then defines the crossing probabil ity for Q as the probability that such a crossing exists. "Ve will be interested in t he (subsequential) scaling li mits of percolation, as t he lattice mesh tends to zero. It is expected t hat for a large class of models t he sharp thr-eshold phenomenon occurs: there is a critical value Pc such t hat for a fixed quad Q t he crossing probabili ty tends to 1 for p > Pc and to 0 for p < Pc in the scaling limit. For bond percolation on the square lattice and site percolation on the t riangular lattice, it is known that Pc = 1/2 by t he classical t heorem of Kesten [Kcs80]. In the critical case p = Pc t he crossing probabilities are expected to have non-trivial scaling limits. Moreover, those are believed to be universal , conformally invariant, and given by Cardy's formula [LP SA94 , Car92j. For the models we are concerned with , t his was established only for site percolation on the triangular lattice [SmiOlb, Smi01aj. However, the Russo-Seymour1194
ON TH E SCA LI NG LIM ITS
or PLANAR PERCOLATI ON
3
Vvelsh theory provides existence of non-trivial subsequential limi ts, which is enough for our purposes. Our theory also applies to near-critical scaling limits like in [NoIOS], when the mesh tends to zero and t he percolation probabili ty to its critical value in a coordinated way, so as the crossing probabilities have non-trivial limi ts, different from the critical one. The Russo-Seymour\ ¥elsh t heory still applies below any given scale. Having a (subsequential) scali ng limit of the (near) cri tical percolation, we can ask how to descri be it . T he discrete models have finite a-fields, but in the scaling limit t he cardinali ty blows up, so we have to specify how we pass to a limit. First we remark that we rest rict ourselves to t he crossing events (which form t he original physical motivation for the percolation model), disregardi ng events of t he sort "number of open sites in a given region is even" or "number of open sites in a given region is bigger than the number of closed ones." \¥hile such events could be studied in another context, they are of little interest in t he framework motivated by physics. Furt hermore, we restrict ourselves to the macroscopic crossing events, i.e. crossings of quads of fixed size. Otherwise one could add to the a-field crossing events for microscopic q uads (of t he lattice mesh scale or some intermediate scale), which have infini tesimal size in the scaling limit. The resulting construction would be an e.xtension of ours, simila r to a non-standard extension of t he real numbers . But because of the locality of t he percolation, different scales are independent, so it won 't yield new non-trivial information (as our results in fact show). However, we would like to remark that in dependent models such extensions could provide new information. For example, Kenyon has calculated probabilities of local configurations appearing in domino tilings and loop erased random walks [Ken09J, while such information is lost in describing the latter by an SLE curve. Summing it up, we restrict ourselves only to the scaling limit of t he macroscopic crossing events for percolation - it describes the principal physical properties (though adding microscopic events can be of interest). The question then arises, how to describe such a scaling limit, and several approaches were proposed. We list some of them along with short remarks:
(1). Random coloring of a plane into yellow and blue colors would be a logical candidate, since in the discrete setting we deal with random colorings of graphs. However, it is difficult to axiomatize the allowed class of "percolation-induced colorings," and connectivity properties are hard to keep t rack of. In particular, in the scaling limi t almost every point does not belong to a cluster, but is rather surrounded by an infinite number of nested open and closed clusters, and so has no well-defined color. 1195
4
ODED SC HRAMM AN D STA NI SLAV Si\'IIRNOV
(2) . Collection of open clusters as random compact subsets of t he plane would satisfy obvious pre-compactness (for Borel probability measures on collections of compacts endowed with some version of the Ha usdorff distance)) guaranteeing existence of the subsequential scaling limi ts . However) crossing probabilit ies cannot be extracted: as a toy model imagine two circles) 0 and C) intersecting at two points, x and y. Consider two different configurations: in the fi rst one, 0 \ {x} is an open crossing a nd C \ {y} is a closed one; in t he second one, 0 \ {y} is an open crossing and C \ {x } is a closed one. In bot h configurations the cluster structure is t he same (wit h 0 being t he open and C being the closed cluster), while some crossing events differ. Thus one has to add the state of t he "pivotal" points (like x and y) to the description) making it more complicated . Constructing such a limit, proving its uniqueness, and studying it would require considerable technical work . (3). Aizenman's web represents percolation configuration by a collection of a ll curves (= crossings) running inside open clusters. Here precompactness follows from t he Aizenmal1-Burchard work [AB99J, based on t he Russo-Seymour-Welsh t heory, and crossing events are easy to extract. Moreover , it turns out t hat the curves involved are almost surely Holder-continuous, so this provides a nice geometric description of t he connectivi ty structure. However , there is a lot of redundancy in taking all the curves inside clusters, and there are deficiencies similar to those of t he previous approach . (4) . Loop ensemble - instead of clusters themselves, it is enough to look at the interfaces between open a nd closed clusters, whicll form a collection of nested loops. Such a limit was constructed by Camia and Newman in [CN06] from Schramm's SLE loops. However , it was not shown t hat such a limit is full (i.e. contains all the crossing events) , and in general, extracti ng geometric information is far from being stra ight-forward. (5) . Branching exploration tree - there is a canonical way to explore all the discrete interfaces: we follow one, a nd when it makes a loop: branch into two created components. T he continuum analogue was studied (in relation with t he loop ensembles) by Sheffield in [She09J, and this is perhaps t he most natural approach for general random cluster models with dependence, see [KSIOj. Construction is rather technical, however the scaling limit can be described by branching SLE curves and so is well suited for calculations. (6). Height function - in the discrete setting one can randomly orient in~ terfaces, constructing an integer-valued height function, which changes by ±l whenever a n interface is crossed. This stores all the connectivity 1196
ON T I-I E SCA LI NG L IJ\HTS OF PLANAR PERCO LATI ON
5
information (at least in our setup of interfaces along the edges of trivalent graphs) , but adds additional randomness of the height change. It is expected that after appropriate manipulations (e.g. coarse-graining and compactifying - i.e. projecting mod 1 to a unit interval) t he height function would converge in the sca ling limit to a random distribution, which is a version of t he free field. This is the cornerstone of the "Coulomb gas" method of Nienhuis [NicS4], which led to many a prediction. It is not immediate how to connect this a pproach to t he more geometric ones, retriev ing the interfaces (= level curves) from t he random distribution, but SLE theory suggests some possibilities. Also it is not clear whether we can implement this approach so that the extra random ness disappears in the limit, while the connectivity properties remai n. (7). Correlation functions - similarly to the usual Conformal Field Theory approach , instead of dealing with a random field as a random distribution, we can restrict our attention to its n-point correlations. For example, that would be t he usual physics framework for fields arising in approach (6), but to implement it mathematically we would need to reconstruct height lines of a field, based on its correlations, which is perhaps more difficult than developing (6) by itself, and possibly requires some extra assumptions on t he field. A more geometric al>proach would be to st udy for every finite collection of points {ZJh,k the probability Fr (zj) j ,k that for every k all the balls {B(zj, r) }j are connected by an open cluster. To obtain the correlation funct ion, one takes t he double limit, passing to the scaling limi t fi rst and sending r _ 0 afterwards. Since the probability of a radius r ball bei ng touched by a macroscopic cluster (conjecturally) decays as 1"5/48, one has to normalize accordingly, considering F as a n j ,k Idzjls/48_ form . The geometric approach seems more feasi ble, but along the way one would have to further develop a version of CFT corresponding to such "connectivity" correlations. (S). Collection of quads crossed - in the discrete setting one can describe a percolation configuration by listing the finite collection of all discrete quads (Le. topological quadrilaterals) having an open crossing. We propose a continuous analogue, described in detail below. The percolation configuration space t hus becomes a space of quad collections, satisfyi ng certain additional properties. (9). Continuous product of probability spaces, or noise - t his approach was advocated by Tsirelson [T si04a, Tsi04b, Tsi05]. In the discrete setting 1197
6
ODED SCHRAMJ'd AN D ST AN ISLAV Sl\'I I RNOV
t he site percol ation (011 a set V of vertices) is given by t he product probability space (fl v = v {open, closed} , Fv , {tv ). Note that when V is decomposed int o two d isjoint s ubsets, we obviously have
n
(1.1 ) Straight-for ward generalization of t he product space t o t he continuous case does not work: the prod uct a -field for t he space Dc {open , closed} won 't contain crossing events. Instead Tsirelsol1 proposed to send the percolation meas ure space to a sca ling limit , described by a noise or a homogeneous conti nuous product of pro bability spaces. Namely, for every smooth domain D t he percolation scaling limit inside it would be given by a probabili ty space (S1 D , Fo ,I"'D) , which is t ranslat ion invariant, cont inuous in D , and sat isfies t he property (1.1 ) for a smoot h domain V cut into two smooth domai ns VI, V2 by a curve. There is a well-developed theory of such spaces, but establishing the lat ter property was problematic [T si05].
To most constructions one can also add the information a bout t he closed clusters, though in principle it should be retrievable from t he open ones by d uality. This list is not exhaustive, but it shows t he variety of possible descriptions of t he sam e object. Indeed , in the discrete set t ings the approaches above contain all the information about macroscopic open clusters, a nd a re expected to keep it in the scaling limi t; on the ot her hand wi t h an appropri ate set up (one has to be careful , especially wit h (6)) we do not expect to pick up any ex tra information Oil t he way. However , showing t hat most of t hese a pproaches lead to equivalent results, and in particula r to isomorphic a -fields, is far fmm easy. \Ve decided to proceed with t he a pproach (8) , since it fo llows t he original physical mot ivat ion for the percolation model, and also provides us wi t h enough pre-compactness to establish existence of subsequent ia l scaling limits before we a pply any percolation techniques. It a lso serves well our second purpose: to provide escript ion of t he percolation (subsequential) scaling limits, followin g T sirelson 's approach (9), a nd show t hat it is a noise, i.e. a homogeneous continuous (param et eri zed by an appropria te Boolean a lgebra of piecewise-smooth planar domains) product of probability spaces . The question whether crit ical percolation scaling limit is a noise was posed by T sirelson in [T si04a , T si04b, T si05], where he has a lso noted that such noise must be non-classical, or black (compared to t he classical white noise) . The t heory of black noises was started by T sirelson and Vershik in [TV98]. In part icular, t hey constructed the fi rst examples of zero and one-dimensiona l 1198
ON THE SCALING
LI ~HT S
or
P LANA R PERCO LATION
7
black noises (and more of those were found since); we provide the first genuinely two-dimensional example. To establish that percolation leads to noise it is enough to prove t hat its scaling limit, restricted to two adjacent rectangles , determi nes the scaling limit in their union . Following is a version of t his result , perhaps more tangible (though stated slightly informally here). It is proved in P roposition 4.1 , which is t he most technical result of our paper. Consider a rectangle, and a smooth path 0' cutting it. We show that for even) E > 0 theTe is a finite number of percolation crossing events in quads disjoint from Ct, from which one can reliably predict whether or not the rectangle is crossed, in the sense that the probability for a mistake is less than E. The essential point is that t he set of crossing events t hat one looks at does not depend on the mesh of the lattice, which allows us to ded uce t he needed result, t hus showing that any subsequential scaling limit of the critical percolation is indeed a black noise.
1.2. Per-colation basics and notation. For completeness of exposition we present most of the needed background below, interested readers can also consult t he books [Kes82, Grigg, BRaG, WerOg]. 'We start with a rather general setup, which in particular includes all planar site and bond models (as well as percolation on planar hypergraphs, cf. [BRlO]). Since we will be interested in scaling limits, it is helpfu l from the very beginni ng to work wit h subsets of the plane, rather than graphs. V!le consider a locally finite tiling H of the plane (or its subdomain) by topologically closed polygonal tiles P. Furthermore, we ask it to be trivalent, meaning t hat at most three tiles meet at every vertex and so any two tiles are either disjoint or share a few edges. A percolation model fixes a percolation probability p(P) E [O,lJ for every tile P , and declares it open (or closed) with probability p(P) (or I - p(P)) independently of the others. In principle, we can work with a random tiling H , with percolation probabilities p(P, H ) satisfying appropriate measurability conditions (so t hat crossi ng events are measurable). More generally, we can consider a random coloring of tiles into open and closed ones, given by some measure J-L on the space fl pEH {open, closed} with a product a-field (which contains a.Il events concerned with a fi nite number of tiles). P ercolation models correspond to product measures J-L. vVe define open (closed) clusters as connected topologically closed subsets of t he plane - components of connect ivity of the union of open (closed) tiles taken with boundary. All site and bond percolation models on planar graphs can be represented 1199
8
ODED SCHRAMM AN O STAN ISLAV Sr-.WlNOV
in t his way. Indeed , given a planar site percolation model , we replace sites by t iles, so that two of t hem share a side if and only if two corresponding sites are connected by a bond. It is easy to see that such a collection always exists (e.g . tiles being the faces of t he dual graph) . Each tile is declared open (or closed) with the same probability p (or 1 - p) as the corresponding site.
FIG 1. 1. Critical site percolation on the triangular lattice. Each site is represented by a hexagonal tile, which is open (blue) or closed (yellow) with probabilities 1/ 2 independently of others . Int erfaces between open and closed clusters are pictured in bold.
If our original graph is a t riangulation, t hen the dual one is trivalent and only three tiles can meet at a point. However, when our graph has a face with four or more sides, two non-adjacent sites can correspond to tiles sharing a vertex (bu t not an edge) . To resolve the resulting ambiguity we insert a small tile P around every tiling vertex, where four or more tiles meet , and set it to be always closed, taking p(P) = O. After the modification, at most three tiles can meet at a point, as required. Bond percolation can also be represented by partitioning the plane into ti les. T here will be a t ile for every bond , site, and face of t he original bond graph, chosen so that two different face-tiles or two different site-tiles are disjoint. IVIoreover , a bond-tile shares edges with two site-tiles and two facetiles, corresponding to adjacent sites and faces. T he bond-t iles are open (or closed) independently, with the same probability p (or 1 - p) as the corresponding bonds. The site-tiles P are then always open (p(P) = 1) , while the face-tiles P are always closed (p(P) = 0). 'Vith such construction, no ambiguities arise, and at most three tiles can meet at a point. A possible construction for t he bond percolation (with octagons being the bond-tiles) is illustrated in Figure 1.2. Following the original motivation of Broadbent and Hammersley, we rep1200
ON '1'1-1 E SCALING LIl\H TS OF PLA NA R PERCOLAI'ION
9
FIG! .2. Left: critical bond percolation on the squan~ lattice, every bond is open (blue)
closed (yellow) with pmbabilities 1/2 independently of others. Right: n~presentation by critical percolation on the bathroom tiling, with direction 01 original bonds marked on the corresponding octagonal tiles. Rhombic tiles alternate in color, with blue (always open) corresponding to the sites 01 the original square lattice, while yellow (always closed) - to the laces. Octagonal tiles correspond to the bonds, and are open or closed independently, with probabilities 1/ 2. Of'
resent holes in some random porous medium by open t iles. A liquid is assumed to move freely through the holes, t hus it can flow between two regions if there is a path of open tiles between them. More precisely, we say t hat t here is an open (closed) crossing between two sets 1<1 and 1<2 inside the set U, if for t he percolation configuration restricted to U, there is an open (closed) cluster intersecting both 1<\ and ](2. Vile will be mostly interested in crossings of quads (= topological quadrilaterals). Note the following duality property: there is an open crossing between two opposite sides of a quad if and only if theTe is no dual (i. e. closed) crossing between two otheT sides. Exchanging t he notions of open and closed, we conclude t hat, on a given tiling, percolation models with probabilities p(P) and p*(P) = 1 - p(P) are dual to each other. In particular, the model with p(P) 1/2 is self-dual, which can often be used to show t hat it is critical, like for t he hexagonal lattice. The bathroom-tile model of the square lattice bond percolation in Figure 1.2 is dual to itself t ranslated by one lattice step (so that always open rhombi are shifted to always closed ones), which also leads to its criticality, [Kes80]. There are however dualities (e.g. arising from t he star-triangle transformat ions) with more complicated relations between p and p* , and so t here are critical models with p away from 1/2, see e.g. [WicS1 , BRlO[. Though we have in mind critical models, we do not use criticality in
=
1201
10
ODED SC HRMMvl AND STAN ISLAV Sr-.'IIRNOV
the proof, rather some crossing estimates, which are a part of the RussoSeymour-Welsh t heory. Those also hold (below any given scale) for t he nearcritical models, like those d iscussed in [NoI08]. In a seDse the estimates we need should hold whenever the crossing probabilities do not tend to a trivial limit , see Remark 1.3. We work with a collection of percolation models 1-41 (and sometimes more general random colorings) on Wings H q , indexed by a set {1]} (e.g. square latt ices of different mesh) , and denote by /-trj also the corresponding meas ure on percolation configurations (= random coloring of tiles). By 1171 E IR+ we will denote a "scale parameter" of the model J-Lr/" \Ne assume that all tiles have diameter at most 1771 (for a percolation on random tiling, our proof would work under the rela.xed assumption that for any positive T , the probability to find in a bounded region a tile of diameter bigger than T tends to zero as 117 1 0) . This parameter a lso appears in t he RussoSeymour-Welsh- type estimates below, which have to hold on scales larger than 117 1. Note that in most models 1111 can be taken to be t he supremum of tile diameters (or the lattice mesh for t he percolation on a lattice). We will be interested in scaling limits as the scale parameter tends to zero , looking at sequences of percolation models with 1171 - 0, which do not degenerate in the limit. 'rVe will show in Remark 1.17, that in our setting working with sequences and nets yields t he same results. As discussed above, all critical percolation models are conjectured to have a universal and confonnally invariant scaling limit . Moreover, its SLE description allows to calculate exactly many scaling exponents and dimensions and we will use this conjectured picture in informal discussions below. However, to make our paper a pplicable to a wider class of models , we will work under much weaker assumptions. The famous Russo-Seymour-'Velsh theory provides universal bounds for crossing probabilities of the same shape, superimposed over lattices with different mesh. Originally established for the critical bond percolation on the square lattice, it has been since generalized to many critical (and nearcritical, when the percolation probabilities tend to their critical values at appropriate speeds as t he mesh tends to zero) models with several different approaches, see [KesS2, Grigg, BROG, \·VerOg]. We will use one of t he recurrent techniques: conditioning on t he lowest crossing. If a quad is crossed hori zontally, one can select t he lowest possible crossing (the closest to t he bottom side), which will t hen depend only on the configuration below. If we condition on the lowest crossing, the configuration above it is unbiased, allowing for easy estimates of events there. Besides using this neat trick, we will assume certain bounds on the crossing probabilities for t he annuli. 1202
ON T HE SCAL ING L Ii\I(JTS OF PLANA R PERCOLATI ON
11
A prominent role is played by the so-called k - arm crossi ng events in annuli , si nce they control dimensions of several important sets. In particular , for a given percolat ion model J..I.-ri we denote by p~ (Z,1\ R) the probability of a one-arm event, that there is an open crossing connecting two opposite circles of the annulus A(z, T, R ). T hen this is roughly the probability that the disc B(Z,1') intersects an open cl uster of size ~ R , which is expected for 1171 < l' to have a power law like
p,:(z ,r,R) =
(r/R)a,+a(l)
as
l,/R~O,
morally meaning (modulo some correlation estimates) that percolation clusters in the scaling li mit have dimension 2 - al. Similarly, denote by P~( z, r, R) the probability of a four-arm event, that
there are alternating open- closed- open - closed crossings connecting two opposite circles of the annulus A(z, 1', R). Then this is roughly t he probabili ty that changing the percolation configuration on the disc B(z, r) changes the crossing events on t he scale:::::: R. Indeed , if all the ti les in B(z, r) are made open, t hat connects two open arms; whi le making them closed connects two closed arms, destroyi ng the open connection. For 1171 < l' a power law P,i(z,r,R)
=
(r/R)",+a(l),
as r/R~O,
is expected, roughly meaning that t he pivotal tiles (such that altering their state changes crossi ng events on large scale) have dimension 2 - a4 in the scaling limit. \-\7 henever the RS\V theory applies, the probabilities for k arm events have power law bounds from above and below as r --+ O. In fact, the probabilities are conjectured to satisfy universal (independent of a particular percolation model) power laws with rational powers, predicted by t he Conformal Field Theory, see discussion in [S\'V01 j. T hose predictions have been so far proved fo r t he critical site percolation on triangular lattice only [S\-\701 , Ls \~r 02 ], giving at = 5/ 48 and a4 = 5/ 4. Other k-arm probabilities are also of interest, but estimating just the mentioned two allows to a pply our methods. Houghly speaking, we need to know that the percolation clusters have dimension smaller than 2 and t hat pivotal points have dimension smaller than 1, or, in other words, that al > 0 and a4 > 1. Note that we do not actually need the power laws, but rather weaker versions of t he corresponding upper estimates. Namely, we need the fo llowing two estimates to hold uniformly for percolation models under consideration: 1203
12
ODED SCI'IRAi\HI'I AND ST AN ISLAV Si'dIRNOV ASSUM PT IONS 1.1.
There exist positive functions 6 [ (1', R) and 6. 4 (1', R),
such that lim t.j(T, R) = 0 for any fixed R
,-0
< Ro ,
and the following estimates hold whenever z E C and 0 < 117 1< r < R < F4J. The p10bability of one open arm event and the probability of a similar event
for one closed arm satisftJ (1.2) while the pmbability of a four ann event satisfies
(1.3)
For r ~ R, when the annulus is empty, we set .6..;{1', R) := 1, so t hat the function is defi ned for all positive arguments. Without loss of generality we can assume that functions .6.. j {r , R ) are increasing in r and decreasing in R .
(A STRONGER R SW ESTI MATE ) . For most percolation models where the RSW techniques work, their application would prove a stronger estimate, with D. J(r , R) replaced in (1.2) by C(rjR)a j with aJ > O. H oweveT we can imagine situations where only OUT weaker version can a priori be established. RE I'.'IARK 1.2
1.3 ( RSvV ESTIMATES AN D SCA LI NG L l l'IHT S). For most percolation models where the RSW techniques work, the estimate (1.2) would be equivalent to saying that crossing probability for any given quad (01' faT all quads) is uniformly bounded away from 0 and 1. So morally our noise characterization would apply whenever one can speak of non-trivial subsequential scaling limits of crossing probabilities. REMARK
The first Assumption (1.2) is used several times throughout t he paper. In a stronger form it was one of t he original Russo-Seymour- ,~relsh results, and has since been shown to hold for a wide range of percolation models, see [BR06, BRlO, Gri99 , Kes82J. For site percolation on the triangular lattice, one can take t. ,(,·, R) '" (rI R )5/48, see [LSW02]. The second Assumption (1.3) is used only once, namely in the proof of Theorem 1.5. It is known (in a sharp form with D.4 (1', R ) ~ (Tj R)I /4 ) for site percolat ion on the t riangular lattice, see IS\:VOl]. Christophe Garban ki ndly allowed us to include as Appendix B his proof for bond percolation on the square lattice, which is partly inspired by t he noise-sensitivity arguments in 1204
ON THE SCA LI NG Lli\HTS OF PLANAR PERCOLATION
13
[BKS99J. It seems possible to extend the proof to a wider range of percolation models (by changing the values of the Cj random variables so they become centered, rather than using symmetry arguments).
For which models can (1.3 ) be proved? Can it be deduced from (1.2)? Is there a geometric argument? QUESTION 1.4 (EST lfI'IATI NG P IVOTALS) .
Summing up t he discussion above, we study collections of percolation models satisfyi ng Assumptions 1.1. In part icular, our results apply to critical and near-critical site percolation on the triangular lattice and bond percolation on the square lattice.
1.3. Definition of the scaling limits . Every discrete percolation configuration (or a coloring of a tiling) is clearly described by t he collection of quads (= topological quadrilaterals) which it crosses (and for a fixed lattice mesh in a bounded domain a finit e collection of quads would suffice). 'vVe introduce a setup , which allows to work independently of the lattice mesh and pass to t he scaling limit, but t he idea remai ns the same: a percolation configuration is encoded by a collection of quads - t hose which are crossed by clusters. Our setup is inspired by the Dedekind's sect ions and uses the metric and ordering on the space of quads. The ordering comes from the obvious observation that crossing of a quad automatically contains crossings of "shorter" sub-quads, and so possible percolation configurations (= quad collections) should satisfy certain monotonicity properties. \Ve will work in a domain De e = "[R2. A quad in D is a topological quadrilateral , i. e. a homeomorphism Q : [0, IF -+ Q([O, IF) cD. We introduce some redundancy when considering quads as parameterized quadrilatends , but we avoid certai n technicalities. The space of all such quads will be denoted by Q = QD. It is a metric space under t he uniform metric
d(QI ,Q,)
~
sup IQI(z) - Q,(z)l ·
zE[O,i]2
A crossing of Q is a connected compact snbset of [QI ,~ Q( [O, I]') t hat intersects both opposite sides BoQ, ~ Q({O) x [O,ID and iJ,Q' ~ Q({I} x [0, IIll. We also denote the remaining two sides by IlrQ , ~ Q([O , II x (OJ) and fJ,Q , ~ Q([O, I] x (Il) , see Figure 1.3. The whole boundary of Q we denote by 8Q. In t he discrete setti ng t here is no difference between connected and path-connected crossings, but one can imagine lattice models where the probabilities of the two would be different in the scaling limi t. However, for the models under consideration, every crossing in t he scaling limit almost 1205
14
ODED SC HRAM!'.'I AND ST AN I SLAV SM IRNOV
Q(O,I)
r::---~a,~Q:"'- _ _ _~Q(I,I)
7
[Q]
L
Q(O,O)~---------CQ(I ,O) f iG 1.3. A quad with a crossing.
surely can be realized by a Holder continuous curve [AB99J, so t he two notions are essentially t he same. In addition to t he structure of Q D as a metric space, we will also use the follow ing partia l order on Qv . If QI , Q2 E Qv, we write Q J ~ Q2 if every crossing of Q2 contains a crossing of Q I. The simplest example is seen in Figure 1.4. Also , we write Q1 < Q2 if there are open (in t he uniform metric) neighborhoods Ui of QJ and U2 of Q2 in Qo, such t hat for every Q E UI and Q' E U2 we have Q :::; Q' . Thus, t he set of pairs (Q, Q') E Q2 satisfying Q < Q' is the interior of {( Q, Q') E Q2 : Q ::; Q'} in the product topology. A subset S c Qo is a lower set if, whenever Q E Sand Q' E Q D satisfies Q' < Q, we also have Q' E S. The collection of all closed lower subsets of QD will be denoted H D. Any discrete percolation configuration w in C is naturally associated with an element Sw of H D: t he set of all quads for which w contains a crossing formed by an open cluster. Thus a percolation model on t he tili ng H,. , induces a probabili ty measure 11-,.., on He (and more generally on H D for any domain D contained in its doma in of definition). A topology is defined on H D by specifying a subbase. If U c QD is topologically open and Q E QD, let
Vu
{S E 'li D oSnU7'0), and
V Q .- {S E 'liD 0 Q ¢ S}. If we regard S as a collection of crossed quads, then Vu VQ
-
{S: some quads from U are crossed}, and {S: quad Q is not crossed} . 1206
O N THE SCALI NG LIi\'IITS
or PLA NAR PERCOLATIO N
Ql(O,I) ~
[QI]
Q2(0,1)
15
.
J Q2(1,1)
[Q2]
I
f
Q2(0,0)
/
/
Q2( 1,0)
Ql (O,O)
Ql(I,O)
F IG 1.4. Any crossing of Qz contains a crossing of Q\ J so we write Q\ :S Qz .
Our topology of choice on 1to will be t he minimal topology To which contains every such Vu and V Q. As we will see, (H o, To) is a metrizable compact Hausdorff space. The percolation scaling limit configuration will be defined as an element of He , and the scaling limit measure is a Borel proba bility measure on He. Then the event of a percolation configurat ion crossing a quad Q C01Tesponds to 8Q , ~ ~ VQ ~ (S E 'Ii, Q E S) c 'Ii. We will prove that if QO c Q is dense in Q , then the events E3Q for Q E QO, generate the Borel a -field of H .
1.4 . Statement o/ m ain results. Construction of the (subsequential) scaling limits is accomplished for all random colorings of t rivalent tilings wi thout additional assumptions. Other results of this pa per apply to all percolation models on trivalent tilings, satisfiJing Assumptions 1.1, i.e. the RSW estimate (1.2) and the pi vot al estimate (1.3). As discussed a bove, we fix a collection of such percolation models indexed by a set {1]}, and denote by /1,,, the (locally) discrete proba bili ty measure on percolation configurations for the model corresponding to parameter 1]. By 1171 E ~+ we denote the scale parameter of the model (which enters in the 1207
16
ODED SCH RAM J\·! A N D STAN ISLAV S;vIIRNOV
RS"V estimates} . Later we will show that 1-£1/ has subsequential scaling limits as 1771 ---+ 0, and wi ll work wit h one of t hose, denoted by Po . First we present a simplified discrete version of the gluing t heorem. Informally, t he statement is t hat if you fix a quad Qo and a finite length path a cutt ing it into two pieces, t hen the discrete percolation configuration outside a small neighborhood of Ct reliably predicts t he existence or non-existence of a crossi ng of Qo with probability close to one, uniformly in t he mesh size. Following is the precise version, estimating t he random variable which is t he conditional probabili ty of observing an open crossing given the configuration s-away from o. As a regularity assumption , we need a constant C(o) such that for every s > 0 the set 0 can be covered by at most C(O')js balls of radius s . T his is t he case if and only if 0 has fin ite I-dimensiona l upper Minkowski content M *'(o) = lim suPS--4o+ (area{z : dist (z,o) < s}) .
Consider a collection of percolation models satisfying A ssumptions 1.1 . Let Qo E Q be some quad, and let 0 C [Qol be a finite union of finite length paths, or more generally a set of finite I -dimensional upper Minkowski content. Let BQo denote the event that Qo is crossed by w, and for each s > 0 let Fs denote the a-field generated by the restriction of w to the complement of the s-neighborhood of o . Then for every to > 0, THEORE f\·1 1.5 ( DI SCRETE G L UI NG) .
lim
sup JLo('
s","o Itlle (o,s)
< JLo(BQ,
I F ,)
< 1- ,)
=
o.
Theorem 1.5 essentially states that event BQo for any given 11 can be reconstructed with high accuracy by sampling crossing events away from o . This does not lead to the noise characterization of the scaling limit, since a priori the number of events we need to sample can grow out of control as 1111 --+ O. We address this by providing a unijorm bound on the number oj events to be sampled in Proposition 4.1 . However, we do not give a recipe, and in general the gluing procedure may still depend on 1] . We deal with this possibility by assuming that there is a (su bsequential) scaling limit, then, since the number oj possible outcomes oj sampling a finite number oj crossing events is finite, we can choose a sub-subsequence along which the same procedur'e is used. The downside is that, in the current jonn, our results alone cannot be used to show the uniqueness oj the percolation scaling limit. REMARK 1.6 ( GLU I NG I S NON-CONST RUCTIVE) .
The previous Remark leads to the following 1208
ON THE SCA LI NG Ll M I T S OF PLA NA R PERCOLATI O N
17
Can one show that there is an independent of'rJ and preferably constructive procedure to predict BQo by sampling crossing events away from a 'l Q UESTION 1.7 (CONSTRUCTI VE GLU I NG) .
A positive answer would provide an elegant proof of the uniqueness of the scali ng limit (provided Cardy's formu la is known), make the universality phenomenon more accessible, and lay foundation for t he renonnalization theory approach to percolation, similar to one discussed by Langlands, see [Lan05] and the references therein. A particularly optimist ic scenario is suggested in Conjecture 1. 11. Theorem 1.5 is a toy version of our main gluing resul ts, and t he logic behind it was folklore for a long time (but strangely enough appeared few times in print, as was pointed out in [Ste09]) . The proof proceeds by consequently resampling radius 2s balls covering the s-neighborhood of a and using the pivotal estimate ( 1.3). For this to work , the bounds have to sum up to something small , and so wi th better pivotal estimates we can relax assumptions on a (and the number of balls needed to cover it).
a). When applying the pivotal estimate ( 1.3), we cannot relax the regularity assumption that a has finite I-dimensional upper Minkowski content. However, as discussed above, most percolation models are expected to satisftj stronger estimates, and then the regularity assumption can be considerably weakened (though it cannot be dropped) . The set of pivotal points conjecturally has Hausdorff dimension 3/ 4 in the scaling limit (proved on the triangular lattice in /SWOl j), so if the Hausdorff dimension of the set a is greater than 5/4, the two should intersect with positive probability (needed correlation estimates are expected to hold). In such a situation, there is little hope to reliably determine the crossing without knowledge of a. To be more rigorous, instead of pivotals one has to work with the percolation spectrum, but it has the same dimension (see /GPSIOaj for the definition and discussion), so a has to be of dimension at most 5/ 4. On the other hand, our proof works for sets 0' of dimension smaller than 2 minus dimension of the pivotal points, provided also that an 8Qo is finite. So 5/ 4 seems to be the correct dimensional threshold, and this can be established for· the critical site percolation on the triangular lattice. REMA RK 1.8 ( REGUL A RITY ASSUMPT I ONS ON
Suppose that a smooth curve a cuts the quad Qo into two quads Q + and Q _ . The follOwing informal discussion concerns the critical percolation scaling REMA RK 1.9 ( CROSSINGS W I TH PI NIT E I NTERSECTION NU!"I'I BER).
1209
18
ODED SC HRAI\'I ]\'] AND STAN ISLAV Sl\mlNOV
limit, assuming its existence and conformal invariance (but it can be eas~ iiy made more precise by war-king with the limits of discrete configurations and events). First observe, that open clusters inside Q± intersect the smooth boundar1J 0: on a set of Hausdorff dimension 2/3, (and we have a control for the correlation of points inside it). Being independent, two large open clusters on opposite sides of 0: have a positive probability of touching. But if they touch at some point x E 0, we cannot have a large closed cluster passing thmugh x and separating them. Indeed, that would mean a four-arm event occurring at the pivotal point x on the smooth curve 0:, and since a4 = 5/4, the set 0/ pivotal points has Hausdorff dimension 3/4 and so almost surely does not inter"sect the smooth a. Thus the two open clusters in Q± which touch on a are in fact parts of the same large open cluster in Qo. We conclude, that given a smooth curve a, with positive probability there is a crossing of Qo which intersects a only once. The last remark says that for a smooth curve a , if we condition on the quad being crossed, the probability of fi nding a crossing intersecting a only finitely many times is positive. We can ask whether this conditional probability is one, leading to the following:
LdQ be a quad and a a smooth curve. Then in the scaling limit, given existence of a crossing/ ther-e is almost surely a crossing intersecting a only a finite number of times. CON J ECTU RE 1.10 ( FINITE INT ERSECTION PROPERTY).
Alternatively, one can form ulate a d iscrete version, which is a pflori stronger (for an equivalent one we would have to count small scale packets of intersections):
Let Q be a quad and a a smooth curve. For a discrete percolation measure flrlj let the random variable NTJ = NTJ (Q, a) be the minimal possible number of intersections with a for a crossing of Q (and 0 if Q is not crossed) . Then N,/ is tight as CON J ECTU RE 1.11 (TIG HTNESS OF INTERSECT IO NS).
Iryl ~ o.
Proving either of t hese conjectures would not only simplify our proof of the main t heorem, but also provide an easy and constructive "gluing procedure": we take all :<excursions" (= crossings in the complements of a) and check whether a crossing of Q can be assembled from finitely many of them (as discussed in Remark 1.9, the finite number of excursions will necessarily connect into one crossing). Such a procedure would give a very short proof 1210
ON THE SCA LINC LI J\HTS OF PLA NA R PERCO LATION
19
of the uniqueness of t he fu ll percolation scaling limit , provide an elegant setup for the renormalization t heory of percolation crossings, and show t hat the "finite model" discussed by Langlands and Lafortune in [LL94] indeed approximates t he critical percolation . Note t hat if Conjectures above fa il , the construct ive procedure for gluing crossings will have to deal with countably many excursions intersecti ng a on a Cantor set C. Then the criterion for possibility of gluing t he excursions into one crossing is likely to be in terms of some capacitary (or dimensional) characteristics of C. The critical percolation scaling limit is conjectured to be conformally invariant, which was est ablished for site percolation on t he t riangular lattice [SmiOla, SmiOlb]. In Remark 1.9 we mentioned t hat, for a given quad Qo , a smooth curve a has t he property that two large clusters inside two components of [Qo] \ a touch each other (on a) with positive probabi li ty. One can ask, whether an arbi t rary curve a would always enjoy t hi s property, and the answer is negative. Moreover , under conformal invariance assumption, t his property (equivalent to positive probability of finding a crossing intersecting a only fini tely many times) can be reformulated in terms of multi fractal propert ies of harmonic meaSUl'e on two sides of fr. Below we present an informal argument to this effect, note a lso similar discussions in the SLE context in [GRS08[. To simplify t he matters, we discuss a related (and probably equivalent) property t hat the expected number of such touching points for two large clusters inside two components of [Qo] \ fr is posit ive (or even infini te). Let f(a +, a_) be the t wo-sided dimension spectrum of harmonic measure on a, see [AP SlO]. Roughly speaking, f(a+ , a_} is the dimension of the set of z E a where harmonic measures w± on two sides of a have power laws a±:
Consider a set E C a such t hat harmonic measures w± have power laws a ± on E. Cover most of E by a collection of balls Bj of small radi i Tj . By conforma l invariance, the probability of a ball Bj t o be touched by a la rge open cluster on the "+ side" of fr is governed by its harmonic measure and Cardy's formula [SmiOlb] that gives the exponent 1/ 3: P+ (B j } ~ W+ (B j}I /3 ~ 1·? /3 .
Combining wit h t he similar est imate on the "- side," we wri te an estimate for t he expected number of balls B j touched by large clusters on both sides:
L
P+(Bj)P_(Bj) '"
j
L ,.;"++"-1/ 3 . j
1211
20
ODED SC I·IRAJ\U",I AND ST AN ISLAV SM IRNOV
+ a_) / 3 is bigger (smaller) im than dim(E ), since L.j r1 (E) ~ 1. \Ve conclude that the expected number
Here t he right hand side is small (large) when (a+
of points touched by large cl usters on both sides is positive if and only if we
can find E such t hat (a+ + a_ ) / 3 < dim (E ).
R EMA RK 1.12 (S HA RPNESS OF T HE FI NI TE I NTERSECTION PROPERTY ) .
It seems that positive probability of having a crossing intersecting Q a finite number of times is roughly equivalent to the existence of positive exponents
u+ and a_ such that the two-sided multi/raetal spectrum of harmonic measure on a satisfies 3/(a+ ,a_ ) > a+ + a_, see (A PSI OJ for discussion of such spectra. The latter- property seems to fail even for some non-smooth Ct of dimension close to one, so we do not expect the factorization property to be equivalent to the finite intersection property, but rather to be a weaker one. Before proving the main t heorem, we discuss a new framework for t he percolation scaling limit and show t hat collection of discrete random colorings is precompact, so in this framework the subsequential scaling limits exist for any random model. Recall that we work with H o, which is t he collection of all closed lower (i.e. mono tonicity of t he crossing events is obeyed) subsets of Qo, which one should think of as sets of quads crossed. The topology TD is t he minimal one containing all sets Vu (of S such that some quads in U are crossed) and VQ (of S such t hat Q is not crossed). We now list some important properties of Ho. THAEOREfo,'1
1.13 ( T HE SPACE OF PERCOLATI ON CONFIGU RATI ONS ).
D ee be topologically open and nonempty.
Let
1. (HD , To) is a compact m etrizable Hausdorff space. 2. Let A be a dense subset of QD. If 5 1, 5 2 E HD satisfy 51 n A = S2 n A , then 51 = 8 2. Moreover, the O'-field generated by V Q , Q E A is the Borel a ~field of ( lt ~ , To). 3. If 8 1 , 8 2 , ... is a sequence in HD and 8 E HD , then Sj -. 8 in TD is equivalent to 8 = lim SUPj Sj = lim iufj 8 j . 4· Let D' c D be a subdomain, and for S E HD let 8' := 8 n QD' . Th en S 1-+ 8' is a continuous map from H D to H 0' . In the above, lim infj 8 j is the set of Q E Qo such t hat every neighborhood of Q intersects all but finitely many of the sets Sj, and lim SUPj 5 j is the set of Q E QD such that every neighborhood of Q intersects infinitely many of the sets 8 j . 1212
ON TH E SCA LI NG LIMITS Of PLANAR PERCOLATION
or
21
The result concerns the topological properties of the space of percolation configurations (colorings of Wings), and involves no probability measures. Thus it can be applied to any random coloring of a trivalent tiling (into open and closed tiles), yielding results for dependent models, like the Fortuin-Kasteleyn percolation. R EfI'I A RK 1.14 (Ap PLI CABI LITY
T HEO REM 1.1 3 ) .
It follows from the Theorem above that t he space of continuous func-
t ions on (Jiv) Tv) is separable, and hence the unit ball in its dual space M(Jiv) of Borel measures is compact (by the Banach-Alaoglu theorem, 3.15 in [Rud73j), metrizable (by 3.16 in [Rud73 j), and obviously Hausdorff in the weak-* topology. The space of probability measures being a closed convex subset of the unit ball, we arrive at the following
or PERCOLATIO N
The space P rob(Jiv) of Borel probability measures on (Jiv , Tv ) with weak-* topology is a compact metrizable Hausdorff space. CO ROLLARY 1.15 (THE SPACE
MEASURES).
Discrete percolation measures MrI clearly belong to Prob(Hv) and hence t he existence of percolation subsequential scaling limits (or, more generally, for any random colorings) is an immediate corollary:
The collection of all discrete measures {J-L,/} (corresponding to random colorings of trivalent tilings) is precompact in the topology of weak-* convergence on Prob(Hv ) . CO ROLLARY 1.16 ( PRECOM PACT NESS).
We can make {1J} a directed set by writing 1JI :::s m whenever l1Jti ;::: Iml· Then the scaling limit 1iml'1I..... 0 141 is just the limit of the net J.L,/. Since the target space Prob(Hv) is metrizable and hence first-countable , it is enough to work with the notion of convergence along sequences, rather than nets. In particular, if limj ..... oo j.£71j = 110 for every sequence 1"Jj with limj ..... oo 111j I = 0, then limllll _o 141 = flo· R EMA RK 1. 17 (NET S VS. SEQUEN CES).
Our construction keeps information about all macroscopic percolation events, and so gives the full percolation scaling limit at or near· criticality. For the critical site percolation on triangular lattice, Garban, Pete and Schramm explain in section 2 of (GPSIOcj that the scaling limit is unique) appealing to the work {CN06j of Camia and Newman. Basically, we know the probabilities of individual crossing events, and it allows R EMA RK 1. 18.
1213
22
ODED SCHRAJ\U..·! AN D ST AN ISLAV
S~.'IIRNOV
to reconstruct the whole picture, albeit in a difficult way. It would be interesting to establish the uniqueness using an appropriate modification of Proposition 4.1 . So that our t heorems apply even to models where t he uniqueness of the scaling limit has not been proved yet , we work with one of the subsequential limits Jio - a Borel probability measure on 'He, provided by Corollary 1.16. By Theorem 1.13, the Borel O"-field of H D is 0"(8Q ' Q E QD ), i.e. is generated by the crossing events inside D. Let FD: = a{BQ: Q E QD) also denote t he corresponding subfield of t he Borel a-field of 'He. THEOREM 1.19 (FACTORI ZATIO N). Consider a collection of percolation models, satisfying Assumptions 1.1 . Let D be a domain, and let aCe be a finite union of finite length paths with finitely many double points. Denote the components of D \ 0' by D j . Then for any subsequential scaling limit
(1 .4) up to sets of measure zero. Again , we note t hat this does not hold when Q' is a sufficiently wild path. Fix a subsequential scaling limit of the cri tical percolation for the bond model on the square lattice or for the site model on the triangular lattice. By the results above for a domain D it is described by a probability space (HD , FD , ttD), which is invariant under translations of t he plane (in fact , under all conformal transformations, but it is so far established for t he triangular lattice only), depends continuously on D , and satisfies (1.4). Then in the language of Tsirelson (see [Tsi04aj, Definition 3dl ) it is a noise or a homogeneous continuous product of probability spaces with a Boolean base given by an appropriate algebra of piecewise-smooth planar domains (e.g. generated by rectangles) . There is a well developed and beautiful t heory of noises, and we refer the reader to two exposi tions [Tsi04a, T si04bj by T sirelsol1 . In particul ar, every noise call be decomposed into a Hcla.'3sical," or "stable" part and a ~; non classical," or "sensitive" part. White noise is purely classical, and purely 110n-classical noi ses are called "black" by Tsirelson . The black noises are difficu lt to construct, with t he first example given by Tsirelson and Vershik in [TV98j. As poi nted out by T sirelson in [T si05j and in Remark 8a2 of [T si04bj, percolation noise has to be non-classical, and so our paper provides the first genuinely two-dimensional example of a black noise: 1214
ON T I'IE SCA LI NG LHvllTS OF PLANAR PERCOLAT ION
23
1.20 ( P ERCOLAT I ON IS A NOISE). Thus we conclude that, in the language of Tsirelson {Tsi04a}, any subsequential scaling limit as above is a noise with a Boolean base given by an appropriate algebr-a of piecewisesmooth planar domains (e.g. generated by rectangles). Th erefore, it has to be a black noise, as explained in {Tsi04b}, Remark 8a2. CO ROLLA RY
By t he conjectured universality) a ll the critical percolation models should have the same scaling limit and so correspond to t he same black noise. The situation with near-critical noises is less clear ) so t he followi ng question was proposed by Christophe Garban (the answer is expected to be negative): Q UEST ION 1.21. Are the noises arising fmm the critical and near-critical models isomorphic, or do we get a family of different noises'?
The notion of isomorphism for noises is discussed by T sirelson in Section 4a of [Tsi04aj. R.oughly speaki ng) we ask whether one can get a near-critical noise from the critical one by a local deterministic procedure'? Note that t he current construction of the near-critical percolation scaling limit would use the critical percolat ion a long wit h some extra randomness) as in [CFN06, GPSlOb).
Our construction of t he scaling limit applies to general random colorings, and much of what we do afterwards mostly uses "anTIs estimates," which are known for a wider class of models, t han just percolation . Therefore it is logical to ask 1.22 . To what extent out results apply to the models with dependence'? One has to be more careful in formulating the results, since now the configuration inside a domain depends on the boundaT1J conditions, but this can be addressed by working with a full-plane model and stripe domains. Q UEST ION
Acknowledgments . Vve are thankful to Christophe Garban and Wendelil1 \~lerner for useful conversations. T he second author is grateful to Hugo Duminil- Copin, Clement Hongler, Gabor Pete, J eff Steif, the referee, and especially Christophe Garban and Boris Tsirelson for t heir comments on the manuscript. 2. The Discrete G luing Theorem. In t his Section , we prove Theorem 1.5. 1215
24
ODED SCHRAl'vl M A N D STA NI SLAV Srv[IRNOV
Applying several times in succession Lemma A.I : we can find a smooth (Le. given by a diffeomorphi sm) quad Q, such t hat the crossing events for Qo and Q a re a rbi tra rily close. By the same Lemma, as c --+ 0, t he crossing event fo r Q is well a pproximated by t he crossing event of its perturbation Q~ := Q ([e, 1 - £]2). On t he ot her hand , a has finite lengt h and so for almost every c t he intersection an 8Qf: is fini te . This can be deduced , e.g., from the area t heorem in t he geometric measure t heory [Fcd69, Mat95], which implies t ha t a n ort hogona l proj ection of a rectifia ble curve on a given line covers almost every point at most finitely ma ny times. Thus, a pproximating if necessary, we can assume t hat 0: intersects 8Qo a t fini tely many points Xi, i = 1, ... , k. Fix EO > 0, then by the RSW' estima te (1.2), there is an T > 0 such that , if 0 < 1171 < T , then the proba bility under /1-,., that there is a crossing of Qo which intersects a ny of the disks B (Xi , T ) is less tha n EO. Fix such a n T , remove from the curve Ct the disks, the rest will be away from t he bounda ry, simplifying fu t ure estima tes: 0'.'
.-
d
.-
a \ ui B (Xil T), and
inf{lx-yl :x E a' , y EiJQo} > O.
Fix s E (O)d/ 4). By the regula rity assumption ) we ca n choose n::; C (a)/s balls of radius s, entirely covering a. Denote their centers by W I , W 2 , ... , W n , and set B j := B (w J , 28) . Let M denote the union of the set of t iles of H T) that intersect t he sneighborhood of a' minus Ui B (Xi, T). Assume 117 1 < 8 , so that !v! would be cont ained in the 2s-neighborhood of a' . Let wand w' be samples from J1-T) t ha t agree on the complement of 1\1{ and are independent in M . For j = 0, 1, ... , n , let Wj be the configuration t hat agrees with Wi on t he tiles of H T) lying inside B J U Bu ' . . U B j and agrees with w elsewhere. Then each Wj is a fair sample from Ji-,/ . Also observe that Wo = w and W n differs from Wi only inside u i B (Xi, T) . Our goal is to estimate
which we will do by successively comparing Wj - l to Wj ' F ix j E {I , 2, . . . , n }. In order for { Wj - l E BQo } n { Wj ~ BQo } to hold ) there must be a crossing in Wj _ 1 from 8oQo to ChQ o that goes through B j a nd t here must be a dual closed crossing in Wj from OJQ o to 0 3QO t hat goes through B j , see Figure 2.2. Thus, in Wj we have the four arm event from oBj to fJQo. Since the radius of B j is 2 s and the dista nce from B j to oQo is at least d - 2 s > d/ 2, by 1216
ON THE SCA LI NG LI J\HTS OF PLA NA R PERCOLATIO N
25
[Qol
FIG 2.1 . Setup JOT the prooj oj the dis crete gluing theorem in the simplest case.
Assumption (1.3) we have
P [Wj _l E
BQo,wj
rt
BQoJ <; P,i( Z, 28, dj 2) < (J/ 2)' /',.4( 28,dj2) .
Summing over j, we conclude t hat P two E BQo' Wn
1:.
n
BQo] ::;
L P [Wj _ 1 E BQo' Wj ¢. BQo]
j=1
<; n U/2) . /',.4 (28, dj 2) C(a) 48 <; - 8- . d
<;
4C(a)
d
. /',.,(28, dj 2)
. /',., (28, dj 2) .
By Assumption 1.1 the right hand side tends to 0 with s, and so we can make sure t hat P two E B Qo' Wn ¢. BQo ] < fO by choosing s sufficiently small. This is t he only place in the paper, where we use the pi votal estimate (1.3). 1217
26
ODED SC I·IRA r-.U...] AND ST AN ISLAV SM IRNOV
[Qol
F!G 2.2. Ij resampling a part of the ball B j changes the crossing event, than there are two open crossings fro m Bi to 8oQo and thQo, and two dua l closed crossings from Bi to 8oQo and &'Qo, - a four ann event.
Now , recall that Wo = w, and Wn differs from Wi only near endpoints of curves in 0, i.e. inside ui B (Xi, T) . By our choice of T, we have the estimate P [w n E 8QOl Wi ¢. 8Qol < fO. Summing t he above, we get the bound
P [WE BQ" w'
2'0 > P [w E BQ"w' ¢ BQoJ = E
[I'<, (BQo I F ,)(l - I',,(B Qo I F ,))].
In particular , by Chebyshev inequality,
Since
fO
was an arbitrary positive number , t his completes the proof. 1218
0
ON T HE SCA L ING L IM ITS
or PLA NAR PERCOLATION
27
3. The space of lower sets. The main goal of t his Section is to provide a n abstract setup for the percolation scaling limit and to prove Theorem 1.13 . \~re discuss topology on t he space ltx of closed lower subsets of an abstract pa rtially ordered topological space X . In the percolation case, X corresponds to t he space Qo of quads, and t he space (ltx , T'H ) to the space (lto, To) of percolation configurations in a domain D c if.:. Wi t h these conventions, Theorem 1.13 directly follows from Theorem 3.10 below. The lat ter a pplies to t he space of percolation configurations (colorings of tilings), since Qo is clearly second-counta ble, (3.1) holds by defini tion and (3.2) holds since a quad Qo can be easily a pproximated by smaller quads (e.g. by quads Qq wit h q = (- f,f, 1 + f, I -f) from the proof of Lemma 5.1 ). Vve now start t he (mostly classical) abstract construction , inspired by the Dedekind 's sections. Let (X , T) be a topological space, let ~x denote the collection of topologically closed subsets of X . For a topologically open U C X and a compact J( C X let
Wu -
{F E Ox,F n U fo },
WK
{F E Ox,F n J( =O }.
Let T be the topology on ~x generated by a ll such sets WI( and Wu . It is a more convenient version of t he Vietoris topology, called Fell topology or topology of closed convergence. The following result is Lemma 1 in [FeI62J: P ROPOSITIO N
3.1.
( ~x , T ) is compact.
For completness we include a short proof, based on Ale.xander 's subbase theorem (see, e.g., theorem 5.6 in [Ke1 75]), which states that if B is a subbase for the topology on a space X a nd every cover of X by elements of B contains a fini te subcover, t hen X is compact. By Alexander 's subbase theorem it suffices to show t hat every cover of JX by sets of the form Wu (where U E T) and WI( (where J( C X is compact ) has a fini te subcover. Let P ROOP.
{Wu ' U E I} U {WK , J( E J}
:::J ~x
be such a cover. Observe t hat U UEI W U = WO, where U = UUE I U. Let F := X \ U, and note that F is topologically closed. Since F E JX c 1219
28
ODED SC HRAl\H,.f AND STAN ISLAV Sl\'I I RNOV
WOUUKEJ WJ< , we know that F E UKEJ Hr I< , namely, there is some J(o E J with F E 1V K o. In other words, F n Ko = 0; that is, [(0 c U. Since Ko is compact and {U : U E I} covers Ko , there is some finite I' c I such that {U : U E I f} covers Ko - Then {Wu : U El'} U {Hf KO} is a finite cover of OX. 0 Now suppose that "<" denotes a partial order on X such that
(3.1)
R:= {(x ,y) E X': x < y} is a topoJogicallyopen subset of X"
Define R X := {y E X: y < x} and R x := {y EX : x < V}. Then for every x E X t hese sets are topologically open. A set H eX is said to be lower if x E H implies R X c H. Let 1ix denote t he collection of all topologically closed lower sets.
Assuming (3.1 ), H x C JX is closed with respect to that is, 6X \ H x E T.
PROPOSIT ION 3.2 .
the topology PROOF'.
T;
Set U x := W {x} n yVR", and
U:=
U Ux={F:
3x,y withx
xEX
Then U is topologically open and H x = ~x \
u.
o
Let Ix be the topology of H x as a subspace of ~x. It is the topology generated by the sets Vu := WunHx and VK := H! K n Hx , for topologically open U and compact f{ subsets of X. As we will later see, in our setting it is s ufficient to restrict ourselves to one-point compact sets, working with V {x}, which we will often abbreviate V X. For si mplici ty we will also abbreviate H := H x and T := TH. Propositions 3.1 and 3.2 imply that (H , T) is compact. In general, H does not have to be a Hausdorff space, even if X is Hausdorff. Indeed, the sufficient condition would be for X to be Hausdorff and compact, but for the application we have in mind , X is not compact. However, the following result gives anot her sufficient cond it ion for H to be Hausdorff: PROPOSITION
(3. 2)
3.3.
Suppose, in addition to (3.1), that
'tx
E
X , x E R" .
Then (H , T) is a Hausdorff space. 1220
ON THE SCAL ING Ll r-.HTS OF PLA NAR PERCOLATION
29
PROOF. Let HI , H2 E 1t be different , then one of the two differences H I \ H2 and H2 \ H I is non-empty, withou t loss of generality the first one. Take some x E HI \ H2. Since X \ H2 is topologically open in X and contains x E R X, we can find some y E R X n (X \ H 2) = R X \ H2. Then VRy is disjoint from V Y. "tvloreover, HIE Vny and H2 E V Y. So there are disjoint topologically open sets in I containing H I and H 2, respectively, and t he space is Hausdorff. 0 REMARK 3.4. Let I' be the topology on ~x generated by the sets W u , U E Tx and W {x}, x EX. Since this topology is coarser than I , Proposition 3.1 implies that ( ~x , If ) is compact. Th e proof of Proposition 3.2 shows that'H is a topologically closed subset of ~x , also with respect to T'. Moreover, assuming {3.2}, the proof of Proposition 3.3 shows that 'H is Hausdorff with respect to If. It is well known (and not hard to verify, see theorem 5.8 in /K el'l5j) that if a compact topology on a space is finer than a Hausdorff topology on the same space, then they must be equal. We conclude that the topology on 1t induced by T is the same as that induced by T' whenever· (3.2) and (3.1 ) hold. L EMMA 3.5. Suppose that (3.1 ) and (3.2) hold, and that Xo is a dense subset of X. If H I) H2 E 'H and H I =j:. H2, then H I n Xo =j:. H2 n Xo.
PROOF. Take x E H I \ H2, if the latter is non-empty. Then (3.2) implies that n x \ H2 =j:. 0. Since Xo is dense and n x \ H2 is topologically open and nonempty, we have X o n n x \ H2 =j:. 0. Because n x c H I, this implies that H I n Xo =j:. H2 n Xo. A symmetric argument applies if H2 \ H I =j:. 0. 0 In t he next Lemma we characteri ze convergence of nets in 1tx. As we shall see, (1t x , Ix.) is first countable, thus convergence of sequences actually leads to the same properties, but we decided to work with the more general notion for now , since it does not lead to additional difficulties. Suppose t hat D is a directed set (i.e. part ially ordered by"::;" so that every two elements have a common upper bound), and {y"t}nE'D is a net (i.e. a sequence indexed by D) of subsets of X. We wri te lim sUPn Y,., for the set of all x E X with the property that for every topologically open U C X containing x and for every mE]) there is some n ::: m in ]) satisfying Yn n U =j:. 0. Similarly, lim infn Yn is the set of all x E X with the property that for every topologically open U C X containing x there is some mE]) such t hat y;, n U =j:. 0 fo r every n ::: m . VIle write Y = limn Y,., if Y = lim sup" Yn = lim infn Y,.,. 1221
30
ODED SC HRAMM AN D ST AN ISLAV SM IRNO V
LEMMA 3.6.
A ssume that (3.1 ) and (3.2) hold, and that Sit, nE V , a net with 5 n E 1t for even) n .
lS
1. If limn S n c X exists, then limn Sn E 'H.
2. If the net S n converges to S with respect to T , then S = limn Sn . S. Conversely, if S = limn SrI! then the net Sn converges to S with respect to T. PROOF. To prove (1), suppose t hat S = limn S n) xE S and y < x . T hen
x E R y. Therefore, t here is some m E V such t hat Sn n R y f- 0 for every n t m . Si nce S n E 1i, t his implies that y E S n for every n t m . Thus, yE S , which proves that S is a lower set. The defini t ion of limn 8 11 makes it clear that S is topologically closed. This proves (1) .
To prove (2), suppose t ha t 5 n converges to S wi th respect to T . Let xE S. If U c X is topologically open a nd contains x, the n S E Vu . The refore, there is some 1n E 'D such that STI E Vu for every n ~ 1n . But STI E Vu is equivalent to Sn n u =I 0 . Therefore, x E lim inf1l STI; that is, S c lim in fn Sn. Now suppose t hat y 1. S. By (3.2) there is some z E R Y \ S. T hen S E V Z • Consequently, t here is some 1n E 'D such t hat Sn E V Z fo r all n ~ 1n. Hence S n n R z = 0 for all n ~ 1n . Since y E R z a nd R z is topologically open, this implies tha t y rt li m SUPn 8 n . Thus, S ~ lim sUPn Sn. Summing it up, we have lim inf1l Sn ~ S ~ lim sUPn Sn. Since lim infn Sn C lim sUP/t S1I1 this proves (2). To prove (3), suppose that S = limn Su' Then we know from (1) t hat S E 1t. Suppose t hat Snj is a subnet of S n that converges to some S' E 1t. By (2), we have S' = limj S nj ' Therefore, S' = S. Thus, every convergent subnet of S1l converges to S . Since 1t is compact, this proves t hat STI converges to S, and completes the proof of the Lemma. 0 3.7. A ssuming (3. 1) an d (3.2), if X is second-countable (i.e. with a countable base), then Jt is second-countable an d hence metrizable. LEMMA
PROOF. Assume that X is second-countable. In particula r, t here is a counta ble dense set Xo e X. Let B be a counta ble basis for Tx . We claim that 6 ' := {Vu : U E 6} u {V " : x E Xo} is a subbase fo r T. Indeed, if U' E Tx , then there is a subset J c B such that U' = U UEJ U. Then Vu' = U UEJ Vu; thus, Vu ' is in the minima l topology conta ining B' . Now suppose tha t x E X , then (3.3)
Vx =
vY .
1222
ON TH E SCALING LJ ivllTS OF PLA NAR P ERCOLATION
31
Indeed, if S E VX, then x fJ- S and by (3.2) the topologically open set R X \ S is nonempty. Take some y E X 0 n R X \ S, then SEVY . This proves that V X C UyEXon R" V Y. Since y < x, we also have V Y C V X for y E R X , concluding that VX = U yEXOn R" VY. Thus V X is also in the minimal topology containing 8 1 • Now Remark 3.4 shows that 8 ' is a subbase for T. Since 8 1 is countable, T also has a countable basis (of all fini te intersections of elements of 8 1 ). By Proposition 3.3, topology T is Ha usdorff. Since a second-countable compact Hausdorff space is metrizable (which follows from t he Urysohn 's theorem 4.16 in [Kcl75]), this completes the proof. 0 Suppose that (3.1) and (3.2) hold, and that X o is a dense subset of X. Then the B orel a-field of ('H., T) is genemted by V Y, Y E Xo. LE MMA 3.8.
Observe that the Borel a-field of ('H. , T ) is generated by topologically open sets, which in turn are generated by the sets of t he form Vu and V X for topologically open U C X and x EX. So we must prove that those can be obtained from V Y, y E Xo by the operations of countable union, intersection and t aking complements. For x E X , the set V X can be obtained as V X = U yExOn R" V Y, by (3.3). For a topologically open U C X note t hat by the definitions Vu = UXEU "" V x , Therefore Vu ::J UyEUn xo""VY, On the other hand , take x E U. By (3.2) we can find y E Xo inside the topologically open set Un R X , then y < x and ...,V X c ...,V Y. Thus Vu C UyEu n x o...,V Y. Vve conclude that Vu = UyEunxo ...,V Y, and so the sets Vu can also be obtained . 0 PROOF.
Finally observe that a topologically open X' C X inherits the properties (3. 1) and (3.2) from X , and the foll owing continuity under inclusions holds: L EMMA 3.9. Let X' c X be topologically open, and for S E 1t x let iJ> (S):= Snx' . Then IP is a continuous map from 1ix to 'H.X" PROOF.
Vve have to check that preimages of topologically open sets a re
also topologically open. This follows easily since a topologically open subset U c X' is topologically open inside X and 1P- 1 (V V) = VV, while for x E XI we have 1P- 1 (V X) = V x . 0 Summing it up, we arrive at the follow ing Let (X ,T) be a partially ordered second-countable topological space, such that the ordering satisfies (3.1 ) and (3.2). Then THEORE M 3.10.
1223
32
ODED SCHRAMJ'd AND ST AN ISLAV Sl\'I I RNOV
1. ('H.x, T'H) is a compact metrizable Hausdorff space. 2. Let Xo be a dense subset of X. If 5!, 52 E 'li x satisfy 5\nXo = S2nXO, then 51 = 52 - Moreover, the cr-field generated by VY ,yE Xo is the Borel a-field of ('Hx , T,,). 3. If {Sn} is a sequence in Hx and S E 'H.x I then Sn - S in T1t is equivalent to S = lim sUPn Sn = lim inrl! Sn' 4 . Let X' c X be a topologically open subset, and for S E Hx let I}>(S ) := Sn X', Then I}:l is a continuous map from 'H.x to 1i x ',
PROOF. P art 1 follows from P ropositions 3.1, 3.2 and Lemma 3.7; part 2 follows from Lemmas 3.5 and 3.8; part 3 follows from Lemma 3.6; and part 4 follows from Lemma 3.9. 0 4. Uniformity in the m esh s ize. In this Section, we prove a mesh-independent version of t he glui ng theorem:
Let De e be some domain, and let Qo E QD be a piecewise smooth quad in D. Suppose that a C C is a finite union of finite length paths, with finitely many double points. Consider a collection of percolation models indexed by a set {17}. A ssume that I--i--rI converges to (a subsequential) scaling limit /10 as mesh 1 171 -+ O. Then for even) € > 0 there is a finite set of piecewise smooth quads Q( C QD\a: and a subset W ( C H , which is measumble with respect to the finite a-field a (8Q ' Q E Q, ), such that P ROPOSIT ION 4 .1 (MES H-INDE P ENDENT GLUING).
(4.1 )
PROOF'. This is the most technically difficult part of our paper. T he rough plan is as follows: we set up a thin strip around a, and cut it into "bays," form ing a neighborhood of a , and a part away from a , bounded by "beaches." Partition depends on the percolation configuration , and has t he properties t hat (i) percolation in t he neighborhood of a is decoupled from the rest, and (ii) the crossings outside this neighborhood can be encoded by a finite information , stable under small perturbations of the percolation configuration. \"le use a complicated construction of the neighborhood for the sake of the property (ii) . To effect ively bound the needed crossing information away from a (whose amount grows as we pass to the scali ng limit) , we further coarse-grain t his procedure to a fixed small scale, when it is described by a fi nite a-field. This will allow to write the required estimates. 1224
ON THE SCA LI NG LIM I T S OF PLA NA R PERCOLATION
33
\:Ve now star t t he proof by fixing a count able subsequence {'TJj} from our set , such t hat 111J I -----Jo 0 (an d {/.7/j converges to Jio). Recall that by Remark 1.17 in our sett ing it is sufficient to work with sequences, rather t han nets. Setup for the neighborhood of a. Reasoning like in the proof of Theorem 1.5 (the first paragraph of Section 2), we can approximate the quad Qo , by q uads whose boundaries intersect a on a finite set. Thus we can assume t hat a has fin itely many double points, intersects fJQo on a finite set. Prolonging some of the curves in a if necessary (to cut the non-simply-connected components into smaller pieces) , we can further assume that each component of [Qol \ a is simply connected. Fix small EO > O. Define two random variables: one given by t he ind icator function of the crossing event Yo := l s Qo ; and another by t he conditional probability of a crossing, given t he percolation configuration s-away from a: Y, := />ry(ElQo IF,). Here Fs , 8 > 0, denotes t he O'-field generated by t he restriction of w to the complement of the 8-neighborhood of a, as in Theorem 1.5. By that theorem, for all suffici ently small 8 > 0 ,
(4.2)
sup
11IIE(O,s)
J-L1I(€O
< Ys < 1 ~ EO) < EO ·
Denote by Xi, i = 1, ... , n, t he finitely many points where a intersects fJQo, as well as the end points and the double points of curves in a. Let d be t he minimum over i of the distances from Xi t o ot her Xj'S and t he farthest of fJoQo and ChQo · \:Ve now fix s > 0 sufficiently small so t hat (4. 2) holds, a nd sufficiently small so t hat for i = 1, ... , n, the balls B(Xi' 2s) are disjoint, and (4.3)
sup 11IIE (O,s)
l-4l3 a crossing from B (Xi' 2 8) to 8B(Xi , d/3)) < co/n .
T he latter follows for small 8 from the RSW estimate (1.2). We also require that t he intersection of a with ui8B(Xi, 8) is finite (which holds for almost every value of 8, since the total length of a is finite). For t he following construction, the reader is advised to refer to Figure 4.1 . Let {3 and {3' be finite unions of disjoint smooth simple paths in [Qol \ UiB(xiJ s), and let f( be t he closure of the union of connected components of
[QoJ \ (U, 8 (x" s) Up UP') whose bound ary intersects both {3 and {3'. We can choose these unions of paths so that 1225
34
ODED SC URAt\Hd AN D ST A NI SLAV SM IRNOV
[Qol
f3 f3' O!
Xi
Xn FIG 4.1 . Curves in 0: are between {J' which are in turn between {3 . We modify configumtion on the small discs so that long quads bounded by f3 and f3' on long sides, have open tiles all
one short side and closed on another.
• all t heir endpoints belong to U/)B(Xil S) , • {3' separates (3 fr om cr, • t he connected component of [Q oJ \ f3 t hat contains a is cont ained III t he (s/2)-neighborhood of Ct , • each component of connectivity I<j of J( is a quad with two "long" sides on {3 a nd f3' and two "short" sides on t wo of t he circles 8B(x j, s). It is immediate to verify t hat t here exist such unions of pat hs.
Bays and beaches. The following construction is illustrat ed in Figure 4.2. Let w be a sample from l.t.,., for some small 17 > O. For somewhat technical reasons it will be convenient to consider in pl ace of w the configuration w which is modified on t he t iles intersect ing d isks B {xj, s) . \Ne alt er w so t hat for every component J(i one of two short sides is covered by open tiles and another by closed. Clearly, (4.3 ) implies t hat if 1] < s, (4.4) 1226
or
ON THE SCA LI NG LHvlITS
PLANAR PERCO LATION
35
An interface
{3' An open bay
An open beach
A closed bay
A palm tree on
8.
closed beach
FIG 4.2. Int erfaces between open and closed clusters, starting from {J, cut the strips l<; into components. Bays are the components touching {J', and are alternatively open and closed. Beaches are the inner boundaries of the bays, when entered through {J' .
For this reason , studying wwill still be useful. In what follows , we start on the curve f3 and explore all the potential crossings of the strip between f3 and f3'. To be more precise, denote by ow the set of percolation interfaces - curves, separating open t iles in w from the closed ones. Let I be t he set of connected components of the intersection of ow wi~h the interior of]{ (i.e., percolation interface in the interior of ](), and let I denote the set of elements of I that have at least one end poi nt on f3 . T he definition of wguarantees that ill each component Ie t here is at least one interface of w with one endpoi nt on f! and the other Ol~ f3'. Let r denote t he union of the elements of I ; that is. r = U I = U')"E!'Y. Each connected component of J( \ r which meets f3' will be called a bay. Clearly, each point in f3' is in the closure of some bay, and for each bay its intersection with f3' is connected. Let B be some bay. The union of the tiles of H1) that intersect B as well as oB \ f3' will be called t he beach of B. It is easy to see that t he beach is connected, and all t he tiles in t he beach are either open (Le. in w) or closed (not in w) . If they are all open [respectively, closedJ , then B itself will be referred to as an open [respectively, closed] bay. Let M' = i\l[' (w) be the union of the component of [QoJ \ (J' containing cr. and of all the bays without beaches. Denote by 1\;[ = 1\;[(w) t he complement in [QoJ of 1\;[', as well as the correspondi ng set of t iles. The following property of l\tJ is essential: given 1\1 and the restriction of w to it, t he conditional law of t he restriction of w to /vI' (i.e. the complement of 1\1) is unbiased . In 1227
36
ODED SCHRM ..uI'\ AND STAN ISLAV Stvll RNOV
other words, if we take
independent from wand of t he same law, and we define W2 to agree with w on ftll and to agree with WI elsewhere, then W2 also has the law fJ.-,}' This follows directly from the fact t hat Nf(W2) = A1(w). WI
Below we will denote the restriction by wLAIf. Fix some small 8 ' E (0, s), and let a small bay B , i.e. with diam(Bn j3') end points of B n f3' are endpoints of
of a percolation configuration w to !vI
S = 58' denote the event that t here is < s' . Observe that for every bay B t he interfaces of w which meet both f3 and f3'. Thus three crossings of J{ (which are alternating, e.g. closed , open and closed) land on the arc B nf3' and Lemma A.2 applied to all components of J( implies that lim sup ",, (S) ~ O. 8' ..... 0 IT/le(o,s')
By choosing 8' sufficiently small , we t herefore assume, with no loss of generality, that 1)..,,(8) < £0 holds for every 1] E (0,8') and that 8' < 8. Observe that on -,8 the number of bays is bounded by a constant depending only on 8', {3,{3' and Qo · We will fin d t he structure of the bays t o be a convenient component in the estimation of the conditional probability (given the bays and some additional information) of w E BQo' However, as 1171 __ 0, the number of possible bay configurations increases without bound, and therefore their structure cannot be completely captured by a finite O"-field. For th is purpose, we need to introduce a discretization , and any sort of coarse-graini ng, e.g. by the square lattice, would do.
Discretization to a finite a-field by coarse-graining. ' ''''e need some tessellation of J( , and the following one is somewhat ad hoc, but suitable. Let 6 E (0, i) be small, to be chosen later. Fix some fini te set of points W C J( such that the distance between any two points in W is at least 6/ 4 and every point in J( is within distance 6/2 of some point in W. Let T be t he collection ofVoronoi tiles in J( with respect to W; that is, each Tw , w E W, is the set of points x E f{ whose distance to W is equal to Ix - wi. Then t he diameters of the t iles in the tessellation Tare all less t han 6 (but the lattice H,/ tiles are still much smaller ). Let T denote the tessellation obtained by adjoining to T t he clos ures of the (finite in number) connected components of [QoJ \ J( that do not contain Ct. '''''e think of tessell ations T a nd T as cell complexes. The vertices of T are defined as the vertices of t he Voronoi tiles together with the points in (,Bu {3') n aQo . The vertices of T are defined as those of T plus the four corners of Qo. Note that some of t he edges of Tare not necessari ly straight. Denote by [T] the union of the tiles in T. 1228
ON THE SCALING LIMITS OF PLANAR PERCOLATION
37
We say that a quad Q E QD is compatible with T if [Q] is a union of tiles of T and each of its four corners Q(O, 0), Q(O, 1), Q(l, 0), Q(1, 1) is a vertex of T. Since T is finite, it is clear that up to reparameterization preserving corners there are only finitely many compatible Q. Let Qt denote a set of representatives of equivalence classes of compatible quads up to reparameterization preserving corners. Then Qt is a finite collection of piecewise smooth quads in D \ £x. Let FT denote the O"-field generated by the events E3 Q , Q E Qt. Without loss of generality we assume that along our chosen sequence {7]j}, for each edge e of the tessellation T that does not touch 8Qo, • each edge of HT/ intersects the tessellation edge e in at most finitely many points, • the tessellation edge e does not contain any vertices of HT/' • the endpoints of the tessellation edge e are not on edges of HT/. There is no loss of generality in this assumption, because we may slightly perturb /3, /3' and T (and we don't even need T to be a Voronoi tessellation). Let B be some bay. Define T(B) to be its T-discretization, namely the union of all edges of T inside B n /3' and all tiles of T inside B, which can be connected to /3' by a path of tiles of T also contained inside B. By construction, each point in 8T(B) is within distance 5 from 8B. Note that there is a finite number of possibilities for the choices of T(B), and also observe that whenever S does not hold, all T-discretizations are non-empty and so T(B) = T(B') implies B = B'.
Connectivity in the coarse-grained model. The next objective is to show that on the complement of S the collections of discretized bays Zo .- {T(B): B an open bay}, and Zc .- {T(B): B a closed bay}, can be determined from FT. That is, there are FT-measurable random variables Z~ and Z~ such that Zo = Z~ and Zc = Z~ on the complement of S. Here and in the following, we ignore events that have zero itT/-measure for each 7] E {7]j}. Note that on the event -,s the cardinality of Zo and Zc is bounded by a constant depending on Qo, /3' and s' only. Let e be an edge of T that lies on the component /3j = /3' n K j , denote also /3j := /3 n K j . Let Qe and Q~ be the quads in Qi' that satisfy 80 Qe = 81Q~ = e, 82 Qe = 83Q~ = /3j and [Qe] = [Q~] = K j . Then the event that there is an interface 'Y E j that meets e is the same as the event E3 Qe \ E3 Q~ . 1229
38
ODED SCHRAMM AND STANISLAV SMIRNOV
If E is the set of all edges of T on f3j which meet interfaces in i, then on the event -,S, the connected components of f3j \ U E are the intersections of the elements of Zo U Zc with f3j, and since the bays alternate in color, it follows that the sets {T n f3j : T E Zo} and {T n f3j : T E Zc} can each be determined from FT, up to an event contained in S. Next, suppose that, c f3j is of the form Tonf3j for some TO E Zc (assuming -,S, such intersection is always non-empty). Let To be some tile of T. Then To C TO if and only if there is a simple path " of edges of T with the endpoints of " on , such that " separates To from f3j in K j and there is no open crossing in K j n W from " to f3j. This, along with the dual argument, implies the existence of Z~ and Z~, as claimed.
Describing the crossing structure by a finite graph. We now introduce a graph that describes the connectivity (by open crossings) structure of the various open beaches and the two boundary edges ooQo and 02QO' We start by defining a random graph G which would describe the connectivity away from a. The vertices of G are Zo U {ooQo, 02QO}, where an edge is placed between vertices v, v' E Zo if the beaches of the corresponding bays are connected by an open crossing in the restriction of W to M, denoted by wLM; while if v and/or v' are in {ooQo, 02QO}, the connectivity to the beach is simply replaced by the connectivity to the corresponding boundary edge itself. Note that there is a finite number of possibilities for the choice ofG. Suppose that TO, Tl E ZOo Let ej, j = 0, 1, be an edge ofT that is contained in f3' and has an endpoint in Tj, but ej itself is not in Tj. Then ej meets an interface on the boundary of the corresponding bay. On -,S, the two edges ej are connected by an open crossing in wL[1'l if and only if [TO, TIl is an edge of G. Thus, on the event -,S the subgraph of G induced by Zo is determined from FT. A similar argument applies also to the edges with endpoints in {ooQo, 02QO}. Thus, on the complement of S the graph G can be determined from FT. Now we define a random graph G* so that it describes the connectivity near a. Consider L = (ooQo U 02QO) \ [1'], which contains finitely many arcs on oQo. Denote by G* the graph whose vertices are Zo and the connected components of L, where v, v' E Zo are connected by an edge in G* if the two corresponding beaches of ware connected by an open crossing in WL([Qol \ M), and if v and/or v' are components of L, then the connectivity to the beaches is replaced by connectivity to v and/or v'. Clearly, W E E3 Qo if and only if there is a path from ooQo (or a subarc thereof) to 02Q2 in G U G*. Thus, on the event -,S, the graphs G and G* 1230
ON THE SCALING LIM IT S or PLANAR PERCOLATION
39
determine whether W E 8 Qo ' Denoting by wLAI{ the restriction of W to AI{, we set
Y = Y(w) := /1o,(w E BQo I wLM). V!le now show_that on -,5, the knowledge of G, Zc and Zo can be used to approximate Y . Let that is, t he complement in [1'] of t he union of T(B), where B runs over all the bays. Let Gt be t he graph on t he same vertex set as G*, where an edge appears between v, Vi E Zo if t he common boundary of v and T(AI{) is connected in WL([QOJ \ T(M)) with t he common boundary of v' and T(M) , while if v and/or Vi are components of L , t hen t he connectivity is instead to v and/or Vi, but still within WL([QO] \ T(Jv!)). VJe now show that if 6 is sufficiently small, "1 < 6 and 1} E {"1nL then
(4.5)
/1o,(Gt
# G',
~S I wLM)
< '0·
As we have mentioned, on the event -,5 t here is a fin ite upper bound on the size of Zc U Zo, depending on Qo, {31 and Sl only. Therefore, it is enough to have a good estimate for the probability that a particular pair of vertices v and Vi of G* are connected by an edge in one of the two graphs but not in the other, and we are free to impose addi tional conditions on 6. Connectivity of any pair of vertices is reduced to 6-perturbations of quads of size at least Sl, and so is easily obtained by several applications of Lemma A.I (some of them applied with the corners of t he quads appropriately permuted), proving (4.5).
Final estimates.
Yr
:=
Define
Yo =
Yo(w) :=
l WEBQo
and
!">,(fioQo and /hQo are connected by a path in Gt U G I wLM).
Then Yr is a function of the triple (Zc, Zo, G), and is therefore Fer measurable. By the above observation that on -,5 the event BQo is described by connectivity in G U G*, we have
1231
OD ED SCH RAM i'd A ND STA NISLAV Si\H RNOV
40
By taking expect ations, applying (4.5) and recalling t hat i was chosen t o guarantee /-L(S) < EO one gets
(4.6) where the norm refers to t he measure J-l-r,.
By (4.2) a nd the defini tion of Ys , we can write
and by (4.4 ), we have
(4 .7) Hence II Yo - Ysll2 < ) 3 EO + J€o < 3 Fa- Since Ys is F s-measura ble, i t is also wL.M-measurable. By its defini tion Y minimizes liVo - X II~ among wL M -meas urable random variables X. Therefore co mparison t o Ys (reca ll t hat t he set 1\11 includes t he complement of t he s-neighborhood of a) yields
Combining t his with (4.6) a nd (4.7), we concl ude that
Because :Yr is F I'-measurable and EO may he chosen a rbi t ra rily small , this proves t hat t here is an Fr-measura ble event W (which may depend on 1JL such that J-L1/(W.1.. E3Qo) < t./ 2. However, since Fr is fini te, t here are finitely many possibili t ies for t he event W , and one of t hose works for a subsubsequence T/jk' Since we work wi t h a (subsequent ial ) scaling limi t , the limit in (4.1 ) exists along t he or iginal subsequence and is equal to Jio (W.6. BQo) ' Since along a sub-subsequence t he quant ity in question is bounded by € , so is t he limit and we deduce (4.1 ). 0 5 . Fa ctorization.
In this Section , we prove t he Factorization Theorem 1.19. LEM /I.'IA 5.1. Let Jio be some subsequential scaling limit, then the boundary (i n topology T on 1i) of a crossing event has pmbability zem. Namely,
l'o(8BQo) = 0 holds for every Qo E Q D. 1232
ON T HE SCA L ING LI M ITS OF PLANA R PERCO LATI ON
41
Fix Qo E Q D and let f > O. It is easy to see (e.g. , using the Riemann map onto t\ [Qo]) that there is a continuous injecti ve 00: [- 1, C, whose restriction to [0, I]' is QQ. Let M := [- 1,1/3[2 x [2/ 3, 21 '- For every quadruple q = (xo, Yo, Xl, vI) E !vI define t he quad Q q : [0, C by PROOF.
2F-
IF _
Qq (x, y) := Qo(xo
+ (XI
- xo) x , Yo
+ (YI
- Yo) V) ·
It is a perturbation of Qo , obtained as an image of [xo, xI] x [Yo, vd by Qo. Lemma A.l implies that there is some positive 0'0 > 0 (depending on Qo), such that if q and q' are in A1 and differ in exactly one coordinate, and t he difference in t hat coordinate is at most 0'0, t hen lim sUPI'lI-+o 1l-rJ( BQQ b. 8QQ/) < f. Consequently, we have lim sUP /J.'I(BQQ b. 8 QQ ,) <4f, provided
1'1 1-0
IIq- q' lIoo::=; Jo.
Set qs := (-8, 8, 1 + 8, 1 - 8) , Q' := QQ- 60/ 2 and Q" := Q Q60 / 2 . Then Q' < Qo < Q" and
(5. 1)
li m SUPi'>I(ElQ' L'> ElQ")
17/1-+0
<
4,-
Also, Q' , Q" E Q D, if 60 is chosen sufficiently small. Recall t hat V Qo = 'H. D \ 8Qo is open in 'H. D. Hence 8Qo is closed. Let U ' be the set of quads Q E QD satisfying Qo < Q < Q". Then By passing to t he complements, we see that t here is a closed subset (the complement of VU/) t hat contains V Qo = -,8Qo and is contained in V Q" . Hence, the closure of VQo is contained in V Q", which gives o ElQ, = oV Q, C V Q, C V Q" .
On the other hand , let U be t he set of quads Q E Q D satisfying Q' < Q < Q", then Now observe t hat Vu c 8Q' while V Q" = -,8Q". We have shown t hat t he open set Vu n V Q" contains 88Qo' The portmanteau t heorem (see, e.g., [DudS9, Thm. 11.1 .1] ) therefore gives
~o(aElQq)
s: "o(Vu n V Q") s: li1111-+0 m in! 1.,(Vu n V Q") : =; li m inf IJ.,/( ElQ' b. 8Q") . 1'11---.>0
Since
f
was arbitrary, the result now follows from (5.1 ) 1233
D
42
ODED SC HRAi\Hd AND ST AN I SLAV SMIRNOV
If M C J-iD is in the Boolean algebra generated by finitely many of the events I3Q, Q E Q D (i.e., it can be expressed using finitely many E3Q and the operations of union, intersection and taking complements), then Jio(M ) = iimlIJl--+o {/1'}(M ). CO ROLLA RY 5 .2 .
PROOF'. Lemma 5. 1 implies t hat Jio(8M) = O. Thus, the corollary follows from the portmanteau t heorem [DuclS9, Thm. 11.1.1J and the weak convergence of f-J.-,/ to JioD PROOF OF TI-IEOREr.·[ 1.1 9 . Clearly, F D\I:t. = Vj :For It therefore remains to prove the left hand equali ty stated in the t heorem. Note t hat we work up to sets of /.l{J-measure zero. Take a smooth (given by a diffeomorphism ) quad Qo E Q D. By Proposit ion 4.1 and Corollary 5.2, we have
(5. 2) Since such collection of quads is dense in QD 1 Theorem 1.19 follows from Proposition 1.13.2. D APP ENDIX A, CONTINUITY OF CROSSING EVENTS In t his Section, we apply Russo-Seymour-\;Velsh techniques to deduce estimates of various crossing probabilities. vVe start by showing that crossi ng events are stable under small perturbations of quads. LEr.H... IA
A.1.
Th eTe exist a positive function .6. c(6, d), such that
lim .6.c( 6, d ) = 0 fOT any fixed d ) '_0 and the following estimates hold. Let Q be a quad. Let dj , j = 0, 1, be the infimum diameteT of any path in [Q] connecting OjQ and OJ+2Q , and define d:= max{do, d 1 }. Fix some 5 < d/ 2. Let Q' be another quad, satisfying at least one of the following conditions, see Figures A.i, A. 2 for a graphical interpretation.
(l). [Q'[ = [Q[, floQ' = floQ, {hQ' = 8 , Q , and there is a path 7 C [QJ of diameter at most 8 that sepamtes {Q(I , 1), Q'(I , I)} from floQ U &, Q inside [QJ. (2). [Q'J C [Q[, floQ' = floQ, 8 , Q' &'Q' can be connected to &,Q (3). [Q'J c [Q[, floQ' c floQ, &,Q' ChQ' can be connected to ChQ
C &,Q, &'Q' c &,Q, and each point on by a path a C [QJ with diam(a) :S 8. = &,Q, &'Q' c &,Q, and each point on by a path a C [Q] with diam(a) :::; 5. 1234
O N T H E SCAL ING LIMITS OF PLA NA R PERCOLATIO N
43
Q(O , l )~ Q'(O , l )
fhQ
[Q]
Q(O ,o) ~ Q'(O ,O )
Q( l ,O) ~ Q'(l,O)
F Ie A . 1. Case (lJ : quads Q and Q' differ by only one vertex, sepamtedjrom the other vertices by a short cut "f . Configumtions with only one oj two quads crossed have an open crossing jrom "f to fJoQ and a dual closed crossing jrom "f to PI Q, making their probability small.
The n JOT every 1111
< 6 we have
For si te percolation on the t riangular lattice, t here is a short proof based on Cardy's formul a. The proof below is a simple a pplication of the RS\~T estimate (1.2) and t he "lowest crossing" concept. First we deal wit h Case (1) in t he statement and prove the estimate with L1.. c equal to L1..1 from Assumption (1.2). Suppose first that d = do. The event B Q6. BQ' is contained in the event that there is a percol ation cluster meeting i and 8oQ. The latter has an open crossing of t he annulus A(Q(I , 1), 6, do), which by the RS\'" estimate (1.2) has probability at most L1..1 (6,d), and we are done with Case (1) . Ifd = d l , a similar argument shows the symmet ric difference between the event of a closed crossing from 01 Q to fhQ in [Q] and t he corresponding event in Q' is bounded by 6. 1 (6, dJ) . Duali ty shows that the lat ter symmetric difference is the same as B Q L1.. BQI, which proves Case (1). We now deal with Case (2), when clearly BQ 6. B Q = BQI \ B Q. \Ve start by estimating the crossing proba bility for Q' . Recall our convention that 6. (1', R) = 1 for r ~ R (i. e. when annul us in question is empty) . Let x be some point on the path T of diameter dl , connecting OIQ to fhQ. Any crossing of Q' has diameter at leas t do - 6 and passes wi thin distance 6 of T, so in particular it crosses an annulus A (x, d l + 6, (do - 6) / 2) if well defined , PROOF.
I
1235
44
ODED SC HRAMM AND STAN I SLAV SM IRNOV Q(O ,I)~ Q'(O,I )
, 1,1)
[Q]
FIG A.2. Case {2}: side fhQ' is close to the side fhQ. We take the lowest crossing "f of Q', landing at x . A dual closed crossing prevents it from landing on fhQ, making the probability small. Case (3) is symmetric.
and by t he RSW estimate (1.2) we have
(A.! ) Next we cut thQ' by a point z into two parts, Ul and (/3, so that l7j cannot be connected to f)j Q by a path of diameter less than d I/2 inside Q. If E3QI occurs, there is a crossing to at least one of 0"1 and <73. We will work with configurations with a crossing landing on (13 , the ot her ca.'3e being symmetric , wit h the lowest crossing replaced by the uppermost, so the total estimate will be double of what we obtain. Consider a percolation configuration w . On the event 8QI, let I be the "lowest" w-crossing of Q' (in t he sense that it is the closest to thQ', i.e. separates th Q' from all other w-crossings of Q' within [Q']), and let x be the endpoint of "f on thQ' . Our assumpt ion implies that x E {T3, or there would be a lower crossing. We now estimate /'.L7](-.BQ I BQI ,"f,x E (T3) . Let All be t he connected component of [Q'l \ "f which has 8 1Q' on its boundary. T he event -.B Q would imply that "f cannot be connected to thQ by a crossing inside [Ql \ M . Hence t here is a dual closed crossing from thQ to (a3 n NI ) U 8 1Q, in particula r crossing the annulus A( x, 6, d 1/ 2} inside [Ql \ M. The lowest crossing "f depends only on the configurat ion inside NI , so t he restriction of w to [Ql \ NI is unbiased. Therefore, the conditional probabi lity of the mentioned annulus crossing is can be bound by the RSW 1236
ON TH E SCA LI NG L1 l\HTS OF PLA NA R PERCOLATION
45
estimate (1.2) and we conclude t hat (A.2 ) Now we are ready to prove t he estimate, working ou t sepa rately t hree possibilities:
(i) d = d l , (ii) d = do > 6 ?: d l · (iii ) d = do > d l > 6, \¥hen (i) occurs, we majorate the proba bility of the event in question by the max imum of its condit ional probability, estimated by (A.2 ), to arrive at
When (ii) occurs, we use t he estimate (A. I }:
Finally, when (iii) occurs, we a pply t he total expectation la w, using both estimates (A.2) and (A.I ) along the way:
1',( El Q'
\
ElQ):S E [1',( ~ElQ I El Q " 'Y, x E "3)I + E [J1., (~El Q I ElQ','Y,XE " d l
:s 2 1'>1 (ElQ') ~I (6,~I )
:S 2~ I (dJ+6, do ;6) ~1(6, ~1) (A.5 )
:s 2 ~I (2dl'~) ~I
(6,d;)
To prove Lemm a in Case (2), we have to show that for fLxed d and any € > 0, the right ha nd side of t he estimates (A.3), (A.4) and (A.5 ) is smaller t han €, if t5 is small enough. For estimates (A.3 ) and (A.4 ) t his follows directly from Assumption 1.2. For t he rema ining (A.5), let p > 0 be such that for l' < p we have 6. ] < €/ 2. T hen if d 1 ::; p, then t he right hand side of (A.5) can be bounded by
(21', *)
2~ I (2dl '~)
~ I (6, ~I ) :s n 1237
l
(2d
l,
n
< "
46
ODED
SC H RAM~d
we are done. Otherwise d. bounded by
>
AND STANI SLAV sr-,mlNOV
p and the right hand side of (A.5) can be
which tends t o zero with 15 by Assumption 1.2, and we finish the proof in
Case (2). The proof for Case (3) is easily obtained by considering the dual closed crossing from to Ih and applying Case (2). The details are left to the reader. 0
o.
The following Lemma shows that it is unlikely to see three crossings approaching the same boundary point. This would make the crossing event unstable under boundary pertur bation , so in princi ple the Lemma can be deduced from t he previous one, but instead we give a self-contained proof. The Lemma would follow from considering the three ann event in half-annuli, for whose probabil ity Ai~enman proposed an argument to be comparable to (r/ R? We will use a version of his reasoning along with RSW techniques to show a weaker estimate, sufficient for our purposes.
Let Q be a quad with smooth sides, two opposite being labeled f3 and f3', and with the tiles on each of the two other sides v and v' possibly declared all open or all closed. The n there is a function 6.Q(b) , tending to zero with 15 and such that the following estimate holds. Denote by S (0) the event that there are three crossings with some prescribed a lternating order (say closed, open, and closed) inside [QJ between the set 0 C {3' and {3. Then for 1171 < 15 we have LEMl'I'I A A.2.
'" {30 c (!' , 5(0), diam(O)
< 6J :S AQ (6)
PROOP. Fix t: > O. \Ne shall prove that for sufficiently small 5 the probability of the event in question is less than (. Since crossings can in principle use tiles on the sides v and II (which are declared open or closed), we have to treat O's near the corners of Q separately. Let z\ and Z2 be the endpoints of {3'. Since tiles on each of the arcs v and v' can be used by at most one of the t hree crossings, event S (0) implies existence of at least one crossing from e to f3 inside [Q], not touching the sides. By Assumption (1.2), there is l' E (0, b) such t hat probability to have a crossing between Uj B (Zi' 21' ) and f3 is smaller than t:/2:
1'>, (30 C U.B(z., 2,.) , 5 (O)}
1238
:S
,
2
ON THE SCA LI NG L IM ITS
or PLANA R PERCO LATION
47
Set {3" := {3' \ UiB(Zi' 1'), then to prove Lemma it remains to show t hat
'"" pO c (3" , S (0), diam(O) < oj S ~ .
(A.6)
Using Assumption (1.2), choose p E (0,1'/4) such t hat /:;:" 1(2p, 1'/2) < 1/2 . Cover {3" by a finite number n = n(p, f3") of overlapping arcs OJ of diameter at most p. Let b < P be so small that /:;:"1 (46,1') < E/(12n). Since f3' is smoot h, and decreasing b if necessary, we can cover each a rc OJ by arcs 0; of length 315, overlappi ng at most t hrice, and such t hat any set 0 C f3" of diameter le'3s t han b is entirely contained wi t hin one of the arcs 0; . To deduce (A.G ) it is sufficient to show that, for a fixed j, (A. 7)
Fix j and let B(z, p) be a radius p ball, contai ning OJ. The point ZI splits &Q \ OJ into two arcs: )..' c f3' and a >. => f3 . Both start at endpoints of OJ inside 8(z , p) and end at least T-away. Observe t hat event is contained in t he event 5' t hat theTe aTe thTee alternating crossings inside [Q] between 0 and f3 U v U v'. Condition on the event 5' and, starting fro m Z2, denote t he three such crossings, closest to Z2, by /1 , /2, /3. Namely, let /1 be the closed crossing between fJ and f3 U v U v' inside [Q], closest to Z2 . Let Ml be t he component of connectivity of [Q] \ /1, not containi ng Z2 . Then /1 depends only on t he percolation configuration in [Q] \ MI. Now, take /2 be t he open crossing between 0 and {3 U v U v' inside Nh, closest to /1. Let Ah be t he component of connectivity of Nh \ /2, not containing ')'1. Then ')' 1 and ')'2 depend only on the percolation configuration in [QI \ M,. \'Ve define /3 and ftih similarly, and observe that /1, /2, /3 depend only on t he percolation con figuration in [Q] \ !vh Therefore, given A'/3 and t he restriction WL([Q ] \ fti!3) (Le. the restriction of percolation configuration W to [Q] \ !vh), t he conditional law of the rest rict ion of W to !vh is unbiased. Let 5* = 5* (ftih) be the event that theTe is a closed crossing /4 between .\ and /3 inside M3. Using t hat t he restriction of W to M3 is unbiased, we can then wri te
S(On
(0;)
(0;) ,
(A.S)
'""
[S' I M"
WL
[QJ \ M,]
~
1'"
[S' I > 1 -
P,: (z, p, ,)
>
~
.
Above we use t hat (in an unbiased percolation configuration) , if t here is no open crossing of t he annul us A (z, p, r), t hen by duality there is a closed 1239
48
ODED SCHRAMM AND STANISL AV SM IRNOV
circui t (a path going around t he annulus), whose intersection with then contain a crossing required for S*.
(On
AI{3
would
(OJ))
Note that when 8' and S* occur , t he crossing /3 from (8 and the crossing ')'4 (from S*) together give a closed crossing between fJ and .\
and so t he following event 5" (8}) occurs: there is a closed crossing '1'3 from () to A, an open crossing from ;~ from fJ to {3 u v U Vi , and a closed crossing fmm Ii jmm f) to (3 u v u v', Then the estimate (A.S) can be rephrased as
and therefore (A.9)
Consider some percolation configuration w in [Qj, and assume that 8" (8~) holds for some 0; C OJ. Choose inside Q a closed crossing 'i'3(W) between ).' and OJ; and an open crossing ')'~(w) between ,\ which are the closest to each other (and t he point Zl separating >'" from >.. ). Denote by L = L (w) the union of t iles in 12, 13, and in t he part of [QJ between them. T hen 12 and 13 depend only on t he restriction of w to L , and t he rest is unbiased. tvloreover, if 12 ends at a tile on OJ, then 13 ends at a neighboring tile on OJ - otherwise using duality reasoning we can choose two closer crossings. Denote by x the only common vertex of t hese two t iles lying on the boundary of N. Note that each configuration w has a unique such point x = x(w) and it depends only on t he restriction of w to N. Now for to occur, besides 12 and 13 we must also have a closed crossi ng ,; from 0 to (J U j) U ,;. The crossing ,; necessarily lies in [QJ \ N, which is unbiased on wLN. Note also t hat ,; contains a crossing of the annul us A (x, 2&, r), whose center x is a random point dependi ng on wL L only. Summing it up, we can estimate
S(On
"'" {w S"
(oj)
I x(w) =
x } :S P~ (x , 48, r) :S
Since every point x is covered by at most three arcs 0), we recall (A.9) and
1240
ON THE SCA LI NG L IM ITS
or PLANAR PERCO LATION
49
concl ude that
L::, 1',[S (ej) 1:s L::,
[s" (ej) 1 ~ L::L::2!',,{w s(ej) x
2/f.'7
,
:s ;;: (2.3
I~n ) 1"'7 (w
~ 2~ ~ /17I{W:
Ix(w)~x } !',,(w x(w)~xl 0
x(w)
x(w)=x} :::;
~ xl 2~ '
o
so estimate (A.7) a nd the Lemma follow.
APPENDIX Bo MULTI-SCALE BOUND ON THE FOUR-A RM EVENT ON Z2 (BY CHRlSTOPHE GARBAN) In this appendix , we give a proof of Assumption (1.3) for critical bond percolation on the square lattice. Namely: B.1. For critical bond percolation on the square lattice with mesh 1111, there is a positive € such that the pmbability of a four ann event satisfies LE1..1t'.O\A
p;; (z,
(B.I ) whenever 11}1 <
1',
R) :::; const
(R,")1+' '
1' .
The case l' = 1111 can be extracted from [KesS 7] as well as [BKS99] or [SSlO]. Note that the above multi-scale generalization is not a consequence of the so-ca lled ~'quasi-mul t i plicativity" property. If one wanted to use t his property, t he problem would more or less boil down to the existence of the four-arm critical exponent. Since its existence is still open, we believe that Lemma (B. 1) cannot be extracted directly from the above mentioned papers. In t he papers [BKS99, SSlO], the general idea which enables one to prove that points are unlikely to be pivotal is the observation t hat a macroscopic crossing event for critical percolation is asymptotically uncorrelated with the Majority Boolean function defined on the same set of bits. This asymptotic uncorrelation can be understood using an exploration path which will compute t he percolation event while giving little information on t he Majority event. A careful analysis then shows that t his decorrelation is possible only if points are unlikely to be pivotal for the percolation event. This heuristical program has been carried out in a very convenient manner in [OS07J. 1241
50
ODED
SC H RA M~d
AN D ST AN I SLAV sr-,mlNOV
The present proof has the same flavor except t hat one now looks at the correlation of a percolation event in a doma in of diameter O(R) wit h a twolayers majority function: namely t he bits of t his tvlajority function are now indexed by the O(R2 /r2) r-squares included in the domain and for each such T-square, its corresponding bit ±l depends 011 how "connected" the percolation configuration is within t his square. This setup allows t o "interpolate" the a bove program from the macroscopic scale R to t he mesoscopic scale r . PROOF'. We leave out a few details, which are easy to fill in for readers familiar with t he applications of the RSW· t heory, similar to [KesS7, SW01, GPSlOal· After rescaling and , if needed, changing the radii by bounded factors, we can assume wit hout loss of generality t hat the lat tice mesh is 1 and T, Rare posit ive integers. Denote by Q an R x R square, and cut the concentric ! Q square into TXT
un
squares, denot ed by Qj, with j = 1, .. . , 2 . Denote by X = 2·1 8Q - 1 the "crossing random variable" equa l to 1 when Q is cro5.'3ed and - 1 otherwise. Given a percolation configuration w, we say that Qj is pi votal for X ; if al tering w so that all t he bonds in Qj are open , a nd so t hat all t he bonds in Qj are closed yields two different values of X. Note t hat Q j is pivotal for X if and only if then there are two open arms connecting GQj to 80Q and (hQ , and two dual closed arms connecting GQj to G1Q and fhQ. By arm separation proper t ies s imilar to ones used in [SvV01],
p 4(r, R) '" P IQj pi votal for
(B.2)
XI ,
and so it is sufficient to estimate the latter probability, or its sum over all Qj's. Let 5j be an annulus (1 - 5)Qj \ (1 - 25)Qj where nQj denotes a copy shrank of Qj by a factor of a: (if 1· is not exactly divisible by 0:, t he copy shrank is understood modulo integer pa rts). The fixed para meter 5 > 0 will be chosen later . Let
S;
~
S; denote t he same annulus but on t he dual lattice: Le.
Sj + (1/ 2, 1/ 2).
Define a random variable OJ equal to • 1, if t here is an open circuit in Sj and no dual-closed circui t in Sj, • - 1, if there is a dual-closed circuit in Sj and 110 open circuit in Sj , • 0, otherwise. Note that by symmetry an d by the RSW t heory, up to the const ant depending 011 5,
(B.3)
E ICjl
~O, E 1242
[CJ] '"
1.
ON THE SCA LI NG LIM IT S
or PLA NA R PERCOLATION
51
Now, let us argue that if t5 > 0 is chosen small enough, one has
E [XCjJ '" P [Qj pivota l for X J ('" P' (r , R) ) ,
(B.4)
Indeed , one has
(B,5)
E [XCjJ ~ P [Qj pivotal for X J E [XCj
I Qj
pivotal for X l,
since, conditioned on the event t hat Qj is not pivotal for X , Cj is independent of X and is s uch t hat its (conditiona l) expectation is st ill O. Therefore it rema ins to bound from below E [XCj I Qj pivotal for X]. Let p = p(t5) > 0 be such that P [Cj ~ I J ~ P [C, ~ - I J > p,
E [XCj
I Qj
pivotal fa>' X l ~ P [Cj ~ IJ E [X I Cj ~ 1 & Qj pivota l fa>' X l - P [Cj ~ IJ E [X I Cj ~ - 1 & Qj pivota l fa>' X l ,
Now, again by arm separation properties similar to ones used in [s\~rOl , SSlO], and using the import ant fact t hat t he event {Cj = I} is increasing which enables to use FKG for t he given conditional law inside Qj , one can see that , if t5 is chosen small enough, , 1 E [X I Cj ~ 1 and Qj pivotal for Xl > ;) ,
One has the opposite bound for t he term conditioned on {Cj together t his gives
E [XCj
I Qj
-
- I }. All
pivotal for X l > ~ ,
which implies t he desired estimate (8.4 ) if t5 is chosen to be small enough. Consider Q with open boundary condit ions on t he side &oQ and dual closed on t he complementary t hree sides. Let r be t he interface running between the two ends of the side &oQ and separating the open cluster rooted on it from t he dual closed cluster rooted on t he t hree other sides. Denote by Yj the event that r intersects Qj, as \vell as its indicator function. Note t hat , by the RS\,y theory, (B,6)
E [Y, J:S
(R")" '
for some posit ive E. Note t hat the interface r drawn from Q(O, 0) unti l some stopping time depends only on t he percol ation configuration in the immediate neighborhood of the drawn part. Drawing r until t he first t ime it hits 1243
52
O DE D SCH RA M M A ND ST AN ISLAV Sr-.HRNOV
&Qj, we conclude t hat }j is independent from the inside of Qj and hence from Cj . Note also that, if Q j is pivotal for X , then t here a re four alternating arms connecting DQj to four sides of Q which forces t he interface, to intersect Q j) and Yj to occur. T herefore, similarly as for the estimate (B.5) above, onc can check t hat (B .7)
E
[X C,] - E [X C,Y; J,
which combined wit h (B A ) gives
(B.8)
P [Qj pivotal for X ] " E [XC, Y; ] .
Summing over all Qj's, we use Cauchy-Schwarz ineq uali ty to write
,
l:E [X C) Y; ] (B.9)
In t he last sum , nOll-diagona l terms vanish. Indeed, let i t- j and stop t he interface 'Y t he first t ime it t ouched bot h squa res Q i a nd Qj, or when it ends. Denote by Q k t he first squa re of Q i, Qj to be hi t (or Qi if none was) and by Q/ the ot her onc, so t hat (k, I) is a super position of (i, j) . Let W be t he percolation configuration in t he immediate neighborhood of t he interface so far , and in Q k. Then W determines }'i, 0 , Ck, while being independent of C/ . T hus by the ident ity in (8.3),
By t he total expectation form ula we conclude t ha t, for i
E [CiYi C, Y;]
~
t- j,
O.
Thus we can cont inue (B.9), leaving only t he diagona l t erms, and use (B.G) and (B.3 ) to wri te
1244
ON T HE SCA LI NG LIMITS OF PLANAR PERCOLATIO N
53
Combining this with (8.2 ), (B.8), (B.9) we conclude
P'(r, R):S
<
~
R Lj P [QJ pivotal for X[ (3r)' (;)'(;f (~r',
o
proving the lemma.
REFERENCES [AB99[ M. Aizenman and A. Burchard. l'lolder regularity and dimension bounds for random curves. Duke Math. I , 99(3):419-453, 1999. [APSIOI Kari Astala, Istvan Prause, and Slanislav Smirnov. Holomorphic motions and harmonic measure. Preprint , 2010. [B](S991 Hai Benjamini , Gil Kalai , and Oded Schramm. Noise sensitivity of Boolean fUllctions a nd applications to percolat.ion. Inst. Hautes Etudes Sci. Publ. Math ., 90:5-43 (20(H), 1999. [BR061 Bela Bollobas and Oliver Riordan. Percolation. Cambridge Universit.y Press, 2006.
[BRIOI Bela Bollobas and Oliver Riordan. Percolation on self-dual polygon configurations. Preprint, arXiv:IOOI.4674, 2010. (Car92] John L. Cardy. Critical percolation in fmite geometries. J. Phys. A, 25(4): L201 1.206, 1992. [CFN06) Federico Camia, Lui", Renato G. rontes, and C harles ]'v\. Newman. T wodi mcnsional scaling limits via marked nonsimple loops. BuLL Bmz. Math. Soc. (N.S.), 37(4):537- 559, 2006. [CN06) Fedcrico Camia and C harles ~'I. Ncwman. Two-dimensional critical percolation: the full scali ng limit. Comm. Math. Phys. , 268(1): 1- 38,2006. [Dud89J Richard M. Dudley. Real anaLysis and probability. T he Wadsworth & Brooks/Cole !'vlathematics Series. Wadsworth & Brooks/Cole Advanced Books & Software, Pacific Grovc, CA, 1989. [Fed69] Hcrbcrt Federcr. Geometric measure theory. Dic Grundlehrcll dcr mathematischen \Vissenscha ften, Band 153. Springer- Verlag New York Inc. , New York, 1969. [reI62] J . M. G. relt. A Hausdorff topology fo r the dosed subsets of a locally compact non- Hausdorff space. Proc. Amer. Math. Soc., 13:<172-476, 1962. [GPSiOa) Christophc Gal'ban, Gabor Pcte, and Oded Schramm. The Fouricr spcctrum of critical pcrcolation. Acta Math., 205(1): 19- 10'1, 2010. [GPS lOb) Christophe Gar ban, Gabor Pete, and Odt.'(\ Schramm. The scal ing limit of the r.,·linimal Spanning Tree - a prel iminary report. In P. Exner, editor, XVItIt Intemational Congress on Math ematical Physics, Prague, 2009, pages 475-480. World Sci. PubL , Singapore, 2010. [GPSIOc] Christophe Garban, Gabor Pete, and Oded Schramm. Pi votal , cluster and interface mcasures for critical planar percolation. Preprint, ArXiv:l008.1378, 2010. [Gri99) Geoffrey Grimmett. Percolation, volume 321 of Grundlehren de,- Mathematischen Wissenschaften [FUndamental Principles of Mathematical Sciences}. Spri nger-Verlag, Berli n, second edition , 1999. 1245
54
ODED SCHRAMM AND STANISLAV SMIRNOV
[GRS08] C. Garban, S. Rohde, and O. Schramm. Continuity of the SLE trace in simply connected domains. Israel J. Math., to appear. Preprint, ArXiv:0810.4327, 2008. [KeI75] John L. Kelley. General topology. Springer-Verlag, New York, 1975. Reprint of the 1955 edition [Van Nostrand, Toronto, Ont.], Graduate Texts in Mathematics, No. 27. [Ken09] Richard Kenyon. Lectures on dimers. In Statistical mechanics, volume 16 of lAS/Park City Math. Ser., pages 191-230. Amer. Math. Soc., Providence, RI, 2009. [Kes80] Harry Kesten. The critical probability of bond percolation on the square lattice equals 1/2. Comm. Math. Phys., 74(1):41-59, 1980. [Kes82] Harry Kesten. Percolation theory for mathematicians, volume 2 of Progress in Probability and Statistics. Birkhiiuser Boston, Mass., 1982. [Kes87] Harry Kesten. Scaling relations for 2D-percolation. Comm. Math. Phys., 109(1):109-156, 1987. [KSlO] Antti Kemppainen and Stanislav Smirnov. Conformal invariance in random cluster models. III. Full scaling limit. In preparation, 2010. [Lan05] R. P. Langlands. The renormalization fixed point as a mathematical object. In Twenty years of Bialowieza: a mathematical anthology, volume 8 of World Sci. Monogr. Ser. Math., pages 185-216. World Sci. Publ., Hackensack, NJ, 2005. [LL94] R. P. Langlands and M.-A. Lafortune. Finite models for percolation. In Representation theory and analysis on homogeneous spaces (New Brunswick, NJ, 1993), volume 177 of Contemp. Math., pages 227-246. Amer. Math. Soc., Providence, RI, 1994. [LPSA94] Robert Langlands, Philippe Pouliot, and Yvan Saint-Aubin. Conformal invariance in two-dimensional percolation. Bull. Amer. Math. Soc. (N.S.),30(1):I61, 1994. [LSW02] Gregory F. Lawler, Oded Schramm, and Wendelin Werner. One-arm exponent for critical 2D percolation. Electron. J. Probab., 7:no. 2, 13 pp. (electronic), 2002. [Mat95] Pertti Mattila. Geometry of sets and measures in Euclidean spaces, volume 44 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1995. Fractals and rectifiability. [Nie84] B. Nienhuis. Critical behavior of two-dimensional spin models and charge asymmetry in the Coulomb gas. Journal of Statistical Physics, 34(5):731-761, 1984. [No108] Pierre Nolin. Near-critical percolation in two dimensions. Electron. J. Probab., 13:no. 55, 1562-1623, 2008. [OS07] Ryan O'Donnell and Rocco A. Servedio. Learning monotone decision trees in polynomial time. SIAM J. Comput., 37(3):827-844 (electronic), 2007. [Rud73] Walter Rudin. Functional analysis. McGraw-Hill Book Co., New York, 1973. McGraw-Hill Series in Higher Mathematics. [She09] S. Sheffield. Exploration trees and conformal loop ensembles. Duke Math. J, 147(1):79-129, 2009. [Smi01a] Stanislav Smirnov. Critical percolation in the plane. Preprint, arXiv:0909.4499, 200l. [Smi01b] Stanislav Smirnov. Critical percolation in the plane: Conformal invariance, Cardy's formula, scaling limits. C. R. Math. Acad. Sci. Paris, 333(3):239-244, 200l. [SSlO] Oded Schramm and Jeffrey E. Steif. Quantitative noise sensitivity and exceptional times for percolation. Ann. of Math. (2), 171(2):619-672, 2010.
1246
ON T HE SCA LI NG LI MITS OF PLA NAR PERCO LATION
55
[Ste09] Jefrrey E. SteiL A survey of dynamical percola~ion. [ n F'mctal geometry and stochastics IV. Proceedings of the 4th conference, Greifswald, Germany, September 8-12, 2008, volume 61 of Progress in Probability, pages 14 5-174. Birkhuuser, Basel , 2009. [SWOt] Stanislav Smirnov a nd Wendelin Werner. Cr itical exponents fo r twodimens ional percolation. Math. Res. Lett., 8(5-6):729- 744 , 200 1. ['I'si04a] Boris T si relson. Nonclassical stochast ic flows and continuous products. Probab. SUf'V., 1:173- 298 (elect ronic), 2004 . ['1's i04b] Boris T sirelson. Scaling limit , noise, stability. In Lectures 011 probability theory and statistics, volume 1840 of Lecture Notes in Math., pages 1- 106. Spri nger, Berlin , 2004 . ['1'si05] B. Tsirelson. Percolation , boundary, noise: an experiment. Preprint , Arxiv:math/ 0506269 , 2005. [T V98] B. S. '1's irelson a nd A. M. Vershik. Examples of nonlinear co n~inuou s tensor products of measure spaces and non- rock factorizations. Reviews in Mathematical Physics, 10:81- 145, 1998. [Wer09] Wendelin Werner. Lectures on two-dimensional critical percolation. In Statistical mechanics, volume 16 of lA S/Park City Math. Ser., pages 297- 360. Amer. Math. Soc. , Providence, RJ , 2009. [Wie81] John C. Wierman. Bond percolation on honeycomb and t riangular la Uices. Adv. in A ppl. Probab. , 13(2):298- 313, 1981. STANISLAV S~ JJRNOV
SECTiON DE J\"ATH~MATJQUES , UNlVER$ITE DE GENEVE 2- 4 RUE DU L IEvRE, C P 64 1211 G£NEVE 4 , SWITZ£RLAND E-MAIL: stanislav.smirnov~unige.ch
URL :
http://www.unige.ch/~Slllirnov
1247