Community detection thresholds and the weak Ramanujan property

From MaRDI portal
Publication:5259605

DOI10.1145/2591796.2591857zbMATH Open1315.68210arXiv1311.3085OpenAlexW2023348178MaRDI QIDQ5259605FDOQ5259605

Laurent Massoulié

Publication date: 26 June 2015

Published in: Proceedings of the forty-sixth annual ACM symposium on Theory of computing (Search for Journal in Brave)

Abstract: Decelle et al.cite{Decelle11} conjectured the existence of a sharp threshold for community detection in sparse random graphs drawn from the stochastic block model. Mossel et al.cite{Mossel12} established the negative part of the conjecture, proving impossibility of meaningful detection below the threshold. However the positive part of the conjecture remained elusive so far. Here we solve the positive part of the conjecture. We introduce a modified adjacency matrix B that counts self-avoiding paths of a given length ell between pairs of nodes and prove that for logarithmic ell, the leading eigenvectors of this modified matrix provide non-trivial detection, thereby settling the conjecture. A key step in the proof consists in establishing a {em weak Ramanujan property} of matrix B. Namely, the spectrum of B consists in two leading eigenvalues ho(B), lambda2 and n2 eigenvalues of a lower order O(nepsilonsqrtho(B)) for all epsilon>0, ho(B) denoting B's spectral radius. d-regular graphs are Ramanujan when their second eigenvalue verifies |lambda|le2sqrtd1. Random d-regular graphs have a second largest eigenvalue lambda of 2sqrtd1+o(1) (see Friedmancite{friedman08}), thus being {em almost} Ramanujan. ErdH{o}s-R'enyi graphs with average degree d at least logarithmic (d=Omega(logn)) have a second eigenvalue of O(sqrtd) (see Feige and Ofekcite{Feige05}), a slightly weaker version of the Ramanujan property. However this spectrum separation property fails for sparse (d=O(1)) ErdH{o}s-R'enyi graphs. Our result thus shows that by constructing matrix B through neighborhood expansion, we regularize the original adjacency matrix to eventually recover a weak form of the Ramanujan property.


Full work available at URL: https://arxiv.org/abs/1311.3085





Cites Work


Cited In (84)

Uses Software






This page was built for publication: Community detection thresholds and the weak Ramanujan property

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