This paper is an appendix to the paper "Random walks on free products of cyclic groups" by J.Mairesse and F.Mathéus. It contains the details of the computations and the proofs of the results concerning the examples treated there.
Let $(Y_n)$ be a sequence of i.i.d. real valued random variables. Reflected random walk $(X_n)$ is defined recursively by $X_0=x \ge 0$, $X_{n+1} = |X_n - Y_{n+1}|$. In this note, we study recurrence of this process, extending a previous criterion. This is obtained by determining an invariant measure of the embedded process of reflections.
A cyclic random walk is a random walk whose transition probabilities/rates can be written as a superposition of the empirical measures of a family of finite cycles. This identifies a convex set of models. We discuss the problem of characterization of cyclic random walks in some special cases showing that it is related to several remarkable and classical results. In particular we introduce the notion of balanced measure and show that a translation invariant random walk on $\mathbb Z^d$ is cyclic if and only if its transition probability is balanced. The characterization of the extremal elements…
Let G be a free product of a finite family of finite groups, with the set of generators being formed by the union of the finite groups. We consider a transient nearest-neighbour random walk on G. We give a new proof of the fact that the harmonic measure is a special Markovian measure entirely determined by a finite set of polynomial equations. We show that in several simple cases of interest, the polynomial equations can be explicitely solved, to get closed form formulas for the drift. The examples considered are the modular group Z/2Z*Z/3Z, Z/3Z*Z/3Z, Z/kZ*Z/kZ, and the Hecke groups Z/2Z*Z/kZ…
We identify a relationship between a certain family of random walks on Euclidean lattices and difference matrices over cyclic groups. We then use the techniques of Fourier analysis to estimate the return probabilities of these random walks, which in turn yields the asymptotic number of difference matrices over cyclic groups as the number of columns increases.
We determine all positive harmonic functions for a large class of "semi-isotropic" random walks on the lamplighter group, i.e., the wreath product of the cyclic group of order q with the infinite cyclic group. This is possible via the geometric realization of a Cayley graph of that group as the Diestel-Leader graph DL(q,q). More generally, DL(q,r) is the horocyclic product of two homogeneous trees with respective degrees $q+1$ and $r+1$, and our result applies to all DL-graphs. This is based on a careful study of the minimal harmonic functions for semi-isotropic walks on trees.
We extend the peeling exploration introduced in arxiv:1506.01590 to the setting of Boltzmann planar maps coupled to a rigid $O(n)$ loop model. Its law is related to a class of discrete Markov processes obtained by confining random walks to the positive integers with a new type of boundary condition. As an application we give a rigorous justification of the phase diagram of the model presented in arXiv:1106.0153. This entails two results pertaining to the so-called fixed-point equation: the first asserts that any solution determines a well-defined model, while the second result, contributed by …
In a series of papers, G. Harmer and D. Abbott study the behavior of random walks associated with games introduced in 1997 by J. M. R. Parrondo. These games illustrate an apparent paradox that random and deterministic mixtures of losing games may produce winning games. In this paper, classical cyclic random walks on the additive group of integers modulo $m$, a given integer, are used in a straightforward way to derive the strong law limits of a general class of games that contains the Parrondo games. We then consider the question of when random mixtures of fair games related to these walks may…
We consider a cluster growth model on Z^d, called internal diffusion limited aggregation (internal DLA). In this model, random walks start at the origin, one at a time, and stop moving when reaching a site not occupied by previous walks. It is known that the asymptotic shape of the cluster is spherical. Also, when dimension is 2 or more, and when the cluster has volume $n^d$, it is known that fluctuations of the radius are at most of order $n^{1/3}$. We improve this estimate to $n^{1/(d+1)}$, in dimension 3 or more. In so doing, we introduce a closely related cluster growth model, that we call…
The rotor walk is a derandomized version of the random walk on a graph. On successive visits to any given vertex, the walker is routed to each of the neighboring vertices in some fixed cyclic order, rather than to a random sequence of neighbors. The concept generalizes naturally to Markov chains on a countable state space. Subject to general conditions, we prove that many natural quantities associated with the rotor walk (including normalized hitting frequencies, hitting times and occupation frequencies) concentrate around their expected values for the random walk. Furthermore, the concentrati…
We consider a cluster growth model on the d-dimensional lattice, called internal diffusion limited aggregation (internal DLA). In this model, random walks start at the origin, one at a time, and stop moving when reaching a site not occupied by previous walks. It is known that the asymptotic shape of the cluster is spherical. When dimension is 2 or more, we prove that fluctuations with respect to a sphere are at most a power of the logarithm of its radius in dimension d larger than or equal to 2. In so doing, we introduce a closely related cluster growth model, that we call the flashing process…
Let T be the homogeneous tree with degree and G a finitely generated group whose Cayley graph is T. The associated lamplighter group is the wreath product of the cyclic group of order r with G. For a large class of random walks on this group, we prove almost sure convergence to a natural geometric boundary. If the probability law governing the random walk has finite first moment, then the probability space formed by this geometric boundary together with the limit distribution of the random walk is proved to be maximal, that is, the Poisson boundary. We also prove that the Dirichlet problem at …
In a recent breakthrough, [Bshouty et al., 2005] obtained the first passive-learning algorithm for DNFs under the uniform distribution. They showed that DNFs are learnable in the Random Walk and Noise Sensitivity models. We extend their results in several directions. We first show that thresholds of parities, a natural class encompassing DNFs, cannot be learned efficiently in the Noise Sensitivity model using only statistical queries. In contrast, we show that a cyclic version of the Random Walk model allows to learn efficiently polynomially weighted thresholds of parities. We also extend the …
The rotor walk on a graph is a deterministic analogue of random walk. Each vertex is equipped with a rotor, which routes the walker to the neighbouring vertices in a fixed cyclic order on successive visits. We consider rotor walk on an infinite rooted tree, restarted from the root after each escape to infinity. We prove that the limiting proportion of escapes to infinity equals the escape probability for random walk, provided only finitely many rotors send the walker initially towards the root. For i.i.d. random initial rotor directions on a regular tree, the limiting proportion of escapes is …
We consider a random walk on the hyperoctahedral group $B_n$ generated by the signed permutations of the forms $(i,n)$ and $(-i,n)$ for $1\leq i\leq n$. We call this the flip-transpose top with random shuffle on $B_n$. We find the spectrum of the transition probability matrix for this shuffle. We prove that the mixing time for this shuffle is of order $n\log n$. We also show that this shuffle exhibits the cutoff phenomenon. In the appendix, we show that a similar random walk on the demihyperoctahedral group $D_n$ also has a cutoff at $\left(n-\frac{1}{2}\right)\log n$.
Benjamini, Lyons and Schramm [Random Walks and Discrete Potential Theory (1999) 56-84] considered properties of an infinite graph G, and the simple random walk on it, that are preserved by random perturbations. In this paper we solve several problems raised by those authors. The anchored expansion constant is a variant of the Cheeger constant; its positivity implies positive lower speed for the simple random walk, as shown by Virag [Geom. Funct. Anal. 10 (2000) 1588-1605]. We prove that if G has a positive anchored expansion constant, then so does every infinite cluster of independent percolat…
We give a solution to the inverse problem (given a function, find a corresponding group) for large classes of speed, entropy, isoperimetric profile, return probability and $L_p$-compression functions of finitely generated groups of exponential volume growth. For smaller classes, we give solutions among solvable groups. As corollaries, we prove a recent conjecture of Amir on joint evaluation of speed and entropy exponents and we obtain a new proof of the existence of uncountably many pairwise non-quasi-isometric solvable groups, originally due to Cornulier and Tessera. We also obtain a formula …
The range process $R_n$ of a random walk is the collection of sites visited by the random walk up to time $n$. In this work we deal with the question of whether the range process of a random walk or the range process of a cocycle over an ergodic transformation is almost surely a Fölner sequence and show the following results: % (a) The size of the inner boundary $|\partial R_n|$ of the range of recurrent aperiodic random walks on $\mathbb{Z}^2$ with finite variance and aperiodic random walks in $\mathbb{Z}$ in the standard domain of attraction of the Cauchy distribution, divided by $\frac{n}{\…
Let $μ$ be a borelian probability measure on $\mathbf{G}:=\mathrm{SL}_d(\mathbb{Z}) \ltimes \mathbb{T}^d$. Define, for $x\in \mathbb{T}^d$, a random walk starting at $x$ denoting for $n\in \mathbb{N}$, \[ \left\{\begin{array}{rcl} X_0 &=&x\\ X_{n+1} &=& a_{n+1} X_n + b_{n+1} \end{array}\right. \] where $((a_n,b_n))\in \mathbf{G}^\mathbb{N}$ is an iid sequence of law $μ$. Then, we denote by $\mathbb{P}_x$ the measure on $(\mathbb{T}^d)^\mathbb{N}$ that is the image of $μ^{\otimes \mathbb{N}}$ by the map $\left((g_n) \mapsto (x,g_1 x, g_2 g_1 x, \dots , g_n \dots g_1 x, \dots)\right)$ and for an…
Let $G$ be a finitely generated group and $X$ its Cayley graph with respect to a finite, symmetric generating set $S$. Furthermore, let $H$ be a finite group and $H \wr G$ the lamplighter group (wreath product) over $G$ with group of "lamps" $H$. We show that the spectral measure (Plancherel measure) of any symmetric "switch--walk--switch" random walk on $H \wr G$ coincides with the expected spectral measure (integrated density of states) of the random walk with absorbing boundary on the cluster of the group identity for Bernoulli site percolation on $X$ with parameter $p = 1/|H|$. The return …
We study a family of random permutation models on the Hamming graph $H(2,n)$ (i.e., the $2$-fold Cartesian product of complete graphs), containing the interchange process and the cycle-weighted interchange process with parameter $θ> 0$. This family contains the random walk representation of the quantum Heisenberg ferromagnet. We show that in these models the cycle structure of permutations undergoes a \textit{phase transition} -- when the number of transpositions defining the permutation is $\leq c n^2$, for small enough $c > 0$, all cycles are microscopic, while for more than $\geq C n^2$ tra…