The pair correlation function of the Sine$_6$ process

问题陈述
本文旨在解决如何为高斯 $\beta$-系综（Gaussian $\beta$-ensembles）在体缩极限（bulk scaling limit）下的 Sine$_\beta$ 过程推导出一个显式的、单变量特殊函数表示形式的问题。虽然对于经典值 $\beta = 1, 2, 4$ 已存在显式公式（通过行列式、Pfaffian 和 sinc 函数表示），但对于非经典 $\beta$ 值，目前尚不知道这种基于标准特殊函数的闭合形式表达式。具体而言，作者专注于 $\beta = 6$（即 Sine$_6$ 过程）的情形，旨在超越涉及多维积分或广义超几何函数的积分表示。

方法论
作者基于前人工作 [14] 中提供的对 $\rho^{(2)}_{2n}(0, \lambda)$ 的特征描述，该工作将该函数描述为 $n$ 个一阶复值微分方程组的解。对于 $n=3$（对应 $\beta=6$）的情形，该系统产生了一个关于解向量第三分量 $q_3(\lambda)$ 的三阶常微分方程（ODE）。

核心方法论在于将该三阶 ODE 降阶为一个二阶 ODE。作者证明了该三阶方程可以转化为一个带有特定非齐次项（涉及多项式函数 $h(\lambda)$）的二阶方程。通过引入变量代换 $r(\lambda) = \lambda^2 e^{-3i\lambda/2} q_3(\lambda)$，该问题被映射为一个具有变系数的二阶线性 ODE。该方程的齐次部分使用第一类贝塞尔函数（特别是 $J_{\pm 1/6}$ 和 $J_{\pm 7/6}$）进行求解。特解则通过参数变易法构造，从而导出一个涉及这些贝塞尔函数与非齐次项的积分表示。

主要贡献与结果

1. Sine$_6$ 的显式公式： 主要结果（定理 1）是 $\rho^{(2)}_6(0, \lambda)$ 的一个显式公式。该公式利用第一类贝塞尔函数（$J_{\pm 1/6}, J_{\pm 7/6}$）、初等函数（指数、幂函数）以及单个定积分来表示该函数。这是针对 $\beta$ 不为 1, 2 或 4 的 $\beta$-系综体极限所给出的首个此类表示。
2. ODE 降阶： 论文确立了刻画 $\rho^{(2)}_{2n}$ 的 $n$ 维 ODE 系统可以降阶为单个 $n-1$ 阶复值 ODE。这在第 4 节中利用广义拉盖尔多项式（generalized Laguerre polynomials）和特定的向量值多项式解 $y_n(\lambda)$ 进行了通用的论证。
3. 渐近展开： 作者推导了 $\rho^{(2)}_6(0, \lambda)$ 的大 $\lambda$ 渐近行为（命题 2）。他们提供了一个直到 $O(\lambda^{-11/3})$ 阶的展开式，精细化了之前的衰减估计。该展开式包含了涉及 $\cos(\lambda)$ 和 $\sin(\lambda)$ 以及 $\lambda$ 分数次幂的振荡项。
4. 解析性质： 论文指出，尽管公式是针对实数 $\lambda$ 推导的，但函数 $\rho^{(2)}_6(0, \lambda)$ 可以延拓为复平面上的整函数。

意义
本文声称其意义主要在于为非经典 $\beta$ 值的体对相关函数提供了首个显式的单变量特殊函数表示。这打破了对多维积分表示（例如 Forrester 工作中发现的 Selberg 型积分）或涉及随机全纯函数的抽象特征描述的依赖。该结果弥合了经典情形（$\beta=1,2,4$）与一般 $\beta$ 之间的鸿沟，为研究 Sine$_6$ 过程提供了一个具体的分析工具。作者还指出，虽然在软边缘缩极限（soft edge scaling limit）下存在类似的显式结果（例如通过 Painlevé 方程得到的 $\beta=6$ 的 Tracy-Widom 分布），但本研究解决的是此前缺乏此类表示的体极限问题。