[論文レビュー] An algorithmic approach to finding canonical differential equations for elliptic Feynman integrals

Christoph Dlapa, Johannes M. Henn+1 more|arXiv (Cornell University)|Jan 1, 2022

Algebraic and Geometric Analysis被引用数 1

ひとこと要約

本稿では、多重多ログ関数を超える、楕円関数を含むフェニマン積分の正規微分方程式を体系的に導出するためのアルゴリズム的手法を提示する。代数幾何学および楕円積分のモジュラー性質を活用することで、複雑な多ループ振幅におけるε-形式微分方程式の特定が可能となり、三ループ等質量バナナグラフやN3LOヒッグス生成積分について、これまで未知であった正規形式を含む、新たな正規形式が得られた。

ABSTRACT

In recent years, differential equations have become the method of choice to compute multi-loop Feynman integrals. Whenever they can be cast into canonical form, their solution in terms of special functions is straightforward. Recently, progress has been made in understanding the precise canonical form for Feynman integrals involving elliptic polylogarithms. In this article, we make use of an algorithmic approach that proves powerful to find canonical forms for these cases. To illustrate the method, we reproduce several known canonical forms from the literature and present examples where a canonical form is deduced for the first time. Together with this article, we also release an update for INITIAL, a publicly available Mathematica implementation of the algorithm.

研究の動機と目的

• フェニマン積分に楕円関数が関与する場合の正規微分方程式を体系的かつアルゴリズム的に求めるための手法を開発すること。これは、標準的な多重多ログ関数（MPL）フレームワークを超えるものである。
• 標準的なMPLに基づく手法が失敗する楕円積分および高ループ積分におけるε-形式行列˜A(x)の正確な構造を特定するという未解決問題に取り組むこと。
• 従来、MPLに限定的であった正規形式アプローチの適用範囲を、楕円多ログ関数およびその一般化を含む積分へと拡張すること。
• 再現可能性および高エネルギー物理学計算分野への広範な採用を促進するため、公開可能で自動化された実装（更新版INITIALを介して）を提供すること。
• 本手法の有効性を示すために、既知の正規形式の再現および、三ループおよびN3LO位相空間積分を含む、困難な多ループ積分に対する新たな正規形式の導出を行うこと。

提案手法

• 周期積分の構造とモノドロミーに基づく正規形式のアンサンブルを採用し、特に楕円関数およびモジュラー形式の出現に注目する。
• 代数幾何学的手法を用いて積分の特異点およびモノドロミーを分析し、適切な周期の基底とその変換性質を同定する。
• 元の微分系∂f/∂x = A(x, ϵ)f がε-形式∂g/∂x = ϵ˜A(x)g に変換されるような変換行列T(x, ϵ)を構築する。ここで˜A(x)はFuchs型構造を持つ。
• 完全楕円積分K(k²)を用いた太陽グラフの周期に関する既知の結果を活用し、正規行列のアンサンブルを構築する。
• 特異点（例：x=0,1,9,∞,±3）まわりの級数展開を用いて境界条件を固定し、正規形式の整合性を検証する。
• 実装はMathematicaベースのINITIALパッケージに統合され、正規形式の自動計算および検証が可能となっている。

実験結果

リサーチクエスチョン

• RQ1 標準的なMPLケースを超えて、楕円関数を含むフェニマン積分における正規微分方程式行列˜A(x)の正確な構造は何か？
• RQ2 多ループ積分が楕円多ログ関数や高ループ一般化に還元される場合に、ε-形式を体系的に導出するためのアルゴリズム的手法を開発可能か？
• RQ3 積分のモノドロミーおよび周期構造は、変換行列Tの構築および˜A(x)のFuchs型性の保証にどのように寄与できるか？
• RQ4 本手法は、ベンチマーク積分（例：キーティ、バナナ、非平面三角形）の既知の正規形式を再現できるか。また、これまで未解決であったケースについても新たな正規形式を導出できるか？
• RQ5 モジュラー形式および代数関数（分母における平方根など）は、正規系の統合核において果たす役割は何か。それらをアルゴリズム的にどのように処理できるか？

主な発見

• 本アルゴリズムは、二ループキーティおよび非平面三角形積分の既知の正規形式を正確に再現し、その正しさと頑健性を検証した。
• 三ループ等質量バナナグラフについて、初めて正規形式が導出された。これは複数の質量スケールと楕円構造を含む、極めて非自明なケースである。
• N3LOヒッグス生成位相空間積分についても、正規微分方程式が同定された。これは複雑な運動量配置と楕円関数を含む。
• 三ループ重力ポテンシャル積分が正規形式を有することを示し、本手法が重力散乱振幅への適用可能性を示した。
• 本アルゴリズム的手法により、代数的根やモジュラー関数を含む統合核を持つ場合でさえ、正規形式の導出が可能となった。これは標準的手法が困難とする分野である。
• 本稿と併せてリリースされた更新版INITIALパッケージは、楕円および高ループケースにおける正規形式計算のための実用的でオープンソースのツールを提供し、高エネルギー物理学分野への応用の障壁を著しく低減した。