[論文レビュー] THe largest eigenvalue of sparse random graphs

Michael Krivelevich, Benny Sudakov|ArXiv.org|Jun 10, 2001

Graph theory and applications参考文献 7被引用数 6

ひとこと要約

本稿は、スパースなランダムグラフ $G(n,p)$ の最大固有値の漸近的挙動を確立し、ほとんど確実に $\lambda_1(G) = (1+o(1))\max\{\sqrt{\Delta}, np\}$ が成り立つことを証明する。ここで $\Delta$ は最大次数である。この結果により、平均次数と最大次数が支配的要因として統合され、$p(n)$ が小さい、例えば $p = c/n$ のようなスパースな領域におけるスペクトル挙動が解明される。証明は、次数の集中に関する確率的評価と、行列摂動およびトレース法を用いたスペクトルノルムの推定を組み合わせている。

ABSTRACT

We prove that for all values of the edge probability p(n) the largest eigenvalue of a random graph G(n,p) satisfies almost surely: λ_1(G)=(1+o(1))max{\sqrtΔ,np}, where Δis a maximal degree of G, and the o(1) term tends to zero as max{\sqrtΔ,np} tends to infinity.

研究の動機と目的

• スパースなランダムグラフ $G(n,p)$ における最大固有値 $\lambda_1(G)$ の漸近的挙動を特定すること。ここで $p(n)$ は小さく、例えば $p = c/n$ のような形をとる。
• 標準的な集中法が適用できないほど $p(n)$ が大きくない場合に $\lambda_1(G)$ を特徴づける未解決問題を解消すること。特にスパース領域において。
• 平均次数 $np$ と最大次数 $\sqrt{\Delta}$ がスペクトル半径に与える寄与を統合し、$\lambda_1$ が両者のうち大きい方によって漸近的に決定されることを示すこと。
• 一般な $p(n)$ の条件下で、$n \to \infty$ の際にほとんど確実に成り立つ $\lambda_1(G)$ の明確な漸近的表現を提供すること。

提案手法

• 二項確率変数の尾確率推定を活用し、$G(n,p)$ の最大次数 $\Delta$ に関する確率的評価の利用。
• トレース法とモーメント評価を用いて、隣接行列 $A(G)$ のスペクトルノルムを制御すること。
• 行列摂動技術を用いて、$\lambda_1(G)$ をスターマッチング部分グラフやその他の構造的グラフのスペクトルノルムと比較すること。
• 特に、スターマッチング部分グラフの存在により $\lambda_1(G) \geq \sqrt{\Delta}$ が成り立つことを利用した、$\lambda_1(G)$ の上界と下界の導出。
• 集中不等式の利用と、$p(n) \gg 1/n^2$ のとき $\lambda_1(G) \geq np$ がほとんど確実に成り立つことから、両下界を組み合わせて $\max\{\sqrt{\Delta}, np\}$ を得ること。
• 背理法と漸近的比較による証明：$\max\{\sqrt{\Delta}, np\}$ からの任意の逸脱が、ほとんど確実な収束の仮定のもとで矛盾を引き起こすことを示すこと。

実験結果

リサーチクエスチョン

• RQ1 スパースなランダムグラフ $G(n,p)$ における最大固有値 $\lambda_1(G)$ の漸近的挙動は何か？ ただし $p(n) = O(\log n)$ とする。
• RQ2 平均次数 $np$ と最大次数 $\Delta$ は、スパース領域における $G(n,p)$ のスペクトル半径にどのように寄与するか？
• RQ3 $\lambda_1$ が $\max\{\sqrt{\Delta}, np\}$ で上界と下界から漸近的に抑えられ、かつその境界がタイトであるか？
• RQ4 $p = c/n$（$c > 0$ の定数）のとき $\lambda_1(G)$ はどのように振る舞うか？特に $n$ に依存する性質について。
• RQ5 $\lambda_1(G)$ は $\max\{\sqrt{\Delta}, np\}$ のまわりに集中するか？また、$o(1)$ の誤差項の収束速度は何か？

主な発見

• すべての $p(n)$ に対して、$\max\{\sqrt{\Delta}, np\} \to \infty$ ならば、最大固有値はほとんど確実に $\lambda_1(G) = (1+o(1))\max\{\sqrt{\Delta}, np\}$ を満たす。
• $p = c/n$（$c > 0$ の定数）のとき、最大固有値はほとんど確実に $\lambda_1(G) = (1+o(1))\sqrt{\frac{\ln n}{\ln \ln n}}$ を満たす。
• 下界 $\lambda_1(G) \geq (1+o(1))\max\{\sqrt{\Delta}, np\}$ はタイトであり、同様のオーダーの上界と一致する。
• この結果は、臨界的 $p = c/n$ ケースを含む、スパース領域全体にわたって一様に成り立つ。この場合、固有値は $c > 0$ の変化に対して感度を示さない。
• スペクトルノルムは、最大次数（スターマッチング部分グラフを通じて）か平均次数のどちらかが漸近的に大きいかに応じて支配される。
• $\max\{\sqrt{\Delta}, np\} \to \infty$ のとき、漸近的表現における誤差項 $o(1)$ は 0 に近づくため、$\lambda_1(G)$ の強い集中が示唆される。