[論文レビュー] Spectral statistics of sparse Erdős-Rényi graph Laplacians

Jiaoyang Huang, Benjamin Landon|arXiv (Cornell University)|Oct 21, 2015

Spectral Theory in Mathematical Physics被引用数 4

ひとこと要約

この論文は、任意の固定された $\delta > 0$ に対して $p \geq N^{\delta}/N$ のスケールにおけるスパースな Erdős-Rényi ランダムグラフのラプラシアン行列に対して、最適スケール $\eta \gtrsim N^{-1}$ での局所法を確立し、固有値統計がガウス正交 Ensemble (GOE) と一致することを証明する。行列要素間の弱い相関を扱うために高次レゾルベント展開と図式記法を用いることで、固有ベクトルの拡散性とバッフル固有値統計の普遍性を確立する。

ABSTRACT

We consider the bulk eigenvalue statistics of Laplacian matrices of large Erdős-Rényi random graphs in the regime $p \geq N^δ/N$ for any fixed $δ>0$. We prove a local law down to the optimal scale $η\gtrsim N^{-1}$ which implies that the eigenvectors are delocalized. We consider the local eigenvalue statistics and prove that both the gap statistics and averaged correlation functions coincide with the GOE in the bulk.

研究の動機と目的

• スパースな Erdős-Rényi ランダムグラフのラプラシアン行列に対して、最適スケール $\eta \gtrsim N^{-1}$ まで下がる局所法を確立すること。
• ラプラシアン行列のバッフル固有値統計が、ガウス正交 Ensemble (GOE) のそれと一致することを証明すること。
• ラプラシアン行列における行列要素間の強い相関という課題に直面し、標準的な Wigner エンsemble 法が適用しにくいことに対処すること。
• 局所法の結果として固有ベクトルの拡散性が導かれるようにすること。
• 従来の結果が隣接行列に限られていたのに対し、スパース領域におけるラプラシアン行列への普遍性結果を拡張すること。

提案手法

• 行列の $i$-番目の行・列と $i$-番目のマイナー間の相関に起因する誤差項を推定するため、高次レゾルベント展開を導出する。
• 図式記法を導入し、[iso2014] にインspired されて展開式の項を体系的に追跡し、誤差寄与を制御する。
• シュール補行列式とレゾルベント恒等式を用いて、グリーン関数 $G$ をマイナー $G^{(k)}$ および $\tilde{G}^{(k)}$ と関連づけ、再帰的推定を可能にする。
• ラプラシアン行列を変形された Wigner エンsemble $R^*DR + gI_N$ と独立な GOE 行列に分解し、自由確率論を用いてグローバル法の収束を示す。
• スティルチェス変換の自己稠密方程式を適用し、$\eta \gtrsim N^{-1}$ まで半円法則と標準ガウス分布の自由畳み込みに収束することを証明する。
• 各 $k$ に対して $\tilde{G}^{(k)}$ の成分ノルムとスティルチェス変換の自由畳み込みからのずれを制御する確率的事象 $\Xi(z)$ を確立する。

実験結果

リサーチクエスチョン

• RQ1 Erdős-Rényi グラフのラプラシアン行列の局所固有値統計は、$p \geq N^{\delta}/N$ の下でバッフル領域において GOE 統計に収束するか？
• RQ2 行列要素間の相関が存在するにもかかわらず、最適スケール $\eta \gtrsim N^{-1}$ まで局所法をラプラシアン行列に対して確立できるか？
• RQ3 スパース領域における局所法から、固有ベクトルの拡散性がどのように導かれるか？
• RQ4 高次レゾルベント展開を用いて、ラプラシアン行列における弱い相関構造をどの程度制御できるか？
• RQ5 隣接行列の場合と同様に、スパース Erdős-Rényi モデルにおけるラプラシアン行列に対しても、バッフル固有値統計の普遍性が保たれるか？

主な発見

• Erdős-Rényi グラフのラプラシアン行列に対して、最適スケール $\eta \gtrsim N^{-1}$ まで下がる局所法が証明され、経験的固有値分布のスティルチェス変換が半円法則と標準ガウス分布の自由畳み込みによって近似されることを示した。
• 局所法から導かれる剛性推定により、ラプラシアン行列の固有ベクトルは拡散的であることが示された。
• バッフル領域における固有値のギャップ統計と平均化相関関数が、GOE のそれと一致し、スパース領域における普遍性が確立された。
• 高次レゾルベント展開により、$i$-番目の行と $i$-番目のマイナー間の相関がうまく制御され、漸近的解析においてその項を無視できることが示された。
• 独立成分を有する分解 $H = R^*DR + gI_N + \text{GOE}$ を用いることで、変形された Wigner エンsemble に関する既知の結果を適用し、普遍性を導くことが可能になった。
• 局所法が途方なく高い確率で成り立つことが証明され、スティルチェス変換の誤差項がスペクトル領域全体にわたって一様に制御された。