[論文レビュー] Local semicircle law under moment conditions. Part I: The Stieltjes transform

Friedrich Götze, Alexey Naumov+1 more|arXiv (Cornell University)|Oct 26, 2015

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

ひとこと要約

この論文は、モーメント条件の下でWignerランダム行列に対する局所半円則を確立し、実数直線からの距離を$v$とするとき、経験的固有値分布のステイエルジェス変換が$(nv)^{-1}$の速度で半円則に収束することを証明している。この結果は、成分が平均0、分散1、かつある$ olimits > 0$に対して$(4+\delta)$次のモーメントを有限に持つという仮定の下で成り立ち、古典的な半円則を局所的固有値統計に拡張し、明確な誤差境界を伴う。

ABSTRACT

We consider a random symmetric matrix ${\bf X} = [X_{jk}]_{j,k=1}^n$ in which the upper triangular entries are independent identically distributed random variables with mean zero and unit variance. We additionally suppose that $\mathbb E |X_{11}|^{4 + δ} =: μ_4 < \infty$ for some $δ> 0$. Under these conditions we show that the typical distance between the Stieltjes transform of the empirical spectral distribution (ESD) of the matrix $n^{-\frac{1}{2}} {\bf X}$ and Wigner's semicircle law is of order $(nv)^{-1}$, where $v$ is the distance in the complex plane to the real line. Furthermore we outline applications which are deferred to a subsequent paper, such as the rate of convergence in probability of the ESD to the distribution function of the semicircle law, rigidity of the eigenvalues and eigenvector delocalization.

研究の動機と目的

• 最小限のモーメント仮定の下でWignerランダム行列に対する局所半円則を確立すること、具体的には$\mathbb{E}|X_{11}|^{4+\delta} < \infty$（$\delta > 0$）である。
• $v$が小さく正である局所的領域において、経験的固有値分布のステイエルジェス変換に対する明確な誤差境界を導出すること。
• 固有値の剛性、固有ベクトルの局所化の解除、経験的固有値分布の半円則への収束速度に関する後続の結果の基盤を提供すること。
• 古典的な半円則の結果をマクロスコピックスケールを越えて、ステイエルジェス変換法を用いて局所的固有値統計へと拡張すること。

提案手法

• 分析は、経験的固有値分布のステイエルジェス変換、$m_n(z) = \frac{1}{n}\operatorname{Tr}((W - zI)^{-1})$（$W = n^{-1/2}X$）として定義される。
• 著者らは、重たい尾を持つ成分からのまれな事象を制御するため、切断および条件付き化の技法を用い、切断された行列$\hat{W}, \breve{W}, \tilde{W}$を導入した。
• ローゼンタール型の不等式を用いて、リゾルベントトレースの$p$次モーメントおよびリゾルベント同士の差のモーメントを制御するためのモーメント推定と指数的尾部バウンドを適用した。
• リゾルベントの恒等式とノルム推定を用いて、切断された行列と元の行列のステイエルジェス変換の差をバウンドした。
• 重要な推定では、$\mathbb{E}|\tilde{m}_n(z) - \breve{m}_n(z)|^p \leq C^p p^p \mathcal{A}^p(2p)/(nv)^p$および$\mathbb{E}|\tilde{m}_n(z) - \hat{m}_n(z)|^p \leq (C/(nv))^{3p/2}$のバウンドを含む。
• モーメントバウンドとステイエルジェス変換方程式の安定性を組み合わせることで、最終的な収束速度を導出した。

実験結果

リサーチクエスチョン

• RQ1 有限な$(4+\delta)$次のモーメント条件の下で、経験的固有値分布のステイエルジェス変換が半円則に収束する最適な速度は何か？
• RQ2 スペクトルパラメータ$z = u + iv$が実数直線に近づくとき、$v \to 0$となると局所的半円則はどのように振る舞うか？
• RQ3 最小限のモーメント仮定の下で、古典的な半円則を明示的な誤差境界を伴って局所的固有値統計へと拡張できるか？
• RQ4 重たい尾を持つ成分をもつWigner行列に対する局所則を導出するにあたり、切断およびモーメント制御の役割は何か？

主な発見

• 経験的固有値分布のステイエルジェス変換と半円則との間の典型的な距離は、$v$をスペクトルパラメータ$z$の虚部として、$(nv)^{-1}$のオーダーである。
• ある$ olimits > 0$に対して$\mathbb{E}|X_{11}|^{4+\delta} < \infty$という仮定の下で、提示された収束速度を伴い、局所半円則が成立する。
• ステイエルジェス変換の差に対する誤差バウンドは、モーメント推定とリゾルベントノルムバウンドにより制御され、$\mathbb{E}|\tilde{m}_n(z) - \breve{m}_n(z)|^p \leq C^p p^p \mathcal{A}^p(2p)/(nv)^p$が得られる。
• 切断されたものと元のステイエルジェス変換との差は、$\mathbb{E}|\tilde{m}_n(z) - \hat{m}_n(z)|^p \leq (C/(nv))^{3p/2}$でバウンドされ、これは最適でないが主結果には十分である。
• これらの結果は、固有値の剛性や固有ベクトルの局所化の解除といった後続の応用の基盤を確立しており、これらは後続の論文に延期されている。
• この手法は、切断、モーメントバウンド、リゾルベント恒等式に依拠し、局所的領域におけるフラクチュエーションを制御し、収束速度を導出する。