Part III, Chapter 3

Path Integrals in QFT

From particle paths to field configurations: functional integration

▢️

Video Lecture

Lecture 9: Path Integral Formalism for QFT - MIT 8.323

Functional integration and generating functionals in quantum field theory (MIT QFT Course)

πŸ’‘ Tip: Watch at 1.25x or 1.5x speed for efficient learning. Use YouTube's subtitle feature if available.

3.1 From Particles to Fields

In QM, we summed over particle trajectories x(t). In QFT, we sum over field configurations Ο†(x,t)!

πŸ’‘Field Configuration Space

Think of a vibrating drumhead. At each point (x,y) and time t, the height is Ο†(x,y,t). A "path" in field theory is a complete history of the entire drumhead vibration!

We sum over all possible vibration patterns, each weighted by eiS[Ο†].

The functional integral (path integral for fields) is:

$$\boxed{Z = \int \mathcal{D}\phi \, e^{iS[\phi]}}$$

where βˆ«π’ŸΟ† means "integrate over all field configurations" and the action is:

$$S[\phi] = \int d^4x \, \mathcal{L}(\phi, \partial_\mu\phi)$$

3.2 Free Scalar Field

For the Klein-Gordon field:

$$S[\phi] = \int d^4x \left[\frac{1}{2}(\partial_\mu\phi)(\partial^\mu\phi) - \frac{1}{2}m^2\phi^2\right]$$

After integration by parts:

$$S[\phi] = -\frac{1}{2}\int d^4x \, \phi(x)(\Box + m^2)\phi(x)$$

This is a Gaussian functional integral! The result is:

$$\boxed{Z_0 = \int \mathcal{D}\phi \, e^{iS_0[\phi]} = \mathcal{N} \cdot \det^{-1/2}(-i(\Box + m^2))}$$

𝒩 is an infinite normalization constant (we'll divide it out). The determinant is also infinite but well-defined!

3.3 Generating Functional

To compute correlation functions, we introduce a source term J(x):

$$\boxed{Z[J] = \int \mathcal{D}\phi \, e^{i\int d^4x[\mathcal{L}(\phi) + J(x)\phi(x)]}}$$

Z[J] is called the generating functional because:

$$\langle 0|T\{\phi(x_1)\cdots\phi(x_n)\}|0\rangle = \frac{1}{Z[0]}\frac{1}{i^n}\frac{\delta^n Z[J]}{\delta J(x_1)\cdots\delta J(x_n)}\Bigg|_{J=0}$$

Each functional derivative "pulls down" one field operator! This is the key formulaconnecting path integrals to correlation functions.

Free Field Result

For the free field, we can complete the square:

$$Z_0[J] = Z_0[0] \exp\left[\frac{i}{2}\int d^4x d^4y \, J(x)D_F(x-y)J(y)\right]$$

where DF(x-y) is the Feynman propagator:

$$D_F(x-y) = \int \frac{d^4k}{(2\pi)^4} \frac{ie^{-ik \cdot (x-y)}}{k^2 - m^2 + i\epsilon}$$

The 2-point function is:

$$\boxed{\langle 0|T\{\phi(x)\phi(y)\}|0\rangle = D_F(x-y)}$$

This reproduces our result from canonical quantization!

3.4 Wick Rotation (Euclidean Path Integral)

Minkowski spacetime (real time t) has an oscillating integrand eiS. We can rotate to imaginary time Ο„ = it (Wick rotation):

$$t \to -i\tau \quad \Rightarrow \quad S \to -S_E \quad \Rightarrow \quad e^{iS} \to e^{-S_E}$$

The Euclidean action is:

$$S_E[\phi] = \int d^4x_E \left[\frac{1}{2}(\partial_\mu\phi)^2 + \frac{1}{2}m^2\phi^2\right]$$

Now the path integral is:

$$Z_E = \int \mathcal{D}\phi \, e^{-S_E[\phi]}$$

This is a convergent integral! e-SE is a damping factor. Field configurations with large action are suppressed, making calculations easier.

πŸ’‘ Why Wick Rotation?

  • Makes path integral well-defined mathematically
  • Connection to statistical mechanics (partition function Z = Tr e-Ξ²H)
  • Easier to evaluate integrals (no oscillations)
  • Can analytically continue back to Minkowski spacetime

3.5 Interacting Fields

For interacting theories like φ⁴:

$$S[\phi] = S_0[\phi] + S_{\text{int}}[\phi], \quad S_{\text{int}} = -\frac{\lambda}{4!}\int d^4x \, \phi^4$$

We can't evaluate the path integral exactly! But we can expand in powers of Ξ»:

$$Z[J] = \int \mathcal{D}\phi \, e^{iS_0[\phi]} e^{iS_{\text{int}}[\phi]} e^{i\int J\phi}$$

Expand eiSint in a Taylor series:

$$e^{iS_{\text{int}}[\phi]} = 1 + iS_{\text{int}}[\phi] + \frac{(iS_{\text{int}}[\phi])^2}{2!} + \cdots$$

Each term gives Feynman diagrams at a given order! This is perturbation theory.

🎯 Key Takeaways

  • Functional integral: Z = βˆ«π’ŸΟ† eiS[Ο†] (sum over field configurations)
  • Free field: Gaussian integral gives propagator DF
  • Generating functional Z[J]: Derivatives give correlation functions
  • Wick rotation: t β†’ -iΟ„ makes integral convergent (Euclidean QFT)
  • Interacting theories: Expand in coupling constant β†’ Feynman diagrams
  • Path integral ↔ Canonical quantization (same physics, different formulation)
  • Next: Computing correlation functions systematically!