[论文解读] Forcer, a FORM program for the parametric reduction of four-loop massless propagator diagrams

Ben Ruijl, Takahiro Ueda+1 more|arXiv (Cornell University)|Apr 21, 2017

Protein Structure and Dynamics参考文献 46被引用 38

一句话总结

Forcer 是一个基于 Form 的程序，通过预计算的约化规则和对称性利用，对四圈无质量传播子图进行参数化分部积分（IBP）约化，转化为主积分。该程序通过受控的 ϵ-展开或有理多项式算术，高效处理寄生极点，实现量子场论中的高精度计算，尤其适用于四圈分裂函数和传播子振幅的计算。

ABSTRACT

We explain the construction of Forcer, a FORM program for the reduction of four-loop massless propagator-type integrals to master integrals. The resulting program performs parametric IBP reductions similar to the three-loop Mincer program. We show how one can solve many systems of IBP identities parametrically in a computer-assisted manner. Next, we discuss the structure of the Forcer program, which involves recognizing reduction actions for each topology, applying symmetries, and transitioning between topologies after edges have been removed. This part is entirely precomputed and automatically generated. We give examples of recent applications of Forcer, and study the performance of the program. Finally we demonstrate how to use the Forcer package and sketch how to prepare physical diagrams for evaluation by Forcer.

研究动机与目标

• 开发一种可扩展且高效的四圈无质量传播子图约化框架，这些图在高精度 QCD 预测中至关重要。
• 通过预计算约化规则和拓扑转换，克服完整四圈 IBP 系统的计算不可行性。
• 通过同时支持有理多项式算术和固定深度 ϵ-展开模式，解决维数正则化中寄生极点的挑战。
• 为大规模量子场论计算（如四圈分裂函数和 β 函数）提供一种实用、快速且可靠的工具。
• 通过自动化将物理图转化为 Forcer 输入，弥合符号 IBP 约化与物理应用之间的鸿沟。

提出的方法

• 构建一个预计算的约化图，通过已知的子结构规则（如一圈三角图、地毯规则）映射所有拓扑及其约化路径。
• 应用拓扑对称性和自同构变换，减少冗余约化路径，提升效率。
• 采用混合方法：结合参数化 IBP 约化（如 Mincer）与人工引导的计算机辅助推导，优化处理不可约拓扑。
• 实现两种运行模式：有理多项式算术（精确但较慢）和固定深度 ϵ-展开（快速，需谨慎选择深度）。
• 基于展开深度自动生成 Pochhammer 符号及其他特殊函数的约化表。
• 支持通过试运行估算所需 ϵ-展开深度，并通过不同展开设置的交叉验证确保精度。

实验结果

研究问题

• RQ1 如何以计算可行且数值稳定的方式，将四圈无质量传播子积分约化为母积分？
• RQ2 在四圈 IBP 约化中，针对维数正则化下的寄生极点，最有效的处理策略是什么？
• RQ3 如何系统化地生成预计算的约化规则和拓扑转换，以最小化运行时间并最大化复用性？
• RQ4 在四圈计算中，精确有理算术与固定深度 ϵ-展开之间的性能权衡是什么？
• RQ5 如何系统地将 QCD 过程中的物理图转化为 Forcer 程序的输入？

主要发现

• Forcer 通过结合预计算约化规则与对称性利用，成功将四圈无质量传播子图约化为母积分，支持大规模计算。
• 该程序已用于高精度计算，包括四圈分裂函数、四圈传播子与顶点函数，以及五圈 β 函数。
• 基准测试结果表明，Forcer 在使用固定深度 ϵ-展开时，相较于通用 IBP 求解器实现了显著的性能提升。
• 程序支持两种模式：有理多项式算术（精确，适用于罕见情况）和受控 ϵ-展开（适用于大多数应用），展开深度通过试运行估算。
• 通过将有理多项式展开到足够多的 ϵ 幂次，并增加安全余量，可有效管理寄生极点（即仅在总和后才抵消的非物理 1/ϵ 发散）。
• 源代码已公开发布于 GitHub，支持可重现性，并推动高能物理社区的进一步开发。