[论文解读] No-$π$ Theorem for Euclidean Massless Correlators

P.A. Baikov, K.G. Chetyrkin|arXiv (Cornell University)|Aug 1, 2018

Advanced Algebra and Geometry参考文献 4被引用 3

一句话总结

本文建立了QCD中欧几里得无质量关联函数的No-π定理，证明6-loop关联函数和7-loop跑动函数中的π相关项仅通过特定的ζ函数组合产生。通过p-积分的“帽子”表示法，作者推导出π相关贡献的精确代数关系，表明这些贡献完全由低阶环的 anomalous dimensions 和 β-函数决定，且给出了至7-loop的显式公式。

ABSTRACT

We provide the reader with a (very) short review of recent advances in our understanding of the $π$-dependent terms in massless (Euclidean) 2-point functions as well as in generic anomalous dimensions and $β$-functions. We extend the considerations of [1] by one more loop, that is for the case of 6-loop correlators and 7-loop renormalization group (RG) functions.

研究动机与目标

• 理解QCD中无质量2点函数和跑动函数中π相关项的起源与结构。
• 将先前关于关联函数和 anomalous dimensions 中π抑制的结果扩展至6-loop（关联函数）和7-loop（RG函数）阶次。
• 为至5-loop阶次的标度不变关联函数中某些π幂次（如π²、π⁴、π⁶）的缺失提供通用证明。
• 推导7-loop阶次下 anomalous dimensions 和 β-函数中π相关贡献之间的精确代数约束关系。
• 证明通过特定方案重定义可完全消除5-loop关联函数和β-函数中的所有π依赖性，从而验证一个非平凡恒等式。

提出的方法

• 引入p-积分中超越数（ζ值）的“帽子”表示法，实现对π相关项的系统分类。
• 利用跑动方程形式化与Adler-Bell-Jackiw反常关系，将 anomalous dimensions 和 β-函数与关联函数结构联系起来。
• 通过跑动方程的结构，推导 anomalous dimensions 和 β-函数中π相关系数之间的递归关系。
• 将帽子表示法应用于计算7-loop阶次下γ₇和β₇中π相关项的显式表达式，其形式以低阶系数表示。
• 通过与O(n) φ⁴模型和n_f味QCD中的已知7-loop结果对比，验证结果的一致性，确认多个独立计算结果的一致性。
• 证明通过包含c₁、c₂、c₃和一个4-loop修正项的方案重定义，可完全消除5-loop关联函数和β-函数中的π依赖性。

实验结果

研究问题

• RQ1 为何在标度不变的5-loop关联函数中，某些π幂次（如π²、π⁴、π⁶）会消失，尽管单个图中包含ζ(3)、ζ(4)等？
• RQ2 6-loop关联函数和7-loop RG函数中π相关项的出现受何种代数结构支配？
• RQ3 5-loop标度不变关联函数中π²和π⁶的缺失能否由更深层的代数机制解释？
• RQ4 是否存在一种方案使得5-loop β-函数和关联函数变为π无关？若存在，对方案参数有何条件要求？
• RQ5 7-loop阶次下γ₇和β₇中的π相关贡献如何通过精确代数恒等式与低阶系数关联？

主要发现

• 5-loop标度不变关联函数F⁰⁵中不包含π²和π⁶项，但包含π⁴项，证实了π抑制中存在非平凡模式。
• QCD的β-函数首次在5-loop阶次出现π相关项，且仅通过ζ(4) = π⁴/90产生，此阶次无更高阶π幂次出现。
• 推导出7-loop恒等式：β₇^ζ₄ = (3/8)β₄^ζ₃ β₁ + (9/10)β₂β₅^ζ₃ - (1/2)β₃^ζ₃ β₄^(1) + (5/4)β₁β₆^ζ₃，表明其具有精确代数依赖性。
• 7-loop anomalous dimension γ₇中非零的π相关项仅出现在ζ₃ζ₇、ζ₄ζ₃²、ζ₄ζ₆、ζ₄ζ₅、ζ₃ζ₆、ζ₄ζ₇和ζ₅ζ₆项，其系数已由低阶数据精确导出。
• 7-loop β-函数β₇中π相关项仅出现在ζ₄、ζ₆、ζ₃ζ₄、ζ₈、ζ₃ζ₆、ζ₄ζ₅、ζ₁₀、ζ₄ζ₃²和ζ₄ζ₇项，且其显式公式以低阶系数表示。
• 通过方案重定义 a = a̅(1 + c₁a̅ + c₂a̅² + c₃a̅³ + (1/3)(β₅/β₁)a̅⁴) 可完全消除5-loop关联函数和β-函数中的所有π依赖性，从而验证了文献[3]中的非平凡恒等式。