Access the full text.

Sign up today, get DeepDyve free for 14 days.

Mathematics
, Volume 2020 (1706) – Jun 22, 2017

/lp/arxiv-cornell-university/solidification-of-porous-interfaces-and-disconnection-heuLgfn0H0

- ISSN
- 1435-9855
- eISSN
- ARCH-3343
- DOI
- 10.4171/JEMS/973
- Publisher site
- See Article on Publisher Site

In this article we obtain uniform estimates on the absorption of Brownian motion by porous interfaces surrounding a compact set. An important ingre- dient is the construction of certain resonance sets, which are hard to avoid for Brownian motion starting in the compact set. As an application of our results, we substantially strengthen the results of [22], and obtain when d ≥ 3, large deviation upper bounds on the probability that simple random walk in Z , or random interlacements in Z , when their vacant set is in a strongly percola- tive regime, disconnect the discrete blow-up of a regular compact set from the boundary of the discrete blow-up of a box containing the compact set in its interior. Importantly, we make no convexity assumption on the compact set. It is plausible, although open at the moment, that the upper bounds that we derive in this work match in principal order the lower bounds of [15] in the case of random interlacements, and of [14] for the simple random walk. ——————————– Departement Mathematik, ETH Zürich, CH-8092 Zürich, Switzerland. arXiv:1706.07229v3 [math.PR] 9 Jun 2020 0 Introduction The notion of capacity has many facets. Given a compact subset A of R , d ≥ 3, its Brownian capacity cap(A) can for instance be viewed as a measure of its size for Brownian motion coming from far away, see [18], p. 58. But it also equals the inﬁmum of the Dirichlet energies of smooth compactly supported functions equal to 1 on a neighborhood of A, see [20], p. 87, and also alternatively the inverse of the inﬁmum of the energies of probability measures supported by A, see [20], p. 76. It is a classical fact of potential theory that any compact set S that separates A from inﬁnity has a Brownian capacity cap(S), which is bounded from below by cap(A). However, when such an “interface” S is replaced by a “porous deformation” Σ, uniform comparisons between cap(A) and cap(Σ) become more delicate, in part due to the possible degenerations of the interfaces and porous interfaces under consideration. When A is convex, the problem can sometimes be circumvented with the help of the projection attached to A, but the issue becomes acute when no convexity assumption is made on A. The challenge is then to bring into play a notion of porous interfaces, which has meaningful consequences, and is relevant for applications. In this article we make no convexity assumption on A. We introduce a notion of porous interfaces Σ surrounding A, and obtain uniform estimates for the absorption by Σ of Brownian motion starting in A. These solidiﬁcation estimates readily lead to uniform comparisons between cap(A) and cap(Σ). An important ingredient in proving such solidiﬁcation estimates is the construction of certain resonance sets, which are hard to avoid for Brownian motion starting in A, and where on many scales the local densities of the interior and the exterior of the segmentation underlying Σ remain balanced. As an application of these estimates, we are able to substantially strengthen the results of [22] and obtain large deviation upper bounds on the probability that simple d d random walk in Z , or random interlacements in Z , when their vacant set is in a strongly percolative regime, disconnect the discrete blow-up of a regular compact set A from the boundary of the discrete blow-up of a box containing A in its interior. Whereas the results of [22] handled the case when A is itself a box, and the methods of [22] might conceivably have been extended to handle the case of a regular compact convex set A, the case treated here, when A is a regular compact set, requires a genuinely new approach to the coarse graining procedure, which is employed. Quite plausibly, the upper bounds that we derive in this work are sharp and match in principal order the large deviation lower bounds obtained in [14] and [15]. We will now describe our results in a more precise form. We consider R , mainly when d ≥ 3 (although d ≥ 2 throughout Section 1). We consider a non-empty compact subset A of R , and a collection of “interfaces” S = ∂U = ∂U , where U is a bounded 0 1 0 Borel subset of R and U its complement. To control the “distance” of A to U , we 1 1 deﬁne for ℓ non-negative integer U = the collection of bounded Borel subsets U for which the ℓ ,A 0 (0.1) local density of U for any box centered at a point of A with −ℓ 1 side-length 2 ⋅ 2 is at most when ℓ ≥ ℓ (this last condition is for instance satisﬁed when the sup-distance of A to U = R ƒU 1 0 −ℓ exceeds 2 ). 1 At a heuristic level the “interface” S = ∂U = ∂U can be viewed as a kind 0 1 of segmentation of the “porous interfaces”, which we now introduce. For a given U ∈ U , and ε > 0, η ∈ (0, 1) respectively measuring the distance from S at which ℓ∗,A the porous interface is felt, and the strength with which it is felt, we consider in the hard obstacle case S = the collection of compact subsets Σ of R such that U ,ε,η (0.2) P [H < τ ] ≥ η for all x ∈ S (= ∂U ), x Σ ε 0 where P stands for the Wiener measure starting from x, governing the canonical Brownian motion X on R , H = inf{s ≥ 0;X ∈ Σ} for the entrance time of X in Σ, Σ s and τ = inf{s ≥ 0;SX − X S ≥ ε} for the ﬁrst time X moves at sup-distance ε from ε s 0 ∞ its starting point. PSfrag replacements −ℓ∗ Fig. 1: An illustration of a U in U and Σ in S 0 ℓ ,A U ,ε,η ∗ 0 In the soft obstacle case, we instead consider V = the collection of non-negative, locally bounded, U ,ε,η measurable functions V on R , such that (0.3) E [exp{− V (X )ds}] ≤ 1 − η, for all x ∈ S (= ∂U ), x s 0 where E stands for the expectation relative to the measure P . x x Asymptotic solidiﬁcation estimates play a central role in this work. They appear −ℓ in Theorem 3.1 and for given A and η they provide controls in the limit where ε~2 tends to zero, on the trapping probability of Brownian motion starting in A by the 2 porous interface, uniformly over Σ ∈ S or V ∈ V , U ∈ U , and over the U ,ε,η U ,ε,η 0 ℓ ,A 0 0 ∗ starting point x in A. Namely, for given A and η, we show that (0.4) lim sÉ up P [H = ∞] = 0 x Σ u→0 −ℓ (where É sup stands for the supremum over ε ≤ u 2 , U ∈ U , Σ ∈ S , and 0 ℓ ,A U ,ε,η ∗ 0 x ∈ A), and (0.5) lim Ä sup E exp š − V (X )dsŸ = 0 x s u→0 −ℓ (where Ä sup stands for the supremum over ε ≤ u 2 , U ∈ U , V ∈ V , and 0 ℓ ,A U ,ε,η ∗ 0 x ∈ A), and actually, the quantities under the “lim ” sign in both (0.4) and (0.5) u→0 are maximal when A = {0} (see also Remark 3.6 2) for a reformulation of (0.4), (0.5), using scaling when A = {0}). As an application of (0.4), we show in Corollary 3.4 an asymptotic lower bound on capacity that plays a pivotal role in our treatment of the disconnection problems that we consider in Section 4. Namely when cap(A) > 0, with a similar meaning as below (0.4), one has (0.6) lim inf cap(Σ)~cap(A) = 1. u→0 Importantly, no convexity assumption is made on A. When A is convex, asymptotic lower bounds on cap(Σ) are often easier to achieve, as explained in Remark 3.6 3). As a (straightforward) illustration of (0.5), we consider the time spent by Brow- nian motion in the ε-neighborhood of S (= ∂U ) for the sup-distance, and show in Corollary 3.5 that for any a > 0 and ℓ ≥ 0, (0.7) lim sup sup E expš − 1{d(X ,S) ≤ ε}dsŸ = 0. x s ε→0 ε U ∈ U x∈A 0 0 ℓ ,A The diﬃculty in proving (0.4) (or (0.5)) stems from the fact that U varies over the whole class U and the interface S as well as the porous interface Σ may undergo ℓ ,A degenerations and become brittle in certain parts of space (where, for instance, they can behave as a soft potential due to an eﬀect of a “constant capacity regime”, see Remark 3.6 1)). An important ingredient in the proof of Theorem 3.1 (cf. (0.4), (0.5)) is the construction of certain resonance sets, where on well-separated spatial scales the local densities of both U and its complement U are non-degenerate. Speciﬁcally, 0 1 given U and integers J ≥ 1, L ≥ L(J) (see (1.27)) and I ≥ 1 the resonance set is (see (2.5)) (0.8) Res = šx ∈ R ; 1{σ̃ (x) ∈ [α̃, 1 − α̃]} ≥ JŸ, ℓ∈A 1 −d where α̃ = 4 is a dimensional constant, ̃σ (x) denotes the local density of U ℓ 1 −ℓ −ℓ in the closed box B(x, 4 ⋅ 2 ) of center x and side-length 8 ⋅ 2 , and ℓ ranges over 3 A ⊆ LN, which in essence, see (2.3) for the precise deﬁnition, consists of the ﬁrst I(J + 1) integers in LN that are bigger or equal to ℓ . The resonance set need not separate A from inﬁnity (see Remark 2.3 1)), but crucially, as shown in Theorem 2.1, it is hard for Brownian motion starting in A to avoid the resonance set when I is large. We even obtain stretched-exponential bounds on the avoidance probability and show in Theorem 2.1 that for any J ≥ 1, J−1 −1~2 (0.9) lim I log ‰ sup sup sup sup P [H = ∞]Ž ≤ −c(J) < 0 x Res I→∞ ℓ ≥0 U ∈U x∈A ∗ 0 L≥L(J) ℓ ,A (with H = inf{s ≥ 0;X ∈ Res} the entrance time of X in the Res s resonance set Res). Actually, as shown in Theorem 2.1, the quantity under the logarithm is maximal when A = {0}. Equipped with the crucial estimate (0.9), we can use the resonance set in (0.8) as a substitute for a Wiener criterion, and infer that the porous interfaces Σ, or the soft obstacles V , whose presence is felt in the ε-vicinity of S = ∂U = ∂U , have massive 0 1 trapping power as quantiﬁed by (0.4) and (0.5), see Theorem 3.1 and its proof. In Section 4, we apply Corollary 3.4 (see (0.6)), to a disconnection problem for d d simple random walk on Z , or for random interlacements on Z , when their vacant set V is in the strongly percolative regime u ∈ (0,u), with u the critical level from [22], cf. (2.3) in this reference. We consider a non-empty compact subset A of R contained in the interior of a box of side-length 2M centered at the origin, as well as the discrete blow-up of A and the interior boundary of the discrete blow-up of the above mentioned box: d d (0.10) A = (NA) ∩ Z and S = {x ∈ Z ;SxS = [MN]} N N ∞ (where [⋅] denotes the integer part). In the case of random interlacements, we are interested in the disconnection event corresponding to the absence of paths in V between A and S , denoted by N N (0.11) D = {A ←~→ S } N N (D coincides with the full sample space if A happens to be empty). When the compact set A is regular in the sense that ˚ ˚ (0.12) cap(A) = cap(A) (with A the interior of A), we show that for u ∈ (0,u), that is in the strongly percolative regime for V , one has 1 1 u 2 (0.13) lim sup log P[D ] ≤ − ( u − u) cap(A). d−2 N d Our results are actually more general, see Theorem 4.1 and also Remark 4.5 3). 4 In the case of the simple random walk, we similarly consider the vacant set V that is the complement of the set of sites visited by the canonical walk on Z . We are then interested in the disconnection event corresponding to the absence of paths in V between A and S N N (0.14) D = {A ←~→ S } N N N (and D coincides with the full canonical space if A happens to be empty). N N As a rather straightforward consequence of (0.13) (this formally corresponds to letting u → 0), we show in Corollary 4.4 that when A fulﬁlls the regularity condition (0.12), then for any x in Z 1 u (0.15) lim sup log P [D ] ≤ − cap(A) d−2 N d (with P the canonical law of simple random walk starting at x). Again, our results are more general, see Corollary 4.4 and Remark 4.5 3). Actu- ally, it is plausible that the upper bounds (0.13), (0.15) catch the correct principal exponential decay of the probabilities under consideration, and match the lower bounds respectively derived in [15] and [14]. This feature rests on the identiﬁcation (open at the moment) of u with the box-to-box critical level u for the percola- ∗∗ tion of the vacant set of random interlacements, so that one would then have the equalities u = u = u , with u the critical level for the percolation of the vacant ∗ ∗∗ ∗ set of random interlacements. Incidentally, the recent work [11] might lead to some progress towards a proof of u = u . The coincidence of the three critical levels ∗ ∗∗ would then show that under (0.12), √ √ 1 1 u 2 lim log P[D ] = − ( u − u) cap(A), for 0 < u < u , N ∗ d−2 N d N→∞ and 1 u Z ∗ lim log P [D ] = − cap(A), for x in Z . d−2 N d N→∞ The lower bounds in [15] for the case of random interlacements, and [14] for the case of simple random walk are based on the change of probability method. They respectively involve probability measures P (in the case of random interlacements) and P (in the case of simple random walk) implementing certain “strategies” to produce disconnection. If the critical values u ≤ u ≤ u actually coincide, the ∗ ∗∗ results of the present work show that these strategies are (nearly) optimal and thus hold special signiﬁcance. We brieﬂy sketch what these strategies are. In the case of random interlacements, the measures P from [15] correspond to so-called tilted interlacements that are slowly space-modulated interlacements at a 5 √ √ √ 2 x 2 d level (slowly varying over space) equal to f (x) = ( u+( u − u)h( )) , x ∈ Z , N ∗∗ where h on R is the solution of the equilibrium problem ⎪ Δh = 0 outside A , (0.16) ⎨ ⎪ ̃ ⎪ h = 1 on A and h tends to zero at inﬁnity, with A a slight thickening of A. Informally, the tilted interlacements create a “fence” around A on which they locally behave as interlacements at level u (one actually N ∗∗ chooses u + δ in place of u in the formula for f , with δ a small positive num- ∗∗ ∗∗ N ber). They produce locally on this fence a strongly non-percolative regime for the vacant set, and typically disconnect A from S , when N is large. Informally, the N N tilted interlacements correspond to a Poisson cloud of bilateral trajectories, which f (x ) 1 N ′ are governed by the generator L g(x) = ′ (g(x ) − g(x)), instead of N Sx −xS=1 2d f (x) the discrete Laplacian (corresponding to the case when f is a constant function). In the case of the simple random walk, the measures P from [14] correspond to tilted walks that in essence behave as a walk with generator L g(x) = h (x ) 1 N ′ ′ (g(x ) − g(x)) up to a deterministic time T and afterwards move Sx −xS=1 2d h (x) as a simple random walk, where h (x) = h( ), with h as in (0.16) and T is chosen N N such that the expected time spent by the tilted walk at a point x ∈ A amounts to (u +δ)h (x) = u +δ (with the choice of h in (0.16)). Again, this creates a “fence” ∗∗ ∗∗ around A , where the vacant set left by the tilted walk at time T is locally in a N N strongly non-percolative regime, and typically disconnects A from S , for large N N N (one actually chooses a compactly supported approximation of h in (0.16) for the deﬁnition of the tilted walk). Let us emphasize that no convexity assumption is made on A in the derivation of the upper bounds (0.13), (0.15). This represents an important progress on [22], where A was assumed to be a box. We use a diﬀerent approach to the coarse graining of the disconnection event D . The notion of porous interfaces and Corollary 3.4 (cf. (0.6)) play a pivotal role in the derivation of (0.13). The scale ε in (0.6) roughly corresponds to , cf. (4.19), where L is a scale slightly smaller than N, on which we perform a “segmentation” of an interface of “blocking boxes” of a much smaller scale L , slightly d−1 bigger than (N log N) , cf. (4.19), which is present when the disconnection event occurs. In a sense we follow a reﬁned version of the strategy for the tracking of interfaces underpinning Section 2 of [7]. After removal of a “bad event” of negligible probability from the disconnection event D , we obtain the eﬀective disconnection u u ̃ ̃ event D , cf. (4.41). We partition D into a not too large collection of events D N,κ N N d−2 (where κ runs over a set of exp{o(N )} elements). This partition embodies the coarse graining, cf. (4.45). In essence, each event D corresponds to the selection N,κ of discrete “blocking boxes” of side-length L having “substantial presence” in each of the selected boxes of side-length 2L (see Figure 2). If C denotes the union of all selected boxes of side-length L , we have an exponential estimate on the probability of each D in terms of cap d(C), cf. (4.14). With the help of Proposition A.1 in N,κ 1 d−2 the Appendix, we can in essence replace cap (C) by N cap(Σ), where Σ (the d C porous interface) corresponds to the solid R -ﬁlling of . At this point crucially 6 Corollary 3.4 enables us to obtain an asymptotic uniform lower bound of cap(Σ) in terms of cap(A). In our application of Corollary 3.4, it should be underlined that both the interface S and the porous interface Σ are “constructs of the coarse graining PSfrag replacements procedure”, cf. (4.48), (4.49) (in particular S is by no means a priori given). We refer to Section 4 below (4.26) for a more detailed outline of the proof of Theorem 4.1 (cf. (0.13)). U ̂ 1 2L −ℓ L slightly smaller than N d−1 L slightly bigger than (N logN) Fig. 2: An illustration of some features entering the deﬁnition of the event D N,κ with the selected boxes of side-length 2L on the left-hand side, and the blow-up of one such box with the selected boxes of side-length L (in black), on the right-hand side. Plausibly, the methods of this article might be pertinent in the context of level- set percolation of the Gaussian free ﬁeld and lead to an improvement of the results of [21], see Remark 4.5 1). One may also wonder whether in the spirit of the Wulﬀ shape theory for the existence of a large ﬁnite cluster at the origin in supercritical Bernoulli percolation, cf. [3] and the references therein, some insight might be gained concerning the behavior of a large ﬁnite connected component at the origin for the vacant set of random interlacements V in the strongly percolative regime u ∈ (0,u). Let us now describe the organization of this article. Section 1 collects several results concerning the local density functions. In particular, Proposition 1.4 pro- vides in essence a lower bound for the probability that Brownian motion enters the resonance set when starting at a good point. In Section 2, the main Theorem 2.1 shows that when starting in A, Brownian motion can hardly avoid the resonance set, cf. (0.9). Lemma 2.2 contains an important induction step for the proof of Theorem 2.1. In Section 3, we introduce the notion of porous interfaces and show the central solidiﬁcation estimates in Theorem 3.1, see also (0.4), (0.5). We then provide a ﬁrst application with the capacity lower bound (0.6) in Corollary 3.4 and a second (and quicker) application to the estimate (0.7) in Corollary 3.5. In section 4, we derive with the help of Corollary 3.4 the large deviation upper bounds (0.13), (0.15) on the probability of the disconnection events (0.11), (0.14) in Theorem 4.1 and Corollary 4.4. Additional estimates appear in Remark 4.5 3). In the Appendix, we provide in Proposition A.1 an asymptotic comparison between the simple random walk capacity of arbitrary ﬁnite unions of well-separated large boxes and the Brownian capacity of the solid ﬁlling of these boxes. 7 ′ Finally, let us explain our convention concerning constants. We denote by c,c ,̃c positive constants changing from place to place that simply depend on d. Numbered constants such as c ,c ,c ,... refer to the value corresponding to their ﬁrst appear- 0 1 2 ance in the text. Dependence of constants on additional parameters appears in the notation. 1 Local density functions In this section we develop several controls concerning certain local density functions that will help us track the presence of interfaces. The main result is contained in Proposition 1.4. In essence, it provides a lower bound on the probability that Brownian motion starting at a point where the local density on a certain scale is well-balanced, visits before moving at a distance comparable to that scale a point where on several well-separated smaller scales the local densities are well-balanced. This result will be of direct use in the proof of Theorem 2.1 in the next section. We begin with some notation. Throughout this section we assume that d ≥ 2. We denote by SxS and SxS the ∞ 1 respective sup-norm and ℓ -norm of x ∈ R . For r ≥ 0, we let B(x,r) stand for the closed ball in sup-norm with center x and radius r. When A is a subset of R , we ˚ ˚ write A for its closure, A for the interior, and ∂A = AƒA for its boundary. We let d(x,A) = inf{Sx − yS ; y ∈ A} denote the sup-norm distance of x to A. When A is a Borel subset of R , we sometimes write SAS for its Lebesgue measure. d d We denote by (X ) the canonical R -valued process on C(R ,R ), the space t t≥0 + of continuous R -valued functions on R , which we endow with the canonical σ- algebra F and the canonical right-continuous ﬁltration denoted by (F ) . We let t t≥0 (θ ) stand for the canonical shift (so that θ (w)(⋅) = w(t + ⋅), for w ∈ C(R ,R ) t t≥0 t + and t ≥ 0). We denote by P the Wiener measure starting from x ∈ R , and by E x x the corresponding expectation. So, under P the process (X ) is the canonical x t t≥0 d d Brownian motion on R starting from x. When A is a closed subset of R , we write H = inf{s ≥ 0,X ∈ A} for the entrance time of X in A, H = inf{s > 0; X ∈ A} for A s A s the hitting time of A, and when U is an open subset of R , we write T = inf{s ≥ 0; X ∉ U} (= H c) for the exit time of U. They all are (F )-stopping times. s U t We consider d d (1.1) U =~ ∅, a bounded Borel subset of R and U = R ƒU , its complement. 0 1 0 The boundary (1.2) S = ∂U = ∂U 0 1 is a compact subset of R . In Section 3 the porous interface corresponding to Σ in the hard obstacle case, or to V in the soft potential case, will be “palpably” present in the vicinity of every point of S. At a heuristic level, S will be some kind of “segmentation” for the porous interface. 8 In this section we are mainly concerned with the development of various controls on certain local density functions (in dyadic scales), which we now introduce. For x ∈ R and ℓ ∈ Z, we set −ℓ −ℓ ⎪ ̂σ (x) = SB(x, 2 ) ∩ U S~SB(x, 2 )S, ⎪ ℓ 1 (1.3) ⎨ −ℓ −ℓ ̃σ (x) = SB(x, 4 ⋅ 2 ) ∩ U S~SB(x, 4 ⋅ 2 )S = ̂σ (x). ℓ 1 ℓ−2 Eventually, our main interest will lie in the case ℓ ≥ 0, i.e. in the local scale picture, but for the time being in this section, we do not impose any restriction on the sign of ℓ. As a shorthand for the average of a locally integrable function f on a sup-norm −ℓ d ball B(x, 2 ), with x ∈ R , ℓ ∈ Z, we write (1.4) f(y)dy = f(y)dy −ℓ −ℓ −ℓ B(x,2 ) SB(x, 2 )S B(x,2 ) −ℓ and we introduce the normalized Lebesgue measure restricted to B(x, 2 ) (1.5) µ (dy) = 1 (y)dy . −ℓ x,ℓ B(x,2 ) −ℓ SB(x, 2 )S We ﬁrst collect some facts concerning the Lipschitz character of the local densities −ℓ ′ ̂σ (⋅) and ̃σ (⋅), and we relate ̂σ (⋅) to the average of ̂σ on B(x, 2 ) when ℓ > ℓ. ℓ ℓ ℓ ℓ Lemma 1.1. For x,y ∈ R , ℓ ∈ Z, one has (1.6) Ŝσ (x + y) − ̂σ (x)S ≤ 2 SyS , ℓ ℓ 1 ℓ−2 (1.7) S̃σ (x + y) − ̃σ (x)S ≤ 2 SyS . ℓ ℓ 1 ′ d Moreover, for ℓ > ℓ in Z and x ∈ R one has ℓ−ℓ d−1 (1.8) Ŝσ (x) − ̂σ ′(y)dyS ≤ c 2 , where c = d 2 . ℓ ℓ 0 0 −ℓ B(x,2 ) Proof. We begin with the proof of (1.6), and note that the claim follows from the fact that for y collinear to a vector of the canonical basis of R , −ℓ −ℓ Ŝσ (x + y) − ̂σ (x)S ≤ SB(x, 2 ) ΔB(x + y, 2 )S ℓ ℓ −ℓ SB(x, 2 )S (with Δ the symmetric diﬀerence) (1.9) −ℓ d−1 2SyS (2 ⋅ 2 ) 1 ℓ ≤ = 2 SyS . −ℓ d (2 ⋅ 2 ) The claim (1.6) readily follows. The claim (1.7) follows as well since ̃σ = ̂σ , ℓ ℓ−2 cf. (1.3). We now turn to the proof of (1.8). We consider ℓ > ℓ in Z and note that 9 d for x ∈ Z , −ℓ −1 −ℓ −1 ̂σ ′(y)dy = SB(0, 2 )S SB(0, 2 )S −ℓ B(x,2 ) −ℓ −ℓ 1{Sy − xS ≤ 2 } 1{Sz − yS ≤ 2 } 1 (z)dy dz ∞ ∞ U (1.10) 1 −ℓ −1 x = SB(0, 2 )S 1 (z)ψ ′(z)dz, 1 ℓ,ℓ where ψ stands for the continuous compactly supported function ℓ,ℓ ′ ′ x −ℓ −1 −ℓ −ℓ (1.11) ψ (z) = SB(0, 2 )S 1{Sy − xS ≤ 2 } 1{Sz − yS ≤ 2 }dy, ∞ ∞ ℓ,ℓ so that x −ℓ −ℓ 0 ≤ ψ ′ ≤ 1, and ψ = 1 on B(x, 2 − 2 ), ℓ,ℓ ℓ,ℓ (1.12) x d −ℓ −ℓ ψ = 0 on R ƒB(x, 2 + 2 ). ℓ,ℓ Coming back to (1.10), we ﬁnd that −ℓ −1 ̂σ ′(y)dy ≥ SB(x, 2 )S 1 (z)dz a ℓ U −ℓ ′ B(x,2 ) −ℓ −ℓ B(x,2 −2 ) −ℓ −ℓ −ℓ −ℓ ≥ ̂σ (x) − SB(x, 2 )ƒB(x, 2 − 2 )S~SB(x, 2 )S (1.13) ℓ−ℓ d d−1 = ̂σ (x) − ‰1 − (1 − 2 ) Ž = ̂σ (x) − du du ℓ ℓ ℓ−ℓ 1−2 ℓ−ℓ ≥ ̂σ (x) − d 2 . In a similar fashion, we have −ℓ −1 ̂σ ′(y)dy ≤ SB(x, 2 )S 1 (z)dz ℓ U a 1 −ℓ ′ B(x,2 ) −ℓ −ℓ B(x,2 +2 ) −ℓ −ℓ −ℓ −ℓ ≤ ̂σ (x) + SB(x, 2 + 2 )ƒB(x, 2 )S~SB(x, 2 )S (1.14) ′ ˆ ℓ−ℓ 1+2 ℓ−ℓ d d−1 = ̂σ (x) + (1 + 2 ) − 1 = ̂σ (x) + du du ℓ ℓ d−1 ℓ−ℓ ≤ ̂σ (x) + d 2 2 . Collecting (1.13) and (1.14), we ﬁnd (1.8). This concludes the proof of Lemma 1.1. ′ ′ The next lemma will show that when ℓ > ℓ and ̂σ ′ has an average β in a box −ℓ −ℓ B(x, 2 ), then, either ̂σ takes with sizeable measure in the box B(x, 2 ) values bigger and values smaller than β by a certain amount, or that ̂σ ′ takes with sizeable −ℓ ′ measure in the box B(x, 2 ) values close to β . This lemma will later be useful when showing in Proposition 1.3 that Brownian motion starting at x has a sizeable ′ −ℓ probability to reach points where ̂σ is close to β before exiting B(x, 2 ). 10 d ′ Lemma 1.2. For x ∈ R and ℓ > ℓ in Z, set (1.15) β = ̂σ ′(y)dy. −ℓ B(x,2 ) ′ ′ Then, for 0 ≤ δ ≤ β ∧ (1 − β ) at least one of i) or ii) below holds: δ δ ′ ′ i) µ ({̂σ ′ > β + δ}) ≥ and µ ({̂σ ′ < β − δ}) ≥ x,ℓ ℓ x,ℓ ℓ 2 2 (1.16) ⎨ 1 δ ′ ′ ii) µ ({β − δ ≤ ̂σ ′ ≤ β + δ}) ≥ − ⎪ x,ℓ ℓ 4 2 (we refer to (1.5) for the deﬁnition of µ ). x,ℓ Proof. We introduce on some auxiliary probability space governed by the probability P , with corresponding expectation denoted by E[⋅], a [0, 1]-valued random variable Y with same law as ̂σ ′ under µ , so that β = E[Y ]. We let F(u) = P[Y > u] ℓ x,ℓ for u ∈ R, and note that F(u) = 0 for u ≥ 1, and β = E[Y ] = F(u)du. Given ′ ′ 0 ≤ δ ≤ β ∧ (1 − β ), either ⎧ δ a) F(β + δ) ≥ ⎪ 2 (1.17) ⎨ or ⎪ ′ b) F(β + δ) < . ⎩ 2 In case b), we also ﬁnd that ˆ ′ ˆ ′ ˆ ′ ˆ β +δ β +δ β +δ 1 ′ ′ F(u)du + ≥ F(u)du + F(β + δ) ≥ F(u)du + F(u)du = β , 0 0 0 β +δ so that ˆ ′ β +δ F(u)du ≥ β − . ´ ′ β −δ At the same time, since F ≤ 1, F(u)du ≤ β − δ, so that ˆ ′ β +δ δ δ ′ ′ F(u)du ≥ β − − (β − δ) = . 2 2 β −δ ′ 1 Dividing both members by 2δ, we ﬁnd, since F is non-increasing, that F(β −δ) ≥ . ′ δ Since we are in case b), we also have F(β +δ) < . It now follows that in case (1.17) b) we additionally have 1 δ ′ ′ (1.18) P[β − δ ≤ Y ≤ β + δ] ≥ − . 4 2 We now consider Z = 1 − Y , so that 0 ≤ Z ≤ 1, E[Z] = 1 − β . We further note that ′ ′ 0 ≤ δ ≤ β ∧ (1−β ) = E[Z]∧ (1−E[Z]). We can then introduce F (u) = P[Z > u] = 11 P[Y < 1 − u] for u ∈ R. If we now let Z take the role of Y in the alternative (1.17), we see that either ⎧ ′ ′ ⎪ c) F (1 − β + δ) (= P[Y < β − δ]) ≥ or (1.19) ⎨ ⎪ δ ′ ′ d) F (1 − β + δ) (= P[Y < β − δ]) < . Additionally, we know that in case d) 1 δ ′ ′ ′ ′ P[1 − β − δ ≤ Z ≤ 1 − β + δ] (= P[β − δ ≤ Y ≤ β + δ]) ≥ − . 4 2 Thus, when either b) in (1.17) or d) in (1.19) holds we obtain (1.16) ii). So, when (1.16) ii) does not hold, necessarily both a) in (1.17) and c) in (1.19) hold. This yields (1.16) i) and concludes the proof of Lemma 1.2. ′ ′ −ℓ We will now see that when ℓ > ℓ and ̂σ has an average β over B(x, 2 ), which is not too close to 0 or 1, Brownian motion starting at x has a non-degenerate probability of entering a region where ̂σ takes values close to β before exiting −ℓ B(x, 2 ). For r ≥ 0, we introduce the ﬁrst time when X moves at S ⋅ S -distance r from its starting point (an (F )-stopping time): (1.20) τ = inf{s ≥ 0; SX − X S ≥ r}. r s 0 ∞ We can now state d ′ ′ Proposition 1.3. For x ∈ R , ℓ > ℓ in Z, we set β = ̂σ ′(y)dy. Then, we −ℓ B(x,2 ) have ′ ℓ−ℓ (1.21) Ŝσ (x) − β S ≤ c 2 (with c as in (1.8)), ℓ 0 0 ′ ′ and for 0 ≤ δ ≤ β ∧ (1 − β ) ∧ , (1.22) P [H ′ ′ < τ ] ≥ c (δ) −ℓ x 1 {̂ σ ′∈[β −δ,β +δ]} 2 (where H ′ ′ denotes the entrance time of X in the closed set {σ̂ ∈ [β − {̂ σ ∈[β −δ,β +δ]} ℓ δ,β + δ]}). Proof. We ﬁrst observe that (1.21) is a restatement of (1.8) and we only need to prove (1.22). We use the alternative (1.16) from Lemma 1.2. If (1.16) i) holds, we use translation invariance and scaling to choose δ ∈ (0, 1) solely depending on δ, −ℓ ′ δ such that µ ({y ∶ Sy − xS > 2 (1 − δ )}) ≤ , so that x,ℓ ∞ ⎧ ′ −ℓ ′ ⎪ µ ‰{̂σ > β + δ} ∩ B(x, 2 (1 − δ )ŽŽ ≥ and x,ℓ ℓ (1.23) ⎨ ⎪ δ ′ −ℓ ′ ⎪ µ ‰{̂σ ′ < β − δ} ∩ B(x, 2 (1 − δ )ŽŽ ≥ . x,ℓ ℓ 12 −ℓ −ℓ Letting U stand for the interior of B(x, 2 ) (i.e. U = {y ∶ Sy −xS < 2 }), we ﬁnd by translation invariance, scaling, and standard estimates for Brownian motion killed outside B(0, 1) that ⎪ P H < T ≥ c(δ) and ′ −ℓ ′ x U ⎪ {̂ σ ′≥β +δ}∩B(x,2 (1−δ )) (1.24) ⎨ P H < T ≥ c(δ) for all ′ −ℓ ′ ⎪ y U {̂ σ ′≤β −δ}∩B(x,2 (1−δ )) ⎪ ℓ −ℓ ′ ⎪ y ∈ B(x, 2 (1 − δ )). It then follows from the strong Markov property that Brownian motion starting at x ′ ′ ′ ′ enters {̂σ ≥ β +δ} and then {̂σ ≤ β −δ} before exiting U with probability at least ℓ ℓ ′ 2 c (δ)(= c(δ) ). By the continuity of ̂σ ′, any such trajectory of Brownian motion enters {̂σ = β } before exiting U. So, when (1.16) i) holds, we ﬁnd that (1.25) P [H ′ < τ ] ≥ c (δ). −ℓ x {̂ σ =β } ′ 2 On the other hand, when (1.16) ii) holds, then 1 δ 1 ′ ′ µ ({̂σ ′ ∈ [β − δ,β + δ]}) ≥ − ≥ , x,ℓ ℓ 4 2 8 and it follows from standard estimates on killed Brownian motion (as above) that (1.26) P [H ′ ′ < τ −ℓ] ≥ c. x {̂ σ ∈[β +δ,β +δ]} ′ 2 Collecting (1.25) and (1.26) we ﬁnd (1.22). This proves Proposition 1.3. −ℓ −ℓ −ℓ 0 1 We will now consider decreasing scales 2 > 2 > ⋅⋅⋅ > 2 , which are well- separated, and see that when starting at x in R such that ̂σ (x) = , there is a non-degenerate probability for Brownian motion to reach before moving at sup- 3 −ℓ distance 2 the set of points where all local densities ̃σ (⋅), 0 ≤ j ≤ J, lie within the ﬁxed interval [α̃, 1 − α̃], with α̃ the constant from (1.35) below. More precisely, d−1 we consider J ≥ 1, c (= d2 ) as in (1.8), and we deﬁne −L −1 (1.27) L(J) = the smallest integer L ≥ 5 such that c 2 ≤ (200J) . −ℓ −ℓ −ℓ 0 1 J We also consider a sequence of decreasing spatial scales 2 > 2 > ⋅⋅⋅ > 2 , which are well-separated in the sense that (1.28) ℓ ≥ ℓ + L(J), for 0 ≤ j < J. j+1 j Further, we introduce the increasing sequence of compact sub-intervals of (0, 1): 1 j 1 j (1.29) I = − , + , 0 ≤ j ≤ J, 2 100J 2 100J as well as the non-decreasing sequence of stopping times (1.30) γ = H and for 0 ≤ j < J, γ = γ + H ○ θ . 0 {̂ σ ∈I } j+1 j {̂ σ ∈I } γ ℓ 0 ℓ j+1 0 j+1 The next proposition will enter the proof of the main Theorem 2.1 in Section 2. We recall (1.3) and (1.20) for notation. 13 Proposition 1.4. Assume that J ≥ 1, and that ℓ , 0 ≤ j ≤ J, satisfy (1.28). Denote by C the event (1.31) C = {γ = 0} ∩ {γ < γ + τ −ℓ ○ θ }. 0 j+1 j γ 0≤j<J d 1 Then, for x in R such that ̂σ (x) = , one has (1.32) P [C] ≥ c (J). x 2 Moreover, on the event C, one has −ℓ (1.33) sup{SX − X S ; γ ≤ s ≤ γ } ≤ 2 , for all 0 ≤ j < J, and s γ ∞ j J (1.34) ̃σ (X ) ∈ [α̃, 1 − α̃], for all 0 ≤ j ≤ J, where ℓ γ j J −d (1.35) α̃ = 4 . Proof. We ﬁrst prove (1.32). We will use induction and Proposition 1.3. We choose (in the notation of Proposition 1.3) −1 (1.36) δ = (200J) ‰ ≤ Ž. We want to show by induction on 0 ≤ j ≤ J (with c (δ) as in (1.22)) that P [C ] ≥ c (δ) , with x j 1 (1.37) C = {γ = 0,γ < γ + τ −ℓ ○ θ ,... ,γ < γ + τ −ℓ ○ θ }. j 0 1 0 0 γ j j−1 j−1 γ 2 0 j−1 When j = 0, since ̂σ (x) = , we ﬁnd that P [γ = 0] = 1 and (1.37) is true. x 0 Assume now that for some 0 ≤ j < J, (1.37) is satisﬁed. We now deﬁne β = j+1 −ℓ ̂σ (y)dy and note that on C due to (1.30), one has ̂σ (X ) ∈ I . ⨏ j ℓ j ℓ γ j j+1 j j B(X ,2 ) Moreover, by (1.21) and (1.28), we have (1.27) ′ −L(J) −1 Ŝσ (X ) − β S ≤ c 2 ≤ (200J) (= δ), so that ℓ γ 0 j j j+1 1 j 1 1 j 1 (1.38) β ∈ − − , + + and j+1 2 100J 200J 2 100J 200J 1 1 β + − , ⊆ I . j+1 j+1 200J 200J We can now apply the strong Markov property at time γ and ﬁnd that P [C ] = P [C ∩ {γ < γ + τ −ℓ ○ θ }] x j+1 x j j+1 j γ (1.39) (1.22),induction j+1 = E [C ,P [H < τ }] ≥ c (δ) . −ℓ x j X 1 γ {̂ σ ∈I } j ℓ j+1 j 2 j+1 14 This completes the proof by induction of (1.37) and hence of (1.32) with c (J) = c (δ) . As for (1.33), we note that on C, for any 0 ≤ j < J, one has −ℓ −ℓ −ℓ j j+1 J−1 sup{SX − X S ; γ ≤ s ≤ γ } ≤ 2 + 2 + ⋅⋅⋅ + 2 s γ ∞ j J (1.40) (1.28) −ℓ −mL(J) −ℓ j j ≤ 2 2 < 2 , m≥0 −L(J) since L(J) ≥ 5, so that 1 − 2 > . This proves (1.33). We then turn to the proof of (1.34). We note that by (1.33), on the event C, one 1 2 −ℓ −ℓ j j has for any 0 ≤ j ≤ J, B(X , 2 ) ⊆ B(X , 4 ⋅ 2 ), and ̂σ (X ) ∈ I ⊆ [ , ], so γ γ ℓ γ j j J j j 3 3 1 1 −d −d that ̃σ (X ) ∈ [ 4 , 1 − 4 ] = [α̃, 1 − α̃], and (1.34) follows. This concludes the j J 3 3 proof of Proposition 1.4. 2 Resonances In this section we introduce certain resonance sets where at least J among a larger collection of local densities ̃σ of U , corresponding to well-separated spatial scales, ℓ 1 simultaneously take non-degenerate values in [α̃, 1 − α̃], cf. (1.35). Our main object is Theorem 2.1 below. It shows that for Brownian motion starting at a location where all but ﬁnitely many of the local densities ̂σ are at most , it is hard to avoid such a resonance set. An important induction step for the proof of Theorem 2.1 is contained in Lemma 2.2. We will then use Theorem 2.1 as a main tool in the next section when considering porous interfaces which are markedly felt in the vicinity of S = ∂U = ∂U . The approach we use remains pertinent in the two-dimensional case, 0 1 but the formulation of a relevant version of Theorem 2.1 when d = 2 involves some modiﬁcation of the set-up (with some killing of Brownian motion). For conciseness and because the application in Section 4 only pertains to the case d ≥ 3, we assume from now on that (2.1) d ≥ 3. As in the previous section, we consider U a non-empty, bounded, Borel subset of R and the associated local density functions ̂σ ,̃σ , cf. (1.3). We now want to introduce ℓ ℓ −ℓ the resonance set. To this end, we consider ℓ ≥ 0 (so that 2 will bound from above the scales under consideration, and in some sense bound from below the distance of the starting point of Brownian motion to U ), J ≥ 1 will control the strength of the resonance, L ≥ L(J) (with L(J) as in (1.27)), will govern the separation of scales, and I ≥ 1, will control the number of scales inspected. We then deﬁne (with N = {0, 1, 2,... }) (2.2) ℓ = inf{ℓ ∈ (J + 1)LN; ℓ ≥ ℓ }, 0 ∗ (2.3) A = {ℓ ∈ LN; ℓ ≤ ℓ < ℓ + I(J + 1)L} (so that SA S = I(J + 1)), ∗ 0 0 ∗ (2.4) A = {ℓ ∈ (J + 1)LN; ℓ ≤ ℓ < ℓ + I(J + 1)L} (so that SAS = I). 0 0 15 The resonance set is then deﬁned (with α̃ as in (1.35)) as: (2.5) Res = {x ∈ R ; 1{σ̃ (x) ∈ [α̃, 1 − α̃]} ≥ J}, ℓ∈A and we sometimes write Res(U ,ℓ ,J,L,I), if we want to recall the parameters en- 0 ∗ tering its deﬁnition. Note that the functions ̃σ , ℓ ≥ 0, are continuous, cf. Lemma 1.1, and A ﬁnite, so that the resonance set Res is a (possibly empty) compact subset of R . To describe the collection of subsets U under consideration in the bounds we wish to derive in Theorem 2.1, we consider some non-empty compact subset A in R and introduce for ℓ ≥ 0 as above, U = the collection of bounded Borel subsets U of R such that ℓ ,A (2.6) ̂σ (x) ≤ , for all x ∈ A and ℓ ≥ ℓ , ℓ ∗ as well as (2.7) U = U . ∗ ℓ∗,A={0} We are now ready to state the main result of this section. It provides stretched exponential bounds in I on the probability that Brownian motion starting in A avoids the resonance set if U ∈ U , L ≥ L(J) and I is large. Incidentally, let us ℓ ,A point out that the resonance set need not “block” A in a topological sense: A may well lie in the unbounded component of the complement of the resonance set, see Remark 2.3. Theorem 2.1. For J,I ≥ 1, A non-empty compact subset of R , deﬁne (with Res as in (2.5)) Φ = sup sup sup sup P [H = ∞], and J,I,A x Res ℓ ≥0 U ∈U x∈A ∗ 0 ℓ ,A L≥L(J) (2.8) Φ = Φ . J,I J,I,A={0} Then, the case A = {0} is maximal in the sense that (2.9) Φ ≤ Φ , J,I,A J,I and as I → ∞, one has the stretched exponential bound: J−1 −1~2 (2.10) lim sup I log Φ ≤ log ‰1 − c (J)Ž(< 0). J,I 2 Proof. We ﬁrst prove (2.9). To this end, we simply note that U ∈ U and x ∈ A 0 ℓ ,A implies that U − x ∈ U and Res(U − x,ℓ ,J,L,I) = Res(U ,ℓ ,J,L,I) − x. The 0 ℓ 0 ∗ 0 ∗ claim (2.9) simply follows by translation invariance of Brownian motion. We now turn to the proof of (2.10). We consider ℓ ≥ 0, J ≥ 1, L ≥ L(J), I ≥ 1, as well as some U ∈ U . We then introduce the notion of an I-family, which is 0 ℓ 16 constituted of stopping times S , 0 ≤ i ≤ I, of a random ﬁnite subset L of (J + 1)LN, and of random integer valued functions ℓ , 1 ≤ i ≤ I, such that i) 0 ≤ S ≤ S ≤ ⋅⋅⋅ ≤ S are P -a.s. ﬁnite (F )-stopping times, 0 1 I 0 t ii) L is an F -measurable ﬁnite subset of (J + 1)LN, with SLS ≥ I, ⎪ S (2.11) ⎨ iii) ℓ , 1 ≤ i ≤ I, are respectively F -measurable, distinct and i S ⎪ L-valued, ⎪ 1 iv) P -a.s., ̂σ (X ) = , for 1 ≤ i ≤ I. ⎪ 0 ̂ S ⎩ 2 We recall that ̂σ (0) ≤ for ℓ ≥ ℓ , in particular for all ℓ ∈ A in (2.4). As a result, ℓ ∗ P -a.s., for all ℓ ∈ A, the continuous non-negative functions s ≥ 0 ↦ ̂σ (X ) start at 0 ℓ s 1 1 a value smaller or equal to and reach at some point the value (they eventually 2 2 become equal to 1 for large s). There is however in general no prescribed order in which these “crossings” happen, see Remark 2.3. An example of an I-family to keep in mind thus corresponds to the choice L = A (see (2.4)), ⎪S = 0, S = inf ™s ≥ 0;̂σ (X ) = , for some ℓ ∈ Lž, 1 ℓ s ⎪ 2 ⎪ 1 ⎪ ̂ ⎪ ℓ = max ™ℓ ∈ L; ̂σ (X ) = ž, if S < ∞, and 1 ℓ S 1 ⎪ 1 ℓ = max{ℓ ∈ L}, if S = ∞, 1 1 ⎪ 1 S = inf ™s ≥ S ; ̂σ (X ) = , for some ℓ ∈ Lƒ{ℓ }ž, 2 1 s 1 ⎪ ℓ (2.12) ⎨ ̂ ̂ ℓ = max ™ℓ ∈ Lƒ{ℓ }, ̂σ (X ) = }, if S < ∞, and 2 1 ℓ S 2 ⎪ 2 ̂ ̂ ℓ = max{ℓ ∈ Lƒ{ℓ }ž, if S = ∞, ⎪ 2 1 2 ̂ ̂ S = inf ™s ≥ S ; ̂σ (X ) = , for ℓ ∈ Lƒ{ℓ ,... ,ℓ }ž, I I−1 ℓ s 1 I−1 ⎪ 2 ̂ ̂ ̂ ℓ = the unique element of Lƒ{ℓ ,... ,ℓ ž (when S = ∞ note that ⎪ I 1 I−1 I ̂ ̂ max™ℓ ∈ Lƒ{ℓ ,... ,ℓ }ž coincides with the unique element of ⎪ 1 I−1 ̂ ̂ ⎩ Lƒ{ℓ ,... ,ℓ }). 1 I−1 The formulas for ℓ when S = ∞ are merely here for completeness and pertain to i i P -negligible events. Given an I-family as in (2.11), we also deﬁne the stopping times −ℓ T = inf{s ≥ S ; SX − X S ≥ 2 ⋅ 2 } i i s S ∞ (2.13) (understood as +∞, if S = ∞), for 1 ≤ i ≤ I, 17 as well as the F -measurable subsets of “intermediate labels” and of “labels” (2.14) L = {ℓ + jL; ℓ ∈ L, 1 ≤ j ≤ J} and L = L ∪ L . int ∗ int Note that L ⊆ (J + 1)LN, so that (2.15) L ∩ L = ∅, int and that in the notation of (2.3), (2.4) (2.16) when L = A, then L = A . ∗ ∗ Further we introduce for 1 ≤ k ≤ J the (L ,k)-resonance set (2.17) Res = šx ∈ R ; 1{σ̃ (x) ∈ [α̃, 1 − α̃]} ≥ kŸ L∗,k ℓ ℓ∈L (so when L = A as in (2.4), and k = J, we recover the resonance set Res(U ,ℓ ,J,L,I) 0 ∗ from (2.5)). We now introduce an important quantity on which we will derive upper bounds by induction on k in the crucial Lemma 2.2 below. Namely, for 1 ≤ k ≤ J and I ≥ 1, we set (J) (2.18) Γ (I) = supP [inf{s ≥ S ;X ∈ Res } > max T ], 0 0 s L ,k i 1≤i≤I where the supremum is taken over all I-families (a non-empty collection by (2.12)), and we set by convention (J) (2.19) Γ (I) = 1, when 1 ≤ k ≤ J and I ≤ 0. We will also drop the superscript (J) from the notation when this causes no confu- sion. At this point, the Reader may ﬁrst read the statement of the next lemma, skip its proof, and directly proceed above (2.34) to see how the proof of Theorem 2.1 is completed. We now have (where we ﬁx ℓ ≥ 0, J ≥ 1, L ≥ L(J), U ∈ U ): ∗ 0 ℓ Lemma 2.2. (J) (2.20) Γ (I) = 0, for all I ≥ 1, and for 1 ≤ k < J, I ≥ 1, setting Δ = [ I] (≥ 1), k−1 I−1 (J) (J) 1+ ‰ Ž (2.21) Γ (I) ≤ 1 − c (J) + I Γ (Δ − k + 1). k+1 k Proof. We ﬁrst prove (2.20). We consider I ≥ 1 and some I-family, cf. (2.11). Then, 1 1 −ℓ P -a.s., ̂σ (X ) = , so that U and U have relative volume in B(X , 2 ). It 0 ̂ S 1 0 S 1 1 ℓ 2 2 1 1 −d −d thus follows that P -a.s., ̃σ (X ) lies in [ ⋅ 4 , 1 − ⋅ 4 ] ⊆ [α̃, 1 − α̃], so that 0 S ℓ 2 2 X ∈ Res . Hence, the probability in the right-hand side of (2.18) equals 0, when S L ,1 1 ∗ k = 1 and (2.20) follows. 18 We now turn to the proof of (2.21). We introduce the notation I − 1 (2.22) m = , so that 1 + m Δ ≤ I < 1 + (m + 1) Δ. Δ Δ Δ We ﬁrst assume that I ≥ 2, (the case I = 1 will be straightforward to handle) and note that, as we explain below, (2.23) I − Δ ≥ 1 √ √ √ (indeed for I = 2, Δ = 1, for I = 3, Δ = 1, and for I ≥ 4, I −Δ ≥ I − I = I( I −1) ≥ I ≥ 2). We thus consider 1 ≤ k < J as well as I ≥ 2, and want to prove (2.21). We consider an I-family and write P [inf{s ≥ S ;X ∈ Res } > max T ] ≤ a + a , where 0 0 s i 1 2 L ,k+1 1≤i≤I a = P [T < S for all 1 ≤ i ≤ I − Δ, and 1 0 i i+Δ inf{s ≥ S ; X ∈ Res } > max T ], 0 s L ,k+1 i (2.24) 1≤i≤I a = P [T ≥ S for some i ∈ {1,... ,I − Δ}, and 2 0 i i+Δ inf{s ≥ S ; X ∈ Res } > max T ]. 0 s L ,k+1 i 1≤i≤I We ﬁrst bound a . As a shorthand we write i = 1 + m Δ, and ﬁnd that 1 Δ Δ a ≤ P [S < T < S < T < ⋅⋅⋅ < S < T < inf{s ≥ S ;X ∈ Res }]. 1 0 1 1 1+Δ 1+Δ i i 0 s L ,k+1 Δ Δ ∗ We can use the strong Markov property at time S and ﬁnd that the last expression is smaller or equal to E S < T < ⋅⋅⋅ < S < inf{s ≥ S ;X ∈ Res }, 0 1 1 i 0 s L ,k+1 Δ ∗ −ℓ ̃ ̃ ̃ (2.25) P [inf{s ≥ 0; SX − X S ≥ 2 ⋅ 2 } < X s 0 ∞ inf{s ≥ 0; X ∈ Res }] , s L ,k+1 ̃ ̃ where X denotes the canonical Brownian motion under the Wiener measure P . X starting from X , and the respectively F -measurable map L (with an at most S S ∗ countable set of possible values), and the F -measurable map ℓ are not integrated S i i Δ under the measure P . If we now choose x = X in (1.32) (and ℓ = ℓ ∈ L, by (2.11) iii)), then S 0 i i Δ Proposition 1.4 and the fact that P -a.s., ̂σ (X ) = (by (2.11) iv)), imply that 0 ̂ S i 2 P -a.s., −ℓ ̃ ̃ ̃ P [inf{s ≥ 0; SX − X S ≥ 2 ⋅ 2 } > X s 0 ∞ (2.26) inf{s ≥ 0; X ∈ Res }] ≥ c (J). s L ,k+1 2 19 Hence, the expression in (2.25) is at most (2.27) P [S < T < ⋅⋅⋅ < T < inf{s ≥ 0, X ∈ Res }](1 − c (J)). 0 1 1 i −Δ s L ,k+1 2 Δ ∗ By induction, we then ﬁnd that a ≤ ‰1 − c (J)Ž P [S < T < inf{s ≥ S ; X ∈ Res }] 1 2 0 1 1 0 s L ,k+1 m +1 I−1 ≤ ‰1 − c (J)Ž ≤ ‰1 − c (J)Ž , since (2.28) 2 2 √ √ (2.22) −1 m + 1 > (I − 1) Δ ≥ (I − 1)~ I ≥ I − 1. We now bound a (cf. (2.24)). To this end, we ﬁrst note that a = P [T ≥ S for some i ∈ {1,... ,I − Δ}, 2 0 i i+Δ inf{s ≥ S ; X ∈ Res } > max T ] 0 s L ,k+1 i 1≤i≤I (2.29) ≤ I max P [S ≤ T and 0 i +Δ i 0 0 1≤i ≤I−Δ inf{s ≥ S ;X ∈ Res } > max T ]. 0 s L ,k+1 i 1≤i≤I Denote by F the event inside the probability in the last member of (2.29). As we now explain, P -a.s. on F , there are at most (k − 1) integer values of i ∈ (i ,i + Δ] 0 0 0 such that T ≤ T . Indeed, otherwise we can ﬁnd k values of i in (i ,i +Δ] such that i i 0 0 −ℓ with P -positive measure on F , SX −X S ≤ 2⋅2 . Including i to this list yields 0 T S ∞ 0 i i k+1 values in [i ,i +Δ] such that with P -positive measure on F , ̂σ (X ) = and 0 0 0 S ℓ 2 −ℓ 1 −d 1 −d SX −X S ≤ 2⋅2 , and hence ̃σ (X ) ∈ [ ⋅ 4 , 1− ⋅4 ] ⊆ [α̃, 1−α̃] for these T S ∞ ̂ T i i i ℓ 2 2 0 i 0 k + 1 values. This would force that with P -positive measure on F , X ∈ Res , 0 T L ,k+1 i ∗ which is impossible by the very deﬁnition of F . Assume for the time being that Δ ≥ k, and denote by (i ,i + Δ] an arbitrary 0 0 subset of (i ,i + Δ] with Δ − (k − 1) elements. The number of possible choices of 0 0 k−1 such a subset is at most Δ . It now follows from the remark in the paragraph above and from (2.29) that k−1 a ≤ I Δ max max P S ≤ S ≤ T ≤ T < 2 0 i i i i 0 0 1≤i ≤I−Δ (i ,i +Δ] 0 0 (2.30) inf{s ≥ S ,X ∈ Res }, for all 0 s L ,k+1 i ∈ (i ,i + Δ] 0 0 (and max ′ denotes the maximum over all possible subsets (i ,i + Δ] of (i ,i +Δ] 0 0 0 0 (i ,i + Δ] with Δ − (k − 1) elements). 0 0 We then set L = Lƒ{ℓ } (an F -measurable subset of (J + 1)LN, with i S 0 i (2.31) (2.23) SL S = SLS − 1 ≥ I − 1 ≥ Δ ≥ Δ − (k − 1) ≥ 1). 20 ′ ′ ′ Now L ,S ,S ,i ∈ (i ,i + Δ] , ℓ ,i ∈ (i ,i + Δ] yield (up to the deterministic i i 0 0 i 0 0 increasing relabeling of [i ,i +Δ] into [0, Δ−(k−1)]) a Δ−(k−1)-family, cf. (2.11). 0 0 In addition, on the event under the probability in (2.30), one has for all s ∈ [S ,T ], i i 0 0 −ℓ 1 SX − X S ≤ 2 ⋅ 2 , so that P -a.s. on this event, ̂σ (X ) = and ̃σ (X ) ∈ s S ∞ 0 ̂ S ̂ s i i ℓ 2 ℓ 0 i 0 i 0 0 [α̃, 1 − α̃] for all s ∈ [S ,T ]. i i 0 0 It follows that P -a.s. on the event under the probability in (2.30), T < inf{s ≥ 0 i ′ ′ S ; X ∈ Res ′ } (where L is deﬁned as in (2.14) with L now playing the role of 0 s L ,k L). This shows that k−1 a ≤ IΔ max max P inf{s ≥ S ;X ∈ Res } 2 0 i s 0 L ,k 1≤i ≤I−Δ (i ,i +Δ] 0 0 (2.32) k−1 > max T ≤ IΔ Γ ‰Δ − (k − 1)Ž (i ,i +Δ] 0 0 (and as mentioned below (2.19) we dropped the superscript (J) from the notation). Since Γ (m) = 1, for m ≤ 0, by convention, see (2.19), one can remove the assumption Δ ≥ k and ﬁnd that (recall Δ = [ I]) k−1 k−1 1+ (2.33) a ≤ IΔ Γ ‰Δ − (k − 1)Ž ≤ I Γ ‰Δ − (k − 1)Ž. k k Adding the bounds (2.28) and (2.33), we ﬁnd, coming back to (2.24), that P inf{s ≥ S ; X ∈ Res } > max T ≤ 0 0 s L ,k+1 i 1≤i≤I k−1 I−1 1+ ‰1 − c (J)Ž + I Γ (Δ − k + 1). 2 k Taking the supremum over all possible I-families yields (2.21) when I ≥ 2. However, when I = 1, the right-hand side of (2.21) is at least 1 due to the ﬁrst term in the right-hand side, and (2.21) holds as well. This completes the proof of (2.21) and hence of Lemma 2.2. We now resume the proof of (2.10) of Theorem 2.1. We introduce the quantity (for given J ≥ 1) (J) ⎪ sup sup Γ (I), for 1 ≤ k ≤ J and I ≥ 1, (J) ℓ ≥0 U ∈U ,L≥L(J) ∗ 0 ̃ ℓ (2.34) Γ (I) = ⎨ 1, for 1 ≤ k ≤ J and I ≤ 0. (J) From the deﬁnition of Γ (I), see (2.18), (2.17), and from the I-family (2.12), as well as (2.16), we see that in the notation of (2.8), for J,I ≥ 1, one has (J) (2.35) Φ = sup sup sup P [H = ∞] ≤ Γ (I). J,I 0 Res ℓ ≥0 U ∈U ∗ 0 L≥L(J) 21 On the other hand, by Lemma 2.2 and (2.34), we see that (J) ⎪ Γ (I) = 0, for all I ≥ 1, and ⎪ 1 I−1 k−1 (J) (J) 1+ ̃ ̃ (2.36) ⎨ Γ (I) ≤ ‰1 − c (J)Ž + I Γ (Δ − k + 1), k+1 k for 1 ≤ k ≤ J and I ≥ 1. We will now prove by induction on k that for 1 ≤ k ≤ J, k−1 (J) −1~2 (2.37) lim supI log Γ (I) ≤ log ‰1 − c (J)Ž. Choosing k = J will complete the proof of (2.10) in view of (2.35). By the ﬁrst line of (2.36), the claim (2.37) is immediate when k = 1. Then, we assume that (2.37) holds for some 1 ≤ k < J. We have (2.36) (J) −1~2 lim sup I log Γ (I) ≤ k+1 k − 1 −1~2 lim sup I max{( I − 1) log ‰1 − c (J)Ž,Š1 + � log I+ (J) (2.38) log Γ ([ I] − k + 1)} ≤ max š log ‰1 − c (J)Ž, (J) log Γ ([ I] − k + 1) induction k k−1 −1~2 1~2 lim supI ([ I] − k + 1) √ Ÿ ≤ k−1 1~2 I ([ I] − k + 1) ‰ Ž log 1 − c (J) . This proves (2.37) and as explained above concludes the proof of Theorem 2.1. Remark 2.3. 1) We describe a simple example showing that the compact set A may lie in the unbounded component of the complement of the resonance set deﬁned in (2.5) (in particular, the resonance set need not “block” A in a topological sense). We consider J ≥ 2, L ≥ L(J) (≥ 5), and set ℓ = ℓ + iL, for i ≥ 0, where ℓ = ℓ so i 0 0 ∗ that (2.2) holds. We choose A = {0}, denote by e the ﬁrst vector of the canonical basis of R , and deﬁne U = W , where k≥0 −ℓ 0 −ℓ W = B(0, 4 ⋅ 2 ) and for k ≥ 1, W = W ∪ (x + 2 V ) 0 k k−1 k−1 L d−1 with x the rightmost point of W on R e and V = [0, 8⋅2 ]×[−4, 4] . That is, + 1 k−1 k−1 W is obtained by piling on W in the positive e -direction a small thin rectangular k k−1 1 −ℓ −ℓ k−1 k parallelepiped of length 8 ⋅ 2 in the e -direction and side-length 8 ⋅ 2 in the −ℓ other directions. As a shorthand notation we set δ = 8 ⋅ 2 , for k ≥ 0. −ℓ Note that U is bounded and d(0,U ) = 4 ⋅ 2 , so U ∈ U in the notation of 0 1 0 ℓ =ℓ ∗ 0 (2.7). As we now explain, one also has (2.39) 1{̃σ ‰w(t)Ž ∈ [α̃, 1 − α̃]} ≤ 1 for all t ≥ 0, if w(t) = te for t ≥ 0, ∑ ℓ 1 k≥0 22 and consequently, for any I ≥ 1, (2.40) w(t) ∉ Res(U ,ℓ ,J,L,I) for all t ≥ 0. 0 ∗ 1 1 To prove (2.39), we set for k ≥ 0, s = x ⋅ e − δ , t = x ⋅ e + δ (recall that k k 1 k k k 1 k 2 2 −ℓ δ = 8⋅2 ). Then, the function t ≥ 0 ↦ ̃σ (w(t)) is continuous and non-decreasing. k ℓ −ℓ For t ≤ s , we have d(w(t),U ) ≥ 4 ⋅ 2 , so that ̃σ (w(t)) = 0, and for t ≥ t , we k 1 ℓ k −ℓ −L(d−1) have d(w(t),W ) ≥ 4 ⋅ 2 , so that 1 − ̃σ (w(t)) ≤ 2 , which is smaller than k ℓ −d (L−2)(d−1) α̃ = ⋅ 4 (because 2 > 12, since L ≥ 5 and d ≥ 3). It follows that (2.41) for any k ≥ 0, {t ≥ 0; ̃σ (w(t)) ∈ [α̃, 1 − α̃]} ⊆ [s ,t ]. ℓ k k On the other hand, for any k ≥ 0, t < s and the intervals [s ,t ], k ≥ 0, are k k+1 k k pairwise disjoint. The claims (2.39) and (2.40) follow. 2) Here is another simple example showing that the order in which the level sets {̃σ ∈ [α̃, 1 − α̃]} are crossed along a Brownian path is in general random. We keep PSfrag replacements the same notation as in 1) above but now deﬁne (see Figure 3) U =W ∪ W ƒT , 0 2 1 2 where d−1 δ δ A 1 1 W = [−x ⋅ e , −x ⋅ e ] × − , and 1 1 1 0 1 2 2 d−1 δ δ 2 2 T = (−∞,−x ⋅ e + δ ) × Š − , � . 2 1 1 1 2 2 −ℓ 2L −ℓ −ℓ 0 8 ⋅ 2 8 ⋅ 2 L slightly smaller than N −ℓ 8 ⋅ 2 −ℓ d−1 1 L slightly bigger than (N logN) 8 ⋅ 2 −ℓ −ℓ −ℓ 2 1 2 8 ⋅ 2 8 ⋅ 2 8 ⋅ 2 −ℓ 8 ⋅ 2 Fig. 3: An illustration of U In this case similar calculations as in 1) show that the trajectory w(t) = te , t ≥ 0, ﬁrst reaches the level set {̃σ ∈ [α̃, 1 −α̃]}, then the level set {σ̃ ∈ [α̃, 1 −α̃]}, ℓ ℓ 0 1 and then the level set {̃σ ∈ [α̃, 1 − α̃]}. On the other hand, w̃(t) = −w(t) ﬁrst crosses the level set {̃σ ∈ [α̃, 1 − α̃]}, then the level set {σ̃ ∈ [α̃, 1 − α̃]}, and ℓ ℓ 0 2 then the level set {̃σ ∈ [α̃, 1 − α̃]}. This order remains the same for trajectories in small tubular neighborhoods around w and w̃. These tubular neighborhoods have positive measure for P (the Wiener measure) and the order in which the level sets {̃σ ∈ [α̃, 1 − α̃]}, ℓ ∈ {ℓ ,ℓ ,ℓ } are crossed along a Brownian path is thus random. ℓ 0 1 2 Similar considerations also apply when one instead considers the order in which the level sets {̂σ = } are crossed (recall that ̂σ = ̃σ , cf. (1.3)). ◻ ℓ ℓ ℓ+2 23 3 Solidiﬁcation of porous interfaces We now apply the results of the last section to the study of porous interfaces. The porous interfaces under consideration will be felt within a small distance denoted by ε from each point of S = ∂U , where U ∈ U , cf. (2.6), with a strength measured 0 0 ℓ ,A −ℓ d by η (we recall that 2 controls in a suitable sense the distance of A to U = R ƒU , 1 0 cf. (2.6)). The porous interfaces will correspond to hard obstacles or to soft obstacles, and the main Theorem 3.1 of this section provides uniform controls on the trapping probability of Brownian motion starting in A by the porous interface when the ratio −ℓ ε~2 goes to zero. We then derive an asymptotic lower bound on the capacity of the porous interface in Corollary 3.4 that will play a crucial role in the next section. We also provide an application in the soft obstacle case in Corollary 3.5. In a heuristic fashion the “interfaces” S = ∂U can be thought of as some sort of “segmentation” of the porous interfaces. One should emphasize that in the classes over which they vary, the interfaces and porous interfaces may undergo degenerations. In certain regions of space they may become brittle and have little trapping power, see for instance Remark 3.6 1). Throughout this section we assume d ≥ 3. We ﬁrst need some notation. We consider U as in (1.1), a non-empty bounded d d Borel subset of R and S = ∂U = ∂U (with U = R ƒU ) as in (1.2). In the hard 0 1 1 0 obstacle case, given ε > 0 and η ∈ (0, 1), the porous interfaces will vary in the class S = the class of compact subsets Σ of R such that U ,ε,η (3.1) P [H < τ ] ≥ η, for all x ∈ ∂U , x Σ ε 0 with H the entrance time of Brownian motion in Σ and τ the ﬁrst time it moves Σ ε at sup-distance ε from its starting point, cf. (1.20). In the soft obstacle case, the porous interfaces will instead vary in the class V = the class of locally bounded measurable functions V ≥ 0 on R U ,ε,η (3.2) ´ such that E exp™ − V (X )dsž ≤ 1 − η, for all x ∈ ∂U . x s 0 −ℓ The next theorem is the main result of this section. It provides in the limit ε~2 going to zero uniform controls on the killing of Brownian motion starting in A, when U ∈ U (with ℓ ≥ 0), in the presence of a porous interface corresponding to 0 ℓ ,A ∗ Σ ∈ S in the hard obstacle case, or to V ∈ V in the soft obstacle case. U ,ε,η U ,ε,η 0 0 Theorem 3.1. (Solidiﬁcation of porous interfaces) Consider a non-empty compact subset A of R and η ∈ (0, 1). Then, in the hard obstacle case, one has (3.3) lim sup sup sup sup P [H = ∞] = 0, x Σ u→0 −ℓ ∗ U ∈U Σ∈S x∈A ε≤u 2 0 ℓ ,A U ,ε,η ∗ 0 and the expression under lim sup −ℓ is maximal for the choice A = {0}. u→0 ∗ ε≤u 2 24 Likewise, in the soft obstacle case, one has (3.4) lim sup sup sup sup E expš − V (X )dsŸ = 0, x s u→0 −ℓ ∗ U ∈U V ∈V x∈A 0 ε≤u 2 0 ℓ ,A U ,ε,η and the expression under lim sup −ℓ is maximal for the choice A = {0}. u→0 ∗ ε≤u 2 (When A = {0}, scaling can also be applied to reformulate (3.3) and (3.4), see Remark 3.6 2).) Proof. Note that in the hard obstacle case, cf. (3.1), when x ∈ A, U ∈ U , Σ ∈ ℓ∗,A S , then U − x ∈ U (= U , see (2.7) for notation), Σ − x ∈ S and U ,ε,A 0 ℓ U −x,ε,η 0 ∗ ℓ ,{0} 0 P [H = ∞] = P [H = ∞], so the maximality statement for the case A = {0} x Σ 0 Σ−x stated below (3.3) follows. In the soft obstacles case, cf. (3.2), when x ∈ A, U ∈ U 0 ℓ ,A as above, and V ∈ V , then V (⋅ + x) ∈ V and U ,ε,η U −x,ε,η 0 0 ˆ ˆ ∞ ∞ E expš − V (X )dsŸ = E expš − V (X + x)dsŸ, x s 0 s 0 0 whence the maximality of the case A = {0} stated below (3.4). We now prove (3.3) in the case A = {0} (the general case follows by the maximality property explained above). The following lemma will be useful (we recall (1.3), (1.35) and above (1.1) for notation). Incidentally, the Reader may possibly ﬁrst skip its proof and proceed above (3.8) to see how the proof of (3.3) follows. −ℓ d Lemma 3.2. For Σ ∈ S , ℓ ≥ 0 with ε ≤ 2 , x , y ∈ R such that ̃σ (x ) ∈ U ,ε,η 0 ℓ 0 1 −ℓ [α̃, 1 − α̃] and Sy − x S ≤ 2 , one has 0 ∞ (3.5) P [H < T ] ≥ c (η) (> 0). y Σ ˚ −ℓ 3 B(x ,5⋅2 ) 1 −ℓ −ℓ −ℓ Proof. Note that Sy − x S ≤ 2 and ̃σ (x ) = SB(x , 4 ⋅ 2 ) ∩ U S~SB(x , 4 ⋅ 2 )S ∈ 0 ∞ ℓ 0 0 1 0 [α̃, 1 − α̃], so that using classical properties of the Dirichlet heat kernel, see for instance [20], p. 13, 18, as well as scaling and translation invariance, we ﬁnd that −ℓ P [X ∈ U , X ∈ U and 2 ⋅ 4 < T ] ≥ c. −ℓ −ℓ 9 y 0 1 ˚ −ℓ 4 2⋅4 B(x , ⋅2 ) The event under the probability above is contained in {H < T 9 } (indeed the −ℓ S ˚ B(x , ⋅2 ) −ℓ continuous trajectory X encounters U und U during the time interval [0, 2 ⋅ 4 ], . 0 1 and hence meets S = U ∩ U during the same time interval). So we have 0 1 (3.6) P [H < T ] ≥ c. y S ˚ −ℓ B(x , ⋅2 ) 1 −ℓ Then, by the strong Markov property and (3.1), we see that since ε ≤ 2 , P [H ○ θ + H < T ] ≥ y Σ H S ˚ −ℓ B(x ,5⋅2 ) (3.7) (3.1),(3.6) def E H < T ,P [H < τ ] ≥ cη = c (η). y S ˚ −ℓ X Σ ε 3 B(x , ⋅2 ) 0 S This completes the proof of Lemma 3.2. 25 We can now resume the proof of (3.3) (when A = {0}). We pick J ≥ 1, L ≥ L(J) (see (1.27)), and for I ≥ 1, ℓ ≥ 0 and U ∈ U , we write Res for the resonance set ∗ 0 ℓ Res(U ,ℓ ,J,L,I), see (2.5). We recall the notation A from (2.3), so A ⊆ LN 0 ∗ ∗ ∗ satisﬁes SA S = I(J + 1), minA ≥ ℓ , maxA ≤ ℓ + (I + 1)(J + 1)L, and ∗ ∗ ∗ ∗ ∗ (3.8) d Res = {x ∈ R , 1{̃σ (x) ∈ [α̃, 1 − α̃]} ≥ J}. ℓ∈A −ℓ We then consider u > 0 and 0 ≤ ε ≤ u 2 . As we now explain: −(I+1)(J+1)L when u < 2 , then for any x ∈ Res, Σ ∈ S , one has 0 U ,ε,η (3.9) P [H > T ] ≤ ‰1 − c (η)Ž . x Σ ˚ − min A 3 0 ∗ B(x ,5⋅2 ) −ℓ − max A ∗ ∗ Indeed, one has ε ≤ u 2 ≤ 2 by (3.8). One applies the strong Markov −ℓ property at the successive times of exit of the balls B(x , 5 ⋅ 2 ), when ℓ ∈ A , and 0 ∗ ′ ′ −ℓ 1 −ℓ notes that when ℓ > ℓ in A , then ℓ ≥ ℓ+L (≥ ℓ+5, see (1.27)) so that 5⋅2 ≤ ⋅2 . One can then repeatedly apply (3.5) and obtain that ∑ 1{̃ σ (x )∈[α ̃,1−α ̃]} ℓ 0 ℓ∈A (3.10) P [H > T ] ≤ ‰1 − c (η)Ž , x Σ ˚ − min A 3 0 ∗ B(x ,5⋅2 ) and (3.9) follows since x ∈ Res. 1 −(I+1)(J+1)L −ℓ Thus, for u < 2 and ε ≤ u 2 , we ﬁnd that for U ∈ U and 0 ℓ Σ ∈ S U ,ε,η (3.9) P [H = ∞] ≤ P [H = ∞] + E H < ∞,P [H = ∞] ≤ 0 Σ 0 Res 0 Res X Σ Res (3.11) (2.8) J J P [H = ∞] + ‰1 − c (η)Ž ≤ Φ + ‰1 − c (η)Ž . 0 Res 3 J,I 3 −ℓ If we now take the supremum over Σ ∈ S , U ∈ U and ε ≤ u 2 , we ﬁnd after U ,ε,η 0 ℓ 0 ∗ letting u tend to zero that (3.12) lim sup sup sup sup P [H = ∞] ≤ Φ + ‰1 − c (η)Ž . 0 Σ J,I 3 −ℓ u→0 ∗ U ∈U Σ∈S ε≤u 2 0 ℓ U ,ε,η Letting I tend to inﬁnity, the ﬁrst term in the right member of (3.12) goes to zero by (2.10) of Theorem 2.1. We can then let J tend to inﬁnity and obtain (3.3) when A = {0} (and hence in the general case). Let us brieﬂy explain how one obtains (3.4). With analogous arguments as for Lemma 3.2, one shows instead with the help of (3.2): −ℓ d Lemma 3.3. For V ∈ V , ℓ ≥ 0 with ε ≤ 2 , x ,y ∈ R such that ̃σ (x ) ∈ U ,ε,η 0 ℓ 0 1 −ℓ [α̃, 1 − α̃] and Sy − x S ≤ ⋅ 2 , one has 0 ∞ ˚ −ℓ B(x ,5⋅2 ) (3.13) E exp š − V (X )dsŸ ≤ 1 − c (η). y s 4 26 From this lemma and the strong Markov property, one deduces in place of (3.9) 1 −(I+1)(J+1)L −ℓ that when u < 2 , and ε ≤ u 2 , then for any U ∈ U , x ∈ Res, 0 ℓ 0 V ∈ V , one has U ,ε,η − min A 5⋅2 ∗ J (3.14) E exp š − V (X )dsŸ ≤ ‰1 − c (η)Ž . x s 4 One then concludes as below (3.11). This completes the proof of Theorem 3.1. We can now state a corollary of Theorem 3.1 that will play an important role in the next section in our treatment of certain disconnection problems for random inter- lacements and the simple random walk on Z . We denote by cap(F) the Brownian capacity of a compact subset or a bounded open subset F of R , cf. [18], p. 57, 58. Corollary 3.4. (Capacity lower bound) Consider a compact subset A of R with positive capacity and η ∈ (0, 1). Then, one has (3.15) lim inf inf inf cap(Σ)~cap(A) = 1. −ℓ u→0 ∗ ε≤u 2 U ∈U Σ∈S 0 ℓ ,A U ,ε,η Moreover, for any η ∈ (0, 1) one has (3.16) lim inf inf inf inf cap(Σ)~cap(A) = 1 −ℓ u→0 ∗ A U ∈U Σ∈S ε≤u 2 0 ℓ ,A U ,ε,η ∗ 0 (A varies over the collection of compact sets of positive capacity in the inﬁmum). Proof. We begin with (3.15). Note that the quantity under the lim is non- u→0 increasing in u, so the limit exists. We ﬁrst prove that it is at least 1. Denote by g(⋅,⋅) the Brownian Green function on R (which is known to be symmetric), and for C compact subset of R , let e and h respectively stand for the equilibrium C C measure and the equilibrium potential of C. Then (see for instance [18], p. 58 or Chapter 2 §3 and §4 of [20]), one has (3.17) h (x) = P [H < ∞] = g(x,y)e (dy), for all x ∈ R , C x C C and h = 1 on C except on a set of zero capacity. Moreover, e is supported by C, C C has total mass cap(C), and does not charge sets of zero capacity. −ℓ Now for A as above (3.15), for u > 0, ℓ ≥ 0, 0 < ε ≤ u 2 , U ∈ U , and ∗ 0 ℓ ,A Σ ∈ S , we have U ,ε,η ˆ ¨ (3.17) cap(Σ) ≥ h (y) e (dy) = g(x,y)e (dx)e (dy) A Σ A Σ symmetry ˆ ˆ (3.17) (3.18) = h (x)e (dx) = P [H < ∞]e (dx) Σ A x Σ A ≥ inf P [H < ∞] cap(A), x Σ x∈A where the second equality in the second line of (3.18) follows from the fact that the set of irregular points x for which P [H < ∞] =~ P [H < ∞], has zero capacity and x Σ x Σ hence null e -measure. 27 Thus, cap(Σ)~cap(A) ≥ inf P [H < ∞], and taking the inﬁmum in the right x∈A x Σ −ℓ member over Σ ∈ S , U ∈ U , ε ≤ u 2 , and letting u tend to zero, we see U ,ε,η 0 ℓ ,A 0 ∗ that the limit in (3.15) is at least 1 by (3.3) of Theorem 3.1. To show that it equals 1, denote by A the set of points at sup-distance at most −ℓ −ℓ ∗ ∗ 2 from A. Then for ε ≤ u 2 , choosing U = A = Σ, we see that U ∈ U and 0 0 ℓ∗ ℓ∗,A Σ ∈ S . In addition, cap(A ) ↓ cap(A) as ℓ → ∞, cf. [18], p. 60. Letting ε go U ,ε,η ℓ ∗ 0 ∗ to 0 and ℓ to ∞ in such a way that ε 2 tends to 0, the limit in (3.15) is at most 1. We now turn to the proof of (3.16). A similar monotonicity argument as in the proof of (3.15) shows the existence of the limit. This limit is at most equal to the limit in (3.15) (with A an arbitrary compact set of positive capacity) and thus is at most 1. The limit is also bigger or equal to 1 as we now explain. Indeed, as above one has cap(Σ)~cap(A) ≥ inf P [H < ∞], and it now follows from (3.3) and the x∈A x Σ maximality of the case A = {0} that the limit in (3.16) is at least 1. This concludes the proof of (3.16), and hence of Corollary 3.4. We also state an immediate consequence of Theorem 3.1 in the case of soft ob- stacles concerning the time spent by Brownian motion in the ε-neighborhood of S = (∂U = ∂U ), for any U ∈ U . We recall that d(x,S) stands for the sup- 0 1 0 ℓ ,A distance of x to S (see the beginning of Section 1). Corollary 3.5. For any non-empty compact set A in R , ℓ ≥ 0 and a > 0, (3.19) lim sup sup E expš − 1{d(X ,S) ≤ ε}dsŸ = 0. x s ε→0 U ∈U x∈A 0 0 ℓ ,A Proof. We write V (y) = 1{d(y,S) ≤ ε}, and note that in the notation of (3.2) V ∈ V , where 1 − η = E [exp{−aτ }] (see (1.20) for notation). The claim now U ,ε,η 0 1 follows from (3.4) of Theorem 3.1. Remark 3.6. 1) We brieﬂy sketch here an example showing that the interfaces and porous interfaces under consideration may undergo degenerations in certain parts of space, where they may become brittle and have little trapping power (see Fig. 4 below). d−1 We consider d ≥ 4, 0 ≤ ε < 1, r(ε) = n(ε)ε, where n(ε) = [ε ], so that d−3 d−1 (3.20) r(ε) ∼ ε and r(ε)~ε → ∞, as ε → 0. We let L denote the cable graph consisting of solid segments between neighboring sites in r(ε)Z . We also consider the discrete set L of sites placed at regular spacings ε along each solid edge of L . We endow L with its natural graph structure and set ε ε Γ = L ∩ B(0, 100). ε ε We consider 0 ≤ a < (ﬁxed) and assume that Σ (the “porous interface”) is such that Σ ∩ B(0, 100) coincides with the restriction of B to B(0, 100) (where x∈Γ x,aε B stands for the closed Euclidean ball of center z and radius u). One can arrange z,u Σ so that Σ ∈ S for a suitable U and η (depending on a). For instance, one can U ,ε,η 0 consider some spanning tree of Γ rooted at a point on the inner boundary of Γ in ε ε 28 2 L , and let U behave in the ε -neighborhood of B(0, 100) as a “cactus-like” structure ε 0 thickening this spanning tree with thin tubes of radius ε with a stem hanging out at the root. PSfrag replacements r(ε) −ℓ 2L L slightly smaller than N d−1 L slightly bigger than (N logN) Fig. 4: An illustration of a part of U and Σ, where Σ consists of the union of the black balls (with radius aε). The black lines correspond to thin tubes of radius ε (their union constitutes the “cactus-like” structure), and the point x belongs to M . We then consider M , the set of points at Euclidean distance ε from L and ε ε r(ε) sup-distance at most from the middle-point of a solid segment of L contained in B(0, 10). As we now explain, for some constants c > 0 and 0 < c < 1, (3.21) lim inf P [H > τ ] ≥ c , x Σ c x∈M ε→0 ε and Σ has little trapping power on Brownian motion starting in M . To see (3.21), denote by D the set of points at Euclidean distance at least r(ε)~10 ′′ from L . As we now explain, one has a constant c > 0 such that ′′ (3.22) lim inf P [H > H ] ≥ c . x Σ D ∩B(0,20) x∈M ε→0 Indeed, to each x in M , one can attach a unique solid segment of L , and tak- ε ε ing as origin the middle of the segment, one can decompose Brownian motion into a 1-dimensional motion parallel to the segment and a (d − 1)-dimensional motion transversal to the segment. One can make sure that the (d − 1)-dimensional compo- 2 ε nent reaches radius r(ε)~10 before time C r(ε) and reaching radius with a non- degenerate probability. One can also force the 1-dimensional component not to move by more than r(ε)~8 from its starting point up to time C r(ε) , with non-degenerate probability. The lower bound (3.22) now follows by independence. 29 Then, for y ∈ B(0, 20) ∩ D , v ≤ 1 and aε < v, we have P [H < τ ] ≤ P [H < ∞] = y Σ v ∑ y B z,aε z∈L ∩B(y,2v) (with similar notation as below (3.16)) c r(ε) (3.23) ′ ′ d−2 d−2 g(y,y )e (dy ) ≤ a ε ≤ ∑ B ∑ z,aε d−2 Skr(ε)S ε z∈L ∩B(y,2v) k∈Z ƒ{0} Skr(ε)S ≤c v d−3 2 (3.20) v 1 ′′ d−2 2 d−2 c Š � a ≤ cv a ≤ if we choose v = ̃c small. d−3 r(ε) 2 r(ε) The strong Markov property combined with (3.22) and (3.23) now yields (3.21). Although we will not need it, let us mention that a more detailed analysis of the above example along the lines of the constant capacity regime of small obstacles (see for instance [1], [5], and also [20], p. 116-120) would reveal that c can be chosen equal to 1 in (3.21), but that one does indeed feel Σ when starting in B(0, 10), in the sense that lim sup P [H > τ ] ≤ 1 − c(a). ε→0 x Σ 1 SxS ≤10 2) In Theorem 3.1, when A = {0}, scaling can be applied to reformulate (3.3) and (3.4). Indeed, for any ℓ ≥ 0, U ∈ U is equivalent to 2 U ∈ U . Moreover, given ∗ 0 ℓ 0 0 U ∈ U , for ε > 0, η ∈ (0, 1), then Σ ∈ S is equivalent to 2 Σ ∈ S and ℓ ℓ 0 ℓ U ,ε,η ∗ ∗ ∗ 0 2 U ,ε2 ,η −ℓ −ℓ ∗ ∗ P [H < ∞] = P [H < ∞]. Likewise, V ∈ V is equivalent to 4 V (2 ⋅) ∈ 0 Σ 0 ∗ U ,ε,η 2 Σ 0 V ℓ ℓ , and ∗ ∗ 2 U ,ε2 ,η ˆ ˆ ∞ ∞ −ℓ −ℓ ∗ ∗ E expš − V (X )dsŸ = E expš − 4 V (2 X )dsŸ. 0 s 0 s 0 0 As a result, when A = {0}, (3.3) can be restated as (3.24) lim sup sup P [H = ∞] = 0, 0 Σ ε→0 U ∈U Σ∈S ℓ =0 U ,ε,η ∗ 0 and (3.4) can be restated as (3.25) lim sup sup E expš − V (X )dsŸ = 0. 0 s ε→0 U ∈U V ∈V 0 ℓ =0 U ,ε,η 0 ∗ 0 3) In the context of Corollary 3.4 the situation is typically simpler when A is a convex set. If π denotes the projection on A, then π is a contraction for the A A Euclidean distance. If Σ is a porous interface and Σ = π (Σ), then one knows that ′ ′ cap(Σ ) ≤ cap(Σ), see [12], p. 58, or [17], p. 126. In good cases Σ satisﬁes a Wiener criterion (see for instance [20], p. 72), which quantiﬁes that Σ is felt on many scales when starting from A, and permits one to show that inf P [H ′ < ∞] is close to x∈∂A x Σ 1. One can then infer from this fact a lower bound on cap(Σ). ◻ 30 4 Disconnection We will now apply the results of the previous section, speciﬁcally Corollary 3.4, to derive large deviation upper bounds on the probability that random interlacements in Z , when their vacant set is in a strongly percolative regime, or the simple random walk disconnect a large macroscopic body from the boundary of a large box of com- parable size, which contains this body, cf. Theorem 4.1, Corollary 4.4, and Remark 4.5 3). The macroscopic body in question will correspond to the discrete blow-up of a compact set A in R , with non-empty interior, see (4.4), and also Remark 4.5 3) for a variant of this set-up. The main novelty compared to [22], where A was itself a box, and the method could plausibly have been adapted to the case of a regular compact convex set A, is that here we do not require any convexity assumption on A. The interfaces S and the porous interfaces Σ will arise in the context of a coarse graining procedure, which underlies the large deviation upper bounds that we derive, see (4.48), (4.49). We brieﬂy introduce some notation concerning random interlacements, and refer to the end of Section 1 of [22] and the references therein for more details. Throughout we assume d ≥ 3. The random interlacements I ,u ≥ 0, and the corresponding vacant u d u u sets V = Z ƒI are deﬁned on a certain probability space (Ω,A,P). In essence, I corresponds to the trace left on Z by a certain Poisson point process of doubly inﬁnite trajectories modulo time-shift that tend to inﬁnity at positive and negative inﬁnite times, with intensity proportional to u. As u grows, V becomes thinner and it is by now well-known (see for instance [4], [9]) that there is a critical level u ∈ (0,∞) such that for u < u , P-a.s., V has an inﬁnite component, (4.1) for u > u , P-a.s., all connected components of V are ﬁnite. One can further introduce critical values (4.2) 0 < u ≤ u ≤ u < ∞, where ∗ ∗∗ (4.3) u = inf{u ≥ 0; lim inf P[B d(0,L) ←→ ∂B d(0, 2L)] = 0} ∗∗ Z Z (the event under the probability corresponds to the existence of a nearest neigh- def u d bor path in V between B d(0,L) = B(0,L) ∩ Z and the exterior boundary of B (0, 2L)). We refer to (2.3) of [22] for the precise deﬁnition of u. It is known to be positive thanks to Theorem 1.1. of [10] (and also [23], when d ≥ 5). The ranges u > u and ∗∗ 0 < u < u respectively correspond to strongly non-percolative and strongly percolative regimes of the vacant set V . It is plausible but open at the moment that actually u = u = u . ∗ ∗∗ We are interested here in the strongly percolative regime 0 < u < u for the vacant set V . We consider (4.4) a compact subset A of R , 31 and we assume that M > 0 is such that (4.5) A ⊆ B(0,M). Given N ≥ 1, the discrete blow-up of A is deﬁned as (4.6) A = (NA) ∩ Z , and we write (4.7) S = {x ∈ Z ; SxS = [MN]}. N ∞ We note that for large N, i.e. N ≥ N (A,M), (4.8) A ⊆ B d(0,MN)ƒS . N N Our interest lies in the disconnection event (4.9) D = {A ←~→ S } N N (corresponding to the absence of a nearest neighbor path in V between A and S ), and we tacitly assume from now on that N ≥ N (A,M). The main result of N 0 this section is the following asymptotic upper bound. Theorem 4.1. Assume that A is a compact subset of R and M > 0 satisﬁes (4.5). Then, for 0 < u < u, one has (with A the interior of A) 1 1 u 2 (4.10) lim sup log P[D ] ≤ − ( u − u) cap(A). d−2 N d Of course, when the compact set A is regular in the sense that cap(A) = cap(A), one can replace cap(A) by cap(A) in the right member of (4.10). Theorem 4.1 has a direct application that yields a similar asymptotic upper bound on the probability that simple random walk disconnects A from S , see Corollary 4.4 at the end of N N this section. Before starting the proof of Theorem 4.1, we introduce some further notation and recall three results from [22]. We consider 0 < u < u, as well as (4.11) α > β > γ in (u,u), and ε̃∈ (0, 1) such that ε̃Š − 1� < 1 (the parameter ε̃ corresponds to ε in [22], but we use here a diﬀerent notation to avoid a confusion with the parameter ε of Section 3). We consider from now on an integer K ≥ c(α,β,γ,ε̃) (≥ 100, this constant corresponds as below (6.4) of [22] to c (α,β,γ) ∨ c (ε̃) ∨ c (α,β,γ), in the notation of Theorem 2.3, Proposition 3.1 and 4 5 8 def Theorem 5.1 of [22]). We also consider an integer L ≥ 1, and for any z ∈ L = LZ , we set d d B = z + [0,L) ∩ Z ⊆ D = z z (4.12) d d d d z + [−3L, 4L) ∩ Z ⊆ U = z + [−KL + 1,KL − 1) ∩ Z . 32 We refer to (2.11) - (2.13) of [22] for the notion of a good(α,β,γ)-box B (which is otherwise bad(α,β,γ)). The details of the deﬁnition will not be important here. In essence, one looks at the excursions of the interlacements between D and the complement of U . One can order them in a natural fashion, and for a good(α,β,γ)- box B , the complement of the ﬁrst α cap d(D ) excursions leaves in B a connected z Z z z set with sup-norm diameter at least L~10, which is connected to similar components in neighboring boxes of B via paths in D avoiding the ﬁrst β cap d(D ) excursions z z z (and cap (⋅) stands for the capacity attached to the simple random walk on Z ). In addition, the ﬁrst β cap d(D ) excursions spend a substantial “local time” on the (inner) boundary of D , which is at least γ cap d(D ). z z We also need the notation N (D ), see (2.14) of [22], which refers to the number u z of excursions from D to ∂U (the exterior boundary of U in Z ), contained in the z z z interlacement trajectories up to level u. We now recall three facts from [22]. First, a connectivity statement, cf. Lemma 6.1 of [22]: if B , 0 ≤ i ≤ n, is a sequence of neighboring L-boxes (i.e. the z , 0 ≤ i ≤ n, form a nearest-neighbor path in L), which are (4.13) good(α,β,γ), and for i = 0,... ,n, N (D ) < β cap d(D ), then there u z z i Z i n u exists a path in ( D ) ∩ V starting in B and ending in B . z z z i=0 i 0 n Second, an exponential bound, cf. Theorem 3.2 of [22], namely, if C is a non-empty ﬁnite subset of L with points at mutual sup-distance at least KL, where K = 2K +3, then P {B is good(α,β,γ) and N (D ) ≥ β cap d(D )} ≤ z u z z z∈C √ √ (4.14) u expš − Š γ − ¼ �( γ − u) cap (C)Ÿ, 1 − ε̃‰ − 1Ž where C = B (and cap d(D ) does not depend on z by translation invariance). ⋃ z z z∈C The third fact, cf. (5.1) of [22] (with the choice Γ = 1), as well as (5.6) and Theorem 5.1 of [22], is a super-exponential bound (its proof in [22] uses decoupling via the soft local time technique in the form of Section 2 of [6]). Namely, there exists a positive function ρ(L) (depending on α,β,γ,K) with lim ρ(L) = 0, such that setting d−1 (4.15) N = L ~ log L, when L > 1, −(d−2) L d−1 (4.16) lim N log Pthere are at least ρ(L)( ) columns in L L L→∞ [−N ,N ] in the direction e containing L L a bad(α,β,γ)-box = −∞, d d where for e vector of the canonical basis of R , a column in [−N ,N ] in the L L direction e refers to the collection of L-boxes B intersecting [−N ,N ] with same z L L projection on the discrete hyperplane {x ∈ Z ;x ⋅ e = 0}, and (4.16) holds for all vectors e of the canonical basis. 33 It is convenient to introduce the non-increasing function ′ ′ ρ (u) = sup{ρ(L ); L ≥ [u]}, for u ≥ 0, so that (4.17) ρ (L) ≥ρ(L) for integer L, and lim ρ (u) = 0. ∗ ∗ u→∞ We will now specify the choice of L as a function of N (that enters Theorem 4.1). We do this in a diﬀerent fashion from [22] (we use here a slightly bigger scale). First, we choose a positive sequence γ , N ≥ 1, such that ⎪ i) γ ≤ 1, 2d ⎪ d−1 ii) γ ~ρ ‰(N log N) Ž Ð→ ∞, ⎪ ∗ ⎪ N (4.18) ⎨ d+1 ⎪ 2 −(d−2) iii) γ ~(log N N ) Ð→ ∞, ⎪ N ⎪ N iv) γ → 0 (such a choice is possible since lim ρ (u) = 0). u→∞ ∗ We then deﬁne (L will stand for our choice of L as a function of N) −1 d−1 (4.19) L = (γ N logN) and L = 100d[ γ N. 0 0 ̂ ̂ By (4.18) iii) for large N, L is smaller than L . Heuristically, L can be thought 0 0 0 of as “nearly macroscopic” (i.e. of size N). As an aside, L ~N (which is comparable to γ for large N) will in essence correspond to the parameter ε of Section 3. Together with these choices, we introduce the lattices d d d ̂ ̂ (4.20) L = L Z and L = L Z = [ γ N]Z . 0 0 0 0 100d As a last preparation for the proof of Theorem 4.1, we have Lemma 4.2. As N → ∞, one has in the notation of (4.15), (4.19) d−1 L d−1 (4.21) ρ(L ) Š � ~(L ~L ) Ð→ 0. 0 0 0 0 N In addition, if one deﬁnes the event (where e runs over the canonical basis of R ), d−1 B = ™there are at least ρ(L ) Š � columns of L -boxes N 0 0 (4.22) in the direction e in B d(0, 10(M + 1)N) that contain a bad(α,β,γ)L -box , then one has (4.23) lim log P[B ] = −∞ (super-exponential bound). d−2 34 Proof. We ﬁrst prove (4.21). For large N, on the one hand, we have d−1 (4.19) d−2 d−1 (4.24) (L ~L ) ≥ cγ (which tends to ∞ by (4.18) iii)), 0 0 log N and on the other hand (4.19) (4.15) d−1 d−2 d−1 ρ(L )(N ~L ) = ρ(L )(L ~ log L ) ≤ 0 L 0 0 0 0 0 (4.19) −(d−2) d−2 −(d−1) ρ(L )γ (N log N) (log L ) ≤ 0 0 (4.25) (4.17)−(4.19) −(d−2) d−2 −(d−1) cρ(L )γ (N log N) (log N) ≤ d−2 d−2 (4.18)ii) −(d−2) N N d+2 d−1 cρ ‰(N log N) Žγ ≤ cγ . log N log N d−1 Since γ tends to zero, cf. (4.18) iv) and d+2 > +1, the claim (4.21) follows from (4.24), (4.25). We now turn to the proof of (4.23). We note that for large N, one has d−1 (4.19) (4.15) L N log N −1 ′ −1 (4.26) N = ≥ cγ ≥ c γ N ≥ 10(M + 1)N. 0 N N log L log L 0 0 Hence, for large N the event B is contained in the union over e of the events under the probability in (4.16) where L replaces L. In addition, by (4.26), we know that N ≥ N for large N and (4.23) follows from (4.16). This completes the proof of Lemma 4.2. We are now ready to begin the proof of Theorem 4.1. Here is an outline of the proof. We use a coarse graining procedure. In essence, for large N, on the discon- nection event D , cf. (4.9), there will be an interface of L -boxes, either bad(α,β,γ) or with N (D ) ≥ β cap d(D ), blocking the way between A and the complement u z z N of B d(0,(M + 1)N). We will track this interface through boxes of size L (much larger than L , but small compared to the macroscopic size N), where the interface will have a substantial presence. This step will involve the inspection of a certain local density in scale L , cf. (4.28), and selecting a region where it is non-degenerate, cf. (4.32). After discarding the bad event B , which is negligible for our purpose, thanks to the super-exponential bound (4.23), there will be few bad(α,β,γ) L -boxes in each L -boxes, and we will be able to extract a “porous interface” made of boxes of size L , so that in each such box there will be a substantial presence of boxes B 0 z of size L , all good(α,β,γ), with N (D ) ≥ βcap d(D ), at mutual distance at least 0 u z z K L (with K = 2K + 3 as required in (4.14)). This selection of L -boxes will use 0 0 isoperimetric controls of Deuschel and Pisztora [8] based on an elementary inequality of Loomis and Whitney [16], in a similar spirit as in Section 2 of [7]. These choices d−2 will have a small combinatorial complexity, namely exp{o(N )}, and will produce a coarse graining of the event D ƒB . By the exponential bound (4.14), we will then be reduced to the derivation of a uniform lower bound on cap (C), for C the union of the selected L -boxes. With the help of Proposition A.1 of the Appendix, 35 d we will be able to replace discrete boxes and random walk capacity with R -boxes and Brownian capacity (ﬁrst letting N tend to inﬁnity, and then choosing K large). The desired uniform lower bound on the capacity will be provided by Corollary 3.4, ̂ √ where in essence ε corresponds to (∼ const. γ ). The bound in Theorem 4.1 N N will then follow by letting K tend to inﬁnity, and then letting successively ε̃ go to zero and γ (together with α,β) go to u. Proof of Theorem 4.1: We recall the deﬁnitions of L and L in (4.19). Without 0 0 loss of generality we assume that A =~ ∅ (otherwise (4.10) is immediate) and that N ≥ N (A,M) so that (4.8) holds. We are going to introduce a local density function ̂σ(⋅), see (4.28) below, in order to track in scale L an interface of “blocking L -boxes”, 0 0 when D occurs. More precisely, we introduce the random subset U = the union of all L -boxes B that are either contained in 0 z B d(0,(M + 1)N) or linked to an L -box contained in (4.27) B d(0,(M + 1)N) by a path of L -boxes B , 0 ≤ i ≤ n, 0 z which are all, except maybe for the last one, good(α,β,γ) and such that N (D ) < βcap d(D ). u z z i i We then deﬁne the local density function 1 d ̂ ̂ (4.28) ̂σ(x) = SU ∩ B d(x,L )S~SB d(x,L )S, for x ∈ Z . 0 0 Z Z We note that ̂σ(⋅) has slow variation in the sense that 2 1 (4.29) Ŝσ(x + e) − ̂σ(x)S ≤ ≤ , for all x,e in Z with SeS = 1. ̂ ̂ 2L + 1 L 0 0 ̂ ̂ When B d(x,L + L ) ⊆ B d(0,(M + 1)N) , any L -box intersecting B d(x,L ) is 0 0 0 0 Z Z Z c 1 contained in B (0,(M + 1)N) and hence in U , so that (4.30) ̂σ(x) = 1, when B d(x,L + L ) ⊆ B d(0,(M + 1)N) . 0 0 Z Z (4.6) On the other hand, when B d(x,L + L ) ⊆ A ( = (NA) ∩ Z ), any L -box inter- 0 0 N 0 secting B d(x,L ) is contained in A . When N is large, if such a box is contained 0 N 1 u in U , then by (4.27) and the connectivity property (4.13), there is a path in V c u between A und B (0,MN) and D does not occur. So, we ﬁnd that Z N (4.31) for large N on D , ̂σ(x) = 0 when B d(x,L + L ) ⊆ A . 0 0 N Loosely speaking, the random set S that we will now introduce, provides a “seg- mentation” in (nearly macroscopic) scale L of the interface of blocking (and much smaller) L -boxes we are interested in. Speciﬁcally, we consider the random subset of L (see (4.20) for notation) 1 3 ̂ ̂ (4.32) S = šx ∈ L ; ≤ ̂σ(x) ≤ Ÿ, N 0 4 4 as well as the compact subset of R x 1 L (4.33) Δ = BŠ , � N 50d N x∈S 36 (in essence, the unbounded component of the complement of Δ will play the role of U in the ﬁrst three sections of this article, see (4.49) below). The Reader may possibly wish to read the statement of the next lemma, ﬁrst skip its proof, and proceed above (4.39) to see how the proof of Theorem 4.1 unfolds. Lemma 4.3. (Insulation property of Δ ) For large N, ̂ ̂ (4.34) S ⊆ B (0,(M + 2)N) ∩ L , N 0 and on D , L + L + 1 0 0 the compact set ™z ∈ A;d(z,∂A) ≥ ž is contained (4.35) N in the union of the bounded components of the open set R ƒΔ . Proof. By (4.30), we see that for large N, ̂σ(x) = 1, when SxS > (M + 2)N, and (4.34) follows. To prove (4.35), we will ﬁrst show that (4.36) for large N, on D the compact set in (4.35) does not intersect Δ . Indeed, otherwise scaling up by N and choosing some point in Z within S⋅S -distance 1 of the intersection, we could ﬁnd y ∈ Z with B (y,L + L ) ⊆ A and within 0 0 N ̂ ̂ S ⋅ S -distance ( L + 1) of S . This would imply ̂σ(y) = 0 by (4.31). But also by ∞ 0 N 50d 1 1 1 1 (4.32) and (4.29) that ̂σ(y) ≥ − d( L + 1) ≥ , a contradiction. This proves 4 50d 8 the claim (4.36). As a next step in the proof of (4.35), we will show that u d for large N, on D , any continuous path ψ(⋅): [0, 1] → R , such that (4.37) ψ(0) is within S ⋅ S -distance 1 of {x ∈ A : B (x,L + L ) ⊆ A } and ∞ N 0 0 N ̂ ̂ Sψ(1)S ≥ (M + 2)N, comes within distance L of S . ∞ 0 N 50d This will imply that any continuous path in R starting in the compact set in (4.35) and with end point of S⋅S -norm at least M +2 necessarily meets Δ . Together with ∞ N (4.36), this will complete the proof of (4.35). There remains to prove (4.37). Given ψ(⋅) as in (4.37), we can construct a Z -valued ∗-path y , 0 ≤ i ≤ ℓ (i.e. Sy − y S = 1, for 0 ≤ i < ℓ) such that y ∈ {x ∈ A ; B d(x,L + L ) ⊆ A } and i+1 i ∞ 0 N 0 0 N Sy S > (M+1)N+L +L and {y ,... ,y } is contained in the closed 1-neighborhood of ℓ ∞ 0 0 0 ℓ ψ([0, 1]) for the S⋅S -distance. Indeed, one constructs by induction a non-decreasing sequence of times t ∈ [0, 1] and points y , 1 ≤ i ≤ ℓ, so that t is the ﬁrst time after t i i i i−1 (with t = 0) when the continuous path ψ moves at S ⋅ S -distance 1 from the current 0 ∞ point y of the sequence to choose the next y in Z so that Sψ(t ) − y S ≤ and i−1 i i i ∞ Sy − y S = 1. The procedure stops after ﬁnitely many steps (by the continuity of i i−1 ∞ ψ) with a point y that satisﬁes Sy −ψ(1)S ≤ 1 (whence Sy S > (M +1)N +L +L ). ∞ ∞ 0 0 ℓ ℓ ℓ It now follows from (4.30) and (4.31) that ̂σ(y ) = 0 and ̂σ(y ) = 1. In addition, 0 ℓ Sy −y S ≤ d, for 0 ≤ i < ℓ, and by (4.29), we ﬁnd that necessarily for some 0 ≤ j ≤ ℓ, i+1 i 1 1 d one has Ŝσ(y ) − S ≤ . 37 1 ̂ ̂ For large N, if we now choose ŷ ∈ L such that Sŷ− y S ≤ L , cf. (4.20), we 0 j ∞ 0 100d ﬁnd that (4.29) 1 1 d 1 d 1 (4.38) Ûσ(ŷ) − U ≤ Sŷ− y S + ≤ + < . j 1 ̂ ̂ ̂ 2 100 4 L L L 0 0 0 This shows that ŷ belongs to S , cf. (4.32). In addition, ψ(⋅) comes within S ⋅ S - N ∞ 1 1 ̂ ̂ ̂ distance L + 1 ≤ L of ŷ, and thus of S . This yields (4.37) and concludes 0 0 N 100d 50d the proof of Lemma 4.3. We are now on our way to introduce a coarse graining of the event D ƒB (we refer to (4.22) for the deﬁnition of the “bad” event B ), see (4.42), (4.43) below. As a next step, we extract a (measurable random) subset S of the (measurable random) ﬁnite set S such that: ̃ ̂ ̂ ̃ S is a maximal subset of S such that the B d(x, 2L ), x ∈ S , N N 0 N (4.39) are pairwise disjoint. 1 3 For any x ∈ S , we have ̂σ(x) ∈ [ , ] by (4.32). By the isoperimetric controls 4 4 (A.3) - (A.6), p. 480-481 of [8], we have a projection ̃π on the hyperplane of points ̃ ̂ with vanishing i -coordinate, such that the ̃π -image of the points in B (x,L )ƒU x x 0 1 d−1 ̂ ̂ having a neighbor in B d(x,L ) ∩ U has cardinality at least cL (see (4.27) for Z 0 notation). Any such point in B d(x,L )ƒU , which is a neighbor of a point in B (x,L ) ∩ U , belongs to a (uniquely deﬁned) L -box B , z ∈ L , which is not 0 0 z 0 c 1 contained in B d(0,(M + 1)N) (otherwise the point would belong to U ), but also cannot be both good(α,β,γ) and with N (D ) < β cap(D ) (otherwise the point u z z 1 1 would again belong to U , since a neighboring L -box is contained in U ). As a result, we see that for large N, ̃ ̂ for each x ∈ S , there is a collection of L -boxes intersecting B (x,L ) N 0 0 with ̃π -projection at mutual distance ≥ K L (where K = 2K + 3), x 0 (4.40) c L d−1 and cardinality at least ( ) , such that each B in the collection K L is either bad(α,β,γ) or N (D ) ≥ β cap d(D ). u z z Now for large N, on the complement of the event B in (4.22), in each coordinate direction, the number of columns of L -boxes in B d(0, 10(M + 1)N) that contain a N ̂ d−1 c L d−1 0 0 bad(α,β,γ) L -box is at most ρ(L )( ) ≤ ( ) by (4.21). This obser- 0 0 L 2K L 0 0 vation combined with (4.40) shows that u u ̃ ̃ for large N, on the event D = D ƒB , for each x ∈ S there is a N N N N ̃ ̂ collection C of L -boxes intersecting B d(x,L ) with ̃π -projection x 0 0 x (4.41) ′ ̂ c d−1 at mutual distance at least K L and cardinality [( ) ], such K L that for each z ∈ C , B is good(α,β,γ) and N (D ) ≥ β cap (D ). x z u z z Thus, for large N, we can deﬁne a random variable u u ̂ ̃ ̃ ̃ (4.42) κ = (S ,S ,(̃π ,C ) ) on D (= D ƒB ) N N N x x ̃ N N N x∈S 38 with the above mentioned properties. As we now explain d−2 (4.43) the set K of possible values of κ has cardinality SK S = exp{o(N )}. N N N 2SL ∩B (0,(M+2)N)S Indeed, for large N, by (4.34), (4.39), there are at most 2 possible ̂ ̃ choices for the couple (S ,S ), and this quantity is at most N N d d d d expšc(M + 1)Š � Ÿ ≤ exp{c(M + 1)γ }. ̂ ̃ ̃ ̃ Then, for any such choice of S and S , for any x ∈ S , we can choose (̃π ,C ) in N N N x x 0 d−1 (c ) 0 L ̃ at most d(c ) ways, and hence the number of choices for (̃π ,C ) is at x x ̃ L x∈S 0 N most d d−1 ̂ ̂ N L L ′ d 0 0 (4.44) exp šc (M + 1)Š � Š log d + Š � log Šc ��Ÿ. L L L 0 0 Note that for large N, one has d d−1 d−1 (4.19) ̂ ̂ ̂ N L L N N L 0 0 0 Š � Š � log Š � = Š � Š � log Š � ≤ ̂ ̂ L L L L 0 0 0 0 L0 L0 1 1 d−2 d−2 2 2 cγ γ log N = cγ N . N N log N We thus ﬁnd that for large N, the number SK S of possible values of κ is at most N N (4.18)i),iii),iv) −d~2 1~2 d d−2 d−2 exp{c(M + 1)(γ + γ N )} = exp{o(N )}, whence (4.43). N N For large N, the coarse graining of D will speciﬁcally correspond to the parti- tion: u u ̃ ̃ (4.45) D = D , where D = D ∩ {κ = κ}, for κ ∈ K N,κ N,κ N N N N κ∈K d−2 (and SK S = exp{o(N )}). We can now combine the super-exponential bound in (4.23) and the above coarse graining to ﬁnd that (4.23) u u lim sup log P[D ] ≤ lim sup logP[D ] N N d−2 d−2 N N (4.46) (4.45) ≤ lim sup sup log P[D ]. N,κ d−2 N κ∈K To each κ ∈ K , we will associate a “segmentation” (corresponding to U or S in (4.49) N 0 below) and a “porous interface” (corresponding to Σ in (4.48) below), as follows. If ̂ ̃ ̃ κ = (S,S,(̃π ,C ) ) ∈ K , we deﬁne x x ̃ N x∈S (4.47) C = B (⊆ Z ), ̃ ̃ x∈S z∈C 39 d its “scaled R -ﬁlling”: d d (4.48) Σ = Š z + [0,L ] � (⊆ R ), ̃ ̃ x∈S z∈C as well as 1 1 U = the unbounded component of R ƒš Š BŠx, L ��Ÿ 1 0 N 50d (4.49) ̂ x∈S U = R ƒU , S = ∂U = ∂U . 0 1 0 1 Note that on D the open set U coincides with the unbounded component of N,κ 1 R ƒΔ in the notation of (4.33). Thus, by Lemma 4.3, for large N and all κ in K , N N L +L +1 0 0 on D , the compact set {z ∈ A;d(z,∂A) ≥ } in (4.35) of Lemma 4.3 does N,κ ′ ′ not intersect U . We then consider a compact subset A of A and some ℓ (A,A ) ≥ 0 1 ∗ such that, for large N and all κ ∈ K , ′ −ℓ (4.50) d(A ,U ) ≥ 2 (and hence U ∈ U ′, see (2.6)). 1 0 ℓ ,A In addition, by (4.39), (4.41), and the deﬁnition of Σ in (4.48), that for large N d d−2 ̃ ̂ and all κ ∈ K and x ∈ S, cap( z + [0,L ] ) ≥ c(K)L (using a projection N 0 z∈Cx 0 argument, see [17], p. 126), and (4.51) P [H < τ ̂ ] ≥ c(K), for all x ∈ S (= ∂U = ∂U ). x Σ L 0 1 This will enable us to apply Corollary 3.4 of the previous section. We now come back to (4.46), and note that by the exponential bound (4.14), as well as our choice of C in (4.41) and the notation (4.47), lim sup logP[D ] ≤ d−2 (4.52) u √ −Š γ − ¼ �( γ − u) lim inf inf cap d (C). d−2 u N κ∈K 1 − ε̃( − 1) Taking a liminf over K and using Proposition A.1, we ﬁnd with Σ as in (4.48): lim sup logP[D ] ≤ d−2 N (4.53) √ u √ −Š γ − ¼ �( γ − u) lim lim inf cap(Σ). κ∈K K N 1 − ε̃( − 1) We can now take (4.50), (4.51) into account, and by Corollary 3.4, we ﬁnd that (4.54) lim inf inf cap(Σ) ≥ cap(A ). N κ∈K Inserting this inequality in the last expression of (4.53), and letting successively ε̃ tend to zero and α,β,γ tend to u yields 1 1 u 2 ′ (4.55) lim sup log P[D ] ≤ − ( u − u) cap(A ). d−2 N d 40 ′ Letting A increase to A now yields (4.10), by Proposition 1.13, p.60 of [18]. This completes the proof of Theorem 4.1. In the proof of the above Theorem 4.1, we applied Corollary 3.4 with a ﬁxed ℓ , which does not vary with N, see (4.50). We refer to Remark 4.5 3) below for an application where ℓ depends on N. Theorem 4.1 has an immediate application to a similar asymptotic upper bound in the case of disconnection by a simple random walk. We ﬁrst introduce some notation. We denote by Z , n ≥ 0, the canonical simple random walk on Z , (recall Z d d ≥ 3), and by P the canonical law of the walk starting at x ∈ Z . We write d d I = {Z ;n ≥ 0} ⊆ Z for the set of points visited by the walk and V = Z ƒI for its complement. With A and S as in (4.6), (4.7), and N ≥ N (A,M) such that N N 0 A ⊆ B d(0,MN)ƒS , we consider the disconnection event where there is no path N N in V between A and S , N N (4.56) D = {A ←~→ S }. N N N We have Corollary 4.4. Assume that A is a compact subset of R and M > 0 satisﬁes (4.5), then for any x ∈ Z , 1 1 (4.57) lim sup log P [D ] ≤ − u cap(A). d−2 N d Proof. The proof is similar to that of Corollary 6.4 of [22] (or that of Corollary 7.3 u u of [21]) and relies on the fact that one can ﬁnd a coupling P of I under P[⋅Sx ∈ I ] and of I under P , so that P -a.s., I ⊆ I . The claim (4.57) then follows by the application of Theorem 4.1 to u ∈ (0,u), and then letting u → 0 (see the above mentioned references for details). Remark 4.5. 1) The approach developed in this section should remain pertinent in the context of level-set percolation of the Gaussian free ﬁeld on Z , d ≥ 3. Plausibly, one should be able to adapt the strategy of the proof of Theorem 4.1 to instead derive asymptotic upper bounds on the probability that the excursion-set of the Gaussian free ﬁeld below level α disconnects the macroscopic body A from S , when α is such N N that the excursion-set of the Gaussian free ﬁeld above α is in a strongly percolative regime (i.e. α < h in the notation of [21]). The case when A is the discrete blow-up of a box centered at the origin was treated in [21]. 2) As mentioned in the introduction, it is plausible but presently open that the critical levels u ≤ u ≤ u actually coincide (incidentally, some progress towards a ∗ ∗∗ possible proof of the equality u = u has been made in [11]). If this is the case and ∗ ∗∗ u = u = u , then when the compact set A is regular in the sense that ∗ ∗∗ (4.58) cap(A) = cap(A), 41 the asymptotic upper bounds in Theorem 4.1 and Corollary 4.4 respectively match the asymptotic lower bounds from [15] in the case of random interlacements, and from [14] in the case of simple random walk and under (4.58) √ √ 1 1 u 2 (4.59) lim log P[D ] = − ( u − u) cap(A), when 0 < u < u , N ∗ d−2 N d and 1 1 (4.60) lim log P[D ] = − u cap(A). N ∗ d−2 N d 3) Assume that for each rationals α > β > γ in (0,u), ε̃ ∈ (0, 1) and integer K ≥ c(α,β,γ,ε̃) (in the notation below (4.11)) one chooses a positive sequence γ as in (4.18). Then, the proof of Theorem 4.1 can straightforwardly be adapted to the situation where in place of A in (4.6) one considers the discrete blow-up A = N N δ d δ N N (NA ) ∩ Z with A the closed δ -neighborhood in S ⋅ S -distance of the compact N ∞ ̂ √ set A, for a sequence δ Ð→ 0 in such a fashion that δ ~( ) Ð→ ∞ (i.e. δ ~ γ Ð→ N N N N N N N N ∞), for all above choices of γ . Such a sequence δ can for instance be constructed N N by a diagonal procedure. In essence, one only needs to replace A by A and ∂A δ ′ by ∂(A ) in (4.35), and then A by A and ℓ by the smallest non-negative integer −ℓ 1 L −ℓ ∗ 0 ∗ such that 2 ≤ δ in (4.50) (so ~2 tends to zero with N). If one denotes by 2 N ̂ ̂ D and D the disconnection events respectively corresponding to (4.9) and (4.56) with A in place of A , one obtains that for any compact set A in R and M > 0 N N such that (4.5) holds 1 1 u 2 (4.61) lim sup log P[D ] ≤ − ( u − u) cap(A), when 0 < u < u, d−2 N d and 1 1 Z d (4.62) lim sup log P [D ] ≤ − u cap(A), for x ∈ Z . d−2 N d A Appendix In this appendix we state and prove Proposition A.1 that provides a uniform com- parison between the discrete capacity of arbitrary ﬁnite unions of discrete L-boxes at mutual distance KL with the Brownian capacity of their R -ﬁlling, when both K and L tend to inﬁnity. We ﬁrst introduce some notation and recall some facts. We write ̃g(x,y), with d d x,y ∈ Z , for the Green function of the simple random walk on Z , d ≥ 3. If we set d d ̃g(x) = ̃g(0,x), x ∈ Z , and g(x) = g(0,x), x ∈ R (with g(⋅,⋅) the Green function of Brownian motion), so that ̃g(x,y) = ̃g(y −x), for x,y ∈ Z , and g(x,y) = g(y −x), for x,y ∈ R , then one knows by [13], p. 31, that d 1 d 2−d (A.1) as x → ∞ in Z , ̃g(x) ∼ dg(x) (and g(x) = Γ‰ − 1Ž SxS ). d~2 2π 42 We consider integers L ≥ 1 and K ≥ 100 and recall the notation from (4.12) concerning d d d L-boxes: B = z +[0,L) ∩Z , for z ∈ L(= LZ ). For C ⊆ L, a non-empty ﬁnite subset of L, we write (A.2) C = B (and as a shorthand C = B). z∈C B∈C We denote by B the R -ﬁlling of B : z z d d (A.3) B = z + [0,L] (⊆ R ), and set ̂ ̂ (A.4) Γ = B (and write as a shorthand Γ = B). z∈C B∈C Of special interest for this appendix is the case when the boxes in C are at mutual distance at least KL, i.e. ′ ′ (A.5) z =~ z in C implies that Sz − z S ≥ KL. For F ﬁnite subset of Z , we let ̃e (⋅) and É cap(F) stand for the respective equilibrium measure and capacity of F attached to the discrete Green function ̃g(⋅,⋅) (so É cap(F) = cap d(F) in the notation of Section 4). One knows that when K is large and (A.5) holds, the equilibrium measure of C “conditioned on being in the L-box B ∈ C”, it is very close to the normalized equilibrium measure ̃e = ̃e ~É cap(B). B B More precisely, by Proposition 1.5 of [22], for any δ ∈ (0, 1), when K ≥ c(δ), for any L ≥ 1, and any C ⊆ L non-empty ﬁnite satisfying (A.5), one has (1 − δ)µ̃ ≤ ̃e ≤ (1 + δ)µ̃, where (A.6) ⎨ µ̃(y) = ∑ ̃e (B)̃e (y) for y ∈ Z . C B ⎩ B∈C Finally, we recall that in the case of an L-box B and its R -ﬁlling B, one has the large L equivalence of capacities, cf. Lemma 2.2 of [2] and [19], p. 301, namely É cap(B) (A.7) a = d Ð→ 1. L→∞ cap(B) The main object of this Appendix is the following strengthening of this asymptotic equivalence: Proposition A.1. É cap(C) (A.8) lim inf inf d ≥ 1, K,L→∞ C cap(Γ) É cap(C) (A.9) lim sup sup d ≤ 1, cap(Γ) K,L→∞ C where in (A.8) and (A.9), C varies over the collection of non-empty ﬁnite subsets of L(= LZ ) satisfying (A.5). 43 Proof. We consider δ ∈ (0, 1) and assume K ≥ c(δ) so that (A.6) holds. We also introduce the quantity (recall the notation (A.3)) ′ ′ ̃g(x ,x ) dg(x ,x ) 1 2 1 2 (A.10) η = sup sup sup max š , Ÿ, ′ ′ z ,z ∈L x ∈B ,x ∈B dg(x ,x ) ̃g(x ,x ) L≥1 z z 1 2 1 2 1 2 1 2 1 2 Sz −z S ≥KL ′ ̂ ′ ̂ 1 2 ∞ x ∈B ,x ∈B z z 1 2 1 2 and note that by (A.1) (A.11) lim η = 1. K→∞ We now consider C, a non-empty subset of L satisfying (A.5), as well as µ̃ in (A.6) and the ﬁnite measure µ on R : d d (A.12) µ (dy) = d ̃e (B)e (dy), so µ (R ) = d̃e (Z ) = dÉ cap(C) ∑ C ̂ C B∈C (and e (dy) stands for the normalized equilibrium measure of the R -ﬁlling B of B, i.e. e (dy) = e (dy)~cap(B)). ̂ ̂ B B For x ∈ Γ (see (A.4)), so that x ∈ B with B ∈ C, we choose x ∈ B , such that ∗ ∗ ∗ ∗ Sx − x S ≤ 1. We then have ∗ ∞ ˆ ˆ g(x,y)µ (dy) = d̃e (B ) g(x,y)e (dy) + C ∗ B∗ (A.13) d ̃e (B) g(x,y)e (dy). C ̂ B=~B The ﬁrst term in the right-hand side of (A.13) equals (see (A.7) for notation) d̃e (B )~cap(B ) = ̃e (B )~É cap(B )a . C ∗ ∗ C ∗ ∗ L By (A.10), (A.11), we see that on the one hand (A.10) ̃e (B ) C ∗ g(x,y)µ (dy) ≤ a + η ̃e (B) ̃g(x ,y)̃e (y) ∑ ∑ L K C ∗ B É cap(B ) ∗ B=~B ≤ max(a ,η ) ̃e (B) ̃g(x ,y)̃e (y) L K ∑ C ∑ ∗ B B∈C (A.14) = max(a ,η ) ̃g(x ,y)µ̃(y) L K ∗ (A.6) −1 ≤ max(a ,η ) (1 − δ) ̃g(x ,y)̃e (y) L K ∗ C −1 = max(a ,η ) (1 − δ) (since x ∈ B ⊆ C). L K ∗ ∗ In a similar fashion, we see that −1 g(x,y)µ (dy) ≥ min(a ,η ) ̃g(x ,y)µ̃(y) L ∗ (A.6) (A.15) −1 −1 ≥ min(a ,η ) (1 + δ) ̃g(x ,y)̃e (y) L ∑ ∗ C −1 −1 = min(a ,η ) (1 + δ) . 44 Note that µ is supported by Γ, see (A.12), and (A.15) holds for arbitrary x in Γ. It then follows by integration of (A.14) and (A.15) with respect to the equilibrium measure of Γ that (A.12) −1 d (1 − δ) max(a ,η ) cap(Γ) ≥ µ (R ) = L K (A.16) −1 −1 d É cap(C) ≥ (1 + δ) min(a ,η ) cap(Γ). Since δ ∈ (0, 1) is arbitrary, the claims (A.8) and (A.9) readily follow by (A.7) and (A.11). References [1] J.R. Baxter and N.C. Jain. Asymptotic capacities for ﬁnely divided bodies and stopped diﬀusions. Illinois J. Math., 31(3):469–495, 1987. [2] E. Bolthausen and J.D. Deuschel. Critical large deviations for Gaussian ﬁelds in the phase transition regime. Ann. Probab., 21(4):1876–1920, 1993. [3] R. Cerf. Large deviations for three dimensional supercritical percolation. Astérisque 267, Société Mathématique de France, 2000. [4] J. Černý and A. Teixeira. From random walk trajectories to random interlace- ments. Sociedade Brasileira de Matemática, 23:1-78, 2012. [5] D. Cioranescu and F. Murat. Un terme étrange venu d’ailleurs. In Nonlinear partial diﬀerential equations and their applications, volume 2, pages 98–132. Coll. de France Semin., 1982. [6] F. Comets, Ch. Gallesco, S. Popov, and M.Vachkovskaia. On large deviations for the cover time of two-dimensional torus. Electron. J. Probab., 96:1–18, 2013. [7] A. Dembo and A.S. Sznitman. On the disconnection of a discrete cylinder by a random walk. Probab. Theory Relat. Fields, 136(2):321-340, 2006. [8] J.D. Deuschel and A. Pisztora. Surface order large deviations for high-density percolation. Probab. Theory Relat. Fields, 104(4):467–482, 1996. [9] A. Drewitz, B. Ráth, and A. Sapozhnikov. An Introduction to Random Inter- lacements. SpringerBriefs in Mathematics, Berlin, 2014. [10] A. Drewitz, B. Ráth, and A. Sapozhnikov. Local percolative properties of the vacant set of random interlacements with small intensity. Ann. Inst. Henri Poincaré Probab. Stat., 50(4):1165–1197, 2014. [11] H. Duminil-Copin, A. Raouﬁ, and V. Tassion. Sharp phase transition for the random-cluster and potts models via decision trees. Ann. Math., 189:75–99, [12] N.S. Landkof. Foundations of modern potential theory. Springer, New York, 45 [13] G.F. Lawler. Intersections of random walks. Birkhäuser, Basel, 1991. [14] X. Li. A lower bound for disconnection by simple random walk. Ann. Probab., 45(2):879–931, 2017. [15] X. Li and A.S. Sznitman. A lower bound for disconnection by random interlace- ments. Electron. J. Probab., 19(17):1–26, 2014. [16] L.H. Loomis and H. Whitney. An inequality related to the isoperimetric inequal- ity. Bull. Am. Math. Soc., 55:961–962, 1949. [17] P. Mattila. Geometry of sets and measures in Euclidean spaces. Cambridge Uni- versity Press, 1995. [18] S. Port and C. Stone. Brownian motion and classical Potential Theory. Academic Press, New York, 1978. [19] F. Spitzer. Principles of random walk. Springer, Berlin, second edition, 2001. [20] A.S. Sznitman. Brownian motion, obstacles and random media. Springer, Berlin, [21] A.S. Sznitman. Disconnection and level-set percolation for the Gaussian free ﬁeld. J. Math. Soc. Japan, 67(4):1801–1843, 2015. [22] A.S. Sznitman. Disconnection, random walks, and random interlacements. Probab. Theory Relat. Fields, 167(1-2):1–44, 2017; the numbering quoted here in the text is the same as in arXiv:1412.3960 (the numbering of sections in the PTRF article is shifted by one unit). [23] A. Teixeira. On the size of a ﬁnite vacant cluster of random interlacements with small intensity. Probab. Theory Relat. Fields, 150(3-4):529–574, 2011.

Mathematics – arXiv (Cornell University)

**Published: ** Jun 22, 2017

Loading...

You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!

Read and print from thousands of top scholarly journals.

System error. Please try again!

Already have an account? Log in

Bookmark this article. You can see your Bookmarks on your DeepDyve Library.

To save an article, **log in** first, or **sign up** for a DeepDyve account if you don’t already have one.

Copy and paste the desired citation format or use the link below to download a file formatted for EndNote

Access the full text.

Sign up today, get DeepDyve free for 14 days.

All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.