We prove an upper bound for the $\varepsilon$-mixing time of the symmetric exclusion process on any graph G, with any feasible number of particles. Our estimate is proportional to $\mathsf{T}_{\mathsf{RW}(G)}\ln(|V|/\varepsilon)$, where |V| is the number of vertices in G, and $\mathsf{T}_{\mathsf{RW}(G)}$ is the 1/4-mixing time of the corresponding single-particle random walk. This bound implies new results for symmetric exclusion on expanders, percolation clusters, the giant component of the Erdos-Renyi random graph and Poisson point processes in $\mathbb{R}^d$. Our technical tools include a variant of Morris's chameleon process.
Non-trivial linear bounds are obtained for the displacement of a random walk in a dynamic random environment given by a one-dimensional simple symmetric exclusion process in equilibrium. The proof uses an adaptation of multiscale renormalization methods of Kesten and Sidoravicius.
We prove a quenched functional central limit theorem for a one-dimensional random walk driven by a simple symmetric exclusion process. This model can be viewed as a special case of the random walk in a balanced random environment, for which the weak quenched limit is constructed as a function of the invariant measure of the environment viewed from the walk. We bypass the need to show the existence of this invariant measure. Instead, we find the limit of the quadratic variation of the walk and give an explicit formula for it.
We consider a one-dimensional continuous time random walk with transition rates depending on an underlying autonomous simple symmetric exclusion process starting out of equilibrium. This model represents an example of a random walk in a slowly non-uniform mixing dynamic random environment. Under a proper space-time rescaling in which the exclusion is speeded up compared to the random walk, we prove a hydrodynamic limit theorem for the exclusion as seen by this walk and we derive an ODE describing the macroscopic evolution of the walk. The main difficulty is the proof of a replacement lemma for…
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 establish an invariance principle for a one-dimensional random walk in a dynamical random environment given by a speed-change exclusion process. The jump probabilities of the walk depend on the configuration of the exclusion in a finite box around the walker. The environment starts from equilibrium. After a suitable space-time rescaling, the random walk converges to a sum of two independent processes, a Brownian motion and a Gaussian process with stationary increments.
We prove a strong law of large numbers and an annealed invariance principle for a random walk in a one-dimensional dynamic random environment evolving as the simple exclusion process with jump parameter $γ$. First, we establish that if the asymptotic velocity of the walker is non-zero in the limiting case "$γ= \infty$", where the environment gets fully refreshed between each step of the walker, then, for $γ$ large enough, the walker still has a non-zero asymptotic velocity in the same direction. Second, we establish that if the walker is transient in the limiting case $γ= 0$, then, for $γ$ sma…
We analyze the mixing behavior of the biased exclusion process on a path of length $n$ as the bias $β_n$ tends to $0$ as $n \to \infty$. We show that the sequence of chains has a pre-cutoff, and interpolates between the unbiased exclusion and the process with constant bias. As the bias increases, the mixing time undergoes two phase transitions: one when $β_n$ is of order $1/n$, and the other when $β_n$ is order $\log n/n$.
We consider the exclusion process on segments of the integers in a site-dependent random environment. We assume to be in the ballistic regime in which a single particle has positive linear speed. Our goal is to study the mixing time of the exclusion process when the number of particles is linear in the size of the segment. We investigate the order of the mixing time depending on the support of the environment distribution. In particular, we prove for nestling environments that the order of the mixing time is different than in the case of a single particle.
We introduce a natural extension of the exclusion process to hypergraphs and prove an upper bound for its mixing time. In particular we show the existence of a constant $C$ such that for any connected, regular hypergraph $G$ within some natural class, the $\varepsilon$-mixing time of the exclusion process on $G$ with any feasible number of particles can be upper-bounded by $CT_{\text{EX}(2,G)}\log(|V|/\varepsilon)$, where $|V|$ is the number of vertices in $G$ and $T_{\text{EX}(2,G)}$ is the 1/4-mixing time of the corresponding exclusion process with just two particles. Moreover we show this i…
We show that for any attractive Glauber-Exclusion process on the one-dimensional lattice of size $N$ with periodic boundary condition, if the corresponding hydrodynamic limit equation has a reaction term with a strictly convex potential, then the total-variation mixing time is of order $O(\log N)$. In particular, the result covers the full high-temperature regime in the original model introduced by De Masi, Ferrari and Lebowitz (1985).
We investigate the long-term behavior of a random walker evolving on top of the simple symmetric exclusion process (SSEP) at equilibrium, in dimension one. At each jump, the random walker is subject to a drift that depends on whether it is sitting on top of a particle or a hole, so that its asymptotic behavior is expected to depend on the density $ρ\in [0, 1]$ of the underlying SSEP. Our first result is a law of large numbers (LLN) for the random walker for all densities $ρ$ except for at most two values $ρ_-, ρ_+ \in [0, 1]$. The asymptotic speed we obtain in our LLN is a monotone function of…
We consider a finite range symmetric exclusion process on the integer lattice in any dimension. We interpret it as a non-elliptic time-dependent random conductance model by setting conductances equal to one over the edges with end points occupied by particles of the exclusion process and to zero elsewhere. We prove a law of large number and a central limit theorem for the random walk driven by such a dynamical field of conductances by using the Kipnis-Varhadan martingale approximation. Unlike the tagged particle in the exclusion process, which is in some sense similar to this model, this rando…
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}$.
We consider a system consisting of a planar random walk on a square lattice, submitted to stochastic elementary local deformations. Depending on the deformation transition rates, and specifically on a parameter $η$ which breaks the symmetry between the left and right orientation, the winding distribution of the walk is modified, and the system can be in three different phases: folded, stretched and glassy. An explicit mapping is found, leading to consider the system as a coupling of two exclusion processes. For all closed or periodic initial sample paths, a convenient scaling permits to show a…
We consider a stationary and ergodic random field {ω(b)} parameterized by the family of bonds b in Z^d, d>1. The random variable ω(b) is thought of as the conductance of bond b and it ranges in a finite interval [0,c_0]. Assuming that the set of bonds with positive conductance has a unique infinite cluster C, we prove homogenization results for the random walk among random conductances on C. As a byproduct, applying the general criterion of \cite{F} leading to the hydrodynamic limit of exclusion processes with bond-dependent transition rates, for almost all realizations of the environment we p…
We prove that every random walk in a uniformly elliptic random environment satisfying the cone mixing condition and a non-effective polynomial ballisticity condition with high enough degree has an asymptotic direction.
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 study a natural random walk over the upper triangular matrices, with entries in the field $\Z_2$, generated by steps which add row $i+1$ to row $i$. We show that the mixing time of the lazy random walk is $O(n^2)$ which is optimal up to constants. Our proof makes key use of the linear structure of the group and extends to walks on the upper triangular matrices over the fields $\Z_q$ for $q$ prime.
We consider random walks in strong-mixing random Gibbsian environments in $\mathbb{Z}^d, d\ge 2$. Based on regeneration arguments, we will first provide an alternative proof of Rassoul-Agha's conditional law of large numbers (CLLN) for mixing environment Rassoul-Agha (2005). Then, using coupling techniques, we show that there is at most one nonzero limiting velocity in high dimensions ($d\ge 5$).
We prove a law of large numbers for a class of multidimensional random walks in random environments where the environment satisfies appropriate mixing conditions, which hold when the environment is a weak mixing field in the sense of Dobrushin and Shlosman. Our result holds if the mixing rate balances moments of some random times depending on the path. It applies in the non-nestling case, but we also provide examples of nestling walks that satisfy our assumptions. The derivation is based on an adaptation, using coupling, of the regeneration argument of Sznitman-Zerner.
We construct a two-dimensional counterexample of a random walk in random environment (RWRE). The environment is stationary, mixing and perturbative, and the corresponding RWRE has non-trivial probability to wander off to the upper right. This is in contrast to the 0-1-law that holds for i.i.d.\ environments.
We study mixing times of the symmetric and asymmetric simple exclusion process on the segment where particles are allowed to enter and exit at the endpoints. We consider different regimes depending on the entering and exiting rates as well as on the rates in the bulk, and show that the process exhibits pre-cutoff and in some cases cutoff. Our main contribution is to study mixing times for the asymmetric simple exclusion process with open boundaries. We show that the order of the mixing time can be linear or exponential in the size of the segment depending on the choice of the boundary paramete…
A mixing Markov chain is proved to be realized as a random walk in a directed graph subject to a synchronizing road coloring. The result ensures existence of appropriate random mappings in Propp--Wilson's coupling from the past. The proof is based on the road coloring theorem. A necessary and sufficient condition for approximate preservation of entropies is also given.
We consider the reversible exclusion process with reservoirs on arbitrary networks. We characterize the spectral gap, mixing time, and mixing window of the process, in terms of certain simple statistics of the underlying network. Among other consequences, we establish a non-conservative analogue of Aldous's spectral gap conjecture, and we show that cutoff occurs if and only if the product condition is satisfied. We illustrate this by providing explicit cutoffs on discrete lattices of arbitrary dimensions and boundary conditions, which substantially generalize recent one-dimensional results. We…
We analyse a random walk on the ring of integers mod $n$, which at each time point can make an additive `step' or a multiplicative `jump'. When the probability of making a jump tends to zero as an appropriate power of $n$ we prove the existence of a total variation pre-cutoff for this walk. In addition, we show that the process obtained by subsampling our walk at jump times exhibits a true cutoff, with mixing time dependent on whether the step distribution has zero mean.
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.
In this paper we show that a variety of interacting particle systems with multiple species can be viewed as random walks on Hecke algebras. This class of systems includes the asymmetric simple exclusion process (ASEP), M-exclusion TASEP, ASEP(q,j), stochastic vertex models, and many others. As an application, we study the asymptotic behavior of second class particles in some of these systems.
We prove results for random walks in dynamic random environments which do not require the strong uniform mixing assumptions present in the literature. We focus on the "environment seen from the walker"-process and in particular its invariant law. Under general conditions it exists and is mutually absolutely continuous to the environment law. With stronger assumptions we obtain for example uniform control on the density or a quenched CLT. The general conditions are made more explicit by looking at hidden Markov models or Markov chains as environment and by providing simple examples.
We derive asymptotics for the probability of the origin to be an extremal point of a random walk in R^n. We show that in order for the probability to be roughly 1/2, the number of steps of the random walk should be between e^{c n / log n}$ and e^{C n log n}. As a result, we attain a bound for the ?pi/2-covering time of a spherical brownian motion.
We find the total variation mixing time of the interchange process on the dumbbell graph (two complete graphs, $K_n$ and $K_m$, connected by a single edge), and show that this sequence of chains exhibits the cutoff phenomenon precisely when the smaller size $m$ goes to infinity. The mixing time undergoes a phase transition at $m\asymp \sqrt{n}$. We also state a conjecture on when exactly cutoff holds for the interchange process on general graphs. Our proofs use coupling methods, and they also give the mixing time of the simple exclusion process of $k$ labelled particles in the complete graph $…
We consider the biased card shuffling and the Asymmetric Simple Exclusion Process (ASEP) on the segment. We obtain the asymptotic of their mixing times: our result show that these two continuous-time Markov chains display cutoff. Our analysis combines several ingredients including: a study of the hydrodynamic profile for ASEP, the use of monotonic eigenfunctions, stochastic comparisons and concentration inequalities.
A simple way to sample a uniform triangulation of the sphere with a fixed number $n$ of vertices is a Monte-Carlo method: we start from an arbitrary triangulation and flip repeatedly a uniformly chosen edge. We give a lower bound in $n^{5/4}$ on the mixing time of this Markov chain.
We establish conditions on sequences of graphs which ensure that the mixing times of the random walks on the graphs in the sequence converge. The main assumption is that the graphs, associated measures and heat kernels converge in a suitable Gromov-Hausdorff sense. With this result we are able to establish the convergence of the mixing times on the largest component of the Erdos-Renyi random graph in the critical window, sharpening previous results for this random graph model. Our results also enable us to establish convergence in a number of other examples, such as finitely ramified fractal g…
We introduce a general class of random walks on the $N$-hypercube, study cut-off for the mixing time, and provide several types of representation for the transition probabilities. We observe that for a sub-class of these processes with long range (i.e. non-local) there exists a critical value of the range that allows an "almost-perfect" mixing in at most three steps. In other words, the total variation distance between the three steps transition and the stationary distribution decreases geometrically in $N$, which is the dimension of the hypercube. In some cases, the walk mixes almost-perfectl…
In this paper we study random walks on dynamical random environments in $1 + 1$ dimensions. Assuming that the environment is invariant under space-time shifts and fulfills a mild mixing hypothesis, we establish a law of large numbers and a concentration inequality around the asymptotic speed. The mixing hypothesis imposes a polynomial decay rate of covariances on the environment with sufficiently high exponent but does not impose uniform mixing. Examples of environments for which our methods apply include the contact process and Markovian environments with a positive spectral gap, such as the …
We study the behavior of random walk on dynamical percolation. In this model, the edges of a graph G are either open or closed and refresh their status at rate μ while at the same time a random walker moves on G at rate 1 but only along edges which are open. On the d-dimensional torus with side length n, we prove that in the subcritical regime, the mixing times for both the full system and the random walker are n^2/μ up to constants. We also obtain results concerning mean squared displacement and hitting times. Finally, we show that the usual recurrence transience dichotomy for the lattice Z^d…
Oliveira conjectured that the order of the mixing time of the exclusion process with $k$-particles on an arbitrary $n$-vertex graph is at most that of the mixing-time of $k$ independent particles. We verify this up to a constant factor for $d$-regular graphs when each edge rings at rate $1/d$ in various cases: (1) when $d = Ω( \log_{n/k} n)$, (2) when $\mathrm{gap}:=$ the spectral-gap of a single walk is $ O ( 1/\log^4 n) $ and $k \ge n^{Ω(1)}$, (3) when $k \asymp n^{a}$ for some constant $0<a<1$. In these cases our analysis yields a probabilistic proof of a weaker version of Aldous' famous sp…
This paper focuses on the problem of modeling for small world effect on complex networks. Let's consider the supercritical Poisson continuous percolation on $d$-dimensional torus $T^d_n$ with volume $n^d$. By adding "long edges (short cuts)" randomly to the largest percolation cluster, we obtain a random graph $\mathscr G_n$. In the present paper, we first prove that the diameter of $\mathscr G_n$ grows at most polynomially fast in $\ln n$ and we call it the Poisson Geometry Small World. Secondly, we prove that the random walk on $\mathscr G_n$ possesses the rapid mixing property, namely, the …
We consider continuous-time random walks on a random locally finite subset of $\mathbb{R}^d$ with random symmetric jump probability rates. The jump range can be unbounded. We assume some second--moment conditions and that the above randomness is left invariant by the action of the group $\mathbb{G}=\mathbb{R}^d$ or $\mathbb{G}=\mathbb{Z}^d$. We then add a site-exclusion interaction, thus making the particle system a simple exclusion process. We show that, for almost all environments, under diffusive space-time rescaling the system exhibits a hydrodynamic limit in path space. The hydrodynamic e…
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.
Motivated by kinetically constrained interacting particle systems (KCM), we consider a reversible coalescing and branching simple exclusion process on a general finite graph $G=(V,E)$ dual to the biased voter model on $G$. Our main goal are tight bounds on its logarithmic Sobolev constant and relaxation time, with particular focus on the delicate slightly supercritical regime in which the equilibrium density of particles tends to zero as $|V|\rightarrow \infty$. Our results allow us to recover very directly and improve to $\ell^p$-mixing, $p\ge 2$, and to more general graphs, the mixing time r…
We consider a random walk (RW) driven by a simple symmetric exclusion process (SSE). Rescaling the RW and the SSE in such a way that a joint hydrodynamic limit theorem holds we prove a joint path large deviation principle. The corresponding large deviation rate function can be split into two components, the rate function of the SSE and the one of the RW given the path of the SSE. Such components have different structures (Gaussian and Poissoinian, respectively) and to overcome this difficulty we make use of the theory of Orlicz spaces. In particular, the component of the rate function correspo…
In this paper, we investigate the mixing time of the adjacent transposition shuffle for a deck of $N$ cards. We prove that around time $N^2\log N/(2π^2)$, the total variation distance to equilibrium of the deck distribution drops abruptly from $1$ to $0$, and that the separation distance has a similar behavior but with a transition occurring at time $(N^2\log N)/π^2$. This solves a conjecture formulated by David Wilson. We present also similar results for the exclusion process on a segment of length $N$ with $k$ particles.
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 point of view of the particle is an approach that has proven very powerful in the study of many models of random motions in random media. We provide a new use of this approach to prove the law of large numbers in the case of one or higher-dimensional, finite range, transient random walks in mixing random environments. One of the advantages of this method over what has been used so far is that it is not restricted to i.i.d. environments.
Given a finite graph G, a vertex of the lamplighter graph consists of a zero-one labeling of the vertices of G, and a marked vertex of G. For transitive graphs G, we show that, up to constants, the relaxation time for simple random walk in corresponding lamplighter graph is the maximal hitting time for simple random walk in G, while the mixing time in total variation on the lamplighter graph is the expected cover time on G. The mixing time in the uniform metric on the lamplighter graph admits a sharp threshold, and equals |G| multiplied by the relaxation time on G, up to a factor of log |G|. F…
