SBM Detectability — Mossel-Neeman-Sly
Stochastic Block Model: two communities, intra-edge prob p_in, inter-edge prob p_out. The Kesten-Stigum threshold separates detectable from undetectable phases.
Mossel-Neeman-Sly (2015/2016): for k=2 equal-size communities, detection is possible iff (a−b)²>2(a+b) where p_in=a/n, p_out=b/n. Spectral methods (non-backtracking operator) achieve this threshold.