On the Structure of QFT in the Particle Picture of the Path Integral Formulation

TL;DR

This paper explores the particle picture of quantum field theory's path integral, demonstrating its combinatorial nature and providing new methods for decomposing Feynman graphs into n-particle irreducible subgraphs.

Contribution

It establishes that key structures like the Legendre transform of connected graphs are combinatorial, independent of analytic issues, and introduces efficient graph decomposition techniques.

Findings

Legendre transform of connected graphs is combinatorial and analytic-independent.

Path integral in the particle picture is well-defined as a formal power series.

New methods for decomposing Feynman graphs into nPI subgraphs.

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.