[论文解读] R*-operation and five-loop calculations

Ben Ruijl, Franz Herzog+3 more|arXiv (Cornell University)|Jan 18, 2018

Particle physics theoretical and experimental studies参考文献 19被引用 4

一句话总结

本文提出对 R∗-运算的优化应用，以高精度计算量子场论中的五圈极点项，通过四种优化技术克服计算瓶颈：传播子插入项移除、费曼规则代入延迟、图谱规范化解析和高效张量约化。该方法首次实现了杨-米尔斯 beta 函数、e+e− 反应中的 R-比值以及大顶夸克极限下 Higgs 粒子衰变为胶子的完整五圈计算，实现了受控微扰不确定性的高精度结果。

ABSTRACT

We sketch how the R*-operation can be used to compute the pole terms of Feynman diagrams. We identify computational difficulties when performing five-loop calculations, and provide four solutions that drastically reduce the number of terms that are generated. Using these methods, we have computed the beta function for Yang-Mills theory with fermions, the R-ratio in electron-positron annihilation, and Higgs decays to quarks and gluons at five-loop accuracy. The results for the beta function and Higgs decay width to gluons in the heavy-top limit are briefly discussed. There is no need for six-loop extensions of these calculations in the near future.

研究动机与目标

• 以高精度计算费曼图在量子场论中的五圈极点项。
• 解决五圈计算中图枚举、项生成和张量约化带来的计算复杂度指数级增长问题。
• 开发并实现四种计算优化技术，显著减少生成项数而不损失精度。
• 实现杨-米尔斯 beta 函数、e+e− 反应中的 R-比值以及大顶夸克极限下 Higgs 衰变为胶子的首次五圈计算。
• 证明微扰 QCD 对关键可观测量的预测现已精确到五圈，不确定性主要由 αs(MZ) 决定，而非截断误差。

提出的方法

• 使用 R∗-运算通过递归将 L 圈图约化为 (L−1) 圈标量传播子积分，避免直接计算有限部分。
• 通过将自能量子图替换为等价的标量泡链，移除传播子插入项，从而复用预计算的低圈结果，并避免发散项的重复计数。
• 将费曼规则代入延迟至图约化之后，防止项数过早爆炸，尤其对高顶点数的全胶子图至关重要。
• 对费曼图应用规范形式算法，最小化冗余拓扑结构，减少约化过程中的组合爆炸。
• 采用高效的张量约化算法处理五圈图中出现的秩-10张量，通过优化基选择求解大规模方程组。
• 所有计算均在 FORM 中实现，采用高性能代码生成，利用 FORCER 程序计算 (L−1) 圈标量积分。

实验结果

研究问题

• RQ1 R∗-运算能否有效扩展至含费米子和复杂张量结构的非阿贝尔规范理论的五圈计算？
• RQ2 如何在不损失精度的前提下缓解五圈计算中图数和项数的指数级增长？
• RQ3 含费米子的杨-米尔斯理论的五圈 beta 函数为何值？其与低阶微扰预测相比如何？
• RQ4 在大顶夸克极限下，Higgs 衰变为胶子的宽度的五圈贡献为何值？其对微扰收敛性有何影响？
• RQ5 e+e− → 海脱子过程中的 R-比值在五圈下行为如何？不同重整化方案下的尺度依赖性如何？

主要发现

• 使用优化后的 R∗-方法，在单台 32 核机器上仅用六天即完成含费米子的杨-米尔斯理论五圈 beta 函数的计算。
• 在 MS 方案下，大顶夸克极限中 Higgs 衰变为胶子的宽度的五圈贡献为 −69.3287αs⁴，微扰级数未显示出不稳定性迹象。
• e+e− → 海脱子过程中的 R-比值在五圈下表现出更好的尺度稳定性，不确定性现主要由 αs(MZ) 决定，而非截断误差。
• MiniMOM 方案展现出类似的尺度稳定性，但低阶系数相比 MS 方案减小约 1.096 倍，补偿了更高的 αs 值。
• 由于微扰截断导致的 Higgs 衰变宽度不确定性已小于 αs(MZ) 的不确定性，表明五圈结果已足够精确，可直接用于当前现象学应用。
• 该方法可扩展至五圈分裂函数矩，但 N ≥ 4 的矩仍超出当前计算范围，具有挑战性。