Elsevier

Theoretical Computer Science

Volume 509, 21 October 2013, Pages 51-69
Theoretical Computer Science

The cover times of random walks on random uniform hypergraphs

https://doi.org/10.1016/j.tcs.2013.01.020Get rights and content
Under an Elsevier user license
open archive

Abstract

Random walks in graphs have been applied to various network exploration and network maintenance problems. In some applications, however, it may be more natural, and more accurate, to model the underlying network not as a graph but as a hypergraph, and solutions based on random walks require a notion of random walks in hypergraphs. At each step, a random walk on a hypergraph moves from its current position v to a random vertex in a randomly selected hyperedge containing v. We consider two definitions of cover time of a hypergraph H. If the walk sees only the vertices it moves between, then the usual definition of cover time, C(H), applies. If the walk sees the complete edge during the transition, then an alternative definition of cover time, the inform time I(H) is used. The notion of inform time models passive listening which fits the following types of situations. The particle is a rumour passing between friends, which is overheard by other friends present in the group at the same time. The particle is a message transmitted randomly from location to location by a directional transmission in an ad-hoc network, but all receivers within the transmission range can hear.

In this paper we give an expression for C(H) which is tractable for many classes of hypergraphs, and calculate C(H) and I(H) exactly for random r-regular, s-uniform hypergraphs. We find that for such hypergraphs, whp, C(H)/I(H)s(r1)/r, if rs=O((loglogn)1ϵ). For random r-regular, s-uniform multi-hypergraphs, constant r2, and 3sO(nϵ), we also prove that, whp, I(H)=O((n/s)logn), i.e. the inform time decreases directly with the edge size s.

Keywords

Random walks
Hypergraphs
Cover time
Random graphs

Cited by (0)