[论文解读] The Manifestly Gauge Invariant Exact Renormalisation Group

Oliver J. Rosten|arXiv (Cornell University)|Jun 20, 2005

Advanced Topics in Algebra被引用 12

一句话总结

本文提出了一种显式规范不变的精确重整化群（ERG）框架，用于SU(N)杨-米尔斯理论，采用自发对称性破缺的SU(N|N)超杨-米尔斯规范。通过发展新颖的图解技术，在无需规范固定的情况下保持规范不变性，作者精确计算了一圈β函数，并提供了非普遍调节器依赖项在微扰论中所有阶次下抵消的初步证明，从而得到了β函数的紧凑图解表达式。该工作实现了杨-米尔斯理论中首次无需规范固定的两圈连续微扰计算，且在调节器耦合常数趋于零的极限下，确认了标准的普遍结果。

ABSTRACT

We construct a manifestly gauge invariant Exact Renormalisation Group (ERG) whose form is suitable for computation in SU(N) Yang-Mills theory, beyond one-loop. An effective cutoff is implemented by embedding the physical SU(N) theory in a spontaneously broken SU(N|N) Yang-Mills theory. To facilitate computations within this scheme, which proceed at every step without fixing the gauge, we develop a set of diagrammatic techniques. As an initial test of the formalism, the one-loop SU(N) Yang-Mills beta-function, beta_1, is computed, and the standard, universal answer is reproduced. It is recognised that the computational technique can be greatly simplified. Using these simplifications, a partial proof is given that, to all orders in perturbation theory, the explicit dependence of perturbative $β$-function coefficients, beta_n, on certain non-universal elements of the manifestly gauge invariant ERG cancels out. This partial proof yields an extremely compact, diagrammatic form for the surviving contributions to arbitrary beta_n, up to a set of terms which are yet to be dealt with. The validity of the compact expression is reliant on an unproven assertion at the third loop order and above. Starting from the compact expression for beta_n, we specialise to beta_2 and explicitly construct the set of terms yet to be dealt with. From the resulting diagrammatic expression for beta_2, we extract a numerical coefficient which, in the limit that the coupling of one of the unphysical regulator fields is tuned to zero, yields the standard, universal answer. Thus, we have performed the very first two-loop, continuum calculation in Yang-Mills theory, without fixing the gauge.

研究动机与目标

• 构建一种显式规范不变的精确重整化群（ERG）框架，用于SU(N)杨-米尔斯理论，其适用范围超越一圈阶次。
• 发展图解技术，使所有计算过程中始终保持规范不变性，而无需进行规范固定。
• 证明在微扰论中，非普遍调节器依赖项在所有阶次下相互抵消，仅留下对β函数的普遍贡献。
• 在无需规范固定的情况下，完成杨-米尔斯理论中首次两圈、连续微扰计算，并确认标准的普遍结果。

提出的方法

• 通过将物理的SU(N)杨-米尔斯理论嵌入到自发对称性破缺的SU(N|N)超杨-米尔斯理论中，实现有效截断。
• 构建一种新的流方程，通过避免规范固定项，保持显式规范不变性。
• 开发一种新颖的图解形式化方法，使用“wines”、“规范余项”和“插座记号”来追踪动量和对称性结构。
• 利用动量展开和代数恒等式，系统性地简化圈积分，并分离出普遍贡献。
• 应用减法技术处理发散性，确保最终β函数系数的普遍性。
• 将一般框架特化，以显式计算β₂，提取一个数值系数，该系数在调节器耦合常数趋于零时还原为标准结果。

实验结果

研究问题

• RQ1 能否为SU(N)杨-米尔斯理论构建一种显式规范不变的ERG框架，避免规范固定，并支持更高圈阶次的计算？
• RQ2 在微扰论中，非普遍调节器依赖项是否在所有阶次下相互抵消，仅留下对β函数的普遍贡献？
• RQ3 是否可能在无需规范固定的情况下，对杨-米尔斯理论进行两圈计算，并重现普遍的β函数？
• RQ4 在任意圈阶次下，β函数中残留的普遍贡献具有何种结构？
• RQ5 如何利用图解恒等式和动量展开来简化β函数的计算，同时保持规范不变性？

主要发现

• 通过新形式化方法精确重现了一圈β函数β₁，与标准普遍结果一致，验证了框架的一致性。
• 给出了非普遍调节器依赖项在所有阶次下抵消的初步证明，从而得到βₙ普遍部分的紧凑图解表达式。
• 实现了杨-米尔斯理论中首次无需规范固定的两圈、连续微扰计算，所得数值系数在调节器耦合常数趋于零时还原为标准普遍结果。
• 最终得到的β₂图解表达式极为紧凑，明确展示了非普遍项的抵消，剩余贡献构成有限且普遍的集合。
• βₙ紧凑表达式的有效性依赖于三圈及以上阶次下尚未证明的断言，表明该形式化体系中仍存在一个开放问题。
• 所发展的图解恒等式与技术（如规范余项、插座记号、嵌套贡献）使得更高圈阶次下系统且规范不变的计算成为可能。