[論文レビュー] 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を用いたループ積分の数値評価により、1ループフェニマン図計算を自動化する計算フレームワークを提示する。この手法により、次元正則化および制約付き微分的正則化の両方の枠組みにおいて、高エネルギー物理学における効率的かつ高精度な1ループ振幅計算が可能となり、数値実装に最適化された結果が得られる。

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.

研究の動機と目的

• 量子場の理論における1ループフェニマン図の生成と計算を自動化すること。
• 図の生成からループ積分の数値評価への移行を簡素化すること。
• 次元正則化および制約付き微分的正則化の両方において、柔軟かつ効率的な1ループ振幅の計算パイプラインを提供すること。
• Mathematicaの記号的処理の強力さと、FORMの性能およびLoopToolsの数値的安定性を統合すること。
• 現象論的応用において直接的に数値評価可能な形で結果を出力すること。

提案手法

• FeynArtsは、ユーザーが定義したラグランジアンおよび相互作用頂点から、関連するすべての1ループフェニマン図を生成する。
• FormCalcは、MathematicaとFORMの組み合わせを用いて、振幅の代数的簡略化を実行し、テンソル構造およびディラック代数を処理する。
• このパッケージは、次元正則化および制約付き微分的正則化の両方をサポートしており、1ループレベルでは次元削減と等価である。
• FormCalcは、簡略化された振幅を、1ループスカラー積分に明示的な依存関係を持つ形で出力する。
• LoopToolsは、高い精度と効率性をもって1ループスカラー積分（バブル、トライアングル、ボックスなど）を数値的に評価する。
• このワークフローはモジュール式であり、より大きな現象論的計算へのシームレスな統合を可能にする。

実験結果

リサーチクエスチョン

• RQ1 1ループフェニマン図を、解析的および数値的評価を両立させる形で体系的に生成・処理するにはどうすればよいか？
• RQ2 1ループ振幅の文脈で、記号的処理と高性能な数値積分を効果的に組み合わせる最良の方法は何か？
• RQ3 制約付き微分的正則化を、1ループ計算の自動化フレームワークに効果的に実装できるか？
• RQ4 自動化された図振幅の出力を、数値評価ツールと最大限に互換性を持たせるにはどのように構造化すべきか？
• RQ5 自動化された1ループ計算において、異なる正則化スキーム間の性能と正確性のトレードオフは何か？

主な発見

• このフレームワークは、図の生成から1ループ振幅の数値評価に至るまで、完全なパイプラインを成功裏に自動化した。
• FormCalcは、Mathematicaの記号的処理能力とFORMの高速性を組み合わせることで、効率的な代数的簡略化を実現した。
• 実装は、次元正則化および制約付き微分的正則化の両方をサポートしており、後者は1ループレベルで次元削減と等価である。
• FormCalcの出力は、直接的な数値評価に最適化されており、後処理のオーバーヘッドを顕著に削減した。
• LoopToolsは、信頼性が高く、効率的な1ループスカラー積分の数値評価を提供し、正確な現象論的予測を可能にした。
• 統合されたツールチェーンは、特に標準模型およびその先の高エネルギー物理学における複雑な1ループ計算に適している。