Low-degree phase transitions for detecting a planted clique in sublinear time
Not on the map. Why?
Abstract (arXiv)
We consider the problem of detecting a planted clique of size k in a random graph on n vertices. When the size of the clique exceeds Theta(√n), polynomial-time algorithms for detection proliferate. We study faster -- namely, sublinear time -- algorithms in the high-signal regime when k = Theta(n1/2 + δ), for some δ > 0. To this end, we consider algorithms that non-adaptively query a subset M of entries of the adjacency matrix and then compute a low-degree polynomial function of the revealed entries. We prove a computational phase transition for this class of non-adaptive low-degree algorithms: under the scaling lvert M rvert = Theta(nγ), the clique can be detected when γ > 3(1/2 - δ) but not when γ < 3(1/2 - δ). As a result, the best known runtime for detecting a planted clique, widetildeO(n3(1/2-δ)), cannot be improved without looking beyond the non-adaptive low-degree class. Our proof of the lower bound -- based on bounding the conditional low-degree likelihood ratio -- reveals further structure in non-adaptive detection of a planted clique. Using (a bound on) the conditional low-degree likelihood ratio as a potential function, we show that for every non-adaptive query pattern, there is a highly structured query pattern of the same size that is at least as effective.
Key facts. No citing papers in the map yet (data through 7 Oct 2026). Builds on 20 of its 55 references that are in the map. First posted on arXiv 8 Feb 2024.
Builds on
20 of 55 references.
References · 20
- 2019Notes on Computational Hardness of Hypothesis Testing: Predictions using the Low-Degree Likelihood Ratiocited by 82
- 2014A statistical model for tensor PCAcited by 72
- 2017The power of sum-of-squares for detecting hidden structurescited by 54
- 2019Subexponential-Time Algorithms for Sparse PCAcited by 41
- 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
- 2017Bayesian estimation from few samples: community detection and related problemscited by 28
- 2019Local Statistics, Semidefinite Programming, and Community Detectioncited by 14
- 2020Spectral Planting and the Hardness of Refuting Cuts, Colorability, and Communities in Random Graphscited by 13
- 2023Low-Degree Hardness of Detection for Correlated ErdHos-R'enyi Graphscited by 11
- 2022Statistical and Computational Phase Transitions in Group Testingcited by 10
8 more
- 2023Detection of Dense Subhypergraphs by Low-Degree Polynomialscited by 7
- 2019Finding a planted clique by adaptive probingcited by 6
- 2021Average-Case Communication Complexity of Statistical Problemscited by 5
- 2020Finding Planted Cliques in Sublinear Timecited by 4
- 2019The Average-Case Complexity of Counting Cliques in Erdos-Renyi Hypergraphscited by 3
- 2021Random Subgraph Detection Using Queriescited by 3
- 2021A tight bound for the clique query problem in two roundscited by 2
- 2020New Techniques for Proving Fine-Grained Average-Case Hardnesscited by 1
Built on by
Not cited yet.