[论文解读] Isotropic Local Laws for Sample Covariance and Generalized Wigner Matrices

Alex Bloemendal, László Erdős+3 more|arXiv (Cornell University)|Aug 27, 2013

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

一句话总结

本文建立了样本协方差矩阵 $X^*X$ 和广义 Wigner 矩阵的各向同性局部极限定理，证明了在二次型中对 resolvent $σ(X^*X - z)^{-1}$ 的尖锐高概率界。关键结果是在 $\operatorname{Im} z \geqslant N^{-1+\varepsilon}$ 的尺度下收敛至 Marchenko-Pastur 分布，对确定性向量 $\bm{v}, \bm{w}$ 实现精确控制，将局部极限定理理论推广至各向同性设置，这对变形系综和异常值分析至关重要。

ABSTRACT

We consider sample covariance matrices of the form $X^*X$, where $X$ is an $M imes N$ matrix with independent random entries. We prove the isotropic local Marchenko-Pastur law, i.e. we prove that the resolvent $(X^* X - z)^{-1}$ converges to a multiple of the identity in the sense of quadratic forms. More precisely, we establish sharp high-probability bounds on the quantity $\langle v, (X^* X - z)^{-1} w angle - \langle v,w angle m(z)$, where $m$ is the Stieltjes transform of the Marchenko-Pastur law and $v, w \in \mathbb C^N$. We require the logarithms of the dimensions $M$ and $N$ to be comparable. Our result holds down to scales $Im z \geq N^{-1+ε}$ and throughout the entire spectrum away from 0. We also prove analogous results for generalized Wigner matrices.

研究动机与目标

• 建立样本协方差矩阵 $X^*X$ 和广义 Wigner 矩阵的各向同性局部极限定理，将 resolvent 的逐元素控制推广至任意确定性向量 $\bm{v}, \bm{w}$。
• 推导 $\langle \bm{v}, (X^*X - z)^{-1} \bm{w} \rangle - \langle \bm{v}, \bm{w} \rangle m(z)$ 偏差的尖锐高概率界，其中 $m(z)$ 是 Marchenko-Pastur 分布的 Stieltjes 变换。
• 在 $\operatorname{Im} z \geqslant N^{-1+\varepsilon}$ 的谱尺度下分析 resolvent，该结果在整个体谱范围内有效，远离零点，前提是 $\log M$ 和 $-\log N$ 可比较。
• 将 resolvent 的自洽方程方法推广至各向同性设置，支持在变形矩阵系综和异常值检测中的应用。
• 将 Green 函数比较方法推广至各向同性控制，支持随机矩阵理论中的 universality 和刚性结果。

提出的方法

• 基于 resolvent 恒等式使用图形展开方法，将 resolvent $G = (X^*X - z)^{-1}$ 的条目分解为涉及 $G^{(\bm{a}_b)}$ 和 $X^*X$ 矩阵条目的单项式。
• 对 $G$ 的非对角条目应用修改后的展开规则 (7.5)，与标准 Wigner 矩阵分析相比，引入了额外的 $-H_{a_i a_j}$ 项。
• 对由黑顶点 $\bm{a}_b$ 索引的行/列中的 $H$-条目施加部分期望，利用独立性和期望的分解性质。
• 使用基于奇偶性的计数论证，从每个奇数度的黑顶点获得因子 $N^{-1/2}$，并通过 $\mathbb{E}|H_{a_i a_j}|^2 \leq C/N$ 对黑-黑边施加额外控制。
• 使用推广至各向同性形式的 resolvent 自洽方程方法，控制任意确定性向量 $\bm{v}, \bm{w}$ 的 $\langle \bm{v}, (H - z)^{-1} \bm{w} \rangle$。
• 通过修改展开和期望步骤，将论证推广至广义 Wigner 矩阵，以处理非高斯条目和非 i.i.d. 结构。

实验结果

研究问题

• RQ1 能否在远离零点的最优尺度 $\operatorname{Im} z \geqslant N^{-1+\varepsilon}$ 下，为样本协方差矩阵 $X^*X$ 建立各向同性局部极限定理？
• RQ2 对于确定性向量 $\bm{v}, \bm{w}$，resolvent $ (X^*X - z)^{-1} $ 在二次型 $\langle \bm{v}, (X^*X - z)^{-1} \bm{w} \rangle $ 中的行为如何？其与 Marchenko-Pastur Stieltjes 变换的偏差为何？
• RQ3 当从 Wigner 矩阵推广至具有非高斯条目的广义 Wigner 矩阵和样本协方差矩阵时，图形展开和期望技术需要哪些修改？
• RQ4 展开中额外的 $H$-条目（如 $-H_{a_i a_j}$）如何影响 resolvent 的控制和最终误差界？
• RQ5 各向同性局部极限定理能否用于推导刚性界并支持变形系综中的 universality 结果，特别是在存在异常值的情况下？

主要发现

• 在 $\log M$ 和 $\log N$ 可比较的条件下，样本协方差矩阵 $X^*X$ 的各向同性局部极限定理以高概率在 $\operatorname{Im} z \geqslant N^{-1+\varepsilon}$ 尺度下成立。
• 对于确定性向量 $\bm{v}, \bm{w}$，resolvent 偏差 $\left| \langle \bm{v}, (X^*X - z)^{-1} \bm{w} \rangle - \langle \bm{v}, \bm{w} \rangle m(z) \right|$ 在体谱范围内关于 $z$ 一致有界于 $O(N^{-1/2 + \varepsilon})$。
• 对于广义 Wigner 矩阵，通过修改后的图形展开方法建立了各向同性局部极限定理，该方法考虑了非高斯条目和 resolvent 展开中的额外 $H$-项。
• 该证明依赖于一种改进的奇偶性论证，从每个奇数度的黑顶点获得因子 $N^{-1/2}$，并通过 $\mathbb{E}|H_{a_i a_j}|^2 \leq C/N$ 对黑-黑边施加额外控制。
• 结果可推广至如 $H + A$ 这类变形系综，支持特征向量重叠和异常值特征值的大偏差界与中心极限定理。
• 定理 2.15 和 2.16 可通过适配第 6 节的论证从定理 2.12 推出，证实了各向同性局部极限定理框架在不同矩阵系综中的鲁棒性。