[論文レビュー] Spectral Statistics of Sparse Random Graphs with a General Degree Distribution

Ben Adlam, Ziliang Che|arXiv (Cornell University)|Sep 11, 2015

Graph theory and applications参考文献 28被引用数 15

ひとこと要約

本稿は、一般の次数分布をもつスパースなランダムグラフのスペクトル統計を、Chung-Luモデルにおいて確立し、最適スケールまで下がる局所法と、スティルチェス変換の関数的自己整合方程式を用いたバルク普遍性を証明する。結果はErdős2013bおよびLandon2015を、任意の次数列をもつスパースグラフへと拡張し、固有値統計がバルクでGaussian Orthogonal Ensemble (GOE)普遍性に収束することを示す。

ABSTRACT

We consider the adjacency matrices of sparse random graphs from the Chung-Lu model, where edges are added independently between the $N$ vertices with varying probabilities $p_{ij}$. The rank of the matrix $(p_{ij})$ is some fixed positive integer. We prove that the distribution of eigenvalues is given by the solution of a functional self-consistent equation. We prove a local law down to the optimal scale and prove bulk universality. The results are parallel to \cite{Erdos2013b} and \cite{Landon2015}.

研究の動機と目的

• Erdős-Rényiモデルを超えて、任意の次数列をもつスパースランダムグラフの固有値分布を理解すること。
• 最適スケールまで下がるChung-Luランダムグラフモデルにおける隣接行列の局所法を確立すること。
• 固有値統計のバルク普遍性を証明し、エントリの分布の詳細にかかわらずGOE統計に収束することを示すこと。
• Wigner行列からのスペクトル結果を、スパースかつ非一様なランダムグラフ（べき乗則または一般次数分布）へと一般化すること。
• 極限スペクトル分布を特徴付ける、スティルチェス変換の関数的自己整合方程式を導出すること。

提案手法

• 頂点の次数によって決定されるエッジ確率 $ p_{ij} = d_i d_j / D $ をもつChung-Luランダムグラフモデルを使用する。
• このようなグラフの隣接行列を解析し、経験的スペクトル分布のスティルチェス変換の自己整合方程式を導出する。
• 解の $ G = (H - z)^{-1} $ と誤差項 $ \Lambda $ を制御する連続性によるフレームワークを用いて局所法を適用する。
• エネルギー $ E $ における固有値密度の追跡に、スティルチェス変換 $ m(z) = \int (t - z)^{-1} \mu(dt) $ を用いる。
• 自己整合方程式の安定性解析を実施し、$ \Lambda \prec \Phi = (N\eta)^{-1/2} $ を用いて解の成分における誤差を評価する。
• 連続性による議論と摂動バウンドを用いて、解の行列が自己整合方程式の解に収束することを示す。

実験結果

リサーチクエスチョン

• RQ1 一般次数分布をもつスパースランダムグラフのスペクトル分布は、Wignerの半円則からどれほど逸脱するか？
• RQ2 スパースランダムグラフの隣接行列に対して、最適スケール $ N^{-1} $ まで下がる局所法を確立できるか？
• RQ3 このようなグラフのバルク固有値統計は普遍性を示し、Gaussian Orthogonal Ensemble (GOE) 統計に収束するか？
• RQ4 スパースかつ非一様な状況における極限スペクトル分布を支配する関数的方程式は何か？
• RQ5 スティルチェス変換の自己整合方程式の解が、極限固有値分布を特徴付けるための条件は何か？

主な発見

• 極限スペクトル分布は、スティルチェス変換の関数的自己整合方程式の解によって特徴付けられ、非一様グラフへの半円則の一般化を実現する。
• 最適スケール $ N^{-1} $ まで下がる局所法が成立し、$ \Lambda \prec \Phi = (N\eta)^{-1/2} $ を満たすことで、微視的スケールでの固有値密度の正確な追跡が保証される。
• バルク普遍性が確立された：固有値の $ n $-点相関関数は、エントリの分布の詳細にかかわらずGOEのものに収束する。
• 次数分布が集中していなくても、べき乗則（スケールフリー）の場合を含め、結果はスパースグラフに任意の次数列をもつ場合に成立する。これにより、先行研究を任意の次数列をもつスパースグラフへと拡張する。
• 次数列の小さな摂動に対しても局所法が安定しており、$ \|s^{(N)} - s^*\nless \varepsilon_0 $ の下で連続性による議論によって示された。
• スペクトル領域 $ \mathcal{D}_\delta^I $ は、スティルチェス変換の虚部の均一な制御を保証し、区間 $ I $ におけるバルクでの局所法の成立を可能にする。