[論文レビュー] Matchmakereft: Automated tree-level and one-loop matching

Adrián Carmona, Achilleas Lazopoulos+2 more|arXiv (Cornell University)|Dec 20, 2021

Particle physics theoretical and experimental studies被引用数 4

ひとこと要約

Matchmakereft は、図式的手法とバックグラウンド場法（BFM）を用いてゲージ不変性を保つことで、量子場の理論モデルと効果的場理論（EFT）間の木レベルおよび1ループ一致を完全に自動化するツールである。非殻一致を実施し、明示的なゲージ不変性による広範な検証を実施しており、物理的基底、グリーン基底、および正規化後の基底での結果を提供する。これにより、1ループの正則化、基底変換、演算子独立性の検証といった応用が可能となる。

ABSTRACT

We introduce matchmakereft, a fully automated tool to compute the tree-level and one-loop matching of arbitrary models onto arbitrary effective theories. Matchmakereft performs an off-shell matching, using diagrammatic methods and the background field method when gauge theories are involved. The large redundancy inherent to the off-shell matching together with explicit gauge invariance offers a significant number of non-trivial checks of the results provided. These results are given in the physical basis but several intermediate results, including the matching in the Green basis before and after canonical normalization, are given for flexibility and the possibility of further cross-checks. As a non-trivial example we provide the complete matching in the Warsaw basis up to one loop of an extension of the Standard Model with a charge -1 vector-like lepton singlet. Matchmakereft has been built with generality, flexibility and efficiency in mind. These ingredients allow matchmakereft to have many applications beyond the matching between models and effective theories. Some of these applications include the one-loop renormalization of arbitrary theories (including the calculation of the one-loop renormalization group equations for arbitrary theories); the translation between different Green bases for a fixed effective theory or the check of (off-shell) linear independence of the operators in an effective theory. All these applications are performed in a fully automated way by matchmakereft.

研究の動機と目的

• UVモデルとEFT間のウィルソン係数一致を、木レベルおよび1ループで自動化すること。
• 非殻一致と明示的なゲージ不変性のチェックを通じて、堅牢性と一貫性を確保すること。
• 物理的基底、グリーン基底、正規化後の基底といった複数の基底での結果を提供し、相互検証と柔軟性を実現すること。
• 一致の適用範囲を越えて、1ループの正則化、基底変換、EFTにおける演算子独立性のテストを含む応用を可能にすること。
• 系統的で再現可能かつ効率的なEFT計算を可能にすることで、高エネルギー素粒子物理学におけるモデル構築を支援すること。

提案手法

• ゲージ理論における明示的ゲージ不変性を維持するため、バックグラウンド場法（BFM）を用いて図式的手法により1ループの振幅を計算する。
• 外部状態をすべて非殻にしたまま、UVモデルとEFTモデルの振幅を比較することで非殻一致を実施し、一貫性の検証を強化する。
• YAMLおよびPythonベースの設定ファイルを用いた柔軟なモデル定義フレームワークを導入し、場、ゲージ構造、相互作用を指定可能にする。
• 't Hooft-Veltmanスキームで一貫性を保つために、次元正則化と射影技術を用いてγ5およびイーヴァネンセント演算子を体系的に取り扱う。
• グリーン基底および正規化後の基底での一致を自動的に計算し、直接的な比較と誤差検出を可能にする。
• 大規模な計算ワークフローおよび自動化パイプラインへの統合を可能にするために、コマンドラインインターフェースとPythonモジュールを公開する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、ゲージ不変性を保ちながら、UVモデルとEFT間の1ループ一致を体系的かつ自動的に計算できるか？
• RQ2 非殻一致と明示的なゲージ不変性の役割は、ウィルソン係数計算の検証および相互検証において果たすものか？
• RQ3 1つのフレームワークが、一致に加えて1ループの正則化、基底変換、EFTにおける演算子独立性のテストを自動化できるか？
• RQ4 次元正則化におけるイーヴァネンセント演算子およびγ5の問題は、どのように一貫して取り扱えるか？
• RQ5 ベクトル型レプトンシングレットなどのモデル固有の特徴は、1ループにおける結果のEFTの構造にどのような影響を及えるか？

主な発見

• Matchmakereft は、電荷 −1 のベクトル型レプトンシングレットを有する標準模型の拡張を、SMEFTのワルサワ基底に完全に1ループ一致させることが成功した。
• ツールは、SMEFTにおけるすべてのボソン的、フェルミオン二重、およびフェルミオン四重演算子（およびそれらのウィルソン係数）について、明示的な結果を提供する。
• イーヴァネンセント演算子の取り扱いや、次元正則化におけるγ5の適切な処理が一貫して行われており、演算子混合のための専用のチェックも実施されている。
• 同じ一致の仕組みを用いて、任意の理論の1ループ正則化（1ループRGEの計算を含む）を自動的に実行できる。
• グリーン基底（例：グリーン基底から物理的基底への）間の基底変換が自動的に行われ、一貫性の検証も実施されている。
• 非殻一致を通じて演算子間の線形従属を検出でき、EFTにおける余分な演算子を体系的に特定するための手法が提供されている。