[論文レビュー] Spectrum of Random $d$-regular Graphs Up to the Edge

Jiaoyang Huang, Horng‐Tzer Yau|arXiv (Cornell University)|Feb 1, 2021

Random Matrices and Applications参考文献 74被引用数 7

ひとこと要約

本稿では、ランダムな $d$-正則グラフの正規化隣接行列の極値固有値が、$2$ からの多項式誤差バインディング内に集中することを確立している。具体的には、高確率 $1 - N^{-1 + \varepsilon}$ で $\lambda_2, |\lambda_N| \leq 2 + N^{-c}$（$c > 0$）が成り立ち、すべての固有ベクトルが完全に局在化しないことを証明している。解析は、局所的リサンプリングとグリーン関数推定を組み合わせ、ケステン＝マケイのスペクトル分布の端まで固有値の剛性と局在化を達成している。

ABSTRACT

Consider the normalized adjacency matrices of random $d$-regular graphs on $N$ vertices with fixed degree $d\geq3$. We prove that, with probability $1-N^{-1+{\varepsilon}}$ for any ${\varepsilon} >0$, the following two properties hold as $N o \infty$ provided that $d\geq3$: (i) The eigenvalues are close to the classical eigenvalue locations given by the Kesten-McKay distribution. In particular, the extremal eigenvalues are concentrated with polynomial error bound in $N$, i.e. $λ_2, |λ_N|\leq 2+N^{-c}$. (ii) All eigenvectors of random $d$-regular graphs are completely delocalized.

研究の動機と目的

• ケステン＝マケイ分布の端まで、ランダムな $d$-正則グラフにおける固有値の剛性を確立すること。
• 極値固有値が $2$ からの多項式誤差バインディング内に集中することを証明し、以前の $O((\log \log N / \log N)^2)$ のバインディングを改善すること。
• 固定された $d \geq 3$ に対して、$d$-正則グラフ集合におけるすべての固有ベクトルの完全な局在化を確立すること。
• 局所的リサンプリングにおける安定性を制御するための精密化されたグリーン関数推定と、スペクトルフラクチュエーションの制御を実現すること。

提案手法

• エッジの局所的リサンプリングを用いて、グリーン関数のフラクチュエーションを制御し、安定性推定を導出する。
• シュール補行列式を用いて、拡張グラフにおけるリゾルベント要素を部分グラフのそれと関連付ける。
• リゾルベント恒等式を用いて、変更済みグラフと元のグラフ間のグリーン関数の差をバインドする。
• 木構造に類似した構造の仮定を導入し、再帰的推定によってリゾルベント要素の成長を制御する。
• 基準スペクトル測度としてケステン＝マケイ則を用い、$m_{sc}(z)$ と $\Delta(z)$ を用いて偏差を比較する。
• 命題 2.12 のグリーン関数推定を適用し、大きな $r$ に対して $|m_{sc}(z)/\sqrt{d-1}|^{2r}$ の形で要素をバインドする。

実験結果

リサーチクエスチョン

• RQ1 ランダムな $d$-正則グラフの極値固有値が、$2$ からの多項式誤差バインディング内に集中することが示せるか？
• RQ2 ランダムな $d$-正則グラフのすべての固有ベクトルが完全に局在化するか？
• RQ3 グリーン関数アプローチを用いて、ケステン＝マケイ分布の端まで固有値の剛性を確立できるか？
• RQ4 $d$-正則グラフ集合における第二固有値の最適誤差スケールは何か？
• RQ5 依存するエントリを持つスパarsなランダムグラフにおいて、局所的リサンプリングはスペクトル推定をどのように安定化させるか？

主な発見

• 高確率 $1 - N^{-1 + \varepsilon}$ で、極値固有値は $\lambda_2, |\lambda_N| \leq 2 + O(N^{-c})$（$c > 0$）を満たす。
• 固有値は端まで剛性を示し、偏差が $O(N^{-c})$ で抑えられる。これは、以前の $O((\log \log N / \log N)^2)$ のバインディングを改善する。
• すべての固有ベクトルは完全に局在化しており、$\ell^\infty$-ノルムが $O(N^{-1/2})$ である。
• グリーン関数推定は局所的リサンプリングに対して安定であり、スペクトルフラクチュエーションの制御を可能にする。
• スペクトル密度は、$O((\log N)^{-c}/N)$ のスケールまでケステン＝マケイ則に収束し、エッジユニバーサリティと整合的である。
• 本手法により、多項式誤差バインディングを伴うアロンの予想（スペクトルギャップ）の新たな証明が得られた。