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

Thomas Hahn|arXiv (Cornell University)|Oct 4, 1999

Parallel Computing and Optimization Techniques被引用 46

一句话总结

本文提出了一套简化且自动化的单圈量子场论计算流程，利用FeynArts生成费曼图，FormCalc进行符号代数简化与振幅约化，LoopTools实现单圈积分的数值计算。该系统通过结合解析简化与高性能数值积分，实现了在标准硬件上几分钟内高效、精确且用户友好的复杂振幅计算——例如标准模型与MSSM中的振幅。

ABSTRACT

Three programs are presented for automatically generating and calculating Feynman diagrams: the diagrams are generated with FeynArts, algebraically simplified with FormCalc, and finally evaluated numerically using the LoopTools package. The calculations are performed analytically as far as possible, with results given in a form well suited for numerical evaluation. The latter is then straightforward using the implementations of the one-loop integrals in LoopTools.

研究动机与目标

• 自动化量子场论中单圈费曼图的生成与计算。
• 降低高能物理中复杂解析计算所伴随的手动工作量与出错风险。
• 通过符号简化与数值计算的结合，实现高效且精确的振幅计算。
• 通过灵活的正则化方案，支持MSSM与超对称理论等高级模型。
• 为高能物理研究者提供模块化、可扩展且开源的软件套件。

提出的方法

• FeynArts使用模型文件为所有不同的单圈拓扑结构分配粒子场，生成Mathematica中的图表达式。
• FormCalc通过收缩洛伦兹指标、计算狄拉克迹、约化张量积分并引入缩写，处理FeynArts的输出，以简化表达式。
• FormCalc使用FORM进行计算密集型代数运算，可快速处理大规模图集（例如在奔腾PC上约5分钟内处理1000多个图）。
• 简化后的符号表达式通过NumPrep转换为Fortran代码，以实现高效的数值计算。
• LoopTools提供了一套数值稳定的一维标量与张量积分实现（例如B0、C0），适用于维数正则化或维数约化，可通过Fortran、C++或Mathematica接口调用。
• 该流程同时支持维数正则化与受约束的微分重整化，适用于超对称模型。

实验结果

研究问题

• RQ1 如何改进单圈振幅计算的自动化，以进一步降低手动工作量与出错率？
• RQ2 用于生成、简化与数值评估复杂单圈振幅的软件堆栈整体性能如何？
• RQ3 符号计算（FormCalc）与高性能数值库（LoopTools）的集成能否在多粒子过程中同时实现精度与速度？
• RQ4 该系统如何处理MSSM或包含多种粒子类型与耦合的电弱理论等复杂模型？
• RQ5 FeynArts、FormCalc与LoopTools的模块化设计在多类理论计算中，能在多大程度上支持可扩展性与复用？

主要发现

• 该系统成功实现了从图生成到数值计算的完整单圈振幅处理流程，显著减少了手动计算时间与出错风险。
• FormCalc可在标准奔腾PC上约5分钟内处理超过1000个单圈图（例如标准模型中的W–W散射），展现出极高的计算效率。
• 使用FORM进行符号运算可实现快速代数简化，结果以紧凑且数值稳定的表达形式呈现，采用缩写张量与标量函数。
• LoopTools提供了可靠且文档齐全的一维积分数值实现，支持多种编程接口（Fortran、C++、Mathematica），其简单Mathematica接口可返回复数值结果，如B0(1000, 50, 80) = -4.40593 + 2.70414i。
• 该流程同时支持维数正则化与受约束的微分重整化，适用于一阶微扰计算中的超对称模型。
• 整个软件套件为开源，可在包括Linux、Solaris、AIX、HP-UX与DEC Unix在内的各类Unix平台间移植，可通过卡尔斯鲁厄理工学院官网获取。