Published online by Cambridge University Press: 28 June 2022
We study the so-called frog model on
${\mathbb{Z}}$
with two types of lazy frogs, with parameters
$p_1,p_2\in (0,1]$
respectively, and a finite expected number of dormant frogs per site. We show that for any such
$p_1$
and
$p_2$
there is positive probability that the two types coexist (i.e. that both types activate infinitely many frogs). This answers a question of Deijfen, Hirscher, and Lopes in dimension one.