On the pair correlation function of the Sine$_\beta$ process

技术摘要：关于 Sine$\beta$ 过程的对相关函数

问题陈述
Sine$\beta$ 过程是对于一般 $\beta > 0$ 的 $\beta$-系综（beta-ensembles）的体标度极限（bulk scaling limit）。虽然对于经典值 $\beta = 1, 2, 4$，通过由正交多项式导出的行列式（对于 $\beta=2$）或 Pfaffian（对于 $\beta=1, 4$）结构，其相关函数已得到充分理解；但对于一般的 $\beta$，该过程在历史上仅能通过随机微分方程（SDEs）或随机微分算子来表征。在获得一般 $\beta$ 的对相关函数 $\rho^{(2)}_\beta(x, y)$ 的显式、非渐近公式方面，特别是对于代数结构不如经典情况明显的偶整数 $\beta = 2n$ 而言，一直存在显著的研究空白。此外，对于一般 $\beta$，截断相关函数的渐近衰减行为也曾是一个悬而未决的问题。

方法论
作者建立了 Sine$\beta$ 过程与 HP$_{\beta,\delta}$ 过程之间的联系，后者是循环 Jacobi $\beta$-系综的标度极限。核心策略包括：

1. Palm 测度识别： 利用 [52] 和 [36] 中的结果，作者识别出 Sine$\beta$ 过程的还原 Palm 测度（即在给定 0 点处有一个点且移除该点后的过程）为 HP$_{\beta, \beta/2}$ 过程。这使得将寻找对相关 $\rho^{(2)}_\beta$ 的问题简化为寻找 HP 过程的一点密度 $\rho^{(1)}_{\beta, \beta/2}$ 的问题。
2. 随机表征： HP 过程通过一个涉及特定随机微分方程（SDE）的射击问题（shooting problem）来表征，该 SDE 描述了一个过程 $\alpha_\lambda(u)$。密度被表示为一个涉及该扩散过程的期望。
3. 解析与代数推导：
   • 对于一般 $\beta > 0$，作者推导出了一个包含 $\cos(k\alpha_\lambda(0))$ 期望的级数表示。他们进一步将这些期望表征为一组耦合常微分方程（ODEs）的解。
   • 对于 $\beta = 2n$（偶整数），由于 Pochhammer 符号的性质，该无穷级数会发生截断。这使得作者能够将问题简化为有限维线性 ODE 系统。他们利用涉及三对角矩阵和对角矩阵（$A_n, B_n$）的矩阵递归构造了幂级数解。

主要贡献与结果

• 一般 $\beta$ 的表示：

  • 定理 1： 给出了对相关函数 $\rho^{(2)}_\beta(0, \lambda)$ 的一个表示形式，该表示是一个涉及 SDE (3) 解之期望的收敛级数。同时还推导出了一个涉及 $E[|\sin(\alpha_\lambda(0)/2)|^\beta]$ 的简化形式。
  • 定理 2： 通过一个唯一的无穷 ODE 系统来表征对相关函数，该系统独立于 SDE 表示。
  • 定理 3： 确定了 $\rho^{(2)}_\beta(0, \lambda)$ 关于 $\beta$ 和 $\lambda$ 分别连续，且对于 $\beta > 2$ 是联合连续的。
  • 定理 4： 提供了截断相关函数的多项式衰减界限：$|\rho^{(2)}_\beta(0, \lambda) - \frac{1}{4\pi^2}| \leq c_\beta (\lambda^{-\beta/2} + \lambda^{-4/\beta})$。这与 $\beta \geq 2\sqrt{2}$ 时的猜想阶数相匹配。

• 对于 $\beta = 2n$ 的结果：

  • 定理 5： 推导出了 $\rho^{(2)}_{2n}(0, \lambda)$ 的幂级数表示，其中系数由涉及 $n \times n$ 矩阵的矩阵递归确定。
  • 推论 6： 确定了 $\lambda = 0$ 附近展开的领先阶项为 $\lambda^{2n}$。
  • ODE 简化： 作者概述了一种将系统简化为 $\rho^{(2)}_{2n}(0, \lambda)$ 所满足的 $2n$ 阶单线性 ODE 的方法。
  • 恢复经典情况： 该框架成功恢复了 $\beta=2$ 时的显式 Sine-kernel 公式以及 $\beta=4$ 时的已知表达式。

意义与主张
本文声称提供了在获得一般 $\beta$ 的 Sine$\beta$ 过程对相关函数的显式、非渐近公式方面的首个正面结果，弥合了随机表征与经典代数结果之间的鸿沟。具体而言：

• 它提供了一种适用于所有 $\beta > 0$ 的统一方法，并将经典的 $\beta=1, 2, 4$ 结果作为特例恢复。
• 对于偶整数 $\beta=2n$，它通过有限线性 ODE 系统和幂级数提供了一种新的代数表征，这与先前已知的积分表示（如 Forrester 的公式）不同。
• 它解决了为一般 $\beta$ 提供截断相关函数渐近衰减显式界限这一长期悬而未决的问题。
• 作者指出，其结果已被后续工作（如 [41]）用于推导 $\beta=6$ 时关于 Bessel 函数的显式公式，证明了其 ODE 和幂级数表示的实用性。

论文在关于小 $\beta$ 时的最优衰减界限以及相关函数的振荡行为方面保持了谦逊的语气，指出更精细的界限可能需要对 ODE 系统进行进一步分析，这也是 Assiotis [3] 最近研究的方向。