[论文解读] The Distribution of the first Eigenvalue Spacing at the Hard Edge of the Laguerre Unitary Ensemble

Peter J. Forrester, N. S. Witte|ArXiv.org|Apr 16, 2007

Random Matrices and Applications参考文献 24被引用 3

一句话总结

本文通过 Painlevé V 系统及其关联的线性等单变型，推导了拉盖尔酉系族（LUE）在硬边处首个特征值间距的分布。研究表明，经缩放后的分布由 Painlevé III' 系统控制，从而可对各种参数 $ a $（包括 $ a = \pm 1/2 $）实现该间距分布及其矩的精确计算，其中 $ a = \pm 1/2 $ 对应于哈尓测度下实正交矩阵的首个特征值间距。

ABSTRACT

The distribution function for the first eigenvalue spacing in the Laguerre unitary ensemble of finite rank random matrices is found in terms of a Painlevé V system, and the solution of its associated linear isomonodromic system. In particular it is characterised by the polynomial solutions to the isomonodromic equations which are also orthogonal with respect to a deformation of the Laguerre weight. In the scaling to the hard edge regime we find an analogous situation where a certain Painlevé \IIId system and its associated linear isomonodromic system characterise the scaled distribution. We undertake extensive analytical studies of this system and use this knowledge to accurately compute the distribution and its moments for various values of the parameter $ a $. In particular choosing $ a=\pm 1/2 $ allows the first eigenvalue spacing distribution for random real orthogonal matrices to be computed.

研究动机与目标

• 刻画有限 $ n $ 时拉盖尔酉系族（LUE）在硬边处首个特征值间距分布的特性。
• 建立 LUE 间距分布与 Painlevé V 系统及其线性等单变型之间的联系。
• 分析硬边标度极限，证明其由 Painlevé III' 系统及其关联线性系统控制。
• 对各种参数 $ a $（包括 $ a = \pm 1/2 $）精确计算间距分布及其矩。
• 通过 $ a = \pm 1/2 $ 情况，实现对哈尓测度下实正交矩阵首个特征值间距分布的计算。

提出的方法

• 间距分布以 Painlevé V 方程关联的线性等单变型系统的多项式解表示。
• 该方法涉及求解复平面上正则点与奇点附近的 Riemann-Hilbert 问题。
• 数值计算采用 MPFUN 库实现多精度算术，确保高精度，$ \nu''(s) $ 的误差界低于 $ 10^{-59} $。
• 积分区域被划分为若干区间，每个区间使用两个展开点（$ z=0 $ 和 $ z=s_0 $）以最大化收敛速度。
• 通过归一化计算估计整体精度，误差控制在 $ \leq 1.6 \times 10^{-18} $ 以内。
• 利用中心矩变换，从原始矩计算统计矩（均值、方差、偏度、峰度超矩）。

实验结果

研究问题

• RQ1 LUE 硬边处首个特征值间距分布如何通过特殊函数表征？
• RQ2 Painlevé V 系统及其线性等单变型在描述间距分布中起什么作用？
• RQ3 硬边标度极限如何将 Painlevé V 系统转化为 Painlevé III' 系统？
• RQ4 不同 $ a $ 值下间距分布的统计特性（矩、偏度、峰度超矩）如何？
• RQ5 能否利用 $ a = \pm 1/2 $ 情况计算哈尓测度下实正交矩阵的首个特征值间距分布？

主要发现

• LUE 中首个特征值间距分布由 Painlevé V 关联的线性等单变型系统的多项式解表征。
• 在硬边标度极限下，分布由 Painlevé III' 系统及其关联的线性等单变型系统控制。
• 当 $ a = -1/2 $ 时，平均间距约为 15.63，标准差为 9.32，偏度为 1.14，峰度超矩为 1.86。
• 当 $ a = 1/2 $ 时，平均间距约为 25.13，标准差为 13.00，偏度为 0.93，峰度超矩为 1.19。
• 计算得到的归一化误差低于 $ 1.6 \times 10^{-18} $，证实了极高的数值精度。
• $ a = \pm 1/2 $ 情况可实现对哈尓测度下实正交矩阵首个特征值间距分布的精确计算。