[论文解读] Generating and Calculating One-loop Feynman Diagrams with FeynArts, FormCalc, and LoopTools

Thomas Hahn|ArXiv.org|May 15, 1999

Distributed and Parallel Computing Systems被引用 9

一句话总结

本文提出了一套计算框架，用于自动化计算费曼图的一圈图。该框架使用FeynArts生成图，使用FormCalc进行代数简化和张量约化，使用LoopTools对圈积分进行数值计算。该方法在维度正则化和受限微分重整化方案下，实现了高能物理中高效且精确的一圈振幅计算，结果可直接用于数值实现。

ABSTRACT

A set of programs is presented for automatically generating and calculating Feynman diagrams. Diagrams are generated with FeynArts, then algebraically simplified using a combination of Mathematica and FORM implemented in the package FormCalc, and finally evaluated numerically using the LoopTools package. FormCalc works either in dimensional regularization or in constrained differential renormalization, the latter of which is equivalent at the one-loop level to regularization by dimensional reduction. FormCalc combines the speed of FORM with the powerful instruction set of Mathematica, and the latter greatly eases further processing of the results (e.g. selecting or modifying terms). The output is in a form well suited for numerical evaluation, which is then straightforward using the implementations of the one-loop integrals in LoopTools.

研究动机与目标

• 自动化量子场论中一圈费曼图的生成与计算。
• 简化从图生成到圈积分数值计算的转换流程。
• 为维度正则化和受限微分重整化方案提供灵活且高效的圈振幅计算流程。
• 将Mathematica的符号计算能力与FORM的高性能及LoopTools的数值鲁棒性相结合。
• 生成可直接用于现象学应用中数值计算的形式化结果。

提出的方法

• FeynArts根据用户定义的拉格朗日量和相互作用顶点，自动生成所有相关的一圈费曼图。
• FormCalc利用Mathematica与FORM相结合的方式，对振幅进行代数简化，处理张量结构和狄拉克代数。
• 该工具包同时支持维度正则化和受限微分重整化，后者在一圈水平上等价于维度约化。
• FormCalc将简化后的振幅以适合数值计算的形式输出，明确依赖于一圈标量积分。
• LoopTools以高精度和高效率对一圈标量积分（如泡图、三角图、盒子图等）进行数值计算。
• 整个工作流具有模块化特性，可无缝集成到更大的现象学计算中。

实验结果

研究问题

• RQ1 如何系统化地生成和处理一圈费曼图，以同时支持解析与数值计算？
• RQ2 在一圈振幅计算中，如何最有效地结合符号运算与高性能数值积分？
• RQ3 能否在自动化框架中有效实现受限微分重整化用于一圈计算？
• RQ4 如何组织自动化图振幅的输出，以最大化与数值计算工具的兼容性？
• RQ5 在自动化一圈计算中，不同正则化方案之间在性能与精度方面存在何种权衡？

主要发现

• 该框架成功实现了从图生成到一圈振幅数值计算的完整自动化流程。
• FormCalc通过结合Mathematica的符号能力与FORM的计算速度，实现了高效的代数简化。
• 该实现同时支持维度正则化和受限微分重整化，后者在一圈水平上等价于维度约化。
• FormCalc的输出结构化良好，可直接用于数值计算，显著减少了后续处理的开销。
• LoopTools提供了可靠且高效的圈标量积分数值计算，支持精确的现象学预测。
• 该集成工具链非常适合高能物理中复杂的圈计算，尤其适用于标准模型及其新物理的计算。