The infection time of graphs

Consider k   particles, 1 red and k-1k-1 white, chasing each other on the nodes of a graph G. If the red one catches one of the white, it “infects” it with its color. The newly red particles are now available to infect more white ones. When is it the case that all white will become red? It turns out that this simple question is an instance of information propagation between random walks and has important applications to mobile computing where a set of mobile hosts acts as an intermediary for the spread of information.In this paper we model this problem by k   concurrent random walks, one corresponding to the red particle and k-1k-1 to the white ones. The infection time  TkTk of infecting all the white particles with red color is then a random variable that depends on k, the initial position of the particles, the number of nodes and edges of the graph, as well as on the structure of the graph.In this work we develop a set of probabilistic tools that we use to obtain upper bounds on the (worst case w.r.t. initial positions of particles) expected value of TkTk for general graphs and important special cases. We easily get that an upper bound on the expected value of TkTk is the worst case (over all initial positions) expected meeting time  m*m* of two random walks multiplied by Θ(logk). We demonstrate that this is, indeed, a tight bound; i.e. there is a graph G   (a special case of the “lollipop” graph), a range of values k