Is it easier to count communities than find them?
Not on the map. Why?
Abstract (arXiv)
Random graph models with community structure have been studied extensively in the literature. For both the problems of detecting and recovering community structure, an interesting landscape of statistical and computational phase transitions has emerged. A natural unanswered question is: might it be possible to infer properties of the community structure (for instance, the number and sizes of communities) even in situations where actually finding those communities is believed to be computationally hard? We show the answer is no. In particular, we consider certain hypothesis testing problems between models with different community structures, and we show (in the low-degree polynomial framework) that testing between two options is as hard as finding the communities. Our methods give the first computational lower bounds for testing between two different ``planted'' distributions, whereas previous results have considered testing between a planted distribution and an i.i.d. ``null'' distribution. We also show a formal relationship between the low--degree frameworks for recovery in a planted model and for testing two planted models.
Key facts. Cited by 4 papers in the map (data through 7 Oct 2026). Builds on 12 of its 22 references that are in the map. First posted on arXiv 21 Dec 2022.
Builds on
12 of 22 references.
References · 12
- 2017Community Detection and Stochastic Block Modelscited by 317
- 2016Statistical Query Lower Bounds for Robust Estimation of High-dimensional Gaussians and Gaussian Mixturescited by 114
- 2019Notes on Computational Hardness of Hypothesis Testing: Predictions using the Low-Degree Likelihood Ratiocited by 82
- 2017The power of sum-of-squares for detecting hidden structurescited by 54
- 2020Computational Barriers to Estimation from Low-Degree Polynomialscited by 38
- 2018Reducibility and Computational Lower Bounds for Problems with Planted Sparse Structurecited by 35
- 2022The Franz-Parisi Criterion and Computational Trade-offs in High Dimensional Statisticscited by 31
- 2014Statistical-Computational Tradeoffs in Planted Problems and Submatrix Localization with a Growing Number of Clusters and Submatricescited by 29
- 2014Computational Lower Bounds for Community Detection on Random Graphscited by 21
- 2017The Computer Science and Physics of Community Detection: Landscapes, Phase Transitions, and Hardnesscited by 20
- 2019Local Statistics, Semidefinite Programming, and Community Detectioncited by 14
- 2013Community Detection in Random Networkscited by 2
Built on by
Citing papers per year: 2023: 1; 2024: 2; 2025: 1.
4 papers.
- 2023Precise Error Rates for Computationally Efficient Testingcited by 4
- 2024Low coordinate degree algorithms I: Universality of computational thresholds for hypothesis testingcited by 3
- 2024Low coordinate degree algorithms II: Categorical signals and generalized stochastic block modelscited by 2
- 2025Computational Lower Bounds for Correlated Random Graphs via Algorithmic Contiguitycited by 2
- 2025Computational Lower Bounds for Correlated Random Graphs via Algorithmic Contiguity14 Feb 2025
- 2024Low coordinate degree algorithms II: Categorical signals and generalized stochastic block models30 Dec 2024
- 2024Low coordinate degree algorithms I: Universality of computational thresholds for hypothesis testing12 Mar 2024
- 2023Precise Error Rates for Computationally Efficient Testing1 Nov 2023