Vacant Sets and Vacant Nets: Component Structures Induced by a Random Walk

Given a discrete random walk on a finite graph $G$, the vacant set and vacant net are, respectively, the sets of vertices and edges which remain unvisited by the walk at a given step $t$. Let $\Gamma(t)$ be the subgraph of $G$ induced by the vacant set of the walk at step $t$. Similarly, let $\widehat \Gamma(t)$ be the subgraph of $G$ induced by the edges of the vacant net. For random $r$-regular graphs $G_r$, it was previously established that for a simple random walk the graph $\Gamma(t)$ of the vacant set undergoes a phase transition in the sense of the phase transition on Erdos--Renyi graphs $G_{n,p}$. Thus, for $r \ge 3$ there is an explicit value $t^*=t^*(r)$ of the walk such that for $t\leq (1-\epsilon)t^*$, $\Gamma(t)$ has a unique giant component, plus components of size $O(\log n)$, whereas for $t\geq (1+\epsilon)t^*$ all the components of $\Gamma(t)$ are of size $O(\log n)$. In this paper we establish the threshold value $\widehat t$ for a phase transition in the graph $\widehat \Gamma(t)$ of t...