[論文レビュー] New features of FORM

J.A.M. Vermaseren|ArXiv.org|Oct 19, 2000

Theoretical and Computational Physics被引用数 792

ひとこと要約

この論文は、量子場の理論計算のための高性能な記号計算システムであるFORMのバージョン3を紹介する。新たに統合されたパッケージによる調和和、ミンリン変換、群不変量の強化されたサポートを含む新機能を提示し、複雑な振幅および図計算における自動化と効率を著しく向上させ、大規模問題において他のシステムと比較して最大100倍の性能向上を達成している。

ABSTRACT

Version 3 of FORM is introduced. It contains many new features that are inspired by current developments in the methodology of computations in quantum field theory. A number of these features is discussed in combination with examples. In addition the distribution contains a number of general purpose packages. These are described shortly.

研究の動機と目的

• 量子場の理論における記号計算の複雑さの増大に対処するため、FORMのパフォーマンスと拡張性を向上させること。
• ハーモニック和やポリログラムなどの高度な数学的構造の取り扱いを簡素化する、FORM v3における新機能の導入。
• 色不変量およびミンリン空間積分のための最適化されたパッケージを通じて、大規模フェニマン図計算を支援すること。
• 最小限のコード変更でFORMプログラムの並列実行を効率的に可能とし、高複雑度の計算におけるスケーラビリティを向上させること。
• 汎用パッケージを介したモジュラーかつ拡張可能なフレームワークを提供することで、自動化を促進し、手動でのコーディング作業を削減すること。

提案手法

• C言語におけるオブジェクト指向の原則を用いた再設計された内部アーキテクチャを導入し、速度やメモリ効率を損なわず、保守性を向上させた。
• 強力な型付けとコンパイル時最適化を採用し、特に大規模な式に対して記号計算を高速化した。
• ドメイン固有のパッケージ（例：harmpol, color, mincer）を統合し、ミンリン変換や群不変量などの複雑な操作を自動化した。
• ミンリンパッケージを介してH関数およびそのミンリン変換の再帰的評価を可能とし、調和和の直接計算を実現した。
• 複数プロセッサ上でFORMプログラムを透明に並列実行可能にし、最小限のコード変更でより高速な逐次マシンを模倣した。
• フィルタベースのバッチ実行モデルを採用し、標準エディタとの統合や大規模開発に適したモジュラーなプログラム構造を可能にした。

実験結果

リサーチクエスチョン

• RQ1 現代の量子場の理論計算が求める高性能な要件を満たすために、記号計算システムはどのように最適化できるか？
• RQ2 フェニマン図振幅における調和和およびミンリン変換の評価を自動化する上で、どの機能が最も効果的か？
• RQ3 アーキテクチャの大幅な見直しを伴わずに、FORMのような記号システムが、ベクトルまたは並列アーキテクチャと同等のパフォーマンスを達成できる範囲はどの程度か？
• RQ4 非アーベルゲージ理論における複雑な群不変量を、記号操作を用いて効率的かつ一般に計算するにはどうすればよいか？
• RQ5 最小限のユーザー干渉で、大規模計算の並列化を記号システムがほぼ透明にサポートできるか？

主な発見

• FORM v3は、大規模な記号計算において、他のコンピュータ代数システムと比較して最大100倍のパフォーマンス向上を達成し、そうでなければ不可能な計算を可能にした。
• ミンリンパッケージは、H関数を$1\pm x$で割ったものの逆ミンリン変換を正確に計算し、重み10までの調和和で表される結果を、正確な解析的表現で得た。
• カラー・パッケージにより、SU(N)およびE8のような例外的群のための群不変量の自動計算が可能になり、単純なid文による任意の表現への置換が可能となった。
• ミンサーコアパッケージは、MSバー方式における三ループ質量ゼロ伝播子積分を計算し、$-139/2 - 5/2\epsilon^{-3} - \cdots + 5/2\zeta_3$のような高精度な結果を生成した。
• プロトタイプの並列版FORMにより、変更のないFORMプログラム（例：mincer）を複数プロセッサ上で実行でき、ほぼ理想に近いスルーブプを達成し、より高速な逐次マシンを効果的にシミュレートした。
• E8の場合、$\eta = 2$のとき$g_{14} = 2075760000\eta^7$が計算され、例外的群の不変量の正確かつ自動化された評価を実証した。