The next-to-next-to-leading order BFKL eigenvalue at odd conformal spin in planar N=4 super Yang-Mills: closed form, coefficient structure, and arithmetic

技术摘要：平面 $\mathcal{N}=4$ SYM 中次次领先阶（NNLO）BFKL 特征值

问题陈述
本文研究了在平面 $\mathcal{N}=4$ 超对称杨-米尔斯（SYM）理论中，三圈（次次领先阶，NNLO）BFKL 核特征值的计算。虽然领先阶（LO）和次领先阶（NLO）的特征值对于任意共形自旋 $n$ 和连续变量 $\nu$ 都有闭合形式解，但 NNLO 结果此前仅能通过对特定自旋的 Caron-Huot–Herranen 积分进行数值评估，或者通过限制在 $(n, \nu)$ 平面上特定直线（例如 $n=0, n=1$ 或 $\nu=0$）上的闭合形式来获得。本文的目标是为任意奇数共形自旋 $n$ 提供特征值 $\chi_2(n, \nu)$ 的闭合形式表达式，并将其表示为由解析延拓的嵌套谐波和（nested harmonic sums）与有理函数构成的形式。

方法论
作者通过一个严谨的多阶段程序构建了解，该程序避免了拟合，并依赖于精确的有理算术和梅林变换（Mellin transforms）：

1. 主生成函数： 作者并非孤立地处理每个自旋 $n$，而是将 Caron-Huot–Herranen 三圈积分中的共形自旋依赖性重求和为一个单一的主生成函数 $F(x; \omega)$。该函数由基于特定字母表的迭代积分构造而成。
2. 梅林提取： 每个自旋的积分通过对主函数关于自旋生成变量 $\omega$ 进行泰勒展开系数提取得到。作者通过对积分 $I_n(x)$ 直接进行梅林变换，提取出每个奇数自旋 $n$ 的“原子表”（atom tables）。这产生了一个具有精确有理系数的有限“原子”表（包含有理极点和二项式交替和）。
3. 归约为谐波和： 原子被利用一组单变量恒等式归约为嵌套谐波和。这包括：
   • 塔式归约（Tower Reductions）： 将裸和（bare sums）转换为多伽马函数（polygamma functions）和谐波和。
   • 核闭合（Kernel Closures）： 将 16 个特定的“嵌套-莱希”（nested-Lerch）核（修饰和）归约为涉及嵌套谐波和、常数（$\zeta_k, \ln 2, \text{Li}_4(1/2)$）及有理函数的闭合形式。其中 11 个闭合过程得到了解析证明，另外 5 个通过高精度数值验证。
4. 系数结构分析： 对生成的谐波和的系数进行了分析。结果发现，这些系数是 $1, \pi^2$ 和 $\zeta^3$ 的有理倍数。作者发现大约 85% 的系数槽位以“初等”形式闭合（即梯形距离的有理函数），而剩余 15% 则构成了一个受五个特定核控制的“残余”层。
5. 超越性坍缩（Transcendental Collapse）： 研究表明，最初表现为复杂梯形参数 $z+k$ 之和的残余层，会坍缩到两个深度为 1 的多伽马超越函数上：$\psi(z+1) + \gamma_E$ 以及 $\Phi(-1, 2, z+1)$（一个与三伽马函数相关的莱希超越函数）。

主要贡献与结果

• 奇数自旋的闭合形式： 本文给出了任意奇数共形自旋 $n$ 的特征值 $\chi_2(n, \nu)$ 的闭合形式：
  $$\chi_2(n, \nu) = \frac{1}{4} [F_n(z) + F_n(\bar{z})]$$
  其中 $F_n(z)$ 是由在整数偏移参数 $z+k$（从 $z$ 向下至反射点 $-\bar{z}$）上解析延拓的嵌套谐波和、有理函数及常数组成的有限组合。
• 精确原子表： 对于每个奇数 $n \ge 3$，作者提供了一个驱动脚本，可以直接从 Caron-Huot–Herranen 积分中重新生成精确的原子表。这些表经过验证，与已知低自旋结果字节级一致，并提供了高达 $n=91$ 的自旋数据。
• 系数分类：
  • 初等槽位： 47 个系数槽位中有 40 个以初等形式闭合（梯形距离的谐波和的有理组合）。
  • 异常核： 剩余的 7 个槽位归约为 5 个独立的核。其中一个核在留存数据上满足经过验证的整全递归（P-recursive）。
• 超越性经济性： 残余核的复杂梯形和精确坍缩为两个深度为 1 的超越函数 $\psi(z+1)$ 和 $\Phi(-1, 2, z+1)$，外加一个有理余项。这显著降低了函数的复杂度。
• 算术障碍： 作者识别出一种“有限素数定律”：每当 $n-2$ 为素数时，原始异常网格系数的分母会在 $n = p+2$ 处引入一个新的素数因子 $p$。基于此，作者推测这些系数的生成数据不是代数的或全局有界的，尽管它们与整全性（holonomy）保持一致。
• 验证：
  • 该闭合形式对于所有奇数 $n$（最高至 91）都重现了独立的量子谱曲线（QSC）截距（$\nu=0$），包括 26 个未用于构建的“样本外”自旋。
  • 结果匹配已知的 $n=1$ 块，并且按照要求在 $n=1, \nu=0$ 时消失。
  • 该构造保持了奇数自旋的厄米特可分性（hermitian separability，即 $z$ 与 $\bar{z}$ 的纯加法分离）。

意义与主张

本文声称实现了“反射恒等式计划”（reflection-identity program）的结构预期，证明了三圈特征值存在于解析延拓的嵌套谐波和类之中。

• 结构洞察： 结果明确揭示了数值谱隐含的解析结构（$\nu$ 的极点结构、超越权重以及可分性）。它证实了特征值与低阶函数属于同一函数类，但在连接 $z$ 及其反射点的“梯形”参数上进行求值。
• 精确性 vs. 拟合： 作者强调，分解和系数是通过精确的梅林提取和代数归约得到的，而非拟合数值数据。唯一的推测性元素是将主生成函数与所有自旋的 Caron-Huot–Herranen 积分联系起来（猜想 1）；然而，用于最终结果的逐个自旋表是直接从积分中导出的，并未依赖该主函数。
• 局限性： 本文明确将闭合形式结果限制在奇数共形自旋。偶数自旋被认为包含在同一个主函数中，但涉及半整数梯形偏移和分圆内容，这属于未来的工作。
• 负面结果： 作者报告了三个作为其研究结果本身的负面发现：
  1. 对于极阶为 1 的有理槽位，不存在二变量有理主函数（猜想 3）。
  2. 原始网格的低阶 D-有限性（D-finiteness）是混合的（部分允许递归，部分则不然）。
  3. 某些核贡献的起始点是规范依赖的，只有 $K_{cw3}$ 在 $n=19$ 处的起始在不同规范下是可重现的。

这项工作为平面 $\mathcal{N}=4$ SYM 的奇数自旋扇区提供了完整、可重复且精确的描述，为来自振幅侧的确定提供了边界条件，并作为对应 QCD 特征值最高权部分的候选。