[論文レビュー] Limiting empirical spectral distribution for the non-backtracking matrix of an Erdős-Rényi random graph

Ke Wang, Philip Matchett Wood|arXiv (Cornell University)|Oct 30, 2017

Random Matrices and Applications参考文献 24被引用数 5

ひとこと要約

本稿は、$np / \log n \to \infty$ のとき、Erdős-Rényi 隨機グラフ $G(n,p)$ の非バックトラッキング行列の極限的経験的固有値分布（ESD）を確立する。一部のランダム性を除去した行列 $H_0$ を用いて、スペクトルが決定論的極限に収束することを示す。Tao と Vu の置換原理および摂動論（Bauer-Fike）を用い、元のスペクトルが除去された行列のスペクトルをよく近似することを証明し、稠密および疎な両領域における極限的 ESD の明確な特徴付けが得られる。

ABSTRACT

In this note, we give a precise description of the limiting empirical spectral distribution (ESD) for the non-backtracking matrices for an Erdős-Rényi graph assuming $np/\log n$ tends to infinity. We show that derandomizing part of the non-backtracking random matrix simplifies the spectrum considerably, and then we use Tao and Vu's replacement principle and the Bauer-Fike theorem to show that the partly derandomized spectrum is, in fact, very close to the original spectrum.

研究の動機と目的

• 当該論文の目的は、$np \to \infty$ のとき、$G(n,p)$ の非バックトラッキング行列の極限的経験的固有値分布（ESD）を特徴付けることである。
• 元の非バックトラッキングスペクトルを近似する部分的にデラandom化された行列 $H_0$ を導入することで、スペクトル解析を簡素化することである。
• ランダム行列理論の高度な道具を用いて、元の行列の ESD が $H_0$ の ESD に収束することを確立することである。
• $p = c/n$ の疎な領域にとどまらず、$np \to \infty$ となる稠密および疎な領域において、非バックトラッキングスペクトルの理解を拡張することである。

提案手法

• ランダム度行列 $D$ をその期待値 $\mathbb{E}[D]$ に置き換えることで、非バックトラッキング行列をデラandom化し、部分的に平均化された行列 $H_0 = \begin{pmatrix} A & -\alpha I \\ I & 0 \end{pmatrix}$ を構成する。ここで $\alpha = (n-1)p - 1$ である。
• Tao と Vu の置換原理を用い、強い依存性があるにもかかわらず、元の確率的行列 $H$ とデラrandom化行列 $H_0$ のスペクトルを比較する。
• Bauer-Fike 定理を用いて、$H$ と $H_0$ のスペクトル距離を評価し、適切な条件下で $H$ の固有値が $H_0$ の固有値に近いことを示す。
• 特性方程式 $\det(\mu^2 I - \mu A + D - I) = 0$ を用いて $H_0$ のスペクトルを解析し、$2n \times 2n$ ブロック行列の固有値を理解する問題に還元する。
• 複素平面における固有値の位置に関するケース解析を用いて、スペクトルギャップの一様な下界を確立し、スペクトル分布の安定性を保証する。
• 非バックトラッキング行列の極限的 ESD が、$H_0$ のスペクトルによって完全に特徴付けられる決定論的測度に収束することを証明する。

実験結果

リサーチクエスチョン

• RQ1 当該論文の研究問題は、$np / \log n \to \infty$ のとき、$G(n,p)$ の非バックトラッキング行列の極限的経騢的固有値分布（ESD）が何か。
• RQ2 稠密領域（$p$ が定数）および疎領域（$p \to 0$、$np \to \infty$）における非バックトラッキング行列のスペクトルはどのように振る舞うか。
• RQ3 非バックトラッキング行列のスペクトルは、デラrandom化されたバージョンによって近似可能か。その近似誤差はどの程度か。
• RQ4 Tao と Vu の置換原理は、この文脈における従属する確率的行列の比較にどのように寄与するか。
• RQ5 非バックトラッキング行列の極限的 ESD は、摂動論によって定量的に評価可能であり、スペクトル摂動に対して安定か。

主な発見

• 非バックトラッキング行列の極限的経験的固有値分布（ESD）は、$np / \log n \to \infty$ のとき、決定論的測度に収束し、固有値分布の明確な特徴付けが得られる。
• 元の非バックトラッキング行列のスペクトルは、部分的にデラrandom化された行列 $H_0$ のスペクトルに非常に近く、与えられた条件下でスペクトル距離が $O(1/\sqrt{np})$ で有界である。
• Tao と Vu の置換原理が、従属する確率的行列系列へと拡張され、元のスペクトルとデラrandom化スペクトルの比較を可能にした。
• 非バックトラッキング行列の固有値は、集合 $\{\pm 1\} \cup \{ \text{eigenvalues of } H \}$ に含まれる。ここで $H = \begin{pmatrix} A & I - D \\ I & 0 \end{pmatrix}$ であり、この集合は極限において完全に特徴付けられる。
• 条件 $np \to \infty$ の下で、極限的 ESD は安定的かつ決定論的であり、バルクのフラクチュエーションがないことが示された。$p$ が $n$ とともに減少しても成り立つ。
• 解析により、デラrandom化がスペクトル構造を顕著に単純化することが確認され、$H_0$ の得られるスペクトルは、元の行列の極限的挙動を高い精度で捉えていることが判明した。