Contagious sets in expanders

From MaRDI portal



Abstract: We consider the following activation process in undirected graphs: a vertex is active either if it belongs to a set of initially activated vertices or if at some point it has at least r active neighbors, where r>1 is the activation threshold. A emph{contagious set} is a set whose activation results with the entire graph being active. Given a graph G, let m(G,r) be the minimal size of a contagious set. Computing m(G,r) is NP-hard. It is known that for every d-regular or nearly d-regular graph on n vertices, m(G,r)leO(fracnrd). We consider such graphs that additionally have expansion properties, parameterized by the spectral gap and/or the girth of the graphs. The general flavor of our results is that sufficiently strong expansion (e.g., lambda(G)=O(sqrtd), or girth Omega(loglogd)) implies that m(G,2)leO(fracnd2) (and more generally, m(G,r)leO(fracndr/(r−1))). Significantly weaker expansion properties suffice in order to imply that m(G,2)leO(fracnlogdd2). For example, we show this for graphs of girth at least~7, and for graphs with lambda(G)<(1−epsilon)d, provided the graph has no 4-cycles. Nearly d-regular expander graphs can be obtained by considering the binomial random graph G(n,p) with psimeqfracdn and d>logn. For such graphs we prove that Omega(fracnd2logd)lem(G,2)leO(fracnloglogdd2logd) almost surely. Our results are algorithmic, entailing simple and efficient algorithms for selecting contagious sets.











This page was built for publication: Contagious sets in expanders

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5363074)