[论文解读] Gap probability in the spectrum of random matrices and asymptotics of polynomials orthogonal on an arc of the unit circle

Igor Krasovsky|ArXiv.org|Jan 20, 2004

Random Matrices and Applications参考文献 15被引用 10

一句话总结

本文建立了与区间 $[0,s]$ 上的正弦核相关的弗雷德霍姆行列式 $\Delta(s)$ 的完整大-$s$ 渐近展开，完成了对戴森猜想中常数项 $c_0 = \frac{1}{12}\ln 2 + 3\zeta'(-1)$ 的证明，其展开式为 $\ln\Delta(s) = -\frac{s^2}{2} - \frac{1}{4}\ln s + c_0 + O(1/s)$。证明结合了圆弧上正交多项式的渐近分析与通过黎曼-希尔伯特问题方法建立的托普利茨行列式与行列式对数导数之间的公式。

ABSTRACT

We obtain uniform asymptotics for polynomials orthogonal on a fixed and varying arc of the unit circle with a positive analytic weight function. We also complete the proof of the large $s$ asymptotic expansion for the Fredholm determinant with the kernel $\sin z/(πz)$ on the interval $[0,s]$, verifying a conjecture of Dyson for the constant term in the expansion. In the Gaussian Unitary Ensemble of random matrices, this determinant describes the probability for an interval of length $s$ in the bulk scaling limit to be free from the eigenvalues.

研究动机与目标

• 严格建立高斯酉系综的块尺度极限下，正弦核的弗雷德霍姆行列式 $\Delta(s)$ 的完整渐近展开。
• 解决戴森猜想中 $\ln\Delta(s)$ 的渐近展开常数项 $c_0$ 的严格性问题。
• 推导单位圆上固定或变化弧段的正交多项式在正解析权函数下的统一渐近展开。
• 将这些多项式渐近展开应用于计算托普利茨行列式的对数导数，并通过积分恢复 $\ln\Delta(s)$ 的完整展开。

提出的方法

• 利用戴夫特的公式，将两个托普利茨矩阵的行列式联系起来，将 $\det T_{n-1}(\alpha)$ 与圆弧上正交多项式的首项系数关联。
• 应用威多姆的托普利茨行列式在圆弧上的渐近公式，以在固定 $\alpha_2 < \pi$ 处锚定渐近行为。
• 采用黎曼-希尔伯特问题方法，推导单位圆上弧段的正交多项式 $\phi_n(z,\alpha)$ 的完整渐近展开，且在 $\alpha$ 和 $z$ 上一致成立。
• 通过类柯西恒等式及一个引理，推导出 $\frac{d}{d\alpha}\ln\det T_{n-1}(\alpha)$，其表达式以 $\phi_n(e^{i\alpha},\alpha)$ 及其导数表示。
• 对 $\phi_n(e^{i\alpha},\alpha)$ 和 $\phi_n'(e^{i\alpha},\alpha)$ 在弧端点 $z = e^{i\alpha}$ 处进行渐近分析，表明导数表达式中主导项相互抵消。
• 从 $\alpha = 2s/n$ 到 $\alpha_2$ 对所得的 $\frac{d}{d\alpha}\ln\det T_{n-1}(\alpha)$ 表达式进行积分，利用渐近展开恢复 $\ln\Delta(s)$ 的完整展开。

实验结果

研究问题

• RQ1 在正弦核的弗雷德霍姆行列式 $\Delta(s)$ 的大-$s$ 渐近展开中，常数项 $c_0$ 的精确值是什么？
• RQ2 如何对固定和变化弧长的圆弧上正交多项式的渐近行为实现统一控制？
• RQ3 托普利茨行列式的对数导数能否用弧边界处正交多项式的值及其导数表示？
• RQ4 是否可以通过积分对数导数来恢复 $\ln\Delta(s)$ 的完整渐近展开，包括常数项？
• RQ5 黎曼-希尔伯特方法是否可用于通过正交多项式渐近展开推导托普利茨行列式的任意阶渐近展开？

主要发现

• 戴森猜想中 $\ln\Delta(s)$ 渐近展开的常数项被严格确认为 $c_0 = \frac{1}{12}\ln 2 + 3\zeta'(-1)$，解决了长期悬而未决的猜想。
• 对于大 $s$，$\ln\Delta(s)$ 的完整渐近展开被确立为 $\ln\Delta(s) = -\frac{s^2}{2} - \frac{1}{4}\ln s + c_0 + O(1/s)$，且具有统一的误差界。
• 在 $2s/n \leq \alpha < \pi$ 范围内，单位圆上弧段的正交多项式 $\phi_n(z,\alpha)$ 的统一渐近展开以 $n\sin(\alpha/2)$ 的负幂次形式给出，余项在 $\alpha$ 上一致。
• $\frac{d}{d\alpha}\ln\det T_{n-1}(\alpha)$ 的表达式为 $-n^2\frac{\sin(\alpha/2)}{2\cos(\alpha/2)} - \frac{\cos(\alpha/2)}{8\sin(\alpha/2)} + O\left(\frac{1}{n\sin^2(\alpha/2)}\right)$，当 $n > s$ 且 $s > s_0$ 时，误差一致。
• 对该导数的积分得到 $\ln\det T_{n-1}(2s/n) = n^2\ln\cos(s/n) - \frac{1}{4}\ln(n\sin(s/n)) + c_0 + O(1/s) + o(1)$，这直接导出了 $\ln\Delta(s)$ 的主结果。