[论文解读] Presenting LiteRed: a tool for the Loop InTEgrals REDuction

R.N. Lee|arXiv (Cornell University)|Dec 12, 2012

Mathematics and Applications参考文献 26被引用 235

一句话总结

LiteRed 是一个 Mathematica 工具包，通过使用费曼积分的逐项积分（IBP）恒等式和维度递推关系，自动实现多圈费曼积分的符号约化。它高效地执行 IBP 约化，检测对称性关系，并构建微分方程，显著简化了量子场论中的振幅计算。

ABSTRACT

Mathematica package LiteRed is described. It performs the heuristic search of the symbolic IBP reduction rules for loop integrals. It implements also several convenient tools for the search of the symmetry relations, construction of the differential equations and dimensional recurrence relations.

研究动机与目标

• 自动将多圈费曼积分约化为最小主积分基。
• 提供一种高效的启发式搜索方法，用于以符号形式查找逐项积分（IBP）约化规则。
• 支持为圈积分构建微分方程和维度递推关系。
• 检测并利用积分之间的对称性关系，以简化约化过程。
• 通过符号运算，简化量子场论中的振幅计算。

提出的方法

• 使用启发式算法，以符号形式搜索逐项积分（IBP）约化恒等式。
• 实施系统化方法，推导并应用圈积分的维度递推关系。
• 集成对称性检测功能，识别等价积分并减小基的规模。
• 利用约化结果，在运动学不变量中为基积分构建微分方程。
• 利用 Mathematica 的符号计算环境，实现高效且可扩展的代码。
• 支持生成紧凑且数值稳定的振幅表示形式。

实验结果

研究问题

• RQ1 如何利用 IBP 恒等式自动实现多圈费曼积分的符号约化？
• RQ2 检测并利用圈积分之间的对称性以简化约化的最有效方法是什么？
• RQ3 如何系统化地推导并以符号形式应用维度递推关系？
• RQ4 能否开发一个统一工具，同时处理 IBP 约化、对称性检测和微分方程构建？
• RQ5 使用符号工具在振幅计算中可实现哪些效率和自动化的提升？

主要发现

• LiteRed 成功地利用逐项积分恒等式，自动实现了多圈积分的符号约化。
• 该工具高效地检测并应用对称性关系，减少了独立主积分的数量。
• 系统地构建并应用了维度递推关系，用于关联不同维度下的积分。
• 自动生成了主积分的微分方程，从而支持其数值和解析求解。
• 该工具提供了一个稳健且可扩展的框架，适用于量子场论中高精度振幅计算。
• LiteRed 实现了原本需要大量手工推导才能完成的复杂圈积分约化。