[論文レビュー] The circular law for signed random regular digraphs

Nicholas A. Cook|arXiv (Cornell University)|Aug 2, 2015

Random Matrices and Applications参考文献 33被引用数 3

ひとこと要約

この論文は、$A$ を一様なランダム $d$-正則有向グラフの隣接行列とし、$X$ を独立同分布の符号付きベルヌーイ行列とするとき、$
\frac{1}{\sqrt{d}}Y$（$Y = A \odot X$）の経験的固有値分布が、$n \to \infty$ のとき複素平面における単位円板上の一様分布に弱収束することを証明することで、符号付きランダム正則有向グラフの円法を確立する。証明は、$A$ が準ランダム性の条件下に成り立つ $A \odot X + B$ の最小特異値に対する新しい下界に依存している。

ABSTRACT

We consider a large random matrix of the form $Y=A\odot X$, where $A$ the adjacency matrix of a uniform random $d$-regular directed graph on $n$ vertices, with $d=\lfloor p n floor$ for some fixed $p \in (0,1)$, and $X$ is an $n imes n$ matrix of iid centered Bernoulli signs (here $\odot$ denotes the matrix Hadamard product). We prove that as $n ightarrow \infty$, the empirical spectral distribution of $\frac{1}{\sqrt{d}}Y$ converges weakly in probability to the uniform measure on the unit disk in the complex plane. A key component of our proof is a lower bound on the least singular value of matrices of the form $A\odot X+B$, with $X$ as above, $B$ deterministic, and $A$ a deterministic 0/1 matrix satisfying certain quasirandomness conditions.

研究の動機と目的

• ランダムな符号構造を伴う符号付きランダム正則有向グラフの極限固有値分布を確立する。
• $\frac{1}{\sqrt{d}}Y$ の経験的固有値測度が、単位円板上の一様測度に弱収束することを証明する。
• 準ランダムな 0/1 行列と独立同分布の符号付きベルヌーイ行列のハダマール積からなるランダム行列のスペクトル挙動を扱う。
• 構造化されたランダム行列 $A \odot X + B$ の最小特異値に対する頑健な下界を確立する。
• スパースなランダム行列に円法を拡張する。ここで、スパース性パターンは決定論的であり、符号は確率的である。

提案手法

• 論文は、$A$ を一様なランダム $d$-正則有向グラフの隣接行列（$d = \lfloor p n \rfloor$）とし、$X$ を $n \times n$ の独立同分布の中心化ベルヌーイ符号行列とする行列 $Y = A \odot X$ を分析する。
• 証明の鍵は、$A$ が準ランダム性を満たす条件下で、任意の決定論的行列 $B$ に対して $A \odot X + B$ の最小特異値に対する下界を確立することにある。
• $A$ の準ランダム性条件により、グラフ構造が十分に均一であることが保証され、スペクトル的異常を防ぐ。
• 濃度の法則とモーメント法を用いて、$Y$ の特異値および固有値分布を制御する。
• モーメント法およびリンデバーグ置換技法を、符号付きでスパースな行列設定に適応することで、円法を導出する。
• すべてのモーメントが単位円板上の一様法則のモーメントに収束することを示すことにより、経験的固有値分布の弱収束を確立する。

実験結果

リサーチクエスチョン

• RQ1 隣接行列 $A$ がランダムな $d$-正則有向グラフで、$X$ が符号付きベルヌーイ行列であるとき、正規化された行列 $\frac{1}{\sqrt{d}}Y$（$Y = A \odot X$）の極限固有値分布は何か？
• RQ2 隣接行列がスパースで準ランダムである場合、符号付きランダム正則有向グラフに対して円法が成り立つか？
• RQ3 $A$ が準ランダム性を満たし、$B$ が決定論的であるとき、$A \odot X + B$ の最小特異値はどのように振る舞うか？
• RQ4 スパース性パターンが決定論的で符号が確率的であるようなランダム行列に対し、円法を拡張できるか？
• RQ5 0/1 行列 $A$ がどのような構造的条件下にあれば、$\frac{1}{\sqrt{d}}Y$ のスペクトル測度が単位円板上の一様法則に収束するか？

主な発見

• $n \to \infty$ のとき、$\frac{1}{\sqrt{d}}Y$ の経験的固有値分布は、複素平面における単位円板上の一様測度に弱収束する。
• $A$ が準ランダム性を満たす条件下で、$A \odot X + B$ の最小特異値に対する下界が確立され、これは $Y - zI$ の逆行列の存在を制御するために不可欠である。
• 行列 $A$ のスパース性（$d = \lfloor p n \rfloor$、$p \in (0,1)$ 固定）にもかかわらず、円法が成立しており、スパース性に対して強いロバストネスを示している。
• 極限固有値測度は、$A$ が準ランダム性条件を満たしていれば、$d$-正則有向グラフの具体的な実現に依存しない。
• この結果は、符号付きランダム正則有向グラフの固有値分布が、決定論的スパース性パターンでさえも、漸近的に円形であることを確認している。
• 証明技法により、構造的スパース性と独立同分布の確率的符号を有する、新しいクラスのスパースランダム行列への円法の拡張が可能となった。