Path Integral Formulation QFT

⚡ Key Takeaways

The path integral formulation expresses quantum amplitudes as a sum over all possible histories of a system, weighted by $e^{iS/\hbar}$ where $S$ is the classical action. In QFT, the fundamental objects become functional integrals over field configurations, $\int \mathcal{D}\phi \, e^{iS[\phi]/\hbar}$ , generating all correlation functions and the S-matrix. It applies to all of relativistic quantum field theory, gauge theory, statistical mechanics, and quantum gravity. Conceived by Dirac (1933), developed fully by Feynman (1948), and made rigorous in Euclidean form by later workers.

💡 The Core Insight

Quantum amplitudes are obtained by superposing contributions from every conceivable history, not just the classical one. Each history $\phi(x)$ contributes a complex number of unit modulus, $e^{iS[\phi]/\hbar}$ . Constructive interference near the stationary point of $S$ reproduces classical physics; everywhere else, rapid phase oscillation produces cancellation. The transition from a single trajectory to a democratic sum over all of them is the conceptual heart of the formalism.

DefinitionQuantum-Mechanical Path Integral (Single Particle)

For a particle with Lagrangian $L(q,\dot q)$ , the transition amplitude between position eigenstates is given by the configuration-space path integral:

1

\quad \langle q_f, t_f \mid q_i, t_i\rangle = \int_{q(t_i)=q_i}^{q(t_f)=q_f} \mathcal{D}q(t)\; \exp\!\left(\frac{i}{\hbar}\int_{t_i}^{t_f} L(q,\dot q)\,dt\right)

where $\mathcal{D}q(t)$ denotes integration over all paths with the stated endpoints, $S[q]=\int L\,dt$ is the classical action, and $\hbar$ is the reduced Planck constant.

DefinitionThe Time-Slicing Measure

The functional measure is the formal limit of a finite-dimensional integral over intermediate positions:

2

\quad \mathcal{D}q(t) = \lim_{N\to\infty}\left(\frac{m}{2\pi i \hbar \epsilon}\right)^{N/2}\prod_{k=1}^{N-1} dq_k

where $m$ is the particle mass and the prefactor is the normalization of each Gaussian short-time kernel.

DefinitionField-Theoretic Generating Functional

For a scalar field $\phi(x)$ , all quantum information is packaged in the generating functional with external source $J(x)$ :

3

\quad Z[J] = \int \mathcal{D}\phi \; \exp\!\left(\frac{i}{\hbar}\int d^4x\,\big[\mathcal{L}(\phi,\partial_\mu\phi) + J(x)\phi(x)\big]\right)

where $\mathcal{L}$ is the Lagrangian density and $J(x)$ is a classical source coupling linearly to the field.

TheoremCorrelation Functions from Functional Derivatives

Time-ordered vacuum correlation functions (Green's functions) are generated by repeated functional differentiation:

4

\quad \langle 0|T\,\phi(x_1)\cdots\phi(x_n)|0\rangle = \frac{1}{Z[0]}\left.\frac{(-i\hbar)^n\,\delta^n Z[J]}{\delta J(x_1)\cdots\delta J(x_n)}\right|_{J=0}

where $T$ denotes time ordering and the division by $Z[0]$ removes vacuum bubble contributions.

TheoremEuclidean Path Integral and Wick Rotation

Analytically continuing to imaginary time $t\to -i\tau$ converts the oscillatory weight into a real, positive, exponentially damped one:

5

\quad Z_E[J] = \int \mathcal{D}\phi\; \exp\!\left(-\frac{1}{\hbar}\,S_E[\phi] + \frac{1}{\hbar}\int d^4x_E\, J\phi\right),\qquad S_E = \int d^4x_E\,\Big[\tfrac{1}{2}(\partial\phi)^2 + V(\phi)\Big]

where $S_E\ge 0$ is the Euclidean action and $d^4x_E$ is the Euclidean volume element.

ProofDerivation of the Path Integral from Operator Mechanics

We derive Eq. [1] from canonical quantization in numbered steps. 1. Slice the evolution operator. Write $\langle q_f|e^{-iH(t_f-t_i)/\hbar}|q_i\rangle$ and split the interval into $N$ equal pieces of width $\epsilon$ , so $e^{-iHT/\hbar}=\big(e^{-iH\epsilon/\hbar}\big)^N$ . 2. Insert completeness. Between adjacent factors insert $\int dq_k\,|q_k\rangle\langle q_k|=\mathbb{1}$ , yielding a product of short-time kernels $\prod_k \langle q_{k+1}|e^{-iH\epsilon/\hbar}|q_k\rangle$ . 3. Evaluate the kernel. For $H=p^2/2m+V(q)$ , insert momentum completeness and perform the Gaussian $p$ -integral:

6

\quad \langle q_{k+1}|e^{-iH\epsilon/\hbar}|q_k\rangle \approx \left(\frac{m}{2\pi i\hbar\epsilon}\right)^{1/2}\exp\!\left[\frac{i\epsilon}{\hbar}\left(\frac{m}{2}\Big(\frac{q_{k+1}-q_k}{\epsilon}\Big)^2 - V(q_k)\right)\right].

Derivation hint: Complete the square in $p$ after writing $e^{-iV\epsilon/\hbar}$ to the right; the $p$ -integral is a shifted Gaussian. 4. Recognize the action. The exponent summed over slices is $\frac{i\epsilon}{\hbar}\sum_k[\frac{m}{2}\dot q_k^2 - V(q_k)]\to \frac{i}{\hbar}\int L\,dt$ as $\epsilon\to 0$ . 5. Take the continuum limit. The accumulated normalizations form the measure of Eq. [2], and the product of integrals becomes the functional integral of Eq. [1]. $\blacksquare$

∎

RP

Richard P. Feynman

1918–1988

Feynman, building on a 1933 paper by Dirac that noted the amplitude "corresponds to" $e^{iL\,dt/\hbar}$ , established the path integral as a full reformulation of quantum mechanics in his 1942 Princeton PhD thesis (supervised by Wheeler) and his landmark 1948 Reviews of Modern Physics paper. He used it to derive the Feynman rules and diagrams for QED, work for which he shared the 1965 Nobel Prize with Schwinger and Tomonaga. His view of physics as a "sum over histories" reshaped quantum field theory, statistical mechanics, and our intuition for quantum interference.

🧠 Intuition

Picture the famous double-slit experiment, then push it to its logical extreme. Add more screens with more slits; the particle's amplitude is the sum over each path through the holes. Now remove the screens entirely and drill "all possible holes everywhere"—the particle effectively traverses every path through space simultaneously, each contributing a phase $e^{iS/\hbar}$ . Far from the classical trajectory, neighboring paths have wildly different actions, so their phases point in random directions and cancel. Near the classical path, where $\delta S=0$ , neighboring paths share nearly the same phase and add coherently. Thus the classical trajectory is not "chosen" but emerges as the locus of constructive interference. In QFT, the "particle" becomes a field configuration over all spacetime, and the sum over histories becomes a sum over field shapes—a superposition of every way the field can wiggle between specified boundary data.

Figure

Stationary-phase: classical path dominates by constructive interference

```svg

```

ExampleFree-Particle Propagator

Given: A free particle of mass $m$ , with $V=0$ , propagating from $q_i$ at $t_i$ to $q_f$ at $t_f$ over duration $T=t_f-t_i$ .

Steps: 1. The classical action for the straight-line trajectory is $S_{\rm cl}=\frac{m(q_f-q_i)^2}{2T}$ . 2. Because $L$ is quadratic, the path integral is exactly Gaussian; fluctuations contribute only a normalization $A(T)$ , giving $K = A(T)\,e^{iS_{\rm cl}/\hbar}$ . 3. Determine $A(T)$ from the Gaussian fluctuation determinant (or from the semigroup property $\int dq'\,K(q_f,T_2;q')K(q',T_1;q_i)=K(q_f,T_1+T_2;q_i)$ ), yielding $A(T)=(m/2\pi i\hbar T)^{1/2}$ .

Answer:

\boxed{\,K(q_f,t_f;q_i,t_i)=\left(\frac{m}{2\pi i\hbar T}\right)^{1/2}\exp\!\left[\frac{i m (q_f-q_i)^2}{2\hbar T}\right]\,}

Numerically, for an electron ( $m=9.11\times10^{-31}$ kg), $\Delta q=1$ nm, $T=10^{-15}$ s: the phase $S_{\rm cl}/\hbar = m\Delta q^2/(2\hbar T)\approx (9.11\times10^{-31}\cdot10^{-18})/(2\cdot1.055\times10^{-34}\cdot10^{-15})\approx 4.3$ radians (dimensionless), confirming strong quantum interference at this scale.

ExampleHarmonic Oscillator via Fluctuation Determinant

Given: A harmonic oscillator $L=\frac{m}{2}\dot q^2-\frac{m\omega^2}{2}q^2$ , duration $T$ .

Steps: 1. Split $q(t)=q_{\rm cl}(t)+\eta(t)$ with $\eta$ vanishing at endpoints; the action separates as $S=S_{\rm cl}+\frac{m}{2}\int(\dot\eta^2-\omega^2\eta^2)dt$ . 2. The classical action is $S_{\rm cl}=\frac{m\omega}{2\sin\omega T}\big[(q_i^2+q_f^2)\cos\omega T-2q_iq_f\big]$ . 3. The fluctuation integral gives $\det^{-1/2}$ of the operator $-\partial_t^2-\omega^2$ ; its ratio to the free case is $\sqrt{\omega T/\sin\omega T}$ , fixing the prefactor.

Answer:

\boxed{\,K=\left(\frac{m\omega}{2\pi i\hbar\sin\omega T}\right)^{1/2}\exp\!\left[\frac{i m\omega}{2\hbar\sin\omega T}\Big((q_i^2+q_f^2)\cos\omega T-2q_iq_f\Big)\right]\,}

For $\omega T\to 0$ this reduces smoothly to the free-particle result; poles at $\omega T=n\pi$ signal the focusing of all classical paths (caustics).

⚠️ Common mistake

The measure $\mathcal{D}\phi$ is not a genuine measure. In Minkowski signature the "weight" $e^{iS/\hbar}$ has unit modulus and the formal infinite-dimensional integral does not converge absolutely; it is defined only through limiting/regularization procedures (time-slicing, Euclidean continuation, lattice). Treating $\mathcal{D}\phi\,e^{iS/\hbar}$ as a literal Lebesgue-type measure is mathematically false—no translation-invariant countably-additive measure exists on infinite-dimensional spaces. Only the Euclidean version, Eq. [5], approaches a true (Wiener-like, Gaussian-based) measure, and even then interactions require renormalization.

Counterexample

Naïve path integration violates operator ordering. One might think the configuration-space measure of Eq. [2] always captures the Hamiltonian faithfully. It does not when the kinetic term is position-dependent—e.g. a particle on a curved manifold with $H=\frac{1}{2}g^{ij}(q)p_ip_j$ . The naïve discretization $g_{ij}(q_k)\dot q^i\dot q^j$ misses an $O(\hbar^2)$ curvature term (proportional to the Ricci scalar $R$ ) that depends on the discretization point (midpoint vs. endpoint). The correct prescription comes from the phase-space path integral with careful ordering, demonstrating that the configuration-space form is not universally valid.

connection

The path integral sits at the crossroads of much of theoretical physics. It reduces to ordinary Canonical Quantization via time-slicing, and the two are equivalent for well-behaved Hamiltonians. The Euclidean version, Eq. [5], is mathematically identical to the partition function of Statistical Mechanics, with $\hbar$ playing the role of temperature and the action playing the role of energy—this is the bedrock of Quantum Field Theory at Finite Temperature. It provides the natural language for Gauge Theory through the Faddeev–Popov procedure and ghost fields, and underlies the Renormalization Group when one integrates out high-momentum field modes shell by shell. The stationary-phase limit connects it directly to Classical Mechanics and the Hamilton-Jacobi Equation, while instanton solutions of Eq. [5] describe Quantum Tunneling non-perturbatively.

🔬 Where this appears

⏳ History

- 1923–1925: Wiener constructs the rigorous measure for Brownian motion—the Euclidean ancestor of the path integral.

- 1933: Dirac, in Physikalische Zeitschrift der Sowjetunion, observes that the quantum transition amplitude over a short time "corresponds to"

\exp(iL\,dt/\hbar)

, planting the seed.

- 1942: Feynman's Princeton PhD thesis, "The Principle of Least Action in Quantum Mechanics," develops the sum-over-histories idea fully.

- 1948: Feynman publishes "Space-Time Approach to Non-Relativistic Quantum Mechanics" (Rev. Mod. Phys.), establishing the formalism; companion work derives QED Feynman rules.

- 1949: Dyson proves the equivalence of Feynman's, Schwinger's, and Tomonaga's formulations of QED.

- 1950s–60s: Matthews–Salam, and later Faddeev–Popov (1967), extend the path integral to non-abelian gauge theories, introducing gauge-fixing and ghosts.

- 1972: 't Hooft and Veltman use path-integral (dimensional) regularization to prove the renormalizability of gauge theories.

- 1974: Wilson formulates lattice gauge theory, making the Euclidean path integral a computational tool and explaining confinement.

- 1975–83: Coleman (instantons/false vacuum), Gibbons–Hawking and Hartle–Hawking apply Euclidean path integrals to tunneling, black-hole thermodynamics, and quantum cosmology.

open-problem

Despite its practical triumphs, the path integral resists full mathematical rigor. The Minkowski measure $\mathcal{D}\phi\,e^{iS/\hbar}$ has no known countably-additive realization; constructive quantum field theory (Glimm–Jaffe) succeeds only for super-renormalizable models in $d\le 3$ and remains open for four-dimensional Yang–Mills (a Clay Millennium Problem). The gravitational path integral faces the conformal-factor problem (the Euclidean Einstein–Hilbert action is unbounded below) and ambiguities in the contour of integration. Convergence and the sign problem plague Euclidean lattice simulations at finite chemical potential, where the weight becomes complex. Finally, the precise definition of the functional measure including its anomalous Jacobians (Fujikawa's derivation of chiral anomalies) reveals that the "measure" itself carries physical content not visible in the classical action—an aspect still being mapped in curved space and on the lattice.

Formal Statement

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also