[论文解读] Maximum independent sets on random regular graphs

Jian Ding, Allan Sly+1 more|arXiv (Cornell University)|Oct 17, 2013

Limits and Structures in Graph Theory参考文献 19被引用 21

一句话总结

该论文针对 $ d \geq d_0 $ 的情形，确立了随机 $ d $-正则图的渐近独立数，证明其集中在 $ n\alpha_\star - c_\star\log n $ 附近，其中 $ \alpha_\star(d) $ 和 $ c_\star(d) $ 为显式常数。该结果通过一种新颖的带有簇分析的二阶矩方法，严格验证了单步副本对称性破解（1rsb）的预测，解决了关于独立数极限比及其波动尺度的长期猜想。

ABSTRACT

We determine the asymptotics of the independence number of the random $d$-regular graph for all $d \ge d_0$. It is highly concentrated, with constant-order fluctuations around $nα_* - c_*\log n$ for explicit constants $α_*(d)$ and $c_*(d)$. Our proof rigorously confirms the one-step replica symmetry breaking heuristics for this problem, and we believe the techniques will be more broadly applicable to the study of other combinatorial properties of random graphs.

研究动机与目标

• 确定随机 $ d $-正则图 $ \mathcal{G}_{n,d} $ 在所有足够大的 $ d $ 下的渐近独立数。
• 解决关于极限独立比 $ \alpha_\star = \lim_{n \to \infty} \mathbb{E}[\bm{A}_n]/n $ 存在性的长期猜想。
• 建立独立数的紧密集中性，表明其在 $ n\alpha_\star - c_\star\log n $ 附近具有常数阶波动，优于经典的 $ O(n^{1/2}) $ 估计。
• 通过概率与组合技术，严格验证该问题中的一步副本对称性破解（1rsb）启发式方法。

提出的方法

• 开发了一种改进的二阶矩方法，考虑了独立集解空间中的聚类现象，克服了标准二阶矩方法在稀疏图上的失效问题。
• 引入了基于簇的独立集分解，通过定义在 $ \alpha \in \left[(5/3)(\log d)/d, 2(\log d)/d\right] $ 上的函数 $ \bm{\Phi}^\star(\alpha) $ 分析其局部结构。
• 采用生成函数方法，结合加权配置计数，引入熵项与相关项以控制簇的大小。
• 应用测度变换与条件期望技术，估计密度为 $ \alpha $ 的独立集数量的二阶矩，聚焦于主导簇。
• 利用斯特林公式与大偏差分析，控制簇计数的指数增长，表明其在最大化点附近衰减。
• 通过 $ \bm{\Phi}^\star(\alpha) $ 的唯一零点与导数，推导出 $ \alpha_\star(d) $ 与 $ c_\star(d) $ 的显式表达式，其中 $ c_\star = [2\log \lambda_\star]^{-1} $，且 $ \lambda_\star $ 对应该 $ \alpha_\star $ 的解。

实验结果

研究问题

• RQ1 对于固定的 $ d \geq d_0 $，随机 $ d $-正则图的独立比是否在 $ n \to \infty $ 时收敛到极限？
• RQ2 在主导线性项 $ n\alpha_\star $ 之外，独立数 $ \bm{A}_n $ 的精确渐近行为是什么？
• RQ3 该模型中独立集解空间几何结构的一步副本对称性破解（1rsb）预测能否被严格证实？
• RQ4 独立数 $ \bm{A}_n $ 围绕其均值的波动阶数为何？能否证明其为常数而非 $ O(n^{1/2}) $？
• RQ5 独立集的簇结构如何影响二阶矩？能否通过控制簇结构以获得精确渐近？

主要发现

• 对于 $ d \geq d_0 $，随机 $ d $-正则图的独立数 $ \bm{A}_n $ 紧密集中在 $ n\alpha_\star - c_\star\log n $ 附近，波动为常数阶。
• 极限独立比 $ \alpha_\star(d) $ 显式表征为定义在 $ [(5/3)(\log d)/d, 2(\log d)/d] $ 上的光滑递减函数 $ \bm{\Phi}^\star(\alpha) $ 的唯一零点。
• 对数校正系数 $ c_\star(d) $ 由 $ c_\star = [2\log \lambda_\star]^{-1} $ 给出，其中 $ \lambda_\star $ 由涉及 $ q $ 与 $ \alpha_\star $ 的方程组解出。
• 证明确认了 1rsb 启发图像：在阈值附近，独立集的解空间被分裂为指数多个彼此分离的簇，其中大多数集合集中于有限个大簇中。
• 由于对簇结构的细致分析及测度变换的应用，该二阶矩方法在经典方法失效之处仍能成功。
• 该方法在经典 $ O(n^{1/2}) $ 波动界之外建立了 $ \bm{A}_n $ 的紧致性，表明对于固定的 $ d $，实际波动在 $ n $ 上为常数。