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.

Percolation of discrete GFF in dimension two I. Arm events in the random walk loop soup

Percolation of discrete GFF in dimension two II. Connectivity properties of two-sided level sets

Random walk loop soups and conformal loop ensembles

Chemical Distances for Percolation of Planar Gaussian Free Fields and Critical Random Walk Loop Soups

The ant on loops: Alexander-Orbach conjecture for the critical level set of the Gaussian free field

Percolation for two-dimensional excursion clouds and the discrete Gaussian free field

Critical level set percolation for the GFF in $d>6$: comparison principles and some consequences

Arm exponent for the Gaussian free field on metric graphs in intermediate dimensions

Coexistence, enhancements and short loops in random walk loop soups

Off-Criticality and the Massive Brownian Loop Soup

Chemical Distances for Level-Set Percolation of Two-Dimensional Discrete Gaussian Free Fields

Parity questions in critical planar Brownian loop-soups (or "where did the free planar bosons go?")

Cluster explorations of the loop soup on a metric graph related to the Gaussian free field

Excursion decomposition of the 2D continuum GFF

Incipient infinite clusters and self-similarity for metric graph Gaussian free fields and loop soups

Liouville First-Passage Percolation: Subsequential Scaling Limits at High Temperature

Delocalisation and continuity in 2D: loop O(2), six-vertex, and random-cluster models

Convergence of the two-dimensional random walk loop soup clusters to CLE

Finite range interlacements and couplings

Limit Theorems for Loop Soup Random Variables

A note on Ising random currents, Ising-FK, loop-soups and the Gaussian free field