证明了在低度猜想下,社区模型存在计算与统计的分界点。
Low degree conjecture implies sharp computational thresholds in stochastic block model
- 基于低度猜想,构建了新方法证明算法无法突破阈值
- 低于阈值时,任何多项式时间算法相关性均接近随机
- 适用于研究复杂网络社区发现的理论边界
我们研究了对称随机块模型中(扩展)低度猜想的含义。假设该猜想成立,则可证明:在凯斯滕-斯蒂格姆(KS)阈值以下,不存在多项式时间算法能实现弱恢复社区标签。特别地,我们排除了任意多项式时间估计器在常数概率下获得显著优于随机的相关性。而在高于该阈值时,已知多项式时间算法可高概率实现常数级相关性。据我们所知,这是首个关于多项式时间算法在KS阈值处恢复率出现尖锐转变的严格证据。值得注意的是,在更强版本的低度猜想下,即使块数发散,我们的下界仍成立。此外,结果也支持学习随机块模型参数时存在计算与统计差距。与以往工作不同——要么仅排除1−o(1)成功率下的假设检验,要么仅排除低度多项式对连接概率矩阵的学习——我们的方法对恢复和学习问题提供了更强的下界。证明结合了[Hopkins18, BBK+21a]的低度下界,以及图分割与交叉验证技术,并使用[HS17]提出的保相关投影法来排除一般恢复算法。
原文摘要 · Abstract (English)
We investigate implications of the (extended) low-degree conjecture (recently formalized in [MW23]) in the context of the symmetric stochastic block model. Assuming the conjecture holds, we establish that no polynomial-time algorithm can weakly recover community labels below the Kesten-Stigum (KS) threshold. In particular, we rule out polynomial-time estimators that, with constant probability, achieve correlation with the true communities that is significantly better than random. Whereas, above the KS threshold, polynomial-time algorithms are known to achieve constant correlation with the true communities with high probability[Mas14,AS15]. To our knowledge, we provide the first rigorous evidence for the sharp transition in recovery rate for polynomial-time algorithms at the KS threshold. Notably, under a stronger version of the low-degree conjecture, our lower bound remains valid even when the number of blocks diverges. Furthermore, our results provide evidence of a computational-to-statistical gap in learning the parameters of stochastic block models. In contrast to prior work, which either (i) rules out polynomial-time algorithms for hypothesis testing with 1-o(1) success probability [Hopkins18, BBK+21a] under the low-degree conjecture, or (ii) rules out low-degree polynomials for learning the edge connection probability matrix [LG23], our approach provides stronger lower bounds on the recovery and learning problem. Our proof combines low-degree lower bounds from [Hopkins18, BBK+21a] with graph splitting and cross-validation techniques. In order to rule out general recovery algorithms, we employ the correlation preserving projection method developed in [HS17].
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。