[論文レビュー] Master Equations for Master Amplitudes

M. Caffo, H. Czyż+2 more|ArXiv.org|Jul 17, 1998

Geophysics and Sensor TechnologyEngineering被引用数 22

ひとこと要約

本稿では、積分に作用する運動量微分作用素を用いて導かれる多ループ量子場理論におけるマスターアンプリチュードの多項式係数をもつ線形微分方程式—マスターエンジン—を導入する。主な貢献は、2ループ自己エネルギー振幅の大きな運動量展開係数を体系的に計算する手法であり、$ F^{(\infty,1)}(n) = \frac{1}{(n-2)(n-4)}S^{(\infty)}(n) $ といった正確な関係を明らかにし、高次の項の構造を単純化し、数値的評価を効率的に行えるようにする。

ABSTRACT

The general lines of the derivation and the main properties of the master equations for the master amplitudes associated to a given Feynman graph are recalled. Some results for the 2-loop self-mass graph with 4 propagators are then presented.

研究の動機と目的

• 多ループファインマン図におけるマスターアンプリチュードを記述する微分方程式—「マスターエンジン」—を体系的に導出するための方法を開発すること。
• 4つのプロパゲーターを持つ2ループ自己質量グラフにその手法を適用し、量子場理論における重要なケースを扱うこと。
• マスターアンプリチュードの大きな運動量展開係数を計算し、それらの間の隠れた代数的関係を解明すること。
• 導出された微分方程式の積分を通じて、マスターアンプリチュードの数値的評価を可能にすること。
• 整合性条件から、$ F^{(\infty,1)}(n) = \frac{1}{(n-2)(n-4)}S^{(\infty)}(n) $ のような展開係数の正確な関係を確立すること。

提案手法

• マスターアンプリチュードに作用素 $ p^\mu \partial/\partial p^\mu $ を適用することで、$ p^2 $ に関する多項式係数をもつ微分方程式（マスターエンジン）を導出する。
• 一般の積分をマスターリンテグラルに還元するための統合部分積分恒等式を用い、再帰関係の基礎をつくる。
• マスターアンプリチュードを $ p^2 $ の逆数のべき級数として展開し、$ A(p^2) \sim \sum_k c_k (p^2)^{\omega - k} $ の形の漸近展開を仮定する。
• これらの展開をマスターエンジンに代入し、展開係数間の再帰関係を導出する。
• 得られた代数的制約を用いて、$ S_0^{(\infty,1)}(n) = S^{(\infty)}(n) $ のような主要係数の正確な関数形を特定する。
• 導出に必要な複雑な代数的計算を処理するために、記号計算（FORMを用いて）を活用する。

実験結果

リサーチクエスチョン

• RQ1 運動量微分を用いて、多ループ図におけるマスターアンプリチュードの微分方程式を体系的に導出する方法は何か？
• RQ2 2ループ自己エネルギー振幅の大きな運動量展開係数の間にはどのような代数的関係が存在するか？
• RQ3 大きな $ p^2 $ 展開における主要係数は、内部質量に依存しない普遍関数で表現可能か？
• RQ4 マスターエンジンから導かれる再帰関係は、展開係数の間の正確な関数的恒等式を示唆するか？
• RQ5 マスターアンプリチュード係数の $ (n-4) $ 展開には普遍的な構造が存在するか？

主な発見

• 1ループ自己エネルギー展開における主要係数 $ S_0^{(\infty,1)}(n) $ は、質量に依存しない普遍関数 $ S^{(\infty)}(n) $ であり、$ S^{(\infty)}(n) = -\frac{1}{2(n-4)} + \frac{1}{2} + \left(\frac{1}{8}\zeta(2) - \frac{1}{2}\right)(n-4) + \mathcal{O}((n-4)^2) $ の展開をもつ。
• 係数 $ S_0^{(\infty,0)}(n,m_1^2,m_2^2) $ は $ \frac{m_1^{n-2} + m_2^{n-2}}{(n-2)(n-4)} $ で与えられ、明示的な質量依存性を示す。
• 2ループ自己エネルギーに対しては、$ F_{0,0}^{(\infty,2)}(n) = F^{(\infty,2)}(n) $、$ F_{0,0}^{(\infty,1)}(n) = F^{(\infty,1)}(n)(m_1^{n-2} + m_2^{n-2} + m_3^{n-2}) $、および $ F_{0,0}^{(\infty,0)}(n) = \frac{(m_1m_2)^{n-2} + (m_1m_3)^{n-2} + (m_2m_3)^{n-2}}{(n-2)^2(n-4)^2} $ が成り立つ。
• 展開係数 $ F^{(2,-2)} = 0 $、$ F^{(1,-2)} = -\frac{1}{4} $、$ F^{(2,-1)} = \frac{1}{32} $、および $ F^{(1,-1)} = \frac{3}{8} $ が明示的に計算されている。
• $ (n-2)F^{(\infty,1)}(n) - S^{(\infty)}(n)/(n-4) $ の $ (n-4) $ 展開の最初の3項が消えることから、関係 $ F^{(\infty,1)}(n) = \frac{1}{(n-2)(n-4)}S^{(\infty)}(n) $ が強く示唆される。
• その結果、$ G_0^{(\infty,1)}(n) = 0 $ であり、$ G_1^{(\infty,1)}(n) = \frac{S^{(\infty)}(n)}{(n-2)(n-4)} \left[ (m_1^2)^\omega - (n-3)((m_2^2)^\omega + (m_3^2)^\omega) \right] $ が得られ、最初の非自明な係数に対して閉形式の表現が得られる。