[論文レビュー] Lecture Notes on Multi-loop Integral Reduction and Applied Algebraic Geometry

Yang Zhang|arXiv (Cornell University)|Dec 7, 2016

Polynomial and algebraic computation参考文献 20被引用数 26

ひとこと要約

本稿では、グレブナー基底、多変数の留数、およびシジージに基づく部分積分（IBP）関係を用いて、多ループフェルミオン積分還元への計算代数幾何学の体系的応用を提示する。多項式系の解法と代数的制約によるマスターテンプレートの特定を通じて、複雑な多ループ振幅の効率的還元を可能にし、バイコフ表現および最大ユニタリティカットを用いた明示的構成がなされている。

ABSTRACT

These notes are for the author's lectures, "Integral Reduction and Applied Algebraic Geometry Techniques" in the School and Workshop on Amplitudes in Beijing 2016. I introduce the applications of algebraic geometry methods on multi-loop scattering amplitudes, for instance, integrand reduction, residue computation in unitarity analysis and Integration-by-parts reduction. Illustrative examples and exercises are included in these notes.

研究の動機と目的

• 量子場理論における多ループフェルミオン積分の計算的非実行性、特にNNLO以降の状況に対処すること。
• 一ループ手法（例：OPP還元）を高次ループに拡張する際の制限を克服すること。これは多変数有理関数被積分関数に起因する。
• グレブナー基底や多変数留数といった代数幾何学的ツールを用いて、被積分関数還元およびIBP還元の体系的フレームワークを構築すること。
• バイコフ多項式のシジージから導かれる多項式ディオファントス方程式を解くことで、マスターテンプレートを効率的に同定すること。
• 現代の代数幾何学的手法を用いた、高エネルギー物理学における高精度計算のための計算的ブループrintを提供すること。

提案手法

• 多変数多項式環におけるグレブナー基底を用いて、特に一ループおよび高次ループ図の被積分関数還元を実行する。
• 複素変数複数の最大ユニタリティカットを用い、多変数正則関数およびベズォウティアン理論に基づく留数計算を行う。
• ループ積分を伝達子不変量への積分に変換するためのバイコフ表現を適用し、バイコフ変数における有理関数に還元する。
• バイコフ多項式の多項式シジージを用いて部分積分（IBP）恒等式を導出し、多項式解のみを保持するように保証する。
• 計算代数システム（例：Singular, Macaulay2）を用いてシジージモジュールおよび多項式接ベクトル場を計算し、マスターテンプレートを同定する。
• バイコフ変数からループ運動量成分への明示的逆写像を構築し、バイコフ積分形式における変数変換のヤコビアンを計算する。

実験結果

リサーチクエスチョン

• RQ1 多ループ振幅における一変数有理関数からの被積分関数還元を、多変数有理関数へ一般化する方法は何か？
• RQ2 高次ループ図のユニタリティカットを計算する際、多変数留数およびその変換則が果たす役割は何か？
• RQ3 バイコフ多項式のシジージを用いて、部分積分（IBP）恒等式を体系的に導出する方法は何か？
• RQ4 微分制約（ディオファントス方程式）の多項式解を用いて、関係のない線形代数的冗長性を避けるIBP関係のみを生成できるか？
• RQ5 複雑な多ループ図（例：ダブルボックス、トリプルボックス）に対して、バイコフ表現をどのように構築できるか。また、得られるヤコビアンおよび多項式被積分関数の構造は何か？

主な発見

• 本稿は、グレブナー基底を用いた多ループ被積分関数還元の完全なフレームワークを確立し、ダブルボックスを含む一ループおよび二ループ図への成功した適用を示している。
• 多変数複素変数における留数が代数幾何学的ツールを用いて計算可能であることが示され、高次元では一変数コーシー定理が失敗する問題を克服した。
• ダブルボックス図に対して、9変数の完全なバイコフ表現を導出し、ヤコビアン $ J $ および多項式 $ F(z) $ を明示的に計算した。これにより、さらなる還元が可能になった。
• シジージ計算を用いたマスターテンプレートの同定：ダブルボックスでは、接ベクトル場の交わり $ oldsymbol{T}_{F} = oldsymbol{T}_{f_1} igcap oldsymbol{T}_{f_2} igcap oldsymbol{T}_{f_3} $ が正しい微分制約系をもたらした。
• IBP関係に多項式ディオファントス方程式を用いることで、物理的に関連する恒等式のみが生成され、大規模IBP系における線形代数的爆発を回避した。
• 演習により、本手法の整合性が確認された：ダブルボックスに対して明示的逆写像およびヤコビアンが導出され、バイコフ形式が既知の文献構造と一致した。