Recurrence for the frog model with drift on $\mathbb{Z}^d$

Christian Döbler,Lorenz Pfeifroth

DOI: https://doi.org/10.1214/ECP.v19-3740

2014-11-18

Abstract:In this paper we present a recurrence criterion for the frog model on $\mathbb{Z}^d$ with an i.i.d. initial configuration of sleeping frogs and such that the underlying random walk has a drift to the right.

Probability

What problem does this paper attempt to address?

The frog model with drift on R

Josh Rosenberg

DOI: https://doi.org/10.48550/arXiv.1605.08414

2017-02-07

Abstract:Consider a Poisson process on $\mathbb{R}$ with intensity $f$ where $0 \leq f(x)<\infty$ for ${x}\geq 0$ and ${f(x)}=0$ for $x<0$. The "points" of the process represent sleeping frogs. In addition, there is one active frog initially located at the origin. At time ${t}=0$ this frog begins performing Brownian motion with leftward drift $\lambda$ (i.e. its motion is a random process of the form ${B}_{t}-\lambda {t}$). Any time an active frog arrives at a point where a sleeping frog is residing, the sleeping frog becomes active and begins performing Brownian motion with leftward drift $\lambda$, independently of the motion of all of the other active frogs. This paper establishes sharp conditions on the intensity function $f$ that determine whether the model is transient (meaning the probability that infinitely many frogs return to the origin is 0), or non-transient (meaning this probability is greater than 0). A discrete model with $\text{Poiss}(f(n))$ sleeping frogs at positive integer points (and where activated frogs perform biased random walks on $\mathbb{Z}$) is also examined. In this case as well, we obtain a similar sharp condition on $f$ corresponding to transience of the model.

Probability
The nonhomogeneous frog model on $\mathbb{Z}$

Josh Rosenberg

DOI: https://doi.org/10.48550/arXiv.1707.07749

2017-07-25

Abstract:We examine a system of interacting random walks with leftward drift on $\mathbb{Z}$, which begins with a single active particle at the origin and some distribution of inactive particles on the positive integers. Inactive particles become activated when landed on by other particles, and all particles beginning at the same point posses equal leftward drift. Once activated, the trajectories of distinct particles are independent. This system belongs to a broader class of problems involving interacting random walks on rooted graphs, referred to collectively as the frog model. Additional conditions that we impose on our model include that the number of frogs (i.e. particles) at positive integer points is a sequence of independent random variables which is increasing in terms of the standard stochastic order, and that the sequence of leftward drifts associated with frogs originating at these points is decreasing. Our results include sharp conditions with respect to the sequence of random variables and the sequence of drifts, that determine whether the model is transient (meaning the probability infinitely many frogs return to the origin is $0$) or non-transient. Several, more specific, versions of the model described will also be considered, and a cleaner, more simplified set of sharp conditions will be established for each case.

Probability
On the minimal drift for recurrence in the frog model on $d$-ary trees

Chengkun Guo,Si Tang,Ningxi Wei

DOI: https://doi.org/10.48550/arXiv.2008.09226

2020-08-21

Abstract: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.

Probability
The frog model on trees with drift

Erin Beckman,Natalie Frank,Yufeng Jiang,Matthew Junge,Si Tang

DOI: https://doi.org/10.48550/arXiv.1808.03283

2018-08-10

Abstract: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 one. This implies that the critical drift has a limit as $d$ tends to infinity along certain subsequences.

Probability
The speed of frogs with drift on $\mathbb{Z}$

Thomas Höfelsauer,Felizitas Weidner

DOI: https://doi.org/10.48550/arXiv.1505.05006

2016-05-19

Abstract:In this article we consider the frog model with drift on $\mathbb{Z}$ and investigate the behaviour of the cloud of the frogs. In particular, we show that the speed of the minimum equals the speed of a single frog and prove some properties of the speed of the maximum. In addition, we show a limit theorem for the empirical distribution.

Probability
A zero-one law for recurrence and transience of frog processes

Elena Kosygina,Martin P.W. Zerner

DOI: https://doi.org/10.48550/arXiv.1508.01953

2016-02-22

Abstract: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.

Probability
Competing frogs on $\mathbb{Z}^d$

Maria Deijfen,Timo Hirscher,Fabio Lopes

DOI: https://doi.org/10.48550/arXiv.1902.01849

2019-02-06

Abstract:A two-type version of the frog model on $\mathbb{Z}^d$ is formulated, where active type $i$ particles move according to lazy random walks with probability $p_i$ of jumping in each time step ($i=1,2$). Each site is independently assigned a random number of particles. At time 0, the particles at the origin are activated and assigned type 1 and the particles at one other site are activated and assigned type 2, while all other particles are sleeping. When an active type $i$ particle moves to a new site, any sleeping particles there are activated and assigned type $i$, with an arbitrary tie-breaker deciding the type if the site is hit by particles of both types in the same time step. We show that the event $G_i$ that type $i$ activates infinitely many particles has positive probability for all $p_1,p_2\in(0,1]$ ($i=1,2$). Furthermore, if $p_1=p_2$, then the types can coexist in the sense that $\mathbb{P}(G_1\cap G_2)>0$. We also formulate several open problems. For instance, we conjecture that, when the initial number of particles per site has a heavy tail, the types can coexist also when $p_1\neq p_2$.

Probability
Upper tail large deviation for the one-dimensional frog model

Van Hao Can,Naoki Kubota,Shuta Nakajima

2023-12-05

Abstract:In this paper, we study the upper tail large deviation for the one-dimensional frog model. In this model, sleeping and active frogs are assigned to vertices on $\mathbb Z$. While sleeping frogs do not move, the active ones move as independent simple random walks and activate any sleeping frogs. The main object of interest in this model is the asymptotic behavior of the first passage time ${\rm T}(0,n)$, which is the time needed to activate the frog at the vertex $n$, assuming there is only one active frog at $0$ at the beginning. While the law of large numbers and central limit theorems have been well established, the intricacies of large deviations remain elusive. Using renewal theory, Bérard and Ramírez have pointed out a slowdown phenomenon where the probability that the first passage time ${\rm T}(0,n)$ is significantly larger than its expectation decays sub-exponentially and lies between $\exp(-n^{1/2+o(1)})$ and $\exp(-n^{1/3+o(1)})$. In this article, using a novel covering process approach, we confirm that $1/2$ is the correct exponent, i.e., the rate of upper large deviations is given by $n^{1/2}$. Moreover, we obtain an explicit rate function that is characterized by properties of Brownian motion and is strictly concave.

Probability,Mathematical Physics
On the range of the transient frog model on Z

Arka P. Ghosh,Steven Noren,Alexander Roitershtein

DOI: https://doi.org/10.48550/arXiv.1502.02738

2015-02-10

Abstract:In this paper we observe the frog model, an infinite system of interacting random walks, on Z with an asymmetric underlying random walk. Under the assumption of transience with a fixed frog distribution, we construct an explicit formula for the moments of the lower bound of the model's long-run range, as well as their asymptotic limits as the drift of the underlying random walk vanishes. We also provide conditions in which the lower bound can be scaled to converge in probability to the degenerate distribution at 1 as the drift vanishes.

Probability
Stochastic orders and the frog model

Tobias Johnson,Matthew Junge

DOI: https://doi.org/10.1214/17-AIHP830

2017-04-11

Abstract:The frog model starts with one active particle at the root of a graph and some number of dormant particles at all nonroot vertices. Active particles follow independent random paths, waking all inactive particles they encounter. We prove that certain frog model statistics are monotone in the initial configuration for two nonstandard stochastic dominance relations: the increasing concave and the probability generating function orders. This extends many canonical theorems. We connect recurrence for random initial configurations to recurrence for deterministic configurations. Also, the limiting shape of activated sites on the integer lattice respects both of these orders. Other implications include monotonicity results on transience of the frog model where the number of frogs per vertex decays away from the origin, on survival of the frog model with death, and on the time to visit a given vertex in any frog model.

Probability
Critical drift estimates for the frog model on trees

Emma Bailey,Matthew Junge,Jiaqi Liu

DOI: https://doi.org/10.48550/arXiv.2303.15517

2023-03-28

Abstract: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 argument that generalizes to give bounds on $\sup_{d \geq m} p_d$. We additionally prove that $\limsup p_d \leq 1/6$ by finding the limiting critical drift for a non-backtracking variant.

Probability
Infinite rate symbiotic branching on the real line: The tired frogs model

Achim Klenke,Leonid Mytnik

DOI: https://doi.org/10.1214/19-aihp986

2020-05-01

Abstract:Consider a population of infinitesimally small frogs on the real line. Initially the frogs on the positive half-line are dormant while those on the negative half-line are awake and move according to the heat flow. At the interface, the incoming wake frogs try to wake up the dormant frogs and succeed with a probability proportional to their amount among the total amount of involved frogs at the specific site. Otherwise, the incoming frogs also fall asleep. This frog model is a special case of the infinite rate symbiotic branching process on the real line with different motion speeds for the two types. We construct this frog model as the limit of approximating processes and compute the structure of jumps. We show that our frog model can be described by a stochastic partial differential equation on the real line with a jump type noise.
Lipschitz-type estimate for the frog model with Bernoulli initial configuration

Van Hao Can,Naoki Kubota,Shuta Nakajima

2024-03-29

Abstract:We consider the frog model with Bernoulli initial configuration, which is an interacting particle system on the multidimensional lattice consisting of two states of particles: active and sleeping. Active particles perform independent simple random walks. On the other hand, although sleeping particles do not move at first, they become active and can move around when touched by active particles. Initially, only the origin has one active particle, and the other sites have sleeping particles according to a Bernoulli distribution. Then, starting from the original active particle, active ones are gradually generated and propagate across the lattice, with time. It is of interest to know how the propagation of active particles behaves as the parameter of the Bernoulli distribution varies. In this paper, we treat the so-called time constant describing the speed of propagation, and prove that the absolute difference between the time constants for parameters $p,q \in (0,1]$ is bounded from above and below by multiples of $|p-q|$.

Probability
A new upper bound for the critical probability of the frog model on homogeneous trees

Elcio Lebensztayn,Jaime Utria

DOI: https://doi.org/10.1007/s10955-019-02294-4

2019-01-19

Abstract: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.

Mathematics
The frog model on Galton-Watson trees

Marcus Michelen,Josh Rosenberg

2024-01-23

Abstract:We consider an interacting particle system on trees known as the frog model: initially, a single active particle begins at the root and i.i.d.~$\mathrm{Poiss}(\lambda)$ many inactive particles are placed at each non-root vertex. Active particles perform discrete time simple random walk and activate the inactive particles they encounter. We show that for Galton-Watson trees with offspring distributions $Z$ satisfying $\mathbf{P}(Z \geq 2) = 1$ and $\mathbf{E}[Z^{4 + \epsilon}] < \infty$ for some $\epsilon > 0$, there is a critical value $\lambda_c\in(0,\infty)$ separating recurrent and transient regimes for almost surely every tree, thereby answering a question of Hoffman-Johnson-Junge. In addition, we also establish that this critical parameter depends on the entire offspring distribution, not just the maximum value of $Z$, answering another question of Hoffman-Johnson-Junge and showing that the frog model and contact process behave differently on Galton-Watson trees.

Probability
On transience of frogs on Galton-Watson trees

Sebastian Müller,Gundelinde Maria Wiegel

DOI: https://doi.org/10.48550/arXiv.2002.12008

2020-11-20

Abstract: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 zero-one law for transience of the frog model and show the existence of a transient phase for certain classes of Galton-Watson trees.

Probability
Range-Renewal Structure of Transient Simple Random Walk

Jian-Sheng Xie,Yuan-Yuan Xu

DOI: https://doi.org/10.1016/j.spl.2013.05.031

IF: 0.718

2013-01-01

Statistics & Probability Letters

Abstract:Dvoretzky and Erdös (1950) proved limn→+∞Rnn=γ almost surely for the simple symmetric random walk on Zd (d≥3) with Rn being the number of distinct cites visited in the time interval [0,n) and γ=γd being the escape rate. Following Derriennic’s approach, we prove further in this note that limn→+∞Rn,kRn=γ(1−γ)k−1,limn→+∞Rn,kRn,k+=γ,k=1,2,⋯ almost surely with Rn,k (resp. Rn,k+) being the number of distinct cites visited exactly (resp. at least) k times in the time interval [0,n). Such results are generalized to transient simple random walks on discrete groups.
Frogs, hats and common subsequences

Joseph Briggs,Alex Parker,Coy Schwieder,Chris Wells

2024-04-11

Abstract:Write $W^{(n)}$ to mean the $n$-letter word obtained by repeating a fixed word $W$ and let $R_n$ denote a uniformly random $n$-letter word sampled from the same alphabet as $W$. We are interested in the average length of the longest common subsequence between $W^{(n)}$ and $R_n$, which is known to be $\gamma(W)\cdot n+o(n)$ for some constant $\gamma(W)$. Bukh and Cox recently developed an interacting particle system, dubbed the frog dynamics, which can be used to compute the constant $\gamma(W)$ for any fixed word $W$. They successfully analyzed the simplest case of the frog dynamics to find an explicit formula for the constants $\gamma(12\cdots k)$. We continue this study by using the frog dynamics to find an explicit formula for the constants $\gamma(12\cdots kk\cdots 21)$. The frog dynamics in this case is a variation of the PushTASEP on the ring where some clocks are identical. Interestingly, exclusion processes with correlated clocks of this type appear to have not been analyzed before. Our analysis leads to a seemingly new combinatorial object which could be of independent interest: frogs with hats!

Combinatorics,Probability
Explosion and non-explosion for the continuous-time frog model

Viktor Bezborodov,Luca Di Persio,Peter Kuchling

2023-09-27

Abstract:We consider the continuous-time frog model on $\mathbb{Z}$. At time $t = 0$, there are $\eta (x)$ particles at $x\in \mathbb{Z}$, each of which is represented by a random variable. In particular, $(\eta(x))_{x \in \mathbb{Z} }$ is a collection of independent random variables with a common distribution $\mu$, $\mu(\mathbb{Z}_+) = 1$. The particles at the origin are active, all other ones being assumed as dormant, or sleeping. Active particles perform a simple symmetric continuous-time random walk in $\mathbb{Z} $ (that is, a random walk with $\exp(1)$-distributed jump times and jumps $-1$ and $1$, each with probability $1/2$), independently of all other particles. Sleeping particles stay still until the first arrival of an active particle to their location; upon arrival they become active and start their own simple random walks. Different sets of conditions are given ensuring explosion, respectively non-explosion, of the continuous-time frog model. Our results show in particular that if $\mu$ is the distribution of $e^{Y \ln Y}$ with a non-negative random variable $Y$ satisfying $\mathbb{E} Y < \infty$, then a.s. no explosion occurs. On the other hand, if $a \in (0,1)$ and $\mu$ is the distribution of $e^X$, where $\mathbb{P} \{X \geq t \} = t^{-a}$, $t \geq 1$, then explosion occurs a.s. The proof relies on a certain type of comparison to a percolation model which we call totally asymmetric discrete inhomogeneous Boolean percolation.

Probability
On exceedance times for some processes with dependent increments

Søren Asmussen,Sergey Foss

DOI: https://doi.org/10.48550/arXiv.1205.5793

2013-03-07

Abstract:Let ${Z_n}_{n\ge 0}$ be a random walk with a negative drift and i.i.d. increments with heavy-tailed distribution and let $M=\sup_{n\ge 0}Z_n$ be its supremum. Asmussen & Kl{ü}ppelberg (1996) considered the behavior of the random walk given that $M>x$, for $x$ large, and obtained a limit theorem, as $x\to\infty$, for the distribution of the quadruple that includes the time $\rtreg=\rtreg(x)$ to exceed level $x$, position $Z_{\rtreg}$ at this time, position $Z_{\rtreg-1}$ at the prior time, and the trajectory up to it (similar results were obtained for the Cramér-Lundberg insurance risk process). We obtain here several extensions of this result to various regenerative-type models and, in particular, to the case of a random walk with dependent increments. Particular attention is given to describing the limiting conditional behavior of $\tau$. The class of models include Markov-modulated models as particular cases. We also study fluid models, the Bj{ö}rk-Grandell risk process, give examples where the order of $\tau$ is genuinely different from the random walk case, and discuss which growth rates are possible. Our proofs are purely probabilistic and are based on results and ideas from Asmussen, Schmidli & Schmidt (1999), Foss & Zachary (2002), and Foss, Konstantopoulos & Zachary (2007).

Probability

Recurrence for the frog model with drift on $\mathbb{Z}^d$

The frog model with drift on R

The nonhomogeneous frog model on $\mathbb{Z}$

On the minimal drift for recurrence in the frog model on $d$-ary trees

The frog model on trees with drift

The speed of frogs with drift on $\mathbb{Z}$

A zero-one law for recurrence and transience of frog processes

Competing frogs on $\mathbb{Z}^d$

Upper tail large deviation for the one-dimensional frog model

On the range of the transient frog model on Z

Stochastic orders and the frog model

Critical drift estimates for the frog model on trees

Infinite rate symbiotic branching on the real line: The tired frogs model

Lipschitz-type estimate for the frog model with Bernoulli initial configuration

A new upper bound for the critical probability of the frog model on homogeneous trees

The frog model on Galton-Watson trees

On transience of frogs on Galton-Watson trees

Range-Renewal Structure of Transient Simple Random Walk

Frogs, hats and common subsequences

Explosion and non-explosion for the continuous-time frog model

On exceedance times for some processes with dependent increments