[論文レビュー] Symbolic syzygy-constrained reduction rules for Feynman integrals and the LoopIn framework

S. H. Smith|arXiv (Cornell University)|Feb 23, 2026

Particle physics theoretical and experimental studies被引用数 0

ひとこと要約

論文は、IBP 変換の多ループフェインマン積分のシンボリックでシジー制約付き縮約ルールを生成する新しいアルゴリズムを導入し、直接マスター積分への縮約を可能にし複雑なトポロジーでの効率を示すとともに、LoopInという自動化された多ループ計算のモジュール式フレームワークを提示します。

ABSTRACT

We present a new algorithm for integration-by-parts (IBP) reduction of Feynman integrals with high powers of numerators or propagators, a demanding computational step in evaluating multi-loop scattering amplitudes. The algorithm allows us to avoid a large intermediate system of equations and instead focus on applying direct reduction rules to the integrals. We demonstrate the application of our algorithm with some highly non-trivial examples, namely rank-20 integrals for the double box with an external mass and the massless pentabox. We also achieve much faster IBP reduction for an example of scattering amplitudes for spinning black hole binary systems. Finally, we present LoopIn, a modular framework for automating multi-loop calculations, where the IBP techniques described here can be interfaced.

研究の動機と目的

• 多ループフェインマン積分における integration-by-parts 縮約の計算ボトルネックを動機づけ、対処する。
• 標的積分を直接低複雑性形へ縮約するシンボリック縮約ルールを生成する新規アルゴリズムを開発する。
• シジー制約、スマートシード、オペレータ再配置を組み合わせて、顕在的な传播関数/分子次数依存を最小化したルールを作成する。
• 難度の高い二重ループトポロジー（例：外部質量を持つダブルボックス、質量なしのペンタボックス）およびスピニングブラックホール二体ア amplitude のデモンストレーション。
• LoopIn をモジュール式フレームワークとして提示し、既存の縮約・数値評価ツールとインターフェースして多ループ計算を自動化する。

提案手法

• オペレータレベルでのIBP縮約を定式化し、大規模な線形系を解く代わりにシンボリック縮約ルールを生成する。
• シジー制約を課して身元同定を関連する伝播子サブセットに制限し、変数数を削減する。
• セクター別の重み付けを用いたセクター毎のシジー方程式を解き、初期の縮約ルールを生成する。
• seeds と同定式に対して行基本的なロー від ルダウン（ガウス消去）を適用し、追加の縮約ルールを反復的に導出する。
• 得られたルールを後方代入で適用し、標的積分をマスター積分へ縮約する。
• 必要に応じて、標的積分の周囲の小さな近傍系を解いて欠落したシンボリックルールを得る。

Figure 1 : Tower of Sectors one must consider when the top sectors are $(2,1,1,0,0)$ and $(1,2,1,0,0)$ . This drawing is schematic and the horizontal levels here do not correlate with the weighting described later. The relevant information is contained within the arrows, denoting the subsector inher

実験結果

リサーチクエスチョン

• RQ1 シンボリックでシジー制約付き縮約ルールは、大規模な中間系を構築せずに任意の標的積分を低複雑性形へ縮約できるか。
• RQ2 セクター特異的なシジー制約とオペレータ再配置は、高 rank・多スケールの二重ループ積分でどの程度機能するか。
• RQ3 複雑なトポロジー（例：外部質量を持つダブルボックス、質量なしペンタボックス）や高リニア度のターゲットに対してルール数と計算労力の利得はどれほどか。
• RQ4 LoopIn に統合して、振幅生成から数値評価までの多ループ計算を自動化・合理化できるか。
• RQ5 これらのシンボリック縮約ルールの生成と適用における実用的な制限と最適な選択肢（例：モノミアル順序、シード選択）は何か。

主な発見

• シンボリック縮約ルールは高ランク・多スケールの積分を直接マスター積分へ縮約でき、大規模な線形IBP系への依存を減らす。
• 難易度の高いトポロジー（外部質量を持つダブルボックス、質量なしペンタボックス）への適用で、ランク20まで複数ドットを伴う縮約が成功。
• スピニングブラックホール二体ア amplitude では、シンボリックアプローチを用いると縮約時間が日数から時間へ大幅に改善されるなど著しい高速化を達成。
• シジー制約付き同定とシード摂動を組み合わせた反復スキームにより、比較的少数のマスター積分で複数の効率的なルールセットを得ることができる。
• LoopIn は多ループ計算を自動化し、既存ツール（Kira、LiteRed、FiniteFlow、AMFlow）とエンドツーエンドの処理を可能にするモジュールフレームワークとして導入される。

Figure 2 : A flow chart describing the algorithm for generating reduction rules