[論文レビュー] Combinatorial aspects in the one-loop renormalization of higher derivative theories

Christian F. Steinwachs|arXiv (Cornell University)|Sep 2, 2019

Cosmology and Gravitation Theories参考文献 36被引用数 4

ひとこと要約

本稿では、高次微分量子場理論における1ループ補正項を、明示的なテンソル縮約を回避することで、効率的に計算する組み合わせ論的アルゴリズムを提示する。対称テンソル積から導かれる組み合わせ係数を活用することで、コンピュータ代数システムにおける計算の爆発的増加を著しく低減し、高ランクの真空テンソル積分を含む複雑な図式のスケーラブルな正則化を可能にする。これはガリレオン理論や他の高次微分理論において特に重要である。

ABSTRACT

An efficient way to calculate one-loop counterterms within the Feynman diagrammatic approach and dimensional regularization is to expand the propagators in the integrands of the Feynman integrals around vanishing external momentum. In this way, a generic one-loop diagram is reduced to a sum of vacuum diagrams. The logarithmically divergent part can be extracted by power counting arguments. In case of higher derivative theories, the standard implementation of this procedure on a computer algebra system can become quickly inefficient due to a high proliferation of terms coming from the intermediate replacement of high-rank tensor-integrals with symmetrized product of metric tensors. In this note we present a simple combinatorial solution to this problem which makes the implementation much more efficient. This method is especially relevant in the renormalization of higher derivative theories, but might as well be integrated as a standard routine in existing computer algebra programs designed to automatize Feynman diagrammatic calculations.

研究の動機と目的

• 高次微分場理論における1ループ補正項計算の計算非効率性を、テンソル縮約の増加に起因して解消する。
• 明示的なテンソル代数を用いずに、真空テンソル積分の対数発散部分を体系的に計算する手法を開発する。
• 組み合わせ係数を用いて、高次微分理論におけるフェ Feynman 図式計算のスケーラブルな自動化を実現する。
• スカラー、スピンルール、およびベクトル場に複数の質量を持つ場合にも適用可能な一般化可能なフレームワークを提供する。
• 既存のコンピュータ代数プログラムに標準ルーチンとして統合し、自動化されたループ計算を可能にする。

提案手法

• 外部運動量をゼロに近づける展開により、フェ Feynman 積分のプロパゲーターを展開し、図式を真空テンソル積分に還元する。
• パワー・カウンティングを用いて対数発散部分を特定し、それらを計量テンソルの対称テンソル積として表現する。
• テンソル積分の総ランクを対称不変量に分割することから得られる、組み合わせ係数 $ B_k $ を導入する。
• 定義 $ B_k = C_k / P_ u(4) $ において、$ C_k $ はテンソル縮約の対称性を数え、$ P_ u(4) $ は次元的多項式である。
• 具体的な例（例えば表5）を用いてスカラー理論への適用を示し、分割 $ k \to (\rho_{11}, \rho_{12}, \rho_{22}) $ が発散構造をどのように生成するかを示す。
• 運動量不変量および組み合わせ的重み付けを修正することで、スピンが非ゼロで複数の質量を持つ場合への形式の拡張を実施する。

実験結果

リサーチクエスチョン

• RQ1 高ランクの真空積分におけるテンソル縮約の計算コストを、1ループ計算でどのように最小化できるか。
• RQ2 真空テンソル積分における高ランク計量テンソルの対称的縮約の背後にある組み合わせ的構造は何か。
• RQ3 明示的なテンソル代数を用いずに、1ループ積分の発散部分の閉形式表現を導出できるか。
• RQ4 高次微分理論における外部レグの数やループ運動量の増加に伴い、この手法はどのようにスケーリングするか。
• RQ5 このアルゴリズムは、スピンを持つ場および複数の質量を持つ場へどの程度一般化可能か。

主な発見

• 組み合わせ係数 $ B_k $ を用いることで、明示的なテンソル縮約を回避し、高ランク積分における計算複雑性を低減した。
• $ g_3^3 $ カップリングを有する3ループスカラー図式に対して、発散部分は $ iI^{ ext{div}} = -i\frac{432g_3^3}{(4\pi)^2\varepsilon} \left[ \cdots \right] $ として計算され、$ q_1^2, q_1\cdot q_2, q_2^2 $ における発散構造が明示的に示された。
• オンシェル状態（$ k_1^2 = k_2^2 = 0 $）において発散振幅が消えることから、運動量制約と整合性が確認された。
• このアルゴリズムは一般化可能であり、標準的手法が高ランクテンソル構造のため失敗するガリレオンモデルを含む高次微分理論へも適用可能である。
• この手法はスケーラブルであり、FeynCalc や QCDLoop などの既存のコンピュータ代数システムに標準ルーチンとして統合可能である。
• 組み合わせ係数 $ B_k $ は対称テンソル分割から導かれるが、$ \varepsilon $-正則化スキームにおいて時空次元に依存しない。