[论文解读] Exact Wigner surmise type evaluation of the spacing distribution in the bulk of the scaled random matrix ensembles

Peter J. Forrester, N. S. Witte|ArXiv.org|Sep 14, 2000

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

一句话总结

本文为具有正交（β=1）、酉（β=2）和四元数（β=4）对称性的体随机矩阵系综，提供了精确的 Wigner 似然型间距分布表达式。通过 Painlevé 超越函数推导出这些表达式，将概率密度函数表示为 $ p_\beta(s) = a(s)e^{-b(s)} $ 的形式，其中 $ a(s) $ 和 $ b(s) $ 与 Painlevé 方程的解相关，相较于经典 Wigner 似然型表达式（误差最高达 2%），提供了更精确且更具解析美感的替代方案。

ABSTRACT

Random matrix ensembles with orthogonal and unitary symmetry correspond to the cases of real symmetric and Hermitian random matrices respectively. We show that the probability density function for the corresponding spacings between consecutive eigenvalues can be written exactly in the Wigner surmise type form $a(s) e^{-b(s)}$ for $a$ simply related to a Painlevé transcendent and $b$ its anti-derivative. A formula consisting of the sum of two such terms is given for the symplectic case (Hermitian matrices with real quaternion elements).

研究动机与目标

• 推导具有正交、酉和四元数对称性的体随机矩阵系综中间距分布 $ p_\beta(s) $ 的精确函数形式。
• 将 $ p_\beta(s) $ 表示为 Wigner 似然型结构 $ a(s)e^{-b(s)} $，其中 $ a(s) $ 和 $ b(s) $ 为 Painlevé 超越函数。
• 通过提供精确表达式，克服经典 Wigner 似然型表达式（误差最高达 2%）的局限性。
• 统一并简化 $ p_\beta(s) $ 的表示形式，使其更适用于高精度数值制表与级数展开。

提出的方法

• 通过已知的 $ E_\beta(0;s) $ 的精确形式（以 Painlevé 超越函数表示），对间隙概率 $ E_\beta(0;s) $ 取二阶导数，推导出 $ p_\beta(s) $ 的精确表达式。
• 对于 $ \beta=2 $，利用已知的 $ E_2(0;s) $ 的精确形式（以 Painlevé V 超越函数 $ \sigma(s) $ 表示），通过函数微分推导出 $ p_2(s) $。
• 对于 $ \beta=1 $，采用另一种 Painlevé 超越函数 $ \sigma_B(s) $，其满足非线性二阶微分方程，通过其导数推导出 $ p_1(s) $。
• 对于 $ \beta=4 $，利用关系式 $ E_4(0;s/2) = \frac{1}{2}\left(E_1(0;s) + \frac{E_2(0;s)}{E_1(0;s)}\right) $，并以新的 Painlevé 超越函数 $ \tilde{\sigma}_{B+}(s) $ 表示 $ p_4(s) $。
• 应用具有 Painlevé 性质的 Painlevé 方程的数学结果，将二阶导数转化为所需的 $ a(s)e^{-b(s)} $ 形式。
• 验证新超越函数的边界条件与函数形式，确保其与已知的渐近行为一致。

实验结果

研究问题

• RQ1 能否使用 Painlevé 超越函数，将 $ \beta=1,2,4 $ 的随机矩阵系综的间距分布 $ p_\beta(s) $ 表示为 Wigner 似然型形式 $ a(s)e^{-b(s)} $？
• RQ2 是否能够推导出 $ p_\beta(s) $ 的精确表达式，从而避免对 $ E_\beta(0;s) $ 进行数值微分（该过程计算成本高且易出错）？
• RQ3 与经典 Wigner 似然型表达式及此前涉及超越函数积分的精确表达式相比，新精确形式在精度与解析简洁性方面表现如何？
• RQ4 能否通过将 $ p_4(s) $ 表示为 $ 2p_1(2s) + \text{修正项} $ 的形式来简化其函数结构，其中修正项为 Wigner 似然型形式？
• RQ5 在保持 Wigner 似然型结构的同时，$ p_\beta(s) $ 的最小且最优雅的函数形式是什么？

主要发现

• 本文推导出正交系综（β=1）的精确 Wigner 似然型表达式 $ p_1(s) = a(s)e^{-b(s)} $，其中 $ a(s) $ 和 $ b(s) $ 与满足特定非线性二阶微分方程的 Painlevé 超越函数 $ \tilde{\sigma}_B(s) $ 相关。
• 对于酉系综（β=2），间距分布表示为 $ p_2(s) = a(s)e^{-b(s)} $，其中 $ a(s) $ 和 $ b(s) $ 由 Painlevé V 超越函数 $ \tilde{\sigma}(s) $ 导出，提供了无需数值微分的闭式表达式。
• 对于四元数系综（β=4），间距分布表示为 $ p_4(s) = 2p_1(2s) + \text{修正项} $，其中修正项为 Wigner 似然型形式，且涉及一个新的 Painlevé 超越函数 $ \tilde{\sigma}_{B+}(s) $，后者满足另一组非线性方程。
• 所推导的表达式在解析上更简洁，且比以往涉及 $ \sigma $ 或其导数积分的形式更适用于数值制表与幂级数展开。
• 关键结果是 $ p_\beta(s) $ 可统一表示为 Wigner 似然型结构 $ a(s)e^{-b(s)} $，其中 $ a(s) $ 和 $ b(s) $ 为 Painlevé 超越函数，相较于经典近似有显著改进。
• 验证表明，这些函数形式与已知的渐近行为一致：当 $ s \to 0 $ 时，$ p_1(s) \sim s $，$ p_2(s) \sim s^2 $，$ p_4(s) \sim s^4 $，确认了各对称类的正确能级排斥行为。