[论文解读] 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 中引入新功能，简化对调和和与多 polylogarithms 等高级数学结构的处理。
• 通过为色规范不变量和梅林空间积分优化的包，支持大规模费曼图计算。
• 通过最小代码修改实现 FORM 程序的高效并行执行，提升高复杂度计算的可扩展性。
• 通过通用包构建模块化、可扩展的框架，提升自动化程度并减少手动编码工作量。

提出的方法

• 采用 C 语言中的面向对象原则重新设计内部架构，提升可维护性，同时不牺牲速度或内存效率。
• 采用强类型和编译时优化，加速符号运算，尤其适用于大型表达式。
• 集成领域专用包（如 harmpol、color、mincer），自动化复杂操作，如梅林变换和群不变量计算。
• 通过 mellin 包支持 H-函数及其梅林变换的递归求值，实现调和和的直接计算。
• 透明地支持 FORM 程序在多处理器上的并行执行，通过最小代码修改模拟更快的顺序机器。
• 采用基于过滤器的批处理执行模型，支持与标准编辑器集成，并支持大规模开发的模块化程序结构。

实验结果

研究问题

• RQ1 如何优化符号计算系统以满足现代量子场论计算的高性能需求？
• RQ2 在费曼图振幅中，哪些功能最有效地实现调和和与梅林变换的自动化计算？
• RQ3 在不进行架构重构的前提下，像 FORM 这类符号系统在多大程度上可实现与向量或并行架构相当的性能？
• RQ4 如何使用符号运算高效且通用地计算非阿贝尔规范理论中的复杂群不变量？
• RQ5 符号系统能否在最小用户干预下，实现大规模计算的近乎透明的并行化？

主要发现

• FORM v3 在大规模符号计算中性能相比其他计算机代数系统最高提升 100 倍，使原本不可行的计算成为可能。
• mellin 包成功计算了 H-函数除以 $1\pm x$ 的逆梅林变换，结果以权重至 10 的调和和表示，且为精确解析表达式。
• color 包可自动计算 SU(N) 和 E8 等例外群的群不变量，通过简单的 id 语句可代入任意表示。
• mincer 包在 MS-bar 方案下计算了三圈无质量传播子积分，结果如 $-139/2 - 5/2\epsilon^{-3} - \cdots + 5/2\zeta_3$，精度极高。
• FORM 的并行化原型版本允许未经修改的 FORM 程序（如 mincer）在多处理器上运行，实现接近理想的加速比，有效模拟更快的顺序机器。
• 对于 E8，该包在 $\eta = 2$ 时计算出 $g_{14} = 2075760000\eta^7$，展示了对例外群不变量的精确且自动化的计算能力。