[论文解读] Gaussian fluctuation for the number of particles in Airy, Bessel, sine and other determinantal random point fields

Alexander Soshnikov|ArXiv.org|Jul 15, 1999

Random Matrices and Applications参考文献 35被引用 18

一句话总结

本文建立了与艾里（Airy）、贝塞尔（Bessel）和正弦核相关联的确定性随机点场中粒子数的中心极限定理（CLT）——这是随机矩阵理论中的关键模型。利用科斯汀与莱博维茨的通用定理，证明了在局部体和边缘区域中粒子计数的高斯波动，给出了在谱边缘或体区域附近收缩区间的特征值计数的显式对数方差渐近表达式。

ABSTRACT

We prove the Central Limit Theorem for the number of eigenvalues near the spectrum edge for hermitian ensembles of random matrices. To derive our results, we use a general theorem, essentially due to Costin and Lebowitz, concerning the Gaussian fluctuation of the number of particles in random point fields with determinantal correlation functions. As another corollary of Costin-Lebowitz Theorem we prove CLT for the empirical distribution function of the eigenvalues of random matrices from classical compact groups.

研究动机与目标

• 建立经典随机矩阵系综在局部体和边缘区域中特征值数的中心极限定理（CLT）。
• 分析由艾里、贝塞尔和正弦核控制的确定性点过程中的粒子计数的高斯波动。
• 推导在谱边缘或体区域附近收缩区间内粒子计数方差的精确渐近表达式。
• 在适当缩放下，将CLT推广至经典紧致群（U(n)、SO(n)、Sp(n)）的特征值统计。
• 利用科斯汀-莱博维茨定理，为具有通用核的确定性过程中的CLT证明提供统一框架。

提出的方法

• 应用科斯汀与莱博维茨提出的确定性点过程的一般CLT，该定理将粒子计数波动与相关核的迹类性质联系起来。
• 利用正交多项式（如埃尔米特多项式、贝塞尔函数等）的渐近行为，推导出极限核，如艾里核和正弦核。
• 通过在谱边缘附近对特征值进行重标度（例如，λ_i = x + y_i / ρ_n,1(x)），获得体区域和边缘区域的局部相关函数。
• 通过埃尔米特多项式的普朗切尔-罗塔奇渐近展开推导极限相关核K(x,y)，得到艾里核 K(x,y) = [Ai(x)Ai'(y) - Ai'(x)Ai(y)] / (x - y)。
• 通过计算 K_n · χ_I · (I - K_n) · χ_I 的迹，计算区间 [θ, θ + δ_n] 内粒子计数 ν_n 的方差。
• 利用科斯汀-莱博维茨框架，证明归一化粒子计数 (ν_n - Eν_n)/√Var(ν_n) 的分布收敛于标准正态变量 N(0,1)。

实验结果

研究问题

• RQ1 对于GUE，谱边缘附近收缩区间的特征值数量是否服从中心极限定理？
• RQ2 在艾里、贝塞尔或正弦核的确定性点过程中，局部区间内粒子数的渐近方差是什么？
• RQ3 经典随机矩阵系综在体区域和边缘区域中，粒子计数的CLT有何不同？
• RQ4 在适当缩放下，CLT能否推广至经典紧致群（U(n)、SO(n)、Sp(n)）的特征值统计？
• RQ5 这些系综中多个不相交区间内粒子计数的联合极限分布是什么？

主要发现

• 对于艾里核（边缘区域），区间 [θ, θ + δ_n] 内归一化粒子数的分布收敛于 N(0,1)，当 θ > 0 时，Var(ν_n) ~ (1/π²) log(nδ_n)，当 θ = 0 时，Var(ν_n) ~ (1/(2π²)) log(nδ_n)。
• 在体区域（U(n)、SO(n)、Sp(n)）的正弦核下，长度为 δ_n 的区间内粒子计数的方差渐近为 (1/π²) log(nδ_n)，当 nδ_n → ∞ 时成立。
• 多个不相交区间内归一化粒子计数的联合分布收敛于均值为零的高斯序列，协方差为 Eξ_kξ_l = δ_{k,l} - (1/2)(δ_{k,l+1} + δ_{k,l-1})。
• 对于 U(n)，区间 [θ, θ + δ_n] 内 ν_n 的方差为 (1/π²) log(nδ_n) + o(1)，且归一化计数收敛于 N(0,1)。
• 当区间满足 0 < δ_n < 2π - θ - ε 且 nδ_n → ∞ 时，CLT 在体区域或边缘区域的局部缩放下一致成立，确保了局部缩放的有效性。
• 通过贝塞尔函数的渐近分析，将结果推广至贝塞尔型核，确认在硬边缘区域中具有相同的CLT结构。