[論文レビュー] A new proof of Friedman's second eigenvalue Theorem and its extension to random lifts

Bordenave, Charles|arXiv (Cornell University)|Feb 16, 2015

Graph theory and applications被引用数 11

ひとこと要約

本稿は、ランダムな d-正則グラフのスペクトルギャップに関するフレッドマンの定理の新しい簡略化された証明を提示し、第二固有値が高確率で $2\sqrt{d-1} + o(1)$ 未満であることを示している。この手法はグラフのランダムリフトへと拡張され、重み付きパスの分析と修正されたパス行列の作用素ノルムによるバタフライ効果の制御を通じて、非後退的固有値に対する弱いラマヌジャン性を確立した。

ABSTRACT

It was conjectured by Alon and proved by Friedman that a random $d$-regular graph has nearly the largest possible spectral gap, more precisely, the largest absolute value of the non-trivial eigenvalues of its adjacency matrix is at most $2\sqrt{d-1} +o(1)$ with probability tending to one as the size of the graph tends to infinity. We give a new proof of this statement. We also study related questions on random $n$-lifts of graphs and improve a recent result by Friedman and Kohler.

研究の動機と目的

• ランダム d-正則グラフのスペクトルギャップに関するフレッドマンの第二固有値定理の、より簡潔で直感的な証明を提供すること。
• 任意のベースグラフのランダム n-リフトへのスペクトルギャップ解析を拡張し、特に非後退的行列の固有値に注目すること。
• 希少な部分構造（バタフライ）に起因するずれを制御することで、ランダムリフトに対して弱いラマヌジャン性を確立すること。
• 非一様期待値を有するランダムグラフスペクトルを扱うために、高次モーメントトレース推定と行列射影に基づく強固な手法を開発すること。
• $(\log \log n / \log n)^2$ を含む明示的な誤差項を用いて、スペクトルギャップを定量的に評価し、従来の確率的境界を改善すること。

提案手法

• 隣接行列 $ A $ の代わりに非後退的行列 $ B $ を用いてスペクトル問題を再定式化し、イハラ＝バスの公式を用いて固有値を関連付ける。
• バタフライを含むウォークを除外することで、修正された行列 $ B^{(\ell)} $ を定義し、バタフリーフリーなグラフ上での集中を保証する。
• すべての1ベクトル $ \chi $ の直交補空間への射影を施し、非自明な固有値を分離し、作用素ノルムによる $ \|B^{(\ell)}\| $ の上限を求める。
• 高次モーメントトレース法を適用：$ m \sim \log n / \log \log n $ を用いて、パス重み付き行列 $ C $ に対して $ \mathbb{E}\|C\|^{2m} \leq \mathbb{E}\operatorname{tr}((CC^*)^m) $ を評価する。
• 長さ $ k = 2m\ell $ の重み付きパスの寄与を、同型類に分割し、グラフ不変量（頂点数、辺数、サイクル数）を用いてその数を上限付ける。
• 組合せ的列挙と構成モデルにおける確率的推定を組み合わせ、過剰な辺や巡回時間の取り扱いに注意を払い、スペクトルノルムに対する決定的上限を確立する。

実験結果

リサーチクエスチョン

• RQ1 フレッドマンの第二固有値定理について、ランダム d-正則グラフに対して、より簡潔で直感的な証明が可能か？
• RQ2 完全グラフなどのバタフライ的部分構造が、隣接行列の高次べきの期待トレースにどの程度歪めを引き起こすか？
• RQ3 ベースグラフのランダム n-リフトのスペクトルギャップは、非後退的固有値について弱いラマヌジャン性を満たすか？
• RQ4 高次モーメントトレース法は、希少で高影響を持つ部分構造を有する状況下でも、パス行列の作用素ノルムを制御するために適応可能か？
• RQ5 ランダム d-正則グラフにおける第二固有値のアロン＝ボッパナ境界への収束速度は、定量的にどの程度か？

主な発見

• フレッドマンの定理の新証明が確立され、任意の $ 0 < a < 1 $ に対して、ある $ c > 0 $ が存在し、$ \mathbb{P}(\mu_2 \vee |\mu_n| \geq 2\sqrt{d-1} + c(\log \log n / \log n)^2) \leq n^{-a} $ を満たすことが示された。これは、従来の定性的な $ o(1) $ の境界を改善する。
• この手法は任意のグラフのランダムリフトへと拡張され、非後退的スペクトル半径が $ \sqrt{\rho_1} $ の周辺に集中することが証明された。ここで $ \rho_1 $ はベースグラフの非後退的行列のペロン固有値である。
• ランダム n-リフトでは、非後退的固有値が弱いラマヌジャン性を満たす：適切な条件下で、高確率で $ \lambda_1 \leq \sqrt{\rho_1} + o(1) $ が成り立つ。
• バタフリーパスの寄与は同型類の列挙により制御され、その数が $ \rho^s (c\ell m)^{16m g + 22m} $ で上限付けられることを示した。ここで $ g $ はサイクル数である。
• 修正パス行列 $ R_k^{(\ell)} $ の作用素ノルムについて、$ \mathbb{E}\|R_k^{(\ell)}\|^{2m} \leq (c\ell m)^{38m} \rho^{2\ell m} $ が成り立つことが示され、高確率でのスペクトル境界が得られた。
• 最終的なスペクトル半径の境界は $ \|B_n^{(\ell)}\| \leq (\log n)^{15} \rho^{\ell/2} + o(1) $ であり、$ \ell \sim \kappa \log_{d-1} n $ かつ $ \kappa < 1/4 $ のとき、$ \lambda_1 \leq \sqrt{\rho_1} + o(1) $ を意味する。