二ループのテンソル積分を自動化ツール向けに還元する再帰アルゴリズムを実装 — OpenLoopsでの初期検証
この論文は、粒子衝突実験で必要な高精度計算を支えるために、二ループのテンソル積分をスカラー積分に還元する新しい再帰的アルゴリズムを紹介します。二ループとはループ積分を二回含む項を指し、これを扱えると次々次(NNLO: next-to-next-to-leading order)精度の散乱振幅計算を自動化しやすくなります。著者らはこの手法をOpenLoopsフレームワークに組み込むことを想定し、数値的に効率的な実装と最初の検証を報告しています。
研究者たちはまず振幅の計算を三つの要素に分けています。1)ループ運動量に依存するテンソル積分、2)プロセス依存のテンソル係数、3)(D−4)次元成分と積分の発散が絡む項、という分割です。ここで用いる正則化法は’t Hooft–Veltman則で、ループ内の量を4次元成分と(D−4)次元成分に分けて扱います。四次元部分の分子をテンソル展開し、既知の身長の低い恒等式(rank-2の恒等式)を出発点にして、再帰的に高ランクのテンソルを低ランクやスカラー積分へ還元する公式を導いています。残った一段の処理(rank-1やrank-1×rank-1に相当する部分)はPassarino–Veltman還元という既存手法で扱います。
実装面では、解析的な生成はMathematicaで行い、各位相空間点での数値評価はFortranコードで実行できるようにしています。スカラー積分への還元後は、積分部の標準的な手法である部分積分(IBP: integration-by-parts)とLaportaアルゴリズムを用いてマスター積分と呼ばれる最小の積分集合にさらに還元します。還元テーブルの作成にはKiraとFireFlyを利用し、マスター積分の基底を改善して余分なε(イプシロン、次元正則化パラメータ)極を減らす工夫も行っています。最終的なマスター積分は現時点ではpySecDecで数値評価しています。生成器は還元表から必要なε展開の深さを見積もり、それに応じたpySecDecコードを実行します。
検証として、著者らは2→2のペンタゴン-トライアングル型位相図を用いました。内部線は質量ゼロ、外部に小さな質量を与えて赤外発散を規定化する設定です。検証にはランク4の最上位テンソル積分を選び、解析的にスカラー積分へ書き換えて数値的に評価しました。本文は、この最初の検証が成功したことと、結果が外部で数値評価されるマスター積分の精度に依存することを報告しています。以前の作業では各ループ運動量についてランク1までの再帰還元を積分子レベルで検証済みであり、より広範な検証は今後の出版で詳述するとしています。
重要な注意点として、(D−4)次元成分と積分発散の相互作用から生じる「有理項」の扱いは、紫外発散に由来する部分については確立されていますが、赤外起源の有理項はまだ調査中だと明記されています。また、現在のパイプラインではマスター積分を位相空間の各点でpySecDecにより数値評価しているため、計算コストとマスター積分の精度が全体の結果に影響します。著者らは今後、IBP処理の数値側への移行や他のマスター積分ツールの検討、各マスター積分に対する必要精度の重み付けなど、効率化の余地を探る計画を示しています。現状の実装は有望な第一歩ですが、完全な自動化されたNNLOツールにするには追加の検証と最適化が必要です。