[論文レビュー] Random Matrices: The circular Law

Terence Tao, Van Vu|ArXiv.org|Aug 21, 2007

Random Matrices and Applications参考文献 18被引用数 9

ひとこと要約

この論文は、平均が0で有限の分散をもつi.i.d.の成分を持つ独立同分布のランダム行列について、強い円周法則を証明する。これは、経験的固有値分布がユニットディスク上での一様分布へほとんど確実に一様収束することを確立する。証明の根幹は、加法的組合せ論の道具を用いた、最小特異値に対する新しい定量的下界であり、より弱いモーメント仮定の下でも成り立ち、スパース行列に対しても適用可能である。

ABSTRACT

Let $\a$ be a complex random variable with mean zero and bounded variance $σ^{2}$. Let $N_{n}$ be a random matrix of order $n$ with entries being i.i.d. copies of $\a$. Let $λ_{1}, ..., λ_{n}$ be the eigenvalues of $\frac{1}{σ\sqrt n}N_{n}$. Define the empirical spectral distribution $μ_{n}$ of $N_{n}$ by the formula $$ μ_n(s,t) := \frac{1}{n} # \{k \leq n| \Re(λ_k) \leq s; \Im(λ_k) \leq t \}.$$ The Circular law conjecture asserts that $μ_{n}$ converges to the uniform distribution $μ_\infty$ over the unit disk as $n$ tends to infinity. We prove this conjecture under the slightly stronger assumption that the $(2+η)þ$-moment of $\a$ is bounded, for any $η>0$. Our method builds and improves upon earlier work of Girko, Bai, Götze-Tikhomirov, and Pan-Zhou, and also applies for sparse random matrices. The new key ingredient in the paper is a general result about the least singular value of random matrices, which was obtained using tools and ideas from additive combinatorics.

研究の動機と目的

• 平均が0で非ゼロの有限分散をもつ複素ランダム行列について、強い円周法則を確立すること。
• 任意のη>0に対して(2+η)次のモーメントが有界であるという条件下で、長年の円周法則の予想を解決すること。
• 従来、ベルヌーイ分布のような離散分布を含めないために必要とされていた、実部と虚部の同時分布に対する有界密度仮定を排除すること。
• 最小特異値の解析をスパース設定に適応することで、スパースランダム行列に対しても結果を拡張すること。

提案手法

• 経験的固有値分布のステュルツェス変換を用いて、固有値統計とシフトされたランダム行列の特異値を関連付ける。
• コルモゴロフの大数の法則の定量的バージョンを適用してモーメントの収束を制御し、固有値測度のタイトネスを保証する。
• 加法的組合せ論における新しい逆リトルウッド＝オフォルド定理を構築し、ランダム行列の最小特異値に対する強い下界を確立する。
• トレースモーメントの主な寄与が各辺をちょうど2回通る経路から来ることを示すことで、スパース設定に適応したモーメント推定を修正する。
• 問題を有界な成分に還元するために切断操作を用い、最小特異値がステュルツェス変換を通じて固有値分布を制御することを活用する。
• コーシー＝シュワルツとフビニの定理を用いて、最小特異値の対数積分が非ゼロとなる集合の測度を制御し、ほとんど確実な収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 有限の2次のモーメントと(2+η)次のモーメントの有界性という弱い条件のもとで、i.i.d.ランダム行列の経験的固有値分布は、ユニットディスク上の一様分布へほとんど確実かつ一様に収束するか？
• RQ2 従来の結果で必要とされていた有界密度仮定を排除することで、ベルヌーイ分布のような離散分布を含めることは可能か？
• RQ3 弱いモーメント仮定のもとで、非エルミートランダム行列の最小特異値を高確率で制御することは可能か？
• RQ4 各成分がゼロである確率が固定されたスパースランダム行列に対しても、円周法則を拡張することは可能か？
• RQ5 経験的固有値分布の円周法則への収束速度に対して、どのような定量的バウンドを確立できるか？

主な発見

• 任意の複素i.i.d.ランダム行列について、平均が0で非ゼロの有限分散をもち、任意のη>0に対して(2+η)次のモーメントが有界である限り、強い円周法則が成り立つ。
• 経験的固有値分布がユニットディスク上の一様分布へほとんど確実かつ一様に収束し、失敗確率の和がnに関して収束する。
• 加法的組合せ論における新しい逆リトルウッド＝オフォルド定理が、最小特異値に対する定量的下界を提供し、これが主たる技術的革新である。
• 各成分が非ゼロである確率がρであるスパースランダム行列に対しても、ρがnとともに増加しρn → ∞を満たす限り、結果は拡張可能である。
• すべてのn ≥ 1に対して、P(sup_{s,t} |μ_n(s,t) − μ_∞(s,t)| ≤ n^{-η'}) ≥ 1 − O(n^{-1−η'}) という形の定量的収束速度を確立し、多項式的収束速度を示唆している。
• 従来の研究で必要とされていた有界密度仮定が排除され、ベルヌーイ確率変数のような離散分布の含めも可能になった。