[論文レビュー] The Manifestly Gauge Invariant Exact Renormalisation Group

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

Advanced Topics in Algebra被引用数 12

ひとこと要約

この論文は、自発的対称性の破れを伴うSU(N|N)超ヤン・ミルズレギュレータを用いて、SU(N)ヤン・ミルズ理論の明示的ゲージ不変な正確な正規化群（ERG）フレームワークを提示する。ゲージ固定を必要とせずゲージ不変性を保つ新しい図式的技法を開発することで、1ループのβ関数を正確に計算し、非ユニバーサルなレギュレータ依存項がすべての次数でキャンセルされることの部分的証明を提示し、β関数のコンパクトな図式的表現を導出する。ゲージ固定なしで実施されたヤン・ミルズ理論における初の2ループ連続計算が達成され、レギュレータ結合定数がゼロに近づく極限で標準的なユニバーサルな結果が確認された。

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.

研究の動機と目的

• 1ループを超える次数において、ゲージ固定を回避し、ゲージ不変性を明示的に保つSU(N)ヤン・ミルズ理論の正確な正規化群（ERG）を構築すること。
• ゲージ固定を必要とせず、すべての計算でゲージ不変性を維持する図式的技法を開発すること。
• 摂動論的理論において、非ユニバーサルなレギュレータ依存項がすべての次数でキャンセルされ、β関数に寄与するのはユニバーサルな寄与のみであることを証明すること。
• ゲージ固定なしでヤン・ミルズ理論における初の2ループ連続計算を実施し、標準的なユニバーサルな答えが再現されることを確認すること。

提案手法

• 物理的なSU(N)ヤン・ミルズ理論を、有効なカットオフを実装するため、自発的対称性の破れたSU(N|N)超ヤン・ミルズ理論に埋め込む。
• ゲージ固定項を避けることで、明示的なゲージ不変性を保つ新しいフロー方程式を構築する。
• 運動量および対称性構造を追跡するための「ワイン」、「ゲージ残渣」、および「ソケット表記」を用いた、新しい図式的形式主義を開発する。
• 運動量展開と代数的恒等式を用いて、ループ積分を体系的に簡略化し、ユニバーサルな寄与を分離する。
• 発散を処理するための減算技術を適用し、最終的なβ関数係数のユニバーサル性を保証する。
• 一般枠組みを特殊化してβ₂を明示的に計算し、レギュレータ結合定数がゼロに近づく極限で標準的結果に還元される数値係数を抽出する。

実験結果

リサーチクエスチョン

• RQ1 ゲージ固定を回避し、ゲージ不変性を明示的に保つSU(N)ヤン・ミルズ理論の正確な正規化群（ERG）を、1ループを超える次数において構築可能か？
• RQ2 摂動論的理論において、非ユニバーサルなレギュレータ依存項がすべての次数でキャンセルされ、β関数への寄与はユニバーサルな寄与のみに限定されるか？
• RQ3 ゲージ固定なしでヤン・ミルズ理論における2ループ計算を連続的に行うことは可能か？ また、その結果は標準的なユニバーサルなβ関数を再現するか？
• RQ4 任意のループ次数において、β関数に残存するユニバーサルな寄与の構造はどのようなものか？
• RQ5 図式的恒等式と運動量展開をどのように用いることで、ゲージ不変性を保ちつつβ関数の計算を簡略化できるか？

主な発見

• 新しい形式主義を用いて1ループのβ関数β₁が正確に再現され、標準的なユニバーサルな結果と整合性が確認された。
• 非ユニバーサルなレギュレータ依存項が摂動論的すべての次数でキャンセルされることの部分的証明が与えられ、βₙのユニバーサル部分に対するコンパクトな図式的表現が得られた。
• ゲージ固定なしでヤン・ミルズ理論における初の2ループ連続計算が達成され、レギュレータ結合定数がゼロに近づく極限で標準的なユニバーサルな答えに還元される数値係数が得られた。
• β₂の図式的表現は極めてコンパクトであり、非ユニバーサル項のキャンセルが明示的に示されており、残存する寄与は有限でユニバーサルな集合を形成している。
• βₙのコンパクトな表現の有効性は、3ループ以上において未証明の仮定に依存しており、形式主義における未解決の問題を示唆している。
• ゲージ残渣、ソケット表記、ネストされた寄与といった、開発された図式的恒等式と技法により、高次のループにおける体系的かつゲージ不変な計算が可能になった。