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.

On the absence of quantitatively critical measure equivalence couplings

Strong Birkhoff Ergodic Theorem for Subharmonic Functions with Irrational Shift and Its Application to Analytic Quasi-Periodic Cocycles

On the stability of hyperbolicity under quantitative measure equivalence

Loosely Bernoulli zero exponent measures for elliptic matrix cocycles

A proof of a Dumortier-Roussarie's conjecture

Quantitative upper bounds related to an isogeny criterion for elliptic curves

AF-equivalence relations and their cocycles

Invariance of non-vanishing of first $l^p$-cohomology under $L^q$-Measured Equivalence

Quantization of locally compact groups associated with essentially bijective $1$-cocycles

Quasi-invariant measures concentrating on countable structures

Some duality results for equivalence couplings and total variation

Finite range interlacements and couplings

Khintchine-type double recurrence in abelian groups

A quantitative converse of Fekete's theorem

Uniform quasi-multiplicativity of locally constant cocycles and applications

Degree, mixing, and absolutely continuous spectrum of cocycles with values in compact Lie groups

Quantitative almost reducibility and Möbius disjointness for analytic quasiperiodic Schrodinger cocycles

Isoperimetric Profiles and Regular Embeddings of locally compact groups

Quantitative infinite mixing for non-compact skew products

Asymptotics of the quantization errors for some Markov-type measures with complete overlaps