[論文レビュー] Forcer, a FORM program for the parametric reduction of four-loop massless propagator diagrams

Ben Ruijl, Takahiro Ueda+1 more|arXiv (Cornell University)|Apr 21, 2017

Protein Structure and Dynamics参考文献 46被引用数 38

ひとこと要約

Forcer は、事前計算された還元ルールと対称性の活用を用いて、四ループ質量なし伝播関数図をマスターインテグラルに形式ベースで積分-by-parts (IBP) 減少する Form プログラムである。スプライス・ポールの制御的 ϵ-展開または有理多項式算術を用いることで、量子場の理論における高精度計算を効率的に行うことが可能である。特に四ループ分裂関数や伝播関数振幅の計算に有効である。

ABSTRACT

We explain the construction of Forcer, a FORM program for the reduction of four-loop massless propagator-type integrals to master integrals. The resulting program performs parametric IBP reductions similar to the three-loop Mincer program. We show how one can solve many systems of IBP identities parametrically in a computer-assisted manner. Next, we discuss the structure of the Forcer program, which involves recognizing reduction actions for each topology, applying symmetries, and transitioning between topologies after edges have been removed. This part is entirely precomputed and automatically generated. We give examples of recent applications of Forcer, and study the performance of the program. Finally we demonstrate how to use the Forcer package and sketch how to prepare physical diagrams for evaluation by Forcer.

研究の動機と目的

• 高精度 QCD 予測に不可欠な四ループ質量なし伝播関数図のスケーラブルで効率的な還元フレームワークの開発。
• 完全な四ループ IBP システムの計算不能性を、事前計算された還元ルールとトポロジー遷移の活用によって克服すること。
• 次元正則化におけるスプライス・ポールの課題に対処するため、有理多項式算術と固定深度 ϵ-展開の両モードを可能にする。
• 四ループ分裂関数や β 関数などの大規模計算に実用的で高速かつ信頼性の高いツールを提供すること。
• 記号的 IBP 減少と物理的応用の間のギャップを埋めるために、物理的図を Forcer 入力に自動変換すること。

提案手法

• 既知の部分構造ルール（例：一ループ三角形、カーペット則など）を用いて、すべてのトポロジーとその還元をマップする事前計算された還元グラフを構築する。
• トポロジー的対称性と自己同型を適用して、重複する還元経路を削減し、効率を向上させる。
• Mincer と同様のパラメトリック IBP 減少と、手動によるコンピュータ支援導出による不規則トポロジーの最適化処理を組み合わせたハイブリッドアプローチを採用する。
• 2 つの運用モードを実装する：有理多項式算術（正確だが遅い）と固定深度 ϵ-展開（高速だが深さの選定に注意が必要）。
• 展開深さに応じて、Pochhammer 記号やその他の特殊関数の還元表を自動生成する。
• 必要な ϵ-展開深さを推定するための試行走行と、異なる展開設定での相互検証を実施し、正確性を保証する。

実験結果

リサーチクエスチョン

• RQ1 四ループ質量なし伝播関数積分は、計算的に実行可能で数値的に安定する方法で、マスターインテグラルにどのように還元できるか？
• RQ2 四ループ IBP 還元の過程で、次元正則化におけるスプライス・ポールを効果的に取り扱う戦略は何か？
• RQ3 実行時間の最小化と再利用の最大化を図るため、事前計算された還元ルールとトポロジー遷移を体系的に生成する方法は何か？
• RQ4 四ループ計算において、正確な有理算術と固定深度 ϵ-展開の間の性能的トレードオフは何か？
• RQ5 QCD の過程から得られる物理的図を、Forcer プログラムの入力に体系的に変換する方法は何か？

主な発見

• Forcer は、事前計算された還元ルールと対称性の活用を組み合わせることで、四ループ質量なし伝播関数図をマスターインテグラルに成功裏に還元し、大規模計算を可能にした。
• 本プログラムは、四ループ分裂関数、四ループ伝播関数および頂点関数、さらには五ループ β 関数の高精度計算に使用されている。
• ベンチマーク結果から、特に固定深度 ϵ-展開を用いる場合、一般的な IBP ソルバーよりも顕著な性能向上が得られていることが示された。
• 本プログラムは 2 つのモードをサポートする：有理多項式算術（まれなケースに適した正確なモード）と制御的 ϵ-展開（大多数の応用に適したモード）、展開深さは試行走行により推定される。
• 物理的に無関係な 1/ϵ 発散（スプライス・ポール）は、有理多項式を十分な数の ϵ の累乗に展開することで管理可能であり、安全マージンを追加することで安定性が確保される。
• ソースコードは GitHub で公開されており、高エネルギー物理学コミュニティにおける再現性とさらなる開発を可能にしている。