[论文解读] An algorithmic approach to finding canonical differential equations for elliptic Feynman integrals

Christoph Dlapa, Johannes M. Henn+1 more|arXiv (Cornell University)|Jan 1, 2022

Algebraic and Geometric Analysis被引用 1

一句话总结

本文提出了一种算法化方法，系统推导涉及椭圆函数的费曼积分的规范微分方程，将广泛使用的规范形式方法扩展至多重 polylogarithm 之外。通过利用椭圆积分的代数几何结构和模形式性质，该方法能够识别复杂多圈振幅的 ϵ-形式微分方程，包括首次发现的三圈等质量香蕉图和 N3LO 希格斯粒子产生积分的规范形式。

ABSTRACT

In recent years, differential equations have become the method of choice to compute multi-loop Feynman integrals. Whenever they can be cast into canonical form, their solution in terms of special functions is straightforward. Recently, progress has been made in understanding the precise canonical form for Feynman integrals involving elliptic polylogarithms. In this article, we make use of an algorithmic approach that proves powerful to find canonical forms for these cases. To illustrate the method, we reproduce several known canonical forms from the literature and present examples where a canonical form is deduced for the first time. Together with this article, we also release an update for INITIAL, a publicly available Mathematica implementation of the algorithm.

研究动机与目标

• 开发一种系统化、算法化的途径，用于寻找涉及椭圆函数的费曼积分的规范微分方程，其范围超越标准的多重 polylogarithm（MPL）框架。
• 解决椭圆及更高圈积分中 ϵ-形式矩阵 ˜A(x) 精确结构的开放性问题，其中标准 MPL 方法失效。
• 将规范形式方法的适用范围——此前在 MPL 情况下取得成功——扩展至包含椭圆 polylogarithm 及其推广形式的积分。
• 提供一个公开可用的自动化实现（通过更新的 INITIAL），以促进高能物理计算中的可重复性和广泛应用。
• 通过重现已知的规范形式并推导出具有挑战性的多圈振幅（包括三圈和 N3LO 相空间积分）的新规范形式，展示该方法的强大能力。

提出的方法

• 该方法基于周期积分及其单值性结构提出规范形式的假设，特别关注椭圆函数和模形式的出现。
• 利用代数几何技术分析积分的奇点和单值性，识别适当的周期基及其变换性质。
• 该算法构建一个变换矩阵 T(x, ϵ)，使得原始微分系统 ∂f/∂x = A(x, ϵ)f 转换为 ϵ-形式 ∂g/∂x = ϵ˜A(x)g，其中 ˜A(x) 具有 Fuchsian 结构。
• 该方法利用已知的椭圆积分结果，例如太阳图周期用完全椭圆积分 K(k²) 表示，以构建规范矩阵的假设。
• 通过在奇点附近（如 x=0,1,9,∞,±3）进行级数展开，以确定边界条件并验证规范形式的一致性。
• 实现已集成至基于 Mathematica 的 INITIAL 软件包中，支持规范形式的自动化计算与验证。

实验结果

研究问题

• RQ1 对于涉及椭圆函数的费曼积分，其规范微分方程矩阵 ˜A(x) 的精确结构是什么，超越标准 MPL 情况？
• RQ2 能否开发一种算法化方法，系统推导出评估为椭圆 polylogarithm 或更高圈推广形式的多圈积分的 ϵ-形式？
• RQ3 如何利用积分的单值性和周期结构来指导变换矩阵 T 的构造，并确保 ˜A(x) 的 Fuchsian 性质？
• RQ4 该方法能否重现基准积分（如筝形图、香蕉图、非平面三角形图）的已知规范形式，并推导出此前未解决情况的新规范形式？
• RQ5 模形式和代数函数（如分母中的平方根）在规范系统的积分核中起什么作用，以及如何算法化地处理它们？

主要发现

• 该算法成功重现了两圈筝形图和非平面三角形图的已知规范形式，验证了其正确性和鲁棒性。
• 首次为三圈等质量香蕉图推导出规范形式，这是一个涉及多个质量尺度和椭圆结构的高度非平凡情况。
• 该方法识别出 N3LO 希格斯粒子产生相空间积分的规范微分方程，这些积分涉及复杂的动量构型和椭圆函数。
• 三圈引力势能积分被证明可采用规范形式，展示了该方法在引力散射振幅中的适用性。
• 该算法化方法即使在积分核包含代数根或模函数时，也能推导出规范形式，这些情况对标准方法构成挑战。
• 随论文发布的更新版 INITIAL 软件包，为椭圆及更高圈情形下的规范形式计算提供了一个实用的开源工具，显著降低了高能物理计算中应用该方法的门槛。