[論文レビュー] Automatic application of successive asymptotic expansions of Feynman diagrams

T. Seidensticker|ArXiv.org|May 11, 1999

advanced mathematical theories被引用数 70

ひとこと要約

本稿では、多スケールフェยマン図の逐次漸近展開を自動化するC++プログラムEXPを提示する。再帰的バックトラッキングアルゴリズムを用いてハード部分図を生成し、共部分図のトポロジーを特定する。複数の小さなパラメータ（例：$M_H^2/M_t^2$、$M_b^2/M_H^2$）における系統的なネストされた展開を可能にし、ヒッグスボソンの$b\bar{b}$への崩壊振幅の虚部を計算することで手法の妥当性を検証した。これにより、$\mathcal{O}(M_t^{-4})$項を含む、以前の結果の拡張が達成された。

ABSTRACT

We discuss the program EXP used to automate the successive application of asymptotic expansions to Feynman diagrams. We focus on the generation of the relevant subgraphs and the determination of the topologies for the remaining integrals. Both tasks can be solved by using backtracking-type recursive algorithms. In addition, an application of EXP is presented, where the integrals were calculated using the FORM packages MINCER and MATAD.

研究の動機と目的

• 多スケールフェイマン図における関連するハード部分図および共部分図トポロジーの自動生成を目的とする。
• 複数の小さなパラメータ（例：質量比や運動量比）における逐次漸近展開を可能にし、高次の補正を実現することを目的とする。
• 複雑な多スケール積分を単一スケール積分に簡略化することで、量子場理論における高精度計算を支援することを目的とする。
• MINCER や MATAD といった既存のFORMベースの統合ツールとシームレスに統合され、最終的な振幅評価が可能となること。

提案手法

• 図の線のすべての部分集合を体系的に生成し、ハード部分図の条件を満たすかをテストする再帰的バックトラッキングアルゴリズムを用いる。
• 軽い線に対する1粒子的非可分解性の図式的ルールを適用し、有効なハード部分図を同定する。
• 運動量保存則と係数マッチングを用い、部分図にループ運動量および外部運動量を割り当て、そのトポロジーを特定する。
• 整数係数の運動量および質量の分布を、ユーザーが定義した標準的トポロジーと照合するトポロジー比較アルゴリズムを用いる。
• 後続のMINCERおよびMATAD統合のためのFORM互換入力ファイルおよびMakefileを自動生成する。
• 質量および運動量スケールの階層的構造を再帰的に展開することで、残りの積分がすべて単一スケールとなるまで処理を継続する。

実験結果

リサーチクエスチョン

• RQ1 複数の質量および運動量スケールの階層を持つ多スケールフェイマン図に対して、逐次的漸近展開の適用を自動化する方法は何か？
• RQ2 複雑な図において、すべての関連するハード部分図および共部分図トポロジーを正しく同定するためのアルゴリズム的手法は何か？
• RQ3 部分図のトポロジー割り当てを体系的に行い、MINCER や MATAD などの単一スケールツールと統合するにはどうすればよいか？
• RQ4 ネストされた展開に高次の項（例：$\mathcal{O}(M_t^{-4})$）を含めることで、精度の高い崩壊率計算に与える影響は何か？
• RQ5 ループ次数やスケール階層が増加する図に対応できるように、自動化パイプラインをどのようにして強固かつ拡張可能にするか？

主な発見

• プログラムEXPは、再帰的バックトラッキングを用いてハード部分図および共部分図トポロジーの生成を自動化し、系統的な逐次展開を可能にした。
• この手法は、ヒッグスボソンの$b\bar{b}$への崩壊振幅の虚部の計算に適用され、$M_H^2/M_t^2$および$M_b^2/M_H^2$におけるネストされた級数の形で結果が得られた。
• 計算は、$\mathcal{O}(M_t^{-4})$項を含むことで、以前の結果を拡張した。これらの項は数値的には小さいが、形式的に重要であった。
• 最終的な結果はQCDのゲージパラメータに依存せず、正規化を経ずに有限であるため、場の理論の期待と整合していることが確認された。
• 標準的トポロジーにマッピングできない部分図を正しく同定・分離でき、さらなる再帰的展開が可能となった。
• MINCERおよびMATADとのFORMを介した統合は完全に自動化され、メインファイルおよびMakefileの生成を含み、計算ワークフローの簡素化が達成された。