Holonomic techniques for massive 3-loop form factors: the gluonic case

技術的要約：大規模な3ループ・フォームファクター（グルーオン・ケース）のためのホロノミック手法

問題設定
本論文は、量子色力学（QCD）におけるベクトル、軸性ベクトル、スカラー、および擬似スカラー電流の、質量を持つ3ループ・フォームファクターの計算に取り組んでいる。これらの量は、仮想的なヒッグス崩壊や重いフレーバー生成に関わる重いクォークの計算において、特に精密なコリジョン現象論のために不可欠である。クォーク・ケースについては先行文献で部分的に扱われているが、グルーオンが重いクォーク間でのみ交換されるケース（グルーオン・ケース）は、著しく高い複雑さを呈している。この複雑さは、寄与するファインマン図の膨大な数と、標準的な調和多重対数（harmonic polylogarithms）の範囲を超える基礎的なファインマン積分の複雑な構造に起因する。主要な課題は、高エネルギー極限におけるこれらの寄与について、完全な解析的結果を得ることであったが、これは本研究以前には完全には達成されていなかった。

手法：ラージ・モーメント・ホロノミック・アプローチ
著者らは、「ラージ・モーメント法」を高度な解析接続とコンピュータ代数によって強化した戦略を採用している。計算は以下の5つの明確なステップで進行する：

1. マスター積分生成： 積分による部分積分（IBP）簡約技術（具体的にはソフトウェアパッケージ Crusher）を用いて、フォームファクターを417個のマスター積分（MIs）の線形結合へと簡約する。これらのMIは、1次の連立線形微分方程式を満たす。著者らは、次元正則化パラメータ $\varepsilon$ に関する高次において、無次元変数 $s = q^2/m^2$ または $x$ のべき級数展開をこれらのMIに対して計算する。
2. フォームファクター級数の構成： マスター積分の切断されたべき級数を線形結合に代入することで、フォームファクターの級数係数を生成する。これらの係数は、特定の定数（リーマン・ゼータ値 $\zeta_n$、多重対数、およびカラー因子を含む）の線形結合である。
3. 漸化式と微分方程式の推測： 生成された有限の有理係数リストに対し、著者らは自動化された推測アルゴングリズム（Sageの ore_algebra パッケージ経由）を用いて、級数が満たす線形漸化式および線形微分方程式を推測する。
4. 因数分解可能な系の解法： 導出された方程式が1次演算子へと因数分解される成分については、反復和（調和和）を用いて漸化式を閉じた形式で解き、級数を反復積分へと変換する。
5. 解析接続： 非因数分解的な寄与については、フロベニウス法とその拡張を用いて、正則点および特異点（$s \to \pm \infty$, $s=4$, $s=16$ を含む）の周りの高次局所級数展開を構築する。これらの重複する展開を一致させることで、全運動学的範囲 $s \in (-\infty, \infty)$ にわたる解析接続を実現する。

主要な技術的課題と規模
本論文は、グルーオン・ケースに必要とされる極端な計算規模を強調しており、それは新しい技術的進歩を必要とした：

• 係数生成： 必要な漸化式を推測するために、著者らは数万個の有理係数を必要とした。最も複雑な定数寄与（単位定数）については、26,000個の係数が必要であった。特定のカラー因子 $C_F^3 \zeta_5$ の場合は、25,000個以上の値が必要であった。
• 漸化式の規模： カラー因子 $C_F^3$ を持つ軸性ベクトル・フォームファクター投影 $g_1$ に対して推測された線形漸化式は、多項式係数の次数が最大4,078に達する92項（$F(n+91)$ まで）を含んでいる。この漸化式を印刷した形式は、約650,000枚のA4用紙分に相当する。
• 微分方程式： 漸化式よりもさらに多くの係数（例：102次の微分方程式に対して約37,700個の値）が、線形微分方程式の推測に必要であった。
• データの大きさ： 関与する有理数は膨大である。26,000番目の係数単体で、分子に160,000桁以上、分母に150,000桁以上の数字を持ち、18ページの印刷物となる。
• 計算リソース： これらの計算は、JKU LinzおよびDESYのサーバーにあるMACH-2スーパーコンピュータ（1,728コア、20 TB共有メモリ）を用いた大規模な並列処理によって実行された。

結果
著者らは以下の結果を得た：

• 厳密な解析的表現： $s=0$ 周辺におけるフォームファクターの、多重ゼータ値（MZVs）を用いた厳密な解析的表現を提供した。
• 高エネルギー展開： $s = \pm \infty$ 周辺における完全な解析的級数展開が初めて導出された。この展開は、MZVおよび3つの特定の定数（より高い数空間に属する定数）に依存する：
  • $\tilde{\kappa}_1$ および $\tilde{\kappa}_2$：サイクロトミック定数。
  • $\tilde{\kappa}_3$：二次形式誘導多重対数に属するクラスの定数。
• 解析接続： 本研究により、閾値（$s=4$）や擬似閾値（$s=16$）を含む物理領域全域 $s \in (-\infty, \infty)$ における信頼性の高い解析接続が可能となった。
• 高精度データ： $s = \pm \infty$ における展開係数は最大4,000桁の精度で決定され、これによりPSLQアルゴリズムによる定数の特定が可能となった。

意義と主張
本論文は、現代の粒子物理学における記号計算のランドマーク的なベンチマークとして自らを位置づけている。著者らは、グルーオン・ケースがクォーク・ケースよりも著しく複雑であり、現在の能力の限界を押し広げる高度なコンピュータ代数技術と自動化された推測アルゴリズムを必要とすることを主張している。これらの結果の導出は、以下の組み合わせの力を実証している：

1. 最先端の微分方程式法。
2. 大規模なPSLQ整数関係探索。
3. 最先端の記号的総和法。

これらの結果は、精密なQCD現象論への重要な入力となり、質量を持つ3ループ・フォームファクターのグルーオン部門における完全な解析的枠組みを提供するものであり、これまで達成不可能であった成果である。本研究は、記録的なサイズの漸化式および微分方程式系を解くための堅牢なツールとして、ラージ・モーメント法の妥当性を検証している。