发现多社区模型中新的相变阈值,揭示恢复社区结构的边界条件。
Phase Transition for Stochastic Block Model with more than $\sqrt{n}$ Communities
- 提出新阈值并证明低阶多项式在此之下无法恢复社区。
- 在该阈值之上,通过计数特定图模式可多项式时间恢复社区。
- 适用于稀疏到中等密度图,拓展了此前仅限稀疏情形的结果。
统计物理预言,在社区数 $K$ 固定时,随机块模型(SBM)的社区恢复可在多项式时间内实现,仅当高于 Kesten-Stigum(KS)阈值时成立。此猜想催生大量研究,证明在高于 KS 阈值时可实现非平凡社区恢复。当 $K \ll \sqrt{n}$ 时,也已证明低于 KS 阈值时低阶多项式(LDP)失效。然而当 $K \geq \sqrt{n}$ 时,Chin 等人(2025)近期在稀疏情形下证明,通过计数非回溯路径,可在多项式时间内低于 KS 阈值实现社区恢复,从而提出一个针对多社区情形的新阈值。本文为该猜想提供证据:1)对任意图密度,证明在该新阈值以下,LDP 无法恢复社区;2)证明在该阈值以上,不仅在稀疏情形,也在中等稀疏情形下,通过计数受 LDP 分析启发的特定图模式,可实现多项式时间恢复。特别地,长度为 $\log(n)$ 的自避免路径计数仅在稀疏情形最优;在更稠密情形需考虑基于环放大的更复杂图模式。
原文摘要 · Abstract (English)
Predictions from statistical physics postulate that recovery of the communities in the Stochastic Block Model (SBM) with a fixed number $K$ of communities is possible in polynomial time above, and only above, the Kesten-Stigum (KS) threshold. This conjecture has given rise to a rich literature, proving that non-trivial community recovery is indeed possible in SBM above the KS threshold. Failure of low-degree polynomials (LDP) below the KS threshold was also proven, as long as $K\ll \sqrt{n}$, where $n$ is the number of nodes in the observed graph. When $K\geq \sqrt{n}$, Chin et al.(2025) recently proved that, in a \emph{sparse regime}, community recovery in polynomial time is possible below the KS threshold by counting non-backtracking paths. This breakthrough led them to postulate a new threshold for the many-communities regime $K\geq \sqrt{n}$. In this work, we provide evidence supporting their conjecture:\\ 1- We prove that, for \emph{any graph density}, LDP fail to recover communities below the threshold postulated by Chin et al.(2025) ;\\ 2- We prove that community recovery is possible in polynomial time above the postulated threshold, not only in the \emph{sparse regime} considered in Chin et al.~(2025), but also in \emph{moderately sparse regimes}, by counting occurrences of some specific motifs inspired by the LDP analysis.\\ In particular, counting self-avoiding paths of length $\log(n)$, which is closely related to spectral algorithms based on the Non-Backtracking operator, is optimal only in the sparse regime. More complex motifs based on the blow-up of a cycle must be considered in denser regimes.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。