We consider random walk on a discrete torus E of side-length N, in sufficiently high dimension d. We investigate the percolative properties of the vacant set corresponding to the collection of sites which have not been visited by the walk up to time uN^d. We show that when u is chosen small, as N tends to infinity, there is with overwhelming probability a unique connected component in the vacant set which contains segments of length const log N. Moreover, this connected component occupies a non-degenerate fraction of the total number of sites N^d of E, and any point of E lies within distance an arbitrary fractional power of N from this component.
We consider one or more independent random walks on the $d\ge 3$ dimensional discrete torus. The walks start from vertices chosen independently and uniformly at random. We analyze the fluctuation behavior of the size of some random sets arising from the trajectories of the random walks at a time proportional to the size of the torus. Examples include vacant sets and the intersection of ranges. The proof relies on a refined analysis of tail estimates for hitting time and can be applied for other vertex-transitive graphs.
We study the simple random walk on the giant component of a supercritical Erdős-Rényi random graph on $n$ vertices, in particular the so-called vacant set at level $u$, the complement of the trajectory of the random walk run up to a time proportional to $u$ and $n$. We show that the component structure of the vacant set exhibits a phase transition at a critical parameter $u_{\star}$: For $u<u_{\star}$ the vacant set has with high probability a unique giant component of order $n$ and all other components small, of order at most $\log^{7}n$, whereas for $u>u_{\star}$ it has with high probability…
This work continues the investigation, initiated in a recent work by Benjamini and Sznitman, of percolative properties of the set of points not visited by a random walk on the discrete torus (Z/NZ)^d up to time uN^d in high dimension d. If u>0 is chosen sufficiently small it has been shown that with overwhelming probability this vacant set contains a unique giant component containing segments of length c_0 log N for some constant c_0 > 0, and this component occupies a non-degenerate fraction of the total volume as N tends to infinity. Within the same setup, we investigate here the complement o…
We provide an explicit algorithm for sampling a uniform simple connected random graph with a given degree sequence. By products of this central result include: (i) continuum scaling limits of uniform simple connected graphs with given degree sequence and asymptotics for the number of simple connected graphs with given degree sequence under some regularity conditions, and (ii) scaling limits for the metric space structure of the maximal components in the critical regime of both the configuration model and the uniform simple random graph model with prescribed degree sequence under finite third m…
We consider the simple random walk on a random d-regular graph with n vertices, and investigate percolative properties of the set of vertices not visited by the walk until time un, where u > 0 is a fixed positive parameter. It was shown in [arXiv:1012.5117] that this so-called vacant set exhibits a phase transition at u = u*: there is a giant component if u < u* and only small components when u > u*. In this paper we show the existence of a critical window of size n^(-1/3) around u*. In this window the size of the largest cluster is of order n^(2/3).
We study the trajectory of a simple random walk on a d-regular graph with d>2 and locally tree-like structure as the number n of vertices grows. Examples of such graphs include random d-regular graphs and large girth expanders. For these graphs, we investigate percolative properties of the set of vertices not visited by the walk until time un, where u>0 is a fixed positive parameter. We show that this so-called vacant set exhibits a phase transition in u in the following sense: there exists an explicitly computable threshold u* such that, with high probability as n grows, if u<u*, then the lar…
We introduce a model of random interlacements made of a countable collection of doubly infinite paths on Z^d, d bigger or equal to 3. A non-negative parameter u measures how many trajectories enter the picture. This model describes in the large N limit the microscopic structure in the bulk, which arises when considering the disconnection time of a discrete cylinder with base a d-1-dimensional discrete torus of side-length N, or the set of points visited by simple random walk on the d-dimensional discrete torus of side-length N by times of order uN^d. We study the percolative properties of the …
It has been recently understood (arXiv:1212.2885, arXiv:1310.4764, arXiv:1410.0605) that for a general class of percolation models on $\mathbb{Z}^d$ satisfying suitable decoupling inequalities, which includes i.a.\ Bernoulli percolation, random interlacements and level sets of the Gaussian free field, large scale geometry of the unique infinite cluster in strongly percolative regime is qualitatively the same; in particular, the random walk on the infinite cluster satisfies the quenched invariance principle, Gaussian heat-kernel bounds and local CLT. In this paper we consider the random walk lo…
We consider a simple random walk on a discrete torus (Z/NZ)^d with dimension d at least 3 and large side length N. For a fixed constant u > 0, we study the percolative properties of the vacant set, consisting of the set of vertices not visited by the random walk in its first [uN^d] steps. We prove the existence of two distinct phases of the vacant set in the following sense: if u > 0 is chosen large enough, all components of the vacant set contain no more than a power of log(N) vertices with high probability as N tends to infinity. On the other hand, for small u > 0, there exists a macroscopic…
For the model of two-dimensional random interlacements in the critical regime (i.e., $α=1$), we prove that the vacant set is a.s.\ infinite, thus solving an open problem from arXiv:1502.03470. Also, we prove that the entrance measure of simple random walk on annular domains has certain regularity properties; this result is useful when dealing with soft local times for excursion processes.
Consider a one-dimensional shift-invariant attractive spin-flip system in equilibrium, constituting a dynamic random environment, together with a nearest-neighbor random walk that on occupied sites has a local drift to the right but on vacant sites has a local drift to the left. In previous work we proved a law of large numbers for dynamic random environments satisfying a space-time mixing property called cone-mixing. If an attractive spin-flip system has a finite average coupling time at the origin for two copies starting from the all-occupied and the all-vacant configuration, respectively, t…
The model of random interlacements is a one-parameter family $\mathcal I^u,$ $u \ge 0,$ of random subsets of $\mathbb{Z}^d,$ which locally describes the trace of simple random walk on a $d$-dimensional torus run up to time $u$ times its volume. Its complement, the so-called vacant set $\mathcal V^u$, has been shown to undergo a non-trivial percolation phase-transition in $u;$ i.e., there exists $u_*(d) \in (0, \infty)$ such that for $u \in [0, u_*(d))$ the vacant set $\mathcal V^u$ contains a unique infinite connected component $\mathcal V_\infty^u,$ while for $u > u_*(d)$ it consists of finit…
We base ourselves on the construction of the two-dimensional random interlacements [12] to define the one-dimensional version of the process. For this constructions we consider simple random walks conditioned on never hitting the origin, which makes them transient. We also compare this process to the conditional random walk on the ring graph. Our results are the convergence of the vacant set on the ring graph to the vacant set of one-dimensional random interlacements, a central limit theorem for the interlacements' local time for sites far from the origin and the convergence in law of the loca…
We prove that the scaling limit of the weakly self-avoiding walk on a $d$-dimensional discrete torus is Brownian motion on the continuum torus if the length of the rescaled walk is $o(V^{1/2})$ where $V$ is the volume (number of points) of the torus and if $d>4$. We also prove that the diffusion constant of the resulting torus Brownian motion is the same as the diffusion constant of the scaling limit of the usual weakly self-avoiding walk on $\mathbb{Z}^d$. This provides further manifestation of the fact that the weakly self-avoiding walk model on the torus does not feel that it is on the toru…
Sharp estimates for the length of loop erased random walk between two vertices on the [n]^d -torus, d > 4, are established. The mean length is order n^{d/2} . In dimension 4 we have only an upper bound.
For $d\ge 3$ we construct a new coupling of the trace left by a random walk on a large $d$-dimensional discrete torus with the random interlacements on $\mathbb Z^d$. This coupling has the advantage of working up to macroscopic subsets of the torus. As an application, we show a sharp phase transition for the diameter of the component of the vacant set on the torus containing a given point. The threshold where this phase transition takes place coincides with the critical value $u_*(d)$ of random interlacements on $\mathbb Z^d$. Our main tool is a variant of the soft-local time coupling techniqu…
We use the lace expansion to study the long-distance decay of the two-point function of weakly self-avoiding walk on the integer lattice $\mathbb{Z}^d$ in dimensions $d>4$, in the vicinity of the critical point, and prove an upper bound $|x|^{-(d-2)}\exp[-c|x|/ξ]$, where the correlation length $ξ$ has a square root divergence at the critical point. As an application, we prove that the two-point function for weakly self-avoiding walk on a discrete torus in dimensions $d>4$ has a "plateau." We also discuss the significance and consequences of the plateau for the analysis of critical behaviour on…
In this paper, following the recent paper on Walk/Zeta Correspondence by the first author and his coworkers, we compute the zeta function for the three- and four-state quantum walk and correlated random walk, and the multi-state random walk on the one-dimensional torus by using the Fourier analysis. We deal with also the four-state quantum walk and correlated random walk on the two-dimensional torus. In addition, we introduce a new class of models determined by the generalized Grover matrix bridging the gap between the Grover matrix and the positive-support of the Grover matrix. Finally, we gi…
We consider a one-dimensional simple symmetric exclusion process in equilibrium, constituting a dynamic random environment for a nearest-neighbor random walk that on occupied/vacant sites has two different local drifts to the right. We construct a renewal structure from which a LLN, a functional CLT and large deviation bounds for the random walk under the annealed measure follow. We further prove an Einstein relation under a suitable perturbation. A brief discussion on the topic of random walks in slowly mixing dynamic random environments is presented.
We explore some of the connections between the local picture left by the trace of simple random walk on a discrete cylinder with base a d-dimensional torus, d at least 2, of side-length N running for times of order N^{2d} and the model of random interlacements recently introduced in arXiv:0704.2560. In particular we show that when the base becomes large, in the neighborhood of a point of the cylinder with a vertical component of order N^d, the complement of the set of points visited by the walk up to times of order N^{2d}, is close in distribution to the law of the vacant set of random interla…
In this paper we consider a class of one-dimensional interacting particle systems in equilibrium, constituting a dynamic random environment, together with a nearest-neighbor random walk that on occupied/vacant sites has a local drift to the right/left. We adapt a regeneration-time argument originally developed by Comets and Zeitouni for static random environments to prove that, under a space-time mixing property for the dynamic random environment called cone-mixing, the random walk has an a.s. constant global speed. In addition, we show that if the dynamic random environment is exponentially m…
We prove quenched invariance principle for simple random walk on the unique infinite percolation cluster for a general class of percolation models on Z^d, d>=2, with long-range correlations introduced in arXiv:1212.2885, solving one of the open problems from there. This gives new results for random interlacements in dimension d>=3 at every level, as well as for the vacant set of random interlacements and the level sets of the Gaussian free field in the regime of the so-called local uniqueness (which is believed to coincide with the whole supercritical regime). An essential ingredient of our pr…
We consider random interlacements on Z^d, with d bigger or equal to 3, when their vacant set is in a strongly percolative regime. We derive an asymptotic upper bound on the probability that the random interlacements disconnect a box of large side-length from the boundary of a larger homothetic box. As a corollary, we obtain an asymptotic upper bound on a similar quantity, where the random interlacements are replaced by the simple random walk. It is plausible, but open at the moment, that these asymptotic upper bounds match the asymptotic lower bounds obtained by Xinyi Li and the author in arXi…
We consider $Z^d$, with d bigger or equal to three. We investigate the vacant set of random interlacements in the strongly percolative regime, the vacant set of the simple random walk, and the excursion set above a given level of the Gaussian free field in the strongly percolative regime. We derive asymptotic upper and lower exponential bounds for the large deviation probability that the adequately thickened component of the boundary of a large box centered at the origin in the respective vacant sets or excursion set leaves in the box a macroscopic volume in its complement. We also derive geom…
The main result of this paper is a decomposition theorem for a measure on the one-dimensional torus. Given a sufficiently large subset $S$ of the positive integers, an arbitrary measure on the torus is decomposed as the sum of two measures. The first one $μ_1$ has the property that the random walk with initial distribution $μ_1$ evolved by the action of $S$ equidistributes very fast. The second measure $μ_2$ in the decomposition is concentrated on very small neighborhoods of a small number of points.
We examine the sets of late points of a symmetric random walk on $Z^2$ projected onto the torus $Z^2_K$, culminating in a limit theorem for the cover time of the toral random walk. This extends the work done for the simple random walk in Dembo, et al. (2006) to a large class of random walks projected onto the lattice torus. The approach uses comparisons between planar and toral hitting times and distributions on annuli, and uses only random walk methods.
We give Harnack inequalities for the hitting distributions of a large family of symmetric random walks on $\Z^2$, and their projections onto the lattice torus $\Z^2_K$. This extends a framework for the simple random walk in Dembo, et al. (2006), and generalizes the results in Bass, Rosen (2007) to the toral projection.
In this paper we study a random walk in a one-dimensional dynamic random environment consisting of a collection of independent particles performing simple symmetric random walks in a Poisson equilibrium with density $ρ\in (0,\infty)$. At each step the random walk performs a nearest-neighbour jump, moving to the right with probability $p_{\circ}$ when it is on a vacant site and probability $p_{\bullet}$ when it is on an occupied site. Assuming that $p_\circ \in (0,1)$ and $p_\bullet \neq \tfrac12$, we show that the position of the random walk satisfies a strong law of large numbers, a functiona…
Let $ρ$ be a probability measure on $\mathrm{SL}\_d(\mathbb{Z})$ and consider the random walk defined by $ρ$ on the torus $\mathbb{T}^d = \mathbb{R}^d/\mathbb{Z}^d$. Bourgain, Furmann, Lindenstrauss and Mozes proved that under an assumption on the group generated by the support of $$ρ$$, the random walk starting at any irrational point equidistributes in the torus. In this article, we study the central limit theorem and the law of the iterated logarithm for this walk starting at some point having good diophantine properties.
Our paper gives bounds for the rate of convergence for a class of random walks on the d-dimensional torus generated by a set of n vectors in R^d/Z^d. We give bounds on the discrepancy distance from Haar measure; our lower bound holds for all such walks, and if the generators arise from the rows of a "badly approximable" matrix, then there is a corresponding upper bound. The bounds are sharp for walks on the circle.
We define the model of two-dimensional random interlacements using simple random walk trajectories conditioned on never hitting the origin, and then obtain some properties of this model. Also, for random walk on a large torus conditioned on not hitting the origin up to some time proportional to the mean cover time, we show that the law of the vacant set around the origin is close to that of random interlacements at the corresponding level. Thus, this new model provides a way to understand the structure of the set of late points of the covering process from a microscopic point of view.
We study the mixing time of a random walk on the torus, alternated with a Lebesgue measure preserving Bernoulli map. Without the Bernoulli map, the mixing time of the random walk alone is $O(1/ε^2)$, where $ε$ is the step size. Our main results show that for a class of Bernoulli maps, when the random walk is alternated with the Bernoulli map $φ$ the mixing time becomes $O(|\ln ε|)$. We also study the \emph{dissipation time} of this process, and obtain $O(|\ln ε|)$ upper and lower bounds with explicit constants.
We examine escape and entrance times, Green's functions, local times, and hitting distributions of discs and annuli of a symmetric random walk on $\Z^2$ projected onto the periodic lattice $\Z^2_K$. This extends a framework for the simple planar random walk in Dembo, et al. (2006) to the large class of planar random walks in Bass, Rosen (2007). The approach uses comparisons between $\Z^2$ and $\Z^2_K$ hitting times and distributions on annuli, and uses only random walk methods.
We investigate the relation between the local picture left by the trajectory of a simple random walk on the torus (Z/NZ)^d, d >= 3, until u N^d time steps, u > 0, and the model of random interlacements recently introduced by Sznitman. In particular, we show that for large N, the joint distribution of the local pictures in the neighborhoods of finitely many distant points left by the walk up to time u N^d converges to independent copies of the random interlacement at level u.
For $d \geq 3$ we obtain an approximation of the zero-average Gaussian free field on the discrete $d$-dimensional torus of large side length $N$ by the Gaussian free field on $\mathbb Z^d$, valid in boxes of roughly side length $N - N^δ$ with $δ\in (\frac12,1)$. As an implication, the level sets of the zero-average Gaussian free field on the torus can be approximated by the level sets of the Gaussian free field on $\mathbb Z^d$. This leads to a series of applications related to level-set percolation. We show that level sets of the zero-average Gaussian free field on the torus for levels $h > h…
Let a simple random walk run inside a torus of dimension three or higher for a number of steps which is a constant proportion of the volume. We examine geometric properties of the range, the random subgraph induced by the set of vertices visited by the walk. Distance and mixing bounds for the typical range are proven that are a $k$-iterated log factor from those on the full torus for arbitrary $k$. The proof uses hierarchical renormalization and techniques that can possibly be applied to other random processes in the Euclidean lattice. We use the same technique to bound the heat kernel of a ra…
Let x and y be points chosen uniformly at random from $\Z_n^4$, the four-dimensional discrete torus with side length n. We show that the length of the loop-erased random walk from x to y is of order $n^2 (\log n)^{1/6}$, resolving a conjecture of Benjamini and Kozma. We also show that the scaling limit of the uniform spanning tree on $\Z_n^4$ is the Brownian continuum random tree of Aldous. Our proofs use the techniques developed by Peres and Revelle, who studied the scaling limits of the uniform spanning tree on a large class of finite graphs that includes the d-dimensional discrete torus for…
Our previous work presented explicit formulas for the generalized zeta function and the generalized Ihara zeta function corresponding to the Grover walk and the positive-support version of the Grover walk on the regular graph via the Konno-Sato theorem, respectively. This paper extends these walks to a class of walks including random walks, correlated random walks, quantum walks, and open quantum random walks on the torus by the Fourier analysis.
Consider the subgraph of the discrete $d$-dimensional torus of size length $N$, $d\ge3$, induced by the range of the simple random walk on the torus run until the time $uN^d$. We prove that for all $d\ge 3$ and $u>0$, the mixing time for the random walk on this subgraph is of order $N^2$ with probability at least $1 - Ce^{-(\log N)^2}$.
For a general class of percolation models with long-range correlations on $\mathbb Z^d$, $d\geq 2$, introduced in arXiv:1212.2885, we establish regularity conditions of Barlow arXiv:math/0302004 that mesoscopic subballs of all large enough balls in the unique infinite percolation cluster have regular volume growth and satisfy a weak Poincaré inequality. As immediate corollaries, we deduce quenched heat kernel bounds, parabolic Harnack inequality, and finiteness of the dimension of harmonic functions with at most polynomial growth. Heat kernel bounds and the quenched invariance principle of arX…
Let $\mathbb{T}^d_N$, $d\ge 2$, be the discrete $d$-dimensional torus with $N^d$ points. Place a particle at each site of $\mathbb{T}^d_N$ and let them evolve as independent, nearest-neighbor, symmetric, continuous-time random walks. Each time two particles meet, they coalesce into one. Denote by $C_N$ the first time the set of particles is reduced to a singleton. Cox [6] proved the existence of a time-scale $θ_N$ for which $C_N/θ_N$ converges to the sum of independent exponential random variables. Denote by $Z^N_t$ the total number of particles at time $t$. We prove that the sequence of Marko…
We consider non-backtracking random walk (NBW) in the nearest-neighbor setting on the Zd-lattice and on tori. We evaluate the eigensystem of the m X m-dimensional transition matrix of NBW where m denote the degree of the graph. We use its eigensystem to show a functional central limit theorem for NBW on Zd and to obtain estimates on the convergence towards the stationary distribution for NBW on the torus.
We introduce a model of branching interlacements for general critical offspring distributions. It consists of a countable collection of infinite tree-indexed random walk trajectories on $Z^d,d\geq5$. We show that this model turns out to be the local limit of the tree-indexed random walk in a discrete torus, conditioned on the size proportional to the volume of the torus. This generalizes the previous results of Angel, Ráth and the author, for the critical geometric offspring distribution. Our model also includes the model of random interlacements introduced by Sznitman as a degenerate case. To…
We provide an analysis of the expected meeting time of two independent random walks on a regular graph. For 1-D circle and 2-D torus graphs, we show that the expected meeting time can be expressed as the sum of the inverse of non-zero eigenvalues of a suitably defined Laplacian matrix. We also conjecture based on empirical evidence that this result holds more generally for simple random walks on arbitrary regular graphs. Further, we show that the expected meeting time for the 1-D circle of size $N$ is $Θ(N^2)$, and for a 2-D $N \times N$ torus it is $Θ(N^2 log N)$.
A small world is obtained from the $d$-dimensional torus of size 2L adding randomly chosen connections between sites, in a way such that each site has exactly one random neighbour in addition to its deterministic neighbours. We study the asymptotic behaviour of the meeting time $T_L$ of two random walks moving on this small world and compare it with the result on the torus. On the torus, in order to have convergence, we have to rescale $T_L$ by a factor $C_1L^2$ if $d=1$, by $C_2L^2\log L$ if $d=2$ and $C_dL^d$ if $d\ge3$. We prove that on the small world the rescaling factor is $C^\prime_dL^d…
This work proves that the fluctuations of the cover time of simple random walk in the discrete torus of dimension at least three with large side-length are governed by the Gumbel extreme value distribution. This result was conjectured for example in the book by Aldous & Fill. We also derive some corollaries which qualitatively describe "how" covering happens. In addition, we develop a new and stronger coupling of the model of random interlacements, introduced by Sznitman, and random walk in the torus. This coupling is used to prove the cover time result and is also of independent interest.
We study the mixing time of a random walker who moves inside a dynamical random cluster model on the d-dimensional torus of side-length n. In this model, edges switch at rate μbetween open and closed, following a Glauber dynamics for the random cluster model with parameters p,q. At the same time, the walker jumps at rate 1 as a simple random walk on the torus, but is only allowed to traverse open edges. We show that for small enough p the mixing time of the random walker is of order n^2/μ. In our proof we construct of a non-Markovian coupling through a multi-scale analysis of the environment, …
Following the recent work of Sznitman (arXiv:0805.4516), we investigate the microscopic picture induced by a random walk trajectory on a cylinder of the form G_N x Z, where G_N is a large finite connected weighted graph, and relate it to the model of random interlacements on infinite transient weighted graphs. Under suitable assumptions, the set of points not visited by the random walk until a time of order |G_N|^2 in a neighborhood of a point with Z-component of order |G_N| converges in distribution to the law of the vacant set of a random interlacement on a certain limit model describing the…
In this article we obtain uniform estimates on the absorption of Brownian motion by porous interfaces surrounding a compact set. An important ingredient is the construction of certain resonance sets, which are hard to avoid for Brownian motion starting in the compact set. As an application of our results, we substantially strengthen the results of arXiv:1412.3960, and obtain when $d \ge 3$, large deviation upper bounds on the probability that simple random walk in $Z^d$, or random interlacements in $Z^d$, when their vacant set is in a strongly percolative regime, disconnect the discrete blow-u…
