[论文解读] FORM, Diagrams and Topologies

Franz Herzog, Ben Ruijl+3 more|arXiv (Cornell University)|Aug 5, 2016

Particle physics theoretical and experimental studies参考文献 16被引用 6

一句话总结

本文提出了一套先进的 FORM 编程技术，用于自动化高圈量子场论图的符号运算，特别针对四圈无质量传播子计算。该工作引入了优化的顶点表示方法、通过 'dotmaptabl' 实现的动态替换表，以及自适应展开策略，以管理复杂性，显著降低计算成本，并实现了量子色动力学和深度非弹性散射中此前难以处理的计算。

ABSTRACT

We discuss a number of FORM features that are essential in the automatic processing of very large numbers of diagrams as used in the Forcer program for 4-loop massless propagator diagrams. Most of these features are new.

研究动机与目标

• 自动化处理高圈量子场论计算中大量费曼图的符号运算。
• 通过优化顶点表示和收缩策略，降低四圈无质量传播子图的计算复杂度。
• 在 FORM 中开发智能替换方案，使其能够根据图的拓扑结构和幂次结构自适应调整。
• 高效处理高多重性积分中的有理多项式系数和 epsilon 展开。
• 通过构建可扩展、自优化的代码，支持 HEPGAME 项目，实现下一代量子色动力学高精度计算。

提出的方法

• 重写三胶子顶点，使其在自身动量矢量上最大化 '自动收缩'，以减少项数并消除分母。
• 通过 'dotmaptabl' 实现动态替换表系统，生成针对拓扑结构、幂次优化的 id 规则，用于重复的动量收缩。
• 使用递归算法基于动量不变量的最大幂次，确定最优替换序列，实现模块化且高效的约化。
• 在 FORM 中引入混合计算模式，可在精确有理多项式与截断的 epsilon 展开之间切换，以平衡精度与性能。
• 采用 '拓扑感知' 的替换策略，为每种图拓扑结构使用量身定制的 id 规则集合，最大限度减少中间表达式的增长。
• 将该方法集成到 Forcer 程序和基于 MINOS 的工作流中，实现图符号表示、拓扑分类和系数计算的自动化。

实验结果

研究问题

• RQ1 如何通过优化顶点表示和收缩模式，降低四圈无质量传播子图的符号复杂度？
• RQ2 何种自动化策略可在 FORM 中生成拓扑特定、幂次优化的替换规则，以最小化表达式增长？
• RQ3 如何扩展 FORM 以支持自适应展开模式，在精确有理系数与截断的 epsilon 展开之间切换？
• RQ4 在处理高多重性有理多项式时，使用截断展开模式，计算速度与精度之间应如何达到最优平衡？
• RQ5 能否通过基于图拓扑和动量幂次结构动态构建替换表，在 FORM 中实现自优化的代码生成？

主要发现

• 新的顶点表示通过利用 '自动收缩' 机制，显著减少了项数并消除了分母，使纯胶子图的简化效果显著。
• 'dotmaptabl' 系统可自动生成拓扑优化的替换规则，减少所需 id 语句数量，提升计算效率。
• 该方法支持动态替换方案，可自适应于动量不变量的最大幂次，实现最优模块数量和表达式大小。
• 混合计算模式支持从精确有理多项式切换到截断的 epsilon 展开，通过 'expand(ep,14)' 控制展开深度，有效管理复杂度。
• 该方法成功实现了深度非弹性散射中四圈系数函数的计算，超越了文献中的现有技术水平。
• 该框架具备未来可扩展性，支持程序根据问题结构自动生成并优化自身的替换逻辑。