Abstract:The stochastic block model is a canonical model of communities in random graphs. It was introduced in the social sciences and statistics as a model of communities, and in theoretical computer science as an average case model for graph partitioning problems under the name of the ``planted partition model.'' Given a sparse stochastic block model, the two standard inference tasks are: (i) Weak recovery: can we estimate the communities with non trivial overlap with the true communities? (ii) Detection/Hypothesis testing: can we distinguish if the sample was drawn from the block model or from a random graph with no community structure with probability tending to $1$ as the graph size tends to infinity? In this work, we show that for sparse stochastic block models, the two inference tasks are equivalent except at a critical point. That is, weak recovery is information theoretically possible if and only if detection is possible. We thus find a strong connection between these two notions of inference for the model. We further prove that when detection is impossible, an explicit hypothesis test based on low degree polynomials in the adjacency matrix of the observed graph achieves the optimal statistical power. This low degree test is efficient as opposed to the likelihood ratio test, which is not known to be efficient. Moreover, we prove that the asymptotic mutual information between the observed network and the community structure exhibits a phase transition at the weak recovery threshold. Our results are proven in much broader settings including the hypergraph stochastic block models and general planted factor graphs. In these settings we prove that the impossibility of weak recovery implies contiguity and provide a condition which guarantees the equivalence of weak recovery and detection.

Inference and mutual information on random factor graphs

Mutual Information, Information-Theoretic Thresholds and the Condensation Phenomenon at Positive Temperature

Factor Graphs for Quantum Information Processing

Information Theoretic Properties of Markov Random Fields, and their Algorithmic Applications

Rank-one matrix estimation: analysis of algorithmic and information theoretic limits by the spatial coupling method

Structural Optimization of Factor Graphs for Symbol Detection via Continuous Clustering and Machine Learning

Weak recovery, hypothesis testing, and mutual information in stochastic block models and planted factor graphs

Measuring Multi-Source Redundancy in Factor Graphs

Some Results on {K2,c2i+1:I≥1}-Factor in a Graph

Sharp Thresholds for Factors in Random Graphs

Application of information-percolation method to reconstruction problems on graphs

Information Decomposition Diagrams Applied beyond Shannon Entropy: A Generalization of Hu's Theorem

Randomly Orthogonal Factorizations in Networks

Double-Edge Factor Graphs: Definition, Properties, and Examples

Phase transitions and sample complexity in Bayes-optimal matrix factorization

LDPC codes: comparing cluster graphs to factor graphs

Asymptotic mutual information in quadratic estimation problems over compact groups

Conditional Random Fields, Planted Constraint Satisfaction, and Entropy Concentration

Local Message Passing on Frustrated Systems

Information Cascades on Arbitrary Topologies

Some Results on {K2, C2i+1 : I ≥ 1}-Factor in a Graph