[論文レビュー] Spectral radii of sparse random matrices

Florent Benaych-Georges, Charles Bordenave+1 more|arXiv (Cornell University)|Apr 10, 2017

Random Matrices and Applications参考文献 21被引用数 15

ひとこと要約

本稿は、非一様 Erdős-Rényi グラフやストークスティックブロックモデルの隣接行列を含むスパースなランダム行列のスペクトル半径に対する鋭い上限を確立する。そのために、行列のスペクトル半径とそのバックトラッキングを避けるバージョンのスペクトル半径との間の新しい関係を導入する。主な結果として、$ G(n, d/n) $ において、$ d / \log n \to \infty $ のとき、極端な固有値が漸近的固有値分布の支持の端に収束することを示し、$ d \asymp \log n $ で鋭い遷移が発生することを明らかにした。これは、ランダム行列理論における長年の未解決問題を解決するものである。

ABSTRACT

We establish bounds on the spectral radii for a large class of sparse random matrices, which includes the adjacency matrices of inhomogeneous Erdős-Rényi graphs. Our error bounds are sharp for a large class of sparse random matrices. In particular, for the Erdős-Rényi graph $G(n,d/n)$, our results imply that the smallest and second-largest eigenvalues of the adjacency matrix converge to the edges of the support of the asymptotic eigenvalue distribution provided that $d \gg \log n$. Together with the companion paper [3], where we analyse the extreme eigenvalues in the complementary regime $d \ll \log n$, this establishes a crossover in the behaviour of the extreme eigenvalues around $d \sim \log n$. Our results also apply to non-Hermitian sparse random matrices, corresponding to adjacency matrices of directed graphs. The proof combines (i) a new inequality between the spectral radius of a matrix and the spectral radius of its nonbacktracking version together with (ii) a new application of the method of moments for nonbacktracking matrices.

研究の動機と目的

• 非一様 Erdős-Rényi グラフやストークスティックブロックモデルのグラフを含む、広範なスパースなランダム行列のスペクトル半径に対する鋭く定量的な境界を導出すること。
• $ d / \log n \to \infty $ の領域において、Erdős-Rényi グラフ $ G(n, d/n) $ の極端な固有値の振る舞いを解明し、漸近的固有値分布の支持の端に収束することを示すこと。
• $ d \asymp \log n $ における固有値の振る舞いの遷移を確立し、スパース領域 $ d / \log n \to 0 $ における先行研究を補完すること。
• 非エルミート行列へこの手法を拡張し、有向ランダムグラフや独立で平均ゼロの項を持つ一般のスパースなランダム行列をカバーすること。
• スパース行列に対する非バックトラッキング行列技術と洗練されたモーメント法の応用を組み合わせた、新たな解析的枠組みを構築すること。

提案手法

• 行列 $ H $ のスペクトル半径とその非バックトラッキング行列 $ B $ のスペクトル半径との間の決定的不等式を導入し、スペクトルを関連付ける Ihara-Bass 型の公式を用いる。
• $ H $ の $ \ell^2 \to \ell^\infty $ および $ \ell^1 \to \ell^\infty $ ノルムに対する境界を確立し、通常は集中不等式によって取り扱える。
• $ \mathbb{E} \operatorname{Tr} B^\ell B^{*\ell} $ に対するモーメント法を適用し、多重グラフ上の非バックトラッキングウォークを分析して $ B $ のスペクトル半径を制御する。
• 正規化とパスの削除を用いたソフトな組合せ的還元を導入し、次数2の頂点を除いた後、すべての頂点の次数が3以上であるグラフに焦点を当てる。
• ウォークペアの同値類をパラメータ化する $ (U, \zeta, k) $ を定義する。ここで $ U $ は有向多重グラフ、$ \zeta $ は正規パスのペア、$ k $ はパスの重複度に基づいて辺に重みを割り当てる。
• 正規化されたウォーク構成を標準形に写像する双対写像を用いて、寄与するウォークタイプの正確な数え上げとトレースモーメントの境界化を可能にする。

実験結果

リサーチクエスチョン

• RQ1 Erdős-Rényi グラフ $ G(n, d/n) $ の極端な固有値の振る舞いは、どのような閾値で局在的から漸近的固有値分布の支持の端への収束に遷移するか？
• RQ2 正則的または均一でないグラフを超えて、非バックトラッキングウォークを用いてスパースなランダム行列のスペクトル半径に対する鋭い境界を導出可能か？
• RQ3 独立で平均ゼロの項を持つ非エルミートなスパースなランダム行列のスペクトル半径は、一般にどのように振る舞い、非バックトラッキングウォークを用いて解析可能か？
• RQ4 $ d \asymp \log n $ の閾値がスパースなランダム行列のスペクトル的挙動に果たす正確な役割は何か？また、グラフの連結性とどのように関係するか？
• RQ5 非バックトラッキングウォークに対するモーメント法をどの程度洗練させれば、スパース行列のスペクトル解析における鋭い誤差境界を達成できるか？

主な発見

• Erdős-Rényi グラフ $ G(n, d/n) $ において、隣接行列の最小固有値と第二固有値は、$ d / \log n \to \infty $ のとき、漸近的固有値分布の支持の端に収束し、鋭い誤差境界を伴う。
• 本稿は、$ d \asymp \log n $ における極端な固有値の挙動の鋭い遷移を確立し、ランダムグラフの連結性閾値と一致させ、スぺクトルグラフ理論における主要な未解決問題を解決した。
• 本手法は、先行研究（Bandeira と Van Handel、HLY17 など）に比べ、主項において鋭く、補正項においても優れた性能を示し、特に非常にスパースな領域で顕著である。
• 独立で平均ゼロの項を持つ非エルミートなスパースなランダム行列のスペクトル半径に対しても、同じ枠組みを用いて境界を導出できた。エントリの独立性が自然にトレースモーメント解析における非バックトラッキング構造を誘発する。
• 境界 $ \mathbb{E} \operatorname{Tr} H^\ell H^{*\ell} \leq n \sum_{\xi \in \mathcal{C}_0} n^{-g(G_\xi)} \kappa^{g(G_\xi)} q^{2|E(G_\xi)| - 2\ell} $ が成り立つ。ここで $ \mathcal{C}_0 $ は正規ウォークペアの集合であり、$ g(G_\xi) $ はグラフ $ G_\xi $ のサイクル数である。この境界により、モーメントの精密な制御が可能になる。
• この枠組みは、非一様 Erdős-Rényi グラフやストークスティックブロックモデルの行列を含め、エルミートおよび非エルミート行列に一様に適用可能であり、広範な一般性と頑健性を示している。