[論文レビュー] Fluctuations of extreme eigenvalues of sparse Erd\H{o}s-R\'enyi graphs

Yukun He, Antti Knowles|arXiv (Cornell University)|May 5, 2020

Random Matrices and Applications参考文献 19被引用数 4

ひとこと要約

本稿では、エッジ確率 $ Np \gg N^\varepsilon $ のスパースな Erdős-Rényi ランダムグラフにおいて、Perron-Frobenius固有値を除く極端固有値が、グラフの総次数を表す1つの確率変数によって支配される漸近的ガウス型フラクチュエーションを示す。この結果は、以前の Tracy-Widom フラクチュエーションを最適スケーリング $ Np \gg N^\varepsilon $ まで拡張し、$ (Np)^{-1} $ 展開を避ける新しい剛性バウンド $ N^{-1/2-\varepsilon}(Np)^{-1/2} $ を用いる。

ABSTRACT

We consider a class of sparse random matrices which includes the adjacency matrix of the Erd\\H{o}s-R\\'enyi graph $\\mathcal{G}(N,p)$. We show that if $N^{\\varepsilon} \\leq Np \\leq N^{1/3-\\varepsilon}$ then all nontrivial eigenvalues away from 0 have asymptotically Gaussian fluctuations. These fluctuations are governed by a single random variable, which has the interpretation of the total degree of the graph. This extends the result [19] on the fluctuations of the extreme eigenvalues from $Np \\geq N^{2/9 + \\varepsilon}$ down to the optimal scale $Np \\geq N^{\\varepsilon}$. The main technical achievement of our proof is a rigidity bound of accuracy $N^{-1/2-\\varepsilon} \\, (Np)^{-1/2}$ for the extreme eigenvalues, which avoids the $(Np)^{-1}$-expansions from [9,19,24]. Our result is the last missing piece, added to [8, 12, 19, 24], of a complete description of the eigenvalue fluctuations of sparse random matrices for $Np \\geq N^{\\varepsilon}$.

研究の動機と目的

• スパースなランダム行列の極端固有値の漸近的分布を、$ Np \gg N^\varepsilon $ のスケールで記述し、以前の結果を越えること。
• スパースなランダム行列の固有値フラクチュエーションの完全な特徴付けにおいて、最後の欠落していた部分を解明すること。
• ゼロから離れたすべての非自明固有値が、グラフの総次数—1つの確率変数—によって支配される漸近的ガウス型フラクチュエーションを示すこと。
• 以前の研究で用いられた $ (Np)^{-1} $ 展開に依存しない、極端固有値のための新しい剛性バウンドを確立すること。

提案手法

• エントリにモーメントおよび尾部条件を満たす一般クラスのスパースなランダム行列を導入し、$ \mathcal{G}(N,p) $ の正規化隣接行列を含む。
• 固有値フラクチュエーションを支配する重要な確率変数 $ \mathcal{Z} = \frac{1}{N}\operatorname{Tr}H^2 - 1 $ を定義し、標準正規分布に収束することを示す。
• 極端固有値に対して、$ (Np)^{-1} $ 展開に依存しない精度 $ N^{-1/2-\varepsilon}(Np)^{-1/2} $ の剛性バウンドを確立する。
• 自己整合方程式とリゾルベント解析を用い、経験的測度のステュルツェス変換を摂動パrameter $ \mathcal{Z} $ と関連付ける。
• 局所化補題を用いて、固有値フラクチュエーションが $ \mathcal{Z} $ によって完全に決定され、補正項が $ O_{\prec}(1/(\sqrt{N}q^3)) $ で有界であることを示す。
• 半円法則および端部挙動の摂動的展開を用い、固有値の位置をスケーリングされたパrameter $ \mathcal{Z} $ と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 スパースな Erdős-Rényi グラフの極端固有値は、以前に知られていた $ Np \gg N^{2/9} $ の範囲を超えて、$ Np \gg N^\varepsilon $ のスケールでもガウス型フラクチュエーションを示すか？
• RQ2 第二固有値のフラクチュエーションは1つの確率変数によって支配され、グラフ構造の観点からその解釈は何か？
• RQ3 $ (Np)^{-1} $-オーダー展開に依存しない極端固有値の剛性バウンドを確立できるか？ これによりスパースなスケールでの鋭い制御が可能になるか？
• RQ4 固有値分布が半円法則の端部に及ぼされる影響を、総次数の確率変数 $ \mathcal{Z} $ によってどのように変形するか？
• RQ5 $ 1 \ll Np \ll N^{1/3} $ のスケールにおける固有値フラクチュエーションの正確なスケーリングは何か？ そしてそれはガウス極限と一致するか？

主な発見

• $ Np \gg N^\varepsilon $ の範囲で、第二固有値 $ \lambda_{N-1} $ のフラクチュエーションは漸近的にガウス型であり、$ \sqrt{\frac{N^2 p}{2}}(\lambda_{N-1} - \mathbb{E}\lambda_{N-1}) \xrightarrow{d} \mathcal{N}(0,1) $ が成り立ち、$ Np \gg N^{2/9} $ から $ Np \gg N^\varepsilon $ まで範囲が拡張される。
• 固有値フラクチュエーションは、すべてが1つの確率変数 $ \mathcal{Z} $ によって支配され、これはグラフの正規化された総次数に対応し、標準正規分布に収束する。
• 極端固有値に対して、$ (Np)^{-1} $-展開に依存しない精度 $ N^{-1/2-\varepsilon}(Np)^{-1/2} $ の新しい剛性バウンドが確立された。
• この結果により、$ Np \gg N^\varepsilon $ のスケールにおけるスパースなランダム行列の固有値フラクチュエーションの全体像が完成し、EKYY2, LS1, HLY, H19 の後で最後の欠落部分が埋められた。
• 半円法則の端部は $ \mathcal{Z} $ によって変形され、固有値位置 $ \gamma_i $ は $ \gamma_i - \gamma_{0,i}(1 + \mathcal{Z}/2) = O_{\prec}(1/(\sqrt{N}q^3)) $ を満たし、一次項のシフトが確認された。
• 証明技法は $ (Np)^{-1} $ 展開を避けており、ステュルツェス変換および自己整合方程式の精密解析に依存することで、最適スケーリングが達成された。