Covering of an inner subset by the confined random walk
Nicolas Bouchot
TL;DR
This work analyzes the cover time of inner subsets by a simple random walk conditioned to stay in a large discrete domain, realized as a Doob transform using the first eigenfunction. By coupling the confined walk to tilted random interlacements, the authors derive a first-order covering-time asymptotics $\mathfrak{C}(\Lambda_N)\sim g(0)\alpha_\Lambda^{-1} \log|\Lambda_N|$ and, under a strong regularity/level-set deformation assumption, establish Gumbel fluctuations with a Poisson point process describing late points on the boundary level set. A detailed toolbox is developed for the tilted RI setting, including capacity, Green function, and decoupling bounds, which then carries over to the confined walk via a coupling theorem that ties the confined-range to RI traces within large balls. The results extend the torus-covering theory to inhomogeneous, drifted domains, revealing a nontrivial log-log correction and a boundary-driven Poissonization of late points, with explicit formulas for the associated intensity measures. Special cases such as balls and 1D segments illustrate the geometric impact of the level-set structure on cover times and late-point distributions.
Abstract
We consider the simple random walk conditioned to stay forever in a finite domain $D_N \subset \mathbb{Z}^d, d \geq 3$ of typical size $N$. This confined walk is a random walk on the conductances given by the first eigenvector of the Laplacian on $D_N$. On inner sets of $D_N$, the trace of this confined walk can be approximated by tilted random interlacements, which is a useful tool to understand some properties of the walk. In this paper, we propose to study the cover time of inner subsets $Λ_N$ of $D_N$ as well as the so-called late points of these subsets. If $Λ_N$ contains enough late points, we obtain the asymptotic expansion of the covering time as $c_ΛN^d \big[ \log N - \log\log N + \mathcal{G} \big]$, with $\mathcal{G}$ a Gumbel random variable, as well as a Poisson repartition of these late points. The method we use is similar to Belius' work about the simple random walk on the torus, which displays the same asymptotics albeit without the $\log \log N$ term. In the more general setting of ``ball-like'' $Λ_N$, we simply get the first term of the asymptotic expansion.
