[論文レビュー] FORM Version 5.0

J. E. Davies, T. Kaneko+3 more|arXiv (Cornell University)|Jan 27, 2026

Mathematics, Computing, and Information Processing被引用数 0

ひとこと要約

FORM 5は組み込みのダイアグラム生成器、任意精度浮動小数点サポート、快速多項式演算の Flint インターフェース、改良されたソート/圧縮、いくつもの使いやすさとデバッグ機能を追加しつつFORM 4.3.1との互換性を維持する主要リリース。

ABSTRACT

We present FORM 5, a major release of the symbolic-manipulation system FORM. Version 5 introduces an integrated diagram generator, based on the GRACE graph-generator, to produce Feynman diagrams directly from FORM scripts. This release also adds support for arbitrary precision floating point coefficients, together with statements for the numerical evaluation of common mathematical functions as well as multiple zeta values and Euler sums. In addition, FORM 5 provides an interface to the FLINT library, offering substantially faster polynomial arithmetic. Various further functions and commands have been added alongside these major features, as well as performance improvements for TFORM and improved compression of FORM's temporary files. Compatibility with the previous release, FORM 4.3.1, is retained except where prior behaviour contradicted the manual or was experimental.

研究の動機と目的

• 高エネルギー物理学および関連分野における大規模シンボリック計算の動機付けと実現を図る。
• スクリプトから直接Feynman図を生成するためのダイアグラム生成器を統合する。
• 任意精度浮動小数点係数と高度な定数の評価（複数のゼータ値、オイラー和）を含む数値機能を拡張する。
• Flintインターフェースを介して多項式演算の性能を向上させ、全体的な実行時間効率と使いやすさを高める。

提案手法

• Graceベースのダイアグラム生成をFORMスクリプト内の組み込み機能として統合し、モデル/粒子/頂点定義とdiagrams_関数を提供する。
• #StartFloat、ToFloat/ToRational、mzv/オイラー和の評価、および任意精度演算のためのMPFR/GMPライブラリを裏付けとする浮動小数点関数を導入する。
• 高速多項式演算のためのFlintライブラリへのインターフェースを提供し、既存のForm演算子（PolyRatFun、FactArg、div_、rem_、mul_、gcd_、inverse_）と統合する。
• ソート待機バッファの再割り当て制御とZstandardベースのソートファイル圧縮を追加し、メモリを削減しソート重視のワークロードでの性能を向上させる。
• 読み取り専用のTableBasesとデバッグ用バックトレースのサポートを実装し、オプションの並列実行管理とユーザースクリプト向けの警告を改善する。

実験結果

リサーチクエスチョン

• RQ1 FORM 5 に統合されたダイアグラム生成器は外部ツールと比較してどのようなるのか。
• RQ2 任意精度浮動小数点係数がFORMワークフローの数値安定性と性能に与える影響とは。
• RQ3 Flintインターフェースは多変数計算における多項式演算の性能をどの程度改善するのか。
• RQ4 新機能（浮動小数点、mzv/euler評価、バックトレース）がFORMベースの計算の使いやすさ、デバッグ性、再現性にどのように影響するのか。
• RQ5 sort-buffer再割り当てとZstandard圧縮による大規模 FORM 実行の実メモリとI/Oの利点は何か。

主な発見

Benchmark	Config.	Off flint ;	On flint ;	Speed-up
minceex	N=8	42.4	35.9	1.2x
minceex	N=10	152	129	1.2x
minceex	N=12	556	475	1.2x
forcer	15-prop	84.9	49.2	1.7x
forcer	16-prop	232	123	1.9x
forcer	17-prop	641	308	2.1x
mbox1l	(3,2,2,2)	20.7	1.32	16x
mbox1l	(3,3,2,2)	85.2	2.9	29x
mbox1l	(3,3,3,3)	588	11.2	53x

• 組み込みのダイアグラム生成器により、Graceベースのモデル、頂点、運動量セットを用いてFORMスクリプトから直接Feynman図を生成できる。
• 浮動小数点係数のサポートはMPFR/GMPと統合され、任意精度演算と新機能（ToFloat/ToRational および mzv/euler の評価）を可能にする。
• Flintインターフェースは多項式演算を加速し、minceex、forcer、mbox1lなどのベンチマークワークロードでFlint有効時に速度向上を報告する大幅な改善をもたらす。
• ソートバッファ再割り当てとZstandard圧縮はメモリ使用量を削減し、ソート中心のタスクで実行時性能を向上させる。
• 読み取り専用のTableBasesは安全な共同アクセスを提供し、バックトレースはデバッグを補助する（実行時オーバーヘッドは任意）。
• FORM 5は manual に反しない限り FORM 4.3.1 との互換性を維持しつつ、いくつかの非推奨と予定される削除を伴う。