[论文解读] Feynman Diagram Calculations with FeynArts, FormCalc, and LoopTools

T. Hahn|arXiv (Cornell University)|Jun 11, 2010

Particle physics theoretical and experimental studies参考文献 6被引用 32

一句话总结

本文提出了一套集成计算框架，结合FeynArts、FormCalc与LoopTools，用于在量子场论中自动化计算一阶费曼图。该框架可高效生成振幅、进行符号运算，并数值计算圈图积分，关键进展包括处理复质量方案、红外/喷胶发散，以及为高能物理现象学中的高精度截面计算优化生成Fortran代码。

ABSTRACT

This article describes the latest versions of the Mathematica packages FeynArts, FormCalc, and LoopTools for the generation and evaluation of one-loop diagrams.

研究动机与目标

• 自动化计算量子场论中的一阶截面，以实现高精度散射振幅。
• 从模型定义到数值结果，简化费曼图的生成与评估流程。
• 支持高级功能，如复质量方案、红外与喷胶发散，以及高效代码生成以实现数值实现。
• 提供模块化、开源且可扩展的工具包，用于高能物理现象学计算。

提出的方法

• FeynArts使用模型文件生成图的拓扑结构并插入场，通过通用、类别和粒子层级组织粒子，以优化运动学简化。
• FormCalc从费曼图计算符号振幅，应用费曼规则，并通过低级函数（如WriteExpr和FileSplit）生成优化的Fortran代码。
• LoopTools数值计算一阶积分，包括张量系数与标量积分，支持维度调节与复质量方案。
• 系统通过模型文件（.mod, .gen）集成，确保所有组件间耦合与质量定义的一致性。
• 通过公共子表达式消除与模块化文件拆分，优化代码生成以处理大型表达式。
• 该框架支持多种接口（Fortran、C++、Mathematica），并包含用于输出格式化（LaTeX、PostScript）与符号校验（如Ward恒等式）的工具。

实验结果

研究问题

• RQ1 如何在一个完全自动化、基于模型的框架中生成并评估一阶费曼图振幅？
• RQ2 哪些改进使得一阶计算能够处理复质量方案与红外/喷胶发散？
• RQ3 如何将符号振幅高效转换为优化的、数值稳定的Fortran代码？
• RQ4 分层场结构（通用、类别、粒子）在降低计算复杂度方面起到什么作用？
• RQ5 如何使图生成、振幅计算与圈积分评估的集成在多种量子场论中实现稳健且可扩展？

主要发现

• 该框架成功实现了从模型定义到数值评估的一阶截面计算自动化，支持复质量方案与红外/喷胶发散。
• LoopTools的最新扩展完整支持具有四个复质量的D0张量积分的复质量情形。
• 红外与喷胶发散的维度调节已实现，当λ² = -2、-1与0时，正确返回1/ε²、1/ε与有限项。
• 红外与喷胶发散的调度器采用位模式查找表，通过单张表跳转显著提升性能。
• FormCalc的代码生成通过公共子表达式消除与模块化文件拆分，生成优化的Fortran代码，适用于大型表达式。
• 该系统完全开源，采用LGPL协议，完整手册与安装脚本可在http://feynarts.de获取。