[论文解读] The explicit formulae for scaling limits in the ergodic decomposition of infinite Pickrell measures

Alexander I. Bufetov, Yanqi Qiu|arXiv (Cornell University)|Feb 21, 2014

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

一句话总结

本文推导了无限 Pickrell 测度在遍历分解中的标度极限相关核的显式公式。通过雅可比正交多项式系的 Christoffel-Uvarov 变形，利用正交多项式的渐近分析，将极限核识别为广义贝塞尔型核的解，给出了结果行列式点过程的合流超几何函数与贝塞尔函数显式表达式。

ABSTRACT

The main result of this paper, Theorem 1.1, gives explicit formulae for the kernels of the ergodic decomposition measures for infinite Pickrell measures on spaces of infinite complex matrices. The kernels are obtained as the scaling limits of Christoffel-Uvarov deformations of Jacobi orthogonal polynomial ensembles.

研究动机与目标

• 推导无限 Pickrell 测度在标度极限下遍历分解测度的核的显式公式。
• 刻画当 $ s \leq -1 $ 时，无限 Pickrell 测度遍历分解中出现的极限行列式点过程。
• 建立 Christoffel-Uvarov 变形的雅可比系标度极限与 $ L^2(0,\infty) $ 上投影算子核之间的联系。
• 以特殊函数（尤其是合流超几何函数与贝塞尔函数）的形式，提供极限相关核的显式表示。
• 将已知的有限 $ s > -1 $ 情况推广至无限测度情形 $ s \leq -1 $，此时分解测度虽为无限但仍为行列式。

提出的方法

• 作者在特定渐近 regime 下分析了雅可比正交多项式系的 Christoffel-Uvarov 变形的标度极限。
• 他们通过变形权函数相关的归一化 Christoffel-Darboux 核的极限，推导出极限核 $ \Phi_{\infty}^{(s,u)}(z_1,z_2) $。
• 极限核以与合流超几何型相关的二阶线性微分方程的解表示，具体为 $ A_{III}^{(s,u)} $ 和 $ B_{III}^{(s,u)} $ 函数。
• 该方法涉及变量替换，将谱参数映射到正实轴，并在 $ n \to \infty $ 的标度极限下分析正交多项式的渐近行为。
• 作者使用包含贝塞尔函数与合流超几何函数的积分表示来表达极限核。
• 他们在 $ \mathbb{C} \setminus \{0\} $ 的紧子集上建立了核表达式的一致收敛性，确保极限的有效性。

实验结果

研究问题

• RQ1 当 $ s \leq -1 $ 时，无限 Pickrell 测度遍历分解的标度极限中，相关核的显式形式是什么？
• RQ2 雅可比正交多项式系的 Christoffel-Uvarov 变形如何在标度极限中导致贝塞尔型核的出现？
• RQ3 能否通过正交多项式的渐近分析显式计算与无限行列式测度 $ \mathbb{B}^{(s)} $ 相关的投影核？
• RQ4 参数 $ u $ 在极限核中起什么作用？它如何影响结果点过程的结构？
• RQ5 极限核如何与已知的特殊函数（如贝塞尔函数与合流超几何函数）相关联？

主要发现

• 变形雅可比系的 Christoffel-Darboux 核的标度极限在 $ \mathbb{C} \setminus \{0\} $ 上一致收敛于一个核 $ \Phi_{\infty}^{(s,u)}(z_1,z_2) $，其显式表达式由合流超几何函数 $ A_{III}^{(s,u)} $ 与 $ B_{III}^{(s,u)} $ 给出。
• 当 $ -1 < s < 1 $ 时，极限核可分解为两项：$ \mathscr{M}_0^{(s,u)}(z_1)\mathscr{M}_0^{(s,u)}(z_2) + \mathscr{M}_1^{(s,u)}(z_1)\mathscr{M}_1^{(s,u)}(z_2) $，其中 $ \mathscr{M}_0^{(s,u)} $ 与 $ \mathscr{M}_1^{(s,u)} $ 显式地以伽马函数与积分形式定义。
• 极限核中的归一化常数通过渐近计算涉及 $ t^s / (t+u)^2 $ 的积分得到，极限形式为 $ u^{s-1} \Gamma(1+s)\Gamma(1-s) $。
• 当 $ -1 < s < 0 $ 时，第二项 $ \mathscr{M}_1^{(s,u)} $ 非零，显式表示为关于 $ z $ 的线性函数的加权 $ L^2 $-范数之比；而当 $ 0 \leq s < 1 $ 时，该项消失。
• 核的积分表示包含一项 $ \int_0^1 \frac{A_{III}^{(s,u)}(\kappa,z_1)A_{III}^{(s,u)}(\kappa,z_2)}{[C_{III}^{(s,u)}(\kappa)]^2} \kappa \, d\kappa $，该部分捕捉了谱测度的连续部分。
• 极限核被证明是 $ (0,\infty) $ 上行列式点过程的相关核，且投影核 $ \Pi^g $ 通过正交多项式的渐近行为显式确定。