[论文解读] Janossy Densities I. Determinantal Ensembles

Alexei Borodin, Alexander Soshnikov|ArXiv.org|Dec 20, 2002

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

一句话总结

本文推导出有限秩投影核的行列式点过程的Janossy密度的显式公式，表明在区间 I 上的这些密度由 I 补集上正交多项式的Christoffel-Darboux核所控制。关键结果建立了 I 上Janossy密度与补集上双正交基之间的直接联系，从而实现了对 β=2 多项式系综（包括Laguerre和Jacobi系综）中受限区域粒子统计的精确计算。

ABSTRACT

We derive an elementary formula for Janossy densities for determinantal point processes with a finite rank projection-type kernel. In particular, for beta=2 polynomial ensembles of random matrices we show that the Janossy densities on an interval I can be expressed in terms of the Christoffel-Darboux kernel for the orthogonal polynomials on the complement of I.

研究动机与目标

• 推导具有有限秩投影型核的行列式点过程的Janossy密度的一般公式。
• 建立Janossy密度与基测度空间中子集 I 补集上正交多项式之间的联系。
• 为 β=2 多项式系综（如Laguerre和Jacobi系综）提供Janossy密度的显式表达式。
• 通过推导的核公式，实现对随机矩阵系综中第 k 小特征值分布的精确计算。

提出的方法

• 作者将Janossy密度核表示为 $ L_I(x,y) = \sum_{j=1}^n \widetilde{\xi}_j(x) \widetilde{\eta}_j(y) $，其中 $ \widetilde{\xi}_j, \widetilde{\eta}_j $ 是 $ L^2(X\setminus I, \mu) $ 中的双正交基。
• 他们利用恒等式 $ L_I = K_I (Id - K_I)^{-1} $，其中 $ K_I $ 是原核在子集 I 上的限制。
• 该方法依赖于在 I 的补集上对原函数 $ \phi_j, \psi_j $ 进行双正交化，以构造核 $ L_I $。
• 该方法适用于由正交多项式导出的核的行列式点过程，特别是 β=2 系综。
• 推导过程利用弗雷德霍姆行列式恒等式和正交多项式性质，将Janossy密度与Christoffel-Darboux核联系起来。
• 该方法通过在Laguerre和Jacobi系综上的应用得到验证，导出了特征值间距的显式渐近公式。

实验结果

研究问题

• RQ1 如何为具有有限秩核的行列式点过程显式计算Janossy密度？
• RQ2 I 上的Janossy密度与 I 补集上定义的正交多项式之间存在何种关系？
• RQ3 能否从Janossy密度的核结构推导出 β=2 多项式系综中第 k 小特征值的分布？
• RQ4 是否存在关于补集上双正交基的Janossy密度的通用公式？
• RQ5 Laguerre和Jacobi系综中Janossy密度的渐近行为如何与贝塞尔函数等特殊函数相关联？

主要发现

• Janossy密度核 $ L_I(x,y) $ 显式给出为 $ \sum_{j=1}^n \widetilde{\xi}_j(x) \widetilde{\eta}_j(y) $，其中 $ \widetilde{\xi}_j, \widetilde{\eta}_j $ 是 $ L^2(X\setminus I, \mu) $ 中的双正交基，从而为核提供了构造性公式。
• 对于 β=2 多项式系综，区间 I 上的Janossy密度由 $ X\setminus I $ 上正交多项式的Christoffel-Darboux核决定，将局部统计与全局正交结构联系起来。
• Laguerre系综中最小特征值 $ \lambda_1^{(n)} $ 超过 $ s/n $ 的概率恰好为 $ e^{-s} $，该结果通过新方法得到确认。
• 当 $ n \to \infty $ 时，$ \lambda_{k+1}^{(n)} $ 的极限分布为 $ e^{-s} \int_{(-s,0)^k} \det(K^{(0)}(x_i,x_j)) \, dx_1 \cdots dx_k $，其中 $ K^{(0)} $ 为贝塞尔核。
• 对于第二小的特征值，极限为 $ \frac{e^{-s}}{2} \int_0^{2\sqrt{s}} x (I_0^2(x) - I_1^2(x)) \, dx $，以修正贝塞尔函数表示。
• 该方法同样适用于Jacobi系综，经适当区间缩放后可导出类似的极限定律。