Feynman Diagrams & Wick's Theorem
Visual perturbation theory: from path integrals to pictures
πCourse Connections
Video Lecture
Lecture 11: Computation of Correlation Functions & Feynman Diagrams - MIT 8.323
Wick contractions and the diagrammatic expansion of perturbation theory (MIT QFT Course)
π‘ Tip: Watch at 1.25x or 1.5x speed for efficient learning. Use YouTube's subtitle feature if available.
5.1 Wick's Theorem
Wick's theorem is the master formula for computing Gaussian path integrals. It states that time-ordered products can be written as sums of contractions:
A contraction (or Wick contraction) of two fields is:
π‘What is a Contraction?
Think of a contraction as "pairing up" two field operators. In Feynman diagrams, each contraction becomes a line (propagator) connecting two points!
Example: For 4 fields, there are 3 ways to pair them:
- (ΟβΟβ)(ΟβΟβ) β two propagators: xβ-xβ and xβ-xβ
- (ΟβΟβ)(ΟβΟβ) β two propagators: xβ-xβ and xβ-xβ
- (ΟβΟβ)(ΟβΟβ) β two propagators: xβ-xβ and xβ-xβ
Example: 4-Point Function
$$= D_F(x_1-x_2)D_F(x_3-x_4) + D_F(x_1-x_3)D_F(x_2-x_4) + D_F(x_1-x_4)D_F(x_2-x_3)$$
Each term corresponds to a different pairing = different Feynman diagram!
5.2 Feynman Diagram Basics
A Feynman diagram is a pictorial representation of a term in the perturbative expansion.
Visual Elements
- β’ Lines (propagators): Connect two points, represent DF(x-y)Internal line = virtual particle, External line = real particle
- β’ Vertices: Where lines meet, represent interactionFor Οβ΄: vertex = 4 lines meeting, factor = -iΞ»
- β’ External points: Incoming/outgoing particlesWhere we measure asymptotic states
- β’ Loops: Internal closed pathsRepresent quantum fluctuations, require momentum integration
5.3 Example: Οβ΄ Theory
The interaction Lagrangian is:
In the path integral:
Expand the interaction exponential:
Order-by-Order Expansion
- Order Ξ»β°: Free theory, only propagatorsTree-level diagrams, no vertices
- Order λ¹: One vertex (4 fields meeting)First interaction correction
- Order λ²: Two vertices (8 fields total)Loop diagrams start appearing!
- Order Ξ»βΏ: n verticesHigher-order quantum corrections
5.4 Feynman Rules for Οβ΄ Theory
Position Space Rules
- External point at xi: Factor of 1
- Internal propagator: DF(x-y) for line connecting x and y
- Vertex at x: Factor of -iΞ», integrate β«dβ΄x
- Symmetry factor: Divide by S (# of equivalent diagrams)
- Multiply all factors together
Momentum Space Rules
- External line with momentum p: Factor of 1
- Internal propagator: i/(pΒ² - mΒ² + iΞ΅) for momentum p
- Vertex: Factor of -iΞ», enforce momentum conservation
- Loop with momentum k: Integrate β«dβ΄k/(2Ο)β΄
- Overall momentum conservation: (2Ο)β΄Ξ΄β΄(Ξ£pin - Ξ£pout)
- Symmetry factor: Divide by S
5.5 Symmetry Factors
The symmetry factor S counts how many ways a diagram can be drawn identically by permuting vertices and propagators.
Common Symmetry Factors
- β’ Simple Οβ΄ vertex: S = 4! = 24 (from the 1/4! in βint)
- β’ Two-point tadpole: Additional factor from loop symmetry
- β’ Figure-8 diagram: S = 2 (can flip the two loops)
- β’ General rule: S = (# of automorphisms of the diagram)
Pro tip: Symmetry factors are tricky! They arise from careful combinatorics in the Wick expansion. In practice, we often use Feynman rules that absorb these factors.
5.6 Loop Diagrams & Divergences
Loop diagrams have closed paths of internal propagators. They require integrating over loop momentum:
Problem: This integral diverges at large k! This is the famous UV divergenceof quantum field theory.
β οΈ Divergences
Loop integrals often diverge and require renormalization:
- UV divergent: Integral β as k β β (high energy)
- IR divergent: Integral β as k β 0 (low energy, massless particles)
- Solution: Regularize + Renormalize (Part VI of this course!)
π― Key Takeaways
- Wick's theorem: Time-ordered products = all full contractions
- Contraction = propagator = line in Feynman diagram
- Feynman diagrams = visual representation of perturbation theory
- Vertices = interactions, Lines = propagators, Loops = quantum corrections
- Οβ΄ theory: Each vertex = 4 lines, factor -iΞ»
- Momentum space: Assign momenta, enforce conservation, integrate over loops
- Symmetry factors: Count equivalent diagrams (tricky!)
- Loops β divergences β need renormalization
- Next: Organizing perturbation theory systematically!