[論文レビュー] Implementation of non-linear gauge-fixing in FeynArts package

Jurgis Pašukonis|ArXiv.org|Sep 30, 2007

Distributed and Parallel Computing Systems参考文献 2被引用数 5

ひとこと要約

この修士論文は、標準模型における自動フェยニマン図生成のためのFeynArtsパッケージ内での非線形ゲージ固定の実装を提示する。線形な選択を超えてゲージ固定手順を拡張することで、新しいゲージパラメータが伝播関数ではなく頂点を変更する方法が導入され、より広いクラスのゲージが可能になる。主な貢献は、木レベルおよび1ループレベルでのゲージ不変性のチェックを組み込んだ、検証済みで自動化された精度計算フレームワークの構築である。

ABSTRACT

Feynman rules for the Standard Model including non-linear gauges are derived and implemented in the FeynArts package. The calculations using FeynArts with the new rules show that tree-level amplitudes are gauge invariant and that renormalization is not spoiled for one-loop calculations. The FeynArts model files are available at http://www.fi.lt/~garfield/SM/

研究の動機と目的

• FeynArtsパッケージを標準模型における非線形ゲージ固定をサポートするように拡張し、より柔軟で包括的なゲージ選択肢を可能にする。
• 自動化された振幅計算の検証の課題に対処するため、ゲージ不変性を組み込み済みの整合性チェックとして活用する。
• 既存のFeynArtsおよびFormCalcワークフローと互換性を持つ形で、ゴーストおよびスカラー相互作用を含む非線形ゲージ固定頂点を実装・テストする。
• 特にγγ → WW過程に対して、非線形ゲージ固定の実現可能性と正しさを、明示的な木レベルおよび1ループ計算を通じて示す。
• 非線形ゲージ固定パラメータ（例：Galpha、Gbeta、Gepsilon）でパrameter化された新しい相互作用頂点を備えたモデルファイル拡張（SM.mod）を提供する。

提案手法

• Faddeev-Popov手順を変更し、伝播関数ではなく頂点構造を変更する非線形ゲージ固定項を導出する。
• 非線形ゲージ選択をパrameter化するための新しいゲージパラメータ（例：Galpha、Gbeta、Gepsilon、Gkappa、Gdelta、Gepsilon）をラグランジアンに導入する。
• FeynArtsモデルファイル（SM.mod）を修正し、ゲージボソン、ヒッグス、ゴールドストーンボソン、ゴーストを含む頂点に対する新しい解析的カップリングを追加する。
• 非線形ゲージパラメータに明示的な依存性を持つ新しい相互作用頂点（例：$\bar{c}^Z c^Z hh$、$\bar{c}^Z c^\pm \chi^\mp h$、$\bar{c}^\mp c^A \chi^\pm h$）を実装する。
• FormCalcインターフェースを用いて、異なるゲージパラメータでの振幅評価を通じてゲージ不変性の数値的チェックを実施する。
• γγ → WW過程の木レベルおよび1ループ計算を通じて実装を検証し、異なるパラメータ選択においてもゲージ不変性が保たれることを確認した。

実験結果

リサーチクエスチョン

• RQ1 FeynArtsパッケージ内で非線形ゲージ固定を体系的に実装する方法は何か？ これにより利用可能なゲージの範囲をどのように拡張できるか？
• RQ2 非線形ゲージ固定パラメータを導入することで、最終的な振幅のゲージ不変性を保ちつつ、頂点のみを変更する方法は可能か？
• RQ3 標準模型における非線形ゲージ固定に必要な新しい相互作用頂点（ゴーストおよびスカラー相互作用を含む）の具体的な形は何か？
• RQ4 非線形ゲージ固定を用いる場合、ゲージ不変性チェックが自動化された振幅計算の検証ツールとしてどれほど信頼できるか？
• RQ5 非線形ゲージパラメータの導入は、ラグランジアンの構造および精度物理学の文脈におけるフェイニマン規則にどのように影響を与えるか？

主な発見

• 実装によりFeynArtsが非線形ゲージ固定をサポートするよう拡張され、伝播関数ではなく頂点を変更する新しいゲージパラメータが導入された。
• 修正済みのモデルファイル（SM.mod）には、$\bar{c}^Z c^Z hh$ や $\bar{c}^\mp c^A \chi^\pm h$ といった頂点に対する明示的な解析的カップリングが含まれており、係数は $G\epsilon$、$G\delta$、$G\alpha$ に比例する。
• γγ → WWの木レベル計算では、非線形ゲージパラメータの異なる値を用いて評価しても完全なゲージ不変性が確認され、整合性が裏付けられた。
• 1ループ計算においてもゲージ不変性が示され、精度物理学への応用における手法の堅牢性が裏付けられた。
• 非線形ゲージパラメータの導入により、アクセス可能なゲージの数が顕著に増加し、自動化された振幅計算の信頼性が向上した。
• 標準的な $\xi_W, \xi_Z, \xi_A$ を超えて複数のゲージパラメータを変化させることで、より厳密なゲージ不変性チェックが可能になった。