[論文レビュー] On the Structure of QFT in the Particle Picture of the Path Integral Formulation

D. M. Jackson, Achim Kempf+1 more|ArXiv.org|Oct 23, 2008

Matrix Theory and Algorithms参考文献 4被引用数 4

ひとこと要約

本稿では、連結フェルミオン図の生成関数と有効作用の間のルジャンドル変換関係が、解析的仮定に依存せず、本質的に組合せ論的であることを確立している。量子場理論を多粒子経路（フェルミオン図）の和として定式化することで、著者らはルジャンドル変換構造が1PI部分図への図の分解から生じることを証明し、解析的問題を回避する、形式的べき級数に基づくきめ細やかなQFTの枠組みを提供している。

ABSTRACT

In quantum field theory the path integral is usually formulated in the wave picture, i.e., as a sum over field evolutions. This path integral is difficult to define rigorously because of analytic problems whose resolution may ultimately require knowledge of non-perturbative or even Planck scale physics. Alternatively, QFT can be formulated directly in the particle picture, namely as a sum over all multi-particle paths, i.e., over Feynman graphs. This path integral is well-defined, as a map between rings of formal power series. This suggests a program for determining which structures of QFT are provable for this path integral and thus are combinatorial in nature, and which structures are actually sensitive to analytic issues. For a start, we show that the fact that the Legendre transform of the sum of connected graphs yields the effective action is indeed combinatorial in nature and is thus independent of analytic assumptions. Our proof also leads to new methods for the efficient decomposition of Feynman graphs into $n$-particle irreducible (nPI) subgraphs.

研究の動機と目的

• 量子場理論（QFT）におけるルジャンドル変換構造が、経路積分形式において組合せ論的であるか、解析的仮定に依存するかを調査すること。
• 経路積分を粒子像として直接多粒子経路（フェルミオン図）の和として定式化することにより、QFTのきめ細やかな形式的べき級数フレームワークを確立すること。
• 連結生成関数のルジャンドル変換によって生成される有効作用が、収束性やUV/IR発散といった解析的問題に依存しないことを示すこと。
• フェルミオン図をn粒子非可縮（nPI）部分図に分解するための新しい組合せ論的手法を開発し、効率的な摂動的計算を可能にすること。
• 主要なQFT構造（例：異常、ゴースト場、ダイソン＝シュヴィンガー方程式）が、粒子像経路積分において本質的に組合せ論的起源を持つ可能性を検討すること。

提案手法

• 経路積分を多粒子経路、すなわちすべてのフェルミオン図の和として粒子像で定式化し、各図はその位数因子によって重み付けられる。
• 生成関数 Z[J] を源 J における形式的べき級数として表現し、フェルミオン則は逆伝播関数 (iS(2))⁻¹ と n ≥ 3 の頂点 iS(n) で定義される。
• 連結生成関数 iW[J] を Z[J] の対数として定義し、有効作用 iΓ[ϕ] を iW[J] のルジャンドル変換として定義する。ここで ϕa = ∂W[J]/∂Ja である。
• グラフのオイラーの公式（V − E + C = 1）を組合せ論的基盤として用い、ルジャンドル変換関係をグラフ構造の位相的恒等式に還元することで証明する。
• 組合せ論的フーリエ変換を適用し、木図の生成関数 iT[K] と作用 F[Ψ] の関係を示し、逆ルジャンドル変換が元のフェルミオン則を回復することを示す。
• nPI図のカクタス表現 H(g) に対するオイラー＝ポワンカレの公式の一般化を提案し、高次ルジャンドル変換を可能とし、フェルミオン図のより良い分解を実現する。

実験結果

リサーチクエスチョン

• RQ1 QFTにおける連結図と有効作用の間のルジャンドル変換関係は、解析的構造の結果であるか、それとも純粋に組合せ論的グラフ位相の結果であるか？
• RQ2 フェルミオン図を1PI部分図に分解することは、解析的正則化を用いずに、組合せ論的恒等式を用いて形式化・最適化可能か？
• RQ3 QFTにおけるルジャンドル変換の自己同型性は、粒子像経路積分において純粋に組合せ論的証明が可能か？
• RQ4 波像経路積分における境界項や関数微分の組合せ論的類似物は何か、特にダイソン＝シュヴィンガー方程式の文脈で。
• RQ5 QFTにおける異常やゴースト場は、粒子像経路積分における再解釈された「測度」から組合せ論的に導出可能か？

主な発見

• 連結図の和と有効作用の間のルジャンドル変換関係が、収束性やUV/IR正則化といった解析的仮定に依存せず、組合せ論的性質であることが証明された。
• 証明は、グラフのオイラーの公式（V − E + C = 1）に還元され、この構造がフェルミオン図の位相的性質に由来し、場の理論的力学に依存しないことを示している。
• 図 g に対して、ω(g) = 2⁻ˡᵏ⁻¹ である対称性因子 ω(g) が、組合せ論的に導出され、ここで l は自己結合の数、k は自己同型の数である。
• 木図の生成関数 iT[K] が作用 F[Ψ] の逆ルジャンドル変換であることが示され、凸性仮定のもとで場 ϕ = ∂W[J]/∂J が可逆である。
• 木図を辺または頂点の分割によって部分図に分解すると、恒等式の右辺に V(g) − E(g) の重みが現れ、組合せ論的恒等式と整合的であることが確認された。
• 著者らは、組合せ論的枠組みにおいてルジャンドル変換が自己同型的であることを確立した。すなわち、2回の変換を施すと元の生成関数が回復し、理論とそのルジャンドル双対の間の双対性が示された。