[论文解读] 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中数据表示不理想的问题。
• 探讨符号计算在实现更高圈数和多尺度计算中的作用，这些计算对现代高能物理学预测至关重要。
• 识别符号计算中的开放性问题，例如是否存在算法可判断给定积分或求和是否能表示为多重 polylogarithms 的形式。
• 强调粒子物理学与CAS开发之间的相互反馈：物理问题推动符号计算中的算法创新。

提出的方法

• 利用一个简易计算机代数系统，说明C++中基本数据结构（如列表、容器）及面向对象设计原则。
• 应用经典算法，包括计算最大公因数的欧几里得算法、基于伯雷坎普算法的多项式因式分解，以及用于p进数提升的亨塞尔提升法。
• 采用里施算法进行符号积分，以及对超几何项使用戈斯珀算法进行符号求和。
• 引入高能物理中的高级技术，包括帕萨林诺-维尔特曼约化法（用于一阶张量圈积分）和更高圈振幅的逐次积分（IBP）恒等式。
• 应用基于截面的方法，从单位性截面重构圈振幅，利用功率计数准则判断何时有理部分可被唯一重构。
• 通过在ε（维度正规化）中展开超越函数，提取超出截面可构造部分的有理项。

实验结果

研究问题

• RQ1 能否发展系统性算法，以在量子场论中计算具有多个动量尺度的多圈振幅？
• RQ2 在何种条件下，圈振幅可由其单位性截面唯一确定？何时此类重构中会缺失有理部分？
• RQ3 是否存在构造性算法，可判断给定积分或求和是否能表示为多重 polylogarithms 的形式，类似于里施或戈斯珀算法？
• RQ4 如何优化符号计算以适用于高能物理应用，特别是在数据表示和算法效率方面？
• RQ5 计算机代数系统在实现QCD和QED的高阶修正计算中扮演何种角色，例如四圈β函数或三圈磁矩反常？

主要发现

• 计算机代数系统在粒子物理学的精确计算中不可或缺，可实现三圈和四圈振幅的计算，如电子反常磁矩和QCD β函数。
• 基于截面的方法允许从单位性截面重构圈振幅，唯一不确定部分是有理部分r，可通过ε展开或共线因子化约束恢复。
• N=4超对称杨-米尔斯振幅满足功率计数准则，因此是可由截面构造的；而QCD振幅通常不是，导致有理部分无法仅由截面唯一确定。
• 圈计算中出现的函数类包括多重 polylogarithms，且已有系统性算法通过微分方程和级数展开实现其计算。
• 尽管已有进展，但尚不存在判断任意积分或求和是否可表示为多重 polylogarithms 的决策程序，此问题仍为开放问题。
• 计算机代数系统的开发在很大程度上受到高能物理的推动，如FORM、REDUCE和GiNaC等系统即源于或深受粒子物理研究需求的影响。