6Scaling limit of self-avoiding walks}\label{sec:saw

III Schramm--Loewner Evolutions



6 Scaling limit of self-avoiding walks
We next think about self-avoiding walk (SAW).
Definition
(Self-avoiding walk)
.
Let
G
= (
V, E
) be a graph with uniformly
bounded degree, and pick
x V
and
n N
. The self-avoiding in
G
starting
from
x
of length
n
is the uniform measure on simple paths in
G
starting from
x
of length n.
Self-avoiding walk tends to be difficult to understand, since they usually
don’t have the Markov property. However, in the scaling limit, it tends to be
more well-behaved. Restricting to the case of
G
=
Z
d
, it has been shown that
for d 5, the scaling limit is just Brownian motion (Hara and Slade).
In
d
= 4, the same is conjectured to be true. In
d
= 3, there is no conjecture
for the continuous object which should describe its scaling limit. In this course,
we are only interested in
d
= 2. In this case, the self-avoiding walk is conjectured
to converge to SLE
8/3
(Lawler–Schramm–Werner).
In percolation, the property that allowed us to conclude that the scaling limit
was
SLE
6
is the locality property. In self-avoiding walks, the special property
is restriction. This is a very simple concept if
G
0
= (
V
0
, E
0
) is a subgraph
of
G
with
x V
0
, then the self-avoiding walk on
G
conditioned to stay in
G
0
is a self-avoiding walk on
G
0
. Indeed, uniform measures always restricts to the
uniform measure on a smaller subset. It turns out
SLE
8/3
is the only
SLE
which
satisfies a continuum version of restriction. We will only show one direction,
namely that
SLE
8/3
satisfies the restriction property, but the other direction is
also known.
Brownian excursion
When studying the restriction property, we will encounter another type of process,
known as Brownian excursion. Fix a simply connected domain
D C
and
points
x, y D
distinct. Then roughly speaking, a Brownian excursion is a
Brownian motion starting at
x
conditioned to leave
D
at
D
. Of course, we
cannot interpret these words literally, since we want to condition on a zero
probability event.
To make this rigorous, we first use conformal invariance to say we only have
to define this for H with x = 0, y = .
To construct it in
H
, we start with a complex Brownian motion
B
=
B
1
+
iB
2
,
with
B
1
0
= 0 and
B
2
0
=
ε >
0. We then condition
B
on the event that
B
2
hits
R
0 before hitting 0. This is a positive probability event. We then take limits
R
and
ε
0. On the second example sheet, we will show that this makes
sense, and the result is called Brownian excursion.
It turns out the limiting object is pretty simple. It is given by
ˆ
B = (
ˆ
B
1
,
ˆ
B
2
)
where
ˆ
B
1
is a standard Brownian motion and
ˆ
B
2
BES
3
, and the two are
independent.
The key property about Brownian excursion we will need is the following:
Proposition.
Suppose
A
be a compact
H
-hull and
g
A
is as usual. If
x R \A
,
then
P
x
[
ˆ
B[0, ) A = ] = g
0
A
(x).
Proof.
This is a straightforward computation. Take
z
=
x
+
with
ε >
0, and
let B
t
be a Brownian motion. Define
σ
R
= inf{t 0 : im(B
t
) = R}.
Then the desired probability is
lim
ε0
lim
R→∞
P
z
[B[0, σ
R
] A = | B[0, σ
R
] R = ].
By Bayes’ theorem, this is equal to
lim
ε0
lim
R→∞
P
z
[B[0, σ
R
] (A R) = ]
P[B[0, σ
R
] R = ]
.
We understand the numerator and denominator separately. The gambler’s ruin
estimate says the denominator is just
ε/R
, and to bound the numerator, recall
that for z H \ A, we have
|g
A
(z) z| 3Rad(A).
Thus, using conformal invariance, we can bound
P
g
A
(z)
[B[0, σ
R+3Rad(A)
] R = ] P
z
[B[0, σ
R
] (A R) = ]
P
g
A
(z)
[B[0, σ
R3Rad(A)
] R = ].
So we get
im(g
A
(z))
R + 3Rad(A)
numerator
im(g
A
(z))
R 3Rad(Z)
.
Combining, we find that the desired probability is
lim
ε0
im(g
A
(x + ))
ε
= g
0
A
(x).
The restriction property
We now return to understanding the restriction property. We assume that
κ
4,
since this is the range of κ-values so that SLE
κ
is simple.
Recall that Q is the set of all compact H-hulls. We define
Q
+
= {A Q :
¯
A (−∞, 0] = ∅}
Q
= {A Q :
¯
A [0, ) = ∅}
For A Q
±
= Q
+
Q
, we define ψ
A
: H A H by
ψ
A
(z) = g
A
(z) g
A
(0).
This is the version of
g
A
that fixes 0, which is what we need. This is the unique
conformal transformation with
ψ
A
(0) = 0, lim
z→∞
ψ
A
(z)
z
= 1.
We will need the following fact about SLE:
Fact. SLE
κ
is transient, i.e. if γ is an SLE
κ
in H from 0 to , then
lim
t→∞
γ(t) = almost surely.
This is not very difficult to prove, but the proof is uninteresting and we have
limited time. Since
SLE
κ
is simple for
κ
4 and is also transient, it follows that
for all A Q
±
,
0 < P[γ[0, ) A = ] < 1.
This is useful because we want to condition on this event. Write
V
A
= {γ[0, ) A = ∅}.
Definition
(Restriction property)
.
We say an
SLE
κ
satisfies the restriction
property if whenever
γ
is an
SLE
κ
, for any
A Q
±
, the law of
ψ
A
(
γ
) conditional
on V
A
is that of an SLE
κ
curve (for the same κ).
Observe that the law of
γ
is determined by the probabilities
A 7→ P
[
V
A
] for
all A Q
±
.
Lemma. Suppose there exists α > 0 so that
P[V
A
] = (ψ
0
A
(0))
α
for all A Q
±
, then SLE
κ
satisfies restriction.
Proof.
Suppose the assertion in the lemma is true. Suppose that
A, B Q
±
.
Then we have that
P[ψ
A
(γ[0, )) B = | V
A
] =
P[γ[0, ) (ψ
1
A
(B) A) = ]
P[γ[0, ) A = ]
=
(ψ
0
(ψ
1
A
(B)A)
(0))
α
(ψ
0
A
(0))
α
=
(ψ
0
B
(0))
α
(ψ
0
A
(0))
α
(ψ
0
A
(0))
α
= (ψ
0
B
(0))
α
= P[V
B
],
where we used that
ψ
ψ
1
A
(B)A
= ψ
B
ψ
A
.
So the law of ψ
A
(γ) given V
A
is the law of γ.
We now have to show that
SLE
8/3
satisfies the condition in the lemma. Let
F
t
be the filtration of U
t
=
κB
t
. Then
˜
M
t
= P[V
A
| F
t
]
is a bounded martingale with
˜
M
0
= P[V
A
]. Also,
˜
M
t
1
V
A
by the martingale convergence theorem. Also, if we define the stopping time
τ = inf{t 0 : γ(t) A},
then we get
˜
M
T
= P[V
A
| F
t
] = P[V
A
| F
t
]1
{t<τ}
= P[V
g
t
(A)g
t
(0)
]1
{t<τ}
by the conformal Markov property.
Observe that if
M
t
is another bounded
F
t
-martingale with the property that
M
t
1
V
A
as t , then M
t
=
˜
M
t
for all t 0, since
M
t
= E[1
V
A
| F
t
] =
˜
M
t
.
Given what we were aiming for, we consider
M
t
= (ψ
0
g
t
(A)g
t
(0)
(0))
α
1
{t<τ}
Lemma. M
tτ
is a continuous martingale if
κ =
8
3
, α =
5
8
.
These numbers are just what comes out when we do the computations.
Proof.
Recall that we showed that
g
0
A
is a probability involving Brownian ex-
cursion, and in particular is bounded in [0
,
1]. So the same is true for
ψ
0
A
, and
hence
M
tτ
. So it suffices to show that
M
tτ
is a continuous local martingale.
Observe that
M
tτ
= (ψ
0
g
tτ
(A)g
tτ
(0)
(0))
α
So if we define
N
t
= (ψ
0
g
t
(A)g
t
(0)
(0))
α
,
then it suffices to show that
N
t
is a continuous local martingale by optional
stopping. We write
ψ
t
= ˜g
t
ψ
A
g
1
t
,
where ˜g
t
= g
ψ
A
(γ(0,t])
. We then have
N
t
= (ψ
0
t
(U
t
))
α
.
In the example sheet, we show that
t
ψ
0
t
(U
t
) =
ψ
00
t
(U
t
)
2
2ψ
0
t
(U
t
)
4
3
ψ
000
t
(U
t
).
By Itˆo’s formula, we get
dN
t
= αN
t
(α 1)κ + 1
2
ψ
00
t
(U
t
)
2
ψ
0
t
(U
t
)
2
+
κ
2
4
3
ψ
000
t
(U
t
)
ψ
0
t
(U
t
)
dt
+ αN
t
ψ
00
t
(U
t
)
ψ
0
t
(U
t
)
·
κ dB
t
.
Picking
κ
=
8
3
ensures the second d
t
term vanishes, and then setting
α
=
5
8
kills
the first dt term as well, and we are done.
We next want to establish that M
t
1
V
A
as t .
Recall that
M
t
is the probability that a Brownian excursion on
H \ γ
[0
, t
]
from
γ
(
t
) to infinity does not hit
A
. So we would expect this to be true, since
on
V
A
, as
t
increases, the tip of the SLE gets further and further away from
A
,
and so it is difficult for a Brownian excursion to hit
A
; conversely on
V
C
A
, it
eventually gets to A, and then we are dead.
By scaling, we can assume that
sup{im(ω) : ω A} = 1.
It is convenient to define the stopping times
σ(r) = inf{t 0 : im(γ(t)) = r}.
Note that σ
r
< almost surely for all r > 0 since SLE
8/3
is transient.
Lemma. M
tτ
1 on V
A
as t .
Proof.
Let
ˆ
B
be a Brownian excursion in
H \ γ
[0
, σ
r
] from
γ
(
σ
r
) to
. Let
B
be a complex Brownian motion, and
τ
R
= inf{t 0 : im(B
t
) = R}, z = γ(σ
r
) + iε.
Then the probability that
ˆ
B hits A is
1 ψ
0
σ
r
(U
σ
r
) = lim
ε0
lim
R→∞
P
z
[B[0, τ
R
] H \ γ[0, σ
r
], B[0, τ
R
] A 6= ]
P
z
[B[0, τ
R
] H \ γ[0, σ
r
]]
, ()
We will show that this expression is
Cr
1/2
for some constant
C >
0. Then we
know that
M
σ
r
τ
1 as
r
on
V
A
. This is convergence along a subsequence,
but since we already know that M
tτ
converges this is enough.
We first tackle the denominator, which we want to bound from below. The
idea is to bound the probability that the Brownian motion reaches the lime
im
(
z
) =
r
+ 1 without hitting
R γ
[0
, σ
r
]. Afterwards, the gambler’s ruin
estimate tells us the probability of reaching
im
(
z
) =
R
without going below the
im(z) = r line is
1
Rr
.
In fact, we shall consider the box
S
= [
1
,
1]
2
+
γ
(
σ
r
) of side length 2 centered
at
γ
(
σ
r
). Let
η
be the first time
B
leaves
S
, and we want this to leave via the
top edge
`
. By symmetry, if we started right at
γ
(
σ
r
), then the probability of
leaving at
`
is exactly
1
4
. Thus, if we are at
z
=
γ
(
σ
r
) +
, then the probability
of leaving via ` is >
1
4
.
What we would want to show is that
P
z
[B(η) ` | B[0, η] γ[0, σ
r
] = ] >
1
4
. ()
We then have the estimate
denominator
1
4
· P
z
[B[0, η] γ[0, σ
r
] = ] ·
1
R r
.
Intuitively, (
) must be true, because
γ
[0
, σ
r
] lies below
im
(
z
) =
r
, and so if
B
[0
, η
] doesn’t hit
γ
[0
, σ
r
], then it is more likely to go upwards. To make this
rigorous, we write
1
4
< P
z
[B(η) `]
= P
z
[B(η) ` | B[0, η] γ[0, σ
r
] = ] P[B[0, η] γ[0, σ
r
] = ]
+ P
z
[B(η) ` | B[0, η] γ[0, σ
r
] 6= ] P[B[0, η] γ[0, σ
r
] 6= ]
To prove (
), it suffices to observe that the first factor of the second term is is
1
4
, which follows from the strong Markov property, since
P
w
[
B
(
η
)
`
]
1
4
whenever im(w) r, which in particular is the case when w γ[0, σ
r
].
To bound the numerator, we use the strong Markov property and the Beurling
estimate to get
P
z
[B hits A without hitting R γ[0, σ
r
]] P
z
[B[0, η] γ[0, σ
r
]] · Cr
1/2
.
Combining, we know the numerator in () is
1
R
C · r
1/2
· P[B[0, η] γ[0, σ
r
] = ].
These together give the result.
Lemma. M
tτ
0 as t on V
c
A
.
This has a “shorter” proof, because we outsource a lot of the work to the
second example sheet.
Proof.
By the example sheet, we may assume that
A
is bounded by a smooth,
simple curve β : (0, 1) H.
Note that γ(τ) = β(s) for some s (0, 1). We need to show that
lim
tτ
ψ
0
t
(U
t
) = 0.
For m N, let
t
m
= inf
t 0 : |γ(t) β(s)| =
1
m
Since β is smooth, there exists δ > 0 so that
` = [β(s), β(s) + δn] A,
where n is the unit inward pointing normal at β(s). Let
L
t
= g
t
(`) U
t
.
Note that a Brownian motion starting from a point on
`
has a uniformly positive
chance of exiting
H \ γ
[0
, t
m
] on the left side of
γ
[0
, t
m
] and on the right side as
well.
On the second example sheet, we see that this implies that
L
t
m
{w : im(w) a|Re(w)|}
for some
a >
0, using the conformal invariance of Brownian motion. Intuitively,
this is because after applying
g
t
U
t
, we have uniformly positive probability of
exiting via the positive or real axis, and so we cannot be too far away in one
directionn.
Again by the second example sheet, the Brownian excursion in
H
from 0 to
hits L
t
m
with probability 1 as m .
We thus conclude
Theorem. SLE
8/3
satisfies the restriction property. Moreover, if
γ SLE
8/3
,
then
P[γ[0, ) A = ] = (ψ
0
A
(0))
5/8
.
There is a rather surprising consequence of this computation. Take
γ
1
, . . . , γ
8
to be independent SLE
8/3
’s. Then we have
P[γ
j
[0, ) A = for all j] = (ψ
0
A
(0))
5
.
Note that this is the same as the probability that the hull of
γ
1
, . . . , γ
8
des not
intersect
A
, where the hull is the union of the
γ
j
’s together with the bounded
components of H \
S
j
γ
j
.
In the same manner, if
ˆ
B
1
, . . . ,
ˆ
B
5
are independent Brownian excursions,
then
P[
ˆ
B
j
[0, ) A = for all j] = (ψ
0
A
(0))
5
.
Thus, the hull of γ
1
, . . . , γ
8
has the same distribution as the hull of
ˆ
B
1
, . . . ,
ˆ
B
5
.
Moreover, if we take a boundary point of the hull of, say,
γ
1
, . . . , γ
8
, then
we would expect it to belong to just one of the
SLE
8/3
’s. So the boundary of
the hull of
γ
1
, . . . , γ
8
looks locally like an
SLE
8/3
, and the same can be said for
the hull fo
ˆ
B
1
, . . . ,
ˆ
B
5
. Thus, we conclude that the boundary of a Brownian
excursion looks “locally” like SLE
8/3
.