[论文解读] On Fluctuations of Matrix Entries of Regular Functions of Wigner Matrices with Non-Identically Distributed Entries

Sean O’Rourke, David Renfrew+1 more|arXiv (Cornell University)|Apr 9, 2011

Random Matrices and Applications参考文献 17被引用 4

一句话总结

该论文将关于 Wigner 矩阵的正则函数的矩阵元波动结果从 i.i.d. 情况推广到非 i.i.d. 元素，且在 Lindeberg 类型的四阶矩条件下成立。论文建立了 $ f(X_N) $ 矩阵元的中心极限定理，证明了其渐近正态性，并给出了依赖于谱测度和三阶矩的显式方差公式，将先前在 i.i.d. 条件下的结果推广到非同分布元素的情形，且在更弱的矩条件假设下成立。

ABSTRACT

In this note, we extend the results about the fluctuations of the matrix entries of regular functions of Wigner random matrices obtained in arXiv:1103.3731 [math.PR] to Wigner matrices with non-i.i.d. entries provided certain Lindeberg type conditions for the fourth moments of the off-diagonal entries and the second moments of the diagonal entries are satisfied. In addition, we relax our conditions on the test functions and require that for some $s>3 \ \int (1+|k|)^{2s}\*|\hat{f}(k)|^2 \* dk

研究动机与目标

• 将 Wigner 矩阵的正则函数的矩阵元波动结果推广至 i.i.d. 之外的情形。
• 通过用 Lindeberg 类型条件替代 i.i.d. 条件，对非对角元的四阶矩和对角元的二阶矩进行弱化矩假设。
• 在保持相同渐近正态结构的前提下，将矩阵元的中心极限定理推广至非 i.i.d. Wigner 矩阵。
• 提出一个统一框架，用于分析非高斯、非 i.i.d. Wigner 矩阵中的波动，结合谱条件与矩条件。

提出的方法

• 采用 Lindeberg 类型条件控制非对角元的四阶矩和对角元的二阶矩，以控制尾部行为。
• 利用谱理论和预解式展开分析 $ f(X_N) $ 的矩阵元，其中 $ X_N $ 是具有非 i.i.d. 元素的 Wigner 矩阵。
• 应用关于二次型的多变量中心极限定理（定理 A.1–A.4），推导矩阵元的极限分布。
• 引入光滑截断函数 $ h $，将测试函数 $ f $ 局域化在半圆律的支集附近，以实现精确的渐近分析。
• 证明 $ \frac{1}{\tilde{N}}(y_N^* B y_N - \text{Tr} B) $ 的分布收敛于一个方差依赖于三阶矩和迹范数的高斯变量。
• 利用二次型的多维中心极限定理，推导出矩阵元 $ f(X_N)_{ij} $ 的联合渐近正态性，其显式方差表达式涉及 $ a_1 $ 和 $ a_2 $。

实验结果

研究问题

• RQ1 在弱于 i.i.d. 的矩条件下，是否可以将 Wigner 矩阵正则函数的矩阵元中心极限定理推广至非 i.i.d. 元素？
• RQ2 对元素的四阶矩和二阶矩，何种 Lindeberg 类型条件足以保证 $ f(X_N) $ 矩阵元的渐近正态性？
• RQ3 在非 i.i.d. 情况下，矩阵元 $ f(X_N)_{ij} $ 的极限方差如何依赖于谱测度和三阶矩？
• RQ4 对于非高斯、非 i.i.d. Wigner 矩阵，其渐近正态结构是否与 GOE/GUE 情况下相同？

主要发现

• 对于满足非对角元四阶矩 Lindeberg 条件的非 i.i.d. Wigner 矩阵，$ \sqrt{N}(f(X_N)_{ij} - \mathbb{E}[f(X_N)_{ij}]) $ 依分布收敛于均值为零、方差依赖于谱测度和三阶矩的正态随机变量。
• 对角元 $ f(X_N)_{ii} $ 的极限方差包含一个与 $ \frac{1}{\sigma} \alpha(f) (W_N)_{ii} $ 成比例的校正项，反映了非 i.i.d. 对角结构的影响。
• 非对角元波动 $ \sqrt{N}(f(X_N)_{ij} - \mathbb{E}[f(X_N)_{ij}]) $，$ i \neq j $，收敛于方差为 $ \frac{1}{\beta} \omega^2(f) $ 的正态分布，其中 $ \beta = 1 $ 对应实对称矩阵，$ \beta = 2 $ 对应厄米特矩阵。
• 方差 $ \omega^2(f) $ 通过半圆律上的二重积分定义，将 i.i.d. 情况下的形式推广至非 i.i.d. 元素，且保持相同的函数形式。
• 论文证明了二次型的中心极限定理（定理 A.1–A.4）在 Lindeberg 条件下可推广至非 i.i.d. 设置，从而支持了矩阵元波动的证明。
• 结果在对测试函数 $ f $ 的条件更弱的情况下成立，仅需满足 $ \int_{\mathbb{R}} (1+2|k|)^{2s} |\hat{f}(k)|^2 dk < \infty $ 对某个 $ s > 3 $，弱化了以往对光滑性的要求。