[論文レビュー] Computer Algebra in Particle Physics

Stefan Weinzierl|ArXiv.org|Sep 20, 2002

advanced mathematical theories参考文献 4被引用数 3

ひとこと要約

この論文は、高エネルギー素粒子物理学に特化したコンピュータ代数系（CAS）の包括的紹介を提供し、特にマルチループ振幅やテンソル積分などの精度の高い計算におけるその役割に焦点を当てる。グレブナー基底、積分による部分積分、カットに基づく手法といったコアなアルゴリズムを概説し、記号計算が、複数のスケールを伴う複雑な量子場の理論振幅の体系的な評価を可能にすることを示している。

ABSTRACT

These lectures given to graduate students in theoretical particle physics, provide an introduction to the ``inner workings'' of computer algebra systems. Computer algebra has become an indispensable tool for precision calculations in particle physics. A good knowledge of the basics of computer algebra systems allows one to exploit these systems more efficiently.

研究の動機と目的

• 大学院生および研究者に、素粒子物理学における精度計算への効果的なCASの使用を支える基礎的知識を提供すること。
• 現在の計算手法における制限、例えばアルゴリズムの非効率性、メモリ制限、CASにおけるデータ表現の最適でない性質を解決すること。
• 記号計算が、現代の高エネルギー物理学の予測に不可欠な高ループ数および複数スケールの計算を可能にする役割を明らかにすること。
• 複数ポリログラム関数の形で表現可能かどうかを決定するアルゴリズムの存在といった、記号計算分野における未解決問題を特定すること。
• 素粒子物理学とCAS開発との間の相互フィードバックの役割を強調すること。物理的問題が記号計算分野におけるアルゴリズム的イノベーションを駆り立てる。

提案手法

• C++におけるリスト、コンテナ、オブジェクト指向設計の原則といった基本的なデータ構造を説明するために、おもちゃのコンピュータ代数システムを用いる。
• ユークリッドの互除法によるGCD計算、ベルレカンプのアルゴリズムによる多項式因数分解、p進数へのヘンゼルの持ち上げを用いたp進数の持ち上げ法といった古典的アルゴリズムを適用する。
• リシュのアルゴリズムによる記号的積分と、双曲的項におけるゴスパーのアルゴリズムによる記号的和分を用いる。
• 高エネルギー物理学に特化した高度な技術を紹介し、1ループテンソル積分のパッサリンォ＝ヴェルトマン還元と、高ループ振幅の積分による部分積分（IBP）恒等式を含む。
• ユニタリティカットからのループ振幅の再構成にカットベース法を適用し、パワー・カウンティング基準を用いて、有理関数部が一意に再構成可能かどうかを判断する。
• ε（次元正則化）における超越関数の展開を用いて、カット構成可能な部分を超える有理関数部を抽出する。

実験結果

リサーチクエスチョン

• RQ1 量子場の理論において、複数の運動的スケールを伴うマルチループ振幅を計算する体系的なアルゴリズムを開発することは可能か？
• RQ2 どのような条件下で、ユニタリティカットによってループ振幅が一意に決定可能であり、有理関数部が欠落する状況はいつ生じるか？
• RQ3 与えられた積分または和が複数ポリログラム関数の形で表現可能かどうかを決定する構成的アルゴリズムは存在するのか。リシュのアルゴリズムやゴスパーのアルゴリズムに類似したものである。
• RQ4 記号計算は、特にデータ表現およびアルゴリズム的効率の観点から、高エネルギー物理学の応用においてどのように最適化できるか？
• RQ5 コンピュータ代数系は、QCD や QED の高次の補正計算、例えば4ループβ関数や3ループ磁気モーメント異常を計算するために果たす役割は何か？

主な発見

• コンピュータ代数系は、電子の異常磁気モーメントやQCDのβ関数といった3ループおよび4ループ振幅の計算を可能にするため、素粒子物理学における精度計算において不可欠である。
• カットベース法により、ユニタリティカットからのループ振幅の再構成が可能であり、唯一の不確実性は有理関数部rである。これはε展開または共線的因子化制約を用いて回復可能である。
• N=4超対称ヤン・ミルズ振幅はパワー・カウンティング基準を満たし、したがってカット構成可能であるが、QCD振幅は一般にそうではなく、有理関数部はカットのみでは決定できない。
• ループ計算に現れる関数のクラスには複数ポリログラムが含まれており、微分方程式や級数展開を用いた体系的な計算アルゴリズムが存在する。
• 進展は見られても、任意の積分や和が複数ポリログラム関数の形で表現可能かどうかを決定するアルゴリズムの存在は、未解決の問題のままである。
• コンピュータ代数系の開発は、高エネルギー物理学の影響を強く受けており、FORM、REDUCE、GiNaCといったシステムは、素粒子物理学の研究ニーズから生まれたり、強く影響を受けたりしている。