[论文解读] Rate of Convergence of the Empirical Spectral Distribution Function to the Semi-Circular Law

Friedrich Götze, А. Н. Тихомиров|arXiv (Cornell University)|Jul 10, 2014

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

一句话总结

本文在矩和矩阵元大小的条件下，建立了 Wigner 矩阵的经验谱分布函数（ESDF）收敛到半圆律的收敛速率。通过使用 Stieltjes 变换和预解矩阵动力学的递归随机分析，证明了 ESDF 与半圆律之间的 Kolmogorov 距离以高概率为 $ O(n^{-1} frac{ ext{log}^5 n}{}) $，优于以往关于 Wigner 矩阵高概率收敛速率的界限。

ABSTRACT

Let $\mathbf X=(X_{jk})_{j,k=1}^n$ denote a Hermitian random matrix with entries $X_{jk}$, which are independent for $1\le j\le k\le n$. We consider the rate of convergence of the empirical spectral distribution function of the matrix $\mathbf W=\frac1{\sqrt n}\mathbf X$ to the semi-circular law assuming that $\mathbf E X_{jk}=0$, $\mathbf E X_{jk}^2=1$ and uniformly bounded eight moments. By means of a recursion argument it is shown that the Kolmogorov distance between the empirical spectral distribution of the Wigner matrix $\mathbf W$ and the semi--circular law is of order $O(n^{-1}\log^{5}n)$ with high probability.

研究动机与目标

• 建立 Wigner 矩阵经验谱分布函数（ESDF）与半圆律之间 Kolmogorov 距离的精确高概率界限。
• 通过引入高阶矩条件和元大小约束，改进先前的非渐近收敛速率界限。
• 分析 $ p \leq C \log n $ 时 Kolmogorov 距离的 $ L_p $-范数，提供对期望之外的概率控制。
• 推导 ESDF 偏差的指数尾部界限，确保特征值在除边缘外的区域实现局域化。

提出的方法

• 对 ESDF 的 Stieltjes 变换 $ m_n(z) $ 进行递归随机分析，并与半圆律的 Stieltjes 变换 $ s(z) $ 进行比较。
• 使用预解矩阵 $ \mathbf{R} = (\mathbf{W} - z\mathbf{I})^{-1} $，将误差分解为四项 $ \varepsilon_{j\nu} $，并通过矩界和条件期望分析每一项。
• 应用 Schur 补公式，关联 $ \mathrm{Tr}\,\mathbf{R} $ 与 $ \mathrm{Tr}\,\mathbf{R}^{(j)} $，从而实现对迹和误差项的递归控制。
• 利用 Cauchy-Schwarz 不等式和矩不等式，对 $ \mathbb{E}|\Lambda_n|^2 $ 进行有界，其中 $ \Lambda_n $ 衡量 $ m_n(z) $ 与 $ s(z) $ 的偏离。
• 在由 $ v \geq v_0 / \sqrt{\gamma(z)} $ 定义的谱区域 $ \mathbb{G} $ 上施加条件，其中 $ v_0 = A_0 n^{-1} \log^4 n $，将分析限制在正则化体部和类似体部区域。
• 应用 Chebyshev 不等式和尾部界限，将矩估计转化为 Kolmogorov 距离的高概率偏差结果。

实验结果

研究问题

• RQ1 Wigner 矩阵经验谱分布函数收敛到半圆律的最优高概率收敛速率是什么？
• RQ2 高阶矩和元大小约束如何影响谱分布的收敛速率？
• RQ3 在 $ p \leq C \log n $ 条件下，Kolmogorov 距离的 $ L_p $-范数是否可统一有界？这对尾部行为有何含义？
• RQ4 在排除边缘效应的情况下，特征值在多大程度上局域化于其经典位置？

主要发现

• 在四阶矩和元大小条件下，对于 $ p \leq C' \log n $，Kolmogorov 距离的 $ L_p $-范数满足 $ \mathbb{E}^{1/p}(\Delta_n^*)^p \leq C n^{-1} \log^4 n $。
• 在八阶矩条件下，相同的界限依然成立，表明对高阶矩具有鲁棒性。
• 以高概率成立：$ \Pr\{ \Delta_n^* \geq C n^{-1} \log^5 n \} \leq n^{-c \log \log n} $，表明大偏差具有极快的衰减速率。
• 特征值在除边缘外的区域，其局域化范围为 $ O(\log^5 n \cdot \min\{j, n-j+1\}^{-1/3} n^{-2/3}) $ 之内。
• 在区域 $ \mathbb{G} $ 内，Stieltjes 变换误差满足 $ \mathbb{E}|m_n(z) - s(z)|^p \leq (Cp)^p (nv)^{-p} $，且对 $ p \leq A_1 (nv)^{1/4} $ 一致成立。
• 该分析建立了 Kolmogorov 距离的精确 $ O(n^{-1} \log^5 n) $ 收敛速率，优于文献中已有的非渐近界限。