The frog model is a branching random walk on a graph in which particles branch only at unvisited sites. Consider an initial particle density of $μ$ on the full $d$-ary tree of height $n$. If $μ= Ω( d^2)$, all of the vertices are visited in time $Θ(n\log n)$ with high probability. Conversely, if $μ= O(d)$ the cover time is $\exp(Θ(\sqrt n))$ with high probability.
We consider a random interacting particle system, known as the frog model, on infinite Galton-Watson trees allowing offspring zero and one. The system starts with one awake particle (frog) at the root of the tree and a random number of sleeping particles at the other vertices. Awake frogs move according to simple random walk on the tree and as soon as they encounter sleeping frogs, those will wake up and move independently according to simple random walk. The frog model is called transient, if there are almost surely only finitely many particles returning to the root. In this paper we prove a …
The frog model on the rooted d-ary tree changes from transient to recurrent as the number of frogs per site is increased. We prove that the location of this transition is on the same order as the degree of the tree.
We provide a uniform upper bound on the minimal drift so that the one-per-site frog model on a $d$-ary tree is recurrent. To do this, we introduce a subprocess that couples across trees with different degrees. Finding couplings for frog models on nested sequences of graphs is known to be difficult. The upper bound comes from combining the coupling with a new, simpler proof that the frog model on a binary tree is recurrent when the drift is sufficiently strong. Additionally, we describe a coupling between frog models on trees for which the degree of the smaller tree divides that of the larger o…
We study the recurrence of one-per-site frog model $\text{FM}(d, p)$ on a $d$-ary tree with drift parameter $p\in [0,1]$, which determines the bias of frogs' random walks. We are interested in the minimal drift $p_{d}$ so that the frog model is recurrent. Using a coupling argument together with a generating function technique, we prove that for all $d \ge 2$, $p_{d}\le 1/3$, which is the optimal universal upper bound.
This paper studies a class of growing systems of random walks on regular trees, known as \emph{frog models with geometric lifetime} in the literature. With the help of results from renewal theory, we derive new bounds for their critical parameters. Our approach also improve the bounds of the literature for the critical parameter of a percolation model on trees called \emph{cone percolation}
Consider a growing system of random walks on the 3,2-alternating tree, where generations of nodes alternate between having two and three children. Any time a particle lands on a node which has not been visited previously, a new particle is activated at that node, and begins its own random walk. The model described belongs to a class of problems that are collectively referred to as the frog model. Building on a recent proof of recurrence (meaning infinitely many frogs hit the root with probability one) on the regular binary tree, this paper establishes recurrence for the 3,2-alternating case.
The frog model is an infection process in which dormant particles begin moving and infecting others once they become infected. We show that on the rooted $d$-ary tree with particle density $Ω(d^2)$, the set of visited sites contains a linearly expanding ball and the number of visits to the root grows linearly with high probability.
We examine an interacting particle system on trees commonly referred to as the frog model. For its initial state, it begins with a single active particle at the root and i.i.d. $\mathrm{Poiss}(λ)$ many inactive particles at each non-root vertex. Active particles perform discrete time simple random walk and in the process activate any inactive particles they encounter. We show that for $\textit{every}$ non-amenable tree with bounded degree there exists a phase transition from transience to recurrence (with a non-trivial intermediate phase sometimes sandwiched in between) as $λ$ varies.
We consider the frog model with geometric lifetime (parameter $1-p$) on homogeneous trees of dimension $d$. In 2002, \cite{alves2002-2} proved that there exists a critical lifetime parameter $p_c\in(0,1)$ above which infinitely many frogs are activated with positive probability, and they gave lower and upper bounds for $p_c$. Since then, the literature on this model focussed on refinements of the upper bound. In the present paper we improve the bounds for $p_c$ \emph{on both sides}. We also provide a discussion comparing the bounds of the literature and their proofs. Our proofs are based on co…
We consider the interacting particle system on the homogeneous tree of degree $(d + 1)$, known as frog model. In this model, active particles perform independent random walks, awakening all sleeping particles they encounter, and dying after a random number of jumps, with geometric distribution. We prove an upper bound for the critical parameter of survival of the model, which improves the previously known results. This upper bound was conjectured in a paper by Lebensztayn et al. ($ J. Stat. Phys.$, 119(1-2), 331-345, 2005). We also give a closed formula for the upper bound.
Consider the following interacting particle system on the $d$-ary tree, known as the frog model: Initially, one particle is awake at the root and i.i.d. Poisson many particles are sleeping at every other vertex. Particles that are awake perform simple random walks, awakening any sleeping particles they encounter. We prove that there is a phase transition between transience and recurrence as the initial density of particles increases, and we give the order of the transition up to a logarithmic factor.
We study the frog model with death on the biregular tree $\mathbb{T}_{d_1,d_2}$. Initially, there is a random number of awake and sleeping particles located on the vertices of the tree. Each awake particle moves as a discrete-time independent simple random walk on $\mathbb{T}_{d_1,d_2}$ and has a probability of death $(1-p)$ before each step. When an awake particle visits a vertex which has not been visited previously, the sleeping particles placed there are awakened. We prove that this model undergoes a phase transition: for values of $p$ below a critical probability $p_c$, the system dies ou…
The frog model is a growing system of random walks where a particle is added whenever a new site is visited. A longstanding open question is how often the root is visited on the infinite $d$-ary tree. We prove the model undergoes a phase transition, finding it recurrent for $d=2$ and transient for $d\geq 5$. Simulations suggest strong recurrence for $d=2$, weak recurrence for $d=3$, and transience for $d\geq 4$. Additionally, we prove a 0-1 law for all $d$-ary trees, and we exhibit a graph on which a 0-1 law does not hold. To prove recurrence when $d=2$, we construct a recursive distributional…
Place an active particle at the root of a $d$-ary tree and a single dormant particle at each non-root site. In discrete time, active particles move towards the root with probability $p$ and, otherwise, away from the root to a uniformly sampled child vertex. When an active particle moves to a site containing a dormant particle, the dormant particle becomes active. The critical drift $p_d$ is the infimum over all $p$ for which infinitely many particles visit the root almost surely. Guo, Tang, and Wei proved that $\sup_{d\geq 3} p_d \leq 1/3$. We improve this bound to $5/17$ with a shorter argume…
We provide sufficient conditions for the validity of a dichotomy, i.e. zero-one law, between recurrence and transience of general frog models. In particular, the results cover frog models with i.i.d. numbers of frogs per site where the frog dynamics are given by quasi-transitive Markov chains or by random walks in a common random environment including super-critical percolation clusters on $\mathbb{Z}^d$. We also give a sufficient and almost sharp condition for recurrence of uniformly elliptic frog processes on $\mathbb{Z}^d$. Its proof uses the general zero-one law.
The frog model is a system of interacting random walks. Initially, there is one particle at each vertex of a connected graph $\mathcal{G}$. All particles are inactive at time zero, except for the one which is placed at the root of $\mathcal{G}$, which is active. At each instant of time, each active particle may die with probability $1-p$. Once an active particle survives, it jumps on one of its nearest vertices, chosen with uniform probability, performing a discrete time simple symmetric random walk (SRW) on $\mathcal{G}$. Up to the time it dies, it activates all inactive particles it hits alo…
We study a system of simple random walks on $\mathcal{T}_{d,n} = \mathcal{V}_{d,n}, \mathcal{E}_{d,n})$, the $d$-ary tree of depth $n$, known as the frog model. Initially there are Pois($λ$) particles at each site, independently, with one additional particle planted at some vertex $\mathbf{o}$. Initially all particles are inactive, except for the ones which are placed at $\mathbf{o}$. Active particles perform (independent) $ t \in \mathbb{N} \cup \{\infty \} $ steps of simple random walk on the tree. When an active particle hits an inactive particle, the latter becomes active. The model is oft…
Upper tail large deviation for the first passage time in the frog model on $Z^d$ with $d\geq 2$
Institute of Mathematics, Vietnam Academy of Science and Technology(越南科学技术院数学研究所);College of Science and Technology, Nihon University(日本大学理工学部);Department of Mathematics, Keio University(庆应义塾大学数学系)
In this paper, we study the time required for a λ-biased (λ>1) walk to visit all the vertices of a supercritical Galton-Watson tree up to generation n. Inspired by the extremal landscape approach in [Cortines, Louidor, Saglietti 2018] for the simple random walk on binary trees, we establish the scaling limit of the cover time in the biased setting.
Let $T_n$ denote the binary tree of depth $n$ augmented by an extra edge connected to its root. Let $C_n$ denote the cover time of $T_n$ by simple random walk. We prove that $\sqrt{ \mathcal{C}_{n} 2^{-(n+1) } } - m_n$ converges in distribution as $n\to \infty$, where $m_n$ is an explicit constant, and identify the limit.
We consider a continuous time random walk on the rooted binary tree of depth $n$ with all transition rates equal to one and study its cover time, namely the time until all vertices of the tree have been visited. We prove that, normalized by $2^{n+1} n$ and then centered by $(\log 2) n - \log n$, the cover time admits a weak limit as the depth of the tree tends to infinity. The limiting distribution is identified as that of a Gumbel random variable with rate one, shifted randomly by the logarithm of the sum of the limits of the derivative martingales associated with two negatively correlated di…
For the critical Galton--Watson process with geometric offspring distributions we provide sharp barrier estimates for barriers which are (small) perturbations of linear barriers. These are useful in analyzing the cover time of finite graphs in the critical regime by random walk, and the Brownian cover times of compact two dimensional manifolds. As an application of the barrier estimates, we prove that if $C_L$ denotes the cover time of the binary tree of depth $L$ by simple walk, then $\sqrt{C_L/2^{L+1}} -\sqrt{2\log 2} L+\log L/\sqrt{2\log 2}$ is tight. The latter improves results of Aldous (…
We compute the Green's function on the double cover of ${\mathbb Z}^2$, branched over a vertex or a face. We use this result to compute the local statistics of the "trunk" of the uniform spanning tree on the square lattice, i.e., the limiting probabilities of cylinder events conditional on the path connecting far away points passing through a specified edge. We also show how to compute the local statistics of large-scale triple points of the uniform spanning tree, where the trunk branches. The method reduces the problem to a dimer system with isolated monomers, and we compute the inverse Kaste…
On the cover time of Brownian motion on the Brownian continuum random tree
Department of Computer Science, New York University Abu Dhabi(阿布扎比纽约大学计算机系);Research Institute for Mathematical Sciences, Kyoto University, Japan(日本京都大学数学科学研究所);Department of Mathematics and Statistics, University of North Carolina at Charlotte(北卡罗来纳大学夏洛特分校数学与统计系);Modal’X, UMR CNRS 9023, UPL, Univ. Paris-Nanterre, F92000 Nanterre, France(法国楠泰尔巴黎西奈大学Modal’X实验室)
Let $T$ be the regular tree in which every vertex has exactly $d\ge 3$ neighbours. Run a branching random walk on $T$, in which at each time step every particle gives birth to a random number of children with mean $d$ and finite variance, and each of these children moves independently to a uniformly chosen neighbour of its parent. We show that, starting with one particle at some vertex $0$ and conditionally on survival of the process, the time it takes for every vertex within distance $r$ of $0$ to be hit by a particle of the branching random walk is almost surely $r + \frac{2}{\log(3/2)}\log\…