35 views

Uploaded by Fahri Azhar

save

- quaternionic-electrodynamics
- Error Peskin
- 1 ve 2 çözüm katı hal
- QFT solutions (Including Peskin & Schroeder 3.1 and 3.4)
- Introduction to quantum field theory, based on the book by Peskin and Schroeder
- General Relativity Solutions to Exercises by Sergei Winitzki
- The Physics of Fluids and Plasmas
- Relativity
- Feynman - Quantum Electrodynamics
- Quantum Electrodynamics
- solutions to problems in quantum field theory
- General Relativity
- Super Symmetry and Cosmology - J
- Solution Manual for Modern Quantum Mechanics 2nd Edition by Sakurai
- ch 3
- Numerical Methods for Sign Problem in LFT
- yang1954.pdf
- Infinite Sq Well
- 9203036
- Two-Connection Renormalization and Non-Holonomic Gauge Models of Einstein Gravity
- Yang-Mills Fields and Gauge Gravity on Generalized Lagrange and Finsler Spaces
- Studies of Top Tagging Identification Methods
- Julian Schwinger Selected Papers on Quantum Electrodynamics 1958.pdf
- Yes Please
- The Unwinding: An Inner History of the New America
- Sapiens: A Brief History of Humankind
- The Innovators: How a Group of Hackers, Geniuses, and Geeks Created the Digital Revolution
- Elon Musk: Tesla, SpaceX, and the Quest for a Fantastic Future
- Dispatches from Pluto: Lost and Found in the Mississippi Delta
- Devil in the Grove: Thurgood Marshall, the Groveland Boys, and the Dawn of a New America
- John Adams
- The Prize: The Epic Quest for Oil, Money & Power
- The Emperor of All Maladies: A Biography of Cancer
- This Changes Everything: Capitalism vs. The Climate
- Grand Pursuit: The Story of Economic Genius
- A Heartbreaking Work Of Staggering Genius: A Memoir Based on a True Story
- The New Confessions of an Economic Hit Man
- Team of Rivals: The Political Genius of Abraham Lincoln
- The Hard Thing About Hard Things: Building a Business When There Are No Easy Answers
- Smart People Should Build Things: How to Restore Our Culture of Achievement, Build a Path for Entrepreneurs, and Create New Jobs in America
- Rise of ISIS: A Threat We Can't Ignore
- The World Is Flat 3.0: A Brief History of the Twenty-first Century
- Bad Feminist: Essays
- Steve Jobs
- Angela's Ashes: A Memoir
- How To Win Friends and Influence People
- Extremely Loud and Incredibly Close: A Novel
- The Sympathizer: A Novel (Pulitzer Prize for Fiction)
- The Silver Linings Playbook: A Novel
- Leaving Berlin: A Novel
- The Light Between Oceans: A Novel
- The Incarnations: A Novel
- You Too Can Have a Body Like Mine: A Novel
- The Love Affairs of Nathaniel P.: A Novel
- Life of Pi
- The Flamethrowers: A Novel
- Brooklyn: A Novel
- The Rosie Project: A Novel
- The Blazing World: A Novel
- We Are Not Ourselves: A Novel
- The First Bad Man: A Novel
- The Master
- Bel Canto
- A Man Called Ove: A Novel
- The Kitchen House: A Novel
- Beautiful Ruins: A Novel
- Interpreter of Maladies
- The Wallcreeper
- The Art of Racing in the Rain: A Novel
- Wolf Hall: A Novel
- The Cider House Rules
- A Prayer for Owen Meany: A Novel
- The Bonfire of the Vanities: A Novel
- Lovers at the Chameleon Club, Paris 1932: A Novel
- The Perks of Being a Wallflower
- The Constant Gardener: A Novel

You are on page 1of 26

Quantum Electrodynamics

In this section we ﬁnally get to quantum electrodynamics (QED), the theory of light

interacting with charged matter. Our path to quantization will be as before: we start

with the free theory of the electromagnetic ﬁeld and see how the quantum theory gives

rise to a photon with two polarization states. We then describe how to couple the

photon to fermions and to bosons.

6.1 Maxwell’s Equations

The Lagrangian for Maxwell’s equations in the absence of any sources is simply

L = −

1

4

F

µν

F

µν

(6.1)

where the ﬁeld strength is deﬁned by

F

µν

= ∂

µ

A

ν

−∂

ν

A

µ

(6.2)

The equations of motion which follow from this Lagrangian are

∂

µ

_

∂L

∂(∂

µ

A

ν

)

_

= −∂

µ

F

µν

= 0 (6.3)

Meanwhile, from the deﬁnition of F

µν

, the ﬁeld strength also satisﬁes the Bianchi

identity

∂

λ

F

µν

+ ∂

µ

F

νλ

+ ∂

ν

F

λµ

= 0 (6.4)

To make contact with the form of Maxwell’s equations you learn about in high school,

we need some 3-vector notation. If we deﬁne A

µ

= (φ,

A), then the electric ﬁeld

E and

magnetic ﬁeld

B are deﬁned by

E = −∇φ −

∂

A

∂t

and

B = ∇

A (6.5)

which, in terms of F

µν

, becomes

F

µν

=

_

0 Ex Ey Ez

−Ex 0 −Bz By

−Ey Bz 0 −Bx

−Ez −By Bx 0

_

(6.6)

The Bianchi identity (6.4) then gives two of Maxwell’s equations,

∇

B = 0 and

∂

B

∂t

= −∇

E (6.7)

– 124 –

These remain true even in the presence of electric sources. Meanwhile, the equations

of motion give the remaining two Maxwell equations,

∇

E = 0 and

∂

E

∂t

= ∇

B (6.8)

As we will see shortly, in the presence of charged matter these equations pick up extra

terms on the right-hand side.

6.1.1 Gauge Symmetry

The massless vector ﬁeld A

µ

has 4 components, which would naively seem to tell us that

the gauge ﬁeld has 4 degrees of freedom. Yet we know that the photon has only two

degrees of freedom which we call its polarization states. How are we going to resolve

this discrepancy? There are two related comments which will ensure that quantizing

the gauge ﬁeld A

µ

gives rise to 2 degrees of freedom, rather than 4.

• The ﬁeld A

0

has no kinetic term

˙

A

0

in the Lagrangian: it is not dynamical. This

means that if we are given some initial data A

i

and

˙

A

i

at a time t

0

, then the ﬁeld

A

0

is fully determined by the equation of motion ∇

**E = 0 which, expanding out,
**

reads

∇

2

A

0

+∇

∂

A

∂t

= 0 (6.9)

This has the solution

A

0

(x) =

_

d

3

x

′

(∇ ∂

A/∂t)(x

′

)

4π[x −x

′

[

(6.10)

So A

0

is not independent: we don’t get to specify A

0

on the initial time slice. It

looks like we have only 3 degrees of freedom in A

µ

rather than 4. But this is still

one too many.

• The Lagrangian (6.3) has a very large symmetry group, acting on the vector

potential as

A

µ

(x) →A

µ

(x) + ∂

µ

λ(x) (6.11)

for any function λ(x). We’ll ask only that λ(x) dies oﬀ suitably quickly at spatial

x →∞. We call this a gauge symmetry. The ﬁeld strength is invariant under the

gauge symmetry:

F

µν

→∂

µ

(A

ν

+ ∂

ν

λ) −∂

ν

(A

µ

+ ∂

µ

λ) = F

µν

(6.12)

– 125 –

So what are we to make of this? We have a theory with an inﬁnite number of

symmetries, one for each function λ(x). Previously we only encountered symme-

tries which act the same at all points in spacetime, for example ψ → e

iα

ψ for a

complex scalar ﬁeld. Noether’s theorem told us that these symmetries give rise

to conservation laws. Do we now have an inﬁnite number of conservation laws?

The answer is no! Gauge symmetries have a very diﬀerent interpretation than

the global symmetries that we make use of in Noether’s theorem. While the

latter take a physical state to another physical state with the same properties,

the gauge symmetry is to be viewed as a redundancy in our description. That is,

two states related by a gauge symmetry are to be identiﬁed: they are the same

physical state. (There is a small caveat to this statement which is explained in

Section 6.3.1). One way to see that this interpretation is necessary is to notice

that Maxwell’s equations are not suﬃcient to specify the evolution of A

µ

. The

equations read,

[η

µν

(∂

ρ

∂

ρ

) −∂

µ

∂

ν

] A

ν

= 0 (6.13)

But the operator [η

µν

(∂

ρ

∂

ρ

)−∂

µ

∂

ν

] is not invertible: it annihilates any function of

the form ∂

µ

λ. This means that given any initial data, we have no way to uniquely

determine A

µ

at a later time since we can’t distinguish between A

µ

and A

µ

+∂

µ

λ.

This would be problematic if we thought that A

µ

is a physical object. However,

if we’re happy to identify A

µ

and A

µ

+∂

µ

λ as corresponding to the same physical

state, then our problems disappear.

Since gauge invariance is a redundancy of the system,

Gauge Orbits Gauge

Fixing

Figure 29:

we might try to formulate the theory purely in terms of

the local, physical, gauge invariant objects

E and

B. This

is ﬁne for the free classical theory: Maxwell’s equations

were, after all, ﬁrst written in terms of

E and

B. But it is

not possible to describe certain quantum phenomena, such

as the Aharonov-Bohm eﬀect, without using the gauge

potential A

µ

. We will see shortly that we also require the

gauge potential to describe classically charged ﬁelds. To

describe Nature, it appears that we have to introduce quantities A

µ

that we can never

measure.

The picture that emerges for the theory of electromagnetism is of an enlarged phase

space, foliated by gauge orbits as shown in the ﬁgure. All states that lie along a given

– 126 –

line can be reached by a gauge transformation and are identiﬁed. To make progress,

we pick a representative from each gauge orbit. It doesn’t matter which representative

we pick — after all, they’re all physically equivalent. But we should make sure that we

pick a “good” gauge, in which we cut the orbits.

Diﬀerent representative conﬁgurations of a physical state are called diﬀerent gauges.

There are many possibilities, some of which will be more useful in diﬀerent situations.

Picking a gauge is rather like picking coordinates that are adapted to a particular

problem. Moreover, diﬀerent gauges often reveal slightly diﬀerent aspects of a problem.

Here we’ll look at two diﬀerent gauges:

• Lorentz Gauge: ∂

µ

A

µ

= 0

To see that we can always pick a representative conﬁguration satisfying ∂

µ

A

µ

= 0,

suppose that we’re handed a gauge ﬁeld A

′

µ

satisfying ∂

µ

(A

′

)

µ

= f(x). Then we

choose A

µ

= A

′

µ

+ ∂

µ

λ, where

∂

µ

∂

µ

λ = −f (6.14)

This equation always has a solution. In fact this condition doesn’t pick a unique

representative from the gauge orbit. We’re always free to make further gauge

transformations with ∂

µ

∂

µ

λ = 0, which also has non-trivial solutions. As the

name suggests, the Lorentz gauge

3

has the advantage that it is Lorentz invariant.

• Coulomb Gauge: ∇

A = 0

We can make use of the residual gauge transformations in Lorentz gauge to pick

∇

A = 0. (The argument is the same as before). Since A

0

is ﬁxed by (6.10), we

have as a consequence

A

0

= 0 (6.15)

(This equation will no longer hold in Coulomb gauge in the presence of charged

matter). Coulomb gauge breaks Lorentz invariance, so may not be ideal for some

purposes. However, it is very useful to exhibit the physical degrees of freedom:

the 3 components of

A satisfy a single constraint: ∇

A = 0, leaving behind just

2 degrees of freedom. These will be identiﬁed with the two polarization states of

the photon. Coulomb gauge is sometimes called radiation gauge.

3

Named after Lorenz who had the misfortune to be one letter away from greatness.

– 127 –

6.2 The Quantization of the Electromagnetic Field

In the following we shall quantize free Maxwell theory twice: once in Coulomb gauge,

and again in Lorentz gauge. We’ll ultimately get the same answers and, along the way,

see that each method comes with its own subtleties.

The ﬁrst of these subtleties is common to both methods and comes when computing

the momentum π

µ

conjugate to A

µ

,

π

0

=

∂L

∂

˙

A

0

= 0

π

i

=

∂L

∂

˙

A

i

= −F

0i

≡ E

i

(6.16)

so the momentum π

0

conjugate to A

0

vanishes. This is the mathematical consequence of

the statement we made above: A

0

is not a dynamical ﬁeld. Meanwhile, the momentum

conjugate to A

i

is our old friend, the electric ﬁeld. We can compute the Hamiltonian,

H =

_

d

3

x π

i

˙

A

i

−L

=

_

d

3

x

1

2

E

E +

1

2

B

B −A

0

(∇

E) (6.17)

So A

0

acts as a Lagrange multiplier which imposes Gauss’ law

∇

E = 0 (6.18)

which is now a constraint on the system in which

A are the physical degrees of freedom.

Let’s now see how to treat this system using diﬀerent gauge ﬁxing conditions.

6.2.1 Coulomb Gauge

In Coulomb gauge, the equation of motion for

A is

∂

µ

∂

µ

A = 0 (6.19)

which we can solve in the usual way,

A =

_

d

3

p

(2π)

3

ξ( p) e

ip·x

(6.20)

with p

2

0

= [ p[

2

. The constraint ∇

A = 0 tells us that

ξ must satisfy

ξ p = 0 (6.21)

– 128 –

which means that

ξ is perpendicular to the direction of motion p. We can pick

ξ( p) to

be a linear combination of two orthonormal vectors ǫ

r

, r = 1, 2, each of which satisﬁes

ǫ

r

( p) p = 0 and

ǫ

r

( p) ǫ

s

( p) = δ

rs

r, s = 1, 2 (6.22)

These two vectors correspond to the two polarization states of the photon. It’s worth

pointing out that you can’t consistently pick a continuous basis of polarization vectors

for every value of p because you can’t comb the hair on a sphere. But this topological

fact doesn’t cause any complications in computing QED scattering processes.

To quantize we turn the Poisson brackets into commutators. Naively we would write

[A

i

(x), A

j

(y)] = [E

i

(x), E

j

(y)] = 0

[A

i

(x), E

j

(y)] = iδ

j

i

δ

(3)

(x −y) (6.23)

But this can’t quite be right, because it’s not consistent with the constraints. We

still want to have ∇

A = ∇

E = 0, now imposed on the operators. But from the

commutator relations above, we see

[∇

A(x), ∇

E(y)] = i∇

2

δ

(3)

(x −y) ,= 0 (6.24)

What’s going on? In imposing the commutator relations (6.23) we haven’t correctly

taken into account the constraints. In fact, this is a problem already in the classical

theory, where the Poisson bracket structure is already altered

4

. The correct Poisson

bracket structure leads to an alteration of the last commutation relation,

[A

i

(x), E

j

(y)] = i

_

δ

ij

−

∂

i

∂

j

∇

2

_

δ

(3)

(x −y) (6.25)

To see that this is now consistent with the constraints, we can rewrite the right-hand

side of the commutator in momentum space,

[A

i

(x), E

j

(y)] = i

_

d

3

p

(2π)

3

_

δ

ij

−

p

i

p

j

[ p[

2

_

e

i p·(x− y)

(6.26)

which is now consistent with the constraints, for example

[∂

i

A

i

(x), E

j

(y)] = i

_

d

3

p

(2π)

3

_

δ

ij

−

p

i

p

j

[ p[

2

_

ip

i

e

i p·(x− y)

= 0 (6.27)

4

For a nice discussion of the classical and quantum dynamics of constrained systems, see the small

book by Paul Dirac, “Lectures on Quantum Mechanics”

– 129 –

We now write

A in the usual mode expansion,

A(x) =

_

d

3

p

(2π)

3

1

_

2[ p[

2

r=1

ǫ

r

( p)

_

a

r

p

e

i p·x

+ a

r †

p

e

−i p·x

_

E(x) =

_

d

3

p

(2π)

3

(−i)

_

[ p[

2

2

r=1

ǫ

r

( p)

_

a

r

p

e

i p·x

−a

r †

p

e

−i p·x

_

(6.28)

where, as before, the polarization vectors satisfy

ǫ

r

( p) p = 0 and ǫ

r

( p) ǫ

s

( p) = δ

rs

(6.29)

It is not hard to show that the commutation relations (6.25) are equivalent to the usual

commutation relations for the creation and annihilation operators,

[a

r

p

, a

s

q

] = [a

r †

p

, a

s †

q

] = 0

[a

r

p

, a

s †

q

] = (2π)

3

δ

rs

δ

(3)

( p −q) (6.30)

where, in deriving this, we need the completeness relation for the polarization vectors,

2

r=1

ǫ

i

r

( p)ǫ

j

r

( p) = δ

ij

−

p

i

p

j

[ p[

2

(6.31)

You can easily check that this equation is true by acting on both sides with a basis of

vectors (ǫ

1

( p), ǫ

2

( p), p).

We derive the Hamiltonian by substituting (6.28) into (6.17). The last term vanishes

in Coulomb gauge. After normal ordering, and playing around with ǫ

r

polarization

vectors, we get the simple expression

H =

_

d

3

p

(2π)

3

[ p[

2

r=1

a

r †

p

a

r

p

(6.32)

The Coulomb gauge has the advantage that the physical degrees of freedom are man-

ifest. However, we’ve lost all semblance of Lorentz invariance. One place where this

manifests itself is in the propagator for the ﬁelds A

i

(x) (in the Heisenberg picture). In

Coulomb gauge the propagator reads

D

tr

ij

(x −y) ≡ ¸0[ TA

i

(x)A

j

(y) [0) =

_

d

4

p

(2π)

4

i

p

2

+ iǫ

_

δ

ij

−

p

i

p

j

[ p[

2

_

e

−ip·(x−y)

(6.33)

The tr superscript on the propagator refers to the “transverse” part of the photon.

When we turn to the interacting theory, we will have to ﬁght to massage this propagator

into something a little nicer.

– 130 –

6.2.2 Lorentz Gauge

We could try to work in a Lorentz invariant fashion by imposing the Lorentz gauge

condition ∂

µ

A

µ

= 0. The equations of motion that follow from the action are then

∂

µ

∂

µ

A

ν

= 0 (6.34)

We will approach this theory a little diﬀerently from our Coulomb gauge approach. We

will change the theory so that (6.34) arise directly through the equations of motion.

We can achieve this by taking the Lagrangian

L = −

1

4

F

µν

F

µν

−

1

2

(∂

µ

A

µ

)

2

(6.35)

The equations of motion coming from this action are

∂

µ

F

µν

+ ∂

ν

(∂

µ

A

µ

) = ∂

µ

∂

µ

A

ν

= 0 (6.36)

(In fact, we could be a little more general than this, and consider the Lagrangian

L = −

1

4

F

µν

F

µν

−

1

2α

(∂

µ

A

µ

)

2

(6.37)

with arbitrary α and reach similar conclusions. The quantization of the theory is

independent of α and, rather confusingly, diﬀerent choices of α are sometimes also

referred to as diﬀerent “gauges”. We will use α = 1, which is called “Feynman gauge”.

The other common choice, α = 0, is called “Landau gauge”.)

Our plan will be to quantize the theory (6.36), and only later impose the constraint

∂

µ

A

µ

= 0 in a suitable manner on the Hilbert space of the theory. As we’ll see, we will

also have to deal with the residual gauge symmetry of this theory which will prove a

little tricky. At ﬁrst, we can proceed very easily, because both π

0

and π

i

are dynamical:

π

0

=

∂L

∂

˙

A

0

= −∂

µ

A

µ

π

i

=

∂L

∂

˙

A

i

= ∂

i

A

0

−

˙

A

i

(6.38)

Turning these classical ﬁelds into operators, we can simply impose the usual commu-

tation relations,

[A

µ

(x), A

ν

(y)] = [π

µ

(x), π

ν

(y)] = 0

[A

µ

(x), π

ν

(y)] = iη

µν

δ

(3)

(x −y) (6.39)

– 131 –

and we can make the usual expansion in terms of creation and annihilation operators

and 4 polarization vectors (ǫ

µ

)

λ

, with λ = 0, 1, 2, 3.

A

µ

(x) =

_

d

3

p

(2π)

3

1

_

2[ p[

3

λ=0

ǫ

λ

µ

( p)

_

a

λ

p

e

i p·x

+ a

λ†

p

e

−i p·x

_

π

µ

(x) =

_

d

3

p

(2π)

3

_

[ p[

2

(+i)

3

λ=0

(ǫ

µ

)

λ

( p)

_

a

λ

p

e

i p·x

−a

λ†

p

e

−i p·x

_

(6.40)

Note that the momentum π

µ

comes with a factor of (+i), rather than the familiar (−i)

that we’ve seen so far. This can be traced to the fact that the momentum (6.38) for the

classical ﬁelds takes the form π

µ

= −

˙

A

µ

+ . . .. In the Heisenberg picture, it becomes

clear that this descends to (+i) in the deﬁnition of momentum.

There are now four polarization 4-vectors ǫ

λ

( p), instead of the two polarization 3-

vectors that we met in the Coulomb gauge. Of these four 4-vectors, we pick ǫ

0

to be

timelike, while ǫ

1,2,3

are spacelike. We pick the normalization

ǫ

λ

ǫ

λ

′

= η

λλ

′

(6.41)

which also means that

(ǫ

µ

)

λ

(ǫ

ν

)

λ

′

η

λλ

′ = η

µν

(6.42)

The polarization vectors depend on the photon 4-momentum p = ([ p[, p). Of the two

spacelike polarizations, we will choose ǫ

1

and ǫ

2

to lie transverse to the momentum:

ǫ

1

p = ǫ

2

p = 0 (6.43)

The third vector ǫ

3

is the longitudinal polarization. For example, if the momentum lies

along the x

3

direction, so p ∼ (1, 0, 0, 1), then

ǫ

0

=

_

1

0

0

0

_

, ǫ

1

=

_

0

1

0

0

_

, ǫ

2

=

_

0

0

1

0

_

, ǫ

3

=

_

0

0

0

1

_

(6.44)

For other 4-momenta, the polarization vectors are the appropriate Lorentz transforma-

tions of these vectors, since (6.43) are Lorentz invariant.

We do our usual trick, and translate the ﬁeld commutation relations (6.39) into those

for creation and annihilation operators. We ﬁnd [a

λ

p

, a

λ

′

q

] = [a

λ†

p

, a

λ

′

†

q

] = 0 and

[a

λ

p

, a

λ

′

†

q

] = −η

λλ

′

(2π)

3

δ

(3)

( p −q) (6.45)

– 132 –

The minus signs here are odd to say the least! For spacelike λ = 1, 2, 3, everything

looks ﬁne,

[a

λ

p

, a

λ

′

†

q

] = δ

λλ

′

(2π)

3

δ

(3)

( p −q) λ, λ

′

= 1, 2, 3 (6.46)

But for the timelike annihilation and creation operators, we have

[a

0

p

, a

0 †

q

] = −(2π)

3

δ

(3)

( p −q) (6.47)

This is very odd! To see just how strange this is, we take the Lorentz invariant vacuum

[0) deﬁned by

a

λ

p

[0) = 0 (6.48)

Then we can create one-particle states in the usual way,

[ p, λ) = a

λ†

p

[0) (6.49)

For spacelike polarization states, λ = 1, 2, 3, all seems well. But for the timelike

polarization λ = 0, the state [ p, 0) has negative norm,

¸p, 0[ q, 0) = ¸0[ a

0

p

a

0 †

q

[0) = −(2π)

3

δ

(3)

( p −q) (6.50)

Wtf? That’s very very strange. A Hilbert space with negative norm means negative

probabilities which makes no sense at all. We can trace this negative norm back to the

wrong sign of the kinetic term for A

0

in our original Lagrangian: L = +

1

2

˙

A

2

−

1

2

˙

A

2

0

+. . ..

At this point we should remember our constraint equation, ∂

µ

A

µ

= 0, which, until

now, we’ve not imposed on our theory. This is going to come to our rescue. We will see

that it will remove the timelike, negative norm states, and cut the physical polarizations

down to two. We work in the Heisenberg picture, so that

∂

µ

A

µ

= 0 (6.51)

makes sense as an operator equation. Then we could try implementing the constraint

in the quantum theory in a number of diﬀerent ways. Let’s look at a number of

increasingly weak ways to do this

• We could ask that ∂

µ

A

µ

= 0 is imposed as an equation on operators. But this

can’t possibly work because the commutation relations (6.39) won’t be obeyed

for π

0

= −∂

µ

A

µ

. We need some weaker condition.

– 133 –

• We could try to impose the condition on the Hilbert space instead of directly

on the operators. After all, that’s where the trouble lies! We could imagine that

there’s some way to split the Hilbert space up into good states [Ψ) and bad states

that somehow decouple from the system. With luck, our bad states will include

the weird negative norm states that we’re so disgusted by. But how can we deﬁne

the good states? One idea is to impose

∂

µ

A

µ

[Ψ) = 0 (6.52)

on all good, physical states [Ψ). But this can’t work either! Again, the condition

is too strong. For example, suppose we decompose A

µ

(x) = A

+

µ

(x) +A

−

µ

(x) with

A

+

µ

(x) =

_

d

3

p

(2π)

3

1

_

2[ p[

3

λ=0

ǫ

λ

µ

a

λ

p

e

−ip·x

A

−

µ

(x) =

_

d

3

p

(2π)

3

1

_

2[ p[

3

λ=0

ǫ

λ

µ

a

λ†

p

e

+ip·x

(6.53)

Then, on the vacuum A

+

µ

[0) = 0 automatically, but ∂

µ

A

−

µ

[0) , = 0. So not even

the vacuum is a physical state if we use (6.52) as our constraint

• Our ﬁnal attempt will be the correct one. In order to keep the vacuum as a good

physical state, we can ask that physical states [Ψ) are deﬁned by

∂

µ

A

+

µ

[Ψ) = 0 (6.54)

This ensures that

¸Ψ

′

[ ∂

µ

A

µ

[Ψ) = 0 (6.55)

so that the operator ∂

µ

A

µ

has vanishing matrix elements between physical states.

Equation (6.54) is known as the Gupta-Bleuler condition. The linearity of the

constraint means that the physical states [Ψ) span a physical Hilbert space H

phys

.

So what does the physical Hilbert space H

phys

look like? And, in particular, have we

rid ourselves of those nasty negative norm states so that H

phys

has a positive deﬁnite

inner product deﬁned on it? The answer is actually no, but almost!

Let’s consider a basis of states for the Fock space. We can decompose any element

of this basis as [Ψ) = [ψ

T

) [φ), where [ψ

T

) contains only transverse photons, created by

– 134 –

a

1,2 †

p

, while [φ) contains the timelike photons created by a

0 †

p

and longitudinal photons

created by a

3 †

p

. The Gupta-Bleuler condition (6.54) requires

(a

3

p

−a

0

p

) [φ) = 0 (6.56)

This means that the physical states must contain combinations of timelike and longi-

tudinal photons. Whenever the state contains a timelike photon of momentum p, it

must also contain a longitudinal photon with the same momentum. In general [φ) will

be a linear combination of states [φ

n

) containing n pairs of timelike and longitudinal

photons, which we can write as

[φ) =

∞

n=0

C

n

[φ

n

) (6.57)

where [φ

0

) = [0) is simply the vacuum. It’s not hard to show that although the condition

(6.56) does indeed decouple the negative norm states, all the remaining states involving

timelike and longitudinal photons have zero norm

¸φ

m

[ φ

n

) = δ

n0

δ

m0

(6.58)

This means that the inner product on H

phys

is positive semi-deﬁnite. Which is an

improvement. But we still need to deal with all these zero norm states.

The way we cope with the zero norm states is to treat them as gauge equivalent

to the vacuum. Two states that diﬀer only in their timelike and longitudinal photon

content, [φ

n

) with n ≥ 1 are said to be physically equivalent. We can think of the gauge

symmetry of the classical theory as descending to the Hilbert space of the quantum

theory. Of course, we can’t just stipulate that two states are physically identical unless

they give the same expectation value for all physical observables. We can check that

this is true for the Hamiltonian, which can be easily computed to be

H =

_

d

3

p

(2π)

3

[ p[

_

3

i=1

a

i †

p

a

i

p

−a

0 †

p

a

0

p

_

(6.59)

But the condition (6.56) ensures that ¸Ψ[ a

3 †

p

a

3

p

[Ψ) = ¸Ψ[ a

0 †

p

a

0

p

[Ψ) so that the contri-

butions from the timelike and longitudinal photons cancel amongst themselves in the

Hamiltonian. This also renders the Hamiltonian positive deﬁnite, leaving us just with

the contribution from the transverse photons as we would expect.

In general, one can show that the expectation values of all gauge invariant operators

evaluated on physical states are independent of the coeﬃcients C

n

in (6.57).

– 135 –

Propagators

Finally, it’s a simple matter to compute the propagator in Lorentz gauge. It is given

by

¸0[ T A

µ

(x)A

ν

(y) [0) =

_

d

4

p

(2π)

4

−iη

µν

p

2

+ iǫ

e

−ip·(x−y)

(6.60)

This is a lot nicer than the propagator we found in Coulomb gauge: in particular, it’s

Lorentz invariant. We could also return to the Lagrangian (6.37). Had we pushed

through the calculation with arbitrary coeﬃcient α, we would ﬁnd the propagator,

¸0[ T A

µ

(x)A

ν

(y) [0) =

_

d

4

p

(2π)

4

−i

p

2

+ iǫ

_

η

µν

+ (α −1)

p

µ

p

ν

p

2

_

e

−ip·(x−y)

(6.61)

6.3 Coupling to Matter

Let’s now build an interacting theory of light and matter. We want to write down

a Lagrangian which couples A

µ

to some matter ﬁelds, either scalars or spinors. For

example, we could write something like

L = −

1

4

F

µν

F

µν

−j

µ

A

µ

(6.62)

where j

µ

is some function of the matter ﬁelds. The equations of motion read

∂

µ

F

µν

= j

ν

(6.63)

so, for consistency, we require

∂

µ

j

µ

= 0 (6.64)

In other words, j

µ

must be a conserved current. But we’ve got lots of those! Let’s look

at how we can couple two of them to electromagnetism.

6.3.1 Coupling to Fermions

The Dirac Lagrangian

L =

¯

ψ(i / ∂ −m)ψ (6.65)

has an internal symmetry ψ → e

−iα

ψ and

¯

ψ → e

+iα

¯

ψ, with α ∈ R. This gives rise to

the conserved current j

µ

V

=

¯

ψγ

µ

ψ. So we could look at the theory of electromagnetism

coupled to fermions, with the Lagrangian,

L = −

1

4

F

µν

F

µν

+

¯

ψ(i / ∂ −m)ψ −e

¯

ψγ

µ

A

µ

ψ (6.66)

– 136 –

where we’ve introduced a coupling constant e. For the free Maxwell theory, we have

seen that the existence of a gauge symmetry was crucial in order to cut down the

physical degrees of freedom to the requisite 2. Does our interacting theory above still

have a gauge symmetry? The answer is yes. To see this, let’s rewrite the Lagrangian

as

L = −

1

4

F

µν

F

µν

+

¯

ψ(i / D −m)ψ (6.67)

where D

µ

ψ = ∂

µ

ψ + ieA

µ

ψ is called the covariant derivative. This Lagrangian is

invariant under gauge transformations which act as

A

µ

→A

µ

+ ∂

µ

λ and ψ →e

−ieλ

ψ (6.68)

for an arbitrary function λ(x). The tricky term is the derivative acting on ψ, since this

will also hit the e

−ieλ

piece after the transformation. To see that all is well, let’s look

at how the covariant derivative transforms. We have

D

µ

ψ = ∂

µ

ψ + ieA

µ

ψ

→ ∂

µ

(e

−ieλ

ψ) + ie(A

µ

+ ∂

µ

λ)(e

−ieλ

ψ)

= e

−ieλ

D

µ

ψ (6.69)

so the covariant derivative has the nice property that it merely picks up a phase under

the gauge transformation, with the derivative of e

−ieλ

cancelling the transformation

of the gauge ﬁeld. This ensures that the whole Lagrangian is invariant, since

¯

ψ →

e

+ieλ(x)

¯

ψ.

Electric Charge

The coupling e has the interpretation of the electric charge of the ψ particle. This

follows from the equations of motion of classical electromagnetism ∂

µ

F

µν

= j

ν

: we

know that the j

0

component is the charge density. We therefore have the total charge

Q given by

Q = e

_

d

3

x

¯

ψ(x)γ

0

ψ(x) (6.70)

After treating this as a quantum equation, we have

Q = e

_

d

3

p

(2π)

3

2

s=1

(b

s †

p

b

s

p

−c

s †

p

c

s

p

) (6.71)

which is the number of particles, minus the number of antiparticles. Note that the

particle and the anti-particle are required by the formalism to have opposite electric

– 137 –

charge. For QED, the theory of light interacting with electrons, the electric charge

is usually written in terms of the dimensionless ratio α, known as the ﬁne structure

constant

α =

e

2

4πc

≈

1

137

(6.72)

Setting = c = 1, we have e =

√

4πα ≈ 0.3.

There’s a small subtlety here that’s worth elaborating on. I stressed that there’s a

radical diﬀerence between the interpretation of a global symmetry and a gauge symme-

try. The former takes you from one physical state to another with the same properties

and results in a conserved current through Noether’s theorem. The latter is a redun-

dancy in our description of the system. Yet in electromagnetism, the gauge symmetry

ψ →e

+ieλ(x)

ψ seems to lead to a conservation law, namely the conservation of electric

charge. This is because among the inﬁnite number of gauge symmetries parameterized

by a function λ(x), there is also a single global symmetry: that with λ(x) = constant.

This is a true symmetry of the system, meaning that it takes us to another physical

state. More generally, the subset of global symmetries from among the gauge symme-

tries are those for which λ(x) → α = constant as x → ∞. These take us from one

physical state to another.

Finally, let’s check that the 4 4 matrix C that we introduced in Section 4.5 really

deserves the name “charge conjugation matrix”. If we take the complex conjugation of

the Dirac equation, we have

(iγ

µ

∂

µ

−eγ

µ

A

µ

−m)ψ = 0 ⇒ (−i(γ

µ

)

⋆

∂

µ

−e(γ

µ

)

⋆

A

µ

−m)ψ

⋆

= 0

Now using the deﬁning equation C

†

γ

µ

C = −(γ

µ

)

⋆

, and the deﬁnition ψ

(c)

= Cψ

⋆

, we

see that the charge conjugate spinor ψ

(c)

satisﬁes

(iγ

µ

∂

µ

+ eγ

µ

A

µ

−m)ψ

(c)

= 0 (6.73)

So we see that the charge conjugate spinor ψ

(c)

satisﬁes the Dirac equation, but with

charge −e instead of +e.

6.3.2 Coupling to Scalars

For a real scalar ﬁeld, we have no suitable conserved current. This means that we can’t

couple a real scalar ﬁeld to a gauge ﬁeld.

– 138 –

Let’s now consider a complex scalar ﬁeld ϕ. (For this section, I’ll depart from our

previous notation and call the scalar ﬁeld ϕ to avoid confusing it with the spinor). We

have a symmetry ϕ → e

−iα

ϕ. We could try to couple the associated current to the

gauge ﬁeld,

L

int

= −i((∂

µ

ϕ

⋆

)ϕ −ϕ

⋆

∂

µ

ϕ)A

µ

(6.74)

But this doesn’t work because

• The theory is no longer gauge invariant

• The current j

µ

that we coupled to A

µ

depends on ∂

µ

ϕ. This means that if we

try to compute the current associated to the symmetry, it will now pick up a

contribution from the j

µ

A

µ

term. So the whole procedure wasn’t consistent.

We solve both of these problems simultaneously by remembering the covariant deriva-

tive. In this scalar theory, the combination

T

µ

ϕ = ∂

µ

ϕ + ieA

µ

ϕ (6.75)

again transforms as T

µ

ϕ → e

−ieλ

T

µ

ϕ under a gauge transformation A

µ

→ A

µ

+ ∂

µ

λ

and ϕ → e

−ieλ

ϕ. This means that we can construct a gauge invariant action for a

charged scalar ﬁeld coupled to a photon simply by promoting all derivatives to covariant

derivatives

L = −

1

4

F

µν

F

µν

+T

µ

ϕ

⋆

T

µ

ϕ −m

2

[ϕ[

2

(6.76)

In general, this trick works for any theory. If we have a U(1) symmetry that we wish to

couple to a gauge ﬁeld, we may do so by replacing all derivatives by suitable covariant

derivatives. This procedure is known as minimal coupling.

6.4 QED

Let’s now work out the Feynman rules for the full theory of quantum electrodynamics

(QED) – the theory of electrons interacting with light. The Lagrangian is

L = −

1

4

F

µν

F

µν

+

¯

ψ(i / D −m)ψ (6.77)

where D

µ

= ∂

µ

+ ieA

µ

.

The route we take now depends on the gauge choice. If we worked in Lorentz gauge

previously, then we can jump straight to Section 6.5 where the Feynman rules for QED

are written down. If, however, we worked in Coulomb gauge, then we still have a bit of

work in front of us in order to massage the photon propagator into something Lorentz

invariant. We will now do that.

– 139 –

In Coulomb gauge ∇

A = 0, the equation of motion arising from varying A

0

is now

−∇

2

A

0

= eψ

†

ψ ≡ ej

0

(6.78)

which has the solution

A

0

(x, t) = e

_

d

3

x

′

j

0

(x

′

, t)

4π[x −x

′

[

(6.79)

In Coulomb gauge we can rewrite the Maxwell part of the Lagrangian as

L

Maxwell

=

_

d

3

x

1

2

E

2

−

1

2

B

2

=

_

d

3

x

1

2

(

˙

A +∇A

0

)

2

−

1

2

B

2

=

_

d

3

x

1

2

˙

A

2

+

1

2

(∇A

0

)

2

−

1

2

B

2

(6.80)

where the cross-term has vanished using ∇

A = 0. After integrating the second term

by parts and inserting the equation for A

0

, we have

L

Maxwell

=

_

d

3

x

_

1

2

˙

A

2

−

1

2

B

2

−

e

2

2

_

d

3

x

′

j

0

(x)j

0

(x

′

)

4π[x −x

′

[

_

(6.81)

We ﬁnd ourselves with a nonlocal term in the action. This is exactly the type of

interaction that we boasted in Section 1.1.4 never arises in Nature! It appears here as

an artifact of working in Coulomb gauge: it does not mean that the theory of QED is

nonlocal. For example, it wouldn’t appear if we worked in Lorentz gauge.

We now compute the Hamiltonian. Changing notation slightly from previous chap-

ters, we have the conjugate momenta,

Π =

∂L

∂

˙

A

=

˙

A

π

ψ

=

∂L

∂

˙

ψ

= iψ

†

(6.82)

which gives us the Hamiltonian

H =

_

d

3

x

_

1

2

˙

A

2

+

1

2

B

2

+

¯

ψ(−iγ

i

∂

i

+ m)ψ −e

j

A +

e

2

2

_

d

3

x

′

j

0

(x)j

0

(x

′

)

4π[x −x

′

[

_

where

j =

¯

ψγψ and j

0

=

¯

ψγ

0

ψ.

– 140 –

6.4.1 Naive Feynman Rules

We want to determine the Feynman rules for this theory. For fermions, the rules are

the same as those given in Section 5. The new pieces are:

• We denote the photon by a wavy line. Each end of the line comes with an i, j =

1, 2, 3 index telling us the component of

A. We calculated the transverse photon

propagator in (6.33): it is and contributes D

tr

ij

=

i

p

2

+ iǫ

_

δ

ij

−

p

i

p

j

[ p[

2

_

• The vertex contributes −ieγ

i

. The index on γ

i

contracts with the

index on the photon line.

• The non-local interaction which, in position space, is given by

x y

contributes a factor of

i(eγ

0

)

2

δ(x

0

−y

0

)

4π[x −y[

These Feynman rules are rather messy. This is the price we’ve paid for working in

Coulomb gauge. We’ll now show that we can massage these expressions into something

much more simple and Lorentz invariant. Let’s start with the oﬀending instantaneous

interaction. Since it comes from the A

0

component of the gauge ﬁeld, we could try to

redeﬁne the propagator to include a D

00

piece which will capture this term. In fact, it

ﬁts quite nicely in this form: if we look in momentum space, we have

δ(x

0

−y

0

)

4π[x −y[

=

_

d

4

p

(2π)

4

e

ip·(x−y)

[ p[

2

(6.83)

so we can combine the non-local interaction with the transverse photon propagator by

deﬁning a new photon propagator

D

µν

(p) =

_

¸

¸

¸

¸

_

¸

¸

¸

¸

_

+

i

[ p[

2

µ, ν = 0

i

p

2

+ iǫ

_

δ

ij

−

p

i

p

j

[ p[

2

_

µ = i ,= 0, ν = j ,= 0

0 otherwise

(6.84)

With this propagator, the wavy photon line now carries a µ, ν = 0, 1, 2, 3 index, with

the extra µ = 0 component taking care of the instantaneous interaction. We now need

to change our vertex slightly: the −ieγ

i

above gets replaced by −ieγ

µ

which correctly

accounts for the (eγ

0

)

2

piece in the instantaneous interaction.

– 141 –

The D

00

piece of the propagator doesn’t look a whole lot diﬀerent from the transverse

photon propagator. But wouldn’t it be nice if they were both part of something more

symmetric! In fact, they are. We have the following:

Claim: We can replace the propagator D

µν

(p) with the simpler, Lorentz invariant

propagator

D

µν

(p) = −i

η

µν

p

2

(6.85)

Proof: There is a general proof using current conservation. Here we’ll be more pedes-

trian and show that we can do this for certain Feynman diagrams. In particular, we

focus on a particular tree-level diagram that contributes to e

−

e

−

→e

−

e

−

scattering,

/

q

p

/

p

q

∼ e

2

[¯ u(p

′

)γ

µ

u(p)] D

µν

(k) [¯ u(q

′

)γ

ν

u(q)] (6.86)

where k = p −p

′

= q

′

−q. Recall that u( p) satisﬁes the equation

( / p −m)u( p) = 0 (6.87)

Let’s deﬁne the spinor contractions α

µ

= ¯ u( p

′

)γ

µ

u( p) and β

ν

= ¯ u(q

′

)γ

ν

u(q). Then

since k = p −p

′

= q

′

−q, we have

k

µ

α

µ

= ¯ u( p

′

)( / p − / p

′

)u( p) = ¯ u( p

′

)(m−m)u( p) = 0 (6.88)

and, similarly, k

ν

β

ν

= 0. Using this fact, the diagram can be written as

α

µ

D

µν

β

ν

= i

_

α

β

k

2

−

( α

k)(

β

k)

k

2

[

k[

2

+

α

0

β

0

[

k[

2

_

= i

_

α

β

k

2

−

k

2

0

α

0

β

0

k

2

[

k[

2

+

α

0

β

0

[

k[

2

_

= −

_

α

β

k

2

−

1

k

2

[

k[

2

(k

2

0

−k

2

) α

0

β

0

_

= −

i

k

2

α β = α

µ

_

−

iη

µν

k

2

_

β

ν

(6.89)

– 142 –

which is the claimed result. You can similarly check that the same substitution is legal

in the diagram

p

q

p

q

/

/

∼ e

2

[¯ v(q)γ

µ

u( p)]D

µν

(k)[¯ u( p

′

)γ

ν

v(q

′

)] (6.90)

In fact, although we won’t show it here, it’s a general fact that in every Feynman dia-

gram we may use the very nice, Lorentz invariant propagator D

µν

= −iη

µν

/p

2

.

Note: This is the propagator we found when quantizing in Lorentz gauge (using the

Feynman gauge parameter). In general, quantizing the Lagrangian (6.37) in Lorentz

gauge, we have the propagator

D

µν

= −

i

p

2

_

η

µν

+ (α −1)

p

µ

p

ν

p

2

_

(6.91)

Using similar arguments to those given above, you can show that the p

µ

p

ν

/p

2

term

cancels in all diagrams. For example, in the following diagrams the p

µ

p

ν

piece of the

propagator contributes as

∼ ¯ u(p

′

)γ

µ

u(p) k

µ

= ¯ u(p

′

)( / p − / p

′

)u(p) = 0

∼ ¯ v(p)γ

µ

u(q) k

µ

= ¯ u(p)( / p + / q

′

)u(q) = 0 (6.92)

6.5 Feynman Rules

Finally, we have the Feynman rules for QED. For vertices and internal lines, we write

• Vertex: −ieγ

µ

• Photon Propagator: −

iη

µν

p

2

+ iǫ

• Fermion Propagator:

i( / p + m)

p

2

−m

2

+ iǫ

For external lines in the diagram, we attach

• Photons: We add a polarization vector ǫ

µ

in

/ǫ

µ

out

for incoming/outgoing photons.

In Coulomb gauge, ǫ

0

= 0 and ǫ p = 0.

• Fermions: We add a spinor u

r

( p)/¯ u

r

( p) for incoming/outgoing fermions. We add

a spinor ¯ v

r

( p)/v

r

( p) for incoming/outgoing anti-fermions.

– 143 –

6.5.1 Charged Scalars

“Pauli asked me to calculate the cross section for pair creation of scalar

particles by photons. It was only a short time after Bethe and Heitler

had solved the same problem for electrons and positrons. I met Bethe

in Copenhagen at a conference and asked him to tell me how he did the

calculations. I also inquired how long it would take to perform this task;

he answered, “It would take me three days, but you will need about three

weeks.” He was right, as usual; furthermore, the published cross sections

were wrong by a factor of four.”

Viki Weisskopf

The interaction terms in the Lagrangian for charged scalars come from the covariant

derivative terms,

L = T

µ

ψ

†

T

µ

ψ = ∂

µ

ψ

†

∂

µ

ψ −ieA

µ

(ψ

†

∂

µ

ψ −ψ∂

µ

ψ

†

) + e

2

A

µ

A

µ

ψ

†

ψ (6.93)

This gives rise to two interaction vertices. But the cubic vertex is something we haven’t

seen before: it contains kinetic terms. How do these appear in the Feynman rules?

After a Fourier transform, the derivative term means that the interaction is stronger

for fermions with higher momentum, so we include a momentum factor in the Feynman

rule. There is also a second, “seagull” graph. The two Feynman rules are

p

q

−ie(p + q)

µ

and + 2ie

2

η

µν

The factor of two in the seagull diagram arises because of the two identical particles

appearing in the vertex. (It’s the same reason that the 1/4! didn’t appear in the

Feynman rules for φ

4

theory).

6.6 Scattering in QED

Let’s now calculate some amplitudes for various processes in quantum electrodynamics,

with a photon coupled to a single fermion. We will consider the analogous set of

processes that we saw in Section 3 and Section 5. We have

– 144 –

Electron Scattering

Electron scattering e

−

e

−

→ e

−

e

−

is described by the two leading order Feynman dia-

grams, given by

/ /

q,r

p,s

p,s

/

q,r

/

+

p,s

/ /

/ /

q,r

q,r

p,s

= −i(−ie)

2

_

[¯ u

s

′

( p

′

)γ

µ

u

s

( p)] [¯ u

r

′

(q

′

)γ

µ

u

r

(q)]

(p

′

−p)

2

−

[¯ u

s

′

( p

′

)γ

µ

u

r

(q)] [¯ u

r

′

(q

′

)γ

µ

u

s

( p)]

(p −q

′

)

2

_

The overall −i comes from the −iη

µν

in the propagator, which contract the indices on

the γ-matrices (remember that it’s really positive for µ, ν = 1, 2, 3).

Electron Positron Annihilation

Let’s now look at e

−

e

+

→ 2γ, two gamma rays. The two lowest order Feynman

diagrams are,

p

/

/

q

q,r

p,s

ε

ε

µ

2

ν

1

+

ε1

ν

p

/

ε

µ

2

/

q

q,r

p,s

= i(−ie)

2

¯ v

r

(q)

_

γ

µ

( / p − / p

′

+ m)γ

ν

(p −p

′

)

2

−m

2

+

γ

ν

( / p − / q

′

+ m)γ

µ

(p −q

′

)

2

−m

2

_

u

s

( p)ǫ

ν

1

( p

′

)ǫ

µ

2

(q

′

)

Electron Positron Scattering

For e

−

e

+

→ e

−

e

+

scattering (sometimes known as Bhabha scattering) the two lowest

order Feynman diagrams are

/ /

q,r

p,s

p,s

/

q,r

/

+

p,s

/ /

/ /

q,r

p,s

q,r

= −i(−ie)

2

_

−

[¯ u

s

′

( p

′

)γ

µ

u

s

( p)] [¯ v

r

(q)γ

µ

v

r

′

(q

′

)]

(p −p

′

)

2

+

[¯ v

r

(q)γ

µ

u

s

( p)] [¯ u

s

′

( p

′

)γ

µ

v

r

′

(q

′

)]

(p + q)

2

_

Compton Scattering

The scattering of photons (in particular x-rays) oﬀ electrons e

−

γ → e

−

γ is known

as Compton scattering. Historically, the change in wavelength of the photon in the

– 145 –

scattering process was one of the conclusive pieces of evidence that light could behave

as a particle. The amplitude is given by,

out

ε

/

q

ε

in

q ( ) (

)

u(p) u(p)

/ −

+

ε

in

q) ( out

ε

/

q

( )

u(p) u(p)

/ −

= i(−ie)

2

¯ u

r

′

( p

′

)

_

γ

µ

( / p + / q + m)γ

ν

(p + q)

2

−m

2

+

γ

ν

( / p − / q

′

+ m)γ

µ

(p −q

′

)

2

−m

2

_

u

s

( p) ǫ

ν

in

ǫ

µ

out

This amplitude vanishes for longitudinal photons. For example, suppose ǫ

in

∼ q. Then,

using momentum conservation p + q = p

′

+ q

′

, we may write the amplitude as

i/ = i(−ie)

2

¯ u

r

′

( p

′

)

_

/ ǫ

out

( / p + / q + m) / q

(p + q)

2

−m

2

+

/ q( / p

′

− / q + m) / ǫ

out

(p

′

−q)

2

−m

2

_

u

s

( p)

= i(−ie)

2

¯ u

r

′

( p

′

) / ǫ

out

u

s

( p)

_

2p q

(p + q)

2

−m

2

+

2p

′

q

(p

′

−q)

2

−m

2

_

(6.94)

where, in going to the second line, we’ve performed some γ-matrix manipulations,

and invoked the fact that q is null, so / q / q = 0, together with the spinor equations

( / p−m)u( p) and ¯ u( p

′

)( / p

′

−m) = 0. We now recall the fact that q is a null vector, while

p

2

= (p

′

)

2

= m

2

since the external legs are on mass-shell. This means that the two

denominators in the amplitude read (p+q)

2

−m

2

= 2pq and (p

′

−q)−m

2

= −2p

′

q. This

ensures that the combined amplitude vanishes for longitudinal photons as promised. A

similar result holds when / ǫ

out

∼ q

′

.

Photon Scattering

In QED, photons no longer pass through each other unimpeded.

Figure 30:

At one-loop, there is a diagram which leads to photon scattering.

Although naively logarithmically divergent, the diagram is actually

rendered ﬁnite by gauge invariance.

Adding Muons

Adding a second fermion into the mix, which we could identify as a

muon, new processes become possible. For example, we can now have processes such

as e

−

µ

−

→e

−

µ

−

scattering, and e

+

e

−

annihilation into a muon anti-muon pair. Using

our standard notation of p and q for incoming momenta, and p

′

and q

′

for outgoing

– 146 –

momenta, we have the amplitudes given by

µ

−

µ

−

e

−

e

−

∼

1

(p −p

′

)

2

and

µ

µ

e

e

−

+ +

−

∼

1

(p + q)

2

(6.95)

6.6.1 The Coulomb Potential

We’ve come a long way. We’ve understood how to compute quantum amplitudes in

a large array of ﬁeld theories. To end this course, we use our newfound knowledge to

rederive a result you learnt in kindergarten: Coulomb’s law.

To do this, we repeat our calculation that led us to the Yukawa force in Sections

3.5.2 and 5.7.2. We start by looking at e

−

e

−

→e

−

e

−

scattering. We have

/ /

q,r

p,s

p,s

/

q,r

/

= −i(−ie)

2

[¯ u( p

′

)γ

µ

u( p)] [¯ u(q

′

)γ

µ

u(q)]

(p

′

−p)

2

(6.96)

Following (5.49), the non-relativistic limit of the spinor is u(p) →

√

m

_

ξ

ξ

_

. This

means that the γ

0

piece of the interaction gives a term ¯ u

s

( p)γ

0

u

r

(q) → 2mδ

rs

, while

the spatial γ

i

, i = 1, 2, 3 pieces vanish in the non-relativistic limit: ¯ u

s

( p)γ

i

u

r

(q) → 0.

Comparing the scattering amplitude in this limit to that of non-relativistic quantum

mechanics, we have the eﬀective potential between two electrons given by,

U(r) = +e

2

_

d

3

p

(2π)

3

e

i p·r

[ p[

2

= +

e

2

4πr

(6.97)

We ﬁnd the familiar repulsive Coulomb potential. We can trace the minus sign that

gives a repulsive potential to the fact that only the A

0

component of the intermediate

propagator ∼ −iη

µν

contributes in the non-relativistic limit.

For e

−

e

+

→e

−

e

+

scattering, the amplitude is

/ /

q,r

p,s

p,s

/

q,r

/

= +i(−ie)

2

[¯ u( p

′

)γ

µ

u( p)] [¯ v(q

′

)γ

µ

v(q)]

(p

′

−p)

2

(6.98)

– 147 –

The overall + sign comes from treating the fermions correctly: we saw the same minus

sign when studying scattering in Yukawa theory. The diﬀerence now comes from looking

at the non-relativistic limit. We have ¯ vγ

0

v → 2m, giving us the potential between

opposite charges,

U(r) = −e

2

_

d

3

p

(2π)

3

e

i p·r

[ p[

2

= −

e

2

4πr

(6.99)

Reassuringly, we ﬁnd an attractive force between an electron and positron. The diﬀer-

ence from the calculation of the Yukawa force comes again from the zeroth component

of the gauge ﬁeld, this time in the guise of the γ

0

sandwiched between ¯ vγ

0

v → 2m,

rather than the ¯ vv →−2m that we saw in the Yukawa case.

The Coulomb Potential for Scalars

There are many minus signs in the above calculation which somewhat obscure the

crucial one which gives rise to the repulsive force. A careful study reveals the oﬀending

sign to be that which sits in front of the A

0

piece of the photon propagator −iη

µν

/p

2

.

Note that with our signature (+−−−), the propagating A

i

have the correct sign, while

A

0

comes with the wrong sign. This is simpler to see in the case of scalar QED, where

we don’t have to worry about the gamma matrices. From the Feynman rules of Section

6.5.1, we have the non-relativistic limit of scalar e

−

e

−

scattering,

/ /

q,r

p,s

p,s

/

q,r

/

= −iη

µν

(−ie)

2

(p + p

′

)

µ

(q + q

′

)

ν

(p

′

−p)

2

→ −i(−ie)

2

(2m)

2

−( p −p

′

)

2

where the non-relativistic limit in the numerator involves (p+p

′

) (q+q

′

) ≈ (p+p

′

)

0

(q+

q

′

)

0

≈ (2m)

2

and is responsible for selecting the A

0

part of the photon propagator rather

than the A

i

piece. This shows that the Coulomb potential for spin 0 particles of the

same charge is again repulsive, just as it is for fermions. For e

−

e

+

scattering, the

amplitude picks up an extra minus sign because the arrows on the legs of the Feynman

rules in Section 6.5.1 are correlated with the momentum arrows. Flipping the arrows

on one pair of legs in the amplitude introduces the relevant minus sign to ensure that

the non-relativistic potential between e

−

e

+

is attractive as expected.

– 148 –

6.7 Afterword

In this course, we have laid the foundational framework for quantum ﬁeld theory. Most

of the developments that we’ve seen were already in place by the middle of the 1930s,

pioneered by people such as Jordan, Dirac, Heisenberg, Pauli and Weisskopf

5

.

Yet by the end of the 1930s, physicists were ready to give up on quantum ﬁeld theory.

The diﬃculty lies in the next terms in perturbation theory. These are the terms that

correspond to Feynamn diagrams with loops in them, which we have scrupulously

avoided computing in this course. The reason we’ve avoided them is because they

typically give inﬁnity! And, after ten years of trying, and failing, to make sense of this,

the general feeling was that one should do something else. This from Dirac in 1937,

Because of its extreme complexity, most physicists will be glad to see the

end of QED

But the leading ﬁgures of the day gave up too soon. It took a new generation of postwar

physicists — people like Schwinger, Feynman, Tomonaga and Dyson — to return to

quantum ﬁeld theory and tame the inﬁnities. The story of how they did that will be

told in next term’s course.

5

For more details on the history of quantum ﬁeld theory, see the excellent book “QED and the

Men who Made it” by Sam Schweber.

– 149 –

These remain true even in the presence of electric sources. Meanwhile, the equations of motion give the remaining two Maxwell equations, ∇·E =0 and ∂E =∇×B ∂t (6.8)

As we will see shortly, in the presence of charged matter these equations pick up extra terms on the right-hand side. 6.1.1 Gauge Symmetry The massless vector ﬁeld Aµ has 4 components, which would naively seem to tell us that the gauge ﬁeld has 4 degrees of freedom. Yet we know that the photon has only two degrees of freedom which we call its polarization states. How are we going to resolve this discrepancy? There are two related comments which will ensure that quantizing the gauge ﬁeld Aµ gives rise to 2 degrees of freedom, rather than 4. ˙ • The ﬁeld A0 has no kinetic term A0 in the Lagrangian: it is not dynamical. This ˙ means that if we are given some initial data Ai and Ai at a time t0 , then the ﬁeld A0 is fully determined by the equation of motion ∇ · E = 0 which, expanding out, reads ∇2 A0 + ∇ · This has the solution A0 (x) = d3 x′ (∇ · ∂ A/∂t)(x ′ ) 4π|x − x ′ | (6.10) ∂A =0 ∂t (6.9)

So A0 is not independent: we don’t get to specify A0 on the initial time slice. It looks like we have only 3 degrees of freedom in Aµ rather than 4. But this is still one too many. • The Lagrangian (6.3) has a very large symmetry group, acting on the vector potential as Aµ (x) → Aµ (x) + ∂µ λ(x) (6.11)

for any function λ(x). We’ll ask only that λ(x) dies oﬀ suitably quickly at spatial x → ∞. We call this a gauge symmetry. The ﬁeld strength is invariant under the gauge symmetry: Fµν → ∂µ (Aν + ∂ν λ) − ∂ν (Aµ + ∂µ λ) = Fµν (6.12)

– 125 –

All states that lie along a given – 126 – . Noether’s theorem told us that these symmetries give rise to conservation laws. Previously we only encountered symmetries which act the same at all points in spacetime. That is. Do we now have an inﬁnite number of conservation laws? The answer is no! Gauge symmetries have a very diﬀerent interpretation than the global symmetries that we make use of in Noether’s theorem. One way to see that this interpretation is necessary is to notice that Maxwell’s equations are not suﬃcient to specify the evolution of Aµ . it appears that we have to introduce quantities Aµ that we can never measure.13) But the operator [ηµν (∂ ρ ∂ρ )−∂µ ∂ν ] is not invertible: it annihilates any function of the form ∂µ λ. without using the gauge potential Aµ . two states related by a gauge symmetry are to be identiﬁed: they are the same physical state. for example ψ → eiα ψ for a complex scalar ﬁeld. To describe Nature. [ηµν (∂ ρ ∂ρ ) − ∂µ ∂ν ] Aν = 0 (6. we have no way to uniquely determine Aµ at a later time since we can’t distinguish between Aµ and Aµ + ∂µ λ. one for each function λ(x). ﬁrst written in terms of E and B. This means that given any initial data. such as the Aharonov-Bohm eﬀect. if we’re happy to identify Aµ and Aµ + ∂µ λ as corresponding to the same physical state. gauge invariant objects E and B. The picture that emerges for the theory of electromagnetism is of an enlarged phase space. Since gauge invariance is a redundancy of the system. Gauge Orbits Gauge Fixing we might try to formulate the theory purely in terms of the local. We will see shortly that we also require the Figure 29: gauge potential to describe classically charged ﬁelds. (There is a small caveat to this statement which is explained in Section 6. after all. foliated by gauge orbits as shown in the ﬁgure. This is ﬁne for the free classical theory: Maxwell’s equations were. However. the gauge symmetry is to be viewed as a redundancy in our description. The equations read. physical. But it is not possible to describe certain quantum phenomena.1).3.So what are we to make of this? We have a theory with an inﬁnite number of symmetries. While the latter take a physical state to another physical state with the same properties. This would be problematic if we thought that Aµ is a physical object. then our problems disappear.

line can be reached by a gauge transformation and are identiﬁed. which also has non-trivial solutions. Picking a gauge is rather like picking coordinates that are adapted to a particular problem. Coulomb gauge is sometimes called radiation gauge. we have as a consequence A0 = 0 (6. where ∂µ ∂ µ λ = −f (6. To make progress. Coulomb gauge breaks Lorentz invariance. Here we’ll look at two diﬀerent gauges: • Lorentz Gauge: ∂µ Aµ = 0 To see that we can always pick a representative conﬁguration satisfying ∂µ Aµ = 0. so may not be ideal for some purposes. But we should make sure that we pick a “good” gauge. they’re all physically equivalent. Diﬀerent representative conﬁgurations of a physical state are called diﬀerent gauges. In fact this condition doesn’t pick a unique representative from the gauge orbit. Since A0 is ﬁxed by (6. 3 Named after Lorenz who had the misfortune to be one letter away from greatness. It doesn’t matter which representative we pick — after all.14) This equation always has a solution.15) (This equation will no longer hold in Coulomb gauge in the presence of charged matter). the Lorentz gauge3 has the advantage that it is Lorentz invariant. (The argument is the same as before). • Coulomb Gauge: ∇ · A = 0 We can make use of the residual gauge transformations in Lorentz gauge to pick ∇ · A = 0. There are many possibilities. some of which will be more useful in diﬀerent situations. These will be identiﬁed with the two polarization states of the photon. it is very useful to exhibit the physical degrees of freedom: the 3 components of A satisfy a single constraint: ∇ · A = 0. We’re always free to make further gauge transformations with ∂µ ∂ µ λ = 0. Then we ′ choose Aµ = Aµ + ∂µ λ.10). – 127 – . we pick a representative from each gauge orbit. However. Moreover. in which we cut the orbits. leaving behind just 2 degrees of freedom. As the name suggests. diﬀerent gauges often reveal slightly diﬀerent aspects of a problem. suppose that we’re handed a gauge ﬁeld A′µ satisfying ∂µ (A′ )µ = f (x).

π0 = ∂L =0 ˙ ∂ A0 ∂L πi = = −F 0i ≡ E i ˙i ∂A (6. We can compute the Hamiltonian. see that each method comes with its own subtleties. This is the mathematical consequence of the statement we made above: A0 is not a dynamical ﬁeld.16) so the momentum π 0 conjugate to A0 vanishes. Let’s now see how to treat this system using diﬀerent gauge ﬁxing conditions.2.19) with p2 = |p|2 .20) (6. The ﬁrst of these subtleties is common to both methods and comes when computing the momentum π µ conjugate to Aµ . along the way. H = = ˙ d3 x π i Ai − L 1 1 d3 x 2 E · E + 2 B · B − A0 (∇ · E) (6.2 The Quantization of the Electromagnetic Field In the following we shall quantize free Maxwell theory twice: once in Coulomb gauge. 6.6.21) – 128 – . the electric ﬁeld.1 Coulomb Gauge In Coulomb gauge. and again in Lorentz gauge. We’ll ultimately get the same answers and.17) So A0 acts as a Lagrange multiplier which imposes Gauss’ law ∇·E =0 (6. A= d3 p ξ(p) eip·x (2π)3 (6. the equation of motion for A is ∂µ ∂ µ A = 0 which we can solve in the usual way. Meanwhile. The constraint ∇ · A = 0 tells us that ξ must satisfy 0 ξ·p=0 (6. the momentum conjugate to Ai is our old friend.18) which is now a constraint on the system in which A are the physical degrees of freedom.

∇ · E(y)] = i∇2 δ (3) (x − y) = 0 (6. E j (y)] = iδi δ (3) (x − y) (6. we can rewrite the right-hand side of the commutator in momentum space. each of which satisﬁes ǫr (p) · p = 0 and ǫr (p) · ǫs (p) = δrs r. Ej (y)] = i 4 d3 p (2π)3 δij − pi pj |p| 2 ipi eip·(x−y) = 0 (6.22) These two vectors correspond to the two polarization states of the photon. We can pick ξ(p) to be a linear combination of two orthonormal vectors ǫr .25) To see that this is now consistent with the constraints. r = 1. [Ai (x). We still want to have ∇ · A = ∇ · E = 0. where the Poisson bracket structure is already altered4 . E j (y)] = 0 j [Ai (x). for example [∂i Ai (x). because it’s not consistent with the constraints.24) What’s going on? In imposing the commutator relations (6. see the small book by Paul Dirac. Ej (y)] = i δij − ∂i ∂j ∇2 δ (3) (x − y) (6. Naively we would write [Ai (x). In fact. we see [∇ · A(x).23) But this can’t quite be right. The correct Poisson bracket structure leads to an alteration of the last commutation relation. Ej (y)] = i d3 p (2π)3 δij − pi pj |p| 2 eip·(x−y) (6. But from the commutator relations above.23) we haven’t correctly taken into account the constraints.which means that ξ is perpendicular to the direction of motion p. To quantize we turn the Poisson brackets into commutators. [Ai (x). this is a problem already in the classical theory. s = 1.26) which is now consistent with the constraints. 2 (6. “Lectures on Quantum Mechanics” – 129 – .27) For a nice discussion of the classical and quantum dynamics of constrained systems. 2. now imposed on the operators. It’s worth pointing out that you can’t consistently pick a continuous basis of polarization vectors for every value of p because you can’t comb the hair on a sphere. Aj (y)] = [E i (x). But this topological fact doesn’t cause any complications in computing QED scattering processes.

we’ve lost all semblance of Lorentz invariance. The last term vanishes in Coulomb gauge. ǫ2 (p). In Coulomb gauge the propagator reads tr Dij (x − y) ≡ 0| T Ai (x)Aj (y) |0 = d4 p i (2π)4 p2 + iǫ δij − pi pj |p|2 e−ip·(x−y) (6. However. the polarization vectors satisfy ǫr (p) · p = 0 and ǫr (p) · ǫs (p) = δrs (6.31) You can easily check that this equation is true by acting on both sides with a basis of vectors (ǫ1 (p). aq † ] = 0 s r [ap .29) It is not hard to show that the commutation relations (6. we need the completeness relation for the polarization vectors. We derive the Hamiltonian by substituting (6.25) are equivalent to the usual commutation relations for the creation and annihilation operators. 2 r=1 ǫi (p)ǫj (p) = δ ij − r r pi pj |p| 2 (6.32) The Coulomb gauge has the advantage that the physical degrees of freedom are manifest. r s r s [ap . as before.33) The tr superscript on the propagator refers to the “transverse” part of the photon. we will have to ﬁght to massage this propagator into something a little nicer. aq ] = [ap † . we get the simple expression H= d3 p |p| (2π)3 2 r r ap † ap r=1 (6. in deriving this.30) where. – 130 – . A(x) = E(x) = d3 p (2π)3 3 1 2|p| 2 r r ǫr (p) ap eip·x + ap † e−ip·x r=1 dp (−i) (2π)3 |p| 2 2 r r ǫr (p) ap eip·x − ap † e−ip·x (6.28) r=1 where.17). aq † ] = (2π)3 δ rs δ (3) (p − q) (6. p).28) into (6. When we turn to the interacting theory. After normal ordering.We now write A in the usual mode expansion. One place where this manifests itself is in the propagator for the ﬁelds Ai (x) (in the Heisenberg picture). and playing around with ǫr polarization vectors.

37) with arbitrary α and reach similar conclusions. α = 0. The equations of motion that follow from the action are then ∂µ ∂ µ Aν = 0 (6. we could be a little more general than this.2 Lorentz Gauge We could try to work in a Lorentz invariant fashion by imposing the Lorentz gauge condition ∂µ Aµ = 0.6.34) We will approach this theory a little diﬀerently from our Coulomb gauge approach. is called “Landau gauge”. we will also have to deal with the residual gauge symmetry of this theory which will prove a little tricky.38) Turning these classical ﬁelds into operators. which is called “Feynman gauge”. We will use α = 1. [Aµ (x). and consider the Lagrangian 1 L = − 4 Fµν F µν − 1 (∂µ Aµ )2 2α (6. We can achieve this by taking the Lagrangian 1 1 L = − Fµν F µν − (∂µ Aµ )2 4 2 The equations of motion coming from this action are ∂µ F µν + ∂ ν (∂µ Aµ ) = ∂µ ∂ µ Aν = 0 (6. and only later impose the constraint ∂µ Aµ = 0 in a suitable manner on the Hilbert space of the theory.35) (In fact. because both π 0 and π i are dynamical: π0 = ∂L = −∂µ Aµ ˙ ∂ A0 ∂L ˙ πi = = ∂ i A0 − Ai ˙i ∂A (6.36) (6. The other common choice. We will change the theory so that (6. As we’ll see. π ν (y)] = 0 [Aµ (x). The quantization of the theory is independent of α and. At ﬁrst.34) arise directly through the equations of motion. diﬀerent choices of α are sometimes also referred to as diﬀerent “gauges”. we can simply impose the usual commutation relations.36). πν (y)] = iηµν δ (3) (x − y) (6. rather confusingly. Aν (y)] = [π µ (x). we can proceed very easily.2.39) – 131 – .) Our plan will be to quantize the theory (6.

Aµ (x) = π (x) = µ d3 p (2π)3 dp (2π)3 3 1 2|p| 3 λ λ ǫλ (p) ap eip·x + ap † e−ip·x µ λ=0 3 λ λ (ǫµ )λ (p) ap eip·x − ap † e−ip·x |p| (+i) 2 (6.40) λ=0 Note that the momentum π µ comes with a factor of (+i). This can be traced to the fact that the momentum (6. 1. 2. with λ = 0. 0. while ǫ1. then 1 0 0 0 ǫ = 0 0 0 0 . aq † ] = 0 and λ λ [ap . We pick the normalization ǫλ · ǫλ = η λλ which also means that (ǫµ )λ (ǫν )λ ηλλ′ = ηµν ′ ′ ′ (6. ǫ = 1 1 0 0 .2. so p ∼ (1. and translate the ﬁeld commutation relations (6. . Of the two spacelike polarizations. the polarization vectors are the appropriate Lorentz transformations of these vectors. 0. aq † ] = −η λλ (2π)3 δ (3) (p − q) ′ ′ (6. instead of the two polarization 3vectors that we met in the Coulomb gauge. rather than the familiar (−i) that we’ve seen so far. p).41) (6. ǫ = 2 0 1 0 .45) – 132 – . 3. We ﬁnd [ap .and we can make the usual expansion in terms of creation and annihilation operators and 4 polarization vectors (ǫµ )λ . it becomes clear that this descends to (+i) in the deﬁnition of momentum.43) The third vector ǫ3 is the longitudinal polarization.42) The polarization vectors depend on the photon 4-momentum p = (|p|.3 are spacelike. if the momentum lies along the x3 direction.43) are Lorentz invariant. ǫ = 3 0 0 1 (6. .39) into those λ λ′ λ λ′ for creation and annihilation operators. we will choose ǫ1 and ǫ2 to lie transverse to the momentum: ǫ1 · p = ǫ2 · p = 0 (6. aq ] = [ap † . we pick ǫ0 to be timelike. There are now four polarization 4-vectors ǫλ (p). We do our usual trick.. since (6. Of these four 4-vectors. 1).38) for the ˙ classical ﬁelds takes the form π µ = −Aµ + . For example. In the Heisenberg picture.44) For other 4-momenta.

0 has negative norm. λ λ [ap . λ |p. – 133 – . 2.51) makes sense as an operator equation.The minus signs here are odd to say the least! For spacelike λ = 1. 3 (6. 2. We will see that it will remove the timelike. λ = 1. aq † ] = δ λλ (2π)3 δ (3) (p − q) ′ ′ λ. Let’s look at a number of increasingly weak ways to do this • We could ask that ∂µ Aµ = 0 is imposed as an equation on operators.47) This is very odd! To see just how strange this is. 3. aq † ] = −(2π)3 δ (3) (p − q) (6.48) Then we can create one-particle states in the usual way. which. the state |p. 0| q.. and cut the physical polarizations down to two.46) But for the timelike annihilation and creation operators. so that ∂µ Aµ = 0 (6. . 0 = 0| ap aq † |0 = −(2π)3 δ (3) (p − q) (6.50) Wtf? That’s very very strange. We can trace this negative norm back to the ˙ 1 ˙ wrong sign of the kinetic term for A0 in our original Lagrangian: L = + 1 A2 − 2 A2 +.49) For spacelike polarization states. We need some weaker condition. we take the Lorentz invariant vacuum |0 deﬁned by λ ap |0 = 0 (6. all seems well. we have 0 0 [ap . But for the timelike polarization λ = 0. ∂µ Aµ = 0. negative norm states. until now. 0 0 p. We work in the Heisenberg picture. This is going to come to our rescue. 0 2 At this point we should remember our constraint equation. 3. 2. everything looks ﬁne. But this can’t possibly work because the commutation relations (6. A Hilbert space with negative norm means negative probabilities which makes no sense at all. .39) won’t be obeyed for π 0 = −∂µ Aµ . Then we could try implementing the constraint in the quantum theory in a number of diﬀerent ways. λ = ap † |0 (6. λ′ = 1. we’ve not imposed on our theory.

but ∂µ A− |0 = 0. but almost! Let’s consider a basis of states for the Fock space. We can decompose any element of this basis as |Ψ = |ψT |φ . So what does the physical Hilbert space Hphys look like? And. For example. have we rid ourselves of those nasty negative norm states so that Hphys has a positive deﬁnite inner product deﬁned on it? The answer is actually no. In order to keep the vacuum as a good physical state. So not even µ µ the vacuum is a physical state if we use (6. After all. With luck.• We could try to impose the condition on the Hilbert space instead of directly on the operators.55) (6. our bad states will include the weird negative norm states that we’re so disgusted by. the condition is too strong. we can ask that physical states |Ψ are deﬁned by ∂ µ A+ |Ψ = 0 µ This ensures that Ψ′ | ∂µ Aµ |Ψ = 0 (6. physical states |Ψ . created by – 134 – .54) is known as the Gupta-Bleuler condition. But how can we deﬁne the good states? One idea is to impose ∂µ Aµ |Ψ = 0 (6. where |ψT contains only transverse photons. that’s where the trouble lies! We could imagine that there’s some way to split the Hilbert space up into good states |Ψ and bad states that somehow decouple from the system.52) on all good. Equation (6. in particular. on the vacuum A+ |0 = 0 automatically.53) Then. But this can’t work either! Again. suppose we decompose Aµ (x) = A+ (x) + A− (x) with µ µ A+ (x) = µ A− (x) = µ d3 p (2π)3 dp (2π)3 3 1 2|p| 1 2|p| 3 λ ǫλ ap e−ip·x µ λ=0 3 λ ǫλ ap † e+ip·x µ λ=0 (6.52) as our constraint • Our ﬁnal attempt will be the correct one.54) so that the operator ∂µ Aµ has vanishing matrix elements between physical states. The linearity of the constraint means that the physical states |Ψ span a physical Hilbert space Hphys .

it must also contain a longitudinal photon with the same momentum. In general.58) This means that the inner product on Hphys is positive semi-deﬁnite.56) This means that the physical states must contain combinations of timelike and longitudinal photons.0 1. leaving us just with the contribution from the transverse photons as we would expect. |φn with n ≥ 1 are said to be physically equivalent. This also renders the Hamiltonian positive deﬁnite.2 ap † . Whenever the state contains a timelike photon of momentum p. Of course. one can show that the expectation values of all gauge invariant operators evaluated on physical states are independent of the coeﬃcients Cn in (6.56) ensures that Ψ| ap † ap |Ψ = Ψ| ap † ap |Ψ so that the contributions from the timelike and longitudinal photons cancel amongst themselves in the Hamiltonian. Two states that diﬀer only in their timelike and longitudinal photon content.59) i=1 3 3 0 0 But the condition (6. The way we cope with the zero norm states is to treat them as gauge equivalent to the vacuum.54) requires 3 0 (ap − ap ) |φ = 0 (6. all the remaining states involving timelike and longitudinal photons have zero norm φm | φn = δn0 δm0 (6. It’s not hard to show that although the condition (6. which can be easily computed to be H= d3 p |p| (2π)3 3 i i 0 0 ap† ap − ap † ap (6.56) does indeed decouple the negative norm states. We can check that this is true for the Hamiltonian. We can think of the gauge symmetry of the classical theory as descending to the Hilbert space of the quantum theory. Which is an improvement. But we still need to deal with all these zero norm states. – 135 – .57). while |φ contains the timelike photons created by ap † and longitudinal photons 3 created by ap † .57) where |φ0 = |0 is simply the vacuum. In general |φ will be a linear combination of states |φn containing n pairs of timelike and longitudinal photons. The Gupta-Bleuler condition (6. we can’t just stipulate that two states are physically identical unless they give the same expectation value for all physical observables. which we can write as ∞ |φ = n=0 Cn |φn (6.

So we could look at the theory of electromagnetism coupled to fermions. it’s Lorentz invariant. 6. This gives rise to µ ¯ the conserved current jV = ψγ µ ψ. j µ must be a conserved current. It is given by 0| T Aµ (x)Aν (y) |0 = d4 p −iηµν −ip·(x−y) e (2π)4 p2 + iǫ (6.66) – 136 – . with the Lagrangian. it’s a simple matter to compute the propagator in Lorentz gauge. we would ﬁnd the propagator. for consistency. we could write something like 1 L = − 4 Fµν F µν − j µ Aµ d4 p −i 4 p2 + iǫ (2π) ηµν + (α − 1) pµ pν p2 e−ip·(x−y) (6. we require ∂µ j µ = 0 (6. We could also return to the Lagrangian (6.64) (6. The equations of motion read ∂µ F µν = j ν so.60) This is a lot nicer than the propagator we found in Coulomb gauge: in particular. 1 ¯ / ¯ L = − 4 Fµν F µν + ψ(i ∂ − m)ψ − eψγ µ Aµ ψ (6. We want to write down a Lagrangian which couples Aµ to some matter ﬁelds.65) ¯ ¯ has an internal symmetry ψ → e−iα ψ and ψ → e+iα ψ. But we’ve got lots of those! Let’s look at how we can couple two of them to electromagnetism.62) where j µ is some function of the matter ﬁelds.1 Coupling to Fermions The Dirac Lagrangian ¯ / L = ψ(i ∂ − m)ψ (6.Propagators Finally. with α ∈ R. either scalars or spinors.63) In other words. For example.61) (6. 0| T Aµ (x)Aν (y) |0 = 6.37).3 Coupling to Matter Let’s now build an interacting theory of light and matter. Had we pushed through the calculation with arbitrary coeﬃcient α.3.

We have Dµ ψ = ∂µ ψ + ieAµ ψ → ∂µ (e−ieλ ψ) + ie(Aµ + ∂µ λ)(e−ieλ ψ) = e−ieλ Dµ ψ (6. This Lagrangian is invariant under gauge transformations which act as Aµ → Aµ + ∂µ λ and ψ → e−ieλ ψ (6. The tricky term is the derivative acting on ψ. we have Q=e d3 p (2π)3 2 s s s s (bp † bp − cp † cp ) (6. Note that the particle and the anti-particle are required by the formalism to have opposite electric – 137 – . let’s look at how the covariant derivative transforms. We therefore have the total charge Q given by Q=e ¯ d3 x ψ(x)γ 0 ψ(x) (6. To see that all is well. For the free Maxwell theory. To see this.69) so the covariant derivative has the nice property that it merely picks up a phase under the gauge transformation. Does our interacting theory above still have a gauge symmetry? The answer is yes. Electric Charge The coupling e has the interpretation of the electric charge of the ψ particle.67) where Dµ ψ = ∂µ ψ + ieAµ ψ is called the covariant derivative. This ensures that the whole Lagrangian is invariant.68) for an arbitrary function λ(x). let’s rewrite the Lagrangian as 1 ¯ / L = − 4 Fµν F µν + ψ(i D − m)ψ (6. minus the number of antiparticles. with the derivative of e−ieλ cancelling the transformation ¯ of the gauge ﬁeld.where we’ve introduced a coupling constant e. since this will also hit the e−ieλ piece after the transformation. since ψ → +ieλ(x) ¯ e ψ. we have seen that the existence of a gauge symmetry was crucial in order to cut down the physical degrees of freedom to the requisite 2.71) s=1 which is the number of particles. This follows from the equations of motion of classical electromagnetism ∂µ F µν = j ν : we know that the j 0 component is the charge density.70) After treating this as a quantum equation.

The latter is a redundancy in our description of the system. we see that the charge conjugate spinor ψ (c) satisﬁes (iγ µ ∂µ + eγ µ Aµ − m)ψ (c) = 0 (6. If we take the complex conjugation of the Dirac equation.charge. but with charge −e instead of +e. I stressed that there’s a radical diﬀerence between the interpretation of a global symmetry and a gauge symmetry. known as the ﬁne structure constant α= Setting = c = 1. we have no suitable conserved current. there is also a single global symmetry: that with λ(x) = constant. the theory of light interacting with electrons.73) So we see that the charge conjugate spinor ψ (c) satisﬁes the Dirac equation. There’s a small subtlety here that’s worth elaborating on.2 Coupling to Scalars For a real scalar ﬁeld. These take us from one physical state to another. For QED. 6. Finally. meaning that it takes us to another physical state. we have e = √ 1 e2 ≈ 4π c 137 (6.5 really deserves the name “charge conjugation matrix”. namely the conservation of electric charge. This means that we can’t couple a real scalar ﬁeld to a gauge ﬁeld. the gauge symmetry ψ → e+ieλ(x) ψ seems to lead to a conservation law.72) 4πα ≈ 0. This is a true symmetry of the system. This is because among the inﬁnite number of gauge symmetries parameterized by a function λ(x).3. let’s check that the 4 × 4 matrix C that we introduced in Section 4. – 138 – . The former takes you from one physical state to another with the same properties and results in a conserved current through Noether’s theorem. and the deﬁnition ψ (c) = Cψ ⋆ . Yet in electromagnetism. the electric charge is usually written in terms of the dimensionless ratio α. the subset of global symmetries from among the gauge symmetries are those for which λ(x) → α = constant as x → ∞. More generally.3. we have (iγ µ ∂µ − eγ µ Aµ − m)ψ = 0 ⇒ (−i(γ µ )⋆ ∂µ − e(γ µ )⋆ Aµ − m)ψ ⋆ = 0 Now using the deﬁning equation C † γ µ C = −(γ µ )⋆ .

So the whole procedure wasn’t consistent. we may do so by replacing all derivatives by suitable covariant derivatives. In this scalar theory. (6. it will now pick up a contribution from the j µ Aµ term. This means that we can construct a gauge invariant action for a charged scalar ﬁeld coupled to a photon simply by promoting all derivatives to covariant derivatives 1 (6.76) L = − Fµν F µν + Dµ ϕ⋆ D µ ϕ − m2 |ϕ|2 4 In general. Lint = −i((∂µ ϕ⋆ )ϕ − ϕ⋆ ∂µ ϕ)Aµ But this doesn’t work because • The theory is no longer gauge invariant • The current j µ that we coupled to Aµ depends on ∂µ ϕ.5 where the Feynman rules for QED are written down. We will now do that. We could try to couple the associated current to the gauge ﬁeld. This procedure is known as minimal coupling. then we can jump straight to Section 6. We have a symmetry ϕ → e−iα ϕ. then we still have a bit of work in front of us in order to massage the photon propagator into something Lorentz invariant. We solve both of these problems simultaneously by remembering the covariant derivative. the combination Dµ ϕ = ∂µ ϕ + ieAµ ϕ (6. (For this section.75) (6. This means that if we try to compute the current associated to the symmetry. we worked in Coulomb gauge. this trick works for any theory. The Lagrangian is 1 ¯ / L = − Fµν F µν + ψ(i D − m)ψ 4 where Dµ = ∂µ + ieAµ . 6. If. however. If we have a U(1) symmetry that we wish to couple to a gauge ﬁeld. The route we take now depends on the gauge choice. I’ll depart from our previous notation and call the scalar ﬁeld ϕ to avoid confusing it with the spinor).Let’s now consider a complex scalar ﬁeld ϕ. If we worked in Lorentz gauge previously.4 QED Let’s now work out the Feynman rules for the full theory of quantum electrodynamics (QED) – the theory of electrons interacting with light.77) – 139 – .74) again transforms as Dµ ϕ → e−ieλ Dµ ϕ under a gauge transformation Aµ → Aµ + ∂µ λ and ϕ → e−ieλ ϕ.

it wouldn’t appear if we worked in Lorentz gauge.In Coulomb gauge ∇ · A = 0. we have LMaxwell = d3 x 1 ˙ 2 A 2 − 1B 2 − 2 e2 2 d3 x′ j0 (x)j0 (x ′ ) 4π|x − x ′ | (6. For example. t) 4π|x − x ′ | (6. ∂L ˙ =A ˙ ∂A ∂L πψ = = iψ † ˙ ∂ψ Π= which gives us the Hamiltonian H= d3 x 1 ˙ 2 A 2 (6. the equation of motion arising from varying A0 is now −∇2 A0 = eψ † ψ ≡ ej 0 which has the solution A0 (x. we have the conjugate momenta. – 140 – .81) We ﬁnd ourselves with a nonlocal term in the action.1. Changing notation slightly from previous chapters. t) = e d3 x′ j 0 (x ′ .82) e2 ¯ + 1 B 2 + ψ(−iγ i ∂i + m)ψ − ej · A + 2 2 d3 x′ j 0 (x)j 0 (x ′ ) 4π|x − x ′ | ¯ ¯ where j = ψγψ and j 0 = ψγ 0 ψ.4 never arises in Nature! It appears here as an artifact of working in Coulomb gauge: it does not mean that the theory of QED is nonlocal. We now compute the Hamiltonian.80) where the cross-term has vanished using ∇ · A = 0. This is exactly the type of interaction that we boasted in Section 1.79) (6.78) In Coulomb gauge we can rewrite the Maxwell part of the Lagrangian as LMaxwell = = = 1 d3 x 2 E 2 − 1 B 2 2 1 ˙ d3 x 2 (A + ∇A0 )2 − 1 B 2 2 1 1 ˙ d3 x 2 A 2 + 2 (∇A0 )2 − 1 B 2 2 (6. After integrating the second term by parts and inserting the equation for A0 .

we have δ(x0 − y 0 ) = 4π|x − y| d4 p eip·(x−y) (2π)4 |p|2 (6. 3 index telling us the component of A. so we can combine the non-local interaction with the transverse photon propagator by deﬁning a new photon propagator i + 2 µ. We calculated the transverse photon pi pj i tr δij − 2 propagator in (6. the wavy photon line now carries a µ. Let’s start with the oﬀending instantaneous interaction. with the extra µ = 0 component taking care of the instantaneous interaction. We’ll now show that we can massage these expressions into something much more simple and Lorentz invariant. We now need to change our vertex slightly: the −ieγ i above gets replaced by −ieγ µ which correctly accounts for the (eγ 0 )2 piece in the instantaneous interaction. ν = j = 0 p2 + iǫ δij − |p|2 0 otherwise – 141 – . • The non-local interaction which. the rules are the same as those given in Section 5. Since it comes from the A0 component of the gauge ﬁeld. 1. This is the price we’ve paid for working in Coulomb gauge. 3 index. it ﬁts quite nicely in this form: if we look in momentum space.6. j = 1. The index on γ i contracts with the index on the photon line. in position space.1 Naive Feynman Rules We want to determine the Feynman rules for this theory. Each end of the line comes with an i.83) With this propagator. is given by i(eγ 0 )2 δ(x0 − y 0 ) contributes a factor of 4π|x − y| x y These Feynman rules are rather messy. The new pieces are: • We denote the photon by a wavy line. For fermions. 2.84) µ = i = 0. ν = 0. In fact.4.33): it is and contributes Dij = 2 p + iǫ |p| • The vertex contributes −ieγ i . ν = 0 |p| pi pj i Dµν (p) = (6. 2. we could try to redeﬁne the propagator to include a D00 piece which will capture this term.

p p/ ∼ e2 [¯(p′ )γ µ u(p)] Dµν (k) [¯(q ′ )γ ν u(q)] u u q q / (6. Here we’ll be more pedestrian and show that we can do this for certain Feynman diagrams. we focus on a particular tree-level diagram that contributes to e− e− → e− e− scattering.88) 2 α · β k0 α0 β0 α0 β0 − + k2 k 2 |k|2 |k|2 1 α·β 2 (k0 − k 2 ) α0 β0 − 2 k k 2 |k|2 iηµν i = − 2 α · β = αµ − 2 β ν k k (6.86) where k = p − p′ = q ′ − q.The D00 piece of the propagator doesn’t look a whole lot diﬀerent from the transverse photon propagator.87) Let’s deﬁne the spinor contractions αµ = u(p ′ )γ µ u(p) and β ν = u(q ′ )γ ν u(q). Recall that u(p) satisﬁes the equation / ( p − m)u(p) = 0 (6. In particular. kν β ν = 0. we have / /′ ¯ kµ αµ = u(p ′ )( p − p )u(p) = u(p ′ )(m − m)u(p) = 0 ¯ and. Using this fact.89) – 142 – .85) Proof: There is a general proof using current conservation. the diagram can be written as αµ Dµν β ν = i =i =− α · β (α · k)(β · k) α0 β 0 + − k2 k 2 |k|2 |k|2 (6. But wouldn’t it be nice if they were both part of something more symmetric! In fact. they are. Lorentz invariant propagator Dµν (p) = −i ηµν p2 (6. Then ¯ ¯ ′ ′ since k = p − p = q − q. We have the following: Claim: We can replace the propagator Dµν (p) with the simpler. similarly.

For example. We add u r r a spinor v (p)/v (p) for incoming/outgoing anti-fermions. Note: This is the propagator we found when quantizing in Lorentz gauge (using the Feynman gauge parameter). quantizing the Lagrangian (6. For vertices and internal lines. in the following diagrams the pµ pν piece of the propagator contributes as / / ∼ u(p′ )γ µ u(p) kµ = u(p′ )( p − p ′ )u(p) = 0 ¯ ¯ / / ∼ v (p)γ µ u(q) kµ = u(p)( p + q ′ )u(q) = 0 ¯ ¯ 6. in out In Coulomb gauge.90) In fact.which is the claimed result. • Fermions: We add a spinor ur (p)/¯r (p) for incoming/outgoing fermions. we attach / i( p + m) − m2 + iǫ • Photons: We add a polarization vector ǫµ /ǫµ for incoming/outgoing photons. we have the Feynman rules for QED. You can similarly check that the same substitution is legal in the diagram p p/ q/ q ∼ e2 [¯(q)γ µ u(p)]Dµν (k)[¯(p ′ )γ ν v(q ′ )] v u (6. it’s a general fact that in every Feynman diagram we may use the very nice.92) p2 p2 For external lines in the diagram. ǫ0 = 0 and ǫ · p = 0. In general. ¯ – 143 – . although we won’t show it here. we write • Vertex: • Photon Propagator: • Fermion Propagator: −ieγ µ − iηµν + iǫ (6. we have the propagator i pµ pν Dµν = − 2 ηµν + (α − 1) 2 (6.91) p p Using similar arguments to those given above.37) in Lorentz gauge. Lorentz invariant propagator Dµν = −iηµν /p2 .5 Feynman Rules Finally. you can show that the pµ pν /p2 term cancels in all diagrams.

the derivative term means that the interaction is stronger for fermions with higher momentum. the published cross sections were wrong by a factor of four. as usual. so we include a momentum factor in the Feynman rule. There is also a second. (It’s the same reason that the 1/4! didn’t appear in the Feynman rules for φ4 theory).1 Charged Scalars “Pauli asked me to calculate the cross section for pair creation of scalar particles by photons. The two Feynman rules are p q − ie(p + q)µ and + 2ie2 ηµν The factor of two in the seagull diagram arises because of the two identical particles appearing in the vertex. I met Bethe in Copenhagen at a conference and asked him to tell me how he did the calculations.” Viki Weisskopf The interaction terms in the Lagrangian for charged scalars come from the covariant derivative terms.6 Scattering in QED Let’s now calculate some amplitudes for various processes in quantum electrodynamics. “seagull” graph. he answered.93) This gives rise to two interaction vertices.” He was right. I also inquired how long it would take to perform this task. 6. How do these appear in the Feynman rules? After a Fourier transform.6. with a photon coupled to a single fermion. We will consider the analogous set of processes that we saw in Section 3 and Section 5. We have – 144 – . L = Dµ ψ † D µ ψ = ∂µ ψ † ∂ µ ψ − ieAµ (ψ † ∂ µ ψ − ψ∂ µ ψ † ) + e2 Aµ Aµ ψ † ψ (6. It was only a short time after Bethe and Heitler had solved the same problem for electrons and positrons. “It would take me three days. But the cubic vertex is something we haven’t seen before: it contains kinetic terms.5. but you will need about three weeks. furthermore.

Electron Positron Annihilation Let’s now look at e− e+ → 2γ. which contract the indices on the γ-matrices (remember that it’s really positive for µ.s / 2 [¯s (p ′ )γ µ us (p)] [¯r (q ′ )γµ ur (q)] u u ′ − p)2 (p [¯s (p ′ )γ µ ur (q)] [¯r (q ′ )γµ us (p)] u u (p − q ′ )2 ′ ′ ′ ′ q.r / / / = −i(−ie) 2 [¯s (p ′ )γ µ us (p)] [¯r (q)γµ v r (q ′ )] u v − (p − p′ )2 [¯r(q)γ µ us (p)] [¯s (p ′ )γµ v r (q ′ )] v u + (p + q)2 ′ ′ ′ ′ q.s p.s / q. Historically. two gamma rays.s / p.s / p.r / = −i(−ie) q.s / + q.s / p.s / / p. given by p.r µ ε2 + / / γν ( p − q ′ + m)γµ (p − q ′ )2 − m2 us (p)ǫν (p ′ )ǫµ (q ′ ) 1 2 Electron Positron Scattering For e− e+ → e− e+ scattering (sometimes known as Bhabha scattering) the two lowest order Feynman diagrams are p. ν = 1. 3).r Compton Scattering The scattering of photons (in particular x-rays) oﬀ electrons e− γ → e− γ is known as Compton scattering. εν 1 p.r / p. 2.r / q.r / / / γµ ( p − p ′ + m)γν = i(−ie) v (q) ¯ (p − p′ )2 − m2 2 r ε2 µ q.s p/ p/ p.r q. The two lowest order Feynman diagrams are. the change in wavelength of the photon in the – 145 – .r / + / q.Electron Scattering Electron scattering e− e− → e− e− is described by the two leading order Feynman diagrams.r − The overall −i comes from the −iηµν in the propagator.s εν 1 + q/ q q.

Although naively logarithmically divergent.94) / = i(−ie)2 ur (p ′ ) ǫout us (p) ¯ where. which we could identify as a muon. For example. so q q = 0. we may write the amplitude as iA = i(−ie) u (p ) ¯ ′ 2 r′ ′ / / / / / /′ / / ǫout ( p + q + m) q q ( p − q + m) ǫout + 2 − m2 ′ − q)2 − m2 (p + q) (p 2p′ · q 2p · q + ′ (p + q)2 − m2 (p − q)2 − m2 us (p) (6. We now recall the fact that q is a null vector.scattering process was one of the conclusive pieces of evidence that light could behave as a particle. This ensures that the combined amplitude vanishes for longitudinal photons as promised. and e+ e− annihilation into a muon anti-muon pair. This means that the two denominators in the amplitude read (p+q)2 −m2 = 2p·q and (p′ −q)−m2 = −2p′ ·q. the diagram is actually rendered ﬁnite by gauge invariance. using momentum conservation p + q = p′ + q ′ . new processes become possible. we’ve performed some γ-matrix manipulations. ε in (q ) εout (q /) ε in (q) εout (q /) + u(p) − / u(p) u(p) − / u(p) = i(−ie) u (p ) ¯ 2 r′ ′ / / / / γ µ ( p + q + m)γ ν γ ν ( p − q ′ + m)γ µ + (p + q)2 − m2 (p − q ′ )2 − m2 us (p) ǫν ǫµ in out This amplitude vanishes for longitudinal photons. Adding Muons Figure 30: Adding a second fermion into the mix. Using our standard notation of p and q for incoming momenta. For example. and p′ and q ′ for outgoing – 146 – . suppose ǫin ∼ q. photons no longer pass through each other unimpeded. there is a diagram which leads to photon scattering. Then. Photon Scattering In QED. // and invoked the fact that q is null. together with the spinor equations ′ /′ / ( p − m)u(p) and u(p )( p − m) = 0. A / similar result holds when ǫout ∼ q ′ . we can now have processes such as e− µ− → e− µ− scattering. At one-loop. in going to the second line. while ¯ 2 ′ 2 2 p = (p ) = m since the external legs are on mass-shell. The amplitude is given by.

¯ Comparing the scattering amplitude in this limit to that of non-relativistic quantum mechanics.49). We have p.s / p.r .98) q.r / [¯(p ′ )γ µ u(p)] [¯(q ′ )γµ v(q)] u v = +i(−ie) ′ − p)2 (p 2 (6. U(r) = +e 2 Following (5.97) / q. the amplitude is p.2 and 5. we use our newfound knowledge to rederive a result you learnt in kindergarten: Coulomb’s law. To end this course.95) 6.1 The Coulomb Potential We’ve come a long way. We start by looking at e− e− → e− e− scattering.r – 147 – .r / [¯(p ′ )γ µ u(p)] [¯(q ′ )γµ u(q)] u u ′ − p)2 (p (6.s / = −i(−ie)2 / q.s / e2 d3 p eip·r =+ (2π)3 |p|2 4πr (6. 2. we repeat our calculation that led us to the Yukawa force in Sections 3. We can trace the minus sign that gives a repulsive potential to the fact that only the A0 component of the intermediate propagator ∼ −iηµν contributes in the non-relativistic limit.6. 3 pieces vanish in the non-relativistic limit: us (p)γ i ur (q) → 0.5.7.2. we have the eﬀective potential between two electrons given by.96) q. i = 1. For e− e+ → e− e+ scattering.momenta. To do this. This ξ means that the γ 0 piece of the interaction gives a term us (p)γ 0 ur (q) → 2mδ rs . We’ve understood how to compute quantum amplitudes in a large array of ﬁeld theories. the non-relativistic limit of the spinor is u(p) → √ m ξ We ﬁnd the familiar repulsive Coulomb potential.s / p. while ¯ i the spatial γ . we have the amplitudes given by e− e− µ− 1 ∼ (p − p′ )2 µ− µ− e− and e+ µ+ ∼ 1 (p + q)2 (6.

Note that with our signature (+ − −−).1. the amplitude picks up an extra minus sign because the arrows on the legs of the Feynman rules in Section 6. From the Feynman rules of Section 6. giving us the potential between ¯ opposite charges. The diﬀerence from the calculation of the Yukawa force comes again from the zeroth component of the gauge ﬁeld. just as it is for fermions.1 are correlated with the momentum arrows. A careful study reveals the oﬀending sign to be that which sits in front of the A0 piece of the photon propagator −iηµν /p2 .5.s / = −iηµν (−ie)2 / q. the propagating Ai have the correct sign. – 148 – .s / p. We have v γ 0 v → 2m. For e− e+ scattering. we have the non-relativistic limit of scalar e− e− scattering. while A0 comes with the wrong sign.99) Reassuringly. This is simpler to see in the case of scalar QED.r where the non-relativistic limit in the numerator involves (p+p′ )·(q +q ′ ) ≈ (p+p′ )0 (q + q ′ )0 ≈ (2m)2 and is responsible for selecting the A0 part of the photon propagator rather than the Ai piece. we ﬁnd an attractive force between an electron and positron.The overall + sign comes from treating the fermions correctly: we saw the same minus sign when studying scattering in Yukawa theory. Flipping the arrows on one pair of legs in the amplitude introduces the relevant minus sign to ensure that the non-relativistic potential between e− e+ is attractive as expected. p. where we don’t have to worry about the gamma matrices. U(r) = −e2 e2 d3 p eip·r =− (2π)3 |p|2 4πr (6.r / (p + p′ )µ (q + q ′ )ν (2m)2 → −i(−ie)2 (p′ − p)2 −(p − p ′ )2 q. This shows that the Coulomb potential for spin 0 particles of the same charge is again repulsive. ¯ rather than the v v → −2m that we saw in the Yukawa case. The diﬀerence now comes from looking at the non-relativistic limit. ¯ The Coulomb Potential for Scalars There are many minus signs in the above calculation which somewhat obscure the crucial one which gives rise to the repulsive force. this time in the guise of the γ 0 sandwiched between v γ 0 v → 2m.5.

For more details on the history of quantum ﬁeld theory. to make sense of this. The story of how they did that will be told in next term’s course. Yet by the end of the 1930s. see the excellent book “QED and the Men who Made it” by Sam Schweber. most physicists will be glad to see the end of QED But the leading ﬁgures of the day gave up too soon. Feynman.7 Afterword In this course. Tomonaga and Dyson — to return to quantum ﬁeld theory and tame the inﬁnities. Because of its extreme complexity.6. It took a new generation of postwar physicists — people like Schwinger. after ten years of trying. 5 – 149 – . and failing. Dirac. Pauli and Weisskopf 5 . we have laid the foundational framework for quantum ﬁeld theory. The diﬃculty lies in the next terms in perturbation theory. the general feeling was that one should do something else. pioneered by people such as Jordan. The reason we’ve avoided them is because they typically give inﬁnity! And. These are the terms that correspond to Feynamn diagrams with loops in them. Heisenberg. Most of the developments that we’ve seen were already in place by the middle of the 1930s. physicists were ready to give up on quantum ﬁeld theory. This from Dirac in 1937. which we have scrupulously avoided computing in this course.

- quaternionic-electrodynamicsUploaded byRahulPoria
- Error PeskinUploaded bymarshadjafer
- 1 ve 2 çözüm katı halUploaded byHaluk Küçük
- QFT solutions (Including Peskin & Schroeder 3.1 and 3.4)Uploaded byPhilip Saad
- Introduction to quantum field theory, based on the book by Peskin and SchroederUploaded byKristinnK
- General Relativity Solutions to Exercises by Sergei WinitzkiUploaded byMichael Anthony Mendoza
- The Physics of Fluids and PlasmasUploaded byAakash Verma
- RelativityUploaded byRavi Kiran N
- Feynman - Quantum ElectrodynamicsUploaded byMichael Jackson
- Quantum ElectrodynamicsUploaded byrr1819
- solutions to problems in quantum field theoryUploaded byPhilip Saad
- General RelativityUploaded bySimon
- Super Symmetry and Cosmology - JUploaded byapi-3734736
- Solution Manual for Modern Quantum Mechanics 2nd Edition by SakuraiUploaded byRyo Kinase
- ch 3Uploaded byMohammed Ali
- Numerical Methods for Sign Problem in LFTUploaded bySamuel Alfred Foreman
- yang1954.pdfUploaded byanaklembah@Scribd
- Infinite Sq WellUploaded bycghan1229
- 9203036Uploaded byhumbertorc
- Two-Connection Renormalization and Non-Holonomic Gauge Models of Einstein GravityUploaded bySergiu Vacaru
- Yang-Mills Fields and Gauge Gravity on Generalized Lagrange and Finsler SpacesUploaded bySergiu Vacaru
- Studies of Top Tagging Identification MethodsUploaded byDiego Felipe Silvera Vega
- Julian Schwinger Selected Papers on Quantum Electrodynamics 1958.pdfUploaded byLav