[論文レビュー] Large scale analytic calculations in quantum field theories

J. Blümlein|arXiv (Cornell University)|Jan 1, 2019

Black Holes and Theoretical Physics被引用数 3

ひとこと要約

本稿は、素粒子場理論における高ループ次数フェニマン積分を計算するための先進的な解析的手法について包括的なサーベイを提示している。特にゼロスケールおよびシングルスケールの振幅に焦点を当て、多重ゼータ値、調和多重 polylogarithm、反復積分といった特殊関数空間と、記号計算および微分方程式を組み合わせることで、質量なしQCDでは5ループまで、質量ありQCDでは4ループまで正確な結果を得ることができ、LHCおよび将来のコライダーにおける高精度な予測を可能にしている。

ABSTRACT

We present a survey on the mathematical structure of zero- and single scale quantities and the associated calculation methods and function spaces in higher order perturbative calculations in relativistic renormalizable quantum field theories.

研究の動機と目的

• 相対論的量子場理論における大規模な解析的計算のための数学的および計算的フレームワークを体系化すること。
• 高ループフェニマン積分評価において出現する関数空間（例えば、多重ゼータ値、調和多重 polylogarithm など）を同定および特徴づけること。
• 多スケール振幅の解析的構造を解明することで、高輝度コライダーにおける高精度な理論的予測を可能にすること。
• 複雑な摂動的問題を解くために、素粒子理論、数学、およびコンピュータ代数の分野間の協働を推進すること。
• 現在知られている構造を超えた、より高次のループおよび多粒子散乱振幅の今後の発展の基盤を築くこと。

提案手法

• 複雑なフェニマン積分を最小限のマスターリンテグラルの集合に還元するために、部分積分（IBP）およびラポルタのアルゴリズムを用いる。
• マスターリンテグラルを分離するために、一階微分方程式系および差分方程式系を用い、既約関数への還元を可能にする。
• 高精度な数値評価から既知の定数（例：多重ゼータ値）の有理数係数を特定するためにPSLQアルゴリズムを適用する。
• Sigma、HarmonicSums、EvaluateMultiSumsなどのパッケージを用いて、記号的総和および積分技術を活用し、ネストされた和および反復積分を解く。
• 結果を階乗級および数値的積分表現を用いたMellin-N空間およびx空間に表現することで、評価を効率化する。
• FORM や Mathematica などのコンピュータ代数システムおよび専用ライブラリを活用し、解析的還元および解法プロセスの自動化と最適化を図る。

実験結果

リサーチクエスチョン

• RQ1 多ループ、ゼロスケールおよびシングルスケールの量子場理論計算において、主に出現する数学的関数空間は何か？
• RQ2 PSLQ などのアルゴリズムを用いて、フェニマン積分の高精度な数値評価を、正確な解析的表現に体系的にマッピングする方法は何か？
• RQ3 マスターリンテグラルから生じる連立微分方程式および差分方程式を解くために、最も効果的な記号的および代数的手法は何か？
• RQ4 Mellin-N空間およびx空間において、多ループ振幅の解析的構造を、物性的応用のために効率的に表現する方法は何か？
• RQ5 より高次のループ次数やより複雑な散乱過程において、予想される新しい数学的構造（例：楕円積分、K3面関連積分）は何か？

主な発見

• 質量なしQCDにおける解析的5ループ計算および質量ありQCDにおける4ループ計算は、高度な積分および総和技術を用いることで現在可能である。
• QCDにおける5ループβ関数の最終結果は、有理数係数を伴う多重ゼータ値 {ζ₂, ζ₃, ζ₅, ζ₇} のみで表されており、楕円的またはより高次の超越定数は最終結果に残っていない。
• PSLQ法により、H₋₁,₀,₀,₁(1) の正確な解析的形が ln⁴(2)、ζ₂、ζ₃、Li₄(1/2)、ζ₂² の組み合わせとして成功裏に再構成された。個々の対数的またはゼータ関数項は独立して寄与しなかった。
• 調和多重 polylogarithm および反復積分は、物理的振幅を表現するための強固なフレームワークを提供しており、HarmonicSums などのパッケージで効率的な数値実装が可能である。
• Mellin-N空間およびx空間の表現を用いることで、進化方程式の正確な解析的解が得られ、閉路積分を用いた効率的な数値評価が可能になった。
• コンピュータ代数、数論、および数学的物理の分野間の統合的連携により、かつては解けなかった多ループ問題が解決され、LHCの高精度測定における理論的不確実性が低減された。