Strong for the capacity of the Wiener sausage in dimension four

Amine Asselah ∗ Bruno Schapira† Perla Sousi‡

Abstract

We prove a strong law of large numbers for the capacity of a Wiener sausage in dimension four: the capacity divided by its mean converges almost surely to one. We also obtain upper and lower bounds on the mean, and conjecture that our lower bound is sharp. Keywords and phrases. Capacity, Green kernel, Law of large numbers. MSC 2010 subject classifications. Primary 60F05, 60G50.

1 Introduction

4 We denote by (βs, s ≥ 0) a on R , and for r > 0 and 0 ≤ s ≤ t ≤ ∞, let

4 Wr(s, t) = {z ∈ R : |z − βu| ≤ r for some s ≤ u ≤ t}, (1.1) be the Wiener sausage of radius r in the time interval [s, t]. Let Px and Ex be the law and expectation with respect to the Brownian motion started at site x, and let G denote Green’s function and HA 4 denote the hitting time of A. The Newtonian capacity of a compact set A ⊂ R may be defined as [H < +∞] Cap(A) = lim Px A . (1.2) |x|→∞ G(x)

Our main result is the following:

Theorem 1.1. In dimension four, almost surely,

Cap(W (0, t)) lim 1 = 1. (1.3) t→∞ E[Cap(W1(0, t))] Moreover, there exists a constant C > 0, such that for all t ≥ 2, t t (1 + o(1)) π2 · ≤ [Cap(W (0, t))] ≤ C · . (1.4) log t E 1 log t

We conjecture that the lower bound in (1.4) is sharp, based on results of Albeverio and Zhou, see Remark 3.2 below. ∗Universit´eParis-Est Cr´eteil;[email protected] †Aix-Marseille Universit´e, CNRS, Centrale Marseille, I2M, UMR 7373, 13453 Marseille, France; [email protected] ‡University of Cambridge, Cambridge, UK; [email protected]

1 From (1.2), the capacity of Wiener sausage is equivalent to the that two Wiener sausages intersect. Estimating such a probability has a long tradition: pioneering works were produced by Dvoretzky, Erd¨osand Kakutani [4] and Aizenman [1]; Aizenman’s results have been subsequently improved by Albeverio and Zhou [2], Peres [14], Pemantle, Peres and Shapiro [13] and Khosh- nevisan [7] (and references therein). In the discrete setting, the literature is even larger and older, and analogous results are presented in Lawler’s comprehensive book [8]. We note that the problem of obtaining a law of large numbers for the capacity of the Wiener sausage has been raised recently by van den Berg, Bolthausen and den Hollander in connection with torsional rigidity [15] – a new geometrical characteristic of the Wiener sausage on a torus. The proof of (1.3) presents some similarities with the proof in the discrete case, which is given in our companion paper [3], but also some substantial differences. One remarkable feature is that in spite of not having an estimate for E[Cap(W1(0, t))], we obtain an almost sure asymptotics only based on recent large deviation estimates of Erhard and Poisat [5]. In particular the upper bound in (1.4) directly follows from their results. The lower bound in (1.4) on the other hand is obtained via the Paley-Zygmund inequality and standard estimates on the volumes of one, or the intersection of two Wiener sausages. It may seem odd that the fluctuations result we obtain in our analysis of the discrete model [3] are not directly transposable in the continuous setting. However, it has been noticed some thirty years ago by Le Gall [9] that it does not seem easy to deduce Wiener sausage estimates from random walks estimates, and vice-versa. Let us explain one reason for that. The capacity of set A can be represented as the integral of the equilibrium measure of set A, very much as in the discrete formula for the capacity of the range R[0, n] of a (with obvious notation)

X + Cap(R[0, n]) = Px(HR[0,n] = ∞). x∈R[0,n]

Whereas Lawler [8] has established deep non-intersection results for two random walks in dimension four, the corresponding results for the equilibrium measure of W1(0, t) are still missing. It is interesting to note that the decomposition formula that we use for the capacity of the union of two sets is of a different nature to the one presented in [3] for the discrete setting. For any two compact sets A and B and for any r larger than the inradius of A and B

Cap(A ∪ B) = Cap(A) + Cap(B) − χr(A, B) − εr(A, B), (1.5) where we use the notation Sr for the boundary of the ball of radius r, and Z 2 2 1 χr(A, B) = 2π r · (Pz[HA < HB < ∞] + Pz[HB < HA < ∞]) dz, (1.6) |Sr| Sr and Z 2 2 1 εr(A, B) = 2π r · Pz[HA = HB < ∞] dz. |Sr| Sr

Observe in particular that εr(A, B) ≤ Cap(A ∩ B). The right hand side of (2.5) only involves intersection (or equivalently hitting) . This makes some notable difference in the way we bound the cross term χ (see Subsection 2.2 below). The paper is organised as follows. Section 2 contains preliminary results: in Section 2.1 we gather some well-known facts about Brownian motion; in Section 2.2 we give a decomposition formula for the capacity of the union of two sets; in Section 2.3 we recall some known results about capacity and

2 some large deviations estimates for the capacity of a Wiener sausage, due to Erhard and Poisat. We then give a corollary concerning intersection probabilities of Wiener sausages. The proof of Theorem 1.1 is given in Section 3: we first prove (1.4) in Section 3.1. Then Section 3.2 deals with the second moment of the cross term χ appearing in the decomposition of the capacity mentioned above, and eventually we conclude the proof in Section 3.3.

Notation: We write f . g, for two functions f and g, when there exists a constant C > 0, such that f(x) ≤ C · g(x), for all x and f  g when f . g and g . f.

2 Preliminaries

2.1 Further notation and basic estimates

We denote by Pz the law of a Brownian motion starting from z, and simply write P when z is the origin. Likewise Pz,z0 will denote the law of two independent Brownian motions starting respectively 0 4 from z and z , and similarly for Pz,z0,z00 . For any x ∈ R and r > 0, we denote by S(x, r) and B(x, r) respectively the sphere and the ball of radius r centered at x, that we abbreviate in Sr and Br when x is the origin. We write |A| for the Lebesgue measure of a Borel set A. We recall, see Theorem 3.33 in [12], that 1 1 G(x) = · , (2.1) 2π2 |x|2 4 Recall also, see Corollary 3.19 in [12], that for any z ∈ R , with |z| > r, r2 [H < ∞] = . (2.2) Pz Br |z|2

We will furthermore need the following well-known estimate (see Remark 2.22 in [12]): there exist positive constants c and C, such that for any t > 0 and r > 0

h i 2 P sup |βs| > r ≤ C · exp(−c r /t). (2.3) s≤t

2.2 A decomposition formula for the capacity of two sets

4 For A ⊂ R define rad(A) := sup{|z| : z ∈ A}, 4 the inradius of A. If A is a compact subset of R , then for any r ≥ rad(A), one has: Z Px[HA < ∞] Px[HSr < ∞] Cap(A) = lim = lim · Pz[HA < ∞] dρx(z) |x|→∞ G(x) |x|→∞ G(x) Sr Z 2 2 1 = 2π r · Pz[HA < ∞] dz, (2.4) |Sr| Sr where ρx is the law of the Brownian motion starting from x at time HSr , conditioned on the event that this hitting time is finite. The second equality above follows from the , and the last equality just expresses the fact that the harmonic measure from infinity of a ball, which by Theorem 3.46 in [12] is also the weak limit of ρx as x goes to infinity, is the uniform measure on the boundary of the ball, by rotational invariance of the law of Brownian motion.

3 We deduce from (2.4) that for any two compact sets A and B, and for any r larger than the inradius of A and B, Cap(A ∪ B) = Cap(A) + Cap(B) − χr(A, B) − εr(A, B), (2.5) where Z 2 2 1 χr(A, B) = 2π r · (Pz[HA < HB < ∞] + Pz[HB < HA < ∞]) dz, (2.6) |Sr| Sr and Z 2 2 1 εr(A, B) = 2π r · Pz[HA = HB < ∞] dz. |Sr| Sr

Observe in particular that εr(A, B) ≤ Cap(A ∩ B).

2.3 Intersection of Wiener sausages

Our aim in this subsection is obtain some bounds on the probability of intersection of two Wiener sausages, or equivalently on the hitting probability of a Wiener sausage. Our first tool for this is the following basic result (see Corollary 8.12 and Theorem 8.27 in [12]):

4 4 Lemma 2.1. Let A be a compact set in R . Then for any x ∈ R \ A, 1 [H < ∞] ≤ · Cap(A), Px A 2π2 d(x, A)2 where d(x, A) := inf{|x − y|2 : y ∈ A}.

The other estimate we need was proved by Erhard and Poisat, see Equation (5.55) in [5]:

Lemma 2.2 (Erhard–Poisat [5]). There exist positive constants t0, c and R0, such that for all t ≥ t0 and all R ≥ R0, h t i Cap(W (0, t)) ≥ R · ≤ t−c R. P 1 log t

We deduce from these results the following proposition, which complements earlier results of Al- beverio and Zhou [2], Khoshnevisan [7] and Pemantle, Peres, and Shapiro [13]:

4 Proposition√ 2.3. There exist positive constants C and t0, such that for all t > t0 and all z ∈ R , with |z| > log t, 1 ∧ (t/|z|2) H < ∞ ≤ C · , (2.7) P0,z W1(0,t) log t and all z, z0 with |z|, |z0| > (log t)2,

h i (1 ∧ t/|z|2) · (1 ∧ t/|z0|2) 0,z,z0 HW (0,t) < ∞, HeW (0,t) < ∞ ≤ C · , (2.8) P 1 1 (log t)2 where H and He are the hitting times associated to two independent Brownian motions, independent of β, starting respectively from z and z0.

Proof. We first prove (2.7). In view of (2.2), it only amounts to bounding the term   P0,z HW1(0,t) < ∞,W1(0, t) ∩ B(z, r(z, t)) = ∅ ,

4 √ with r(z, t) := 2(|z| ∧ t)(log t)−1/2. Using next Lemma 2.2, we see that it suffices to bound the term  t  H < ∞, d(z, W (0, t)) ≥ r(z, t), Cap(W (0, t)) ≤ C , P0,z W1(0,t) 1 1 log t with C some appropriate constant. Now by first conditioning on W1(0, t), and then applying Lemma 2.1, we deduce that the latter is bounded, up to a constant factor, by   1{d(z, W1(0, t)) ≥ r(z, t)} t E 2 · . d(z, W1(0, t)) log t √ Furthermore, on the event {d(z, W1(0, t)) ≥ r(z, t)}, since |z| is assumed to be larger than log t, we also have d(z, W1(0, t))  d(z, β[0, t]). Therefore all that remains to be done is to show that  1  1 E sup 2 . 2 . (2.9) s≤t |z − βs| max(t, |z| )

−2 4 Since the function x 7→ |x| is harmonic on R \{0}, if we define for s ≥ 0, −2 Ms := |z − βs| , and Hz = inf{s : βs = z}, then we know that (Ms∧Hz , s ≥ 0) is a positive martingale (see [12, Theorem 7.18]). However, since the point z is a polar set in dimension two and larger [12, Corollary 2.26], Hz is almost surely infinite, so that actually (Ms, s ≥ 0) itself is a martingale. Therefore by Doob’s maximal inequality ([12, Proposition 2.43]),

  1 sup M 3/2 [M 3/2] , E s . E t . 3/2 3 s≤t max(t , |z| ) where the last inequality follows from simple computations. Using next Jensen’s inequality this proves (2.9).

Now we prove (2.8). Suppose that H and He are the hitting times associated to γ and γe, two independent Brownian motions, independent of β (and as a consequence independent of W1(0, t) γ γ as well). Define W and W e to be the Wiener sausages associated to γ and γe, and let γ σ := inf{s : W1/2(0, s) ∩ W1/2(0, ∞) 6= ∅}, and γe σe := inf{s : W1/2(0, s) ∩ W1/2(0, ∞) 6= ∅}. Note that h i 0 H < ∞, H < ∞ = 0 [σ < σ ≤ t] + 0 [σ < σ ≤ t]. (2.10) P0,z,z W1(0,t) eW1(0,t) P0,z,z e P0,z,z e By symmetry one can just bound the first term in the right-hand side of (2.10). Now conditionally on γ, σ is a for β. In particular, conditionally on σ and βσ, W1(σ, t) is equal in law 0 0 to βσ + W1(0, t − σ), with W a Wiener sausage, independent of everything else. Therefore   P0,z,z0 [σ < σe ≤ t] ≤ E0,z 1{σ ≤ t} P0,z,z0 [σ < σe ≤ t | σ, γ, βσ]

5 h i ≤ 1{σ ≤ t} 0 [H 0 < ∞ | σ] E0,z P0,z −βσ W1(0,t−σ) h i ≤ 1{σ ≤ t} 0 [H 0 < ∞] . E0,z P0,z −βσ W1(0,t)

0 √ Now we split the last expectation in two parts corresponding to the two events {|z − βσ| ≤ log t} and its complement, which we denote by E1 and E2 respectively:

h 0 p i E := 1{σ ≤ t, |z − β | ≤ log t} 0 [H 0 < ∞] , 1 E0,z σ P0,z −βσ W1(0,t) and h 0 p i E := 1{σ ≤ t, |z − β | > log t} 0 [H 0 < ∞] . 2 E0,z σ P0,z −βσ W1(0,t) 0 For the first part E1, set D = |z − βσ|, and

0 √ H := inf{s > H 0 : γ ∈ W (0, t)}, W1(0,t) B(z , log t) s 1 with γ a Brownian motion starting from z. Then by using (2.2) and (2.7), we get with the Markov property

p √ 0 E ≤ [σ ≤ t, D ≤ log t] ≤ [H 0 < H ≤ t] 1 P0,z P0,z B(z , log t) W1(0,t) log t 1 ∧ t/|z0|2 · , (2.11) . 1 + |z − z0|2 log t √ √ since any point at distance smaller than log t from z0, is at least at distance log t from the origin, by triangular inequality (recall that by hypothesis |z0| > (log t)2). Now if log t |z − z0| > R(z, t) := √ , (2.12) 1 ∧ t/|z|

0 we are done with this first term. Otherwise we distinguish three cases.√ First if |z| or |z | is larger 3/5 3/5 0 than t , we are√ done just by an application of (2.3). If t ≥ |z| ≥ t and |z − z | ≤ R(z, t), then 3/5 0 √ 2t ≥ |z | ≥ t/2, and since β has√ to hit the ball B(z, log t), we are done by a single application of (2.2). Finally if (log t)2 ≤ |z| ≤ t, one has using the Markov property for γ when it first exit the ball B(z, 3R(z, t)),

P0,z,z0 [σ < σe ≤ t] ≤ P[W1(0, t) ∩ B(z, 3R(z, t)) 6= ∅] Z 1 00 + P0,z00,z0 [σ < σe ≤ t] dz |S(z, 3R(z, t))| S(z,3R(z,t)) Z 1 1 00 + 00 0 [σ < σ ≤ t] dz , . 2 P0,z ,z e (log t) |S(z, 3R(z, t))| S(z,3R(z,t)) using (2.2), and we are done as well, since then one can use the same proof as above with the points z00 ∈ S(z, 3R(z, t)) instead of z, which are at distance larger than R(z, t) from z0.

It remains to bound the other part E2. Using (2.7) yields h p i E = 1{σ ≤ t} 0 [H 0 < ∞] 1{D > log t} 2 E0,z Pz −βσ W1(0,t) 1  t  · 1{σ ≤ t}· (1 ∧ ) . log t E0,z D2 1 1 t t · 1{σ ≤ t}· 1{D ≤ |z0|/4} + · (1 ∧ )(1 ∧ ). . log t E0,z (log t)2 |z|2 |z0|2

6 Now consider  0 0 0 0 inf{s : βs ∈ B(z , |z |/4} if |z − z | > |z |/2 τz,z0 := 0 0 0 0 inf{s : βs ∈ B(z , 3|z |/4) if |z − z | ≤ |z |/2. 0 0 0 Note that by construction |z − βτz,z0 | ≥ max(|z − z |, |z |)/4, and that on the event {D < |z |/4}, one has σ > τz,z0 . Therefore by conditioning first on τz,z0 and the position of β at this time, and then by using (2.7), we obtain for some constant c > 0,

0 2  0  1 ∧ t/|z − z | 1{σ ≤ t}· 1{D ≤ |z |/4} · [τ 0 ≤ t] E0,z . log t P z,z 0 2 1 ∧ t/|z − z | 0 2 · e−c|z | /t . log t 1 · (1 ∧ t/|z|2) · (1 ∧ t/|z0|2), . log t using (2.3) at the second line. Putting all pieces together, this concludes the proof of the proposition.

3 Proof of Theorem 1.1

3.1 A first moment estimate

In this section we prove (1.4) that we state as a proposition:

Proposition 3.1. There exist positive constants t0 and C, such that for all t ≥ t0, t t (1 + o(1)) π2 · ≤ [Cap(W (0, t))] ≤ C · . log t E 1 log t

Proof. The upper bound follows from Lemma 2.2, so we concentrate on the lower bound now. We first give a rough bound on the second moment of Cap(W1(0, t)). For this we use that if A ⊂ B, then Cap(A) ≤ Cap(B), so for any compact set A, Cap(A) ≤ 2π2rad(A)2, as the capacity of a ball of radius r is equal to 2π2r2. It follows that

2 4 h 4i 2 E[Cap(W1(0, t)) ] . E[rad(W1(0, t)) ] . E sup |βs| . t . (3.1) s≤t √ Now we fix r = t · log t, and using (2.3) and Cauchy-Schwarz we arrive at

E[Cap(W1(0, t))] = E[Cap(W1(0, t)) 1{rad(W1(0, t)) ≤ r}] + O(1).

Then using (2.4) and (2.3) again, we obtain Z 2 2 1 E[Cap(W1(0, t))] = 2π r · P0,z[HW1(0,t) < ∞] dz + O(1). (3.2) |Sr| Sr

So it just amounts now to finding a lower bound for the hitting probabilities of W1(0, t) when starting at distance r. For this we define

Zt = |W1/2(0, t) ∩ Wf1/2(0, ∞)|,

7 with Wf a Wiener sausage independent of W . Then for any z 6= 0,

2 E0,z[Zt] P0,z[HW1(0,t) < ∞] = P0,z[Zt 6= 0] ≥ 2 , (3.3) E0,z[Zt ] where the last inequality is Paley-Zygmund’s inequality. Now Z E0,z[Zt] = P[x ∈ W1/2(0, t)] · Pz[x ∈ Wf1/2(0, ∞)] dx Z = P[HB(x,1/2) ≤ t] · Pz[HB(x,1/2) < ∞] dx Z 1 = [H ≤ t] · (1 ∧ ) dx. P B(x,1/2) 4|z − x|2 √ √ Assume now that |z| = r = t · log t, and let r0 = t · log log t. Using (2.2) and (2.3), leads to

Z 1  1  E0,z[Zt] = P[HB(x,1/2) ≤ t] · (1 ∧ 2 ) dx + O 4 B(0,r0) 4|z − x| (log t)  log log t  1 + O log t Z  1  = 2 P[HB(x,1/2) ≤ t] dx + O 4 4|z| B(0,r0) (log t)  log log t  1 + O log t  1  = [|W (0, t)|] + O 4|z|2 E 1/2 (log t)4 π2 1 ∼ · , (3.4) 8 (log t)2 where for the last line we use the classical result of Kesten, Spitzer, and Whitman on the volume of the Wiener sausage, see e.g. [10] or [11] and references therein, which implies:

1 π2 lim · E[|W1/2(0, t)|] = Cap(B1/2) = . (3.5) t→∞ t 2

It remains to bound the second moment of Zt. To this end we will need Getoor’s result [6] on the volume of the intersection of two Wiener sausages, see also [10] or [11], which implies

2 2 1 Cap(B1/2) π lim · E[|W1/2(0, t) ∩ Wf1/2(0, ∞)|] = = . (3.6) t→∞ log t 4π2 16

0 To simplify notation write τx = HB(x,1/2). Note that for any x 6= x , one has a.s. τx 6= τx0 , since, 0 even when |x − x | < 1, for the event {τx = τx0 } to hold, the Brownian motion has to hit a two- dimensional sphere which is a polar set, by Kakutani’s theorem (see [12, Theorem 8.20]). Observe 0 also that the function Px[τx0 < ∞] is symmetric in x and x . Therefore, ZZ 2 0 E0,z[Zt ] = P[τx ≤ t, τx0 ≤ t] · Pz[τx < ∞, τx0 < ∞] dx dx ZZ 0 = 2 P[τx ≤ t, τx0 ≤ t] · Pz[τx < τx0 < ∞] dx dx Z Z 1 dx 0 ≤ [τ ≤ t, τ 0 ≤ t] · [τ 0 < ∞] dx 2 |z − x|2 P x x Px x Z Z dx 0 = [τ < τ 0 ≤ t] · [τ 0 < ∞] dx |z − x|2 P x x Px x

8 Z  Z  dx 0 ≤ 1{τ ≤ t}· [τ 0 ≤ t − τ | τ ] · [τ 0 < ∞] dx |z − x|2 E x Px x x x Px x Z h i dx = 1{τ ≤ t}· [Z | τ ] . (3.7) E x E t−τx x |z − x|2 √ Now assume that |z| = r = t · log t. Note that (3.5) and (3.6) give respectively Z t [t − t/ log t ≤ τ ≤ t] dx ≤ [|W (0, t/ log t)] , P x E 1/2 . log t and π2 [Z | τ ] ≤ [Z ] ∼ log t. E t−τx x E t 16 Therefore by cutting the last integral in (3.7) in two pieces, one on the set {|x| > r0}, and the other one on {|x| < r0}, we arrive, similarly as for the first moment computation, to

1 + o(1) Z h i [Z2] ≤ · 1{τ ≤ t − t/ log t}· [Z | τ ] dx E0,z t t · (log t)2 E x E t−τx x π2 1 + o(1) Z ≤ · [1{τ ≤ t − t/ log t}· log(t − τ )] dx 16 t · (log t)2 E x x π4 1 + o(1) ≤ · . (3.8) 32 log t Now (3.2), (3.3), (3.4) and (3.8) finish the proof of the lower bound.

Remark 3.2. We believe that the lower bound is sharp in Proposition 3.1. Indeed Albeverio and Zhou [2] have shown that for any positve function (at) converging to infinity and such that log(1 + t/at)/ log t goes to 0,

1 t −1 P[Wf1/2(0, ∞) ∩ W1/2(at, at + t) 6= ∅] ∼ log(1 + ) · (log t) . 2 at

√Now if we could apply this result by replacing at with the stopping time τt := inf{s : |βs| = t · log t}, whose mean is equal to t(log t)2, then injecting this estimate in (3.2) would give a 2 matching upper bound. The main problem with this argument however, is that τt/t(log t) is not concentrated: it is equal in law to τ1 by scaling.

3.2 A second moment estimate

Here we estimate the second moment of the crossing term χ from the decomposition (2.5).

Proposition 3.3. Let β and βe be two independent√ Brownian motions and let W and Wf be their corresponding Wiener sausages. Then with r(t) = t · log t,

 2  h 2 i t χr(t)(W1(0, t), Wf1(0, t)) 1{rad(W1(0, t)) ≤ r(t), rad(Wf1(0, t)) ≤ r(t)} = O . E (log t)4

Proof of Proposition 3.3. First note that for any nonpolar compact sets A and B and any r larger 2 than the inradius of A and B, we can upper bound χr(A, B) by 4 Z 2 r  0 χr(A, B) . 2 Pz,z [HA < HB < ∞, HeA < HeB < ∞] |Sr| Sr×Sr

9 + Pz,z0 [HB < HA < ∞, HeB < HeA < ∞] + Pz,z0 [HA < HB < ∞, HeB < HeA < ∞]  0 + Pz,z0 [HB < HA < ∞, HeA < HeB < ∞] dz dz , (3.9) where H and He refer to the hitting times of two independent Brownian motions γ and γe starting respectively from z and z0. By using (2.2), we obtain

Pz,z0 [HA < HB < ∞, HeA < HeB < ∞] h i  1  0 √ √ = Pz,z HA < HB < ∞, HeA < HeB < ∞,HB −3 = ∞, HeB −3 = ∞ + O , t·(log t) t·(log t) (log t)8 where to simplify notation, we took A = W1(0, t), B = Wf1(0, t), and r = r(t) in the above equation. Now to bound the probability on the right-hand side one can use the Markov property at times HA and HeA for γ and γe respectively, and we deduce h i 1 1 z,z0 [HA < HB < ∞, HeA < HeB < ∞] z,z0 HA < ∞, HeA < ∞ · + P . P (log t)2 (log t)8 1 , (3.10) . (log t)8 using (2.8) twice. By symmetry we get as well

 1  z,z0 [HB < HA < ∞, HeB < HeA < ∞] = O . (3.11) P (log t)8

Now to bound the last two terms in (3.9), we can first condition on A = W1(0, t) and B = Wf1(0, t), and then using the inequality ab ≤ a2 + b2, together with (3.10) and (3.11), this gives

Pz,z0 [HA < HB < ∞, HeB < HeA < ∞] ≤ Pz,z[HA < HB < ∞, HeA < HeB < ∞]

+ Pz0,z0 [HB < HA < ∞, HeB < HeA < ∞]  1  = O . (3.12) (log t)8 By symmetry it also gives  1  0 Pz,z [H < HW1(0,t) < ∞, HeW1(0,t) < He < ∞] = O . (3.13) Wf1(0,t) Wf1(0,t) (log t)8

Then the proof follows from (3.9), (3.10), (3.11), (3.12), and (3.13). 

3.3 Law of large numbers

The final step of the proof of Theorem 1.1 is entirely similar to the discrete case [3]. The only notable difference is that in the discrete case, to bound the error term ε, we used that the capacity of any set is bounded by its size. In the continuous setting this is no longer true, but one has the following

Lemma 3.4. Let Wf be an independent copy of W . One has a.s. for all t > 0,

Cap(W1(0, t) ∩ Wf1(0, t)) ≤ C · |W3(0, t) ∩ Wf3(0, t)|, with C = Cap(B(0, 3))/|B(0, 1)|.

10 Proof. Let (B(xi, 1))i≤M be a finite covering of W1(0, t) ∩ Wf1(0, t) by balls of radius one whose centers are all assumed to belong to say β[0, t], the trace of the Brownian motion driving W1(0, t). Then by removing one by one some balls if necessary, one can obtain a sequence of disjoint balls (B(xi, 1))i≤M 0 , such that the enlarged balls (B(xi, 3))i≤M 0 cover the set W1(0, t)∩Wf1(0, t), and such that all of them intersect W1(0, t) ∩ Wf1(0, t). But since the centers (xi) also belong to β[0, t], all the balls B(xi, 1) belong to the enlarged intersection W3(0, t) ∩ Wf3(0, t). So one has on one hand

0 Cap(W1(0, t) ∩ Wf1(0, t)) ≤ M · Cap(B(0, 3)), since for any A and B one has Cap(A ∪ B) ≤ Cap(A) + Cap(B), and on the other hand

M 0 0 | ∪i=1 B(xi, 1)| = M |B(0, 1)| ≤ |W3(0, t) ∩ Wf3(0, t)|, 0 since by construction the balls B(xi, 1), i ≤ M , are disjoint. This proves the lemma.

One can now conclude the proof. For the convenience of the reader we recall the argument:

4 L 4 Proof√ of Theorem 1.1. Let L be such that (log n) ≤ 2 ≤ 2(log n) , so that L  log log n. Let r = t · log t, and let E be the event {rad(W1(0, t)) ≤ r}. On this event, by applying successively the decomposition formula (2.4) we obtain

2L L 2`−1 X X X Cap(W1(0, t)) = Xi,L(t) + χi,`(t) + ε(t), i=1 `=1 i=1 where ε(t) is a sum of error terms,

 −L −L  Xi,L(t) = Cap W1((i − 1)2 t, i2 t) , and  −` −` −` −`+1  χi,`(t) = χr W1((2i − 2)2 t, (2i − 1)2 t),W1((2i − 1)2 t, i2 t) , with χr given by (2.6). Note that χr is defined independently of the fact that E holds or not. Thus the (Xi,L)i are i.i.d., and for any fixed ` ≤ L, the (χi,`(t))i also. Recall that by using (2.3), Proposition 3.3, we know that  t2  [χ (t)2] = O , (3.14) E i,` 22`(log t)4 for all i ≤ 2`−1. Therefore, letting

L 2`−1 X X χL(t) := χi,`(t), `=1 i=1 we get using the triangle inequality for the L2-norm,

L X  (log log t)3  Var (χ (t)) ≤ L · 2`−1Var (χ ) = O t2 · . L 1,` (log t)4 `=1 Now fix some ε > 0. Using Chebyshev’s inequality we deduce from the previous bound that  t  (log log t)3 |χ (t) − [χ (t)]| ≥ ε . (3.15) P L E L log t . (log t)2

11 Next, using (3.1), and Chebyshev’s inequality again gives   2L   X t 1 P  (Xi,L(t) − E[Xi,L(t)]) ≥ ε  = O . (3.16) log t (log t)2 i=1

Then to finish the proof it remains to control the mean of ε(t). By combining Lemma 3.4 with (3.6), we deduce that h i E Cap(W1(0, t) ∩ Wf1(0, t)) = O(log t).

So by definition of ε(t) as a sum of the εr-terms appearing in Subsection 2.2, we obtain

L+1 5 E[ε(t)] = O(2 log t) = O((log t) ).

A first consequence is that by Markov’s inequality

 t  (log t)6 ε(t) ≥ ε , (3.17) P log t . t and another consequence is that

2L X E[Cap(W1(0, t)] ∼ E[Xi,L(t)] + E[χL(t)] . (3.18) i=1 So putting all pieces together, namely (3.15), (3.16), (3.17) and (3.18), we arrive at the conclusion that  t  (log log t)3  |Cap(W (0, t)) − [Cap(W (0, t))] | ≥ 4ε = O . P 1 E 1 log t (log t)2 3/4 Now consider the sequence an = exp(n ). Since the previous bound holds for all ε > 0, by using Borel-Cantelli’s lemma and Proposition 3.1, we deduce that a.s.

Cap(W (0, a )) lim 1 n = 1. n→∞ E[Cap(W1(0, an))]

Let now t > 0, and choose n = n(t) > 0, so that an ≤ t < an+1. Using that the map t 7→ Cap(W1(0, t)) is a.s. nondecreasing (since for any sets A ⊂ B, one has Cap(A) ≤ Cap(B)), we can write Cap(W (0, a )) Cap(W (0, t)) Cap(W (0, a )) 1 n ≤ 1 ≤ 1 n+1 , E[Cap(W1(0, an+1))] E[Cap(W1(0, t))] E[Cap(W1(0, an))] and the proof of the strong law of large numbers follows once we observe that   an+1 − an an E[Cap(W1(an, an+1))]  = o , log(an+1 − an) log an and use that for any sets A and B one has Cap(A) ≤ Cap(A ∪ B) ≤ Cap(A) + Cap(B).

References

[1] M. Aizenman. The intersection of Brownian paths as a case study of a renormalization group method for quantum field theory. Comm. Math. Phys., 97(1-2):91–110, 1985.

12 [2] S. Albeverio and X. Y. Zhou. Intersections of random walks and Wiener sausages in four dimensions. Acta Appl. Math., 45(2):195–237, 1996.

4 [3] A. Asselah, B. Schapira, and P. Sousi. Capacity of the range of random walk on Z . 2016. in preparation.

[4] A. Dvoretzky, P. Erd¨os,and S. Kakutani. Double points of paths of Brownian motion in n- space. Acta Sci. Math. Szeged, 12(Leopoldo Fejer et Frederico Riesz LXX annos natis dedicatus, Pars B):75–81, 1950.

[5] D. Erhard and J. Poisat. Asymptotics of the critical time in Wiener sausage percolation with a small radius. ALEA Lat. Am. J. Probab. Math. Stat., 13(1):417–445, 2016.

[6] R. K. Getoor. Some asymptotic formulas involving capacity. Z. Wahrscheinlichkeitstheorie und Verw. Gebiete, 4:248–252 (1965), 1965.

[7] D. Khoshnevisan. Intersections of Brownian motions. Expo. Math., 21(2):97–114, 2003.

[8] G. F. Lawler. Intersections of random walks. Probability and its Applications. Birkh¨auser Boston, Inc., Boston, MA, 1991.

[9] J.-F. Le Gall. Propri´et´esd’intersection des marches al´eatoires.I. Convergence vers le temps local d’intersection. Comm. Math. Phys., 104(3):471–507, 1986.

[10] J.-F. Le Gall. Fluctuation results for the Wiener sausage. Ann. Probab., 16(3):991–1018, 1988.

[11] J.-F. Le Gall. Some properties of planar Brownian motion. In Ecole´ d’Et´ede´ Probabilit´es de Saint-Flour XX—1990, volume 1527 of Lecture Notes in Math., pages 111–235. Springer, Berlin, 1992.

[12] P. M¨ortersand Y. Peres. Brownian Motion. Cambridge University Press, 2010.

[13] R. Pemantle, Y. Peres, and J. W. Shapiro. The trace of spatial Brownian motion is capacity- equivalent to the unit square. Probab. Theory Related Fields, 106(3):379–399, 1996.

[14] Y. Peres. Intersection-equivalence of Brownian paths and certain branching processes. Comm. Math. Phys., 177(2):417–434, 1996.

[15] M. van den Berg, E. Bolthausen, and F. den Hollander. Torsional rigidity for regions with a Brownian boundary. 2016. arXiv:1604.07007.

13