[論文レビュー] 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)$ は明示的な定数である。この結果は、新たな2次モーメント法とクラスタ解析を用いて、長年の予想である極限独立比とそのフラクチュエーションスケールの解明を、1段階の複素対称性破れ（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$ に対して、ランダム $d$-正則グラフ $\mathcal{G}_{n,d}$ の漸近的独立数を特定すること。
• 極限独立比 $\alpha_\star = \lim_{n \to \infty} \mathbb{E}[\bm{A}_n]/n$ の存在に関する長年の予想を解決すること。
• 独立数の強い集中性を確立し、$n\alpha_\star - c_\star\log n$ の周囲で定数オーダーのフラクチュエーションを示すことにより、古典的な $O(n^{1/2})$ 界を改善すること。
• この問題に対して、確率論的および組合せ的技法を用いて、1段階の複素対称性破れ（1rsb）のヒューリスティクスを厳密に裏付けること。

提案手法

• スパarsなグラフでは標準的な2次モーメント手法が失敗するのを克服するため、解空間内のクラスタリングを考慮した洗練された2次モーメント法を開発する。
• 独立集合のクラスタベースの分解を導入し、$\alpha \in \left[(5/3)(\log d)/d, 2(\log d)/d\right]$ 上で定義された関数 $\bm{\Phi}^\star(\alpha)$ を用いてその局所的構造を分析する。
• 重み付きの配置数の母関数アプローチを用い、エントロピー項と相関項を組み込んでクラスタのサイズを制御する。
• 測度の変更と条件付き期待値の技法を適用し、密度 $\alpha$ の独立集合の数の2次モーメントを推定する。この際、支配的クラスタに注目する。
• スターリングの近似と大偏差解析を用いて、クラスタ数の指数的成長をバインドし、最大化点から離れる際に減少することを示す。
• $\bm{\Phi}^\star(\alpha)$ の唯一の零点と微分を用いて、$\alpha_\star(d)$ と $c_\star(d)$ の明示的表現を導出する。ここで $c_\star = [2\log \lambda_\star]^{-1}$ であり、$\lambda_\star$ は $q$ と $\alpha_\star$ を含む方程式系の解に対応する。

実験結果

リサーチクエスチョン

• RQ1 固定された $d \geq d_0$ に対して、$n \to \infty$ のとき、ランダム $d$-正則グラフの独立比は極限に収束するか？
• RQ2 独立数 $\bm{A}_n$ の漸近的挙動は、主項 $n\alpha_\star$ を超えて、どのように特定されるか？
• RQ3 このモデルにおいて、独立集合の解空間幾何における1段階の複素対称性破れ（1rsb）予測を、厳密に裏付けることができるか？
• RQ4 $\bm{A}_n$ の平均からの正しいフラクチュエーションのオーダーは何か？ また、$O(n^{1/2})$ ではなく定数オーダーであることを示せるか？
• RQ5 独立集合のクラスタ構造は2次モーメントにどのように寄与するか？ そして、それらを制御することで、鋭い漸近的性質を得られるか？

主な発見

• $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のヒューリスティクスの図像が裏付けられる：解空間は、閾値付近で指数的に多くの互いに分離されたクラスタに散らばっており、大多数の独立集合は有限個の大きなクラスタに集中している。
• クラスタ構造の詳細な解析と、支配的寄与を特定する測度の変更により、古典的手法が失敗する状況でも2次モーメント法が成功する。
• 古典的な $O(n^{1/2})$ フラクチュエーション界を超えて、$\bm{A}_n$ のタイトネスが確立され、固定された $d$ に対して、実際のフラクチュエーションは $n$ に対して定数であることが示された。