[論文レビュー] Circular law, Extreme Singular values and Potential theory

Guangming Pan, Zhou Wang|ArXiv.org|May 25, 2007

Random Matrices and Applications参考文献 10被引用数 11

ひとこと要約

本稿は、複素確率行列のi.i.d.成分が平均0、分散$1/n$で、4次のモーメントが有限である条件のもとで、複素平面におけるポテンシャル理論と極値特異値のほとんど確実収束を組み合わせることにより、i.i.d.複素確率行列に対する円周法則を証明する。経験的固有値分布は、単位円板上での一様分布にほとんど確実に収束する。

ABSTRACT

Consider the empirical spectral distribution of complex random $n imes n$ matrix whose entries are independent and identically distributed random variables with mean zero and variance $1/n$. In this paper, via applying potential theory in the complex plane and analyzing extreme singular values, we prove that this distribution converges, with probability one, to the uniform distribution over the unit disk in the complex plane, i.e. the well known circular law, under the finite fourth moment assumption on matrix elements.

研究の動機と目的

• i.i.d.複素確率行列の経験的固有値分布が、複素平面における単位円板上の一様分布にほとんど確実に収束することを確立すること。
• 有界密度やサブガウス型尾部を仮定せず、有限4次モーメントという最小限のモーメント仮定のもとで、円周法則の予想を解決すること。
• 従来の方法（モーメント法やステイエルジェス変換）の制限を克服するため、ポテンシャル理論と極値特異値解析を組み合わせたフレームワークを構築すること。
• ギルコらの先行研究に見られる数学的ギャップを回避する、きめ細かな円周法則の証明を提供すること。

提案手法

• 複素平面におけるポテンシャル理論を用いて、経験的固有値測度の対数ポテンシャルを分析し、$ n^{-1/2}{f X} - z{f I} $ の行列式と関連付ける。
• 恒等式$ U^{ u_n}(z) = -\frac{1}{2n} \text{Re} \big[ \text{Tr} \big( \text{Log}({\bf H}_n) \big) \big] $ を用い、$ {\bf H}_n = (n^{-1/2}{\bf X} - z{\bf I})(n^{-1/2}{\bf X}^* - \bar{z}{\bf I}) $ として、ヘルミート行列の固有値を用いてポテンシャルを表現する。
• BaiとSilversteinのランク不等式および収束結果を用いて、$ {\bf H}_n $ の固有値分布を制御し、ポテンシャル関数の収束を保証する。
• ボレル＝カンテリの補題と小球確率推定を用いて、特に$ s_n({\bf X} - z\tilde{\bf I}) < n^{-3/2 - \nu} $ の場合における小さな特異値からの寄与を制御する。
• 最小特異値が小さいとき、$ \frac{1}{2n} \big| \text{Log} \big( \text{Det}({\bf H}_n) \big) \big| \to 0 $ がほとんど確実に成り立つという事実を用い、特異値分布の下側尾部からの寄与を無視できるようにする。
• 対数ポテンシャルに関する一意性定理と下界定理を活用して、ポテンシャルのほとんど確実収束、したがって固有値測度のほとんど確実収束が、単位円板上の一様分布に到達することを結論づける。

実験結果

リサーチクエスチョン

• RQ1 平均0、分散$1/n$のi.i.d.成分を持つ$ n \times n $複素確率行列の経験的固有値分布は、有限4次モーメントのもとで、単位円板上の一様分布にほとんど確実に収束するか？
• RQ2 モーメント法やステイエルジェス変換に依存せずに、複素平面におけるポテンシャル理論を用いて円周法則を確立できるか？
• RQ3 極値特異値、特に最小特異値は、固有値測度の円周法則への収束においてどのような役割を果たすか？
• RQ4 有界密度やサブガウス型尾部を仮定せず、最小限のモーメント条件$ \text{E}|X_{11}|^4 < \big| $のもとで円周法則を証明できるか？

主な発見

• 有限4次モーメント条件$ \text{E}|X_{11}|^4 < \big| $のもとで、$ n^{-1/2}{\bf X} $ の経験的固有値分布$ \nu_n $ は、複素平面における単位円板上の一様分布にほとんど確実に収束する。
• 経験的固有値測度のポテンシャル$ U^{\nu_n}(z) $ は、ほとんど確実に$ -\frac{1}{2} \big( \text{Re} \big[ \text{Tr} \big( \text{Log}({\bf H}_n) \big) \big] \big) $ に収束し、これは単位円板上の一様分布のポテンシャルに収束する。
• 特異値分布の下側尾部からの寄与は無視できる：最小特異値が小さいとき、$ \frac{1}{2n} \big| \text{Log} \big( \text{Det}({\bf H}_n) \big) \big| \to 0 $ がほとんど確実に成り立つ。
• 一意性定理および対数ポテンシャルの下界定理を用いて、$ \nu_n $ の円周法則への収束が確立され、極限測度の一意性が保証される。
• Bai (1997) の有界密度仮定やGötzeとTikhomirov (2010) のサブガウス型尾部仮定に依存せず、最小限の4次モーメント条件のもとで収束が達成される。
• 証明により、極限ポテンシャル$ -\frac{1}{2} \big( \text{Re} \big[ \text{Tr} \big( \text{Log}({\bf H}_n) \big) \big] \big) $ が$ |z| \ne 1 $ に対して$ \frac{1}{2} \big( 1 - |z|^2 \big) $ に収束することが示され、これは単位円板上の一様分布のポテンシャルと一致する。