[論文レビュー] Random matrices: Localization of the eigenvalues and the necessity of four moments

Terence Tao, Van Vu|arXiv (Cornell University)|May 17, 2010

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

ひとこと要約

本稿は、3次モーメントが消える場合に、Wignerランダム行列の固有値の局在化に関する鋭い境界を確立し、体積内における固有値の期待二乗偏差が $ O(n^{-c}) $ に比例することを示している。さらに、Four Moment Theoremにおける4次モーメント条件が必要であることを示しており、4次モーメントの変化が固有値の平均を $ \Theta(n^{-1/2}) $ だけシフトさせることを示している。また、$ n^{-1/2} $ スケールにおける4次モーメントの明確な漸近的依存関係を予想している。

ABSTRACT

Consider the eigenvalues $λ_i(M_n)$ (in increasing order) of a random Hermitian matrix $M_n$ whose upper-triangular entries are independent with mean zero and variance one, and are exponentially decaying. By Wigner's semicircular law, one expects that $λ_i(M_n)$ concentrates around $γ_i \sqrt n$, where $\int_{-\infty}^{γ_i} ρ_{sc} (x) dx = \frac{i}{n}$ and $ρ_{sc}$ is the semicircular function. In this paper, we show that if the entries have vanishing third moment, then for all $1\le i \le n$ $$\E |λ_i(M_n)-\sqrt{n} γ_i|^2 = O(\min(n^{-c} \min(i,n+1-i)^{-2/3} n^{2/3}, n^{1/3+\eps})) ,$$ for some absolute constant $c>0$ and any absolute constant $\eps>0$. In particular, for the eigenvalues in the bulk ($\min \{i, n-i\}=Θ(n)$), $$\E |λ_i(M_n)-\sqrt{n} γ_i|^2 = O(n^{-c}). $$ oindent A similar result is achieved for the rate of convergence. As a corollary, we show that the four moment condition in the Four Moment Theorem is necessary, in the sense that if one allows the fourth moment to change (while keeping the first three moments fixed), then the \emph{mean} of $λ_i(M_n)$ changes by an amount comparable to $n^{-1/2}$ on the average. We make a precise conjecture about how the expectation of the eigenvalues vary with the fourth moment.

研究の動機と目的

• 3次モーメントが消える場合のWigner行列の固有値に対する鋭い集中境界を確立すること。
• 固有値の期待値が行列要素の4次モーメントにどのように依存するかを定量化すること。
• Four Moment Theoremにおける4次モーメント条件が、十分であるだけでなく、必要であることを示すこと。
• 4次モーメントの変化に起因する期待固有値シフトの明確な漸近的公式を予想すること。

提案手法

• Talagrandの集中不等式と洗練されたモーメント推定を用いて、古典的位置からの固有値偏差の2次モーメントを評価する。
• 2-適切なパスと木分解によるモーメントの組み合わせ的展開を適用し、高階のコマリントの寄与を分析する。
• 関数 $ g(x) = \frac{1}{2\pi} \frac{x^4 - 4x^2 + 2}{\sqrt{4 - x^2}} $ を含むモーメント公式を導出し、解析接続とコーシー積分公式を用いて固有値シフトと4次モーメントを結びつける。
• 4次モーメント寄与を分離するために、正規化されたシフト $ s_i = \sqrt{n}(\mathbb{E}\lambda_i - \mathbb{E}\lambda_i') - \frac{1}{4}(\gamma_i^3 - 2\gamma_i)\kappa_0 $ を導入する。
• リーマン積分と台形則近似を用いて、離散的固有値和を半円密度 $ \rho_{sc}(x) $ に対する積分に結びつける。
• 区間 $[-2,2]$ におけるジャンプ公式を用いて、4次モーメント補正のモーメント母関数を導出する。

実験結果

リサーチクエスチョン

• RQ1 行列要素の4次モーメントは、体積内における固有値の期待位置にどのように影響するか？
• RQ2 4次モーメントの変化に起因する固有値平均シフトの正確なスケーリングは何か？
• RQ3 Four Moment Theoremにおける4次モーメント条件は、必要であるか、それとも十分であるにとどまるか？
• RQ4 $ \mathbb{E}\lambda_i $ に対して、$ n^{-1/2} $ スケールにおける4次モーメントを含む鋭い漸近的展開を導出できるか？
• RQ5 モーメント展開における高階のコマリントとパス分解は、固有値の局在化にどのように寄与するか？

主な発見

• 3次モーメントが消えるWigner行列に対して、体積内における固有値の古典的位置からの期待二乗偏差は、ある絶対定数 $ c > 0 $ に対して $ O(n^{-c}) $ である。
• 固有値がその古典的位置に収束する速度は、期待値において $ O(n^{-c}) $ である。これは以前の $ O(n^{1/2 + \varepsilon}) $ の境界を改善している。
• 1〜3次モーメントを固定したまま4次モーメントを変化させた場合、平均的に固有値の平均は $ \Theta(n^{-1/2}) $ だけシフトする。
• 本稿は、$ \mathbb{E}\lambda_i = \sqrt{n}\gamma_i + n^{-1/2}C_{i,n} + \frac{1}{4\sqrt{n}}(\gamma_i^3 - 2\gamma_i)\mathbb{E}\eta^4 + O_{\delta}(n^{-1/2 - c}) $ という漸近的公式を予想しており、4次モーメントへの明確な依存関係を示している。
• 解析により、4次モーメント補正が特定のスペクトル関数 $ g(x) $ に起因することを明らかにした。この関数は、複素平面上での解析接続とジャンプ公式を用いて導出された。
• 結果から、Four Moment Theoremにおける4次モーメント条件は、普遍性のための十分条件にとどまらず、必要条件であることが示唆される。