[論文レビュー] Semicircle Law for a Class of Random Matrices with Dependent Entries

Friedrich Götze, Alexey Naumov+1 more|arXiv (Cornell University)|Nov 2, 2012

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

ひとこと要約

本稿は、分散σ_ij²が同一でなく、特定の形の依存性を示す場合に、Wignerの古典的結果を一般化することで、依存する要素をもつランダム対称行列の半円法則を確立する。リンデベルクの条件、分散正規化（1.4）、および行の分散が有界である条件（1.5）の下で、i.i.d. 要素や等分散がなくても、経験的固有値分布は弱収束して半円法則に近づく。

ABSTRACT

In this paper we study ensembles of random symmetric matrices $\X_n = {X_{ij}}_{i,j = 1}^n$ with dependent entries such that $\E X_{ij} = 0$, $\E X_{ij}^2 = σ_{ij}^2$, where $σ_{ij}$ may be different numbers. Assuming that the average of the normalized sums of variances in each row converges to one and Lindeberg condition holds we prove that the empirical spectral distribution of eigenvalues converges to Wigner's semicircle law.

研究の動機と目的

• 依存する要素と非同一分散をもつランダム対称行列に対するWignerの半円法則の拡張。
• 依存性と異分散性が存在する場合でも、経験的固有値分布が半円法則に収束する条件の確立。
• i.i.d. 要素や等分散を仮定する必要がある過去の結果を、より広いランダム行列アンサンブルのクラスに一般化すること。
• リンデベルクの条件と分散正規化（1.4）が、依存性がある場合の半円収束に対して十分であることを確認すること。
• 要素が無相関ではあるが独立ではない場合でも、適切なモーメントおよび分散条件のもとで、極限固有値分布が半円のままであることを示すこと。

提案手法

• 平均0、有限2次のモーメントをもつランダム変数の三角配列{X_jk}を導入し、X_jk = X_kjという対称的構造をとる。
• 3つの主要な条件を課す：(1.1) 他のすべての要素を条件とするときの条件付き平均が0、(1.2) 条件付き2次のモーメントがσ_ij²と整合すること、(1.3) 尾部確率に対するリンデベルク条件。
• さらに、分散正規化（1.4）：各行の分散の平均を1に正規化し、(1.5) 行の分散が絶対定数Cで有界であること。
• 期待固有値分布F^{X_n}(x)が半円分布G(x)に収束することを解析するために、スティルチェス変換法を用いる。
• モーメントのグラフ理論的分解を実施し、エッジの一致に基づいてグラフをC_1、C_2、C_3のタイプに分類し、標準的グラフ列挙を用いて寄与を分析する。
• 一致しないエッジの木構造から葉を再帰的に削除する手法を用い、モーメント寄与を抑え、(1.4)および(1.5)を活用して高次項が消えることを示す。

実験結果

リサーチクエスチョン

• RQ1 依存する要素をもつランダム対称行列の経験的固有値分布が、どのような条件下で半円法則に収束するか。
• RQ2 分散σ_ij²が非同一である場合でも、依存構造のもとで半円法則を拡張できるか。
• RQ3 要素が依存的ではあるが無相関である場合、リンデベルクの条件が半円収束に対して依然として十分であるか。
• RQ4 ∑_j σ_ij² / n → 1という正規化が、非同一分散の下で半円収束を保証するために果たす役割は何か。
• RQ5 モーメントの上限および分散の正則性（例：max B_i ≤ C）が、依存性がある場合の極限固有値分布に与える影響は何か。

主な発見

• 条件(1.1)〜(1.5)のもとで、期待固有値分布F^{X_n}(x)は標準半円法則G(x)に一様収束する。すなわち、n → ∞のときsup_x |F^{X_n}(x) - G(x)| → 0である。
• リンデベルク条件(1.3)により、要素の極端な逸脱が極限固有値測度に影響を与えないことが保証される。
• 条件(1.4)、∑_i |B_i² - 1|/n → 0は、各行の平均分散が1に正規化されることを保証し、半円収束のための重要な要件である。
• 有界性条件(1.5)、max_i B_i ≤ Cは、特定の行が固有値分布を支配することを防ぐ。
• 独立な場合において、定理1.2は、同じ条件(1.3)〜(1.5)のもとで半円法則が成り立つことを示しており、過去の結果を拡張する。
• 木構造のグラフ（カテゴリC_1）からの寄与S_1は、カタラン数C_m = (1/(m+1)) binom(2m,m)に収束し、モーメントマッチングによって半円極限が確認される。