[论文解读] Moderate deviations for the eigenvalue counting function of Wigner matrices

Hanna Doering, Peter Eichelsbacher|arXiv (Cornell University)|Apr 1, 2011

Random Matrices and Applications参考文献 23被引用 13

一句话总结

本文建立了Wigner矩阵特征值计数函数的中等偏差原理（MDP），通过GUE的精细方差渐近分析及四阶矩定理，将先前的中心极限定理结果推广至中等偏差情形。关键结果是：对于一大类Wigner矩阵与协方差矩阵，MDP具有普遍性，其速率函数为 $ x^2/2 $，速度为 $ a_n^2 $，其中 $ 1 \ll a_n \ll \sqrt{\log n} $，在四阶矩匹配条件下成立。

ABSTRACT

We establish a moderate deviation principle (MDP) for the number of eigenvalues of a Wigner matrix in an interval. The proof relies on fine asymptotics of the variance of the eigenvalue counting function of GUE matrices due to Gustavsson. The extension to large families of Wigner matrices is based on the Tao and Vu Four Moment Theorem and applies localization results by Erdös, Yau and Yin. Moreover we investigate families of covariance matrices as well.

研究动机与目标

• 在中心极限定理适用范围之外，建立Wigner矩阵特征值计数函数的中等偏差原理（MDP）。
• 利用普遍性原理，将GUE矩阵的MDP结果推广至非高斯Wigner矩阵。
• 通过矩匹配与谱局域化，将MDP推广至协方差矩阵，包括Laguerre系（LUE/LOE）。
• 在四阶矩匹配条件下，证明不同矩阵系中特征值统计的MDP具有普遍性。

提出的方法

• 利用Gustavsson及早期研究中关于GUE特征值计数函数的精细方差渐近结果。
• 应用Tao-Vu四阶矩定理，将基于GUE的MDP推广至四阶矩匹配的非高斯Wigner矩阵。
• 利用Erd\'os、Yau与Yin的局域化结果，控制半圆律谱体密度区域内的特征值波动。
• 采用泰勒展开与积分近似，推导特征值在收缩区间内期望个数的MDP速度与速率函数。
• 首先在半圆律谱体密度区域建立单个特征值的MDP，再通过收敛性论证将其推广至计数函数。
• 通过交错公式与矩匹配普遍性，将结果扩展至协方差矩阵（LUE/LOE）。

实验结果

研究问题

• RQ1 在中心极限定理适用范围之外，Wigner矩阵特征值计数函数是否满足中等偏差原理？
• RQ2 能否将GUE矩阵的MDP普遍推广至四阶矩匹配的非高斯Wigner矩阵？
• RQ3 在半圆律谱体密度区域，特征值计数函数MDP的速率函数与速度为何？
• RQ4 MDP能否推广至LUE与LOE等协方差矩阵？在矩匹配条件下是否具有普遍性？
• RQ5 计数函数的MDP是否可由谱体密度区域中单个特征值的MDP推导得出？

主要发现

• 对于GUE，MDP在速度 $ a_n^2 $ 与速率函数 $ x^2/2 $ 下成立，其中 $ 1 \ll a_n \ll \sqrt{\log n} $，对于区间 $ I_n = [t_n, \infty) $ 且 $ t_n \to t \in (-2,2) $ 成立。
• 在GUE中，此类区间内计数函数的方差渐近为 $ \frac{1}{2\pi^2} \log n (1 + o(1)) $，从而支持MDP的推导。
• 通过局部特征值统计，已在半圆律谱体密度区域建立单个特征值的MDP，其速率函数同样为 $ x^2/2 $。
• 四阶矩定理实现了普遍性：只要矩阵元素与GUE在四阶矩上匹配，计数函数的MDP对所有Wigner矩阵均成立。
• 对于协方差矩阵（LUE），在相同缩放 $ a_n $ 与区间 $ I_n = [t_n, \infty) $（其中 $ t_n \to t \in (\alpha, \beta) $）下，MDP以相同速率函数 $ x^2/2 $ 成立。
• 通过交错公式与实数版本的四阶矩定理，MDP可推广至实协方差矩阵（LOE），尽管未假设LOE的完整刚性定理。