[论文解读] Almost-optimal bulk regularity conditions in the CLT for Wigner matrices

Benjamin Landon, Philippe Sosoe|arXiv (Cornell University)|Apr 7, 2022

Random Matrices and Applications被引用 4

一句话总结

本文建立了 Wigner 矩阵线性谱统计量中心极限定理（CLT）的近乎最优正则性条件，表明即使在正则性较低的情况下，只要测试函数在半圆律的体部有紧支集，其高斯波动仍存在于 Sobolev 空间 $ H^{1/2 + \varepsilon} $ 或 Hölder 空间 $ C^{1/2 + \varepsilon} $ 中。关键结果是极限方差与经典 CLT 表达式一致，证实了 Johansson 在临界正则性阈值 $ s = 1/2 $ 附近的猜想。

ABSTRACT

We consider linear spectral statistics of the form $\mathrm{tr} ( φ(H))$ for test functions $φ$ of low regularity and Wigner matrices $H$ with smooth entry distribution. We show that for functions $φ$ in the Sobolev space $H^{1/2+\varepsilon}$ or the space $C^{1/2+\varepsilon}$, that are supported within the spectral bulk of the semicircle distribution, these linear spectral statistics have asymptotic Gaussian fluctuations with the same variance as in the CLT for functions of higher regularity, for any $\varepsilon >0$.

研究动机与目标

• 解决关于 Wigner 矩阵线性谱统计量中心极限定理（CLT）的猜想，即在最弱正则性条件下成立，特别是当极限方差有限时。
• 弥合已知 CLT 结果（如 $ H^{3/2+\varepsilon} $、$ C^1 $）与猜想的最优阈值 $ H^{1/2} $ 或 $ C^{1/2} $ 之间的差距。
• 证明经典 CLT 方差公式在正则性低至 $ H^{1/2 + \varepsilon} $ 或 $ C^{1/2 + \varepsilon} $ 时仍成立，对任意 $ \varepsilon > 0 $，在谱体部内有效。
• 使用随机分析与谱论的高级工具，对低正则性下的线性谱统计量协方差结构进行严格分析。
• 确认临界正则性阈值 $ s = 1/2 $ 几乎最优，且对于此类函数，方差泛函保持正定且定义良好。

提出的方法

• 分析依赖于将谱统计量分解为亚微观、微观和介观频率分量，每部分采用定制估计。
• 使用 Littlewood-Paley 理论将测试函数分解为频率 dyadic 块，从而控制表征 CLT 方差的奇异双重积分项 $ \int \int \frac{(\varphi(x) - \varphi(y))^2}{(x-y)^2} dx dy $。
• 应用 Dyson 良性运动的均质化技术，推导线性统计量协方差的自洽方程，追踪随机动力学下波动的演化。
• 采用 Stein 方法进行正态近似，构建 Stein 方法框架下误差项的自洽方程，并将其展开至扰动级数的第七阶。
• 利用 Stirling 公式和 Laplace 方法，推导 Hermite 多项式及相关积分的精确渐近展开，这对估计高斯系综情况下的方差至关重要。
• 通过切比雪夫多项式展开和矩不等式验证方差泛函的正性，确保极限方差定义良好且非退化。

实验结果

研究问题

• RQ1 Wigner 矩阵线性谱统计量的中心极限定理能否推广至正则性低至 $ H^{1/2 + \varepsilon} $ 或 $ C^{1/2 + \varepsilon} $ 的测试函数，对任意 $ \varepsilon > 0 $？
• RQ2 在半圆律的体部，经典 CLT 方差公式在如此低的正则性条件下是否仍成立？
• RQ3 在该正则性阈值下，双重积分项 $ \int_{-2}^2 \int_{-2}^2 \frac{(\varphi(x) - \varphi(y))^2}{(x-y)^2} \frac{4 - xy}{\sqrt{4 - x^2}\sqrt{4 - y^2}} dx dy $ 是否仍是方差的主要贡献项？
• RQ4 对于 $ H^{1/2 + \varepsilon} $ 中的函数，方差泛函是否保持正定且定义良好，从而确保极限高斯分布非退化？
• RQ5 矩阵元素的四阶累积量 $ s_4 $ 是否影响低正则性区域的方差，且经典校正项是否仍然有效？

主要发现

• 本文建立了 Wigner 矩阵线性谱统计量的 CLT，适用于任意 $ \varepsilon > 0 $ 的 Sobolev 空间 $ H^{1/2 + \varepsilon} $ 中的测试函数，证实该正则性条件几乎是最优的。
• 对于 Hölder 空间 $ C^{1/2 + \varepsilon} $ 中的函数，同样成立 CLT，表明临界正则性阈值 $ s = 1/2 $ 几乎是紧的。
• 即使对于正则性为 $ H^{1/2 + \varepsilon} $ 的函数，线性谱统计量的极限方差仍与经典表达式 $ V_H(\varphi) $ 一致，包含相同的双重积分与累积量校正项。
• 通过 Littlewood-Paley 理论，作者证明最奇异的项 $ \int \int \frac{(\varphi(x) - \varphi(y))^2}{(x-y)^2} dx dy $ 为有限值，并控制 $ \varphi \in H^{1/2 + \varepsilon} $ 时的方差，将其与齐次 Sobolev 范数联系起来。
• 证明了当 $ N \geq 4 $ 时，方差泛函为正，确保在给定正则性条件下极限高斯分布非退化。
• 通过 Hermite 多项式与积分的渐近分析，作者推导出精确估计，验证了方差公式在 $ H^{1/2 + \varepsilon} $ 阈值处的有效性，从而填补了该理论长期存在的空白。