How to choose a good rational basis for elliptic Feynman integrals?

技术摘要：如何为椭圆费曼积分选择良好的有理基底？

问题陈述
多圈散射振幅的解析计算依赖于将结果表示为具有有理系数的超越函数线性组合。虽然这种分离在有理情况和代数情况（涉及平方根）下已得到充分理解，但在椭圆费曼积分中，这一过程变得显著复杂。在椭圆情况下，构建 $\epsilon$-因子化基底（即维数调节器 $\epsilon$ 从微分方程中因子分离）通常需要涉及完全椭圆积分的变换。这些变换会引入辅助多值函数和单圈歧义（monodromy ambiguities），而这些歧义无法通过物理边界条件来确定。因此，目前尚无普遍已知的、关于有理基底（系数为有理数）与 $\epsilon$-因子化的代数/椭圆基底之间简单的关系。本文探讨的核心问题是：是否存在一个优选的有理基底，能够作为构造单圈不变（monodromy-invariant）超越函数基底的自然起点，从而保持振幅中理数部分与多值部分的清晰分离。

方法论
作者基于文献 [1] 中提出的方法进行构建，该方法利用椭圆推广的领先奇异性（leading singularities, LS）来构造有理基底。该方法论分为三个主要阶段：

1. 椭圆领先奇异性构造：

   • 作者推广了用于有理情况的 $d\log$ 被积函数构造。他们不再要求被积函数为对数形式，而是将被积函数的代数部分（在极大割之后）与由底层椭圆曲线的上同调自然选择的代数一形式基底进行匹配。
   • 这些基底形式对应于第一类、第二类和第三类阿贝尔微分（$\omega_\psi, \omega_\phi, \omega_{\pi}$）。
   • 有理系数是通过确保拟设（ansatz）与这些特定一形式相匹配，并同时在标准对数领先奇异性处消失来确定的。这产生了一个有理基底 $J_R$。

2. 齐次块分析：

   • 研究表明，该有理基底 $J_R$ 的微分方程（DEs）具有一个关于 $\epsilon$ 线性的对角椭圆块：$dJ_R = [M^{(0)}_R(s) + \epsilon M^{(1)}_R(s)] J_R$。
   • 应用一个由椭圆领先奇异性（周期和拟周期）构造的通用变换 $T_C$，将 $J_R$ 转换为一个新基底 $J_C$。该基底满足的微分方程中，矩阵元的 $\epsilon$ 依赖性可以因子化为 $\epsilon$ 或 $1-n\epsilon$（其中 $n$ 为整数）。
   • 该新基底的领先阶（LO）连接是幂零的，允许通过迭代积分按 $\epsilon$ 的阶数逐阶构造解。

3. 向非对角块的扩展：

   • 作者将分析从极大割（对角块）扩展到耦合椭圆部门与其子部门的非对角块。
   • 作者研究了是否存在形式为 $J'_{R,\phi} = J_{R,\phi} + \sum r_i(s, \epsilon) J_{R,i}$ 的有理平移，可以简化非对角微分方程块。
   • 他们证明，虽然仅通过有理平移并不总能实现完全的 $\epsilon$-因子化，但总能强制实现一种特定的受限结构。

主要贡献与结果

• 整数 $n$ 的来源： 本文为出现在因子 $(1-n\epsilon)$ 中的整数 $n$ 提供了推导。研究表明，$n$ 由被积函数在与第二类微分相关的双极处的局部 $\epsilon$ 相关缩放决定。具体而言，$n = \sum (b_i \nu_i)/2$，其中 $b_i$ 是 Baikov 表示中不可约多项式指数的 $\epsilon$-系数，而 $\nu_i$ 是它们在双极处的阶数。
• 非对角块的结构： 本文的一个主要结果是对通过椭圆 LS 构造的有理基底的非对角微分方程块的特征描述。作者发现，对于按照其方案构造的有理基底，这些块的 $\epsilon$ 依赖性可以组织成一种通用结构：
  • 与第一类周期（$\psi$）和第三类周期（$\pi_a$）耦合的项可以被构造为与 $\epsilon$ 成正比。
  • 与第二类周期（$\phi$）耦合的项具有 $\frac{\epsilon}{1-n\epsilon} \omega^1 + \frac{\epsilon^2}{1-n\epsilon} \omega^2$ 的形式。
  • 这种结构在用于解耦齐次椭圆块的变换 $T_C$ 下得以保持。
• 单圈不变性： 本文论证了有理基底 $J_R$ 为定义单圈不变超越函数提供了一个自然的框架。通过对解耦系统的迭代积分解应用逆变换 $T_C^{-1}$，可以重构出在齐次微分方程的单圈群下保持不变的函数。这确保了有理系数与多值超越函数之间的清晰分离。
• 局限性与观察： 作者指出，虽然对于该有理基底，受限的 $\epsilon$ 依赖性成立，但若要实现具有常数交截矩阵的完全 $\epsilon$-因子化基底，通常需要扩大超越函数集 $E(s)$ 并引入非有理变换。本文并非声称该有理基底本身是 $\epsilon$-因子化的，而是强调它是最优的“有理”起点。

意义

本文声称，所提出的通过椭圆领先奇异性构造的有理基底，为多标度椭圆费曼积分提供了一种系统策略。其意义在于：

1. 几何一致性： 它将底层椭圆几何的信息直接纳入有理基底的选择中。
2. 单圈不变性： 它有助于构建超越函数基底，使振幅中的有理部分与多值部分能够清晰分离，避免了由于任意选择辅助齐次解而产生的类似于规范变换的歧义。
3. 结构的普适性： 发现非对角块的 $\epsilon$ 依赖性遵循一种通用的、受限的形式（并在解耦过程中保持不变），这表明在极大割上观察到的简洁性可以扩展到整个系统。
4. 实际效用： 该方法在编码几何信息的迭代积分表示与适用于具有有理系数的散射振幅的函数基底之间提供了一个具体的接口，这可能有助于复杂多标度振幅的解析重构和数值评估。

作者总结道，尽管在理解非对角块的剩余自由度以及向更高亏格几何的扩展方面仍需进一步工作，但所提方法为处理精密唯象学中的椭圆部门奠定了坚实的基础。