Abstract:In this article, we consider the interlacement set $\mathcal{I}^u$ at level $u>0$ on $\mathbb{Z}^d$, $d \geq3$, and its finite range version $\mathcal{I}^{u,L}$ for $L >0$, given by the union of the ranges of a Poisson cloud of random walks on $\mathbb{Z}^d$ having intensity $u/L$ and killed after $L$ steps. As $L\to \infty$, the random set $\mathcal{I}^{u,L}$ has a non-trivial (local) limit, which is precisely $\mathcal{I}^u$. A natural question is to understand how the sets $\mathcal{I}^{u,L}$ and $\mathcal{I}^{u}$ can be related, if at all, in such a way that their intersections with a box of large radius $R$ almost coincide. We address this question, which depends sensitively on $R$, by developing couplings allowing for a similar comparison to hold with very high probability for $\mathcal{I}^{u,L}$ and $\mathcal{I}^{{u'},2L}$, with $u' \approx u$. In particular, for the vacant set $\mathcal{V}^u=\mathbb{Z}^d \setminus \mathcal{I}^u$ with values of $u$ near the critical threshold, our couplings remain effective at scales $R \gg \sqrt{L}$, which corresponds to a natural barrier across which the walks of length $L$ comprised in $\mathcal{I}^{u,L}$ de-solidify inside $B_R$, i.e. lose their intrinsic long-range structure to become increasingly "dust-like". These mechanisms are complementary to the solidification effects recently exhibited in <a class="link-https" data-arxiv-id="1706.07229" href="https://arxiv.org/abs/1706.07229">arXiv:1706.07229</a>. By iterating the resulting couplings over dyadic scales $L$, the models $\mathcal{I}^{u,L}$ are seen to constitute a stationary finite range approximation of $\mathcal{I}^u$ at large spatial scales near the critical point $u_*$. Among others, these couplings are important ingredients for the characterization of the phase transition for percolation of the vacant sets of random walk and random interlacements in two upcoming companion articles.

Shy and Fixed-Distance Couplings of Brownian Motions on Manifolds

Non-Markovian maximal couplings and a vertical reflection principle on a class of sub-Riemannian manifolds

Couplings of Brownian motions on $SU(2,\mathbb{C})$ and $SL(2,\mathbb{R})$

On the separation cut-off phenomenon for Brownian motions on high dimensional rotationally symmetric compact manifolds

Contractive coupling rates and curvature lower bounds for Markov chains

Shy couplings

Non co-adapted couplings of Brownian motions on free, step 2 Carnot groups

Pairwise Near-maximal Grand Coupling of Brownian Motions

A coupling strategy for Brownian motions at fixed time on Carnot groups using Legendre expansion

Second-order differential operators, stochastic differential equations and Brownian motions on embedded manifolds

Self-interacting Brownian motion

Asymptotic Homology of Brownian motion on a Riemannian manifold

On a Markov construction of couplings

Coupling between Brownian motion and random walks on the infinite percolation cluster

Functional Inequalities for Brownian Motion on Riemannian Manifolds with Sticky-Reflecting Boundary Diffusion

On a coupling of solutions to the interface SDE on a star graph

Conformally invariant random fields, quantum Liouville measures, and random Paneitz operators on Riemannian manifolds of even dimension

Scalable couplings for the random walk Metropolis algorithm

Finite range interlacements and couplings

Holonomy of the Planar Brownian Motion in a Poisson Punctured Plane