[論文レビュー] Presenting LiteRed: a tool for the Loop InTEgrals REDuction

R.N. Lee|arXiv (Cornell University)|Dec 12, 2012

Mathematics and Applications参考文献 26被引用数 235

ひとこと要約

LiteRed は、次世代の統合による部分積分（IBP）恒等式と次元的再帰関係を用いて、多ループ費めン積分の記号的還元を自動化する Mathematica パッケージである。このツールは、IBP還元を効率的に実行し、対称性関係を検出し、微分方程式を構築する。これにより、量子場の理論における振幅計算が著しく簡素化される。

ABSTRACT

Mathematica package LiteRed is described. It performs the heuristic search of the symbolic IBP reduction rules for loop integrals. It implements also several convenient tools for the search of the symmetry relations, construction of the differential equations and dimensional recurrence relations.

研究の動機と目的

• 多ループ費めン積分の最小基底となるマスターテンプレートへの還元を自動化すること。
• 記号的形での統合による部分積分（IBP）還元規則に対する効率的なヒューリスティック探索を提供すること。
• ループ積分のための微分方程式および次元的再帰関係の構築を支援すること。
• 積分間の対称性関係を検出し、還元プロセスを簡素化すること。
• 記号的記号処理を活用して、量子場の理論における振幅計算を簡素化すること。

提案手法

• 記号的形での統合による部分積分（IBP）還元恒等式を探索するためのヒューリスティックアルゴリズムを用いる。
• ループ積分のための次元的再帰関係を導出し、体系的に適用するアプローチを実装する。
• 同等の積分を特定し、基底のサイズを削減するために、対称性検出を統合する。
• 還元結果を用いて、マスターテンプレートの運動量不変量に関する微分方程式を構築する。
• 効率的かつ拡張可能な実装のため、Mathematica の記号的計算環境を活用する。
• 振幅のコンactかつ数値的に安定した表現の生成を支援する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、IBP恒等式を用いて多ループ費めン積分の記号的還元を自動化できるか？
• RQ2 ループ積分間の対称性関係を効果的に検出し、還元を簡素化するにはどのような方法が最適か？
• RQ3 記号的形で、次元的再帰関係を体系的に導出し、適用するにはどうすればよいか？
• RQ4 IBP還元、対称性検出、微分方程式の構築を統合した一元化されたツールを開発可能か？
• RQ5 記号的ツールを用いることで、振幅計算における効率性と自動化の向上はどの程度達成できるか？

主な発見

• LiteRed は、統合による部分積分恒等式を用いて、多ループ積分の記号的還元を成功裏に自動化した。
• このツールは、対称性関係を効率的に検出し、適用し、独立したマスターテンプレートの数を削減した。
• 次元的再帰関係が体系的に構築され、異なる次元における積分を関連付けるために使用された。
• マスターテンプレートのための微分方程式が自動的に生成され、数値的および解析的評価が可能になった。
• このパッケージは、量子場の理論における高精度な振幅計算のための堅牢で拡張可能なフレームワークを提供した。
• これまでに膨大な手作業による導出を要していた複雑なループ積分の還元が、LiteRed によって可能になった。