We consider random walks in random Dirichlet environment (RWDE) which is a special type of random walks in random environment where the exit probabilities at each site are i.i.d. Dirichlet random variables. On $\Z^d$, RWDE are parameterized by a $2d$-uplet of positive reals. We prove that for all values of the parameters, RWDE are transient in dimension $d\ge 3$. We also prove that the Green function has some finite moments and we characterize the finite moments. Our result is more general and applies for example to finitely generated symmetric transient Cayley graphs. In terms of reinforced random walks it implies that directed edge reinforced random walks are transient for $d\ge 3$.
We look at random walks in Dirichlet environment. It was known that in dimension $d\geq 3$, if the walk is sub-ballistic, the displacement of the walk is polynomial of order $κ$ for some explicit $κ$. We show that the walk, after renormalization, actually converges to a $κ$-stable completely asymmetric Levy Process.
We consider random walks in Dirichlet environment (RWDE) on $\Z ^d$, for $ d \geq 3 $, in the sub-ballistic case. We associate to any parameter $ (α_1, ..., α_{2d}) $ of the Dirichlet law a time-change to accelerate the walk. We prove that the continuous-time accelerated walk has an absolutely continuous invariant probability measure for the environment viewed from the particle. This allows to characterize directional transience for the initial RWDE. It solves as a corollary the problem of Kalikow's 0-1 law in the Dirichlet case in any dimension. Furthermore, we find the polynomial order of th…
This paper states a law of large numbers for a random walk in a random iid environment on ${\mathbb Z}^d$, where the environment follows some Dirichlet distribution. Moreover, we give explicit bounds for the asymptotic velocity of the process and also an asymptotic expansion of this velocity at low disorder.
The random walk in Dirichlet environment is a random walk in random environment where the transition probabilities are independent Dirichlet random variables. This random walk exhibits a property of statistical invariance by time-reversal which leads to several results. More precisely, a time-reversed random walk in Dirichlet environment (with null divergence) is also a random walk in random environment where the transition probabilities are independent Dirichlet random variables with different parameters. We show that on all graphs that satisfy a few weak assumptions, a random walk in random …
We consider random walks in a random environment that is given by i.i.d. Dirichlet distributions at each vertex of Z^d or, equivalently, oriented edge reinforced random walks on Z^d. The parameters of the distribution are a 2d-uplet of positive real numbers indexed by the unit vectors of Z^d. We prove that, as soon as these weights are nonsymmetric, the random walk in this random environment is transient in a direction with positive probability. In dimension 2, this result can be strenghened to an almost sure directional transience thanks to the 0-1 law from [ZM01]. Our proof relies on the pro…
We consider random walks in Dirichlet environment, introduced by Enriquez and Sabot in 2006. As this distribution on environments is not uniformly elliptic, the annealed integrability of exit times out of a given finite subset is a non-trivial property. We provide here an explicit equivalent condition for this integrability to happen, on general directed graphs. Such integrability problems arise for instance from the definition of Kalikow auxiliary random walk. Using our condition, we prove a refined version of the ballisticity criterion given by Enriquez and Sabot.
In this paper we generalize the result of directional transience from [SabotTournier10]. This enables us, by means of [Simenhaus07], [ZernerMerkl01] and [Bouchet12] to conclude that, on Z^d (for any dimension d), random walks in i.i.d. Dirichlet environment, or equivalently oriented-edge reinforced random walks, have almost-surely an asymptotic direction equal to the direction of the initial drift, unless this drift is zero. In addition, we identify the exact value or distribution of certain probabilities, answering and generalizing a conjecture of [SaTo10].
We characterise the class of distributions of random stochastic matrices $X$ with the property that the products $X(n)X(n-1) ... X(1)$ of i.i.d. copies $X(k)$ of $X$ converge a.s. as $n \rightarrow \infty$ and the limit is Dirichlet distributed. This extends a result by Chamayou and Letac (1994) and is illustrated by several examples that are of interest in applications.
A zero-one law of Engelbert--Schmidt type is proven for the norm process of a transient random walk. An invariance principle for random walk local times and a limit version of Jeulin's lemma play key roles.
We determine, to within O(1), the expected minimal position at level n in certain branching random walks. The walks under consideration have displacement vector (v_1,v_2,...), where each v_j is the sum of j independent Exponential(1) random variables and the different v_i need not be independent. In particular, our analysis applies to the Poisson-Dirichlet branching random walk and to the Poisson-weighted infinite tree. As a corollary, we also determine the expected height of a random recursive tree to within O(1).
We analyze a class of continuous time random walks in $\mathbb R^d,d\geq 2,$ with uniformly distributed directions. The steps performed by these processes are distributed according to a generalized Dirichlet law. Given the number of changes of orientation, we provide the analytic form of the probability density function of the position $\{\underline{\bf X}_d(t),t>0\}$ reached, at time $t>0$, by the random motion. In particular, we analyze the case of random walks with two steps. In general, it is an hard task to obtain the explicit probability distributions for the process $\{\underline{\bf X}…
We find formulas for the macroscopic Minkowski and Hausdorff dimensions of the range of an arbitrary transient walk in Z^d. This endeavor solves a problem of Barlow and Taylor (1991).
Random Walks in Dirichlet Environment (RWDE) correspond to Random Walks in Random Environment (RWRE) on $\Bbb{Z}^d$ where the transition probabilities are i.i.d. at each site with a Dirichlet distribution. Hence, the model is parametrized by a family of positive weights $(α_i)_{i=1, \ldots, 2d}$, one for each direction of $\Bbb{Z}^d$. In this case, the annealed law is that of a reinforced random walk, with linear reinforcement on directed edges. RWDE have a remarkable property of statistical invariance by time reversal from which can be inferred several properties that are still inaccessible f…
We examine a class of random walks in random environments on $\mathbb{Z}$ with bounded jumps, a generalization of the classic one-dimensional model. The environments we study have i.i.d. transition probability vectors drawn from Dirichlet distributions. For this model, we characterize recurrence and transience, and in the transient case we characterize ballisticity. For ballisticity, we give two parameters, $κ_0$ and $κ_1$. The parameter $κ_0$ governs finite trapping effects, and $κ_1$ governs repeated traversals of arbitrarily large regions of the graph. We show that the walk is right-transie…
We consider a transient random walk on $Z^d$ which is asymptotically stable, without centering, in a sense which allows different norming for each component. The paper is devoted to the asymptotics of the probability of the first return to the origin of such a random walk at time $n$.
We prove strong theorems for the local time at infinity of a nearest neighbor transient random walk. First, laws of the iterated logarithm are given for the large values of the local time. Then we investigate the length of intervals over which the walk runs through (always from left to right) without ever returning.
We consider transient nearest neighbor random walks on the positive part of the real line. We give criteria for the finiteness of the number of cutpoints and strong cutpoints. Examples and open problems are presented.
An infinite graph G has the property that a random walk in random environment on G defined by i.i.d. resistances with any common distribution is almost surely transient, if and only if for some p<1, simple random walk is transient on a percolation cluster of G under bond percolation with parameter p.
There is a condition (T'), such that it is the necessary condition that a random walk in random environment is ballistic. Under this condition, we show the law of the iterated logarithm for a random walk in random environment.
An intrinsic branching structure within the transient random walk on a strip in a random environment is revealed. As applications, which enables us to express the hitting time explicitly, and specifies the density of the absolutely continuous invariant measure for the "environments viewed from the particle".
Consider a transient near-critical (1,2) random walk on the positive half line. We give a criteria for the finiteness of the number of the skipped points (the points never visited) by the random walk. This result generalizes (partially) the criteria for the finiteness of the number of cutpoingts of the nearest neighbor random walk on the line by Csáki, Földers, Révész [J Theor Probab (2010) 23: 624-638].
We prove strong invariance principle between a transient Bessel process and a certain nearest neighbor (NN) random walk that is constructed from the former by using stopping times. It is also shown that their local times are close enough to share the same strong limit theorems. It is shown furthermore, that if the difference between the distributions of two NN random walks are small, then the walks themselves can be constructed so that they are close enough. Finally, some consequences concerning strong limit theorems are discussed.
This article provides tools for the study of the Dirichlet random walk in $\mathbb{R}^d$. By this we mean the random variable $W=X_1Θ_1+\cdots+X_nΘ_n$ where $X=(X_1,\ldots,X_n) \sim \mathcal{D}(q_1,\ldots,q_n)$ is Dirichlet distributed and where $Θ_1,\ldots Θ_n$ are iid, uniformly distributed on the unit sphere of $\mathbb{R}^d$ and independent of $X.$ In particular we compute explicitely in a number of cases the distribution of $W.$ Some of our results appear already in the literature, in particular in the papers by Gérard Le Caër (2010, 2011). In these cases, our proofs are much simpler from…
We consider a left-transient random walk in a random environment on Z that will be disturbed by cookies inducing a drift to the right of strength 1. The number of cookies per site is i.i.d. and independent of the environment. Criteria for recurrence and transience of the random walk are obtained. For this purpose we use subcritical branching processes in random environments with immigration and formulate criteria for recurrence and transience for these processes.
We study the range of a planar random walk on a randomly oriented lattice, already known to be transient. We prove that the expectation of the range grows linearly, in both the quenched (for a.e. orientation) and annealed ("averaged") cases. We also express the rate of growth in terms of the quenched Green function and eventually prove a weak law of large numbers in the (non-Markovian) annealed case.
We study the boundary of the range of simple random walk on $\mathbb{Z}^d$ in the transient regime $d\ge 3$. We show that volumes of the range and its boundary differ mainly by a martingale. As a consequence, we obtain a bound on the variance of order $n\log n$ in dimension three. We also establish a central limit theorem in dimension four and larger.
We study downward deviations of the boundary of the range of a transient walk on the Euclidean lattice. We describe the optimal strategy adopted by the walk in order to shrink the boundary of its range. The technics we develop apply equally well to the range, and provide pathwise statements for the {\it Swiss cheese} picture of Bolthausen, van den Berg and den Hollander \cite{BBH}.
In this note we derive an exact formula for the Green's function of the random walk on different subspaces of the discrete lattice (orthants, including the half space, and the strip) without killing on the boundary in terms of the Green's function of the simple random walk on $\mathbb{Z}^d$, $d\ge 3$.
We consider a one-dimensional transient cookie random walk. It is known from a previous paper that a cookie random walk $(X_n)$ has positive or zero speed according to some positive parameter $α>1$ or $\le 1$. In this article, we give the exact rate of growth of $(X_n)$ in the zero speed regime, namely: for $0<α<1$, $X_n/n^{\frac{α+1}{2}}$ converges in law to a Mittag-Leffler distribution whereas for $α=1$, $X_n(\log n)/n$ converges in probability to some positive constant.
We determine the walk dimension of the Sierpiński gasket without using diffusion. We construct non-local regular Dirichlet forms on the Sierpiński gasket from regular Dirichlet forms on the Sierpiński graph whose suitable boundary is the Sierpiński gasket.
Kesten et al.( 1975) proved the stable law for the transient RWRE (here we refer it as the $κ$-transient RWRE). After that, some similar interesting properties have also been revealed for its continuous counterpart, the diffusion proces in a Brownian environment with drift $κ$. In the present paper we will investigate the connections between these two kind of models, i.e., we will construct a sequence of the $κ$-transient RWREs and prove it convergence to the diffusion proces in a Brownian environment with drift $κ$ by proper scaling. To this end, we need a counterpart convergence for the $κ$-…
An intrinsic multitype branching structure within the transient (1;R)-RWRE is revealed. The branching structure enables us to specify the density of the absolutely continuous invariant measure for the environments seen from the particle and reprove the LLN with an drift explicitly in terms of the environment, comparing with the results in Brémont (2002).
Given a simple transient random walk $(S_n)_{n\geq 0}$ in $\mathbf{Z}$ and a stationary sequence of real random variables $(ξ(s))_{s\in \mathbf{Z}}$, we investigate the extremes of the sequence $(ξ(S_n))_{n\geq 0}$. Under suitable conditions, we make explicit the extremal index and show that the point process of exceedances converges to a compound Poisson point process. We give two examples for which the cluster size distribution can be made explicit.
We study a class of nearest-neighbor discrete time integer random walks introduced by Zerner, the so called multi-excited random walks. The jump probabilities for such random walker have a drift to the right whose intensity depends on a random or non-random environment that also evolves in time according to the last visited site. A complete description of the recurrence and transience phases was given by Zerner under fairly general assumptions for the environment. We contribute in this paper with some results that allows us to point out if the random walker speed is strictly positive or not in…
We consider a transient random walk $(X_n)$ in random environment on a Galton--Watson tree. Under fairly general assumptions, we give a sharp and explicit criterion for the asymptotic speed to be positive. As a consequence, situations with zero speed are revealed to occur. In such cases, we prove that $X_n$ is of order of magnitude $n^Λ$, with $Λ\in (0,1)$. We also show that the linearly edge reinforced random walk on a regular tree always has a positive asymptotic speed, which improves a recent result of Collevecchio \cite{Col06}.
Using the generators, we establish a connection between the Sinai's random walk and the so-called Brox process. We first find the Dirichlet form of the Brox diffusion, and then prove that it is the limit of the Dirichlet form of the Sinai's random walk. This also gives a natural way to connect between the Brox diffusion and the Brownian motion.
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 consider a simple random walk (dimension one, nearest neighbour jumps) in a quenched random environment. The goal of this work is to provide sufficient conditions, stated in terms of properties of the environment, under which the Central Limit Theorem (CLT) holds for the position of the walk. Verifying these conditions leads to a complete solution of the problem in the case of independent identically distributed environments as well as in the case of uniformly ergodic (and thus also weakly mixing) environments.
We prove that the dimension drop phenomenon holds for the harmonic measure associated to a transient random walk in a random environment (as defined by R. Lyons and R. Pemantle in 1992 and generalized by G. Faraud in 2011) on an infinite Galton-Watson tree without leaves. We use regeneration times and ergodic theory techniques from the work of R. Lyons, R. Pemantle and Y. Peres in 1996 to give an explicit construction of the invariant measure for the forward environment seen by the particule at exit times which is absolutely continuous with respect to the joint law of the tree and the path of …
We consider transient random walks in random environment on $\z$ with zero asymptotic speed. A classical result of Kesten, Kozlov and Spitzer says that the hitting time of the level $n$ converges in law, after a proper normalization, towards a positive stable law, but they do not obtain a description of its parameter. A different proof of this result is presented, that leads to a complete characterization of this stable law. The case of Dirichlet environment turns out to be remarkably explicit.
We consider transient random walks on a strip in a random environment. The model was introduced by Bolthausen and Goldsheid [Comm. Math. Phys. 214 (2000) 429--447]. We derive a strong law of large numbers for the random walks in a general ergodic setup and obtain an annealed central limit theorem in the case of uniformly mixing environments. In addition, we prove that the law of the "environment viewed from the position of the walker" converges to a limiting distribution if the environment is an i.i.d. sequence.
We study the entropy of the distribution of the set R_n of vertices visited by a simple random walk on a graph with bounded degrees in its first n steps. It is shown that this quantity grows linearly in the expected size of R_n if the graph is uniformly transient, and sublinearly in the expected size if the graph is uniformly recurrent with subexponential volume growth. This in particular answers a question asked by Benjamini, Kozma, Yadin and Yehudayoff (arXiv:0903.3179v1).
We show that a sequence of birth-and-death chains, given by lazy random walks in a (transient) environment (RWRE) on [0; n], exhibits a cutoff in the ballistic regime but does not exhibit a cutoff in the (interior of) the subballistic regime. We investigate the growth of the mixing times for this model. As an important step in the proof, we derive bounds for the quenched expectation and the quenched variance of the hitting times of the RWRE, which are of independent interest.
We prove that if $(X_n)_{n\geq 0}$ is a random walk on a transient graph such that the Green's function decays at least polynomially along the random walk, then $(X_n)_{n\geq 0}$ has infinitely many cut times almost surely. This condition applies in particular to any graph of spectral dimension strictly larger than $2$. In fact, our proof applies to general (possibly nonreversible) Markov chains satisfying a similar decay condition for the Green's function that is sharp for birth-death chains. We deduce that a conjecture of Diaconis and Freedman (Ann. Probab. 1980) holds for the same class of …
We obtain non-Gaussian limit laws for one-dimensional random walk in a random environment assuming that the environment is a function of a stationary Markov process. This is an extension of the work of Kesten, M. Kozlov and Spitzer for random walks in i.i.d. environments. The basic assumption is that the underlying Markov chain is irreducible and either with a finite state space or with the transition kernel dominated above and below by a probability measure.
Let $\{ξ(k), k \in \mathbb{Z} \}$ be a stationary sequence of random variables with conditions of type $D(u_n)$ and $D'(u_n)$. Let $\{S_n, n \in \mathbb{N} \}$ be a transient random walk in the domain of attraction of a stable law. We provide a limit theorem for the maximum of the first $n$ terms of the sequence $\{ξ(S_n), n \in \mathbb{N} \}$ as $n$ goes to infinity. This paper extends a result due to Franke and Saigo who dealt with the case where the sequence $\{ξ(k), k \in \mathbb{Z} \}$ is i.i.d.
We examine diffusion-limited aggregation for a one-dimensional random walk with long jumps. We achieve upper and lower bounds on the growth rate of the aggregate as a function of the number of moments a single step of the walk has. In this paper we handle the case of transient walks.
Consider an arbitrary transient random walk on $\Z^d$ with $d\in\N$. Pick $α\in[0,\infty)$ and let $L_n(α)$ be the spatial sum of the $α$-th power of the $n$-step local times of the walk. Hence, $L_n(0)$ is the range, $L_n(1)=n+1$, and for integers $α$, $L_n(α)$ is the number of the $α$-fold self-intersections of the walk. We prove a strong law of large numbers for $L_n(α)$ as $n\to\infty$. Furthermore, we identify the asymptotic law of the local time in a random site uniformly distributed over the range. These results complement and contrast analogous results for recurrent walks in two dimens…
We prove a ballistic strong law of large numbers and an invariance principle for random walks in strong mixing environments, under condition $(T)$ of Sznitman (cf. \cite{Sz01}). This weakens by first time the Kalikow ballistic assumption in mixing and proves finite moments of arbitrary order for the approximate regeneration time of \cite{CZ02}. The main technical tool in the proof is the introduction of renormalization schemes, which had only been considered for i.i.d. environments.
Let $K$ be a self-similar set satisfying the open set condition. Following Kaimanovich's elegant idea, it has been proved that on the symbolic space $X$ of $K$ a natural augmented tree structure ${\mathfrak E}$ exists; it is hyperbolic, and the hyperbolic boundary $\partial_HX$ with the Gromov metric is Hölder equivalent to $K$. In this paper we consider certain reversible random walks with return ratio $0< λ<1$ on $(X, {\mathfrak E})$. We show that the Martin boundary ${\mathcal M}$ can be identified with $\partial_H X$ and $K$. With this setup and a device of Silverstein, we obtain precise e…
For an arbitrary transient random walk $(S_n)_{n\ge 0}$ in $\mathbb Z^d$, $d\ge 1$, we prove a strong law of large numbers for the spatial sum $\sum_{x\in\mathbb Z^d}f(l(n,x))$ of a function $f$ of the local times $l(n,x)=\sum_{i=0}^n\mathbb I\{S_i=x\}$. Particular cases are the number of (a) visited sites (first time considered by Dvoretzky and Erdős), which corresponds to a function $f(i)=\mathbb I\{i\ge 1\}$; (b) $α$-fold self-intersections of the random walk (studied by Becker and König), which corresponds to $f(i)=i^α$; (c) sites visited by the random walk exactly $j$ times (considered by…
In part I (math.PR/0406392) we proved for an arbitrary one-dimensional random walk with independent increments that the probability of crossing a level at a given time n is of the maximal order square root of n. In higher dimensions we call a random walk 'polygonally recurrent' (resp. transient) if a.s. infinitely many (resp. finitely many) of the straight lines between two consecutive sites hit a given bounded set. The above estimate implies that three-dimensional random walks with independent components are polygonally transient. Similarly a directionally reinforced random walk on Z^3 in the…