Discrete one-dimensional coverage process on a renewal process

Abstract

We consider the {following} coverage model on $\mathbb{N}$. For each site $i\in \mathbb{N}$ we associate a pair $(\xi_i, R_i)$ where $\{\xi_0, \xi_1, \ldots \}$ is a 1-dimensional {undelayed} discrete renewal point process and $\{R_0,R_1,\ldots\}$ is an i.i.d. sequence of $\mathbb{N}$-valued random variables. At each site where $\xi_i=1$ we start an interval of length $R_i$. Coverage occurs if every site of $\mathbb{N}$ is covered by some interval. We obtain sharp conditions for both, positive and null probability of coverage. As corollaries, we extend results of the literature of rumor processes and discrete one-dimensional Boolean percolation.