[論文レビュー] Sparse random graphs: Eigenvalues and Eigenvectors

Linh V. Tran, Van Vu+1 more|arXiv (Cornell University)|Nov 30, 2010

Graph theory and applications参考文献 29被引用数 4

ひとこと要約

本稿は、次数 $d \to \infty$ のとき、スパースなランダム正則グラフ $G_{n,d}$ の固有値に対して半円則を確立する。これは固定された $d$ に対する McKay の則を補完するものである。さらに、Erdős-Rényi グラフ $G(n,p)$ の固有ベクトルの無限大ノルムに対してタイトな上界を提供し、$p = \omega(\log n / n)$ のとき Dekel, Lee, and Linial が提起した問いを解決する。固有値が $\pm 2$ から離れている場合、上界は $O\left(\sqrt{\log^{2.2}g(n) \log n / (np)}\right)$ のオーダーである。これらの結果は、スペクトルノルムの制御と、行列チェルノフ不等式および測度集中の技法を用いた行列リゾルベントの確率的解析に依拠している。

ABSTRACT

In this paper we prove the semi-circular law for the eigenvalues of regular random graph $G_{n,d}$ in the case $d ightarrow \infty$, complementing a previous result of McKay for fixed $d$. We also obtain a upper bound on the infinity norm of eigenvectors of Erdős-Rényi random graph $G(n,p)$, answering a question raised by Dekel-Lee-Linial.

研究の動機と目的

• 固定された $d$ に対する McKay の結果を補完する形で、$d \to \infty$ のとき、スパースなランダム正則グラフ $G_{n,d}$ の固有値分布に対する半円則を拡張すること。
• Erdős-Rényi グラフ $G(n,p)$ における固有ベクトル成分の集中に関する、Dekel, Lee, and Linial が提起した問いを解決すること。
• スペクトルギャップの条件下で、$G(n,p)$ の固有ベクトルの $\ell^\infty$-ノルムに対する鋭い上界を確立すること。
• リゾルベント法と集中不等式を用いた、スパースなランダム行列のスペクトル的性質を分析するための強固な枠組みを構築すること。

提案手法

• 固有値の中心化と分散の正規化のため、正規化された隣接行列 $M_n = \frac{1}{\sigma}(A_n - pJ_n)$ を用いる。
• 行列チェルノフ不等式と測度集中を用いて、スペクトルノルムと固有値分布の制御を行う。
• Stieltjes 変換とリゾルベント解析を用い、リゾルベント恒等式と交互性の性質を通じて、極限スペクトル分布を研究する。
• Cauchy の交互性則と条件付き期待値の技法を用い、$A_n$ の Stieltjes 変換をその小行列のものと関連付ける。
• 連続性の議論と固有値間隔の上界を用いて、リゾルベント方程式における誤った解の排除を行う。
• スペクトルの二分木的分解と、$\ell^2$ から $\ell^\infty$ への集中の見積もりを用い、$h(n) = \log^{0.001}g(n)$ スケールのずれを介して固有ベクトル成分の尾確率を評価する。

実験結果

リサーチクエスチョン

• RQ1 次数 $d \to \infty$ のとき、ランダム正則グラフ $G_{n,d}$ の固有値分布に対して半円則が成り立つか？
• RQ2 $p = \omega(\log n / n)$ のとき、$G(n,p)$ の固有ベクトルの $\ell^\infty$-ノルムは有界にできるか？
• RQ3 スパースな Erdős-Rényi グラフにおける固有ベクトルの $\ell^\infty$-ノルムの最適な減衰レートは何か？
• RQ4 固有値がスペクトル端 $\pm 2$ から離れているとき、スパースなランダムグラフの固有ベクトルはどのように振る舞うか？
• RQ5 リゾルベント法を用いて、$G_{n,d}$ の極限スペクトル分布が半円則に収束することを示せるか？

主な発見

• 次数 $d \to \infty$ のとき、$G_{n,d}$ の経験的スペクトル分布は半円則に収束する。これは McKay の固定 $d$ に対する結果を拡張するものである。
• 任意の $G(n,p)$ の単位固有ベクトルの $\ell^\infty$-ノルムは、$p = \omega(\log n / n)$ のときほとんど確実に $o(1)$ である。これは Dekel, Lee, and Linial の予想を裏付ける。
• 固有値が $\pm 2$ から離れているとき、$p = \omega(\log n / n) = g(n)\log n / n$ の下で、固有ベクトルの $\ell^\infty$-ノルムは $O\left(\sqrt{\log^{2.2}g(n) \log n / (np)}\right)$ で上界が与えられる。
• リゾルベント法により、条件付き期待値と集中の見積もりを介して $A_n$ の Stieltjes 変換を制御でき、半円則への収束が得られる。
• 証明により、リゾルベント方程式の唯一の有効な解は半円の Stieltjes 変換であることが示され、連続性と虚部の議論により誤った解が排除される。
• 解析により、固有ベクトルの揺らぎがリゾルベントに与える寄与は、ほとんど確実に無視できるほど小さいことが示され、極限スペクトル法則の導出が可能になる。