[论文解读] Renormalization automated by Hopf algebra

D. J. Broadhurst, Dirk Kreimer|ArXiv.org|Oct 13, 1998

Algebraic structures and combinatorial models参考文献 3被引用 8

一句话总结

本文提出了一种符号算法，利用带装饰的根树的霍普夫代数自动实现量子场论的重整化，通过余伴子系统性地减去发散项。该方法高效计算了复杂费曼图的有限重整化振幅，涵盖10种模型中多达12圈的7,813个图，并揭示了康奈斯-莫斯科维茨的交换子代数与最小减缩方案中理性反项之间的联系。

ABSTRACT

It was recently shown that the renormalization of quantum field theory is organized by the Hopf algebra of decorated rooted trees, whose coproduct identifies the divergences requiring subtraction and whose antipode achieves this. We automate this process in a few lines of recursive symbolic code, which deliver a finite renormalized expression for any Feynman diagram. We thus verify a representation of the operator product expansion, which generalizes Chen's lemma for iterated integrals. The subset of diagrams whose forest structure entails a unique primitive subdivergence provides a representation of the Hopf algebra ${\cal H}_R$ of undecorated rooted trees. Our undecorated Hopf algebra program is designed to process the 24,213,878 BPHZ contributions to the renormalization of 7,813 diagrams, with up to 12 loops. We consider 10 models, each in 9 renormalization schemes. The two simplest models reveal a notable feature of the subalgebra of Connes and Moscovici, corresponding to the commutative part of the Hopf algebra ${\cal H}_T$ of the diffeomorphism group: it assigns to Feynman diagrams those weights which remove zeta values from the counterterms of the minimal subtraction scheme. We devise a fast algorithm for these weights, whose squares are summed with a permutation factor, to give rational counterterms.

研究动机与目标

• 使用组合学中的代数结构自动化量子场论中的重整化过程。
• 以霍普夫代数递归形式形式化算符乘积展开，推广陈氏引理由重积分。
• 实现一个计算框架，处理多达12圈的复杂费曼图的所有BPHZ贡献。
• 研究康奈斯与莫斯科维茨的交换子代数在最小减缩方案中去除反项中黎曼ζ值的作用。
• 开发一种快速算法，计算在平方和置换后产生有理反项的权重。

提出的方法

• 利用带装饰的根树的霍普夫代数编码费曼图及其子发散的森林结构。
• 通过霍普夫代数的余伴子系统性地计算反项，实现发散的递归减去。
• 应用递归符号算法，直接从图的森林结构生成有限重整化振幅。
• 提出一种快速算法，计算康奈斯与莫斯科维茨交换子代数相关的权重，可从反项中消除ζ值。
• 将这些权重平方，并与置换因子结合，生成最小减缩方案中的有理反项。
• 在9种重整化方案下对10种量子场论进行验证，处理了24,213,878个BPHZ贡献。

实验结果

研究问题

• RQ1 能否使用带装饰的根树的霍普夫代数完全自动化量子场论的重整化？
• RQ2 霍普夫代数的余伴子如何对应费曼图中发散的减去过程？
• RQ3 康奈斯与莫斯科维茨的交换子代数在最小减缩方案及ζ值去除中的作用是什么？
• RQ4 能否设计一种快速算法，计算在最小减缩方案中产生有理反项的权重？
• RQ5 未装饰的根树霍普夫代数在刻画具有唯一原始子发散的图的结构方面有多大的准确性？

主要发现

• 该符号算法成功计算了所有最多12圈的7,813个费曼图的有限重整化振幅，处理了24,213,878个BPHZ贡献。
• 该方法通过递归霍普夫代数结构确认了算符乘积展开的表示，推广了陈氏引理。
• 康奈斯与莫斯科维茨的交换子代数赋予的权重可从最小减缩方案的反项中去除ζ值。
• 该算法高效计算这些权重，其平方与置换因子结合后产生有理反项。
• 未装饰的霍普夫代数 ${\cal H}_R$ 正确地模拟了具有唯一原始子发散的图，验证了其在简化重整化中的适用性。
• 该框架在10种不同量子场论和9种重整化方案中均表现稳健，展现出广泛的适用性。