[論文レビュー] 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ループ相関関数および7ループの結合定数の再結合関数におけるπに依存する項が、特定のリーマンゼータ関数の組み合わせを通じてのみ生じることを証明している。p-積分の「ハット」表現を用いて、πに依存する寄与項の正確な代数的関係を導出し、それらが下位ループの異常次元およびβ関数によって完全に決定されることを示している。7ループまでに明示的な式が得られている。

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点関数および結合定数の再結合関数におけるπに依存する項の起源と構造を理解すること。
• 従来の相関関数および異常次元におけるπ抑制の結果を、6ループ（相関関数）および7ループ（RG関数）の順序に拡張すること。
• 5ループまでのスケール不変相関関数において、特定のπの累乗（例：π²、π⁴、π⁶）が存在しない一般的な証明を提供すること。
• 7ループにおける異常次元およびβ関数におけるπに依存する寄与項の間の正確な代数的制約を導出すること。
• 特定のスケーマ再定義が5ループ相関関数およびβ関数におけるすべてのπ依存性を除去できることを示し、非自明な恒等式を確認すること。

提案手法

• 超越数（ζ値）の「ハット」表現をp-積分に導入し、πに依存する項の体系的分類を可能にする。
• 結合定数の再結合関数方程式の形式的枠組みと、アドラー＝ベル＝ジャッキー異常を用いて、異常次元およびβ関数を相関関数構造に関連付ける。
• 結合定数の再結合関数方程式の構造を用いて、異常次元およびβ関数におけるπに依存する係数の間の再帰的関係を導出する。
• 「ハット」表現を用いて、7ループにおけるγ₇およびβ₇におけるπに依存する項の明示的表現を、下位ループ係数の言いかえで得る。
• O(n) φ⁴模型およびn_fフレーバーを有するQCDにおける既知の7ループ結果と照合し、複数の独立した計算との整合性を確認する。
• c₁、c₂、c₃および4ループ補正を含むスケーマ再定義が、5ループ相関関数およびβ関数におけるすべてのπ依存性を完全に除去できることを示す。

実験結果

リサーチクエスチョン

• RQ1 個々の図がζ(3)、ζ(4)などを含んでも、スケール不変な5ループ相関関数においてなぜ特定のπの累乗（例：π²、π⁴、π⁶）が消えるのか？
• RQ2 6ループ相関関数および7ループRG関数におけるπに依存する項の出現を支配する代数的構造は何か？
• RQ3 5ループスケール不変相関関数におけるπ²およびπ⁶の不在は、より深い代数的メカニズムによって説明可能か？
• RQ4 5ループβ関数および相関関数がπに依存しないスケーマが存在するか？その場合、スケーマパラメータにどのような条件が必要か？
• RQ5 7ループにおけるγ₇およびβ₇のπに依存する寄与項は、下位ループ係数との間でどのような正確な代数的恒等式によって関係づけられるか？

主な発見

• 5ループスケール不変相関関数F⁰⁵はπ²およびπ⁶項を含まず、π⁴項を含む。これはπ抑制における非自明なパターンを確認する。
• QCDのβ関数は5ループで初めてπに依存する項を獲得し、それらはζ(4) = π⁴/90を通じてのみ生じ、この順序でそれ以上の高次のπの累乗は現れない。
• 7ループの恒等式を導出：β₇^ζ₄ = (3/8)β₄^ζ₃ β₁ + (9/10)β₂β₅^ζ₃ - (1/2)β₃^ζ₃ β₄^(1) + (5/4)β₁β₆^ζ₃ であり、正確な代数的依存関係を示す。
• 7ループの異常次元γ₇は、ζ₃ζ₇、ζ₄ζ₃²、ζ₄ζ₆、ζ₄ζ₅、ζ₃ζ₆、ζ₄ζ₇、ζ₅ζ₆に対してのみ非ゼロのπに依存する項を持ち、それらの係数は下位ループのデータから導出されている。
• 7ループのβ関数β₇は、ζ₄、ζ₆、ζ₃ζ₄、ζ₈、ζ₃ζ₆、ζ₄ζ₅、ζ₁₀、ζ₄ζ₃²、ζ₄ζ₇に対してのみπに依存する項を持ち、下位ループ係数の言いかえで明示的な式が得られている。
• スケーマ再定義 a = a̅(1 + c₁a̅ + c₂a̅² + c₃a̅³ + (1/3)(β₅/β₁)a̅⁴) が、5ループ相関関数およびβ関数におけるすべてのπ依存性を完全に除去できることを示し、[3]で提示された非自明な恒等式を確認した。