Professional Documents
Culture Documents
Quantum Field Theory I - Anastasiou PDF
Quantum Field Theory I - Anastasiou PDF
Babis Anastasiou
Institute for Theoretical Physics,
ETH Zurich,
8093 Zurich, Switzerland
E-mail: babis@phys.ethz.ch
1
4.2 Two real Klein-Gordon fields . . . . . . . . . . . . . . . . . . . 50
4.2.1 Two equal-mass real Klein-Gordon fields . . . . . . . . 52
4.2.2 Two real Klein-Gordon fields = One complex Klein-
Gordon field . . . . . . . . . . . . . . . . . . . . . . . . 55
4.3 Conserved Charges as generators of symmetry transformations 57
4.4 Casimir effect: the energy of the vacuum . . . . . . . . . . . . 58
4.5 Can the Klein-Gordon field be an one-particle wave-function? 62
2
8 Quantization of the Dirac Field 97
8.1 One-particle states . . . . . . . . . . . . . . . . . . . . . . . . 99
8.1.1 Particles and anti-particles . . . . . . . . . . . . . . . . 100
8.1.2 Particles and anti-particles of spin- 12 . . . . . . . . . . 102
8.2 Fermions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
8.3 Lorentz transformation of the quantized spinor field . . . . . . 105
8.3.1 Transformation of the ladder operators . . . . . . . . . 105
8.3.2 Transformation of the quantized Dirac field . . . . . . 108
8.4 Parity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
8.5 Other discrete symmetries . . . . . . . . . . . . . . . . . . . . 112
3
12 Perturbation Theory and Feynman Diagrams 152
12.1 Time evolution operator in the interaction picture . . . . . . . 154
12.2 Field operators in the interacting and free theory . . . . . . . 156
12.3 The ground state of the interacting and the free theory . . . . 158
12.4 Wick’s theorem . . . . . . . . . . . . . . . . . . . . . . . . . . 160
12.5 Feynman Diagrams for φ4 theory . . . . . . . . . . . . . . . . 164
12.6 Feynman rules in momentum space . . . . . . . . . . . . . . . 167
12.7 Truncated Green’s functions in perturbation theory . . . . . . 171
4
Bibliography
5
Empty!
6
Chapter 1
where the commutator (“-” for bosons) and anticommutator (“+” for fermions)
are defined as,
[A, B]± = AB ± BA. (1.3)
For example, we can easily verify that the Pauli exclusion principle for iden-
tical fermions is automatically respected. A state of two identical fermions
7
in the same position is, in quantum field theory,
1 †
|~x, ~xi ∼ f † (~x, t)f † (~x, t) |0i = f (~x, t), f † (~x, t) + |0i = 0 |0i = 0,
(1.4)
2
which vanishes.
In non-relativistic quantum mechanics, quantized fields offer an elegant
framework which is convenient to describe a system of many identical par-
ticles. However, an equivalent description in terms of wave-functions yields
the same physical results and it is always possible. Traditional quantum me-
chanics fails when we must merge it with special relativity. A number of new
phenomena manifest themselves at small distances (quantum effects) and
relativistic velocities; these are routinely studied at modern collider experi-
ments. An example physical processes, exhaustivelly studied at the Large-
Electron-Positron (LEP) collider in Geneva, is the production of a muon and
its anti-particle out of the annihilation of an electron and a positron:
e− + e+ → µ− + µ+ . (1.5)
8
Chapter 2
where L [ηi , η̇i ] is the Lagrangian function of the system. According to the
principle of the least action, the physical generalized coordinates yield a
stationary value for the action:
h i h i
S ηi = ηiphys = S ηi = ηiphys + aωi , (2.2)
9
ηiphys (t). Performing a Taylor expansion in a through O(a), we obtain,
N
" #
∂L η phys , η̇ phys ∂L η phys , η̇ phys
Z t2 X
dt ωj + ω̇j = 0
t1 j=1 ∂ηjphys ∂ η̇jphys
N
" !#
∂L η phys , η̇ phys d ∂L η phys , η̇ phys
Z t2 X
; dt phys
− phys
ωj
t1 j=1 ∂η j
dt ∂ η̇j
Z t2 N phys phys !
d X ∂L η , η̇
+ dt ωj (t) = 0
t1 dt j=1 ∂ η̇jphys
N
" phys phys !#
∂L η phys , η̇ phys
Z t2 X
d ∂L η , η̇
; dt − ωj = 0,
t1 j=1 ∂ηjphys dt ∂ η̇jphys
(2.3)
where the integral over the total derivative is zero due to ωj (t1 ) = ωj (t2 ) = 0.
The functions ωj (t) are arbitrary smooth functions for t 6= t1 , t2 ; for the
above integral to vanish for arbitrary choices of ωj , the physical generalized
coordiates must obey the Euler-Lagrange equations
phys phys !
∂L η phys , η̇ phys d ∂L η , η̇
− = 0. (2.4)
∂ηjphys dt ∂ η̇jphys
10
where Y is a constant called Young’s modulus.
A non-vibrational rod can be seen as an inifinite number of equally spaced
particles at rest, all having the same mass m, with a relative distance a. For
a small spacing a, we have
dm m
µ= = lim . (2.6)
dx a→0 a
A vibration is created when these particles are displaced from their positions
at rest. We will assume that each particle in the lattice can interact with its
immediate neighbours only. When two neighboring particles are displaced to
a larger relative distance, an attractive force tends to bring them back to their
resting position, while a repulsive force is developed when they are found at
a shorter relative distance. Such a force can be approximated (elastic rod) by
considering an elastic spring between the particles, with a Hooke’s constant
κ. The force required to elongate one spring is,
yi+1 − yi
F = −κ (yi+1 − yi ) = − (κa)
a
= − (κa) ξ. (2.7)
We can then relate the microspopic Hooke’s constant to the macroscopic
Young’s modulus:
Y = lim (κa) . (2.8)
a→0
The potential energy in the rod is equal to the sum of the potential
energies in all springs,
X1 X1
V = κ∆yi2 = κ(yi+1 − yi )2 , (2.9)
i
2 i
2
11
We can easily find the equations of motion for each particle j in the discretized
rod, from the Euler-Lagrange equations 2.4,
d ∂L ∂L
− =0
dt ∂ ẏk ∂yk
d ∂T ∂V
; + =0
dt ∂ ẏk ∂yk
d ∂ i 21 mẏi2 ∂ i 12 κ(yi+1 − yi)2
P P
; + =0
dt ∂ ẏk ∂yk
d ∂ 12 mẏk2 ∂ 12 κ(yk+1 − yk )2 + 21 κ(yk − yk−1 )2
; + =0
dt ∂ ẏk ∂yk
; mÿk + κ(yk − yk−1 ) − κ(yk+1 − yk ) = 0. (2.12)
Let us now consider the limit that the spacing in the discretized rod tends
to zero. The vibration amplitude yk (t), defines a continuous function at each
position x in the one-dimensional rod.
yk (t) → y(x, t)
yk+1(t) → y(x + a, t)
yk−1(t) → y(x − a, t)
yk+2(t) → y(x + 2a, t)
yk−2(t) → y(x − 2a, t)
...
12
It is interesting to take the continous limit in the expression of Eq. 2.11
for the Lagrangian as well. We have,
" 2 #
X 1m 2 1 yi+1 − yi
L = a ẏ − (κa) . (2.15)
i
2a i 2 a
In the continuoum limit, the summation turns into an integration over the
position variable x, leading to
" 2 2 #
1 ∂y(x, t) 1 ∂y(x, t)
Z
L = dx µ − Y . (2.16)
2 ∂t 2 ∂x
Can we obtain the equations of motion (Eq. 2.14) from the action integral
over the Lagrangian density of Eq. 2.17 using the principle of least action?
If so, we can avoid the cumbersome discretization derivation and work using
a direct formalism for continuoum systems. We require that
∂y ∂y
Z
δ dtdxL y, , = 0, (2.19)
∂t ∂x
We also require that the variation of the field vanishes at the boundaries of
the integrations,
13
We then have,
∂y ∂y
Z
δ dtdxL y, , =0
∂t ∂x
∂L ∂L ∂L
Z
; dtdx δy + δ(∂t y) + δ(∂x y) = 0 (2.22)
∂y ∂(∂t y) ∂(∂x y)
The field variation commutes with space and time derivatives, and we can
rewrite the above equation as,
∂L ∂L ∂L
Z
dtdx δy + ∂t (δy) + ∂x (δy) = 0
∂y ∂(∂t y) ∂(∂x y)
∂L ∂L ∂L
Z
; dtdx − ∂t − ∂x δy
∂y ∂(∂t y) ∂(∂x y)
∂L ∂L
+∂t δy + ∂x δy = 0. (2.23)
∂(∂t y) ∂(∂x y)
∂L ∂L ∂L
− ∂t − ∂x = 0. (2.24)
∂y ∂(∂t y) ∂(∂x y)
Substituting into this equation the Lagrangian density for the elastic rod, we
find the following equation of motion:
∂ 2 y(x, t) ∂ 2 y(x, t)
µ − Y = 0, (2.25)
∂t2 ∂x2
which is the same as Eq. 2.12
14
g µν = diag(1, −1, −1, −1). We consider a system of N fields φ(i) , i = 1, . . . , N
with a Lagrangian density which depends only on the fields and their first
(for simplicity) space-time derivatives
L = L φ(i) , ∂µ φ(i) .
(2.26)
The action is given by the integral,
Z t2 Z
d3~xL φ(i) , ∂µ φ(i) .
S≡ dx0 (2.27)
t1 V
and we consider small variations φ(i) (x, t) → φ(i) (x, t) + δφ(i) (x, t) of the
fields from their physical solutions which are zero at the times t1 , t2 or at the
boundary surface S(V ) of the volume V, but arbitrary otherwise. Applying
the variational principle, we obtain
δSZ = 0
; δ d4 xL = 0
∂L ∂L
Z
4 (i) (i)
; dx δφ + δ ∂µ φ =0
∂φ(i) ∂ (∂µ φ(i) )
∂L ∂L ∂L
Z Z
4 (i) 4 (i)
; dx − ∂µ δφ + d x∂µ δφ =0
∂φ(i) ∂ (∂µ φ(i) ) ∂ (∂µ φ(i) )
∂L ∂L
Z
4
; dx − ∂µ δφ(i) = 0, (2.28)
∂φ(i) ∂ (∂µ φ(i) )
where we have used the conditions for vanishing field variations at the bounar-
ies. Given that the functional form of the field variation δφ(i) is arbitrary,
we obtain the Euler-Lagrange differential equations,
∂L ∂L
(i)
− ∂µ = 0. (2.29)
∂φ ∂ (∂µ φ(i) )
From the above derivation we can easily see that two Lagrangian densities,
L and L + ∂ν F ν (φ(i) , ∂φ(i) ), which differ by a total divergence yield identical
Euler-Lagrange identities. Indeed the variation of the total divergence term
in the action integral is zero,
Z Z Z
4 ν ν
δ d x∂ν F = δ dσν F = dσν δF ν = 0. (2.30)
V,T S(V,T ) S(V,T )
In the above we have used Stokes’ theorem and that the variation of a smooth
function F of the fields and their derivatives vanishes at the boundaries of
the action integral.
15
2.4 Field Hamiltonian Density
For a system with a finite number of degrees of freedom, we find the conjugate
momentum of a generalized coordinate by differentiating the Lagrangian with
respect to the time derivative of the coordinate:
∂L
pj = (2.31)
∂ q˙j
Let us now start from the Lagrangian of a field (in one dimension for
simplicity), Z
L = dxL, (2.33)
where Li is the value of the Lagrangian density at the point i of the lattice
(discretized line in our case). The field q(x, t) has a value qi (t), at the same
point. The corresponding conjugate mometum is,
∂L X ∂Li
pj = = a . (2.35)
∂ q̇j i
∂ q̇j
16
the other hand, the potential term in Li can depend on the coordinates of
its neighbours. The Hamiltonian now becomes,
X ∂Li
H= a q̇i − Li . (2.37)
i
∂ q̇i
with
H = q̇(x, t)π(x, t) − L, (2.39)
with the field conjugate momentum defined as,
∂L
π(x, t) = . (2.40)
∂ q̇(x, t)
; ∂ 2 y = 0. (2.45)
H ≡ π∂0 y − L
π 2 1 ~ 2
; H= + ρ ∇y . (2.48)
2ρ 2
R 3
In the theory of fields, we
R 3make a reference to the Lagrangian L = d xL
and the Hamiltonian H = d xH rarely. In practice, we always work directly
with the corresponding densities L and H. Thus, it has prevailed that we
call H the “Hamiltonian” and L the “Lagrangian” assuming imlicitly that
we refer to their densities. We shall adopt the same terminology from now
on.
18
2.6 Noether’s theorem
We can prove a very powerful theorem for Lagrangian systems wich exhibit
symmetries, which is known as the Noether theorem. The theorem states
that for every symmetry of the system, there exists a conserved current and
a corresponding conserved charge.
L φ(i) , ∂ν φ(i) ,
(2.49)
φ(i) (x) → φ(i) (x) + δφ(i) (x), ∂ν φ(i) (x) → ∂ν φ(i) (x) + ∂ν δφ(i) (x). (2.50)
19
It may happen that a field symmetry transformation does not leave the
Lagrangian invariant, but it only changes it by a total derivative,
δL = ∂µ J µ . (2.55)
In that case, we still obtain the same physical equations of motion since the
action integral remains invariant,
Z Z
d x δL = d4 x ∂µ J µ = 0.
4
(2.56)
From Eq. 2.55 and our general result of Eq. 2.51, we find that
∂L
Jν = δφ(i) − J ν , (2.57)
∂ (∂ν φ(i) )
are conserved currents ∂ν J ν = 0.
To each conserved current, corresponds a conserved charge, i.e. a physical
quantity which maintains the same value at all times. Indeed,
∂ν J ν = 0
∂J 0 ∂J i
; + i =0
∂t ∂x
∂J 0 ~ ~
; +∇·J = 0
∂t
0
3 ∂J
Z Z
; d ~x + d3~x∇~ · J~ = 0
∂t
∂Q
Z
; = 0 with Q = d3~xJ 0 (2.58)
∂t
20
the Lagrangian depends on the space-time coordinates implicitly, through
the fields φ(i) (xµ ).
L = L φ(i) , ∂ν φ(i) .
(2.59)
We now require that if we perform a space-time symmetry transformation,
such as a translation or a rotation or a boost
µ
xµ → x′ , (2.60)
the action remains always the same:
Z Z h i
4 ′ (i) ′ ′ (i) ′
(i) (i)
4 ′
S= d xL φ (x), ∂ν φ (x) = d x L φ (x ), ∂ν φ (x ) . (2.61)
V V′
In this way, since the action is invariant under the transformation, the vari-
ational principle δS = 0 is automatically satisfied after the transformation
if it was satisfied before the transformation. In general, the fields φ(i) also
transform under general space-time tranformations. They may be scalar,
vectors, etc. We write,
(i)
φ′ (x′ ) = φ(i) (x) + ∆φ(i) (x) (2.62)
′ (i) ′ (i) (i)
∂ν φ (x ) = ∂ν φ (x) + ∆ ∂ν φ (x) (2.63)
(2.64)
The action after the transformation becomes,
Z h i
(i) (i)
S = d4 x′ L φ′ (x′ ), ∂ν φ′ (x′ )
ZV
′
′
4
∂xµ
L φ(i) (x) + ∆φ(i) (x), ∂ν φ(i) (x) + ∆ ∂ν φ(i) (x) .
= d x det
V ∂xν
(2.65)
The variation of the Lagrangian density due to the symmetry transfor-
mation can be computed as,
∆L = L φ(i) (x) + ∆φ(i) (x), ∂ν φ(i) (x) + ∆ ∂ν φ(i) (x) − L φ(i) (x), ∂ν φ(i) (x)
X ∂L ∂L
(i) (i) (i) 2
; ∆L = (i)
∆φ + (i) )
∆ ∂ν φ + O ∆φ (2.66)
i
∂φ ∂ (∂ν φ
where the term inside the square brackets vanishes by requiring that φ(i) are
physical fields satisfying the Euler-Lagrange equations.
21
We consider continuous transformations for which there exists a choice
of the transformation parameters resulting to a unit transformation, i.e. no
transformation. An example is a Lorentz boost with some velocity ~v, where
for v = 0 we have xµ → x′ µ = xµ . There are examples of symmetry trans-
formations where this does not occur. For example a parity transformation
does not have this property, and the Noether theorem is not applicable then.
For continuous symmetry transformations, we can consider that they are
infinitesimally different than the unit transformation,
Substituting the expansions of Eq. 2.66 and Eq. 2.69 in the action integral
(i)
of Eq. 2.65, and keeping terms through O ∆φ , we find
Z
S = S + d4 x [∆L + L∂ µ δxµ ]
( )
Z X ∂L ∂L
4 (i) (i) µ
;0 = dx ∆φ + ∆ ∂ν φ + L∂ δxµ
i
∂φ(i) ∂ (∂ν φ(i) )
(2.70)
22
Similarly,
from the variation due to changing the space-time position. Similarly, for
the variation of the field derivative, we have
(i)
∆∂ν φ(i) = ∂ν φ′ (x′ ) − ∂ν φ(i) (x)
(i)
; ∆∂ν φ(i) = ∂ν φ′ (x′ ) − ∂ν φ(i) (x′ ) + ∂ν φ(i) (x′ ) − ∂ν φ(i) (x)
h i
(i) ′ (i) ′
; ∆∂ν φ = ∂ν φ (x ) − φ (x ) + ∂ν φ(i) (x + δx) − ∂ν φ(i) (x)
(i) ′
23
Applying the chain rule, we see that the term in the curly brackets is a total
divergence,
X ∂L ∂L
µ µ µ (i) (i)
∂µ (Lδx ) = L∂µ δx + δx ∂ φ +
(i) µ
∂ ∂ φ
(i) ) µ ν
. (2.77)
i
∂φ ∂ (∂ν φ
The term in the square brackets of Eq. 2.76 can also be written as a to-
tal divergence, applying integration by parts and using the Euler-Lagrange
equations,
∂L (i) ∂L (i)
δ ∗ φ + ∂ν δ ∗ φ
∂φ(i) ∂ (∂ν φ(i) )
∂L ∂L (i) ∂L (i)
= − ∂ν δ∗ φ + ∂ν δ∗ φ
∂φ(i) ∂ (∂ν φ(i) ) ∂ (∂ν φ(i) )
∂L (i)
= ∂ν δ∗ φ (2.78)
∂ (∂ν φ(i) )
Eq. 2.76, with Eq. 2.78 and Eq. 2.78, becomes
" #
Z X ∂L
0 = d4 x ∂ν δ φ(i) + ∂µ (Lδxµ )
(i) ) ∗
∂ (∂ν φ
"i #
∂L
Z X
; 0 = d4 x∂ν δ φ(i) + Lδxν .
(i) ) ∗
(2.79)
i
∂ (∂ν φ
For this to happen, the variation of a field at a point δ∗ φ(i) must compensate
the variation δφ(i) due to changing the space-time position:
24
where we have defined:
X ∂L
T µν ≡ ∂ µ φ(i) − Lg µν
(i)
(2.83)
i
∂ (∂ν φ )
The tensor T µν is known as the energy-momentum tensor for reasons that will
become obvious in a while. The name stress-energy tensor is also encountered
very often.
The volume of integration in equation Eq. 2.71 is considered to have
boundaries which are arbitrary. In addition, the space-time variation δxµ
depends on small but otherwise arbitrary parameters, as many of them as
the generators of the symmetry transformation. Then, in order for Eq. 2.71
to hold, the integrand must vanish. We have therefore proven, that if the
system possesses a space-time symmetry transformation, there are as many
conserved currents as the generators of the symmetry transformation.
∂ν J ν = 0, J ν = δxµ T µν . (2.84)
J ν = T µν δǫν , (2.86)
∂ν J ν = 0
; ∂ν T µν ǫµ = 0. (2.87)
25
The vector ǫµ is small but otherwise arbitrary. Then, we must have that the
above equation is satisfied in general if
∂ν T µν = 0, (2.88)
and thus
Z " #
X
P0 = d3~x π (i) ∂0 φ(i) − L . (2.92)
i
concluding that the charge P 0 is the energy of the system, and it is con-
served. Energy conservation is thus a pure consequence of time translation
symmetry. Similarly, we can identify the charges P i, i = 1, 2, 3 as the mo-
mentum components of the system in the three space directions, and they
are of course also conserved.
26
Lorentz symmetry transformations
Lorentz transformations,
µ
x′ = Λµν xν , (2.94)
preserve the distance
ds2 = g µν dxµ dxν = g µν dx′ν dx′ν . (2.95)
This leads to
g µν dxµ dxν = g µν Λρµ Λσν dxρ dxσ
= g ρσ Λµρ Λνσ dxµ dxν
; g µν = g ρσ Λµρ Λνσ . (2.96)
Considering an infinitesimal transformation,
Λµν = δνµ + ωνµ , +O(ω 2) (2.97)
we obtain
g µν = g ρσ Λµρ Λνσ
; g µν = g ρσ δρµ + ωρµ + . . . (δσν + ωσν + . . .)
; g µν = g µν + ω νµ + ω µν + O(ω 2)
; ω µν = −ω νµ . (2.98)
The parameters ω µν for generating Lorentz transformations are therefore
antisymmetric.
A transformed space-time coordinate is given by
µ
x′ = Λµρ xρ
= (g µρ + ω µρ + . . .) xρ
= xµ + ω µρ xρ + O(ω 2 )
µ
; δxµ ≡ x′ − xµ = ω µρ xρ . (2.99)
If Lorentz transformations are a symmetry of a physical system, then the
corresponding conserved currents are
1
J ν = T µν δxµ = T µν xρ ωµρ = T µν xρ [ωµρ − ωρµ ]
2
1 µν ρ 1
= [T x ωµρ − T µν xρ ωρµ ] = [T µν xρ ωµρ − T ρν xµ ωµρ ]
2 2
1
; Jν = ωµρ J µνρ with J µνρ ≡ T µν xρ − T ρν xµ . (2.100)
2
27
The continuity equations for the conserved currents J ν are,
∂ν J ν = 0 ; ∂ν J µνρ = 0, (2.101)
0 = ∂ν J µνρ = ∂ν [T µν xρ − T ρν xµ ]
= xρ ∂ν T µν + T µν ∂ν xρ − xµ ∂ν T ρν − T ρν ∂ν xµ
= xρ 0 + T νµ δνρ − xµ 0 − T ρν δνµ
= T µρ − T ρµ
; T µρ = T ρµ . (2.106)
does not exhibit an explicit symmetry in the indices µ and ν. However, the
energy momentum tensor is not uniquely defined. Let us consider a general
tensor of the form
∂ρ f ρνµ ,
28
which is antisymmetric in the indices ν, ρ:
f ρνµ = −f νρµ .
T µν → T̄ µν = T µν + ∂ρ f ρνµ (2.110)
29
Chapter 3
Quantization of the
Schrödinger field
30
equations, which are:
∂L ∂L
0 = ∂µ −
∂ (∂µ ψ) ∂ψ
∂L ∂L ∂L ∂ψ ∗ ∂i ∂ i ψ ∗
= ∂0 + ∂i − =i + +0
∂ (∂0 ψ) ∂ (∂i ψ) ∂ψ ∂t 2m
∇2
∂
;0 = i − ψ∗, (3.2)
∂t 2m
and
∂L ∂L
0 = ∂µ −
∂ (∂µ ψ ) ∂ψ ∗
∗
∂L ∂L ∂L ∂i ∂ i ψ ∂ψ
= ∂0 ∗
+ ∂i ∗
− ∗
= 0 + −i
∂ (∂0 ψ ) ∂ (∂i ψ ) ∂ψ 2m ∂t
2
∂ ∇
;0 = i + ψ. (3.3)
∂t 2m
Indeed, we obtain the Schrödinger equation for ψ and its complex conjugate
for ψ ∗ . A general solution of the above equations is a superposition of plane-
wave solutions,
d3~k ~2
~k)e−i(ωk t−~k~x) , with ωk = k .
Z
ψ(~x, t) = a( (3.4)
(2π)3 2m
H = π∂0 ψ + π ∗ ∂0 ψ ∗ − L
~
∇ψ ∗ ~
∇ψ
(∂i ψ ∗ ) (∂ i ψ)
;H = − = . (3.7)
2m 2m
31
Notice that this Hamiltonian density differs from
∗ 2 ~ ∗ ∇ψ
∇ψ ~ ~ ψ ∗ ∇ψ
∇ ~
ψ ∇ ψ
− = − , (3.8)
2m 2m 2m
by a total divergence which does not contribute to the Hamiltonian integral
H = d3~xH.
R
Substituting the general solution of Eq. 3.4 in the expression for the
Hamiltonian density, Eq. 3.7, we obtain
~
d3~xeik·~x = (2π)3 δ (3) (~k).
R
and we can perform the volume integration easily using
We find the following expression for the Hamiltonian,
d3~k
Z
H= 3
ωk a∗ (k)a(k). (3.11)
(2π)
and
[pi , pj ] = [qi , qj ] = 0. (3.14)
32
We can generalize this quantization procedure to systems of fields, with an
infintite number of degrees of freedom. Viewing fields as the continuum limit
of a discrete spectrum of degrees of freedom is particularly useful. In this
way, we can make the “discrete to continuum” correspondece:
i → ~x,
qi (t) → φ(~x, t)
pi (t) → π(~x, t). (3.15)
The corresponding quantization conditions for fields are:
[φ(~x1 , t), π(~x2 , t)] = iδ (3) (~x1 − ~x2 ), (3.16)
and
[φ(~x1 , t), φ(~x2 , t)] = [π(~x1 t), π(~x2 , t)] = 0. (3.17)
34
To emphasize that a∗ and ψ ∗ are now operators, we write
a∗ → a† , ψ ∗ → ψ † .
= (2π)3 δ (3) (~k − p~)a† (p)a(p) − (2π)3 δ (3) (~k − ~p)a† (p)a(p)
d3~k d3~k
Z Z
†
H= ω k a (k)a(k) ; H = ωk N(k). (3.30)
(2π)3 (2π)3
Obviously, it commutes with the number density operator,
" # Z
d3~k d3~k
Z
[N(p), H] = N(p), ω k N(k) = ωk [N(p), N(k)] = 0.
(2π)3 (2π)3
(3.31)
35
As a consequence, the eigenstates of the Hamiltonian can be found as eigen-
states of the “number density” operator, or the “particle number operator”,
defined as
d3~k d3~k †
Z Z
N̂ ≡ N(k) = a (k)a(k), (3.32)
(2π)3 (2π)3
and which also obviously commutes with the Hamiltonian.
From Eqs 3.27-3.28, we derive that
h i
N̂, a† (p) = +a† (p), (3.33)
and h i
N̂, a(p) = −a(p). (3.34)
; n ≥ 0. (3.38)
36
This condition is in an apparent contradiction with Eq. 3.34, since a repeated
application of the operator a(p) on a positive eigenvalue will eventually yield
an eigenstate with a negative eigenvalue. This is true , if all eigenstates are
not annihilated by the a(p) operator. Assume, however, that there is a state
|0i which is annihilated by a(p),
a(p) |0i = 0
d3 ~p †
Z
†
; a (p)a(p) |0i = 0 |0i ; a (p)a(p) |0i = 0 |0i
(2π)3
; N̂ |0i = 0 |0i
(3.40)
Then, Eq. 3.39 only permits to act on the vacuum state with a† operators,
producing eigenstates of the number operator with positive integer eigenval-
ues. For example, for a general state
Z 3
d p~1
|1particle i ≡ 3
f (p1 )a† (p1 ) |0i , (3.41)
(2π)
we have (exercise):
we have (exercise):
and so on:
N̂ |mparticles i = (+m) |mparticles i , (3.45)
37
with m 3
d p~i †
Z Y
|mparticles i ≡ 3
a (pi ) |0i f (p1 , . . . , pm ). (3.46)
i=1
(2π)
Exercise: Show the above for m=1 and m=2. Get convinced that
it is valid for arbitrary m.
d3~k
Z
P~ = N(k)~k (3.50)
(2π)3
38
Exercise: Show the above for m=1 and m=2. Get convinced that
it is valid for arbitrary m.
To summarize, we have proven that the states of Eq. 3.47 are simultaneous
eigenstates of the “number-operator”, the field Hamiltonian operator, and
the field momentum operator. Their eigenvalues are the number of particles,
the sum of their energies, and the number of their momenta respectively. We
therefore see that the quantization of the Schrödinger field is a very elegant
formalism to describe multi-particle states.
It turns out that the “number-operator” is also a conserved quantity.
The Lagrangian of the Schrödinger field has an additional symmetry which
is responsible for this. The Lagrangian is invariant under the symmetry
transformation:
You can prove that the corresponding charge to this symmetry transforma-
tion is Z
N̂ = d3~xJ 0 , with J 0 = ψ ∗ (~x, t) ∗ ψ(~x, t). (3.53)
39
The wave-function satisfies the Schrödinger equation, which for free particles
is: " #
N ~2
∂ X ∇x i
i + y(~x1 , . . . ~xN , t) = 0. (3.56)
∂t i=1 2m
Let us now look at a generic N-particle state of the previous section,
Eq. 3.46,
N
!
d3 p~i †
Z Y
|Nparticles i = a (pi ) |0i f (p1 , . . . , pN ), (3.57)
i=1
(2π)3
with, !
N
Y
|S(x1 , . . . , xN )i = ψ † (xi ) |0i , (3.59)
i=1
and
d3 p~i −i(ωpi t−~pi ~xi )
Z
˜ 1 , . . . , xN , t) =
f(x e f (p1 , . . . , pN ). (3.60)
(2π)3
i.e. it satisfies the Schrödinger equation. Therefore the function f˜, is identi-
fied as the wave-function y(x1 , . . . xN , t),
40
Using this observation, we write Eq.3.58 as
Z Y N
!
|Nparticles i = d3 x~i |S(x1 , . . . , xN )i h~x1 , . . . , ~xN | Nparticles i ,
i=1
"Z N
! #
Y
; |Nparticles i = d3 x~i |S(x1 , . . . , xN )i h~x1 , . . . , ~xN | |Nparticles i
i=1
"Z N
! #
Y
; 1 = |Nparticles i d3 x~i |S(x1 , . . . , xN )i h~x1 , . . . , ~xN | |Nparticles i
i=1
(3.63)
Inside the square bracket we have a unit operator, which leads us to the
conclusion that
|S(x1 , . . . , xN )i = |~x1 , . . . , ~xN i . (3.64)
We summarize the main result of this section, which connect the field opera-
tor formalism with the traditional wave-function description of non-relativistic
Quantum Mechanics.
41
Chapter 4
~p2
E= . (4.1)
2m
This is the correct energy-momentum relation in the non-relativistic limit.
Would it be possible to modify this procedure in such a way so that we obtain
the relativistic energy-momentum relation
E 2 = p2 + m2 ? (4.2)
with
E 2 = ~k 2 vsound
2
. (4.4)
42
a quantization can be made consistently, but let us assume that this is pos-
sible. Then “particles” from the quantization of the acoustic field (usually
called phonons) have the same energy-momentum relation as massless rela-
tivistic particles, if we were to identify the speed of sound as the speed of
light (vsound = c). It is easy to modify the Lagrangian for acoustic waves
so that the solutions for the field (Eq. 4.3), encode the correct relativistic
energy-momentum relation of Eq. 4.2 for massive particles. The correspond-
ing Lagrangian is
1 1
L = (∂µ φ) (∂ µ φ) − m2 φ2 . (4.5)
2 2
We will then attempt for the first time to write a quantum relativistic theory
of free particles, by quantizing the field φ whose dynamics is described by
this Lagrangian. In the case of acoustic waves, the field φ corresponds to the
amplitude of an oscillation, and it is therefore real.
43
A general real solution of the Klein-Gordon equation is:
d4 k
Z
µ
δ m2 − k 2 c(k)e−ik·x + c∗ (k)e+ik·x .
φ(x ) = 3
(4.10)
(2π)
The delta function requires that
q
2 µ 2
k = kµ k = m ; k0 = ±ωk , with ωk = ~k 2 + m2 . (4.11)
d3~k h
Z
~ ~
µ
φ(x ) = 3
c(ωk , ~k)e−i(ωk t−k~x) + c(−ωk , ~k)e+i(ωk t+k~x)
(2π) 2ωk
i
∗ ~ +i(ωk t−~k~
x) ~ −i(ωk t+~k~
x)
+c (ωk , k)e + c(−ωk , k)e (4.13)
d3~k d4 k d4 k (+) 2
Z Z Z
2 2
= δ(k − m )Θ(k 0 > 0) δ (k − m2 ), (4.15)
(2π)3 2ωk (2π)3 (2π)3
with
δ (+) (k 2 − m2 ) ≡ δ(k 2 − m2 )Θ(k0 > 0). (4.16)
The measure is invariant under orthochronous transformations which do not
change the sign of the time-like component of the integration variable.
44
4.1.2 Quantization of the real Klein-Gordon field
The conjugate momentum of the Klein-Gordon field, φ(~x, t), is
∂L
π= = ∂0 φ. (4.17)
∂(∂0 φ)
The Hamiltonian of the Klein-Gordon field is,
2
Z ~
(∂0 φ)2 + ∇φ + m2 φ2
3
H = d ~x . (4.18)
2
Substituting into the Hamiltonian integral the solution of Eq. 4.14, and per-
forming the integration over the space volume, we find:
d3~k ωk †
Z
†
H= a (k)a(k) + a(k)a (k) , (4.19)
(2π)3 2ωk 2
where we have promoted the field into an operator. We now impose commu-
tation relations for the field and its conjugate momentum,
and
[φ(~x1 , t), π(~x2 , t)] = iδ (3) (~x2 − ~x1 ) . (4.21)
With a straightforward calculation, we can verify (exercise) that the oper-
ators a and a† are written in terms of the φ and π operators as,
Z
~
a(k) = i d3~xei(ωk t−k~x) π(x,~ t) − iωk φ(~x, t) ,
(4.22)
and Z
~
†
d3~xe−i(ωk t−k~x) π(x,~ t) + iωk φ(~x, t) .
a (k) = −i (4.23)
Then we can compute the commutators that can be formed with a and a† .
We find (exercise),
and
† 3 (3) ~k1 − ~k2 .
a(k1 ), a (k2 ) = (2π) (2ωk1 )δ (4.25)
45
4.1.3 Particle states for the real Klein-Gordon field
We can now construct the particle number operator,
d3~k
Z
N̂ = a† (k)a(k), (4.26)
(2π)3 2ωk
for which we can prove that
h i
N̂, a(p) = −a(p), (4.27)
and h i
N̂, a† (p) = +a† (p). (4.28)
The above equations lead to the existence of a vacuum state |0i, which is
annihilated by the operator a(k),
The vacuum state is an eigenstate of the number operator with a zero eigen-
value,
N̂ |0i = 0 |0i . (4.31)
All other states can be produced from the vacuum state, by acting on it with
creation operators a† (pi ). A generic state
m
!
Y
|Ψm i ≡ a† (pi ) |0i , (4.32)
i=1
contains m particles,
N̂ |Ψm i = m |Ψm i . (4.33)
46
4.1.4 Energy of particles and “normal ordering”
We consider the simplest case for |Ψim state,
We can compute the energy level of the state by acting on it with the field
Hamiltonian operator,
d3~k ωk †
Z
a (k)a(k) + a(k)a† (k) |pi
H |pi = 3
(2π) 2ωk 2
d3~k ωk †
Z
2a (k)a(k) + a(k), a† (k) |pi
= 3
(2π) 2ωk 2
d3~k ωk †
Z
3 (3)
= 2a (k)a(k) + (2π) 2ω k δ (0) |pi
(2π)3 2ωk 2
Z
(3) 3~ ωk
; H |pi = ωp + δ (0) dk |pi . (4.36)
2
d3~k ωk †
Z
†
H |0i = a (k)a(k) + a(k)a (k) |0i
(2π)3 2ωk 2
d3~k ωk †
Z
†
= 2a (k)a(k) + a(k), a (k) |0i
(2π)3 2ωk 2
d3~k ωk †
Z
2a (k)a(k) + (2π)3 2ωk δ (3) (0) |0i
= 3
(2π) 2ωk 2
Z
(3) 3~ ωk
; H |0i = δ (0) dk |0i
2
Z
(3) 3~ ωk
; δ (0) dk = h0| H |0i = Evacuum . (4.37)
2
47
We find that the field Hamiltonian gives an energy eigenvalue for the vacuum
state in Eq. 4.37 which is equal to the same infinite constant that appeared
in the energy eigenvalue (Eq. 4.36) of the one-particle state. We can then
re-write Eq. 4.36 in an apparently innocent manner,
p
H |pi = p~2 + m2 + Evacuum |pi . (4.38)
48
This is equivalent to using the commutation relation [a(k), a† (k)] = (2π)3 2ωk δ (3) (0)
in order to put the creation operators to the right and dropping infinities
δ (3) (0). These leaves annihilation operators to the left, and guarantees that
the vacuum is automatically annihilated by the modified operator.
d3~k ~k †
Z
P~ = a (k)a(k) + a(k)a† (k)
3
(2π) 2ωk 2
d3~k ~ † δ (3) (0)
Z Z
= 3
k a (k)a(k) + d3~k ~k
(2π) 2ωk 2
3~
d k ~ †
Z
; P~ =
k a (k)a(k) . (4.45)
(2π)3 2ωk
Here, the infinity δ (3) (0) cancels because the momentum integral multiplying
it is vanishing due to the antisymmetry of the integrand under the transfor-
mation ~k → −~k. P~ commutes with both the Hamiltonian, with which it has
common eigenstates.
The momentum of the vacuum state is zero,
P~ |0i = 0. (4.46)
For example, it’s eigenvalue for the one-particle state |pi = a† (p) |0i is
h i
P~ |pi = P~ , a† (p) |0i = ~pa† (p) |0i = p~ |pi , (4.48)
etc.
49
4.1.6 Labels of particle states?
The main outcome of quantizing the real Klein-Gordon field, is a spectrum of
states which can be identified as states of many particles with definite energy
and momentum. A general state,
n
!
Y
|Ψn i ≡ a† (pi ) |0i , (4.49)
i=1
1 m21 2
L = (∂µ φ1 ) (∂ µ φ1 ) − φ
2 2 1
1 m22 2
+ (∂µ φ2 ) (∂ µ φ2 ) − φ. (4.53)
2 2 2
50
This Lagrangian yields two Klein-Gordon equations as equations of motions
for the fields φ1 and φ2 .,
∂ 2 + m21 φ1 = 0, ∂ 2 + m22 φ2 = 0,
(4.54)
with solutions
d3~k h ~ −ik·x
Z i
µ † ~ ik·x
φ1 (x ) = a1 ( k)e + a1 ( k)e , (4.55)
(2π)3 2ω1
d3~k h ~ −ik·x
Z i
µ † ~ ik·x
φ2 (x ) = a2 ( k)e + a2 ( k)e , (4.56)
(2π)3 2ω2
and q q
ω1 = ~k 2 + m21 , ω2 = ~k 2 + m22 . (4.57)
d3~k
Z
N̂ = N̂1 + N̂2 N̂i = a† (~k)ai (~k), (4.58)
(2π)3 2ωi i
d3~k ~k n † o
Z
~ ~
P = P1 + P2~ ~
Pi = a , ai , (4.59)
(2π)3 2ωi 2 i
d3~k ωi n † o
Z
H = H1 + H2 Hi = ai , ai . (4.60)
(2π)3 2ωi 2
We can construct particle states in the same fashion as with the La-
grangian of just a single Klein-Gordon field. Products of a†1 operators acting
on the vacuum state create relativistic particles with mass m1 , while a†2 op-
erators create particles with mass m2 . For example, the states
have
51
They are degenerate in that, they are single particle states with the same
momentum p~, however they can be distinguished by measuring the energy of
the particles as long as the masses m1 and m2 .
The possibility of m1 = m2 is interesting; states created with the a†1 or
a†2 operators are degenerate in both the energy and momentum.
To compute the conserved current we need to find the change δφi of the
fields under an infinitesimal symmetry transformation. We then expand,
φ1 → φ′1 = R1j φj
= (δ1j + θ1j ) φj = φ1 + θ11 φ1 + θ12 φ2
= φ1 + θ12 φ2
; δφ1 = θ12 φ2 , (4.70)
52
and, similarly,
δφ2 = θ21 φ1 = −θ12 φ1 . (4.71)
The Noether theorem current is,
∂L ∂L
Jµ = δφ1 + δφ2
∂ (∂µ φ1 ) ∂ (∂µ φ2 )
; Jµ = θ12 [(∂ µ φ1 ) φ2 − (∂ µ φ2 ) φ1 ] (4.72)
d3~k h
Z i
† †
Q = −i a1 (k)a2 (k) − a2 (k)a1 (k) . (4.74)
(2π)3 2ωk
A Noether charge is defined uniquely up to a constant multiplicative fac-
tor. Obviously, if Q is a time-independent (conserved) quantity, then also
λQ, where λ is a number constant, is also conserved. The normalization in
Eq. 4.74 is convenient yielding a Hermitian Q (exercise):
Q† = Q. (4.75)
and
[Q, a2 (p)] = +ia1 (p). (4.77)
Define the linear combinations,
a1 (p) + ia2 (p)
a(p) ≡ √ , (4.78)
2
and
a1 (p) − ia2 (p)
b(p) ≡ √ . (4.79)
2
53
These are indeed ladder operators (exercise), satisfying the following com-
mutation relations with the charge Q:
54
with
N̂ Ψ(+) = n Ψ(+)
n n (4.87)
n
!
X
P~ Ψn
(+)
p~i Ψ(+)
= n (4.88)
i=1
n q
!
X
H Ψ(+) p~i 2 + m2
(+)
n = Ψn (4.89)
i=1
Q Ψ(+) = +n Ψ(+)
n n (4.90)
Repeated application of the b† operator on the vacuum, builds states of
positive charge:
n
!
(−) Y
Ψn ≡ b† (pi ) , (4.91)
i=1
with
N̂ Ψ(−) = n Ψn(−)
n (4.92)
n
!
P~ Ψn
(−) X
p~i Ψn(−)
= (4.93)
i=1
n q
!
X
H Ψ(−) p~i 2 + m2
(−)
n = Ψ
n (4.94)
i=1
Q Ψ(−) = −n Ψ(−)
n n . (4.95)
To summarize the main results of this section, mass degeneracy resulted
to a new O(2) symmetry of the Lagrangian. This gives rise to a new con-
served quantity, the charge Q. A particle state, is now characterized by its
momentum, the mass of the particle (or equivalently the energy), and its
charge which can be either positive or negative. We have just demonstrated
a method to describe physical systems of particles which are accompanied by
their anti-particles.
55
rather than a1 , a2 . Substituting,
a+b a−b
a1 = √ , a2 = √ , (4.96)
2 2−
we find
d3~k h † ~ ~
Z i
† ~ ~k) ,
N̂ = a ( k)a( k) + b ( k)b( (4.97)
(2π)3 2ωk
d3~k ~k † †
Z
~
P = a ,a + b ,b (4.98)
(2π)3 2ωk 2
d3~k ωk † †
Z
H= a ,a + b ,b . (4.99)
(2π)3 2ωk 2
We can now re-write the field operators in terms of a and b. We find that
φ + φ† φ + φ†
φ1 = √ , φ2 = √ , (4.100)
2 2i
with
d3~k
Z q
−ik·c † ik·c
k = ωk = ~k 2 + m2 .
0
φ(x) = a(k)e + b (k)e ,
(2π)3 2ωk
(4.101)
We can cast the Lagrangian representing the fields in terms of φ and φ† ,
rather than φ1 and φ2 . We find,
1 ~ T ~ 1 2 ~ T
∂µ φ − m φ φ = (∂µ φ) ∂µ φ† − m2 φφ† ,
L= ∂µ φ (4.102)
2 2
where
~= φ1 φ1 + iφ2 † φ1 − iφ2
φ √
, and φ = ,φ = √ . (4.103)
φ2 2 2
The Lagrangian in the complex field representation, is more suggestive to
the fact that it yields particle and anti-particle states. We could compute the
Hamiltonian and momentum operators directly in terms of φ and φ† arriving
to the same expressions as in the representation with two real fields. To
compute the charge Q, we would need to identify what is the symmetry of
this new Lagrangian. It is perhaps already obvious that the Lagrangian is
invariant under a field phase-redefinition,
φ → e−iα φ, φ† → e+iα φ† . (4.104)
56
This is the equivalent of the rotation symmetry transformation that we have
found earlier, in the complex field representation. Let us verify this, by
performing a rotation on the vector φ, ~
φ1 cos θ sin θ φ1
→
φ2 − sin θ cos θ φ2
φ1 cos θ −i sin θ φ1
; →
iφ2 −i sin θ cos θ iφ2
; φ1 + iφ2 → e−iθ (φ1 + iφ2 )
; φ to e−iθ φ. (4.105)
There is an “ambiguity” worth noting, when applying Noether’s theorem
to find the conserved charged under the transformation φ → eiα φ and φ† →
e−iα φ† . The corresponding field variations are,
δφ = iαφ, δφ† = −iαφ† . (4.106)
Noether’s theorem states that the quantity,
∂L ∂L
Z
3 †
Q = d ~x δφ + δφ
∂(∂0 φ) ∂(∂0 φ† )
Z
d3~x πδφ + π † δφ†
;Q = (4.107)
57
we found the charge from the Klein-Gordon Lagrangian in the representation
of two-real fields before we “discovered” the U(1) symmetry of the Lagrangian
in the complex field representation. A conserved charge is a generator of the
symmetry transformation. Let us assume that a Lagrangian is symmetric
under a field transformation,
φi → φi + δφi (4.109)
We can associate the infinity δ 3 (0), with the volume of our physical system.
We have considered that the classical solutions for the fields extend to an
58
infinite volume, and we have performed all space integrations from −∞ to
∞. If we were to consider a finite volume, this delta function would be
replaced by the volume of integration. Recall that,
Z
~
d3~xe−ik·~x = (2π)3 δ (3) (~k). (4.113)
For ~k = 0, we have Z
V = d3~x = (2π)3 δ (3) (~0), (4.114)
and the density of the vacuum energy can be cast in the physically more
appealing form, p
Evacuum d3~k m2 + ~k 2
Z
ǫ= = . (4.115)
V (2π)3 2
A second source of infinity in the expressionp for the vacuum energy is the
integration over all frequency modes ωk = m2 + ~k 2 .
The value of the energy of the vacuum, does not enter physical predictions
and we may not worry that it comes out infinite. But we should be able to
see that the vacuum energy is different if, for a reason, the fields vanish in
some region of the space-volume if some frequencies ωk do not contribute
to the vacuum. This can be achieved, if the field is forces to satisfy some
boundary conditions. Let us assume, that the Klein-Gordon field is forced
to vanish on the planes x = 0 and x = L,
φ(x = 0, y, z, t) = φ(x = L, y, z, t) = 0. (4.116)
We should also assume that there is no mass term, m = 0, for convenience.
The boundary conditions filter only the wave-lengths with
nπ
kx = . (4.117)
L
One must make a careful promotion of the field into an operator. The general
field solution which in addition satisfies the boundary conditions is:
∞
µ
X nπx Z d2~k⊥ µ µ
φ(x ) = sin 2
a(k)e−ikµ x + a† (k)eikµ x , (4.118)
n=0
L (2π) 2ωk
with r
n2 π 2
ωk = ~k⊥
2
+ 2 . (4.119)
L
59
Notice that we only integrate over the perpendicular directions ky , kz , since
kx is discretized. Consequently, the volume integral δ (3) (0) will be replaced
by the surface of the planes δ (3) (0) → δ (2) (0) = S/(2π)2 .
The vacuum energy in the new configuration with the two “field-free”
planes is, q
Evacuum X
∞ Z
d2~k⊥
π 2 n2
L2
+ ~k⊥
2
= , (4.120)
S n=0
(2π)2 2
where we have defined ~k⊥ = (ky , kz ). S is now the surface of each planes. In
polar coordinates,
q
∞ Z π 2 n2 2
Evacuum X dk⊥ k⊥ L2
+ k⊥
= . (4.121)
S n=0
(2π) 2
There exists a value of δ for which the integral is well defined. We shall
perform our calculation for such a value, and then we shall try to analytically
continue the result to δ = 0. We change variables once again,
nπ
k⊥ = l⊥ , (4.123)
L
and we obtain,
∞
!Z
∞
Evacuum 1 π 3−δ X q
= n3−δ 1−δ
dl⊥ l⊥ 2
1 + l⊥
S 4π L n=1 0
∞
!Z
∞
1 π 3−δ 1
q
δ
X
2 2 −2 2
;ǫ= dl⊥ (l⊥ ) 1 + l⊥ (4.124)
8π L n=1
n−3+δ 0
60
Performing the change of variables,
2 x
l⊥ → , (4.126)
1−x
we find that the integral is,
Z ∞ q Z 1
δ−5
2 2 − δ2 δ
dl⊥ (l⊥ ) 2
1 + l⊥ = dxx− 2 (1 − x) 2 = B(1 − δ/2, −3/2 + δ/2).
0 0
(4.127)
where we have recognized the beta function,
Γ(x)Γ(y)
B(x, y) = . (4.128)
Γ(x + y)
The final result reads,
Evacuum 1 π 3−δ
= B(1 − δ/2, −3/2 + δ/2)ζ(δ − 3). (4.129)
S 8π L
Amazingly 1 , the limit δ → 0 exists and it is finite. We find,
Evacuum π2
=− . (4.130)
S 1440L3
The vacuum energy depends on the distance between the two planes, on
which the field vanishes. Can we realize this in an experiment?
The electromagnetic field is zero inside a conductor. If we place two
“infinite” conducting sheets parallel to each other at a distance L, then we
can reproduce the boundary conditions of the setup that we have just studied.
The quantization of the electromagnetic field is rather more complicated than
the Klein-Gordon field, but as far as the vacuum energy is concerned, we shall
see that they are very similar.
Our analysis, leads to an amazing prediction. Two electrically neutral
conductors attract each other. This is known as the Casimir effect. Notice,
that the energy of the vacuum Evacuum gets smaller when the conducting
plates are closer. Therefore, there is an attractive force between them. This
is an effect that it has been verified experimentally.
The force per unit area (pressure or rather anti-pressure) between the two
conductors is:
∂ Evacuum
S π2
F =− =− . (4.131)
∂L 480L4
1
Many subtleties have been swept under the carpet in this calculation. They will
become clear when we introduce properly the method of dimensional regularization.
61
4.5 Can the Klein-Gordon field be an one-
particle wave-function?
In the previous chapter, we performed the quantization of the Schrödinger
field. We found out that field quantization, although an elegant formalism,
it was not indispensable. We were able to connect this formalism with a tra-
ditional description where the Schrödinger field was taken to be directly, a
wave-function of a single particle. It is a question worth answering, whether
field quantization is truly necessary for a relativistic field or it is just a su-
perfluous formalism.
An one-particle wave-function, as a probability amplitude, is in general
complex. We will then assume that the complex Klein-Gordon field is one.
Recall that the Lagrangian is written as,
as a probability density.
An attempt to repeat the same steps for the case of the Klein-Gordon
field fails badly. The “total probability” integral is now the charge,
Z h i
3 ∗ ∗
Q = d ~x ψ(~x, t)ψ̇ (~x, t) − ψ̇(~x, t)ψ (~x, t) , (4.136)
62
with a “density”
63
Chapter 5
i∂t → E,
(iγ µ ∂µ − m) ψ = 0. (5.1)
; (−iγ ν ∂ν − m) (iγ µ ∂µ − m) ψ = 0
; γ µ γ ν ∂µ ∂ν + m2 ψ = 0
1 µ ν 1 ν µ 2
; γ γ ∂µ ∂ν + γ γ ∂ν ∂µ + m ψ = 0
2 2
1 µ ν 1 ν µ 2
; γ γ ∂µ ∂ν + γ γ ∂µ ∂ν + m ψ = 0
2 2
1 µ ν 2
; {γ , γ } ∂µ ∂ν + m ψ = 0, (5.2)
2
64
which for
{γ µ , γ ν } = 2g µν , (5.3)
gives the Klein-Gordon equation.
In other words, if we can construct objects γ µ which satisfy the algebra
of Eq. 5.3, known as Clifford algebra, then every solution ψ(~x, t) of the Dirac
equation, will also be a solution of the Klein-Gordon equation.
The objects γ µ are anti-commuting and they cannot be just numbers.
They have to be matrices. The first dimensionality for which we can find
four non-commuting matrices γ 0 , γ 1 , γ 2 , γ 3 is four. In the following we shall
construct the so called “gamma-matrices” in four dimensions.
65
and
Tr (σi ) = 0. (5.10)
The Pauli matrices, together with the unit matrix I2×2 constitute a basis
of general 2 × 2 matrices M2×2 . We write,
3
X
M2×2 = a0 I2×2 + ai σi . (5.11)
i=1
and (exercise),
Tr (σk M) = 2ak . (5.13)
We can therefore write,
3
Tr (M) X Tr (Mσi )
M2×2 = I2×2 + σi . (5.14)
2 i=1
2
66
(A ⊗ B)† = A† ⊗ B † , (5.19)
(A + C) ⊗ B = A ⊗ B + C ⊗ B, (5.20)
A ⊗ (B + C) = A ⊗ B + A ⊗ C, (5.21)
and
(A1 ⊗ B1 ) (A2 ⊗ B2 ) = A1 A2 ⊗ B1 B2 . (5.22)
{γ µ , γ ν } = 2g µν I4×4 . (5.25)
We find,
2
γ0 = (I2×2 ⊗ σ3 ) (I2×2 ⊗ σ3 )
2
= I2×2 ⊗ σ32 = I2×2 ⊗ I2×2 = I4×4
0 0
; γ ,γ = 2g 00 I4×4 . (5.26)
Also, for the anti-commutator γ j , γ k with j, k = 1, 2, 3 we have
j k
γ ,γ = γj γk + γkγj
= (σj ⊗ (iσ2 )) (σk ⊗ (iσ2 )) + (σk ⊗ (iσ2 )) (σj ⊗ (iσ2 ))
= σj σk ⊗ (iσ2 )2 + σk σj ⊗ (iσ2 )2
= {σj , σk } ⊗ (−I2×2 ) = (2δjk I2×2 ) ⊗ (−I2×2 )
j k
; γ ,γ = −2δ jk I4×4
j k
; γ ,γ = 2g jk I4×4 . (5.27)
67
Finally, the anti-commutator {γ 0 , γ j } with j = 1, 2, 3 is
0 j
γ ,γ = γ 0γ j + γ j γ 0
= (I2×2 ⊗ σ3 ) (σj ⊗ (iσ2 )) + (σj ⊗ (iσ2 )) (I2×2 ⊗ σ3 )
= σj ⊗ (iσ2 σ3 ) + σj ⊗ (iσ3 σ2 )
= σj ⊗ (i {σ2 , σ3 })
= σj ⊗ i2δ 23 I2×2 = σj ⊗ 02×2 = 04×4
; γ 0, γ j = 2g 0j I4×4 .
(5.28)
We have therefore found a set of γ- matrices satisfying the Clifford alge-
bra. This set is not unique. Let us define new matrices,
γ µ′ = M4×4
−1 µ
γ M4×4 , (5.29)
with M4×4 any 4 × 4 matrix with an inverse. Then,
µ′ ν ′ −1
γ ,γ = M4×4 {γ µ , γ ν } M4×4
= 2g µν M4×4
−1
I4×4 M4×4
µν
= 2g I4×4 . (5.30)
The matrices γ µ′ satisfy the same algebra, furnishing a different representa-
tion.
Let us now compute the hermitian conjugate of the γ−matrices. We find
γ µ† = γ 0 γ µ γ 0 , (5.31)
which can also be written as,
2
γ 0 γ µγ 0 = γ 0 γ µ, γ 0 − γ 0 γ µ
= 2g µ0 γ 0 − γ µ . (5.32)
Explicitly, γ-matrices are hermitian for µ = 0,
†
γ 0 = γ 0, (5.33)
while they are anti-hermitian for µ = j = 1, 2, 3
†
γ j = −γ j . (5.34)
It is easy to verify this in the Dirac representation. We have
†
γ 0 = (I2×2 ⊗ σ3 )† = I2×2
†
⊗ σ3† = I2×2 ⊗ σ3 = γ 0 , (5.35)
and
†
γ j = (σj ⊗ (iσ2 ))† = σj† ⊗ (−iσ2† ) = σj ⊗ (−iσ2 ) = −γ j . (5.36)
68
5.3 Traces of γ− matrices
We can prove that γ−matrices are traceless in every representation. Let us
start with
Tr (γ µ γ ν γ µ ) = Tr γ ν (γ µ )2 = Tr (γ ν g µµ ) = g µµ Tr (γ ν )
(5.37)
Tr (γ µ γ ν γ µ ) = Tr (γ µ {γ ν , γ µ }) − Tr (γ µ )2 γ ν = 2g µν Tr (γ µ ) − g µµ Tr (γ ν ) .
(5.38)
For µ 6= ν, we then have
g µµ Tr (γ ν ) = −g µµ Tr (γ ν ) ; Tr(γ ν ) = 0. (5.39)
γ5 = iγ 0 γ 1 γ 2 γ 3 . (5.41)
69
• There are four independent products of three γ−matrices, γ 0 γ 1 γ 2 ,
γ 1 γ 2 γ 3 , γ 2 γ 3 γ 1 and γ 3 γ 1 γ 0 . These can be written as a linear com-
bination of
γ 5 γ µ, (5.43)
and products of two only γ−matrices, by using the Clifford algebra.
γ5 = iγ 0 γ 1 γ 2 γ 3
= i (I2×2 ⊗ σ3 ) (σ1 ⊗ (iσ2 )) (σ2 ⊗ (iσ2 )) (σ3 ⊗ (iσ2 ))
= i (σ1 σ2 σ3 ) ⊗ (−iσ3 σ2 )
i iσ32 ⊗ (−σ1 ) = I2×2 ⊗ σ1
=
0 I2×2
; γ5 = . (5.45)
I2×2 0
with j, k = 1, 2, 3.
A general 4 × 4 matrix has 16 independent components. From a repre-
sentation of γ−matrices we can construct 15 independent 4 × 4 matrices.
Together with the unit matrix I4×4 , they constitute a basis. In other words,
a general 4 × 4 matrix M can be written as,
70
5.5 Lagrangian for the Dirac field
After this survey of the properties of γ−matrices, we return to the Dirac
equation,
(i6∂ − mI4×4 ) ψ = 0. (5.48)
We have introduced the “slash” notation:
6a ≡ γ µ aµ , 6∂ ≡ γ µ ∂µ . (5.49)
(i6∂ − mI4×4 ) ψ = 0
; −i (γ µ ∂µ ψ)† − mψ † = 0
; −i ∂µ ψ † γ µ† − mψ † = 0
; −i ∂µ ψ † γ 0 γ µ γ 0 − mψ † = 0
(5.51)
−i ∂µ ψ † γ 0 γ µ (γ 0 )2 − mψ † γ 0 = 0
; −i ∂µ (ψ † γ 0 γ µ − m(ψ † γ 0 ) = 0.
(5.52)
We now define,
ψ̄ ≡ ψ † γ 0 . (5.53)
Then, the Hermitian conjugate of the Dirac equation reads
71
We can obtain the Dirac equation and its conjugate from a Lagrangian
density,
L = ψ̄ (i6∂ − m) ψ. (5.55)
Exercise: Derive the Euler-Lagrange equations for the spinor field
components ψa and ψ̄a .
This is a very important piece of information if we want to quantize the Dirac
field ψ. We will postpone the quantization of the Dirac field until after we
gain a deeper understanding of the origin of the Lagrangian, and the Lorentz
transformation properties of spinor fields.
72
Chapter 6
A fundamental requirement for physical laws is that they must be valid for
all relativistic observers. Let us consider fields φi (xµ ) describing a physical
system, in a certain coordinate reference frame. Consider now a different
relativistic observer. Space-time coordinates in the frame of the two observers
are related with a Lorentz transformation,
The new observer will have to transform appropriately both fields and coor-
dinates when computing the Lagrangian,
We will require that the action is the same for both observers. In this way, if
it is an extremum for the physical values of φi (x) in the first reference frame,
it will also be an extremum for the physical values of the field φ′i (x′ ) in the
second relativistic frame. For proper Lorentz transformations (det (Λµν ) = 1)
we have
µ′
4 ′ 4 ∂x
d x = d x det = d4 x det (Λµν ) = d4 x. (6.3)
∂xν
Then Z Z
′ 4
S=S ; d xL(x) = d4 xL′ (x′ ) ; L(x) = L′ (x′ ). (6.4)
73
We have just found that we can write relativistically invariant actions, and
therefore physical laws for all relativistic observers, if the Lagrangian density
is a scalar, i.e. it does not transform under a Lorentz transformation:
p2 = m2 . (6.6)
Similarly, µ
∂ µ → ∂ µ′ = Λ−1 ν
∂ν . (6.8)
74
6.1 Field transformations and representations
of the Lorentz group
In this section, we will examine the allowed possibilities for linear field trans-
formations 1 ,
φi(x) → φ′i (x′ ) = M(Λ)ij φj (x) (6.9)
under a space-time Lorentz transformation
xµ → Λµν xν . (6.10)
Lorentz transformations are a group, i.e if we perform two successive
Lorentz transformations,
x → x′ = Λx,
and
x′ → x′′ = Λ′ x′ ,
this is equivalent to performing a direct Lorentz transformation
x → x′′ = Λ′′ x,
with
Λ′′ = Λ′ Λ. (6.11)
How about the matrices M(Λ)ij ? Consider again the transformation x →
x′′ = Λ′′ x, where the field is transformed as,
φ(x) → φ′′ (x′′ ) = M(Λ′′ )φ(x). (6.12)
We can arrive to the frame x′′ by performing successive Lorentz transforma-
tions, x → x′ = Λx → x′′ = Λ′ x′ = Λ′ Λx. Then we have that,
φ′′ (x′′ ) = M(Λ′ )φ′ (x′ ) = M(Λ′ )M(Λ)φ(x). (6.13)
For the last two equations to be consistent with each other, field transforma-
tions M(Λ) must obey:
M(Λ′ Λ) = M(Λ′ )M(Λ). (6.14)
In group theory terminology, this means that the matrices M(Λ) furnish
a representation of the Lorentz group. Field Lorentz transformations are
therefore not random, but they can be found if we find all (finite dimension)
representations of the Lorentz group.
1
Non-linear transformations “can be made” linear, and are not necessary to consider
(eg BRST symmetry in QFTII)
75
6.2 Scalar representation M (Λ) = 1
The simplest representation M(Λ) is the scalar representation, where a field
φ(x) does not change under Lorentz transformations,
φ(x) → φ′ (x′ ) = φ(x). (6.15)
A Lagrangian of a scalar field and its derivatives must have the transfor-
mations of the derivatives canceled among themselves. A single derivative
term,
∂µ φ
is not a scalar. The minimum number of derivatives that are needed for a
scalar is two,
(∂µ φ) (∂ µ φ) , φ∂ 2 φ.
The second term is actually equivalent to the first up to a total divergence.
Let us assume that a Lagrangian contains this term,
L = (∂µ φ) (∂ µ φ) + . . . (6.16)
Then we can find the mass dimension of the field φ, by requiring that the
action is dimensionless (in natural units where c = h̄ = 1 ).
Z
0
[mass] = [S] = d xL = [x]4 [L] = [mass]−4 [L]
4
(6.17)
which means that all Lagrangian densities must have mass dimensionality 4,
[L] = [mass]4 . (6.18)
From this we find that a scalar field φ has a mass dimensionality one,
[(∂µ φ) (∂ µ φ)] = [mass]4
; [∂µ ]2 [φ]2 = [mass]4
; [mass]2 [φ]2 = [mass]4
; [φ] = [mass]1 . (6.19)
A relativistically invariant Lagrangian may include terms with no deriva-
tives, of the type
φn .
Notice that the Klein-Gordon equation
1 m2 2
LKlein−Gordon = (∂µ φ) (∂ µ φ) − φ, (6.20)
2 2
is, indeed, invariant under Lorentz transformations.
76
6.3 Vector representation M (Λ) = Λ
Another representation of the Lorentz group which is easy to figure out is
the vector representation, corresponding to
Terms where all Lorentz indices are contracted are invariant under Lorentz
transformations, Exercise: Show that the following terms are invari-
ant under Lorentz transformations
Lorentz invariance is not the only symmetry that is required for free fields.
For, example, the Lagrangian for the electromagnetic field is (as we shall see
in detail)
1
LEM = − [(∂µ Aν ) (∂ µ Aν ) − (∂µ Aν ) (∂ ν Aµ )] , (6.24)
2
where only a certain combination out of two dimension four operators with
two derivatives is present in the Lagrangian. This is because of an addi-
tional symmetry under gauge transformations which constrains further the
Lagrangian form. Invariance of the Lagrangian under Lorentz transforma-
tions is a definite requirement for relativistic theory, but this is not sufficient
in order to determine its exact form.
77
and any n × n matrix representation of this transformation,
Mab (Λµν ) = Mab (δνµ + ωνµ ) , a, b = 1 . . . n (6.26)
can be expanded in the small parameters ωνµ ,
∂Mab (Λ)
Mab (Λµν ) = Mab (δνµ ) + ωµν + O(ω 2 ). (6.27)
∂ωµν ω=0
The n−dimensional representation Mab (δνµ ) of the unit transformation is the
n × n unit matrix,
Mab (δνµ ) = In×n . (6.28)
The derivatives of the representation matrices M with respect to the small
transformation parameters define the so called generators of the representa-
tion,
1 ∂Mab (Λµν )
µν
(JM )ab ≡ . (6.29)
i ∂ωµν ω=0
The generators form a basis, such that the representation of every small
Lorentz transformation can be written as a linear combination of the gen-
erators plus the unit,
µν
Mab (Λ) = In×n + iωµν JM . (6.30)
Finite Lorentz transformations are also generated by exponentiating lin-
ear combinations of the generators. If Λµν is not expandable in small param-
eters, we can use the representation property,
M(Λ) = M(Λ1 ) . . . M(ΛN ), with Λ = Λ1 Λ2 . . . ΛN (6.31)
and construct it from the infinite product of infinitesimal Lorentz transfor-
mations with small parameters ωij /N,
ωµν µν N µν
M(Λ) = lim In×n + i JM = eiωµν JM . (6.32)
N →∞ N
The generators of a group representation is all we ever need to determine
completely the representation.
The full set of commutators of the generators define what is known as
the Lie algebra of the group. Consider a Lorentz transformation Λ made up
from the following sequence of small transformations,
Λ = Λ1 Λ2 Λ−1 −1
1 Λ2 . (6.33)
78
The representation of Λ is then
Now we take seriously the statement that representations M(Λ) of any small
transformation Λ can be written as a linear combination of the generators
X
of the representation plus the unit matrix. There must exist parameters ωµν
such that
(X) αβ
M(Λ) = In×n + iωαβ JM + . . . (6.35)
From the last equations we have that
(1) (2) µν ρσ (X)αβ
ωµν ωρσ [JM , JM ] = iωαβ JM . (6.36)
Notice that the number of generators JM is finite and always the same for
every representation of the group. Specifically for the Lorentz group we can
Λ
write only six independent derivatives limωµν →0 ∂M
∂ωµν
for a given representa-
tion M (recalling the antisymmetry of ωµν = −ωνµ ).
Eq. 6.36 tells us that the commutator of two generators is a linear com-
bination of generators,
µν ρσ αβ αβ
[JM , JM ] = iCµνρσ JM . (6.37)
αβ
The coefficients Cµνρσ as known as structure constants. Powerful theorems
from group theory state the following:
1. The structure constants are indeed constants. The same ones irrespec-
tive of the choices of group parameters ω in Eq. 6.36.
2. The structure constants are characteristic of the group and they are
the same for all representations M(Λ).
• First, we will use any of the representations that we already know, the
scalar or vector representation, in order to find the structure constants
αβ
Cµνρσ of the Lorentz group.
79
µν
• Then we shall attempt to find matrices Jn×n for each finite dimension
n which satisfy the same commutation relations (known as Lie algebra)
of Eq. 6.37. If we succeed, then we have found an n × n representation
of the generators, and by exponentiation, an n × n representation of
the group.
with the generators of the Lorentz group in the scalar representation being:
µν
Jscalar = −i (xµ ∂ ν − xν ∂ µ ) . (6.42)
80
With one representation of the group generators at hand we can find the
structure constants. An explicit calculation (exercise) yields the identity,
µ1 µ2 µ3 µ4
[Jscalar , Jscalar ]=
µ2 µ3 µ1 µ4 µ2 µ3 µ1 µ3 µ2 µ4
i (g Jscalar + g µ1 µ4 Jscalar − g µ2 µ4 Jscalar − g µ1 µ3 Jscalar ). (6.44)
This is the Lie algebra of the Lorentz group, and we expect it to be satisfied
by every other representation of the generators.
81
We can now compute explicitly (exercise) the commutator,
µ1 µ2 µ3 µ4
[Jvector , Jvector ]αβ =
h i
µ1 µ4 µ2 µ3 µ1 µ3 µ2 µ4
i g µ2 µ3 (Jvector )αβ + g µ1 µ4 (Jvector )αβ − g µ2 µ4 (Jvector )αβ − g µ1 µ3 (Jvector )αβ .
(6.49)
We find that the commutators of the vector representation satisfy the same
Lie algebra as in the scalar representation (Eq. 6.44), which is of course what
we expect from the theory of Lie groups.
[S µ1 µ2 , S µ3 µ4 ] =
i (g µ2 µ3 S µ1 µ4 + g µ1 µ4 S µ2 µ3 − g µ2 µ4 S µ1 µ3 − g µ1 µ3 S µ2 µ4 ) . (6.51)
Therefore, they are generators of a new representation for the Lorentz group,
which is neither the scalar nor the vector representation. We call this new
representation “spinor” representation. A spinor field
ψ1 (x)
ψ2 (x)
ψ(x) = ψ3 (x) ,
(6.52)
ψ4 (x)
82
with a finite spinor transformation being
i µν
Λ 1 = e− 2 ωµν S . (6.54)
2
Exercise: Prove Eq. 6.57 in the case of very small Lorentz transfor-
mations, by expanding in the transformation parameters ωµν both
sides of the equation and using Eq 6.56.
In the same manner, we verify that:
Λ 1 γ µ Λ−1
1 = (Λ−1 )µν γ ν . (6.58)
2 2
; ψ † → ψ † Λ†1
2
†
i
≃ ψ† 1 − ωµν S µν
2
† i † µν
≃ ψ 1+ ωµν S
2
(6.59)
83
We also have,
†
† µν i µ ν i i 0 µ 0 0 ν 0
= − γ ν † , γ µ† =
S = [γ , γ ] γ γ γ ,γ γ γ
4 4 4
; S µν † = γ 0 S µν γ 0 . (6.60)
Thus, we have for the transformation of the conjugate spinor field,
† † 0 i µν
ψ → ψ γ 1 + ωµν S γ 0, (6.61)
2
and for finite Lorentz transformations,
ψ † → ψ † γ 0 Λ−1 0
1 γ . (6.62)
2
We observe that ψ † does not really transform with the inverse transformation
of ψ. However, ψ̄ does. Multiplying from the left with γ 0 both sides of the
above transformation rule, we obtain
2
ψ † γ 0 → ψ † γ 0 Λ−1
1 γ0
2
; ψ̄ → ψ̄Λ−1
1 . (6.63)
2
It is now obvious that the mass term in the Dirac Lagrangian is Lorentz
invariant,
mψ̄ψ → mψ̄Λ−11 Λ 1 ψ = mψ̄ψ. (6.64)
2 2
84
6.7 General representations of the Lorentz
group
The scalar, vector, and spinor representations are the simplest representa-
tions of the Lorentz group. However, there is an infinite number of n × n
representations. All of them can be found easily by observing that the Lie
algebra of the Lorentz group is the same as for an SU(2) × SU(2) group. Let
us consider the generators in an arbitrary representation, which satisfy the
commutation relationship,
[J µ1 µ2 , J µ3 µ4 ] =
i (g µ2 µ3 J µ1 µ4 + g µ1 µ4 J µ2 µ3 − g µ2 µ4 J µ1 µ3 − g µ1 µ3 J µ2 µ4 ) .
(6.66)
We now define the linear combinations,
Ki ≡ J 0i , (6.67)
and
1
Li ≡ ǫijk J jk . (6.68)
2
We can change the basis of generators comprising from the six 2 generators
J µν with the linear combinations {Li , K i }. The generators Li are generators
of rotations around the axis−i, and the generators K i are generators of boosts
in the direction−i (exercise: demonstrate this for the generators in
the vectorial representation). Rotations are a subgroup of the Lorentz
group, which satisfy an SU(2) algebra. We find the commutation relations,
[Li , Lj ] = iǫijk Lk . (6.69)
However, boosts do not form a subgroup of the Lorentz group. Two boosts
in two different directions are not a boost in a third direction, but rather a
rotation. We find that the commutators of boost generators are,
85
Define now the linear combinations,
Li ± iKi
Ji± ≡ . (6.72)
2
Then the Lie algebra breaks into two independent SU(2) algebras,
+ +
Ji , Jj = iǫijk Jk+ , (6.73)
− −
Ji , Jj = iǫijk Jk− , (6.74)
and + −
Ji , Jj = 0. (6.75)
We have already learned about the representations of the SU(2) group in
Quantum Mechanics. These can be labeled according to a “spin” number,
1 3
j = 0, , 1, , . . .
2 2
Each representation acts on (2j + 1) objects ψm with
m = −j, −j + 1, . . . j − 1, j, (6.76)
86
As an exercise, you can prove that indeed this set of gamma-matrices
satisfies the Clifford algebra,
{γ µ , γ ν } = 2g µν I4×4 . (6.79)
87
The two-dimensional objects,
ψ1 ψ3
ψL ≡ and ψR ≡ , (6.87)
ψ2 ψ4
are called “Weyl spinors” and transform independently under a Lorentz
transformation,
′ i ~ ~
ψL → ψL = 1 − θ − iβ · ~σ ψL , (6.88)
2
and
i ~
ψR → ψR′ = 1− θ + iβ~ · ~σ ψR . (6.89)
2
In an exponential form,
ψL → ψL′ = ΛL ψL and ψL → ψR′ = ΛR ψR , (6.90)
with
~ ~
ΛL = e− 2 (θ−iβ )·~σ ,
i
(6.91)
and
~ ~
ΛR = e− 2 (θ+iβ )·~σ .
i
(6.92)
The two-transformations are connected via complex conjugation.
Exercise: First we prove the identity,
σ2~σ ∗ = −~σ σ2 . (6.93)
The spinor
ψLc ≡ σ2 ψL∗ , (6.94)
transforms as,
i ~
σ2 ψL∗ → σ2 (1 − θ − iβ~ · ~σ )∗ ψL∗
2
i ~
= σ2 (1 + θ + iβ~ · ~σ ∗ )ψL∗
2
i ~
= (1 − θ + iβ~ · ~σ )σ2 ψL∗
2
88
6.8.1 The Dirac equation with Weyl spinors
We now write the Dirac equation in terms of Weyl spinors ψL and ψR ,
0 = (i6∂ − m) ψ
= iγ 0 ∂0 + iγ j ∂j − m14×4 ψ
= ~ − m12×2 ⊗ 12×2 ψ
i(I2×2 ⊗ σ1 )∂0 − i (~σ ⊗ (iσ2 )) ∇
−m ~
i ∂0 + ~σ · ∇
ψL
; = 0. (6.97)
~
i ∂0 − ~σ · ∇ −m ψR
The mass m mixes the two Weyl spinors ψL , ψR . However, for a massless
particle the Dirac equation is diagonalized into two independent equations
for the Weyl spinors,
~ R,
∂0 ψR = −~σ · ∇ψ (6.98)
and
~ L.
∂0 ψL = ~σ · ∇ψ (6.99)
These are known as Weyl equations.
89
Chapter 7
In this chapter, we shall solve classically the equations of motion for the Dirac
field, i.e. the classical Dirac equation. As we have already demonstrated, a
field ψ which satisfies the Dirac equation it also satisfies the Klein-Gordon
equation. So, it must admit a plane-wave solution. We consider first the
general case
ψ(x) = u(p)e−ip·x , (7.1)
with
p2 = m2 . (7.2)
For now, we shall restrict ourselves to the cases with positive energy solu-
tions, p0 > 0. Substituting into the Dirac equation, we obtain additional
restrictions for the spinor u(p),
(i6∂ − m) u(p)e−ip·x = 0
90
where we write the four-component spinor u(p) in terms of two Weyl-spinors
ξ, η with two components each:
ξ
u(p) ≡ . (7.5)
η
and equivalently
′ ′
u′ (p′ )e−ip ·x = Λ 1 u(p)e−ip·x
2
′ −i(Λp)·(Λx)
; u (Λp)e = Λ 1 u(p)e−ip·x
2
; u′ (Λp)e−ip·x = Λ 1 u(p)e−ip·x
2
The strategy for finding a general solution u(p) is then simple. We first solve
the Dirac equation for an especially simple value of the momentum pµ , and
then we perform a Lorentz transformation to obtain the result for a general
value of the momentum.
yielding,
−mI2×2 mI2×2 ξ 0
= , (7.10)
mI2×2 −mI2×2 η 0
91
and, equivalently,
ξ = η. (7.11)
The general solution for the spinor u in the rest frame is,
√
ξ
u p = (m, ~0) = m
µ
. (7.12)
ξ
√
The factor m is a convenient normalization for future purposes, and the
Weyl spinor ξ is arbitrary. We can choose it to be a linear combination,
X
ξ= cs ξ s , (7.13)
s=+,−
with
+ 1 − 0
ξ = , and ξ = . (7.14)
0 1
Notice that this basis diagonalizes σ3 , with
σ3 ξ ± = ±ξ ± . (7.15)
From this solution of the Dirac equation in the rest frame, we can go to
any other momentum value with a boost.
92
which is conveniently written as,
0′ 0
p p
3′ = (I2×2 + Y σ1 ) . (7.20)
p p3
We can then invert the above equations and compute the parameter Y which
generates the Lorentz boost, known as rapidity, in terms of the components
of the boosted momentum. We find (exercise:)
E + p3 E − p3 1 E + p3
eY = , e−Y = , Y = ln . (7.24)
m m 2 E − p3
Let us now find the transformation of a spinor, under the same Lorentz
93
boost. The transformation matrix is,
i µν i 03 − i ω S 30 Y
Λ 1 = e− 2 ωµν S = e− 2 ω03 S 2 30 = e− 2 σ3 ⊗σ3
2
∞ n
X − Y2
= (σ3 ⊗ σ3 )n
n=0
n!
∞ n
X − Y2
= σ3n ⊗ σ3n
n=0
n!
∞ n ∞n
X − Y2 − Y2X
= ⊗ σ3n
+ σ3n σ3n ⊗ σ3n
n=odd
n! n=even
n!
n
∞
X −Y X −Y n
∞
2 2
= σ3 ⊗ σ3 + I2×2 ⊗ I2×2
n! n=even
n!
n=odd
Y Y
; Λ1 = cosh I2×2 ⊗ I2×2 − sinh σ3 ⊗ σ3 . (7.25)
2 2 2
Applying this spin boost transformation to our solution of the Dirac equation
at the rest frame, we obtain
√
s
ξ
u(p) = Λ 1 m
2 ξs
hp i
(1−σ3 ) (1+σ3 )
p
3
E+p 2 + E −p 2 3 ξs
; us (p) = hp i (7.26)
E + p3 (1+σ 3) 3 (1−σ3 ) ξ s
p
2
+ E − p 2
where we have used the expression for the rapidity, derived in Eq. 7.24. We
observe that, 2
1 ± σ3 1 ± σ3
= , (7.27)
2 2
or, equivalently, r
1 ± σ3 1 ± σ3
= . (7.28)
2 2
We can then collect all terms in Eq. 7.26 under a common square root,
q
(E + p 3 ) (1−σ3 ) + (E − p3 ) (1+σ3 ) ξ s
2 2
us (p) = q
3 (1+σ ) 3 (1−σ 3) s
(E + p ) 2 + (E − p ) 2 ξ
3
(7.29)
94
which simplifies to p
3σ ξ s
s E − p 3
u (p) = p (7.30)
E + p3 σ3 ξ s
This is the general solution for the spinor u(p), when pµ = (E, 0, 0, p3).
You can verify (exercise) that this is actually a solution of the Dirac equation
for an arbitrary vector pµ . For this, you will need the generally useful identity,
(σ · p)(σ̄ · p) = p2 = m2 , (7.34)
in Eq. 7.4.
95
Another possibility is,
Substituting into the Dirac equation we find that the spinor v s (p) satisfies
Repeating the same steps as for u(p), we find this equation is satisfied by
spinors √
σ · p ξs
s √
v (p) = . (7.39)
− σ̄ · p ξ s
A general solution for the classical Dirac equation is,
XZ d3 ~p
as (p)us (p)e−ip·x + b∗s (p)v s (p)e+ip·x ,
ψ(x) = 2
(7.40)
s
(2π) 2ωp
96
Chapter 8
L = ψ̄ (i6∂ − m) ψ. (8.3)
We also find,
d3 p~ X †
Z
† 0
as (p)ūs (p)e+ip·x + bs (p)v̄s† (p)eip·x .
ψ̄(~x, t) ≡ ψ (~x, t)γ = 3
(2π) 2ωp s
(8.5)
In terms of ψ and ψ̄, the operators aa , bs are written as,
Z
as (p) = d3~xūs (p)eip·x γ 0 ψ(x), (8.6)
97
and Z
bs (p) = d3~xψ̄(x)γ 0 e−ip·x vs (p). (8.7)
which can be derived easily from the explicit expressions for us (p), vs (p) of
the last chapter.
Using Noether’s theorem, we can compute the Hamiltonian of the Dirac
field, which is
d3~k
Z X
a†s (k)as (k) − bs (k)b†s (k) .
H= 3
ω k (8.9)
(2π) (2ωk ) s
In the above, we have been careful to preserve the order of operators as they
appear.
We can now proceed with the quantization procedure. It is left as an
exercise to show that imposing commutation relations, leads to particle states
b†s (p) |0i which have a negative energy. This is due to the minus sign in
the second term of the Hamiltonian integral in Eq. 8.9. To obtain positive
energy eigenvalues for such states, we are forced to quantize by requiring
anti-commutation relations,
{ψ(~x1 , t), π(~x2 , t)} = iδ (3) (~x1 − ~x2 ), (8.10)
and
{ψ(~x1 , t), ψ(~x2 , t)} = {π(~x1 , t), π(~x2 , t)} = 0. (8.11)
For the operators as , bs this results to the anticommutation relations,
n o n o
as (~p1 ), a†s′ (~p2 ) = bs (~p1 ), b†s′ (~p2 ) = δs′ s (2π)3 (2ωp1 )δ (3) (~p2 − ~p1 ), (8.12)
98
with Z
(3)
h0| H |0i = −δ (0) d3~kωk . (8.16)
Exercise: Notice that the sign of the vacuum energy is now nega-
tive.
d3~k
Z
~k
X
P~ = † †
as (k)as (k) + bs (k)bs (k) . (8.19)
(2π)3 (2ωk ) s
• the operators as (p), bs (p), a†s (p), b†s (p) ladder operators.
99
We can build two types of one-particle states, using either the a†s creation
operator
|p, sia ≡ a†s (p) |0i , (8.21)
or the b†s creation operator
P µ ≡ (: H : , P~ ). (8.23)
Then
P µ |p, sia = pµ |p, sia , (8.24)
and
P µ |p, sib = pµ |p, sib , (8.25)
with p
µ
p = p~2 + m2 , p~ . (8.26)
These are states of positive energy, and the correct relativistic energy-momentum
relation,
p2 = m2 . (8.27)
δψ = ψ ′ − ψ = iθψ, (8.29)
and
′
δψ † = ψ † − ψ † = −iθψ † , (8.30)
or, equivalently,
δ ψ̄ = ψ̄ ′ − ψ̄ = −iθψ̄. (8.31)
100
Using Noether’s theorem, we find that the current,
∂L ∂L
J µ = δ ψ̄ + δψ,
∂(∂µ ψ̄) ∂(∂µ ψ)
Jµ = ψ̄γ µ ψ, (8.32)
d3~k X †
Z
†
Q= as (k)as (k) + bs (k)bs (k) . (8.34)
(2π)3 2ωk s
We calibrate the charge of the vacuum state to be zero with normal ordering,
: Q : = Q − h0| Q |0i
d3~k X †
Z
: as (k)as (k) : + : bs (k)b†s (k) :
= 3
(2π) 2ωk s
d3~k X †
Z
†
:Q: = as (k)as (k) − bs (k)bs (k) . (8.35)
(2π)3 2ωk s
The states and |p, sia and |p, sib are non-degenerate eigenstates of the
charge operator. We find,
and
: Q : |p, sib = (−1) |p, sib . (8.37)
Therefore the operators a†s (p) give rise to particles with momentum pµ and
charge (+1), while the operators b†s (p) give rise to anti-particles with the
same momentum pµ and opposite charge (−1). To emphasize this, we shall
display explicitly the charge of one-particle states,
|p, s, +i ≡ |p, sia = a†s (p) |0i , and |p, s, −i ≡ |p, sib = b†s (p) |0i . (8.38)
101
8.1.2 Particles and anti-particles of spin- 12
We have demonstrated in previous chapters that the Dirac Lagrangian is
invariant under Lorentz transformations. The spinor field transforms “at a
point” as,
ψ(x) → ψ ′ (x) = Λ 1 ψ(Λ−1 x). (8.39)
2
δ∗ ψ ≡ ψ ′ (x) − ψ(x)
= Λ 1 ψ(Λ−1 x) − ψ(x)
2
i µν
= 1 − ωµν S ψ(xµ − ωνµ xν ) − ψ(xµ ) + O(ω 2 )
2
i
= ψ(xµ − ωνµ xν ) − ψ(xµ ) − ωµν S µν ψ(xµ − ωνµ xν ) + O(ω 2).
2
(8.40)
We can expand,
ωµν µν
ψ(xµ − ωνµ xν ) = ψ(xµ ) − ωµν xν ∂µ ψ = ψ µ (x) − i J ψ(xν ), (8.41)
2 scalar
where we remind that,
µν
Jscalar = i (xµ ∂ ν − xν ∂ µ ) . (8.42)
and, equivalently,
Z
µν µν
J = d3~x ψ † (Jscalar + S µν ) ψ. (8.46)
102
This is very close to what we find for the total angular momentum of a scalar
field. But not exactly. The S µν is novel, and it arises here for the first time.
This term is responsible to giving spin, an intrinsic angular momentum, to
Dirac particle states.
How can we figure out if a particle has spin? We can do the following
test. We put the particle at rest, and measure its total angular momentum.
If we find it zero, then the particle has an angular momentum only when it
moves and therefore has no intrinsic spin. If it is not zero besides having a
zero momentum, then it is all due to the intrinsic spin of the particle.
First, we would like to use normal ordering, as with every conserved
quantity, to make sure that the vacuum has a zero total angular momentum:
: J µν : |0i = 0. (8.47)
Let us consider a state of a positively charged Dirac particle which has a zero
momentum.
|0, s, +i = a†s (0) |0i . (8.48)
Does it have any angular momentum? The action of the total-angular mo-
mentum on the state is,
: J µν : |0, s, +i = : J µν :, a†s (0) |0i+a†s (0) : J µν : |0i = : J µν :, a†s (0) |0i .
(8.49)
We now specialize on a rotation around the z−axis,
ω12 = −ω21 = θ, otherwise ωµν = 0. (8.50)
After some algebra, we find that
J 3 |0, s, +i ≡: J µν : |0, s, +i = : J µν :, a†s (0) |0i
X σ3
= ξ s† ξ r |0, r, +i
r
2
σ3 σ3
= ξ s† ξ (1) |0, (1), +i + ξ s† ξ (2) |0, (2), +i . (8.51)
2 2
where, we choose the basis
(1) 1 (2) 0
ξ = , and ξ = . (8.52)
0 1
which diagonalizes σ3 ,
σ3 ξ (1) = +ξ (1) , σ3 ξ (2) = −ξ (2) . (8.53)
103
Then we have,
3 1 1
J |0, s, +i = δs,(1) − δs,(2) |0, s, +i . (8.54)
2 2
We now have a physical interpretation of the quantum number s. A particle
at rest with charge + and s = (1) has total angular momentum + 12 in the
z−direction,
3 1 1
J |0, s, +i = δs,(1) − δs,(2) |0, s, +i . (8.55)
2 2
A particle at rest with charge + and s = (2) has total angular momentum
− 12P
in the z−direction. We have then discovered that a general superposition
of s cs |p, s, +i describes a particle with total spin- 12 . P
Repeating the same
steps, we also conclude that a general anti-particle state s cs |p, s, −i is also
a state with spin- 21 .
In summary, the quantization of the Dirac field yields quantum states
with spin− 21 . Spin emerged simply as a component of the total angular mo-
mentum, due to the Dirac fields transforming in the spinorial representation
of the Lorentz group. This theory predicts also the existence of both matter
and anti-matter. Of course, the theory is highly successful. The electron
and positron are states of the quantized Dirac field. The same is valid for
other known spin- 12 particles, the muon and tau leptons, the quarks and their
antiparticles.
8.2 Fermions
Particles of the Dirac field are fermions. A state with two positively charged
particles is
The state where all quantum numbers of the two particles are identical
p1 = p2 and s1 = s2 is forbidden,
1 †
as (p)a†s (p) − a†s (p)a†s (p) |0i = 0.
|p, s, +; p, s, +i = (8.57)
2
104
which is Pauli’s exclusion principle for fermions. Using the anti-commutation
of creation operators we can write a state of N identical particles or anti-
particles as,
1 X
|p1 , s1 , ±; p2 , s2 , ±; . . . ; pN , sN , ±;i = sgn(σ)a†sσ(1) a†sσ(2) . . . a†sσ(N) |0i ,
n! σinS
n
(8.58)
which is manifestly anti-symmetric.
The quantization of the Dirac field explains another mystery of quantum
mechanics., i.e. that elementary particles with spin− 12 are fermions.
|p, s, +i .
105
What is the new state, i.e. what is the transformation representation U(Λ)?
It is logical to require that the action of U(Λ) yields a particle state with a
momentum Λp ≡ Λµν pν ,
Wνµ pν = pµ . (8.62)
Therefore the representation U(Λ) is not unique, since, for example, a dif-
ferent one U(Λ)U(W ) could also be used for transforming a state with a
momentum p to a state with a momentum Λp. It is beyond our scope to
discuss how this ambiguity is removed. We will assume here for simplic-
ity that there exists a method to choose uniquely one of the “little group”
transformations. The vacuum state has zero momentum and all Lorentz
transformations belong to the little group. We then have that
106
Particle states are orthogonal,
hp1 , s1 , +| p2 , s2 , +i = h0| as1 (p1 )a†s2 (p2 ) |0i
= h0| as1 (p1 ), a†s2 (p2 ) |0i − h0| a†s2 (p2 )as1 (p1 ) |0i
107
8.3.2 Transformation of the quantized Dirac field
Quantum field theories provide us with states and operators which are all
made out of creation and annihilation operators. The latter transform under
Lorentz transformations in a representation U(Λ) of the Lorentz group, such
that (explicitly written for the Dirac field ladder operators)
108
We can compute the right hand side, knowing the transformation of the
creation and annihilation operators from Eq. 8.73,
d3 k X
Z
−1 −ik·x † +ik·x
−1
Uψ(x)U = U as (k)u(k)e + bs (k)v(k)e U
(2π)3 2ωk s
d3 k X
Z
−ik·x † +ik·x
= a s (k)u(Λk)e + bs (k)v(Λk)e .
(2π)3 2ωk s
(8.82)
d3 k d3 Λk
= , k · x = Λk · Λx, (8.83)
(2π)3 2ωk (2π)3 2ωΛk
and
u(k) = Λ−1
1 u(Λk), and v(k) = Λ−1
1 v(Λk), (8.84)
2 2
d3 p X
Z
−1 −1 −ip·Λx † +ip·Λx
Uψ(x)U = Λ1 as (p)u(Λp)e + bs (p)v(Λp)e
2 (2π)3 2ωp s
= Λ−1
1 ψ(Λx). (8.85)
2
8.4 Parity
We now derive the transformation properties of a spinor field under parity.
This is a discrete transformation,
~p → −~p (8.88)
109
The representation of the parity transformation on an one-particle state
should be, for example,
d3~k X
Z h i
−1
UP ψ(~x, t)UP = U P a s (~k)u(~k)e−ik·x
+ b† ~
( k)v(~k)e+ik·x
UP−1
s
(2π)3 2ωk s
d3~k X
Z
~~ −ik·x ∗ † ~ ~ +ik·x
= λa as (−k)u(k)e + λb bs (−k)v(k)e
(2π)3 2ωk s
(8.93)
Now we use that the measure is invariant under a parity transformation,
d3~k d3 (−~k)
= , (8.94)
(2π)3 2ωk (2π)3 2ω−k
and we rewrite,
k · x = Et − ~k~x = Et − (−~k)(−~x). (8.95)
Eq. 8.93 becomes
UP ψ(~x, t)UP−1 =
d3 ~p X
Z
−i(Et−~
p·(−x)) ∗ † +i(Et−~
p·(−x))
λ a as (~
p )u(~
p )e + λ b bs (~
p )v(−~
p )e (, 8.96)
(2π)3 2ωp s
110
We then have
γ 0 us (~p) = us (−~p), (8.98)
and similarly,
γ 0 vs (~p) = −vs (−~p). (8.99)
We can now fix the arbitrary normalization phases λa , λb to
λa = −λ∗b = 1. (8.100)
Then, Eq. 8.96 yields a simple parity transformation for the field,
ψ̄(t, ~x)ψ(t, ~x) → ψ̄ ′ (t, −~x)ψ ′ (t, −~x) = UP ψ̄(t, ~x)UP UP ψ(t, ~x)UP
= ψ̄(t, −~x)γ 0 γ 0 ψ(t, −~x, t)
= ψ̄(t, −~x)ψ(t, −~x). (8.104)
ψ̄(t, ~x)γ 5 ψ(t, ~x) → ψ̄ ′ (t, −~x)γ 5 ψ ′ (t, −~x) = UP ψ̄(t, ~x)UP γ 5 UP ψ(t, ~x)UP
= ψ̄(t, −~x)γ 0 γ 5 γ 0 ψ(t, −~x, t)
= −ψ̄(t, −~x)γ 5 γ 0 γ 0 ψ(t, −~x, t)
= −ψ̄(t, −~x)γ 5 ψ(t, −~x). (8.105)
111
This is called a “pseudoscalar”.
The combination ψ̄γ µ ψ which transforms as a vector under Lorentz trans-
formations (exercise), transforms also as a vector under parity.
ψ̄(t, ~x)γ µ ψ(t, ~x) → ψ̄ ′ (t, −~x)γ µ ψ ′ (t, −~x) = UP ψ̄(t, ~x)UP γ µ UP ψ(t, ~x)UP
= ψ̄(t, −~x)γ 0 γ µ γ 0 ψ(t, −~x, t)
= ψ̄(t, −~x) 2g 0µ γ 0 − γ µ (γ 0 )2 ψ(t, −~x)
For µ = 0,
ψ̄(t, ~x)γ 0 ψ(t, ~x) → ψ̄(t, −~x)γ 0 ψ(t, −~x). (8.107)
For µ = i = 1, 2, 3,
This is exactly how a vector xµ = (t, ~x) → (t, −~x) transforms under parity.
The combination ψ̄γ µ γ 5 ψ which transforms as a scalar under Lorentz
transformations (exercise: prove that it is indeed so), transforms oppo-
sitely under parity.
ψ̄(t, ~x)γ m uγ 5 ψ(t, ~x) → ψ̄ ′ (t, −~x)γ µ γ 5 ψ ′ (t, −~x) = UP ψ̄(t, ~x)UP γ µ γ 5 UP ψ(t, ~x)UP
= ψ̄(t, −~x)γ 0 γ µ γ 5 γ 0 ψ(t, −~x, t)
= −ψ̄(t, −~x)γ 0 γ µ γ 0 γ 5 ψ(t, −~x, t)
−ψ̄(t, −~x) 2g 0µ γ 0 − γ µ (γ 0 )2 γ 5 ψ(t, −~x)
=
− 2g 0µ − 1 ψ̄(t, −~x)γ µ γ 5 ψ(t, −~x)
= (8.109)
112
1. Under time-reversal (t, ~x) → (−t, ~x),
and
UP ψ(t, ~x)UP = ψ(−t, ~x). (8.111)
and
UC ψ(t, ~x)UC = −i(ψ̄(t, ~x)γ 0 γ 2 )T . (8.113)
113
Chapter 9
Light is travelling with the maximum possible relativistic velocity. The quan-
tization of the electromagnetic fields and the realization that light is pack-
aged in photons, are one of the greatest advances ever made in the history
of physics.
~
~ ×E
∇ ~ + ∂ B = 0, (9.2)
∂t
~ ·E
∇ ~ = ρ, (9.3)
~
~ ×B
∇ ~ − ∂ E = ~j. (9.4)
∂t
We now introduce the four-vector,
Aµ ≡ φ, A ~ , (9.5)
114
where the components are chosen such as,
~ =∇
B ~ × A,
~ (9.6)
and
~
~ = − ∂ A − ∇φ.
E ~ (9.7)
∂t
Then, the first two Maxwell equations (Eq. 9.1, Eq. 9.2) are automatically
satisfied,
~ ·B
∇ ~ =∇ ~ · ∇~ ×A ~ = 0, (9.8)
and
!
~
∂A ∂ ~
~ ×
∇ − ~
− ∇φ ~ ~ ~
+ ∇ × A = ∇ × ∇φ = ǫijk ∂i ∂j φ = 0. (9.9)
∂t ∂t
F µν = ∂ µ Aν − ∂ ν Aµ . (9.10)
and
F ij = ∂ i Aj − ∂ j Ai = −ǫijk B k . (9.12)
All other components are zero, since F µν is anti-symmetric. In a matrix form
we have,
0 −E 1 −E 2 −E 3
E1 0 −B 3 B 2
F µν = E2 B3
(9.13)
0 −B 1
E 3 −B 2 B 1 0
This is called the Electromagnetic field tensor.
Define now the current four-vector,
j ν ≡ ρ, ~j . (9.14)
115
We can easily verify that the remaining Maxwell equations are given by the
compact equation,
∂µ F µν = j ν . (9.15)
For ν = 0,
∂µ F µ0 = φ
X3
00
; ∂0 F + ∂i F i0 = φ
i=1
~ ·E
; ∇ ~ = φ. (9.16)
For ν = 1,
∂µ F µ1 = j 1
X 3
01
; ∂0 F + ∂i F i1 = j 1
i=1
1
∂E ∂B 3 ∂B 2
; − + −+ = j1, (9.17)
∂t ∂x2 ∂x3
which is the first component of the vector equation
~
∂E
− ~ ×B
+∇ ~ = ~j. (9.18)
∂t
Maxwell equations, expressed in terms of the vector potential Aµ , take
the form,
∂µ F µν = 0
; ∂µ (∂ µ Aν − ∂ ν Aµ ) = 0
; ∂ 2 Aν − ∂ ν (∂µ Aµ ) = 0. (9.19)
Aµ → Aµ′ = Aµ + ∂ µ χ, (9.20)
116
or, in components,
φ → φ′ = φ + χ̇ (9.21)
~→A
A ~′ = A
~ − ∇χ.
~ (9.22)
χ is an arbitrary function of space-time coordinates. Indeed, the field tensor
F µν is invariant under this transformation,
ν µ
F µν → F µν ′ = ∂ µ A′ − ∂ ν A′
= ∂ µ (Aν + ∂ ν χ) − ∂ ν (Aµ + ∂ µ χ)
= F µν . (9.23)
We can often derive simplify our calculations if we exploit gauge invari-
ance. Suppose that we are given a field Aµ satisfying Maxwell equations
Eq. 9.19. We can “fix the gauge”, i.e. perform a special gauge transforma-
tion, Aµ → Aµ ′ , such that the second term in Eq. 9.19 disappears,
0 = ∂µ Aµ′ = ∂µ Aµ + ∂ 2 χ ; ∂ 2 χ = −∂µ Aµ . (9.24)
This particular choice of gauge is known as the “Lorentz gauge”. In the
Lorentz gauge, Maxwell equations take the very simple form (dropping the
prime)
∂ 2 Aµ = j µ . (9.25)
In the vacuum, j ν = 0, we have
∂ 2 Aµ = 0. (9.26)
This equation is particularly easy to solve as plane-waves, and we write the
general real classical field solution as an integral
d3~k X (λ)
Z
ǫ (k) aλ (k)e−ik·x + a∗λ (k)eik·x ,
Aµ (x) = 3
(9.27)
(2π) 2ωk λ=0
with k = ωk , k and ωk = ~k . We have introduced a basis of four-vectors
µ ~
117
The polarization vectors are normalized as,
′ ′
ǫ(λ) · ǫ(λ ) = g λλ . (9.29)
d3~k X
Z
(λ) −ik·x ∗ ik·x
k · ǫ (k) aλ (k)e − aλ (k)e = 0. (9.30)
(2π)3 2ωk λ=0
118
we encounter an inconsistency
0 = A0 (x), π 0 (x′ ) = −δ (3) (~x − ~x′ ) 6= 0.
(9.36)
Our first attempt to quantizing the classical Lagrangian of the electromag-
netic field has failed. However, it is possible to quantize a different La-
grangian which nevertheless gives rise to the same physics as the Lagrangian
of Eq. 9.31. We can exploit the fact that classical physics is the same in
every gauge for Aµ .
Consider a modified Lagrangian,
1 λ
L = − Fµν F µν − (∂µ Aµ )2 . (9.37)
4 2
This yields the following Euler-Lagrange equations, which is not invariant
under gauge transformations,
∂ 2 Aµ − (1 − λ) ∂ µ (∂ν Aν ) = 0. (9.38)
which are generally different than Maxwell equations. Notice however, that
for a special value λ = 1, the equations of motion are identical to Maxwell
equations, ∂ 2 Aµ = 0, in the Lorentz gauge. For the new Lagrangian and
with λ = 1, we find
∂L
π0 = = −∂µ Aµ , (9.39)
∂ Ȧ0
which is not zero, as long as we do not impose the Lorentz condition ∂µ Aµ =
0. This is at first irreconcilable with classical physics, however there is a
way out. We may think the classical electromagnetic field as the expectation
value of a quantum field in a physical quantum state |ψi, i.e.
Aµclassic ∼ hψ| Aµoperator |ψi . (9.40)
We therefore only need to guarantee that the expectation value of ∂µ Aµ on
physical states |ψi,
hψ| ∂µ Aµ |ψi = 0, (9.41)
which may be done in a way such that ∂µ Aµ 6= 0 as an operator identity.
We can now carry on with the quantization of the Lagrangian of Eq. 9.37.
The quantization conditions of Eq. 9.35, substituting in the expressions of
the conjugate momenta π µ = ∂(∂∂L 0 Aµ )
, yield
h i
Ȧµ (~x, t) , Aν (~x′ , t) = igµν δ (3) (~x − ~x′ ) . (9.42)
119
We now substitute the solution of Eq. 9.27 into Eq. 9.43. We obtain,
h i
† ′ λλ′ 3 (3) ~ ~ ′
aλ (k), aλ′ (k ) = −g 2k0 (2π) δ k−k . (9.43)
We can safely interpret the ai (k) and a†i (k) for i = 1, 2, 3 as annihilation and
creation operators correspondingly, of photons with space-like polarizations
ǫµ(i) . But this is problematic for the operators a0 (k), a†0 (k), which satisfy
h i
aλ (k), a†0 (k ′ ) = −2k0 (2π)3 δ (3) ~k − ~k ′ . (9.44)
d3~k
Z
|1i = 3
f (k)a†0 (k) |0i . (9.45)
(2π) (2k0 )
The norm of the state is,
d3~k
Z
h1| 1i = − |f (k)|2 h0| 0i , (9.46)
(2π)3 (2k0 )
which is negative. In general, a state with nt photons with a time-like polar-
ization has a norm
hnt | nt i = (−1)nt . (9.47)
This is a serious problem. Let us calculate the energy of such states. After a
standard, by now, calculation, we find that the Hamiltonian is given by the
expression:
" 3 #
d3~k
Z X †
H= k0 aλ (k)aλ (k) − a†0 (k)a0 (k) (9.48)
(2π)3 2k0 λ=1
with k0 = ~k > 0. The energy of the state |1i is
h1| H |1i
E1 = , (9.49)
h1| 1i
which yields (exercise),
d3~k
k |f (k)|2
R
(2π)3 (2k0 ) 0
E1 = − < 0. (9.50)
d3~k
|f (k)|2
R
(2π)3 (2k0 )
120
We have found that this state has a negative energy. This problem is removed
if we implement properly a quantum Lorentz gauge condition.
We need Eq. 9.41 to hold for any physical state. We will now describe
how this can be achieved following the prescription of Gupta and Bleuler. We
separate the electromagnetic field into a positive and a negative frequency
component,
Aµ (x) = A(+) (−)
µ (x) + Aµ (x), (9.51)
with
d3~k X µ
Z
(+) µ
A = 3
ǫλ aλ (k)e−ik·x , (9.52)
(2π) 2k0 λ
and
d3~k X µ †
Z
(−) µ
A = ǫ a (k)e+ik·x . (9.53)
(2π)3 2k0 λ λ λ
Physical states |ψi are required that they satisfy
µ
∂µ A(+) |ψi = 0. (9.54)
µ
This is satisfied automatically by the vacuum state, |ψi = |0i, since A(+)
contains only annihilation operators. We also find that,
hψ| ∂µ Aµ |ψi
µ µ
= hψ| ∂µ A(+) |ψi + hψ| ∂µ A(−) |ψi
µ µ
= hψ| ∂µ A(+) |ψi + hψ| ∂µ A(+) |ψi∗
µ
= 2Re hψ| ∂µ A(+) |ψi
= 0. (9.55)
The Bleuler-Gupta condition takes the explicit form
3
d3~k
Z
(+) µ
X
−ik·x
∂µ A |ψi = e k · ǫλ (k)aλ (k) |ψi = 0. (9.56)
(2π)3 2k0 λ=0
It is easy to verify that the above is not satisfied for photon-states with a
purely longitudinal polarization, |ψi = |1i, as in Eq. 9.45.
What is a physical state for a single photon? Consider the general one-
photon state with a momentum pµ = (1, 0, 0, 1), choosing its momentum
along the z-axis. This state can be written as,
3
X
|γi = cλ a†λ (p) |0i , (9.57)
λ=0
121
where cλ are arbitrary coefficients determining the mixture of polarizations
in the photon physical state. We must have,
µ
0 = ∂µ A(+) |γi
!
X
;0 = cλ p · ǫλ = 0. (9.58)
λ
From the expressions for the vector polarizations in Eq. 9.28 we derive that,
p · ǫ1 = p · ǫ2 = 0 (9.59)
and
p · ǫ0 = −p · ǫ3 . (9.60)
Therefore, for a physical photon state we need that c1 = −c3 . In other
words, a component of the photon state with a time-like polarization must
be accompanied with an “opposite” component with a longitudinal polariza-
tion. The contributions of these components cancel each other in all physical
quantities.
122
Chapter 10
d3~k
Z
0 −i(Ek x0 −~k~
x)
ψ(x , ~x) = a(k)e , (10.2)
(2π)3
where
~k 2
Ek = , (10.3)
2m
123
and the operator a(k) satisfies the quantization condition,
a(k), a† (k ′ ) = (2π)3 δ (3) (~k − ~k ′ ).
(10.4)
A state of a particle at a position x is given by the action of a field on
the vacuum (see Section 3.5),
|xi = ψ † (x0 , ~x) |0i , |yi = ψ † (y 0 , ~y ) |0i . (10.5)
The transition amplitude of Eq. 10.1 is then,
My→x = h0| ψ(x0 , ~x)ψ † (y 0 , ~y ) |0i
d3~k −i(Ek ∆t−~k∆~x)
Z
= e , (10.6)
(2π)3
with
∆t = x0 − y 0, ∆~x = ~x − ~y . (10.7)
We can compute the above integral exactly. We first change to spherical
coordinates,
d3~k = dkk 2 dcosθ dφ, (10.8)
and write
~k∆~x = k ∆x cos θ. (10.9)
Then it is easy to perform successively the integrations in φ, cos θ and k.
The result reads,
m 32 h 2
i
∆t )
−i∆t 21 m( ∆x
My→x = e . (10.10)
2πi∆t
This is an oscillatory function which is defined for arbitrary values of the par-
ticle speed ∆x
∆t
even when its value is not smaller than the speed of light. Par-
ticles which are quanta of the Schrödinger field, can propagate at space-time
intervals anywhere outside the light-cone, which is in blatant disagreement
with special relativity.
124
with
d4 k
Z
(+)
φ (x) = 3
δ(k 2 − m2 )Θ(k 0 )e−ik·x a(k), (10.12)
(2π)
and
d4 k
Z
(−)
φ (x) = δ(k 2 − m2 )Θ(k 0 )e+ik·x a† (k). (10.13)
(2π)3
We notice that,
φ(+) (x) |0i = 0, (10.14)
and
h0| φ(−) (x) = 0. (10.15)
The operator a(k) satisfies the quantization condition,
and q
ωk = ~k 2 + m2 . (10.17)
The amplitude for the transition y µ → xµ , with x0 > y 0, is then
= h0| φ(+) (x)φ(+) (y) + φ(+) (x)φ(−) (y) + φ(−) (x)φ(+) (y) + φ(−) (x)φ(−) (y) |0i
= h0| φ(+) (x)φ(−) (y) |0i
= h0| φ(+) (x), φ(−) (y) + φ(−) (x)φ(+) (y) |0i
d4 k
Z
(+)
φ (x), φ(−) (y) = Θ(k 0 )e−ik(x−y) δ(k 2 − m2 ),
(10.19)
(2π)3
My→x = h0| φ(+) (x), φ(−) (y) |0i = φ(+) (x), φ(−) (y) h0| 0i = φ(+) (x), φ(−) (y) ,
(10.20)
125
and explicitly,
d4 k
Z
My→x = Θ(k 0 )e−ik(x−y) δ(k 2 − m2 ). (10.21)
(2π)3
We would like to investigate whether the above expression for the tran-
sition amplitude respects the expectation from special relativity, which re-
stricts particles to transitions within the light-cone. It is now a bit more
tedious to evaluate the integral of Eq. 10.21. For simplicity, we shall evalu-
ate it for two special transitions.
Time-like transition A
The transition amplitude becomes,
d4 k
Z
0
My→x = 3
Θ(k 0 )e−ik ∆t δ(k 2 − m2 )
(2π)
√
d3~k
Z
~2 2
= p e−i∆t k +m
(2π)3 2 ~k 2 + m2
Z ∞
1 k2 √
−i∆t k 2 +m2
= dk √ e (10.22)
(2π)2 0 k 2 + m2
√
Setting E = k 2 + m2 , we find that
1
Z ∞ √
My→x = dE E 2 − m2 e−iE∆t (10.23)
(2π)2 m
The transition amplitude for a particle to remain within the light-cone, such
as in our exemplary case A, is then finite.
126
Space-like transition B
It is interesting to find out whether transitions outside the light-cone, such as
in case B, are forbiden in a relativistic field theory. In this case, the transition
amplitude becomes
d4 k
Z
~
My→x = 3
Θ(k 0 )e+ik∆~x δ(k 2 − m2 )
(2π)
dk k 2 e+ik(∆x) cos θ
Z
= dcosθ √
(2π)2 k 2 + m2
Z ∞
1 k2 eik(∆x) − eik(∆x)
= dk √
(2π)2 0 2 k 2 + m2 ik(∆x)
Z +∞
−i keik(∆x)
= dk √ . (10.25)
2(2π)2 (∆x) −∞ k 2 + m2
The above integrals has branch cuts at k = ±im, as in Figure 10.1. For
Figure 10.1: Branch cuts of the transition amplitude integral for a space-like
transition
(∆x) > 0 we can wrap the contour of integration around the upper branch
cut. The integral is then becoming, after setting k = iρ,
Z ∞
1 ρe−ρ(∆x)
My→x = 2 dρ p . (10.26)
4π (∆x) m ρ2 − m2
127
Asymptotically, for a large space-like interval ∆x → ∞, the transition inte-
gral becomes
lim My→x ∼ e−m(∆x) . (10.27)
(∆x)→∞
m(∆x) ∼ 1, (10.28)
which is the uncertainty we expect for determining its position for a momen-
tum uncertainty ∆p ∼ m. Essentially, to observe that a particle of a certain
mass has escaped the light-cone we must first measure the momentum of the
particle with an accuracy as good as its mass (in order to identify the particle
from its mass). Then, the uncertainty in its position will be as large as the
distance that we expect a finite probability for the particle to escape away
from the light-cone.
h0| φ(x)φ(y) |0i = h0| [φ(x), φ(y)] |0i + h0| φ(y)φ(x) |0i
= h0| 0 |0i + h0| φ(y)φ(x) |0i
= h0| φ(y)φ(x) |0i . (10.29)
We can write the same correlation function with the space-time points x
and y interchanged. How can we interpret this? If we insist on a causal
128
interpretation, where a particle is first created at a point x and it is destroyed
at a point y, we must have y 0 > x0 .
The Feynman-Stückelberg propagator is defined to account for both cases,
x > y 0 and x0 < y 0, for arbitrary x, y. This is written as,
0
d3~k 1
Z
Θ(x0 − y 0 )e−ik·(x−y) + Θ(y 0 − x0 )e−ik·(y−x)
h0| T φ(x)φ(y) |0i = 3
p
(2π) 2 ~k 2 + m2
Z +∞ 4
dk i
= lim e−ik·(x−y) . (10.31)
δ→0 −∞ (2π) k − m2 + iδ
4 2
We can verify that the four-dimensional integral of the last line is equal to
the line before explicitly, by using Cauchy’s theorem. In Fig. 10.2 we plot
the poles of the integrand on the energy k 0 complex-plane. These are located
129
p
at k 0 = −ω + iδ and k 0 = ω − iδ, with ω = ~k 2 + m2 . At k 0 = ±i∞, the
exponential in the integrand behaves as,
~ 0 −y 0 )
e−ik·(x−y) → e+ik(~x−~y) e±∞(x . (10.32)
If x0 > y 0 we can close the contour of integration to the lower complex haplf-
plane, guaranteeing that the integrand vanishes at −i∞. If x0 < y 0 we must
close the contour to the upper half-plane. In each case, we pick up one of the
residue at k 0 = ±ω, recovering the two terms of the first line in Eq. 10.31.
The expression for the Feynman propagator,
Z +∞ 4
dk i
h0| T φ(x)φ(y) |0i = lim e−ik·(x−y) , (10.33)
δ→0 −∞ (2π) k − m2 + iδ
4 2
d3~k
Z
a(k)e−ik·x + b† (k)eik·x .
φ(~x, t) = 3
(10.35)
(2π) 2ωk
Notice that the hermitian conjugate of the field acting on the vacuum creates
a particle with charge +1 at a certain position x,
130
while a field acting on the vacuum creates an anti-particle with charge -1,
|anti-particle at position xi = φ(~x, t) |0i . (10.37)
Consider the correlation function,
h0| φ(y)φ†(x) |0i (10.38)
which we can interprete it as a causal sequence where a particle is first
created at xµ ≡ (x0 , ~x) and it is destroyed at y µ ≡ (y 0 , ~y). We must then
have y 0 > x0 .
It is easy to prove that
h0| φ(y)φ†(x) |0i = h0| φ† (x)φ(y) |0i (10.39)
The inerpretation of the rhs is that an anti-particle is first created at y µ ≡
(y 0, ~y ) and it is destroyed at xµ ≡ (x0 , ~x). We must then have x0 > y 0 .
We define the Feynman propagator to account for the two equivalent
possibilities for the forward in time propagation of either a particle or an
anti-particle.
h0| T φ(x)φ† (y) |0i
= Θ(x0 − y 0 ) h0| φ(x)φ† (y) |0i + Θ(y 0 − x0 ) h0| φ† (y)φ(x) |0i (10.40)
We can repeat the same computation as for the Feynamn propagator of the
real Klein-Gordon field. The result is identical:
Z +∞ 4
† dk i
h0| T φ(x)φ (y) |0i = lim e−ik·(x−y) . (10.41)
δ→0 −∞ (2π) k − m2 + iδ
4 2
131
Similarly, we find (exercise)
d3 p~
Z
µ ∂
h0| ψ̄a (y)ψb (x) |0i = − iγ + m1 e−ip·(y−x)
(10.43)
∂xµ ab (2π) 3 2ω
p
Notice the overall (-) sign for the transition amplitude of an anti-particle
with respect to the corresponding amplitude in the case of a particle.
We can combine the two forward in time propagations by including this
relative minus sign into the definition of the time ordering for fermions.
h0| T ψa (x)ψ̄b (y) |0i = Θ(x0 −y 0 ) h0| ψa (x)ψ̄b (y) |0i−Θ(y 0 −x0 ) h0| ψ̄a (y)ψb (x) |0i
(10.44)
From the above, we find for:
d3 p~
Z
µ ∂
h0| T ψa (x)ψ̄b (y) |0i = iγ µ
+ m1 3
Θ(y 0 − x0 )e−ip·(y−x)
∂x ab (2π) 2ωp
+Θ(x0 − y 0 )e−ip·(x−y)
Z +∞ 4
µ ∂ dk i
= iγ µ
+ m1 4 2 2 + iδ
e−ik·(x−y) , (10.45)
∂x ab −∞ (2π) k − m
which yields for the fermion Feynman propagator the integral representation,
Z +∞ 4
d k i (6k + m) −ik·(x−y)
h0| T ψ(x)ψ̄(y) |0i = 4 2 2
e . (10.46)
−∞ (2π) k − m + iδ
h0| T Aµ (x)Aν (y) |0i = h0| T Aµ (x)Aν (y) |0i Θ(x0 −y 0 )+h0| T Aν (x)Aµ (x) |0i Θ(y 0−x0 )
(10.47)
This is worked out in the exercise tutorials. We find that
d4 p −ig µν −ip(x−y)
Z
µ ν
h0| T A (x)A (y) |0i = e . (10.48)
(2π)4 p2 + iδ
132
Chapter 11
We have studied the quantum field theories of free elementary particles with
spin-0 (Klein-Gordon field), spin- 21 (Dirac spinor field), and spin-1 (Electro-
magnetic photon field).
In all these cases, we could identify a field four mo-
mentum P µ = H, P~ which was a conserved quantity. It was also relatively
easy to find a complete set of eigenstates for P µ . In all these “free field theo-
ries” the Hamiltonian eigenstates happened to be, in addition, eigenstates of
a time-independent “number operator”. States with definite energy and mo-
mentum were, therefore, also states of a conserved number of indestructible
particles 1 .
In reality, however, particles interact and may also be destroyed or cre-
ated in a scattering process. Realistic field theories contain additional terms
in their Lagrangian which do not make it possible to find a constant particle-
number operator. In a free field theory, conservation of energy and momen-
tum is a consequence of the fact that the theory is invariant under time and
space translations. This is a property which will also hold for interacting field
theories. Conservation of the particle number was, on the other hand, only a
consequence of an “accident” that a field free theory was rather simple. This
“accident” does not occur anymore in an interacting field theory, where we
expect it to describe successfully particle creation and annihilation.
In this chapter we will consider interacting field theories in general, with-
out specifying the details of their Lagrangian. We will only require that they
yield physical laws which are invariant under space-time translations, and
therefore their is a conserved field momentum operator. We will also make
1
In mathematical parlance, the Hilbert space of states had a Fock-state representation.
133
one further assumption, which we will explain later in its detail, that par-
ticle interactions happen at short distances, and that particles when are at
far distances they behave as if they were free. These two considerations will
lead us to general expressions for the probability amplitude of a scattering
process.
P~ |λ0 i = 0. (11.5)
134
Let |λp i a boosted state from |λ0 i. Then we can write,
XZ d3 p~
1 = |Ωi hΩ| + |λp i hλp | . (11.6)
(2π)3 2Ep (λ)
λ
The sum in λ runs over all possible states with a zero space momentum |λ0 i.
Let us now assume that x0 > y 0 . The propagator is then written as,
Also, a state |λp i has a definite momentum pµ = (Ep (λ), ~p). Thus,
135
We can then write,
We now recall that the state |λp i is produced from a state with a zero space-
momentum with a Lorentz boost,
We can also exploit that the vacuum state is invariant under Lorentz trans-
formations,
U (Λp ) |Ωi = U −1 (Λp ) |Ωi = |Ωi , (11.14)
and cast Eq. 11.12 as
hΩ| φ(x) |λp i = hΩ| U −1 (Λp ) φ(0)U (Λp ) |λ0 i e−ip·x p0 =Ep (λ) .
(11.15)
We then find that the space-time dependence of the matrix-element in Eq. 11.15
is a simple exponential,
Similarly,
hλp | φ(y) |Ωi = hλ0 | φ(0) |Ωi e+ip·y p0 =Ep (λ) .
(11.19)
Finally,
hΩ| φ(y) |Ωi = hΩ| eiP ·y φ(0)e−iP ·y |Ωi = hΩ| φ(0) |Ωi . (11.20)
Using Eqs 11.18-11.20, we find that the propagator in Eq. 11.7 becomes,
136
In the same fashion, we obtain for the second time-ordering possibility
which yields,
X
hΩ| T {φ(x)φ(y)} |Ωi = hΩ| φ(0) |Ωi2 + |hΩ| φ(0) |λ0 i|2 ×
λ
3
d p~
Z
e−ip·(x−y) Θ(x0 − y 0 ) + e−ip·(y−x) Θ(y 0 − x0 )
× p0 =Ep (λ)
.
(2π)3 2Ep (λ)
(11.24)
137
This is a general result for the propagator of any scalar field in any quantum
field theory for which is symmetric under Poincare’ (Lorentz and translation)
transformations.
Let us now assume that there exists a density of states |λ0 i, with P 2 |λ0 i =
2
mλ |λ0 i. We can replace the sum in the above expression with an integral,
(11.29)
d3 ~p
Z
a(p)e−ip·x + a† (p)e+ip·x ,
φ(x) = 2
(11.30)
(2π) 2ωp
p
with ωp = p~2 + m2 . The vacuum state is,
138
states of higher and higher energy with p~ = 0, by applying repeatedly the
creation operator a† (0) on the vacuum. We have
...
H a (0) |0i = nm a† (0)n |0i ,
† n
...
We now substitute Eqs 11.33, 11.34 and Eq. 11.35 into Eq. 11.29. We
recover
d4 p i
Z
h0| T {φ(x)φ(y)} |0i = e−ip·(x−y) , (11.36)
(2π) p − m2 + iδ
4 2
139
energy-momentum eigenstate. Nevertheless, we do observe particles which
act as if they were free and isolated. Such a state is characterized by the mass
m of the particle. If we now consider a state of two “approximately free”
particles the energy of the state when the combined momentum of the two
particles is p~ = 0 is also “approximately” twice the mass of one-particle 2 m.
However, their interaction potential will not allow for this exact value, and
in general, their energy will be larger. States other than one-particle states
form a continuum of masses M 2 which is larger than the minimum energy
(corresponding to free particles) required to get two particles in the same
state. An exception to this occurs when the two-particles form a bound state,
where their binding energy is negative and their effective mass is generally
smaller than 2 m.
Although a very important issue, we will not analyze in this course bound
state problems. Then, a typical density is,
The above result is very important, stating that one-particle states are re-
sponsible for poles in the propagator of an interacting field. If a theory has
states which behave as isolated then we anticipate to find poles in the prop-
agator for squared momenta p2 = m1particle which correspond to the physical
mass of the particles. Suggestive to the above, it is then worth to remember
in practice that the scalar propagator is
d4 p iZ̃φ e−ip·(x−y)
Z
hΩ| T {φ(x)φ(y)} |Ωi = + continuum, (11.39)
(2π)4 p2 − m2phys + iδ
140
where 2
Z̃φ = hΩ| φ(0) 1particle 0 , (11.40)
a constant, and mphys the physical mass of a particle.
with
M 2 ≥ 4m2phys . (11.43)
These states form a continuum, and they correspond, intuitively, to
multi-particle excitations.
141
• The expectation value of the field operator in the ground state is zero,
• Wave-packets which are isolated at a time very far in the past, t = −∞,
but may be overlapping at some finite time t
• Wave-packets which are isolated at in the far future, t = +∞, but may
be overlapping at some finite time t.
142
true. Measurements of expectation values of field operators on a state are
time-dependent, and in this sense, states encapsulate the time-evolution of
the physical system that they describe. We define a state as an |ini state,
if it describes a system of freely moving in the very far past, which may or
may not be interacting at a later time. We define a state as an |outi state,
if it describes a system of particles which may or may not be interacting at
a finite time but they are freely moving in the far future.
Consider an |ini state which describes a single particle with momentum p
in the far past. We will assume that free particles are indestructible, stable,
in the absence of other particles. Then this state will also describe a free
single particle in the far future, and it will also be an state |ini:
More complicated “in” and “out” states containing many free particles in
the very far past or future respectively, allow for particle interactions at a
finite time. What are the possible “in” and “out” states? We will make the
following assumption:
“ Every possible state is a linear combination of either |ini or |outi states.”
In physical terms, this means that every physical system will behave as a
system of freely moving particles which are getting increasingly isolated if we
wait long enough. Conversely, if we look further back in the far past, every
physical system originates from a system of freely moving isolated particles.
The above assumption is in accordance with the particle interactions oc-
cur when particles are brought very close together. Short range interactions
cannot keep particles together perpetually. There is a striking important “ex-
ception” to this assumption: elementary particles may form bound states.
In practice, we know from experimentation which are the bound states that
may be formed (hadrons, atoms, molecules, etc ). These are stable, and we
can account for them by including them in a generalized definition of |ini
and |outi states.
We adopt the following notation. We denote by
|{pi }, ini
|{kj }, outi
143
an “out” state where the j th particle has momentum kj . These states are
complete. Every state can be written as a linear combination of either of
them, and we have:
X X
|{pi }, ini hin, {pi}| = |{kj }, outi hout, {kj }| = 1 (11.46)
144
We are usually not interested in computing the probability of not having
a scattering. The matrix-elements of the S-matrix which are relevant for a
true scattering are the non-diagonal. We then define the so called “transition-
matrix” T , which is given by
S ≡ 1 + iT. (11.52)
d4 p iZ̃φ e−ip·(x−y)
Z
G(x, y) = + continuum. (11.55)
(2π)4 p2 − m2phys + iδ
Consider the explicit case with x0 > τ > −τ > y 0 with τ → ∞, for two
space-time points where one is very far in the future and the second very far
145
in the past. Then,
We have defined an |outi as any state which behaves as a state of any number
of free isolated particles in the far future. The the sum over all “out” states
corresponds to
X
hΩ| φ(x) |outi hout| → hΩ| φ(x) |Ωi hΩ|
out
d3 p~1
Z
+ hΩ| φ(x) |p1 ; outi hp1 ; out|
(2π)3 2ωp1
d3 p~1 d3 p~2
Z
+ hΩ| φ(x) |p1 , p2 ; outi hp1 , p2 ; out|
(2π)3 2ωp1 (2π)3 2ωp2
+ ... (11.57)
We now make use the property of “out” states behaving as states of free
particles at large times x0 > τ , and compute hΩ| φ(x) |outi in free field theory.
In free field theory, the state φ(x)Ω corresponds to a state with exactly one-
particle, and it has no overlap with states of a different particle multiplicity.
We then have,
hΩ| φ(x) |Ωi = hΩ| φ(x) |p1 , p2 ; outi = hΩ| φ(x) |p1 , p2 , p3 ; outi = . . . = 0,
(11.58)
and only
hΩ| φ(x) |p1 ; outi =6 0. (11.59)
We have already computed this non-vanishing already up to a constant. From
Eq. 11.18 and Eq. 11.40 we have
q
hΩ| φ(x) |p; outi = Z̃φ e−ip·x (11.60)
146
We compute the sum over “in” states in Eq. 11.56 in an identical fashion.
Then we arrive to a simple result
d3 p~ d3~q
Z
G(x, y)| x0 →+∞ = Z̃φ e−i(p·x−q·y) hp; out| q; ini . (11.61)
y 0 →−∞ (2π)3 2ωp (2π)3 2ωq
Eq. 11.61 relates the Green’s function function for two well separated in
time points to the transition amplitude from an “in” single-particle state to
an “out” single-particle state. How about more complicated Green’s func-
tions and transition amplitudes? We can repeat the same procedure for a
general Green’s function
G(x1 , . . . , y1 . . .)| x0i →+∞ = hΩ| T {φ(x1 ) . . . φ(yy ) . . .} |Ωi x0i →+∞ . (11.62)
yi0 →−∞ yi0 →−∞
with Nout points at far future times x0i and Nin points yj at far past times.
We find that
Z NY ! N !
out
d3 p~i e−ipi ·xi Y in
d3 ~qj e+iqj ·yj
G(x1 , . . . , y1 . . .)| x0i →+∞ =
y 0 →−∞ i=1
(2π)3 2ωpi j=1
(2π)3 2ωqj
i
Nin +Nout
×Z̃φ 2
hp1 , . . . , pNout ; out| q1 , . . . qNin ; ini (11.63)
We arrive to a very useful result. Green’s functions with Nin + Nout , with
Nin of them chosen in the far past and Nout in the far future are, up to an
overall constant, some sort of a Fourier transform of S-matrix elements for
the scattering of Nin particles to Nout particles. In the next section we shall
use Eq. 11.63 to compute the matrix-elements.
147
Let us try to integrate xµi and yjµ over the maximum space-time region
where we do not contradict our time-ordering assumptions. Consider the
integral,
! !
YZ ∞ Z Y Z −∞ Z
I [{ki}, {lj }] ≡ dx0i d3~xi eiki ·xi dyj0 d3~yj e−ilj ·yj
i τ j −τ
We now substitute the expression for the Green’s function that we have found
in Eq. 11.63, and perform the space integrations using the identity
Z
~
d3~xeik~x = (2π)3 δ (3) (~k). (11.65)
The integrals over the time variables are also easy to perform,
Z ∞
~ −i h
~ ~
i
dteit(l −ω(l)) = lim eiT (l −ω(l)) − eiτ (l −ω(l))
0 0 0
(11.67)
τ l0 − ω(~l) T →∞
The above is problematic due to the term which requires a not well defined
limit at infinity. Here we pay a price for not having considered proper lo-
calized wave-packets for “in” and “out” states. This undefined limit can be
evaded in a rigorous proof. An “easy” way out is to consider an alternative
integration over a time which is slightly complex 3 ,
Z ∞
~ i ~
dteit(1+iδ)(l −ω(l)) = eiτ (l −ω(l))
0 0
lim (11.68)
δ→0 τ 0 ~
l − ω(l)
3
Certainly, our analysis here is very sloppy with exchanging limits, as well as with
not having considered proper wave-packets for “in” and “out” states. Careful and also
lengthier proofs can be found in the original literature and the book of Weinberg
148
Given the above caveats, we can write
! !
−i k 0 −ω(~k) −i lj0 −ω(l~j )
eiτ ( ) eiτ ( )
Y Y
I [{ki }, {lj }] ≡
i k0 − ω(~k) j lj0 − ω(l~j )
Nin +Nout
×Z̃φ 2
hk1 , . . . , kNout ; out| l1 , . . . lNin ; ini (11.69)
We have now achieved to relate S−matrix elements for the probability of a
transition of a system with Nin particles with momenta {ljµ } to a system with
Nout particles with momenta {kj } to a Fourier-type integrals over Green’s
functions.
Let us analyze Eq. 11.69 further. We observe that a “Fourier transformed”
Green’s function on the lhs has poles at
q
li = ω(li) = ~li2 + m2phys ,
0 ~
due to every particle in the “in” and “out” states. We also notice that
the poles are independent of the time τ , since the τ dependent exponential
becomes one at the pole position l0 = ω. Indeed , we can expand
eiτ (l0 −ω) 1 iτ
= + + O((l0 − ω)τ 2 ) (11.70)
2ω(l0 − ω) 2ω(l0 − ω) 2ω
This means that had we decided to put no restrictions in the time integra-
tions for I [{ki}, {lj }] the coefficient of the poles (their residue) would be
unchanged. We can then write,
Regular at li0 , kj0 → ω(~li ), ω(~li)
1
1
Y iZ̃φ2 Y iZ̃φ
2
149
A comment is in order concerning the time integrations in the above
integral. The exponential factors must be slightly deformed in the complex
plane,
0 0 ~
eik·x → eik x (1+iδ)−ik~x . (11.73)
Alternatively, we can leave intact the exponentials and perform a real time-
integration in Eq. 11.72, but then we have to evaluate the kernel Green’s
function at deformed space-time points,
Z +∞
d4 x1 . . . d4 xNout d4 y1 . . . d4 yNin ei[ i xi ·ki − j yj ·lj ]
P P
G̃ (k1 , . . . , kNout ; l1 , . . . lNin ) =
−∞
× hΩ| T {φ(x̃1 ) . . . φ(x̃Nout )φ(ỹ1 ) . . . φ(ỹNin )} |Ωi
(11.74)
where
x̃µ = (x0 (1 − iδ), ~x). (11.75)
We now multiply Eq. 11.71 with a factor
l2 − m2phys
q
i Z̃φ
for each “in” state and “out” state particle, and take the limit l2 = (l0 −
ω)(l0 + ω) → m2phys . The regular term vanishes in this limit from the lhs of
the equation. We are left with the LSZ reduction formula,
Y li2 − m2phys Y kj2 − m2phys
hk1 , . . . , kNout ; out| l1 , . . . lNin ; ini = lim q q
l2 =m2
i
2
phys
2
i i Z̃φ j i Z̃φ
kj =mphys
150
where we have defined the propagator in momentum space as
Z
G̃(p) ≡ d4 xeip·x hΩ| T {φ(x)φ(0)} |Ωi . (11.78)
11.8 Cross-sections∗
151
Chapter 12
We have been able to solve exactly Hamiltonian systems for the simplest
quantum field theories which describe free particles. For these, we could
find all eigenstates and eigenvalues of the Hamiltonian. However, in general,
when interactions among particles are present, we must resort to perturbation
theory.
As a concrete example, we consider a simple new term in the Hamiltonian
of a real Klein-Gordon field,
1 1 λ
L = (∂µ φ)(∂ µ φ) − m2 φ2 − φ4 . (12.1)
2 2 4!
The Hamiltonian density is,
∂L
H = π φ̇ − L, φ= , (12.2)
∂ φ̇
The Hamiltonian is then found to be
H = H0 + H ′ , (12.3)
where 2
Z 2 ~
π + ∇φ + m2 φ2
3
H0 = d ~x , (12.4)
2
is the Hamiltonian a free real Klein-Gordon field, and
λ
Z
H = d3~x φ4 ,
′
(12.5)
4!
152
is a new term.
For a generic λ 6= 0, it is not possible to find an exact expression for the
quantum field φ. In this chapter, we will learn how to construct a solution
using perturbation theory, by expanding around the known result for λ = 0.
It is only necessary to know the field φ(~x, t) at a specific time value t = τ .
We can use symmetry under time translations in order to determine the field
µ µ µ
at any other moment t. The generator
of space-time translations x → x +ǫ
is the field momentum P µ = H, P~ . Specifically for time translations, the
generator is the Hamiltonian H. Fields at two different times are related via,
φ(x, t) = e+iH(t−τ ) φ(~x, τ )e−iH(t−τ ) (12.6)
(this is an exponentiated form of an equation such as Eq. 4.111, with Q =
P µ δxµ , δxi = 0). As you may have noticed field operators evolve with time,
while states do not. This is usually termed as the Heisenberg picture.
Let us now compute the time evolution of the field φ(~x, τ ) in the hypo-
thetical case that there is no interaction (λ = 0). We find that
φI (x, t) = e+iH0 (t−τ ) φ(~x, τ )e−iH0 (t−τ ) , (12.7)
and solving for φ(~x, τ ), we find
φ(x, τ ) = e−iH0 (t−τ ) φI (~x, t)e+iH0 (t−τ ) . (12.8)
φI (~x, τ ) is the field in the “interaction picture”. The fields in the interaction
picture and the Heisenberg picture are identical if H = H0 .
Combining Eq 12.6 and Eq. 12.8 we find the identity
φ(~x, t) = U −1 (t, τ )φI (~x, t)U(t, τ ) (12.9)
where we have defined the time-evolution operator in the interaction picture
U(t, τ ) ≡ e+iH0 (t−τ ) e−iH(t−τ ) . (12.10)
We now make a very important assumption. We require that there is a
time, for example in the far past, for which the field of the full Hamiltonian H
is a solution of the free Hamiltonian H0 . This is a reasonable approximation
if we can identify a time that particles are far from each other and they do
not feel their interaction can be neglected. We can formally implement this
by requiring for example that the interaction switches on at a certain time.
Given the existence of such a special time, the interaction field φI (~x, t)
will continue to be a solution of the free Hamiltonian at any time t. Then,
Eq. 12.9 is a transformation of the field φI in the free theory (H0 ) to the field
φ in the full “interacting” theory (H).
153
12.1 Time evolution operator in the interac-
tion picture
The calculation of the field operator in the full theory proceeds through the
evaluation of the time-evolution operator U(t, τ ) given that we can determine
the field operator in the free theory.
We shall first derive a differential equation for U(t, τ ). Differentiating
with respect to time, we have:
∂U(t, τ )
= i iH0 eiH0 (t−τ ) e−iH(t−τ ) − ieiH0 (t−τ ) He−iH(t−τ )
i
∂t
= eiH0 (t−τ ) (H − H0 )e−iH(t−τ )
= eiH0 (t−τ ) (H − H0 )e−iH0 (t−τ ) eiH0 (t−τ ) e−iH(t−τ ) (12.11)
We write the above in the form,
∂U(t, τ )
i = VI (t − τ )U(t, τ ), (12.12)
∂t
with the interaction potential defined as,
VI (t − τ ) ≡ eiH0 (t−τ ) (H − H0 )e−iH0 (t−τ ) . (12.13)
We can cast the general solution of the differential equation Eq. 12.12
as a time ordered exponential (as with an ordinary Schrödinger equation).
Integrating both sides of the equation with respect to time, we obtain
1 t
Z
U(t, τ ) = U(τ, τ ) + dt1 VI (t1 − τ )U(t1 , τ ). (12.14)
i τ
Let us rewrite the above equation, replacing t with t1 and t1 with t2 . We
have,
1 t
Z
U(t1 , τ ) = U(τ, τ ) + dt2 VI (t2 − τ )U(t2 , τ ). (12.15)
i τ
We can substitute Eq. 12.15 into Eq. 12.14, obtaining
1 t
Z
U(t, τ ) = 1 + dt1 VI (t1 − τ ) U(τ, τ )
i τ
2 Z t Z t1
1
+ dt1 dt2 VI (t1 − τ )VI (t2 − τ )U(t2 , τ ).
i τ τ
(12.16)
154
Obviously, we can repeat inserting Eq. 12.14 to itself as many times as we
wish. After an infinite number of iterations we obtain
" ∞ n Z t Z t1 Z tn−1
X 1
U(t, τ ) = 1 + dt1 dt2 . . . dtn
n=1
i τ τ τ
#
VI (t1 − τ )VI (t2 − τ ) . . . VI (tn − τ ) U(τ, τ ). (12.17)
Time-Ordering
Consider one of the simplest integrals in the above series,
Z t Z t1
I[t, τ ] = dt1 dt2 VI (t1 − τ )VI (t2 − τ ). (12.18)
τ τ
It can be written as
Z t Z t
I[t, τ ] = dt1 dt2 VI (t1 − τ )VI (t2 − τ )Θ(t1 − t2 ). (12.19)
τ τ
By changing integration variables, t1 → t2 and t2 → t1 , we obtain
Z t Z t
I[t, τ ] = dt1 dt2 VI (t2 − τ )VI (t1 − τ )Θ(t2 − t1 ). (12.20)
τ τ
Adding Eq. 12.19 and Eq. 12.20, we obtain
Z t Z t1
1 t
Z
dt1 dt2 VI (t1 − τ )VI (t2 − τ ) = dt1 dt2 T {VI (t1 − τ )VI (t2 − τ )} ,
τ τ 2! τ
(12.21)
where the symbol T {. . .} is our familiar time-ordering symbol, ordering op-
erators from the largest to the smallest times,
T {VI (t1 − τ )VI (t2 − τ )} = VI (t1 − τ )VI (t2 − τ )Θ(t1 − t2 )
155
Time-Ordered Exponentiated Integral
We define a time-ordered exponentiated integral as the time-ordering of its
Taylor series expansion,
hR in
t ′ ′
Rt ′ ′
∞
X τ dt A(t )
T e τ dt A(t ) ≡ T
n=0
n!
∞
1 X t
Z
= 1+ dt1 . . . dtn T {A(t1 ) . . . A(tn )} . (12.24)
n! n=1 τ
where we can put the two exponentials under a common time-ordering symbol
given that the times of the operators in the first exponent are always larger
than the times of the operators in the second exponent.
We can now write a compact expression for the time-evolution operator of
Eq. 12.17 as a time-ordered exponential, by using Eq. 12.23 and the definition
of Eq. 12.25. We obtain that,
Rt
dt′ V (t′ −τ )
U(t, τ ) = T e−i τ U(τ, τ ). (12.26)
• The field in the full theory φ(~x, t) is related to the field in the free
theory φI (~x, t) at any time t, via a simple relation,
156
To determine the operator U(t, τ ) at an arbitrary time, we require a
boundary value U(τ, τ ) at a time τ . We can select τ to be any time for which
the field in the full theory is essentially equal to the field in the free theory,
Such as special time τ is not hard to find, if the assumptions that we have
made for the S−matrix of the theory are correct. Essentially, fields are most
of the time free, except for the short duration of particle interactions. We can
then select τ to be a time in the far past or the far future of the scattering
event that we would like to describe. For this time, we can set
U(τ, τ ) = 1. (12.29)
157
12.3 The ground state of the interacting and
the free theory
Our goal is to develop a formalism for the evaluation of Green’s functions
in the interacting theory. As we have seen, their Fourier transforms will give
us, with the LSZ reduction formula, the probability amplitudes for physical
scattering processes. We remind that the points xµi in the above need to have
time components which are slightly complex (Eq. 11.75).
From the discussion of the previous section we have that
and |ψ0 i ≡ |Ωi. Eigenstates of the full Hamiltonian form a complete set,
X
1 = |Ωi hΩ| + |ψn i hψn | . (12.37)
n6=0
Let us now act with an operator to the vacuum state |0i of the free theory
H0 ,
e−iH(τ +T )(1−iδ) e+iH0 (τ +T )(1−iδ) |0i ,
choosing T a large time in the future and δ a very small “dumbing” parameter
δ → 0+ . This is in anticipation of needing to evaluate Green’s functions with
slightly complex times. We have,
e−iH(τ +T )(1−iδ) e+iH0 (τ +T )(1−iδ) |0i = e−iH(τ +T )(1−iδ) e+i0(τ +T )(1−iδ) |0i
= e−iH(τ +T )(1−iδ) |0i (12.38)
158
We now use the completeness of the Hamiltonian eigenstates for the full
theory.
Assuming a hierarchy En > E0 for the first energy level of the full Hamilto-
nian with respect to the ground energy, the factor e−En δ(τ +T ) vanishes faster
than e−E0 δ(τ +T ) , as δ → 0+ . In this limit, we can write a simple relation be-
tween the ground state in the full theory and the vacuum in the free theory,
e−iH(τ +T )(1−iδ) e+iH0 (τ +T )(1−iδ) |0i = |Ωi e−iE0 (1−iδ)(τ +T ) hΩ| 0i . (12.40)
We now observe that the operator on the left side of the above equation
is nothing else than U −1 (−T (1 − iδ), τ (1 − iδ)). We then have
159
Given that the times T > x0i > −T , we can put all operators under the time-
ordering symbol. We then obtain, the final result for the Green’s function
where the points xµi are computed in slightly complex times x0i (1 − iδ).
Eq. 12.45 is an exact result, but it can serve as our basis for perturbation
theory. The exponential can be written as a function of the perturbation
Lagrangian with free fields. For our example interaction
λ
R∞
d4 x 4! φI (x)4
R
dt′ VI (t′ )
e−i −∞ = e−i , (12.46)
To evaluate the terms of the right hand side of Eq. 12.47, we need to be able to
compute expectation values in the free-field theory of time-ordered products
of field operators. This can be achieved by means of Wick’s theorem.
We decompose the free scalar field φI into a term with a creation operator
and a term with an annihilation operator,
160
with
d3~k
Z
φ− (x) = e−ik·x a(k), (12.49)
(2π)3 2ωk
and
d3~k
Z
φ+ (x) = e+ik·x a† (k), (12.50)
(2π)3 2ωk
The time-ordered product of two scalar fields is,
The sum of the theta functions in the first term is equal to one. We observe
that in the curly bracket all field products appear with creation operators
preceding annihilation operators. The curly bracket is then just the normal
ordering of the product of the two field operators
( )
... =: φI (x)φI (y) : (12.52)
The sum of the two terms in the last line is a known object, the Feynman-
Stückelberg propagator, which is not an operator but a c−number. Using
161
that the relation
[a(k), a† (k ′ )] = (2π)3 2ωk δ (3) (~k − ~k ′ ), (12.53)
we find that
d3 k
Z
[φ− (x), φ+ (y)] = e−ik(x−y) . (12.54)
(2π)3 2ωk
Combining the two terms together we have
[φ− (x), φ+ (y)] Θ x0 − y 0 + [φ− (y), φ+(x)] Θ y 0 − x0
d3 k −ik(x−y)
Z
0 0 −ik(y−x) 0 0
= e Θ(x − y ) + e Θ(y − x )
(2π)32ωk
= h0| T {φI (x)φI (y)} |0i . (12.55)
We can then write that,
T {φI (x)φI (y)} =: φI (x)φI (y) : + h0| T {φI (x)φI (y)} |0i . (12.56)
We have proved that the time-ordered product of two free-field operators
is the normal-ordering of the same product plus a c−function which is the
propagator of the two-fields.
This result generalizes easily to the time-ordered product of an arbitrary
number of field operators. For three fields we have
T {φI (x1 )φI (x2 )φI (x3 )} = : φI (x1 )φI (x2 )φ(x3 ) :
+ h0| T {φI (x1 )φI (x2 )} |0i φI (x3 )
+ h0| T {φI (x1 )φI (x3 )} |0i φI (x2 )
+ h0| T {φI (x2 )φI (x3 )} |0i φI (x1 ) (12.57)
For four fields we have
T {φI (x1 )φI (x2 )φI (x3 )φ(x4 )} = : φI (x1 )φI (x2 )φ(x3 )φI (x4 ) :
+ h0| T {φI (x1 )φI (x2 )} |0i : φI (x3 )φ(x4 ) :
+ h0| T {φI (x1 )φI (x3 )} |0i : φI (x2 )φ(x4 ) :
+ h0| T {φI (x1 )φI (x4 )} |0i : φI (x2 )φ(x3 ) :
+ h0| T {φI (x1 )φI (x2 )} |0i h0| T {φI (x3 )φ(x4 )} |0i
+ h0| T {φI (x1 )φI (x3 )} |0i h0| T {φI (x2 )φ(x4 )} |0i
+ h0| T {φI (x1 )φI (x4 )} |0i h0| T {φI (x2 )φ(x3 )} |0i .
(12.58)
162
In general, Wick’s theorem states that
where a “contraction” means to replace one or more pairs of fields with their
propagator. The theorem can be proved easily by induction.
Notice that the normal ordered products in the expressions produced with
Wick’s theorem are vanishing when bracketed with the vacuum,
Y
h0| : φI (xj ) : |0i = 0, (12.60)
j
given that creation operators are placed before annihilation operators in the
normal ordering and
h0| a† (k) = a(k) |0i = 0.
From Eqs 12.56-12.58 we derive the tautology
h0| T {φI (x)φI (y)} |0i = h0| T {φI (x)φI (y)} |0i , (12.61)
and
h0| T {φI (x1 )φI (x2 )φI (x3 )φ(x4 )} |0i = h0| T {φI (x1 )φI (x2 )} |0i h0| T {φI (x3 )φ(x4 )} |0i
+ h0| T {φI (x1 )φI (x3 )} |0i h0| T {φI (x2 )φ(x4 )} |0i
+ h0| T {φI (x1 )φI (x4 )} |0i h0| T {φI (x2 )φ(x3 )} |0i .
(12.63)
163
The four point function is represented as
1 4
h0| T {φI (x1 )φI (x2 )φI (x3 )φ(x4 )} |0i = contracted
2 3
1 4 1 4
1 4
= + + (12.65)
2 3 2 3
2 3
(−iλ)
Z
d4 x h0| T φI (x1 )φI (x2 )φI (x)4 |0i
= h0| T {φI (x1 )φI (x2 )} |0i +
4!
(−iλ)
Z
− h0| T {φI (x1 )φI (x2 )} |0i d4 x h0| φI (x)4 |0i + O(λ2 ) (12.66)
4!
Let us compute pictorially the second term in the expansion,
(−iλ)
Z
d4 x h0| T φI (x1 )φI (x2 )φI (x)4 |0i
4!
164
1 2
x
Figure 12.1: The term h0| T {φI (x1 )φI (x2 )φI (x)4 } |0i as the sum of all con-
tractions of the graph above
1 2 x
1 × 3 × 1 times.
1 x 2
165
This is a “connected” diagram, meaning that internal points are con-
nected to external points by following the lines of the graph.
We can now compute the multiplicity of the Feynman diagram. There
are 4 ways that we can contract the field at the first external point with
one of the fields at the internal point x. The second external point can
then be contracted to another internal field in three ways. Finally, two
remaining internal fields can be contracted with each other in one way.
Therefore, this Feynman diagram occurs
4!
4×3×1= times.
2
Now we examine the last term
(−iλ)
Z
− h0| T {φI (x1 )φI (x2 )} |0i d4 x h0| φI (x)4 |0i
4!
in Eq. 12.66, which is the contribution of the denominator in Eq. 12.47 to
the λ Taylor expansion. It is easy to convince ourselves that this term yields
the same Feynman diagram as the disconnected Diagram I. The two ex-
ternal fields are contracted together. The four internal fields are also con-
tracted among themselves. However, this terms carries an overall minus sign.
As a result, the disconnected Feynman diagram drops out from the result.
This observation holds at all orders in perturbation theory. Disconnected
Feynman diagrams do not contribute to the perturbative expansion of Green’s
functions 1 . These factorize in the numerator of Eq. 12.47 and cancel exactly
against the denominator.
In summary, the perturbative expansion of the two-point Green’s func-
tion through order O(λ) can be represented very simply with the following
Feynman diagrams.
hΩ| T {φ(x1 )φ(x2 )} |Ωi =
1 1 + ...
1 2 + x 2
2 (12.67)
We can obtain a concrete mathematical expression from the above diagrams
by following very simple rules, pioneered by Feynman:
1
The general proof of this statement is easier with the path integral formalism, and we
postpone it for QFTII.
166
1. We associate a propagator to each line
1 2 → h0| T {φI (x1 )φI (x2 )} |0i (12.68)
167
At leading order in perturbation theory we have,
Z
G̃(p) = d4 xeip·x h0| T {φI (x)φI (0)} |0i + O(λ)
d4 k i
Z Z
4 ip·x
= d xe 4 2 2
e−ikx + O(λ)
(2π) k − m + iδ
4
dk i
Z Z
= d4 xei(p−k)·x + O(λ)
(2π)4 k 2 − m2 + iδ
d4 k i
Z
= (2π)4 δ (4) (p − k) + O(λ)
(2π) k − m2 + iδ
4 2
i
; G̃(p) = + O(λ) (12.71)
p2 − m2 + iδ
It is interesting to look at the transition amplitude for a particle with
momentum p to a particle with momentum p′ . The corresponding Green’s
function is
Z Z
′ 4 +ip′ ·y
G̃ (p; p ) = d ye d4 xe−ip·x hΩ| T {φ(x)φ(y)} |Ωi , (12.72)
G(x1 , x2 , x3 , x4 ) =
1 4 4 4 1 x y 4 1
1 1
1 4 + +
+ + 2
2 3 2 3 2 x 3 2 3
2 3
Ga Gb Gc Gd Ge
+... (12.74)
168
Let us now compute the Green’s function in momentum space,
Z
G̃(p3 , p4 ; p1 , p2 ) = d4 x1 e−i(x1 ·p1 +x2 ·p2 −x3 ·p3 −x4 ·p4 ) G(x1 , x2 , x3 , x4 ), (12.75)
G̃(p3 , p4 ; p1 , p2 ) = Ga + Gb + Gc + Gd + Ge + . . . , (12.76)
where Ga,b,c are the contributions of the first three diagrams and Gd , Ge are
the contributions of the fourth and fifth diagram at order O(λ) and O(λ2 ).
The first three diagrams give,
i i
Ga + Gb + Gc = (2π)4 δ 4 (p1 − p4 ) (2π)4 δ 4 (p2 − p3 ) 2
p21 2
− m + iδ p2 − m2 + iδ
i i
+ (2π)4 δ 4 (p1 − p3 ) 2 (2π) 4 4
δ (p 2 − p 4 ) 2
p1 − m2 + iδ p2 − m2 + iδ
i i
+ (2π)4 δ 4 (p1 + p2 ) 2 2
(2π)4 δ 4 (p3 + p4 ) 2
p1 − m + iδ p3 − m2 + iδ
+ (12.77)
Substituting the expression for h0| T {φI (x3 )φI (x)} |0i Performing the x and
xi integrations we find,
i i i i
Gd = (−iλ) (2π)4 δ 4 (p1 +p2 −p3 −p4 ).
p21 2 2 2
− m2 + iδ p2 − m2 + iδ p3 − m2 + iδ p4 − m2 + iδ
(12.79)
169
The diagram Ge is a “loop diagram”. Let us write the corresponding
expression, using the Feynman rules in position space. We have
Z
Ge = d4 x1 d4 x2 d4 x3 d4 x4 e−i(x1 ·p1 +x2 ·p2 −x3 ·p3 −x4 ·p4)
Z
× (−iλ) d4 xd4 y ( vertices )
× h0| T {φI (x1 )φI (x)} |0i ( contraction of x1 and x )
× h0| T {φI (x2 )φI (x)} |0i ( contraction of x2 and x )
× h0| T {φI (x3 )φI (y)} |0i ( contraction of x3 and y )
× h0| T {φI (x4 )φI (y)} |0i ( contraction of x4 and y )
× h0| T {φI (x)φI (y)} |0i2 ( two contractions of x and y )
(12.80)
Observe our final expressions for Ga, b, c, Gd and Ge. We can make easy
rules (Feynman rules) to produce them from the Feynman diagrams.
• In every vertex we pick up a factor
(−iλ),
170
other there is an overal factor
!
X X
(2π)4 δ (4) pin − pout ,
in out
Figure 12.2: Feynman diagrams which are correction to external lines and
do not contribute to physical scattering amplitudes.
171
truncated Green’s function
hp3 , p4 | p1 , p2 i = Z̃φ2 G̃trunc (p3 , p4 ; p1 , p2 ) (12.82)
p2i =m2phys
compute for squared external momenta equal to the physical mass of the
particles. The truncated Green’s function is defined as
G̃(p3 , p4 ; p1 , p2 )
G̃trunc (p3 , p4 ; p1 , p2 ) = , (12.83)
G̃(p1 )G̃(p2 )G̃(p3 )G̃(p4 )
where the Green’s function in momentum space is divided with the propa-
gator of each of the particles in the initial and final states.
The Kählen-Lehmann representation for the pole of the propagator is
iZ̃
G̃(p) = + regular terms (12.84)
p2 − m2phys
172
• Lines starting from an external point contribute a factor 1 (and not
i/(p2 − m2 )).
We must be, though, a bit more careful. Eq. 12.85 has perturbative cor-
rections of order λ. We need to divide our Feynman diagrams with the full
perturbative expansion of the propagator and not just the leading order con-
tribution. We can account for this division entirely with one more clever
trick.
For example, the diagrams of Fig. 12.2 should all be disregarded when com-
puting truncated Green’s functions for physical scattering amplitudes.
173
Chapter 13
Loop Integrals
This is a formidable integral, given that it requires four integrations for each
space-time dimension. We notice that only the combination k 2 = k02 − ~k 2
appears in the integrand. The integral would be easily solvable had we had
a Euclidean metric for kE2 = k02 + ~k 2 , by using spherical coordinates in four
dimensions. With a Minkowski metric, we ought to treat the time integration
specially. We write
Z +∞ 3~ Z +∞
dk 1
I = lim 4
dk0 , (13.2)
δ→0+ −∞ (2π) −∞ (k0 − ωk + iδ) (k0 + ωk − iδ)
174
with q
ωk = ~k 2 + m2 . (13.3)
The integrand has two poles, at k0 = ωk − iδ and k0 = −ωk + iδ, which
are found in the lower-right and upper-left quarter planes in the (ℜk0 , ℑk0 )
plane We can perform the so called Wick rotation, rotating the integration
Figure 13.1: Wick’s rotation: The integrand has no poles on the upper-right
and lower-left k0 complex plane. We can rotate the integration axis by 90o ,
and integrate along the imaginary axis ko ∈ [−i∞, +i∞].
Setting
k0 = ik0′ ,
the integral becomes
+∞
d3~k +i∞
1
Z Z
I=i dk0′ . (13.5)
−∞ (2π)4 −i∞ −(k0′ )2 − ~k 2 − m2 + iδ
175
Notice that after Wick’s rotation we can consider the four-vector kE ≡ (k0′ , ~k)
in Euclidean space, and express kE in four-dimensional spherical coordinates:
dkE = d|k| |k|3dΩ4 . (13.6)
The integral then becomes
∞
|k|3
Z
I = −iΩ4 d|k| . (13.7)
0 |k|2 + m2 − iδ
Notice that the integral diverges as |k| → ∞, which is an embarrassment.
Infinities were historically the biggest puzzle in the development of quan-
tum field theory. But, we now know what to do with them for many La-
grangian systems which are realistic descriptions of nature. We will learn
later that we can “sweep infinities under the carpet”, exploiting certain “free-
doms” that we have. We are allowed to absorb infinities in the the normal-
ization constants Zφ of the LSZ formula, or in the definition of physical mass
and coupling parameters in terms of the corresponding parameters appearing
in the Lagrangian. These are very few “freedoms”, and it is amazing that
they suffice to solve the problem.
The method of “sweeping infinities under the carpet” is called renormal-
ization. A prerequisite to it is to quantify the infinities with the help of a
regulator. We shall introduce a parameter which renders the integrations
well defined and finite except at a certain limit. For example, we can restrict
the integration in Eq. 13.7 below a certain cut-off value Λ for |k|,
Z Λ
|k|3
2
Λ
I(Λ) ≡ −iΩ4 d|k| 2 = −iΩ4 + ... (13.8)
0 |k| + m2 − iδ 2
The regularized integral I(Λ) is equal to the original integral I in the limit
of an infinite Λ,
lim I(Λ) = I. (13.9)
Λ→∞
What is the benefit of introducing a regularization method? It will give us
the possibility to compute the divergent parts of all loop-integrals that enter
the evaluation of S−matrix elements for values of the regulator Λ where they
are all well-defined. Then, we can perform “renormalization” and express
the parameters of the Lagrangian in terms of physical mass and coupling
parameters. Then we shall take the limit of the regulator which corresponds
to the original loop integrals. It will turn out that for many field theories the
final renormalized S-matrix elements are finite.
176
13.2 Dimensional Regularization
A method to regularize loop integrals is not unique. A well chosen regular-
ization procedure can be very beneficial for practical computations, since the
difficulty in carrying out the integrations may vary significantly. What is
more important, some regularization methods may violate some of the sym-
metries of the theory. For example, a “cut-off” regularization violates Lorentz
invariance. When symmetries are broken due to the regularization method it
may be required to pay additional efforts in order to relate S-matrix elements
to physical observables.
The most elegant regularization method known to date was developed
by t’Hooft and Veltman in the 70’s. It is called dimensional regularization.
It has revolutionized the evaluation of loop integrals for its simplicity. It is
also known to preserve most of the symmetries which are found in physical
Lagrangian systems.
In dimensional regularization, the regulator is the number of space-time
dimensions d. We shall explain how this work, by revisiting the simplest
example of a loop integral in Eq. 13.7. Let us now compute this integral in
an arbitrary number of dimensions,
dd k 1
Z
Id = , (13.10)
(2π) k − m2 + iδ
d 2
and
k 2 = k02 + ~k 2 . (13.12)
In spherical coordinates,
∞
iΩd k d−1
Z
Id = dk . (13.13)
(2π)d 0 −k 2 − m2 + iδ
177
We observe that the integral has a finite ultraviolet limit (k → ∞) for val-
ues of the dimension d < 3. In dimensional regularization we compute the
integral for a generic value of the dimension d which is allowed for it in in
order to be well-defined. At the end of our computation, we shall perform
an “analytic continuation” to a physical dimension value d = 4.
178
dd k,
R
This gives for the integration measure
Z +∞ Z ∞ Z Z ∞ Z π Z
d−2 d−1 d−2
dkd dr(d−1) r(d−1) dΩd−1 = dll dθd−1 sin θd−1 dΩd−1 .
−∞ 0 0 0
(13.19)
We have then arrived to the recurrence relation,
Z Z π Z
d−2
dΩd = dθd−1 sin θd−1 dΩd−1 . (13.20)
0
Using this as a boundary condition for Eq. 13.20, we obtain the solid-angle
in arbitrary integer dimensions,
Z Z π Z π Z 2π
d−2
dΩd = dθd−1 sin θd−1 . . . dθ2 sin θ2 dθ1 . (13.22)
0 0 0
1 x+1
π
Γ Γ
1 1+x
Z
; dθ sinx θ = B , = 2
x+2
2 . (13.23)
0 2 2 Γ 2
179
1
A quicker derivation of Eq. 13.24 proceeds as follows. Consider the
exponential integral, Z ∞ √
2
dxe−x = π. (13.25)
−∞
Setting t = x2 , we find
∞
1 1 d
Z
d d
−1 −t
π = Ωd
2 dtt 2 e = Ωd Γ . (13.27)
2 0 2 2
which is the same recursion relation as for the factorial of integers. For z = n
a positive integer, we have
The function Γ(z) is analytic except for z = 0, −1, −2, . . .. From the
integral representation we conclude that the Γ function is convergent for
Re z > 0. But, the recursion relation of Eq. 13.30 defines it for all complex
values of z, with the exception of non-positive integers.
1
shown in class
180
A useful value is
√
1
Γ = π. (13.32)
2
We can also prove the identity,
x x + 1
1 x−1
Γ(x)Γ =2 Γ Γ . (13.33)
2 2 2
We shall often need to expand a Gamma function around an integer value
for its argument. We have
Z ∞
Γ(1 + ǫ) = xǫ e−x
Z0 ∞
= eǫ ln x e−x
0
Z ∞
ǫ2 2
= 1 + ǫ ln x + ln x + . . . e−x
0 2
= 2
π2
2 γ
; Γ(1 + ǫ) = 1 − ǫγ + ǫ + + O(ǫ3 ). (13.34)
2 12
The “Euler-gamma” constant is defined as
Z ∞
γ≡− dx log(x) ≈ 0.544 . . . (13.35)
0
181
which yields the final result,
Z d
d k 1 d 2
d2 −1
d = −Γ 1 − m − iδ (13.39)
iπ 2 k 2 − m2 + iδ 2
Notice that the integral is divergent for d = 2, 3, 4, . . ., but it is well-defined
for any other value of d.
Exercise: Prove that
d
Z d
d k 1 ν Γ ν − 2 2
d2 −ν
d ν = (−1) m − iδ . (13.40)
iπ 2 [k 2 − m2 + iδ] Γ(ν)
lim md = 0d = 0. (13.41)
m→0
We then have that integrals with no mass scales vanish, and in our examplary
case, Z d
d k 1
d 2 ν = 0. (13.42)
iπ 2 [k + iδ]
182
exactly the same manner as for the simplest integral of Eq. 13.40. The price
that we have to pay is to introduce new integration variables over “Feynman
parameters”. It is easy to prove that,
Z 1
1 1
= dx . (13.46)
AB 0 [xA + (1 − x)B]2
The integral over K µ can be solved using the general result of Eq. 13.40,
Z 1
d d −2
I2 = Γ 2 − dx m2 − x(1 − x)p2 − iδ 2 (13.50)
2 0
183
can still derive rather precise theoretical predictions for S-matrix elements of
interesting scattering processes.
For physics predictions, we are interested in the value of loop integrals as
a Laurent expansions around the physical value of the dimension parameter,
d = 4. It is customary to write,
d = 4 − 2ǫ, (13.51)
Exercise: Solve the above integral, assuming that p2 < 4m2 . For p2 > 4m2
the integral develops an imaginary part. Compute it, by performing an
analytic coninuation of the result for p2 < 4m2 .
The procedure of combining denominators in a single term using Feyn-
man parameters and making complete squares of the loop momenta can be
performed in general. For an arbitrary number of denominators in a loop-
integral we can use the formula,
!
1 Γ (ν1 + . . . νn ) 1 xν11 −1 . . . xνnn −1
Z X
= dx1 . . . dxn δ 1 − xi
Aν11 . . . Aνnn
Q P
Γ(νi )
P νi
0 i [ x A
i i ]
(13.53)
Proof: Let us perform the change of variables
ai
xi = (13.54)
1 + an
in the rhs of Eq. 13.53. The delta function becomes,
n
! Pn−1 ! n−1
!
X ai 1 − i=1 ai X
δ 1− =δ = (1+an )δ 1− ai . (13.55)
i=1
1 + an 1 + an i=1
184
The parameters ai are constrained to be in the interval [0, 1], due to the
δ function for i = 1 . . . n − 1, while the parameter an ranges in between
an = 0(xn = 0) and an = ∞(xn = ∞). The Jacobian of the transformation
is
dai
dxi = , i 6= n, (13.56)
1 + an
and
dan
dxn = . (13.57)
(1 + an )2
All factors conspire in Eq. 13.53, so that the integrand is almost the same
as the original, replacing xi with ai . The only difference is that the delta
fucntion does not contain an anymore, and that the range of this variable is
from 0 to infinity. Explicitly,
Γ (ν1 + . . . νn )
rhs of Eq. (13.53) = Q
Γ(νi )
n−1
!
aν11 −1 . . . aνnn −1
Z ∞ Z 1 X
× dan da1 . . . dan−1 δ 1 − ai P P
νi
(13.58)
0 0 i=1 [ a A
i i ]
We have now factorized the term 1/Aνnn out of an integral, which is now
cast in the same form as the original but with n − 1 Feynman parameters.
Obviously, we can repeat the same procedure as many times as needed in
order to factorize all A1νi terms, as in the lhs of Eq. 13.53.
i
185
Chapter 14
Quantum Electrodynamics
One of the most amazing successes of Quantum Field theory, is the preci-
sion in which it describes the interaction of radiation and matter. The rules
governing these interactions are very simple, and are given by the theory of
Quantum Electrodynamics (QED). What is also astonishing, emerges natu-
rally by combining two very simple principles: symmetry and localilty. The
QED Lagrangian is symmetric under phase-redefinitions (U(1) transforma-
tions) of the electron field which are local, i.e. we can choose the symmetry
trnsformation parameters differently at each space-time point.
Local symmetry transformations govern all quantum field theories, QED,
QCD and the Standard Model of electroweak interactions, which describe the
three forces of nature other than gravity. These theories describe physical
phenomena extremelly well within the experimentally accessible accuracy.
186
Let us now take a bold step and ask whether we can have a a different
phase θ at every space-time point xµ ,
U(x) = exp (ieθ(x)) . (14.3)
The Lagrangian is no longer invariant,
ψ̄6∂ ψ → ψ̄6∂ ψ + ψ̄e−ieθ ∂
ieθ
6 e ψ. (14.4)
The problem is that the space-time derivative does not transform simply
under the local U(1) transformation any more,
6∂ ψ → eieθ 6∂ ψ + something else .
If we insist on locality, we shall need to modify the derivative so that it
transforms more conveniently. We will look for a new derivative which, under
a local U(1) transformation transforms as:
6D ψ → U(x)6D ψ. (14.5)
The simplest modification we can think of, is to add to the space-time deriva-
tive a space-time function,
∂ µ → D µ = ∂ µ + functionµ (14.6)
which transforms in the same way as the space-time derivative under Lorentz
transformations, i.e. it transforms as vector. A function of space-time, in
field theory, is nothing else but a field. We are then proposing to modify the
definition of a derivative by adding to it a vector field. We write a “covarian
derivative”,
Dµ = ∂µ − ieAµ (x), (14.7)
where the −ie factor is conventional.
The vector field Aµ (x) must have a very specific trasformation which we
can find, in order for the modified derivative to transform simply. We require
that
Dµ ψ(x) → Dµ′ ψ ′ = U(x)Dµ ψ
; ∂µ − ieA′µ (U(x)ψ) = U(x) (∂µ − ieAµ ) ψ
187
This is an astonishing result. We find that the vector field transforms as,
A′µ = Aµ + g∂µ θ, (14.9)
which is a gauge transformation, the transformation of the photon field. In
other words, if we would like that a Lagrangian of electrons is invariant
under local U(1) transformations, then the same Lagrangian must describe
a photon field.
The covariant derivative transforms as:
Dµ → Dµ′ = ∂µ − ieA′µ
i −1
= ∂µ − ie Aµ − U ∂µU
g
−1
= ∂µ − ieAµ − U (∂µ U)
∂µ − ieAµ + U ∂µ U −1
=
= U(x) (∂µ − ieAµ ) U −1 (x) (14.10)
Therefore:
Dµ → Dµ′ = U(x)Dµ U −1 (x) (14.11)
We can now replace the free Lagrangian of the spin-1/2 field with a new
Lagrangian which is symmetric locally,
L = ψ̄ [i6D − m] ψ
→ ψ̄U −1 U [i6D − m] U −1 Uψ
ψ̄ [i6D − m] ψ.
If Aµ is a physical field, we need to introduce a kinetic term in the La-
grangian for it. We will insist on constructing a fully gauge invariant La-
grangian. To this purpose, we can use the covariant derivative as a building
block. Consider the gauge transformation of the product of two covariant
derivatives:
Dµ Dν → Dµ′ Dν′ = UDµ U −1 UDν U −1
= UDµ Dν U −1 .
This is not a gauge invariant object. Now look at the commutator:
[Dµ , Dν ] → Dµ′ , Dν′
= U [Dµ , Dν ] U −1 (14.12)
188
This is gauge invariant. To convince ourselves we write the commutator
explicitly:
Inserting Eq. 14.13 into Eq. 14.12, we find that the commutator of covariant
derivatives (in the abelian case) is gauge invariant. We have also found that
it is proportional to the field strength tensor of the gauge (photon) field:
i
Fµν = [Dµ , Dν ] = ∂µ Aν − ∂ν Aµ (14.14)
e
We now have invariant terms for a Lagrangian with an “electron” and a
“photon” field. The classical Lagrangian for QED reads
1
L = ψ̄ (i6D − m) ψ − Fµν F µν . (14.15)
4
This Lagrangian accounts for the majority of the phenomena that we expe-
rience in nature. It is a beautiful synthesis of locality and symmetry!
Exercise: Find the Noether current and conserved charge due to the
invariance under the U(1) gauge transformation of the QED Lagrangian.
The last term, which couples the electron and fermion fields, differentiates
the QED Lagrangian from the Lagrangian of two free electron and photon
fields. Can we solve the energy eigenstates of the QED Hamiltonian? No,
189
unless we resort to perturbation theory. The strength of the photon-electron
interaction is very small. We can consider the last term a small perturbation,
and expand probability amplitudes around e = 0.
For e = 0, we should recover the results from the quantization of the free
photon and free electron fields. We then encounter the same problems as
when we quantized the free electromagnetic field, which required to fix the
gauge for the field Aµ . We then add to the QED Lagrangian a term,
1
Lgauge−f ix = − (∂µ Aµ )2 . (14.17)
2ξ
In this way, we can at least be sure that the theory is correctly defined for
e = 0. It is not obvious that this modification will solve the problem of
obtaining a consistently quantized theory at higher orders in perturbation
theory. It actually does! But the justification of this statement will be a
very important topic of study in QFTII. As a primitive diagnostic, we shall
consider ξ an arbitrary parameter in our calculations. We will then check
that higher order corrections do not modify it.
We then have,
LQED = Le + Lγ + Lint , (14.18)
with
Le = ψ̄ [i6∂ − m] ψ, (14.19)
1
Lγ = − Fµν F µν − (∂µ Aµ )2 , (14.20)
4 2ξ
and
Lint = eψ̄6Aψ. (14.21)
We can develop a similar formalism for perturbation theory as in the case
of a scalar field theory. This leads to the derivation of Feynman rules for
S−matrix elements for QED transition amplitudes. Essentially, we can pic-
ture QED processes as photons and electrons propagating in between interac-
tions, where a photon is absobed or emmitted by electrons. For every photon
absorption or emission we need a factor of e, which is a number represent-
ing the strenght of the interaction. We then have to include all possibilities
for a scattering process to happen, with so many interaction vertices as the
maximum order in our perturbative series. The rules are:
190
• For the propagation of a photon with momentum p, assign the factor
i pµ pν
−gµν + (1 − ξ) 2 . (14.22)
p2 + iδ p + iδ
− ieγ µ (14.24)
In addition,
(−1) (14.26)
The LSZ reduction formula is slightly modified for fermions and photons,
where the constants Z̃ 1/2 are replaced by Z̃ 1/2 times a “spin factor” which is
different from one. For truncated external lines, we have the rules
191
• a factor
v(p),
for each outgoing anti-fermion,
• a factor
u(p),
for each incoming fermion,
• a factor
v̄(p),
for each incoming anti-fermion,
• and a factor
ǫµ (p)
for each external photon.
Since the space-time coordinates have an inverse mass dimension we find that
all terms in the Lagrangian must have mass dimensionality d,
From the kinetic terms of the photon and fermion fields we can deternime
that their mass dimensionalities ought to be,
d
(∂µ Aν )2 = [mass]d ; [Aν ] = [mass] 2 −1 ,
(14.30)
192
and d−1
ψ̄6∂ ψ = [mass]d ; [ψ] = [mass] 2 .
(14.31)
From the gauge fixing term, we find that the parameter ξ
d = 4 − 2ǫ,
193
where the metric is taken in D = 4 − 2ǫ dimensions,
tr14×4 = 4. (14.39)
γ µ γ ν γµ = {γ µ , γ ν } γµ − γ ν γ µ γµ
= 2g µν γµ − (4 − 2ǫ)γ ν
; γ µ γ ν γµ = −2(1 − ǫ)γ ν . (14.41)
and so on.
A difficulty arises in defining the matrix γ5 in 4 − 2ǫ dimensions. In four
dimensions this is defined as,
γ5 = iγ 0 γ 1 γ 2 γ 3 . (14.42)
{γ µ , γ5} = 0,
i i (γ µ kµ + m)
= . (14.43)
6k − m k 2 − m2
194
Particles propagating in loops, called virtual, generate loop-momenta in the
numerators of loop integrands.
At one-loop we can always express tensor integrals in terms of scalar
integrals. The technique is known as Passarino-Veltman technique and we
can illustrate it with a couple of examples. Consider the following tensor
one-loop integral,
kµ
Z
I [k ] ≡ dd k 2
µ
, (14.44)
k (k + p)2
where the +iδ term in the denominator is implicit and we take for simplicity
m = 0. The integrand is a rank one vector in the loop momentum. Due
to Lorentz convariance, the result of the integration will also be a rank one
tensor. We can then write,
I [k µ ] = Apµ , (14.45)
where on the rhs we have written the most general rank-one tensor that
we can construct from the momenta in the integral other than the loop
momentum. The coefficient A is as yet undetermined. We can express it in
terms of integrals which have scalar numerators. We multiply Eq. 14.45 with
pµ and rearrange
1
A = 2 I [k · p] . (14.46)
p
Notice that the scalar product in the numerator of the integral above can be
expressed in terms of the denominators of the integral,
1 k 2 p2
k · p = (k + p)2 − − . (14.47)
2 2 2
We then have that,
Z
1 1 1 d 1 1 1
Z Z
d d
A= − d k 2 + d k 2− 2 d k . (14.48)
2 k (k + p)2 p2 k p (k + p)2
Notice, that we only find integrals with a constant numerator, which is inde-
pendent of the loop momentum. The last two integrals are identical, as we
can see by performing the shift k → k + p in one of them. In this particular
example, they cancel against each other, and we have
kµ pµ 1
Z Z
d
d k 2 2
=− dd k 2 . (14.49)
k (k + p) 2 k (k + p)2
195
Consider now a more complicated example,
kµ kν
Z
µ ν d
I [k k ] ≡ d k 2 . (14.50)
k (k + p)2
The most general rank two tensor that we can write using the external mo-
menta of the integral is,
pµ pν
I [k µ k ν ] = A1 g µν + A2 2 . (14.51)
p
pµ pν
Contracting with gµν and p2
, we obtain the system of equations,
I [k 2 ]
! !
pµ pν
g µν gµν g
p 2 µν A1
pµ pν pµ pν = I [(k·p)2 ] . (14.52)
g µν pµp2pν p 2 p 2 A2 2 2(p )
In arbitrary dimensions,
gµν g µν = d = 4 − 2ǫ,
and the above system of equations becomes,
I [k 2 ]
!
4 − 2ǫ 1 A1
= I [(k·p)2 ] . (14.53)
1 1 A2
(p2 )2
with a solution,
I [k 2 ]
!
A1 1 1 −1
= I [(k·p)2 ] . (14.54)
A2 3 − 2ǫ −1 4 − 2ǫ (p2 )2
The two integrals on the rhs can be expressed in terms of two scalar “master
integrals”,
1
Z
Ia ≡ dd k 2 , (14.55)
k
and
1
Z
Ib ≡ dd k 2 . (14.56)
k (k + p)2
Specifically, we have
k2 1
Z Z
2 d
I k = d k 2 2
= dd k
k (k + p) (k + p)2
1 1
Z Z
= dd (k + p) 2
= dd k 2
(k + p) k
= Ia . (14.57)
196
Ia is a scaleless integral and, as we have discussed, it is zero in dimensional
regularization. We let it as an exercise to prove that
p2 (p2 )2
I (k · p)2 = Ia +
Ib . (14.58)
2 4
We can express all one-loop tensor integrals in terms of four master inte-
grals, Z d
d k 1
MA ≡ d 2
, (14.59)
iπ 2 k 2 − m1 + iδ
Z d
d k 1
MB ≡ d 2 2
, (14.60)
iπ 2 (k − m1 + iδ) [(k + p)2 − m2 + iδ]
2
Z d
d k 1
MC ≡ d 2 2 2
,
iπ 2 (k − m1 + iδ) [(k + p1 ) − m2 + iδ] [(k + p2 )2 − m3 + iδ]
2 2
(14.61)
and
Z d
d k
MD ≡ d ×
iπ 2
1
× 2 .
(k − m1 + iδ) [(k + p1 ) − m2 + iδ] [(k + p2 )2 − m23 + iδ] [(k + p2 )2 − m24 + iδ]
2 2 2
(14.62)
Exercise: Express the following tensor integrals in terms of master integrals,
kµ
Z
dd k 2
k − m2
kµkν
Z
dd k 2
k − m2
kµ
Z
dd k 2
(k − m21 ) [(k + p)2 − m22 ]
kµ kν
Z
dd k 2
(k − m21 ) [(k + p)2 − m22 ]
(14.63)
The above master integrals are known analytically since many years.
Their computation is involved for the general case of arbitrary masses mi
and momenta pi . We shall need the following two special cases,
Z d
d k 1 2 1−ǫ
d = −Γ(−1 + ǫ) m , (14.64)
iπ 2 k 2 − m2
197
and
dd k 1 cΓ
Z
2 −ǫ
d = −p , (14.65)
iπ k 2 (k + p)2
2 ǫ(1 − 2ǫ)
where
Γ(1 + ǫ)Γ(1 − ǫ)2
cΓ = . (14.66)
Γ(1 − 2ǫ)
Exercise: Prove the above using the method of Feynman parame-
ters
i i i
+ (−iΣ2 (p)) + ... (14.67)
6p − m 6p − m 6p − m
with
dd k
i ǫ µ i kµ kν
Z
ǫ ν
−iΣ2 = (−ieµ γ ) (−ieµ γ ) 2 −gµν + (1 − ξ) 2 ,
(2π)d 6k + 6p − m k k
(14.68)
where the iδ terms in the denominators are implicit. As we have discussed,
in d = 4 − 2ǫ dimensions, we need to introduce a mass scale factor µǫ for
every coupling factor e.
There are many ways that one can decide to compute this integral. Per-
haps, the easiest is with applying directly Feynman parameters. I choose
a bit of a longer method here, the details are not important, but the out-
come is, in the fact that it contains ultraviolet divergences. We first make
all denominators quadratic in the loop momentum by writing,
1 6k + 6p + m 6k + 6p + m
= = , (14.69)
6 + 6p − m
k (6k + 6p − m) (6k + 6p + m) (k + p)2 − m2
198
and then contract the Lorentz indices and use the d-dimensional Clifford
algebra. We obtain
dd k (2 − d)(6k + 6p) + md
Z
2 2ǫ
−iΣ2 = −e µ
(2π)d k 2 [(k + p)2 − m2 ]
dd k 6k (6k + 6p + m)6k
Z
2 2ǫ
+ e µ (1 − ξ) (14.70)
(2π)d (k 2 )2 [(k + p)2 − m2 ]
We can simplify the second integral if we use the identity
1 1
6k 6k = (6k − p6 + m) + (6p − m) (6p − m) , (14.71)
6k + 6p − m 6k + 6p − m
which is proved easily by writing 6k = (6k + 6p − m) − (6p − m). The first
term in the rhs of the identity leads to a scaleless integral which is zero in
dimensional regularization. We then have
dd k (2 − d)(6k + 6p) + md
Z
2 2ǫ
−iΣ2 = −e µ
(2π)d k 2 [(k + p)2 − m2 ]
dd k (6k + 6p + m)
Z
2 2ǫ
+ e µ (1 − ξ) (6p − m) d 2 (6p − m) ,
(2π) (k ) [(k + p)2 − m2 ]
2
(14.72)
and by changing variables to k → k − p, we write
dd k (2 − d)6k + md
Z
2 2ǫ
−iΣ2 = −e µ
(2π)d (k − p)2 [k 2 − m2 ]
dd k (6k + m)
Z
2 2ǫ
+ e µ (1 − ξ) (6p − m) (6p − m) .
(2π) [(k − p)2 ]2 (k 2 − m2 )
d
(14.73)
Now we can write
6k = γ µ kµ ,
and reduce the emerging tensor integrals to master integrals (exercise).
However, there is an easier method. First, we simplify further the gamma
matrices in the numerators and we write
dd k (2 − d)6k + md
Z
2 2ǫ
−iΣ2 = −e µ
(2π)d (k − p)2 [k 2 − m2 ]
dd k −6k (p2 − m2 ) + 26p(p · k − m2 ) + m (k 2 − m2 ) − (k − p)2
Z
2 2ǫ
− e µ (1 − ξ) .
(2π)d [(k − p)2 ]2 (k 2 − m2 )
(14.74)
199
We anticipate the result to be written in terms of the vector pµ , contracted
with gamma matrices. We can write the general ansatz,
∞
X
−iΣ2 = (6p)n fn (p2 , m2 ). (14.75)
n=0
Given that 6p2 = p2 , 6p3 = p2 6p etc, the series terminates after the second term,
and we cast the general functional form of the one-loop electron propagator
as,
−iΣ2 = −iΣ2,V (p2 , m2 )6p − imΣ2,S (p2 , m2 )1. (14.76)
We can find expressions for the functions Σ2,S and Σ2,V by taking the traces
1
−imΣ2,S (p2 , m2 ) = tr (−iΣ2 ) , (14.77)
4
and
1
−iΣ2,V (p2 , m2 )p2 = tr (−iΣ2 6p) . (14.78)
4
Explicitly,
dd k 1
Z
2 2 2 2ǫ
Σ2,S (p , m ) = −ie µ [d − (1 − ξ)] , (14.79)
(2π) (k − p) [k 2 − m2 ]
d 2
and
dd k (2 − d)k · p
Z
2 2 2 2 2ǫ
Σ2,V (p , m )p = −ie µ
(2π) (k − p)2 [k 2 − m2 ]
d
dd k k · p(p2 + m2 ) − 2p2 m2
Z
2 2ǫ
− ie µ (1 − ξ) .
(2π)d [(k − p)2 ]2 (k 2 − m2 )
(14.80)
Both functions Σ2,S and Σ2,V are divergent due to the ultraviolet limit k →
∞. In this limit, we can ignore the electron mass in the above expressions.
We then have
dd k 1
Z
2 2 2ǫ
Σ2,S (p , 0) = −ie µ [d − (1 − ξ)] , (14.81)
(2π) (k − p)2 [k 2 ]
d
200
with d = 4 − 2ǫ.
Similarly, the UV poles of Σ2,V can be computed from
dd k (2 − d)k · p
Z
2 2 2 2ǫ
Σ2,V (p , 0)p = −ie µ
(2π)d (k − p)2 k 2
dd k k·p
Z
2 2ǫ 2
− ie µ (1 − ξ)p .
(2π)d [(k − p)2 ]2 k 2
(14.83)
Writing
1 2
k + p2 − (k − p)2 ,
k·p=
2
and setting to zero scale-less integrals we have
201
Chapter 15
One-loop renormalization of
QED
202