Professional Documents
Culture Documents
QFT1 Lectures
QFT1 Lectures
Contents
1 Second quantization 4
2 Second quantization 14
3 Second quantization 23
4 Second quantization 31
5 Second quantization 41
8 Klein-Gordon field 68
1
16 Green’s functions in Klein-Gordon theory 131
25 S-matrix 212
26 S-matrix 223
2
33 Quantum electrodynamics 285
3
1 Second quantization
• in a system of photons
• in high energy collision of two electrons which can produce electron positron
pairs besides two electrons
– also a convenient tool when the number of particles is large but conserved
First consider the simplest case: A single particle in 3 dimensions moving under
the influence of a potential U (~r).
Schrodinger equation:
∂ψ b
i~ = hψ
∂t
~2 ~ 2
hψ = −
b ∇ ψ + U (~r) ψ
2m
h: Hamiltonian
b
One way to find the general solution is to first find the eigenstates of b
h.
h un (~r) = en un (~r)
b
en : eigenvalues, un : eigenfunctions, en ≥ 0
4
{un }: complete basis of states, normalized as
Z
d3 r u∗n (~r) um (~r) = δmn
General solution:
X
ψ(t, ~r) = an (t)un (~r), an (t) = an (0) e−ien t/~
n
Now consider a system of N particles of same mass, each moving under the
same potential, and with no mutual interaction
General solution:
X
ψ(t; ~r1 , · · · , ~rN ) = an1 ,···,nN (t) Wn1 ,···,nN (~r1 , · · · , ~rN )
n1 ,···,nN
5
Now consider the case when the particles are identical and bosonic.
We can still expand ψ in the basis {Wn1 ,···,nN } but it is redundant since only
symmetric functions need to be expanded
For this reason it will be natural to choose the basis states to be also symmetric
under the exchange of any pair of particles.
e.g. u1,2 and u2,1 should not be counted as separate basis states
For this reason we can label the subscripts in a fixed order e.g. in the order of
increasing energy and/or other quantum numbers
6
1 X
un1 ,···,nN (~r1 , · · · , ~rN ) ≡ √ un1 (~r1 ) · · · unN (~rN )
N!
Permutations of ~r1 , · · · ~rN
Now let us check the normalization of the basis states.
Z
d3 r1 · · · d3 rN un1 ,···,nN (~r1 , · · · , ~rN )∗ ul1 ,···,lN (~r1 , · · · , ~rN )
•: If li = ni for every i and all the ni ’s are different, then the result is 1
– the 1/N ! in the overall normalization cancels the N ! contributions, each giving
1
if n1 6= n2 .
In this case some of the terms in the expression for un1 ,···,nN are equal since
permuting identical indices will not change the term.
Instead of saying what states are occupied using the labels n1 , · · · , nN , possibly
with some labels repeated several times, we specify how many times the label
1 appears, how many times the label 2 appears etc.
7
e.g. u1,1,2 will be described as (2, 1, 0, 0, · · ·) – occupancy number
Occupancy number mi tells us how many particles occupy the i-th state ui
Occupancy number (m1 , m2 , · · ·) state means that the n’th state appears mn
times
P∞
For an N particle state n=1 mn =N
– they are grouped into N !/(m1 !m2 ! · · ·) groups, each group containing m1 !m2 ! · · ·
identical terms:
1 N!
un1 ,···,nN (~r1 , · · · , ~rN ) = √ m1 !m2 ! · · · W(1) + W(2) + · · · W(p) , p =
N! m1 !m2 ! · · ·
Different terms W(i) are orthonormal since at least for one of the ~ri ’s the state
label differs
8
Example:
1
u1,1,2 = √ [u1 (~r1 )u1 (~r2 )u2 (~r3 ) + permutations of ~r1 , ~r2 , ~r3 ]
3!
1
= √ [2 u1 (~r1 )u1 (~r2 )u2 (~r3 ) + 2 u1 (~r1 )u1 (~r3 )u2 (~r2 ) + 2 u1 (~r2 )u1 (~r3 )u2 (~r1 )]
6
Z
1
d3 r1 d3 r2 d3 r3 u∗1,1,2 u1,1,2 = × 22 × 3 = 2
6
– agrees with m1 !m2 ! · · · = 2! = 2
Note: The eigenvalue of H b N does not change under permutation of the ~ri ’s on
both sides.
N
!
X
⇒Hb N un ,···,n (~r1 , · · · , ~rN ) =
1 N
en un ,···,n (~r1 , · · · , ~rN )
i 1 N
i=1
If the state has occupancy numbers (m1 , m2 , · · ·) then the energy eigenvalue is
∞
X
mn en
n=1
9
We shall now forget about this system and consider another quantum system
If there are k degenerate energy eigenstates in the single particle system for
some energy e, we introduce k independent distinguishable harmonic oscillators
of angular frequency e/~.
We can introduce creation and annihilation operators an , a†n for each harmonic
oscillator:
[an , ap ] = 0, [a†n , a†p ] = 0, [an , a†p ] = δnp
Hamiltonian of this system:
∞ X ∞
X
† 1
H=
b ~ ω n an an + = ~ ωn a†n an + C
n=1
2 n=1
C: An overall constant which will have no physical significance
Goal: We shall show that this quantum theory is related to the system consid-
ered earlier under certain identifications.
10
Identification of states:
Note that like un1 ,n2 ,···,nN , the right hand side is automatically symmetric under
ni ↔ nj
Next compute inner product of the states (a†1 )m1 (a†2 )m2 · · · |0i and (a†1 )m1 (a†2 )m2 · · · |0i
0 0
0 0
h0|(a1 )m1 (a2 )m2 · · · (a†1 )m1 (a†2 )m2 · · · |0i
We can analyze this by taking ai ’s to the right using the commutator between
ai and a†i .
h0|(a1 )m1 (a2 )m2 · · · (a†1 )m1 (a†2 )m2 · · · |0i = m1 !m2 ! · · ·
Example:
h0|(a1 )2 (a†1 )2 |0i = h0|a1 a1 a†1 a†1 |0i = h0|a1 (a†1 a1 + 1)a†1 |0i
Result: 2 = 2!
Conclusion: a†n1 · · · a†nN |0i has the same norm as un1 ,···,nN in the first theory.
11
This gives a map between the Hilbert spaces of the two theories.
Use
∞
" #
X
~ωn a†n an , a†p = ~ ωp a†p
n=1
Eigenstates of H
b N get mapped to eigenstates of H
b with the same eigenvalue.
12
Later we shall see that every operator in the first theory can be mapped to an
operator in the second theory.
Specifying the first system requires fixing a value of N – the total number of
particles
13
2 Second quantization
If there are k degenerate energy eigenstates in the single particle system for
some energy e, we introduce k independent distinguishable harmonic oscillators
of angular frequency e/~.
an , a†n : annihilation and creation operators of the n-th harmonic oscillator, with
commutation relations:
[an , ap ] = 0, [a†n , a†p ] = 0, [an , a†p ] = δnp
Hamiltonian of this system (after throwing away a constant term):
X∞ ∞
X
†
H=
b ~ ω n an an = en a†n an
n=1 n=1
14
Correspondence:
• The inner product between the states agree in the two theories
• The eigenvalues and eigenstates of H b N in the first theory agree with the
eigenvalues and eigenstates of H
b in the second theory.
15
What about mapping of other operators between the two descriptions?
Examples:
x
b1 , pb1y x
b3 , ~ 21 ,
∇ ···
Numbers in the subscript denote particle labels.
Since the particles are indistinguishable, it does not make sense to consider the
operator x
b1 .
16
• 2-body operators:
N
X
VbN = vbij
i,j=1
i6=j
vbij is constructed from the position and momentum operators of the i-th particle
and j-th particle, e.g.
bi pbjy , 1/|~ri − ~rj |
x
Note 1: The i = j term is removed from the sum since that sum can be regarded
as a one body operators.
17
Consider the one body operators:
N
X
B
bN = bbi
i=1
We’ll check this for N = 1 and leave the general case as exercise.
For N = 1,
∞ ∞
!
a†n0 |0i
X X
r.h.s. = h0|an1 bnp a†n ap = bnp δn1 n δpn01 = bn1 n01
1
n,p=1 n,p=1
Z
l.h.s. = d3 r1 un1 (~r1 )∗ bb1 un01 (~r1 ) = bn1 n01
For general case, first show that on both sides of the identity, the sets {n1 , · · · nN }
and {n01 , · · · n0N } can differ at most in one entry for non-zero result.
18
Next consider 2-body operators:
N
X
VbN = vbij , vbij = vbji
i,j=1
i6=j
We’ll check this for N = 2 and leave the general case as exercise.
∞
vm,n,p,q a†m a†n ap aq a†n0 a†n0 |0i
X
r.h.s. = h0|an1 an2
1 2
m,n,p,q=1
= vn1 ,n2 ,n01 ,n02 + vn2 ,n1 ,n01 ,n02 + vn1 ,n2 ,n02 ,n01 + vn2 ,n1 ,n02 ,n01
Z
1
l.h.s. = d3 r1 d3 r2 {un1 (~r1 )∗ un2 (~r2 )∗ + un1 (~r2 )∗ un2 (~r1 )∗ }
2
v12 + vb21 ) {un01 (~r1 )un02 (~r2 ) + un01 (~r2 )un02 (~r1 )}
(b
= vn1 ,n2 ,n01 ,n02 + vn2 ,n1 ,n01 ,n02 + vn1 ,n2 ,n02 ,n01 + vn2 ,n1 ,n02 ,n01
The two sides agree!
For the general case, first show that the result vanishes if the sets {n1 , · · · , nN }
and {n01 , · · · , n0N } differ in more than two entries, and then study the non-
vanishing case.
19
Possible applications:
b = P∞ a†n an
N is the eigenvalue of the number operator N n=1
Using the second description we can study properties of the system for all N
at one go
20
We can find similar maps for general k-body operator.
Note: In the second description, these operators commute with the number
operator
∞
a†k ak
X
N
b=
k=1
e.g.
b , a†n ap ] = [N
[N b , a†n ]ap + a†n [N
b , ap ] = a†n ap − a†n ap = 0
This is not surprising since in the first description all operators conserve particle
number.
21
In the second description we can construct operators like:
∞
X
Cmnp a†m a†n ap
m,n,p=1
Such operators do not exist in the first description since we work with a fixed
number of particles.
If experiments show that particle number is not conserved, we can try to ex-
plain this by adding operators, that do not conserve particle number, to the
Hamiltonian.
22
3 Second quantization
– second quantization.
How do we do this?
Classical Lagrangian:
Z
∂ψ(t, ~
r )
L= d3 r ψ(t, ~r)∗ i~ −b
hψ(t, ~r)
∂t
23
We can now write down the action and use variational principle to derive the
equations of motion.
Z Z
3 ∗ ∂ψ(t, ~r) b
S = dt d r ψ(t, ~r) i~ − hψ(t, ~r)
∂t
Under arbitrary variation of ψ,
Z Z
∂ψ(t, ~
r ) ∂δψ(t, ~
r )
δS = dt d3 r δψ(t, ~r)∗ i~ hψ(t, ~r) + ψ(t, ~r)∗ i~
−b −b
hδψ(t, ~r)
∂t ∂t
In the second { }, we carry out two manipulations:
e.g.
δψ F + δψ ∗ G = (δψ1 + iδψ2 )F + (δψ1 − iδψ2 )G = δψ1 (F + G) + i δψ2 (F − G)
⇒ F + G = 0, F −G=0 ⇒ F =G=0
Therefore we get
∂ψ(t, ~r) b ∂ψ(t, ~r)∗
i~ − hψ(t, ~r) = 0, −i~ hψ(t, ~r)}∗ = 0
− {b
∂t ∂t
– correct equations
24
Z
3 ∂ψ(t, ~r) b
∗
L = d r ψ(t, ~r) i~ − hψ(t, ~r)
∂t
We shall now directly check that the Euler-Lagrange equations from L gives
the equations of motion.
Using b
hum (~r) = em um (~r) and the orthonormality of the um ’s we get
∞ ∞
X dam (t) X dan (t)
L= an (t)∗ i~ − em am (t) δmn = an (t)∗ i~ − en an (t)
m,n=1
dt n=1
dt
25
∞
X dan (t)
L= an (t)∗ i~ − en an (t)
n=1
dt
Treat an and a∗n as independent degrees of freedom and write down the Euler-
Lagrange equations.
d ∂L ∂L d ∂L ∂L
− = 0, − =0
dt ∂ ȧn ∂an dt ∂ ȧ∗n ∂a∗n
d ∗ dan (t)
⇒ i~ an + en a∗n = 0, i~ − en an (t) = 0
dt dt
P
Using ψ = n an (t)un (~
r), we get
∂ψ(t, ~r) b ∂ψ(t, ~r)∗ b
i~ − hψ(t, ~r) = 0, −i~ − hψ(t, ~r)∗ = 0
∂t ∂t
– correct equations!
26
∞
X dan (t)
L= an (t)∗ i~ − en an (t)
n=1
dt
Find the canonically conjugate momenta pn , p̃n .
∂L ∂L
pn = = i~a∗n , p̃n = =0
∂ ȧn ∂ ȧ∗n
∞
X ∞
X
H= [pn ȧn + p̃n ȧ∗n − L] = en a∗n an
n=1 n=1
Note: The pn ’s and p̃n ’s are determined in terms of an and a∗n and are not
independent variables.
However in this case the constraints are simple and we can simply regard an (t)
and pn (t) = i~an (t)∗ as canonically conjugate variables and proceed.
∞
1 X
H= en pn an
i~ n=1
Hamilton’s equations:
dpn ∂H dan ∂H
=− , =
dt ∂an dt ∂pn
gives
da∗n 1 dan 1
i~ = − en pn = −en a∗n , = e n an
dt i~ dt i~
27
∞
X
∗
pn (t) = i~an (t) , H= en a∗n an
n=1
28
Summary
– second quantization.
We shall now try to rewrite the commutation relations and the Hamiltonian in
terms of ψ, ψ † .
29
[am , an ] = 0, [a†m , a†n ] = 0, [an , a†m ] = δmn
X ∞
H=
b en a†n an
n=1
∞
X ∞
X
†
ψ(t, ~r) = an (t)un (~r), ψ(t, ~r) = an (t)† un (~r)∗
n=1 n=1
∞
X
0 †
[ψ(t, ~r), ψ(t, ~r ) ] = um (~r)un (~r 0 )∗ [am (t), an (t)† ]
m,n=1
∞
X ∞
X
0 ∗
= um (~r)un (~r ) δmn = un (~r)un (~r 0 )∗ = δ (3) (~r − ~r 0 )
m,n=1 n=1
30
4 Second quantization
This gives
∞
1 dan (t)∗
X 1 ∗ dan (t) ∗
L= i~ an (t) − i~ an (t) − en an (t) an (t)
n=1
2 dt 2 dt
Write
an (t) = bn (t) + icn (t)
This gives
∞
X dbn (t) dcn (t)
L= ~ cn (t) − ~ bn (t) − en {bn (t)2 + cn (t)2 }
n=1
dt dt
31
∞
X dbn (t) dcn (t)
L= ~ cn (t) − ~ bn (t) − en {bn (t)2 + cn (t)2 }
n=1
dt dt
Equations of motion:
d ∂L ∂L d ∂L ∂L
− = 0, − =0
dt ∂ ḃn ∂bn dt ∂ ċn ∂cn
– correct equations
32
∞
X dbn (t) dcn (t)
L= ~ cn (t) − ~ bn (t) − en {bn (t)2 + cn (t)2 }
n=1
dt dt
ebn = ∂L = ~ cn , cn =
e
∂L
= −~ bn
∂ ḃn ∂ ċn
∞ n
X o ∞
X ∞
X
H= cn ċn − L =
ebn ḃn + e 2 2
en {bn (t) + cn (t) } = en an (t)∗ an (t)
n=1 m=1 m=1
Now we need to understand how to quantize the system in terms of the inde-
pendent variables bn and cn , i.e. how to compute [bn , cm ] etc.
If we just substitute cn = ebn /~ and use [bm , ebn ] = i~ δmn , we shall get
This is wrong!
33
For this we shall restrict to some particular n since variables for different n
commute anyway.
Define:
χ1 = ebn − ~ cn , χ2 = e
cn + ~ b n
34
Suppose we have a system with coordinates q1 , · · · , qK , conjugate momenta
p1 , · · · , pK and M constraints:
Define:
K
X ∂χα ∂χβ ∂χα ∂χβ
Mαβ = {χα , χβ }P B = − , 1 ≤ α, β ≤ M
i=1
∂qi ∂pi ∂pi ∂qi
In that case, given any pair of functions F and G of qi ’s and pi ’s, we define the
Dirac bracket as follows:
M
X
{F, G}DB = {F, G}P B − {F, χα }P B (M −1 )αβ {χβ , G}P B
α,β=1
35
Now among qi ’s and pi ’s choose a set of 2K − M independent variables
36
Now apply this to our system.
χ1 = ebn − ~ cn , χ2 = e
cn + ~ b n
0 −2~ 1 0 1
M= , M −1 =
2~ 0 2~ −1 0
1 1
{bn , cn }DB = {bn , cn }P B − {bn , χ1 }P B (M −1 )12 {χ2 , cn }P B = 0 − (1) (−1) =
2~ 2~
Quantization:
1 1 i
[bn , cn ] = ⇒ [bn , cn ] =
i~ 2~ 2
37
i
[bn , cm ] = δmn , [bm , bn ] = 0, [cm , cn ] = 0
2
∞ ∞
X 1X
en (b2n c2n ) en (an + a†n )2 − (an − a†n )2
H
b = + =
n=1
4 n=1
∞
1 X
en (an )2 + (a†n )2 + an a†n + a†n an − (an )2 − (a†n )2 + an a†n + a†n an
=
4 n=1
∞ ∞
1 X † †
X
= en an an + an an = en a†n an + constant
2 n=1 n=1
∞
X
ψ(t, ~r) = an (t) un (~r)
n=1
[ψ(t, ~r), ψ(t, ~r 0 )† ] = δ (3) (~r−~r 0 ), [ψ(t, ~r), ψ(t, ~r 0 )] = 0, [ψ(t, ~r)† , ψ(t, ~r 0 )† ] = 0
We shall now try to find representation of other operators in the third descrip-
tion.
38
bN = PN bbi :
One body operator B i=1
∞
X
B
b= bnp an (t)† ap (t)
n,p=1
Z
bnp = d3 r1 u∗n (~r1 ) bb1 up (~r1 )
∞ Z
X Z
B
b= d 3
r1 u∗n (~r1 ) bb1 up (~r1 )an (t)† ap (t) = d3 r1 ψ(t, ~r1 )† bb1 ψ(t, ~r1 )
n,p=1
Note: ψ and ψ † are the operators in the Hilbert space and bb is just a differential
operator
Algorithm:
1. Take expectation value of bb1 in the single particle wave-function ψ(t, ~r1 )
The Hamiltonian: Z
H
b= d3 r ψ(t, ~r)† b
h ψ(t, ~r)
39
Two body operator:
N
X
VbN = vbij , vbij = vbji
i,j=1
i6=j
vb12 is not an operator in the Hilbert space but should be regarded as a differ-
ential operator acting on ψ
Algorithm:
1. Take expectation value of vb12 in the two particle wave-function ψ(t, ~r1 )ψ(t, ~r2 )
40
5 Second quantization
∞
X ∞
X
†
ψ(t, ~r) = an (t) un (~r), ψ(t, ~r) = an (t)† un (~r)∗
n=1 n=1
[am (t), an (t)† ] = δmn , [am (t), an (t)] = 0, [am (t)† , an (t)† ] = 0
[ψ(t, ~r), ψ(t, ~r 0 )† ] = δ (3) (~r −~r 0 ), [ψ(t, ~r), ψ(t, ~r 0 )] = 0, [ψ(t, ~r)† , ψ(t, ~r 0 )† ] = 0
We shall now try to give physical interpretation of ψ(t, ~r) and ψ(t, ~r)† .
41
Recall the interpretation of an , a†n :
At t = 0,
a†n a†m |0i describes a two particle state in states un (~r) and um (~r) etc.
Q. What state does ψ(0, ~r0 )† |0i represent for some fixed vector ~r0 ?
∞
X
†
ψ(0, ~r0 ) |0i = un (~r0 )∗ an (0)† |0i
n=1
Therefore ψ(0, ~r0 )† |0i represents a one particle state in position eigenstate at
position ~r0 .
Given this, one can ask: Is it possible to derive the commutation relations of
ψ, ψ † and the expression for the Hamiltonian in terms of ψ, ψ † directly, instead
of going through the an , a†n ’s?
The main issue: Dealing with a continuous label ~r instead of discrete label n
42
Why do we want to rederive an established result?
Quantum field theory is useful for multi-particle system but essential for cases
when the particle number is not conserved.
Eventually we want to apply it to the cases where the particle number is not
conserved and state labels are continuous
But before applying a new method to a new system, we need to check that
the new method works in systems where old methods also work and results are
known.
We want to test all the techniques of quantum field theory on this system before
applying it to systems for which the answer is not known by any other method.
43
Z
∂ψ b 3 ∗
L = d r ψ i~ − hψ
∂t
Trick: Use the definition of an integral as the limit of a sum, but take the limit
later.
Dynamical variables:
Z X
ψ(t, ~r) → ψ~i (t), ψ(t, ~r)∗ → ψ~i (t)∗ , d3 r → w3
~i
Z
∗ ∂ψ(t, ~
r) X ∂ψ~i (t)
3
d r ψ(t, ~r) ⇒ w 3
ψ~i (t)∗
∂t ∂t
~i
Defining b
h requires a little more effort since b h contains spatial derivatives
∂x2 ψ(t, ~r) → w−1 (∂x ψ(t, ~r + (w, 0, 0)) − ∂x ψ(t, ~r))
→ w−2
ψix +2,iy .iz − ψix +1,iy ,iz − ψix +1,iy .iz − ψix ,iy ,iz
= w−2 ψix +2,iy .iz − 2 ψix +1,iy ,iz + ψix ,iy ,iz
etc.
44
3
X
∗ ∂ψ~i (t) b
L=w ψ~i (t) i~ − hψ~i (t)
∂t
~i
We can now regard ψ~i (t)∗ and ψ~i (t) as independent dynamical variables and
proceed.
Let D(~r, ~r 0 ) be the continuous function whose discrete version is δ~i,~j /w3 with
~r = w ~i, ~r 0 = w ~j
45
This is not yet fully satisfactory.
1. We would like to get a more direct approach without going through dis-
cretization
2. The formula π~i = i ~ w3 ψ~i∗ does not have a good continuum limit
Define:
δF 1 ∂F
= 3
δψ(t, ~r) w ∂ψ~i (t)
for any functional F , as w → 0.
Define:
δL 1 ∂L 1
Π(t, ~r) = → Π~i = 3
= 3
π~i = i~ψ~i∗ → Π(t, ~r) = i~ψ(t, ~r)∗
δ ψ̇(t, ~r) w ∂ ψ̇~i (t) w
⇒ there is a well-defined relation between Π and ψ ∗ as w → 0.
X X Z
H= π~i ψ̇~i − L = w3 Π~i ψ̇~i − L → d3 r Π(t, ~r) ψ̇(t, ~r) − L
~i ~i
1 1
[ψ(t, ~r), Π(t, ~r 0 )] → [ψ~i , Π~j ] = 3
[ψ~i , π~j ] = 3 i~ δ~i,~j = i ~ δ (3) (~r − ~r0 )
w w
46
Based on this analysis, we can now formulate the rules for quantization directly
in the continuum.
Quantization:
[ψ(t, ~r), Π(t, ~r 0 )] = i~δ (3) (~r − ~r 0 )
For Z
∂ψ(t, ~r) b
L= d3 r ψ(t, ~r)∗ i~ − h ψ(t, ~r)
∂t
this gives Z
Π(t, ~r0 ) = i~ d3 r ψ(t, ~r)∗ δ (3) (~r − ~r 0 ) = i~ψ(t, r 0 )∗
Z
H = d3 r ψ(t, ~r)∗b h ψ(t, ~r)
Quantization:
[ψ(t, ~r), ψ(t, ~r 0 )† ] = δ (3) (~r − ~r 0 )
Z
b = d3 r ψ(t, ~r)†b
H h ψ(t, ~r)
47
A useful relation:
X ∂F X 1 ∂F Z
δF
δF = δψ~i = w3 δψ~ → d3 r δψ(t, ~r)
∂ψ~i w3 ∂ψ~i i δψ(t, ~r)
~i ~i
48
6 Second quantization of fermions
We shall now repeat the analysis (from lecture 1 onwards) for identical fermions
(spinless).
h un (~r) = en un (~r)
b
General solution:
X
ψ(t, ~r) = an (t)un (~r), an (t) = an (0) e−ien t/~
n
49
Now consider a system of N identical fermions of same mass, each moving
under the same potential, and with no mutual interaction
(−1)P :
Example: For N = 3,
50
1 X
un1 ,···,nN (~r1 , · · · , ~rN ) ≡ √ un1 (~r1 ) · · · unN (~rN )(−1)P
N!
Permutations of ~r1 , · · · ~rN
e.g. u1,2 and u2,1 should not be counted as separate basis states
We label the subscripts in a fixed order e.g. in the order of increasing energy
and/or other quantum numbers, as in the case of bosonic theory
Furthermore, a given index cannot be repeated more than once since the result
will vanish by anti-symmetry, e.g. u1,1,2 = 0
51
1 X
un1 ,···,nN (~r1 , · · · , ~rN ) ≡ √ un1 (~r1 ) · · · unN (~rN )(−1)P
N!
Permutations of ~r1 , · · · ~rN
Normalization of the basis states.
Z
d3 r1 · · · d3 rN un1 ,···,nN (~r1 , · · · , ~rN )∗ ul1 ,···,lN (~r1 , · · · , ~rN ) = δl1 n1 δl2 n2 · · · δlN nN
if n1 6= n2 .
The extra complication that we had in the bosonic case for occupancy number
> 1 is absent here since mn = 0 or 1.
N
!
X
b N un ,···,n (~r1 , · · · , ~rN ) =
H e ni un1 ,···,nN (~r1 , · · · , ~rN )
1 N
i=1
– same as for bosons.
52
We shall now consider a second quantum system.
Definition:
{A, B} = A B + B A
Hamiltonian: ∞
X
H
b= en a†n an
n=1
This system is some time called the ‘fermionic harmonic oscillator’, but this is
not a harmonic oscillator.
As in the case of harmonic oscillators, the ground state |0i, also called the
vacuum state, is defined as
Other states are created by applying arbitrary combinations of a†n on the vac-
uum state.
Goal: We shall show that this quantum theory is related to the system consid-
ered earlier under certain identifications.
53
Identification of states:
Note that like un1 ,n2 ,···,nN , the right hand side is automatically anti-symmetric
under ni ↔ nj
Conclusion: a†n1 · · · a†nN |0i has the same norm as un1 ,···,nN in the first theory.
This gives a map between the Hilbert spaces of the two theories.
54
Let us compare the energy eigenvalues in the two quantum systems.
∞
!
X
b †n · · · a†n |0i =
Ha ~ωn a†n an a†n · · · a†n |0i
1 N 1 N
n=1
Use
∞ ∞
" # " #
X X
b a†p ] =
[H, ~ωn a†n an , a†p = ~ωn (a†n an a†p − a†p a†n an )
n=1 n=1
∞
" #
X
= ~ωn (a†n an a†p + a†n a†p an − a†n a†p an − a†p a†n an )
" n=1
∞
#
X
= ~ωn a†n δnp = ~ ωp a†p
n=1
55
Map of other operators:
Note: Order of aq ap
56
7 Second quantization of fermions, Klein-Gordon equa-
tion
We shall now study quantum field theory for describing a system of identical
fermions.
We shall begin with the same classical system that we had for the system of
identical bosons.
Z
∂ψ b
L= d3 r ψ ∗ i~ − hψ
∂t
δL
Π(t, ~r) = = i~ψ(t, r)∗
δ ψ̇(t, ~r)
Z Z
H = d3 r Π(t, ~r)ψ̇(t, ~r) − L = d3 r ψ(t, ~r)∗b
h ψ(t, ~r)
57
Π(t, ~r) = i~ψ(t, r)∗
Z
H = d3 r ψ(t, ~r)∗bh ψ(t, ~r)
{ψ(t, ~r), Π(t, ~r 0 )} = i~ δ (3) (~r − ~r 0 ), {ψ(t, ~r), ψ(t, ~r 0 )} = 0, {Π(t, ~r), Π(t, ~r 0 )} = 0
Z
b = d3 r ψ(t, ~r)†b
H h ψ(t, ~r), Π(t, ~r) = i~ψ(t, r)†
{A, B} = AB + BA
Note the difference: [ , ] ⇒ { , }
This is an ad hoc rule, and does not follow from the standard rules for quan-
tizing a classical system.
For this reason, there is really no classical limit of a fermionic field theory.
58
For example, in the bosonic theory we can construct a quantum state that
closely approximates a classical field configuration ψ(0, ~r) = f (~r) as follows:
fn : numbers
– coherent state
– no classical limit
∂ψ(t, ~r 0 ) b ψ(t, ~r 0 )]
i~ = −[H,
∂t
59
{ψ(t, ~r), Π(t, ~r 0 )} = i~ δ (3) (~r − ~r 0 )
This gives
ψ(t, ~r), ψ(t, ~r 0 )† = δ (3) (~r − ~r 0 )
Also
{ψ(t, ~r), ψ(t, ~r 0 )} = 0, ψ(t, ~r)† , ψ(t, ~r 0 )† = 0
Z
Hb = d3 r ψ(t, ~r)†b h ψ(t, ~r)
Let us check that the Heisenberg equations of motion give the correct evolution.
b ψ(t, ~r 0 )] = Hψ(t,
[H, b ~r 0 ) − ψ(t, ~r 0 )H
b
Z
3 †b 0 0 †b
= d r ψ(t, ~r) h ψ(t, ~r)ψ(t, ~r ) − ψ(t, ~r ) ψ(t, ~r) h ψ(t, ~r)
Z
3 † 0 b 0 †b
= d r −ψ(t, ~r) ψ(t, ~r )h ψ(t, ~r) − ψ(t, ~r ) ψ(t, ~r) h ψ(t, ~r)
Z
0 b
= 3 (3)
d r −δ (~r − ~r )h ψ(t, ~r) = −b h0 ψ(t, ~r 0 )
h0 :
b h with ~r replaced by ~r 0
b
∂ψ(t, ~r 0 ) b ψ(t, ~r 0 )] = b
i~ = −[H, h0 ψ(t, ~r 0 )
∂t
– correct equation
60
Recovering the algebra of an , a†n :
Z Z
{am (t), an (t)† } = d3 r d3 r0 um (~r)∗ un (~r 0 ) {ψ(t, ~r), ψ(t, ~r 0 )† }
Z Z Z
= d3 r d3 r0 um (~r)∗ un (~r 0 ) δ (3) (~r − ~r 0 ) = d3 r um (~r)∗ un (~r) = δmn
Similarly
{am (t), an (t)} = 0, {am (t)† , an (t)† } = 0
Z ∞ Z
X
H
b= d3 r ψ(t, ~r)†b
h ψ(t, ~r) = d3 r am (t)† an (t) um (~r)∗b
hun (~r)
m,n=1
∞
X ∞
X
†
= am (t) an (t) en δmn = en an (t)† an (t)
m,n=1 n=1
Number operator:
Z ∞
X
†
N
b (t) = 3
d r ψ(t, ~r) ψ(t, ~r) = an (t)† an (t)
n=1
61
Map of other operators:
This gives
∞ Z
X Z
B
b= d3 r1 u∗n (~r1 ) bb1 up (~r1 ) a†n ap = d3 r1 ψ(t, ~r1 )† b̂1 ψ(t, ~r1 )
n,p=1
2-body operator
N
X
VbN = vbij , vbij = vbji
i,j=1
i6=j
This gives:
Z
Vb = d3 r1 d3 r2 ψ(t, ~r1 )† ψ(t, ~r2 )† vb12 ψ(t, ~r2 ) ψ(t, ~r1 )
62
Now we shall discuss relativistic particles.
~ = 1, c (speed of light) = 1
A = ~a cb B
63
What is the generalization of the free particle Schrodinger equation?
Problem: Any differential operator with finite number of derivatives will always
produce polynomial in p~ acting on plane waves
– simple modification of the right hand side of Schrodinger equation will not
work.
E 2 = p~ 2 + m2
64
∂ 2φ ~ 2 φ + m2 φ
− 2 = −∇
∂t
1. The equation has second order time derivative
– we need to specify φ(t0 , ~r) and φ̇(t0 , ~r) initially to find φ(t, ~r) at later time
– if the initial φ and φ̇ are real, φ(t, ~r) will remain real.
Put another way, if we take φ = φR + i φI , then the real and imaginary parts
of K-G equation gives:
∂ 2 φR ~ 2 2 ∂ 2 φI ~ 2 φI + m2 φI
− 2 = −∇ φR + m φR , − 2 = −∇
∂t ∂t
φR and φI evolve independently, and can be considered as two real fields.
65
Z h √ √ i
−it p~ 2 +m2 +i~ it p~ 2 +m2 +i~
φ(t, ~r) = 3
d p A(~p)e p.~r
+ B(~p)e p.~r
, B(~p)∗ = A(−~p)
However the initial condition that leads to such solutions involve long range
correlation between φ and φ̇:
Z √
3 −it p~ 2 +m2 +i~
p.~r
φ(t, ~r) = d p A(~p) e
Z p √
3 2 2 −it p~ 2 +m2 +i~
p.~r
φ̇(t, ~r) = d p A(~p) {−i p~ + m } e
But φ̇(t, ~r) depends on φ(t, ~r 0 ) for ~r 0 far away from ~r, since
1
Z √
p.~r 0
3 0 it0 p~ 2 +m2 −i~
A(~p) = 3
d r e φ(t0 , ~r 0 )
(2π)
– non-local initial condition.
For free particle one could live with it, but it is difficult to construct interacting
theories out of this without introducing action at a distance.
66
Quantization of the Klein-Gordon equation
Step 1: Write down a Lagrangian from which we can derive the K-G equations
Z
1 3
h
2 ~ 2 2 2
i ∂φ
L= d r (∂t φ) − (∇φ) −m φ , ∂t φ =
2 ∂t
Action Z Z Z
1 3
h
2 ~ 2 2 2
i
S = dt L = dt d r (∂t φ) − (∇φ) − m φ
2
Under an arbitrary variation δφ,
Z Z h i
3 ~ ~ 2
δS = dt d r (∂t δφ)∂t φ − (∇δφ).∇φ − m (δφ) φ
1. In the first term, integrate by parts in time and ignore boundary terms at
initial and final time since δφ vanishes there
– Klein-Gordon equation
67
8 Klein-Gordon field
Z Z
0 δL δ φ̇(t, ~r)
Π(t, ~r ) = = 3
d r φ̇(t, ~r) = d3 r φ̇(t, ~r) δ (3) (~r−~r 0 ) = φ̇(t, ~r 0 )
δ φ̇(t, ~r 0 ) δ φ̇(t, ~r 0 )
Z Z
1 h
~
i
H= d3 r Π(t, ~r)φ̇(t, ~r) − L = 3 2 2 2
d r Π(t, ~r) + (∇φ(t, ~r)) + m φ(t, ~r)2
2
68
Z
1 3
h
2 ~ 2 2 2
i
H= d r Π(t, ~r) + (∇φ(t, ~r)) + m φ(t, ~r)
2
It will be useful to use momentum space basis, and introduce new independent
variables φ(t,
e p~), Π(t,
e p~) via:
Z Z
1 3 e i~
p.~r 1
φ(t, ~r) = 3/2
d p φ(t, p~) e , Π(t, ~r) = 3/2
d3 p Π(t,
e p~) ei~p.~r ,
(2π) (2π)
Inverse relations:
Z Z
1 1
φ(t,
e p~) =
3/2
d3 r φ(t, ~r) e−i~p.~r , Π(t,
e p~) = d3 r Π(t, ~r) e−i~p.~r ,
(2π) (2π)3/2
e p~)∗ = φ(t,
φ(t, e −~p), e p~)∗ = Π(t,
Π(t, e −~p)
This gives
3
d3 p0 e
Z Z Z Z
d p 0 i~ p 0 .~r
d3 r φ(t, ~r)2 = d3 r φ(t, p
~ ) e i~
p.~r e
φ(t, p
~ ) e
(2π)3/2 (2π)3/2
d3 p d 3 p0 e
Z Z Z
= e p~ 0 ) (2π)3 δ (3) (~p + p~ 0 ) = d3 p φ(t,
φ(t, p~) φ(t, e p~) φ(t, e −~p)
(2π) 3/2 (2π) 3/2
69
Why did we expand in the momentum space basis?
General rule: Expand in the basis of eigenfunctions of the spatial part of the
differential operator that appears in the equations of motion
~ 2 − m2
– in this case the operator is ∇
This is the analog of finding the normal modes in the small oscillation problem
in classical mechanics.
70
Z
1 3
h
∗e 2 e ∗e 2 e ∗e
i
H= d p Π(t, p~) Π(t, p~) + p~ φ(t, p~) φ(t, p~) + m φ(t, p~) φ(t, p~)
e
2
e p~)∗ = φ(t,
φ(t, e −~p), e p~)∗ = Π(t,
Π(t, e −~p)
Step 3: Quantization
[φ(t, ~r), Π(t, ~r 0 )] = i δ (3) (~r − ~r 0 ), [φ(t, ~r), φ(t, ~r 0 )] = 0, [Π(t, ~r), Π(t, ~r 0 )] = 0
This gives
Z Z
e p~ 0 )] = 1 1 0 0
[φ(t,
e p~), Π(t,
3/2
d3 r φ(t, ~r) e−i~p.~r , 3/2
d3 r0 Π(t, ~r 0 ) e−i~p .~r
(2π) (2π)
Z Z Z
i −i~ 3 0 −i~p 0 .~r 0 (3) 0 i −i(~ p 0 ).~r
= 3
d3
r e p.~r
d r e δ (~
r − ~
r ) = 3
d 3
r e p+~
= i δ (3) (~p + p~ 0 )
(2π) (2π)
[φ(t, e p~ 0 )] = 0,
e p~), φ(t, [Π(t, e p~ 0 )] = 0
e p~), Π(t,
e p~)† = φ(t,
φ(t, e −~p), e p~)† = Π(t,
Π(t, e −~p)
Z
1 h
†e †e †e
i
H
b = d3 p 2 e 2 e
Π(t, p~) Π(t, p~) + p~ φ(t, p~) φ(t, p~) + m φ(t, p~) φ(t, p~)
e
2Z
1 h i
= d3 p e e 2 e e 2 e
Π(t, −~p)Π(t, p~) + p~ φ(t, −~p)φ(t, p~) + m φ(t, −~p)φ(t, p~)
e
2
71
[φ(t, e p~ 0 )] = i δ (3) (~p + p~ 0 ),
e p~), Π(t, [φ(t, e p~ 0 )] = 0,
e p~), φ(t, [Π(t, e p~ 0 )] = 0
e p~), Π(t,
e p~)† = φ(t,
φ(t, e −~p), e p~)† = Π(t,
Π(t, e −~p)
Z
b=1
h i
3 †e 2 2 e †e
H d p Π(t, p~) Π(t, p~) + (~p + m ) φ(t, p~) φ(t, p~)
e
2
Define p
Ep~ = p~ 2 + m2
1 1/2 e −1/2 e
a(t, p~) = √ Ep~ φ(t, p~) + i Ep~ Π(t, p~)
2
† 1 1/2 e −1/2 e
a(t, p~) = √ Ep~ φ(t, −~p) − i Ep~ Π(t, −~p)
2
Note that a(t, p~)† is the hermitian conjugate of a(t, p~).
[a(t, p~), a(t, p~ 0 )] = 0,[a(t, p~)† , a(t, p~ 0 )† ] = 0, [a(t, p~), a(t, p~ 0 )† ] = δ (3) (~p−~p 0 )
Z
b = d3 p Ep~ a(t, p~)† a(t, p~) + constant
H
p
b a(t, p~)] = −Ep~ a(t, p~), [H,
[H, b a(t, p~)† ] = Ep~ a(t, p~)† , Ep~ = p~ 2 + m2
72
[a(t, p~), a(t, p~ 0 )] = 0, [a(t, p~)† , a(t, p~ 0 )† ] = 0, [a(t, p~), a(t, p~ 0 )† ] = δ (3) (~p−~p 0 )
Z
b = d3 p Ep~ a(t, p~)† a(t, p~) + constant
H
Excited states:
|~p1 , · · · , p~N i = a(~p1 )† a(~p2 )† · · · a(~pN )† |0i
73
So far we have not introduced momentum operator.
Next time we shall use Noether’s theorem to define the momentum operator in
this quantum field theory.
Result: Z
Pbi = d3 p pi a(t, p~)† a(t, p~), i = x, y, z
Using
|~p1 , · · · , p~N i = a(~p1 )† a(~p2 )† · · · a(~pN )† |0i
one can easily show that
We also had
b p1 , · · · , p~N i = (Ep~ + Ep~ + · · · + Ep~ )|~p1 , · · · , p~N i
H|~ 1 2 N
We shall interpret |~p1 , · · · , p~N i as a state containing N free particles with mo-
menta p~1 , · · · , p~N and energy Ep~1 , · · · , Ep~N .
74
Noether’s theorem in classical theory
– they could be multiple scalars, components of a vector (like the vector po-
tential in electromagnetic theory) etc.
This means that given n functions of space-time coordinates, φ1 (t, ~x), · · · , φn (t, ~r),
S generates a number
75
A transformation: Given a set of functions φ1 , · · · , φn , a transformation is a
rule by which we generate new set of functions φe1 , · · · , φen .
Examples:
3. φe1 (t, ~r) = φ2 (t, ~r), φe2 (t, ~r) = φ1 (t, ~r), φei (t, ~r) = φi (t, ~r) for i ≥ 3
Note: In all these cases the new functions are determined by old functions.
76
9 Symmetries and conservation laws
– they could be multiple scalars, components of a vector (like the vector po-
tential in electromagnetic theory) etc.
This means that given n functions of space-time coordinates, φ1 (t, ~r), · · · , φn (t, ~r),
S generates a number
Examples:
3. φe1 (t, ~r) = φ2 (t, ~r), φe2 (t, ~r) = φ1 (t, ~r), φei (t, ~r) = φi (t, ~r) for i ≥ 3
Note: In all these cases the new functions are determined by old functions.
77
We shall consider transformations that are smooth and invertible.
Invertible:
and
Smooth:
Two field configurations, that are close to each other, gets mapped to field
configurations that are close to each other.
Smoothness + Invertibility
78
A transformation is a symmetry of the action if
~ = −∇
∇ ~ 0 , d3 r = d3 r0 after changing limits of integration
Z Z
1 3 0
h
0 2 ~ 0 0 2 2 0 2
i
S[φ] =
e dt d r (∂t φ(t, ~r )) − (−∇ φ(t, ~r )) − m φ(t, ~r ) = S[φ]
2
79
If a transformation is a symmetry of the action then it maps solutions of the
equations of motion to solutions of the equations of motion.
Proof:
φi is mapped to φei
We have, by symmetry,
gi ’s are arbitrary, since by invertibility, for any set of gi ’s we can find the
corresponding fi ’s
80
Special case: Continuous symmetry:
Example: φ(t,e ~r) = φ(t, ~r +~a) is a symmetry of K-G action for every real value
of ~a = (ax , ay , az ).
Z Z
e =1
h i
S[φ] dt 3 2 ~ 2 2
d r (∂t φ(t, ~r + ~a)) − (∇φ(t, ~r + ~a)) − m φ(t, ~r + ~a)2
2
Z Z
e =1
h i
S[φ] dt 3 0 ~ 0 0 0 2
2 2 0 2
d r (∂t φ(t, ~r )) − (∇ φ(t, ~r ) − m φ(t, ~r ) = S[φ]
2
81
Identity transformation:
e.g. φ(t,
e ~r) = φ(t, ~r + ~a) is not a symmetry of K-G action if ~a becomes an
arbitrary function of t, ~r.
⇒ d3 r0 6= d3 r, ~ 0 6= ∇
∇ ~
82
Noether’s theorem: For every continuous global symmetry, the theory has a
conserved quantity Q(t):
d
Q=0
dt
Global symmetry: Transformation parameters do not depend on t, ~r.
The conserved quantities associated with space translation are called momen-
tum
83
10 Symmetries and conservation laws
Noether’s theorem: For every continuous global symmetry, the theory has a
conserved quantity Q(t):
d
Q=0
dt
84
Define: x0 = t, (x1 , x2 , x3 ) = ~r
∂
∂µ ≡ ∂xµ
Aµ = ηµν Aν , Aµ = η µν Aν
85
Proof of Noether theorem:
Symmetry:
S[{φi }] = S[{φi + χi }]
K1µ , K2µν , · · · are constructed from the φi ’s and their derivatives (but not f )
86
We have proved that if
φei (x) = φi (x) + χi (x)
is an infinitesimal symmetry transformation, then for any function f (x) that
vanishes at ∞, we have
Z
S[{φi + f χi }] = S[{φi }] + d4 xf (x) ∂µ J µ (x)
In this case under any variation of the fields, the change in the action vanishes
to first order.
∂µ J µ (x) = 0
∂0 J 0 = −∇. ~ J,~ J~ = (J 1 , J 2 , J 3 )
Z Z
d ~ J~ = 0
d3 rJ 0 (t, ~r) = − d3 r ∇.
dt
assuming that the boundary terms vanish
87
Conclusion: Given a continuous global symmetry, we can construct a quantity
Z
Q = d3 r J 0 (t, ~r)
which satisfies
dQ
=0
dt
88
Construction of Q simplifies for a special class of actions:
Z
S = d4 x L({φi }, {∂µ φi })
Suppose
is a symmetry.
R
Then, in order that d4 x L remains invariant under this transformation,
for some K µ .
n
X ∂L ∂L
⇒ χi + ∂µ χi = ∂µ K µ
i=1
∂φi ∂(∂µ φi )
89
n
X ∂L ∂L
χi + ∂µ χi = ∂µ K µ
i=1
∂φi ∂(∂µ φi )
Now define
φbi (x) = φi (x) + f (x) χi (x), ∂µ φbi (x) = ∂µ φi (x) + ∂µ (f (x)χi (x))
Then
n
X ∂L ∂L
L({φbi (x)}, {∂µ φbi (x)}) = L({φi (x)}, {∂µ φi (x)})+ f χi + ∂µ (f χi )
i=1
∂φ i ∂(∂µ φ i )
Z n
X ∂L ∂L
S[{φi + f χi }] − S[{φi }] = d4 x f χi + ∂µ (f χi )
i=1
∂φi ∂(∂µ φi )
Z n
4 ∂LX ∂L ∂L
= dx f χi + f ∂ µ χi + ∂µ f χi )
i=1
∂φ i ∂(∂µ φ i ) ∂(∂µ φi )
Z " n
#
X ∂L
= d4 x f ∂µ K µ − χi
i=1
∂(∂ µ φ i )
90
11 Symmetries and conservation laws
Suppose
is a symmetry.
R
Then, in order that d4 x L remains invariant under this transformation,
for some K µ .
Then n
µ
X ∂L
J =− χi + K µ
i=1
∂(∂µ φi )
satisfies
∂µ J µ = 0
R
Q= d3 rJ 0 is conserved
91
Example: Schrodinger field theory
Z Z
∂ψ 1 ~ 2 ψ − U (~r)ψ
S = dt d3 r ψ ∗ i + ∇
∂t 2m
Z Z
3 ∗ ∂ψ 1 ~ ∗ ~ ∗
= dt d r iψ − ∇ψ .∇ψ − U (~r)ψ ψ
∂t 2m
∗ ∗ ∗ ∂ψ 1 ~ ∗ ~ ∗
L(ψ, ψ , ∂µ ψ, ∂µ ψ ) = iψ − ∇ψ .∇ψ − U (~r)ψ ψ
∂t 2m
Symmetry
e ~r) = eiθ ψ(t, ~r),
ψ(t, e ~r)∗ = e−iθ ψ(t, ~r)∗
ψ(t,
e ψe∗ , {∂µ ψ},
L(ψ, e {∂µ ψe∗ }) = L(ψ, ψ ∗ , {∂µ ψ}, {∂µ ψ ∗ })
Infinitesimal version: θ = :
ψ(t,
e ~r) = ψ(t, ~r) + iψ(t, ~r), e ~r)∗ = ψ(t, ~r)∗ − iψ(t, ~r)∗
ψ(t,
92
∗ ∗ ∗ ∂ψ 1 ~ ∗ ~ ∗
L(ψ, ψ , {∂µ ψ}, {∂µ ψ }) = iψ − ∇ψ .∇ψ − U (~r)ψ ψ
∂t 2m
n
X ∂L ∂L ∂L
µ
J =− χi + K µ = − (i ψ) − ∗
(−i ψ ∗ )
i=1
∂(∂µ φi ) ∂(∂µ ψ) ∂(∂µ ψ )
∂L
J0 = − (iψ) = ψ ∗ ψ
∂(∂t ψ)
1 1 i
Ji = ∂i ψ ∗ (iψ) + ∂i ψ(−iψ ∗ ) = {ψ∂i ψ ∗ − ψ ∗ ∂i ψ}
2m 2m 2m
Conserved quantity Z
N= d3 r ψ(t, ~r)∗ ψ(t, ~r)
93
Next we find conserved quantities in K-G theory associated with space-time
translation.
1 µν
−η ∂µ φ ∂ν φ − m2 φ2
L=
2
Symmetry:
φ(x)
e = φ(x + a)
a = (a0 , a1 , a2 , a3 ): An arbitrary constant four vector
µ
We should have four conserved quantities and the associated currents J(ρ)
φ(x)
e = φ(x + ) = φ(x) + ρ ∂ρ φ
L(φ(x),
e {∂ν φ(x)})
e = L(φ(x + ), {∂ν φ(x + )})
= L(φ(x), {∂ν φ(x)}) + ρ ∂ρ L(φ(x), {∂ν φ(x)})
φ(x)
e = φ(x) + ρ χ(ρ) (x), L(φ, e = L(φ, {∂ν φ}) + ρ ∂µ K µ
e {∂ν φ})
(ρ)
This gives
µ µ
χ(ρ) = ∂ρ φ, ∂µ K(ρ) = ∂ρ L ⇒ K(ρ) = L δρµ , δρµ : Kronecker δ
94
1 µν
−η ∂µ φ ∂ν φ − m2 φ2
L=
2
µ
χ(ρ) = ∂ρ φ, K(ρ) = L δρµ , δρµ : Kronecker δ
µ ∂L µ
J(ρ) =− χ(ρ) + K(ρ) = η µν ∂ν φ ∂ρ φ + L δρµ
∂(∂µ φ)
Conserved quantity:
Z Z
3 0
d3 r η 0ν ∂ν φ ∂ρ φ + L δρ0
Pρ = d r J(ρ) =
We define Z
P = η Pρ = d3 r η 0ν η σρ ∂ν φ ∂ρ φ + L η 0σ
σ σρ
Z
1h i
0 3 2 2 ~ 2 2 2
P = d r (∂0 φ) − L = (∂0 φ) + (∇φ) + m φ
2
agrees with H (energy)
Z Z
P i = Pi = d3 r [−∂0 φ ∂i φ] = − d3 r Π ∂i φ for i = 1, 2, 3
95
Recall Fourier transformation formulæ:
Z Z
1 3 e i~
p.~r 1
φ(t, ~r) = 3/2
d p φ(t, p~) e , Π(t, ~r) = 3/2
d3 p Π(t,
e p~) ei~p.~r ,
(2π) (2π)
Z Z
P = − d r Π(t, ~r) ∂i φ = − d3 p Π(t,
i 3 e −~p) (i pi ) φ(t,
e p~), for i = 1, 2, 3
p
Ep~ = p~ 2 + m2
96
Why did we have to construct a conserved quantity for defining momentum?
Momentum of each particle is individually conserved, i.e. the state |~p1 , · · · , p~N i,
if evolved in time via Schrodinger equation, will just pick up a phase and will
still have the interpretation of an N particle states with momenta p~1 , · · · , p~N .
The particles may be able to exchange momenta, produce new particles, anni-
hilate themselves etc.
This will be the case if in the interacting theory we define the energy and mo-
menta as conserved quantities associated with space-time translation, provided
space and time translations are symmetries of the theory.
– generally true since the quantum field operators satisfy the same equations
of motion as the classical fields.
97
µ
Now let us return briefly to the currents J(ρ) associated with space-time trans-
lation.
We also define
T µσ = η σρ T µρ
Then Z Z
Energy = d3 r T 00 , momentum = d3 r T 0i
– symmetric under µ ↔ σ
1. ∂µ K µσ = 0,
R
2. d3 r K 0σ = 0
98
12 Lorentz invariance and associated conserved quanti-
ties
Last time we analyzed the conserved quantities in K-G theory associated with
translation symmetry.
φ(x)
e = φ(x + ) = φ(x) + ρ ∂ρ φ
This gives
L(φ(x),
e {∂µ φ(x)})
e = L(φ(x + ), {∂µ φ(x + )})
we get, by comparison,
µ
χ(ρ) = ∂ρ φ, K(ρ) = L δρµ , δρµ : Kronecker δ
We called this T µρ .
Note: Up to this point we do not need explicit form of L, but after this step
we used the form of L in K-G theory.
99
Up to this point the analysis also holds for multiple fields if we just sum over
all fields in the first term.
100
Lorentz invariance of K-G action:
φ(x)
e = φ(Λ x)
In components
Λρµ η µν Λσν = η ρσ
Define
x0ρ = Λρσ xσ
Then
∂ ∂x0ρ ∂
∂µ = µ
= µ 0ρ
= Λρµ ∂ρ0
∂x ∂x ∂x
This gives
1 1
L(φ(x),
e {∂ν φ(x)})
e = − η µν Λρµ ∂ρ0 φ(x0 )Λσν ∂σ0 φ(x0 ) − m2 φ(x0 )2
2 2
1 ρσ 0 1
= − η ∂ρ φ(x0 ) ∂σ0 φ(x0 ) − m2 φ(x0 )2 = L(φ(x0 ), {∂ν0 φ(x0 )})
2 2
101
L(φ(x),
e {∂ν φ(x)})
e = L(φ(x0 ), {∂ν0 φ(x0 )}), d4 x = d4 x0
This gives
Z Z
S[φ]
e = 4
d x L(φ(x),
e {∂ν φ(x)})
e = d4 x0 L(φ(x0 ), {∂ν0 φ(x0 )}) = S[φ]
102
We shall now construct the associated conserved quantity.
Λ = I + ω, Λµν = δνµ + ω µν
Λ η ΛT = η ⇒ (I + ω) η (I + ω T ) = η ⇒ (ω η + η ω T ) = 0
ω µρ η ρν + η µρ ω νρ = 0 ⇒ ω µν + ω νµ = 0
ω µν = ω µρ η ρν
– 6 independent paramaters
We’ll do it all together just as for translation we found all the conserved charges
together.
103
Recall that
L(φ(x),
e {∂ν φ(x)})
e = L(φ(x0 ), {∂ν0 φ(x0 )})
Therefore
L(φ(x),
e {∂ν φ(x)})
e = L(φ(x), {∂ν φ(x)}) + ω µν xν ∂µ L(φ(x), {∂ν φ(x)})
L(φ(x),
e {∂ν φ(x)})
e = L(φ(x), {∂ν φ(x)}) + ∂µ [ω µν xν L(φ(x), {∂ν φ(x)})]
since
by anti-symmetry of ω µρ .
104
Recall our general definition of χi and K µ :
Here we have
L(φ(x),
e {∂ν φ(x)})
e = L(φ(x), {∂ν φ(x)}) + ∂µ [ω µν xν L(φ(x), {∂ν φ(x)})]
This gives
We also have
φ(x)
e = φ(x0 ) = φ(x) + ω µν xν ∂µ φ
This gives
χ(x) = ω µν xν ∂µ φ
105
χ(x) = ω ρν xν ∂ρ φ, K µ = ω µν xν L(φ(x), {∂ν φ(x)})
Conserved current
∂L ∂L
Jµ = − χ + Kµ = − ω ρν xν ∂ρ φ + ω µν xν L(φ(x), {∂ν φ(x)})
∂(∂µ φ) ∂(∂µ φ)
µ
Recall the construction of T µν = η νρ J(ρ) :
µ
χ(ρ) = ∂ρ φ, K(ρ) = L δρµ , δρµ : Kronecker δ
µ ∂L µ ∂L
J(ρ) =− χ(ρ) + K(ρ) =− ∂ρ φ + L δρµ
∂(∂µ φ) ∂(∂µ φ)
µ µ 1
J µ = ω ρν xν J(ρ) = η ρτ ωτ ν xν J(ρ) = ωτ ν xν T µτ = ωτ ν [xν T µτ − xτ T µν ]
2
Since ωτ ν is an arbitrary antisymmetric matrix,
M µντ = xν T µτ − xτ T µν
is conserved, i.e.
∂µ M µντ = 0
This implies that T µν must be symmetric.
0 = ∂µ M µντ = ∂µ {xν T µτ − xτ T µν } = δµν T µτ − δµτ T µν = T ντ − T τ ν
Note: In this derivation we did not need to use the explicit form of L
As long as the action is Lorentz invariant, this derivation will work for general
Lagrangian, even for multiple scalar fields.
106
M µντ = xν T µτ − xτ T µν
Conserved quantity
Z Z
J ντ = d3 r M 0ντ = d3 r xν T 0τ − xτ T 0ν
Z
ij
d3 r xi T 0j − xj T 0i
J =
SInce T 0i represents momentum density, xi T 0j − xj T 0i represents angular
momentum density.
Therefore they are conserved but do not commute with the Hamiltonian.
d 0i b J 0i ] + ∂ J 0i
0= J = i[H,
dt ∂t
⇒ b J 0i ] 6= 0
[H,
This reflects the fact that under Lorentz boost, energy of a particle changes.
107
13 Spin angular momentum
φ(x)
e = φ(Λ x)
L(φ(x),
e {∂ν φ(x)})
e = L(φ(x0 ), {∂ν0 φ(x0 )})
where,
x0 = Λx, x0µ = Λµν xν
Infinitesimal version:
Λ = I + ω, Λµν = δνµ + ω µν
The same result holds when we have more fields and more general L if:
L({φer (x)}, {∂ν φer (x)}) = L({φr (x0 )}, {∂ν0 φr (x0 )})
where
x0 = Λx, x0µ = Λµν xν
108
Now consider a more general class of theories.
Some of these may represent components of vector fields or higher tensor fields.
We shall check while studying Maxwell’s theory that this is a symmetry of the
action.
If {φr } includes a scalar field φ and a vector field Aµ , then S will be a block
diagonal 5 × 5 matrix:
1
S=
ΛT
L({φer (x)}, {∂ν φer (x)}) = L({φr (x0 )}, {∂ν0 φr (x0 )})
where
x0 = Λx, x0µ = Λµν xν
109
n
X
φer (x) = Srs (Λ) φs (Λx)
s=1
Now suppose that we make another Lorentz transformation with Lorentz ma-
trix Λ0 .
This will transform the field configuration {φer } to new configuration {φbr }:
n
X n
X n
X
φbr (x) = 0
Srs (Λ ) φes (Λ0 x) = 0
Srs (Λ ) Sst (Λ)φt (ΛΛ0 x)
s=1 s=1 t=1
Xn n
X
= {S(Λ0 )S(Λ)}rt φt (ΛΛ0 x) = {S(Λ0 )S(Λ)}rs φs (ΛΛ0 x)
t=1 s=1
Taking transpose:
S T (Λ)S T (Λ0 ) = S T (ΛΛ0 )
110
S T (Λ)S T (Λ0 ) = S T (ΛΛ0 )
111
Goal: Study how the Noether current M µντ is modified when S(Λ) is not the
identity matrix.
Then
S(I + ω) = I + T (ω)
for some n × n matrix T .
⇒ (I + T (ω))(I + T (ω 0 )) = S(I + (ω + ω 0 )) = I + T (ω + ω 0 )
⇒ I + T (ω) + T (ω 0 ) = I + T (ω + ω 0 )
⇒ T (ω) + T (ω 0 ) = T (ω + ω 0 )
112
Trs is a function of 6 variables {ωµν }
T (ω) + T (ω 0 ) = T (ω + ω 0 )
General form:
Trs (ω) = ωτ ν Στrsν
for some constants Στrsν .
Infinitesimal transformation of φr :
n
X
φer (x) = (δrs + Trs (ω))φs ((I + ω)x)
s=1
Note: The term involving Trs is the extra term that was not present for scalars.
113
Extra term in χr (x):
n
X
ωτ ν Στrsν φs (x)
s=1
n
µντ ν µτ τ µν
X ∂L
M =x T − x T −2 Στrsν φs (x)
r,s=1
∂(∂µ φr )
114
14 Conservation laws to symmetries
Noether procedure gives a way to construct the conserved charge for a given
continuous symmetry.
R
Let us suppose that Q = d3 rJ 0 (x) is the conserved charge.
Answer:
χr (t, ~r) = {Q(t), φr (t, ~r)}P B
In quantum theory,
χr (t, ~r) = −i [Q(t), φr (t, ~r)]
115
χr (t, ~r) = −i [Q(t), φr (t, ~r)]
Even though the result holds in general, we shall prove this for a special class
of symmetries for which
• K 0 vanishes
Ex. Check that most symmetries we have studied so far are of this type, except,
• time translation
• Lorentz boost
116
n
µ
X ∂L
J =− χr + K µ
r=1
∂(∂µ φr )
Since K 0 vanishes,
Z Z n
3 0 3
X ∂L
Q= d r J (t, ~r) = − dr χr
r=1
∂(∂0 φr )
Now Z
L= d3 r0 L(φr (t, ~r 0 ), {φ̇r (t, ~r 0 )}, {∂i0 φr (t, ~r 0 )})
This gives
Z
δL ∂L ∂L(t, ~r)
Πr (t, ~r) = = d3 r0 δ (3) (~r − ~r0 ) =
δ φ̇r (t, ~r) ∂ φ̇r (t, ~r 0 ) ∂ φ̇r (t, ~r)
This gives
Z n
X
3
Q(t) = − dr Πr (t, ~r) χr (t, ~r)
r=1
This gives
"Z n
#
X
[Q(t), φs (t, ~r 0 )] = − d3 r Πr (t, ~r) χr (t, ~r), φs (t, ~r 0 )
r=1
Since we have assumed that χr does not depend on Πs ’s, only the commutator
contributes.
Z n
X
0
[Q(t), φs (t, ~r )] = i dr3
δrs δ (3) (~r − ~r 0 ) χr (t, ~r) = i χs (t, ~r 0 )
r=1
117
χs (t, ~r 0 ) = −i [Q(t), φs (t, ~r 0 )]
With some effort one can also prove this in the more general case where χr
depends on the Πs ’s and K 0 does not vanish.
118
We shall now show how this relation can be used in quantum theory.
We take K-G theory to illustrate the point, but the results are more general.
Q|0i = 0 ⇒ h0|Q = 0
We have
h0|[Q, φ(t1 , ~r1 ) · · · φ(tN , ~rN )]|0i = 0
119
h0|[Q, φ(t1 , ~r1 ) · · · φ(tN , ~rN )]|0i = 0
⇓
h0| ([Q, φ(t1 , ~r1 )]φ(t2 , ~r2 ) · · · φ(tN , ~rN ) + φ(t1 , ~r1 )[Q, φ(t2 , ~r2 )]φ(t3 , ~r3 ) · · · φ(tN , ~rN ) + · · ·) |0i = 0
−i h0| (χ(t1 , ~r1 )φ(t2 , ~r2 ) · · · φ(tN , ~rN ) + φ(t1 , ~r1 )χ(t2 , ~r2 )φ(t3 , ~r3 ) · · · φ(tN , ~rN ) + · · ·) |0i = 0
+h0| (χ(t1 , ~r1 )φ(t2 , ~r2 ) · · · φ(tN , ~rN ) + φ(t1 , ~r1 )χ(t2 , ~r2 )φ(t3 , ~r3 ) · · · φ(tN , ~rN ) + · · ·) |0i + O(2 )
Conclusion:
h0|φ(t e N , ~rN )|0i = h0|φ(t1 , ~r1 )φ(t2 , ~r2 ) · · · φ(tN , ~rN )|0i+O(2 )
e 2 , ~r2 ) · · · φ(t
e 1 , ~r1 )φ(t
120
h0|φ(t e N , ~rN )|0i = h0|φ(t1 , ~r1 )φ(t2 , ~r2 ) · · · φ(tN , ~rN )|0i+O(2 )
e 2 , ~r2 ) · · · φ(t
e 1 , ~r1 )φ(t
→ 0 as K → ∞
Conclusion:
121
Example:
Therefore:
This means that h0|φ(x1 )φ(x2 ) · · · φ(xN )|0i is a function of only the differences
x2 − x1 , x3 − x1 , ···, xN − x1
Special case: N = 2
Translation invariance:
122
Some definitions:
Proof:
[φ(x01 ), φ(x02 )] = [φ(t01 , ~r10 ), φ(t02 , ~r20 )] = [φ(t01 , ~r10 ), φ(t01 , ~r20 )]
since t01 = t02
But the equal time commutator [φ(t01 , ~r10 ), φ(t01 , ~r20 )] vanishes
This is true even if one or both of the φ’s were Π since ~r10 6= ~r20
123
15 Discrete symmetries
Discrete symmetries:
Let us work at t = 0.
In this case we can define a unitary operator U in the quantum theory that
satisfies:
U φr (x) U −1 = φer (x), U Πr (x) U −1 = Π
e r (x)
Since all the states are created by combinations of {φr } and {Πr } acting on
|0i, this defines U in terms of U |0i
124
We now need to check internal consistency
– e.g. by applying U on |0i and [a, a† ]|0i we should get the same result.
Since all commutation relations of this type arise from φ-Π commutation rela-
tions, we test the consistency of
We use:
U A1 · · · AN U −1 = U A1 U −1 · · · U AN U −1
l.h.s. = i δrs δ (3) (~r − ~r 0 ), r.h.s. = i δrs δ (3) (~r − ~r 0 ) U U −1 = i δrs δ (3) (~r − ~r 0 )
Therefore
U φr (x) U −1 = φer (x), U Πr (x) U −1 = Π
e r (x)
is consistent with the φ-Π commutation relation.
125
Since H is given as a functional of {φr } and {Πr }, we have:
Note: For simplifying notation, we have dropped the ‘hat’ from H even though
this is a quantum operator.
Therefore
UH =HU
⇒ U is time independent.
126
Now suppose that the ground state is an eigenstate of U and U −1 = U † .
Then
= h0|U φ(t1 , ~r1 )φ(t2 , ~r2 ) · · · φ(tN , ~rN )U † |0i = h0|φ(t1 , ~r1 )φ(t2 , ~r2 ) · · · φ(tN , ~rN )|0i
127
Examples of discrete symmetry:
128
An exception: Time reversal symmetry
φer (t, ~r) = φr (−t, ~r), L({φer }, {∂µ φer }) = L({φr (t0 , ~r)}, {∂µ0 φr (t0 , ~r)}), t0 = −t
More general transformation involving some matrix acting on φr is possible,
but the results we shall describe will not change.
Ex. Using
Z " n #
X
H= d3 r ∂t φr (t, ~r) Πr (t, ~r) − L
r=1
show that
H[{φer }, {Π
e r }] = H[{φr }, {Πr }]
In quantum theory:
[φr (t, ~r), Πs (t, ~r 0 )] = i δ (3) (~r − ~r 0 ), e s (t, ~r 0 )] = −i δ (3) (~r − ~r 0 )
[φer (t, ~r), Π
129
Solution: Take U to be an anti-unitary operator.
then, X
U |Ai = A∗α Wαβ |βi
α,β
W : A unitary matrix
U c = c∗ U ⇒ U c U −1 = c∗
From this we can work out the consequence of time reversal symmetry as before.
130
16 Green’s functions in Klein-Gordon theory
We define
∆+ (x1 , x2 ) = h0|φ(x1 )φ(x2 )|0i
We can calculate this by expressing φ(x) in terms of a(t, p~) and a(t, p~)† .
da(t, p~)
= i[H, a(t, p~)] = −i Ep~ a(t, p~) ⇒ a(t, p~) = e−i Ep~t a(0, p~)
dt
a(t, p~)† = ei Ep~t a(0, p~)†
⇒ e p~) = p 1 (a(t, p~)+a(t, −~p)† ) = p 1 (e−i Ep~t a(0, p~)+ei Ep~t a(0, −~p)† )
φ(t,
2 Ep~ 2 Ep~
131
e p~) = p 1 (e−i Ep~t a(0, p~) + ei Ep~t a(0, −~p)† )
φ(t,
2 Ep~
Z Z
1 1 1
⇒ φ(t, ~r) = d3 p φ(t,
e p~) ei~p.~r = d3 p ei~p.~r p (e−i Ep~t a(0, p~)+ei Ep~t a(0, −~p)† )
(2π)3/2 (2π)3/2 2 Ep~
Z
1 1
∆+ (x1 , x2 ) = d3 p1 d3 p2 ei~p1 .~r1 +i~p2 .~r2 p
(2π)3 2 Ep~1 Ep~2
h0|(e−i Ep~1 t1 a(0, p~1 ) + ei Ep~1 t1 a(0, −~p1 )† )(e−i Ep~2 t2 a(0, p~2 ) + ei Ep~2 t2 a(0, −~p2 )† )|0i
Only the a(0, p~1 )a(0, −~p2 )† term contributes, producing δ (3) (~p1 + p~2 )
132
Z
1 1 i~p.(~r1 −~r2 ) −i Ep~ (t1 −t2 )
∆+ (x1 , x2 ) = d3 p e e
(2π)3 2Ep~
Using δ(f (x)) = δ(x − x0 )/|f 0 (x0 )| if f (x0 ) = 0, we get the 1/(2Ep~ ) factor.
Z
1
∆+ (x1 , x2 ) = d4 p ∆(p)
e eip.(x1 −x2 ) , p = (p0 , p~),
(2π)4
∆(p)
e = 2π δ(−p2 − m2 ) H(p0 )
133
Now we shall check Lorentz invariance of ∆+ (x1 , x2 )
Z
1
∆+ (Λx1 , Λx2 ) = 4
d4 p ∆(p)
e eip.Λ(x1 −x2 )
(2π)
We have d4 p = d4 p0 and
since
Λp0 .Λ(x1 − x2 ) = ηµν Λµρ p0ρ Λνσ (x1 − x2 )σ = ηρσ p0ρ (x1 − x2 )σ = p0 .(x1 − x2 )
This gives
Z Z
1 4 0 iΛp0 .Λ(x1 −x2 ) 1 0
∆+ (Λx1 , Λx2 ) = d p ∆(p)
e e = d4 p0 ∆(p)
e eip .(x1 −x2 )
(2π)4 (2π)4
We now use:
∆(p)
e = 2 π δ(−p2 − m2 ) H(p0 ) = 2 π δ(−p0 2 − m2 ) H(p0 0 ) = ∆(p
e 0)
p
Note: In general H(p0 ) 6= H(p0 0 ), but when p2 + m2 = 0, i.e. p0 = ± p~2 + m2 ,
a Lorentz transformation connected to identity cannot change the sign of p0 .
This gives
Z Z
1 0 1
∆+ (Λx1 , Λx2 ) = d4 p0 ∆(p
e 0 ) eip .(x1 −x2 ) = d4 p ∆(p)
e eip.(x1 −x2 ) = ∆+ (x1 , x2 )
(2π)4 (2π)4
134
Some other definitions:
We arrange the φ’s so that their time arguments increase as we move from right
to left.
Example:
T (φ(x1 )φ(x2 )) = H(x01 − x02 ) φ(x1 )φ(x2 ) + H(x02 − x01 ) φ(x2 )φ(x1 )
We now define:
∆F (x1 , x2 ) = h0|T (φ(x1 )φ(x2 ))|0i = H(x01 −x02 ) ∆+ (x1 , x2 )+H(x02 −x01 ) ∆+ (x2 , x1 )
Note:
∆F (x1 , x2 ) = ∆F (x2 , x1 )
135
Ex. Show that:
Z
1 e F (p) eip.(x1 −x2 ) ,
∆F (x1 , x2 ) = d4 p ∆ p = (p0 , p~),
(2π)4
i
∆
e F (p) =
−p2 − m2 + i
: a small positive number, to be taken to 0 at the end
Note: Depending on the sign of x01 − x02 we need to close the contour in upper
or lower half plane so that the contribution to the integral from part of the
contour at ∞ vanishes.
136
Differential equations:
Define
~2
= η µν ∂µ ∂ν = −∂02 + ∇
Then K-G equation takes the form:
( − m2 )φ = 0
This gives:
(1 −m2 ) ∆+ (x1 , x2 ) = (1 −m2 ) h0|φ(x1 )φ(x2 )|0i = h0|(1 −m2 ) φ(x1 )φ(x2 )|0i = 0
Ex. Using the expression for ∆+ (x1 , x2 ), verify that (1 −m2 ) ∆+ (x1 , x2 ) =
0.
137
Next consider:
(1 − m2 ) ∆F (x1 , x2 )
∂2
~1−m
2 2 0 0 0 0
= − +∇ H(x 1 − x 2 ) ∆+ (x1 , x2 ) + H(x2 − x1 ) ∆+ (x 2 , x1 )
∂(x01 )2
Use:
∂ ∂
0 H(x01 − x02 ) = δ(x01 − x02 ), 0 H(x02 − x01 ) = −δ(x01 − x02 )
∂x1 ∂x1
This gives
∂2 0 0 0 0
− H(x1 − x2 ) ∆ (x ,
+ 1 2 x ) + H(x 2 − x 1 ) ∆ (x ,
+ 2 1 x )
∂(x01 )2
∂ h 0
= − 0 δ(x1 − x02 ) {∆+ (x1 , x2 ) − ∆+ (x2 , x1 )}
∂x1
0 0 ∂ 0 0 ∂ i
+H(x1 − x2 ) 0 ∆+ (x1 , x2 ) + H(x2 − x1 ) 0 ∆+ (x2 , x1 )
∂x1 ∂x1
The red term vanishes since for x01 = x02 , φ(x1 )φ(x2 ) = φ(x2 )φ(x1 )
We get,
∂2 ∂2
−H(x01 − x02 ) ∆ (x ,
+ 1 2 x ) + H(x 0
2 − x 0
1 ) ∆+ (x2 , x1 )
∂(x01 )2 ∂(x01 )2
∂ ∂
−δ(x01 − x02 ) 0 ∆+ (x1 , x2 ) + δ(x02 − x01 ) 0 ∆+ (x2 , x1 )
∂x1 ∂x1
The blue term combines with the ∇ ~ 21 − m2 terms to give 21 − m2 and vanishes
on ∆+ (x1 , x2 ) or ∆+ (x2 , x1 ).
138
The left-over equation:
∂ ∂
(1 − m2 ) ∆F (x1 , x2 ) = −δ(x01 − x02 ) 0 ∆+ (x1 , x2 ) + δ(x02 − x01 ) 0 ∆+ (x2 , x1 )
∂x1 ∂x1
= δ(x01 − x02 ) h0|{−φ̇(x1 ) φ(x2 ) + φ(x2 ) φ̇(x1 )}|0i
= δ(x01 − x02 ) h0|[φ(x2 ), Π(x1 )]|0i = δ(x01 − x02 ) δ (3) (~r1 − ~r2 )
= δ (4) (x1 − x2 )
139
17 Anti-unitary operators, Feynman diagrams, compos-
ite operators
Then X X
Cβ |βi = |Ci = U |Ai = A∗α Wαβ |βi, WW† = I
β α,β
† ∗
X X X X
⇒ Cβ = A∗α Wαβ ⇒ Aα = −1 ∗
(Cβ Wβα ) = Cβ∗ (Wβα ) = Cβ∗ Wαβ
α β β β
Then
X X XX X
lhs = hC|U |Bi = Cγ∗ hγ| Bα∗ Wαβ |βi = Cγ∗ Bα∗ Wαβ δβγ = Cβ∗ Bα∗ Wαβ
γ α,β γ α,β α,β
X X
rhs = hA|Bi∗ = Aα Bα∗ = Cβ∗ Wαβ Bα∗ = lhs
α α,β
140
Consequences for time reversal invariance:
U φ(x)U −1 = φ(x),
e φ(t,
e ~r) = φ(−t, ~r)
Then
This gives:
h0|φ(x e n )|0i = h0|φ(x1 ) · · · φ(xn )|0i∗
e 1 ) · · · φ(x
We shall now verify this using the explicit form of ∆+ , but first we shall try to
deal with the possible divergences.
141
Divergences:
Z
1 1 i~p.(~r1 −~r2 ) −i Ep~ (t1 −t2 )
∆+ (x1 , x2 ) = d3 p e e
(2π)3 2Ep~
The dependent factor gives a damping e−Ep~ and makes the integral converge.
142
Z
1 1 i~p.(~r1 −~r2 ) −i Ep~ (t1 −t2 −i )
d3 p e e
(2π)3 2Ep~
Let θ be the angle between p~ and (~r1 − ~r2 ) and define p = |~p|.
In the large p region where divergences may appear, we can replace Ep~ by p.
Z π Z ∞
1 1 ipa−p
3
2π dθ sin θ p2 dp e , a = |~r1 − ~r2 | cos θ − (t1 − t2 )
(2π) 0 0 2p
Now we have
Z ∞ Z ∞ p=∞
i a p−p −1 d i a p−p −1 d 1 i a p−p
dp p e =i dp e =i e
da 0 da ia −
0 p=0
d 1 1
= i−1 =−
da − ia (a + i)2
Defining u = cos θ, we can write the original expression as
Z 1
1 1 1
du −
(2π)2 −1 2 (|~r1 − ~r2 | u − (t1 − t2 ) + i)2
1 1 1
= +
8π 2 |~r1 − ~r2 | |~r1 − ~r2 | − (t1 − t2 ) + i |~r1 − ~r2 | + (t1 − t2 ) − i
143
Time reversal invariance:
We get
We can now redefine p~ as −~p, and do some minor algebra in the exponent to
write this as:
144
Next we shall compute:
Recall that the result vanishes for odd number of φ’s due to the φ → −φ
symmetry.
We then move the a’s to the right, picking up commutators with the a† ’s.
If we pick the commutator between the a of φ(xi1 ) and a† of φ(xi2 ), and the a
of φ(xi3 ) and a† of φ(xi4 ), we get a factor of ∆+ (xi1 , xi2 )∆+ (xi3 , xi4 ).
Net result:
∆+ (xi1 , xi2 )∆+ (xi3 , xi4 ) + ∆+ (xi1 , xi3 )∆+ (xi2 , xi4 ) + ∆+ (xi1 , xi4 )∆+ (xi2 , xi3 )
145
h0|T (φ(x1 )φ(x2 )φ(x3 )φ(x4 ))|0i
= ∆+ (xi1 , xi2 )∆+ (xi3 , xi4 ) + ∆+ (xi1 , xi3 )∆+ (xi2 , xi4 ) + ∆+ (xi1 , xi4 )∆+ (xi2 , xi3 )
In this form, in order to evaluate the r.h.s. we need to know the ordering of
x01 , x02 , x03 , x04 .
= ∆F (xi1 , xi2 ) ∆F (xi3 , xi4 ) + ∆F (xi1 , xi3 ) ∆F (xi2 , xi4 ) + ∆F (xi1 , xi4 ) ∆F (xi2 , xi3 )
146
Diagrammatic representation: Label every φ(x) by a × with a short line coming
out.
1 3 1 3 1 3
× × × × × ×
+ +
× × × × × ×
2 4 2 4 2 4
represents G(x1 , x2 , x3 , x4 ).
147
Composite operators:
etc.
Then
Effectively in the definition of : φ(x)2 : we move all the a’s to the right of all
the a† ’s.
For more complicated operators, the terms we subtract get more complicated.
148
Feynman diagram: Represent : φ(x)2 : by a × with two short lines coming out.
In a given Green’s function join pairs of short lines by propagators till no short
line is left exposed.
Normal ordering: Never connect short lines coming out of the same × to each
other by a propagator
e.g. the Feynman diagram for h0|T (φ(x1 )φ(x2 ) : φ(x)2 :)|0i:
× x1 ×x1
x× ×x
× x2 ×x2
The factor of 2 comes from the fact that x1 can be connected to any of the two
lines coming out of x, and then x2 is connected to the other line
Once we use the rule of ‘no connection between lines out of the same point’,
we do not need to keep track of all the terms that we need to subtract in the
definition of the normal ordering.
149
18 Interacting scalar field theory
We have
δL
Π(t, ~r) = = ∂t φ(t, ~r)
δ φ̇(t, ~r)
Z Z
1 1 ~ 1 λ
H= d3 rΠ(t, ~r)φ̇(t, ~r)−L = d3 r Π(t, ~r)2 + (∇φ(t, ~r))2 + m2 φ(t, ~r)2 + φ(t, ~r)4
2 2 2 4!
150
Observables:
hΩ|φ(x1 ) · · · φ(xn )|Ωi
1. Particle physics
2. Cosmology
151
Z
1 1 ~ 1 λ
H = d r Π(t, ~r)2 + (∇φ(t,
3
~r))2 + m2 φ(t, ~r)2 + φ(t, ~r)4
2 2 2 4!
We cannot solve the theory exactly.
Write H as
Hf ree + Hint
Z
1 1 ~ 1
Hf ree = d3 r Π(t, ~r)2 + (∇φ(t, ~r))2 + m2 φ(t, ~r)2
2 2 2
Z
λ
Hint = d3 rφ(t, ~r)4
4!
H0 = Hf ree (t0 )
φI (t, ~r) = eiH0 (t−t0 ) φ(t0 , ~r)e−iH0 (t−t0 ) , ΠI (t, ~r) = eiH0 (t−t0 ) Π(t0 , ~r)e−iH0 (t−t0 )
152
φI (t, ~r) = eiH0 (t−t0 ) φ(t0 , ~r)e−iH0 (t−t0 ) , ΠI (t, ~r) = eiH0 (t−t0 ) Π(t0 , ~r)e−iH0 (t−t0 ) ,
Now,
Z
1 1 ~ 1
H0 = Hf ree (t0 ) = d3 r Π(t0 , ~r)2 + (∇φ(t r))2 + m2 φ(t0 , ~r)2
0, ~
2 2 2
We can write
Z
iH0 (t−t0 ) −iH0 (t−t0 ) 1 1 ~ 1
H0 = e H0 e = 3
d r ΠI (t, ~r)2 + (∇φ r))2 + m2 φI (t, ~r)2
I (t, ~
2 2 2
Ex. Check that
[φI (t, ~r), ΠI (t, ~r 0 )] = i δ (3) (~r−~r 0 ), [φI (t, ~r), φI (t, ~r 0 )] = 0, [ΠI (t, ~r), ΠI (t, ~r 0 )] = 0
∂φI (t, ~r) ∂ΠI (t, ~r)
= i[H0 , φI (t, ~r)], = i[H0 , ΠI (t, ~r)]
∂t ∂t
Goal: Express hΩ|T (φ(x1 ) · · · φ(xn ))|Ωi in terms of h0|T (φI (x1 ) · · · φI (x2m ))|0i
153
φI (t, ~r) = eiH0 (t−t0 ) φ(t0 , ~r)e−iH0 (t−t0 ) , ΠI (t, ~r) = eiH0 (t−t0 ) Π(t0 , ~r)e−iH0 (t−t0 ) ,
φ(t, ~r) = eiH(t−t0 ) φ(t0 , ~r)e−iH(t−t0 ) , Π(t, ~r) = eiH(t−t0 ) Π(t0 , ~r)e−iH(t−t0 ) ,
– follows from Heisenberg equations of motion:
∂φ(t, ~r) ∂Π(t, ~r)
= i[H, φ(t, ~r)], = i[H, Π(t, ~r)]
∂t ∂t
Define:
Then
U (t)−1 φI (t, ~r)U (t) = φ(t, ~r), U (t)−1 ΠI (t, ~r)U (t) = Π(t, ~r)
Define
0 0
U (t, t0 ) = U (t)U (t0 )−1 = eiH0 (t−t0 ) e−iH(t−t0 ) eiH(t −t0 ) e−iH0 (t −t0 )
Let us suppose
x0i1 ≥ x0i2 ≥ · · · ≥ x0in
Then
= hΩ|U (ti1 )−1 φI (xi1 )U (ti1 )U (ti2 )−1 φI (xi2 )U (ti2 )−1 · · · U (tin )−1 φI (xin )U (tin |Ωi
= hΩ|U (ti1 )−1 φI (xi1 )U (ti1 , ti2 )φI (xi2 )U (ti2 , ti3 ) · · · U (tin−1 , tin )φI (xin )U (tin )|Ωi
154
Goal: Relate |Ωi to |0i
Then X
|0i = |ni0 0hn|0i
n
X X
−iH (T (1−i)+t0 ) −iH (T (1−i)+t0 ) 00
e |0i = e |ni hn|0i = e−iEn (T (1−i)+t0 ) |ni0 0hn|0i
n n
Therefore, as T → ∞,
e−iH (T (1−i)+t0 ) |0i = e−iEΩ (T +t0 )− EΩ T |ΩihΩ|0i
Recall
U (t)−1 = eiH(t−t0 ) e−iH0 (t−t0 )
U (−T (1 − i))−1 |0i = e−iH (T (1−i)+t0 ) eiH0 (T (1−i)+t0 ) |0i = e−iH (T (1−i)+t0 ) |0i
155
hΩ|T (φ(x1 ) · · · φ(xn ))|Ωi
= hΩ|U (ti1 )−1 φI (xi1 )U (ti1 , ti2 )φI (xi2 )U (ti2 , ti3 ) · · · U (tin−1 , tin )φI (xin )U (tin )|Ωi
This gives
= (N1 N2 )−1 h0|U (T (1 − i))U (ti1 )−1 φI (xi1 )U (ti1 , ti2 )φI (xi2 )U (ti2 , ti3 ) · · ·
= (N1 N2 )−1 h0|U (T (1 − i), ti1 )φI (xi1 )U (ti1 , ti2 )φI (xi2 )U (ti2 , ti3 ) · · ·
156
19 Perturbation theory for interacting scalar field
H = Hf ree + Hint
Z
1 1 ~ 1
Hf ree = d3 r Π(t, ~r)2 + (∇φ(t, ~r))2 + m2 φ(t, ~r)2
2 2 2
Z
λ
Hint = d3 r φ(t, ~r)4
4!
We defined:
H0 = Hf ree (t0 )
φI (t, ~r) = eiH0 (t−t0 ) φ(t0 , ~r) e−iH0 (t−t0 ) , ΠI (t, ~r) = eiH0 (t−t0 ) Π(t0 , ~r) e−iH0 (t−t0 ) ,
Our goal: Express hΩ|T (φ(x1 ) · · · φ(xn ))|Ωi in terms of h0|T (φI (x1 ) · · · φI (x2m ))|0i
157
We defined
= (N1 N2 )−1 h0|U (T (1 − i), ti1 ) φI (xi1 ) U (ti1 , ti2 ) φI (xi2 ) U (ti2 , ti3 ) · · ·
If we can express U (t, t0 ) in terms of the φI ’s then we would have achieved our
goal.
158
Recall:
U (t, t0 ) = U (t)U (t0 )−1 , U (t) = eiH0 (t−t0 ) e−iH(t−t0 )
From this we get,
dU (t)
= eiH0 (t−t0 ) (i H0 − i H) e−iH(t−t0 ) = −i eiH0 (t−t0 ) Hint (t0 )e−iH(t−t0 )
dt
since
H(t0 ) = Hf ree (t0 ) + Hint (t0 ) = H0 + Hint (t0 )
This gives:
dU (t)
= −i eiH0 (t−t0 ) Hint (φ(t0 , ~r), Π(t0 , ~r))e−iH0 (t−t0 ) eiH0 (t−t0 ) e−iH(t−t0 )
dt
iH0 (t−t0 ) −iH0 (t−t0 ) iH0 (t−t0 ) −iH0 (t−t0 )
= −i Hint e φ(t0 , ~r) e ,e Π(t0 , ~r) e U (t)
Then we have
dU (t)
= −i HI (t)U (t)
dt
Since U (t, t0 ) = U (t)U (t0 )−1 , we get
∂U (t, t0 )
= −i HI (t)U (t)U (t0 )−1 = −i HI (t) U (t, t0 ), U (t, t0 ) = I at t = t0
∂t
This first order differential equation and the boundary condition determines
U (t, t0 ) uniquely.
159
U (t, t0 ) is determined from the equation:
∂U (t, t0 )
= −i HI (t) U (t, t0 ), U (t, t0 ) = I at t = t0
∂t
Claim;
Z t
0 00 00
U (t, t ) = T exp −i HI (t )dt , HI (t) = Hint (φI (t, ~r), ΠI (t, ~r))
t0
Meaning of rhs:
For this we need to show that V (t, t0 ) satisfies the same differential equation
and boundary condition as U (t, t0 ).
∞
X (−i)m−1 Z t Z t Z t
= −i HI (t) dt1 dt2 · · · dtm−1 T (HI (t1 )HI (t2 ) · · · HI (tm−1 ))
m=1
(m − 1)! t 0 t0 t 0
√
= −i HI (t) V (t, t0 )
160
Results so far:
hΩ|T (φ(x1 ) · · · φ(xn ))|Ωi
= (N1 N2 )−1 h0|U (T (1 − i), ti1 )φI (xi1 )U (ti1 , ti2 )φI (xi2 )U (ti2 , ti3 ) · · ·
This gives
hΩ|T (φ(x1 ) · · · φ(xn ))|Ωi
* " Z #! " Z #!
T (1−i) t i1
= (N1 N2 )−1 0 T exp −i HI (t00 )dt00 φI (xi1 )T exp −i HI (t00 )dt00 φI (xi2 )
ti1 t i2
" Z
tin
#! Z t in +
· · · T exp −i HI (t00 )dt00 φI (xin )T exp −i HI (t00 )dt00 0
tin−1 −T (1−i)
Therefore we can replace multiple time ordering by a single time ordering and
rearrange the terms inside the time ordering arbitrarily.
hΩ|T (φ(x1 ) · · · φ(xn ))|Ωi
* " Z # " Z #
T (1−i) t i1
= (N1 N2 )−1 0 T exp −i HI (t00 )dt00 φI (xi1 ) exp −i HI (t00 )dt00 φI (xi2 )
ti1 ti2
" Z
tin
# Z t in ! +
· · · exp −i HI (t00 )dt00 φI (xin ) exp −i HI (t00 )dt00 0
tin−1 −T (1−i)
* " Z #! +
T (1−i)
−1 00 00
= (N1 N2 ) 0 T φI (x1 ) · · · φI (xn ) exp −i HI (t )dt 0
−T (1−i)
161
hΩ|T (φ(x1 ) · · · φ(xn ))|Ωi
* " Z #! +
T (1−i)
−1 00 00
= (N1 N2 ) 0 T φI (x1 ) · · · φI (xn ) exp −i HI (t )dt 0
−T (1−i)
∞
(−i)m T (1−i) 0 T (1−i) 0
X Z Z Z T (1−i)
−1
= (N1 N2 ) dt1 dt2 · · · dt0m h0|T (φI (x1 ) · · · φI (xn )
m=0
m! −T (1−i) −T (1−i) −T (1−i)
This allows us to replace all the time arguments by t → u(1 − i) with u real.
– can be normal ordered, but we shall proceed by ignoring this problem for
now.
162
We now need to calculate N1 N2 .
Set n = 0
This gives
∞ T (1−i) T (1−i) T (1−i)
(−i)m
X Z Z Z
N1 N2 = dt01 dt02 · · · dt0m h0|T (HI (t01 ) · · · HI (t0m ))|0i
m=0
m! −T (1−i) −T (1−i) −T (1−i)
163
Numerator
hΩ|T (φ(x1 ) · · · φ(xn ))|Ωi =
Denominator
2. m ‘internal points’ each of which has 4 lines coming out (4-point vertex)
164
Example: n = 4, m = 1
1 2 1 3 1 3
× × × × ×
+ + +
× × × × ×
3 4 2 4 2 4
(a) (b) (c)
165
20 Feynman diagrams of scalar field theory
Numerator
hΩ|T (φ(x1 ) · · · φ(xn ))|Ωi =
Denominator
2. m ‘internal points’ each of which has 4 lines coming out (4-point vertex)
166
Example: n = 4, m = 1
1 2
3 4
1 2 1 3 1 3
3 4 2 4 2 4
(a) (b) (c)
4
Total 2 = 6 diagrams of type (b) obtained by inequivalent permutations of
1,2,3,4
167
Example: n = 4, m = 1
1 2 1 3 1 3
3 4 2 4 2 4
(a) (b) (c)
168
General consistency check:
Sum of the combinatoric factors of all the Feynman diagrams will be given by:
(2k)!
, 2k = n + 4 m
2k k!
169
Similar analysis can be carried out for the denominator (N1 N2 )
Its expression is Z
λ
−i d4 x ∆F (x, x) ∆F (x, x) × 3
4!
Recall
∞ T (1−i) T (1−i) T (1−i)
(−i)m
X Z Z Z
N1 N2 = dt01 dt02 · · · dt0m h0|T (HI (t01 ) · · · HI (t0m ))|0i
m=0
m! −T (1−i) −T (1−i) −T (1−i)
170
Claim:
In that case,
numerator
= sum of diagrams without bubbles
denominator
171
Every diagram in the numerator is
e.g.
× × × ×
+ = × +
× × × ×
Suppose the diagram without bubble has m insertions of four point vertex.
We shall now show that the extra factor is cancelled by the combinatoric factor.
172
The numerator diagram has m + k four point vertex
m+k
This can be done in k = (m + k)!/(m!k!) ways.
This cancels the extra m!k!/(m + k)! factor that we had earlier.
The rest of the combinatoric factors are the same on the rhs and the lhs
This gives
173
21 Momentum space Feynman diagrams
We have seen that in a Green’s function with a total of 2k φ’s, the sum of the
combinatoric factors of all the diagrams is given by:
(2k)!
2k k!
– gives a way to check if we have got the combinatoric factors right and also if
we have included all diagrams.
Therefore we need to subtract from (2k)!/(2k k!) the contribution from the
bubble diagrams.
This can be done by noting that if we have a diagram that is the product of:
174
Example:
1 2 1 3 1 3
3 4 2 4 2 4
(a) (b) (c)
175
A different perspective on the i prescription
We wanted to make sure that only the ground state |Ωi of H contributes in
the T → ∞ limit
However the same goal will be achieved if we can make En − EΩ acquire a small
negative imaginary part i.e. if
En − EΩ = an − i bn , an , bn > 0
In that case
e−iEn (T −t0 ) = e−iEΩ (T −t0 ) e−ian (T −t0 )− bn (T −t0 )
The second factor goes to 0 as T → ∞, showing that only the state |Ωi
contributes to the sum over n
176
Q. How can we add −ibn to En − EΩ ?
The difference between the energies of single particle state and vacuum:
p p p i
p~2 + m2 → p~2 + m2 − i ' p~2 + m2 − p
2 p~2 + m2
– adds a negative imaginary contribution to the energy as desired.
From now on we shall follow this procedure and set all time arguments real.
177
Recall that replacing m2 by m2 − i has already been encountered before:
Z
1 e F (p) eip.(x1 −x2 ) ,
∆F (x1 , x2 ) = 4
d4 p ∆ p = (p0 , p~),
(2π)
i
∆
e F (p) =
−p2 − m2 + i
We shall define:
e F (q1 , q2 ) = (2π)4 δ (4) (q1 + q2 ) ∆ i
∆ e F (q1 ) =
2 2
(2π)4 δ (4) (q1 + q2 )
−q1 − m + i
and write
d4 q1 d4 q2 e
Z
∆F (x1 , x2 ) = 4 4
∆F (q1 , q2 ) ei(q1 .x1 +q2 .x2 )
(2π) (2π)
Using this representation we shall now derive the Feynman rules for momentum
space Green’s function.
Given
G(x1 , · · · , xn ) = hΩ|T (φ(x1 ) · · · φ(xn ))|Ωi
we define
Z
e 1 , · · · , pn ) =
G(p d4 x1 · · · d4 xn e−i(p1 .x1 +p2 .x2 +···+pn .xn ) G(x1 , · · · , xn )
Reverse relation:
d4 p1 d4 pn i(p1 .x1 +p2 .x2 +···+pn .xn ) e
Z
G(x1 , · · · , xn ) = ··· e G(p1 , · · · , pn )
(2π)4 (2π)4
Since we have derived the Feynman rules for computing G(x1 , · · · , xn ), we can
e 1 , · · · , pn ).
use this to compute G(p
We shall now try to manipulate these Feynman rules to find the Feynman
e 1 , · · · , pn ) directly, without having to first compute
rules for computing G(p
G(x1 , · · · , xn ).
178
Z
e 1 , · · · , pn ) =
G(p d4 x1 · · · d4 xn e−i(p1 .x1 +p2 .x2 +···+pn .xn ) G(x1 , · · · , xn )
Strategy:
2. Use
d4 q1 d4 q2 e
Z
∆F (x1 , x2 ) = 4 4
∆F (q1 , q2 ) ei(q1 .x1 +q2 .x2 )
(2π) (2π)
3. Carry out the integrals over the external points xi and the internal points
yi explicitly.
We shall illustrate this first by an example and then describe the general rules.
179
1 2
y
3 4
Contribution to G(p e 1 , p2 , p3 , p4 ):
Z Z
4 4 −i(p1 .x1 +p2 .x2 +···+p4 .x4 )
d x1 · · · d x4 e d4 y ∆F (x1 , y) ∆F (x2 , y) ∆F (x3 , y) ∆F (x4 , y)
iλ
× − × combinatoric factors
4!
Z 4
d q1 d 4 q2 e
Z Z
4 4 4 −i(p1 .x1 +p2 .x2 +···+p4 .x4 )
= d x1 · · · d x4 d ye 4 4
∆F (q1 , q2 ) ei(q1 .x1 +q2 .y)
(2π) (2π)
Z 4
d q 3 d 4 q4 e d4 q5 d4 q6 e
Z
i(q3 .x2 +q4 .y)
4 4
∆ (q
F 3 4 , q ) e 4 4
∆F (q5 , q6 ) ei(q5 .x3 +q6 .y)
(2π) (2π) (2π) (2π)
Z 4 4
d q 7 d q8 e iλ
4 4
∆F (q7 , q8 ) ei(q7 .x4 +q8 .y) × − × combinatoric factors
(2π) (2π) 4!
Now note that the integration over each xi and y give simple delta functions,
e.g. Z
d4 x1 e−ip1 .x1 +iq1 .x1 = (2π)4 δ (4) (p1 − q1 )
Z
d4 yei(q2 .y+q4 .y+q6 .y+q8 .y) = (2π)4 δ (4) (q2 + q4 + q6 + q8 )
From this we get the rules for momentum space Green’s function:
Now a propagator will carry momenta q1 , q2 at the two ends instead of coordi-
nates x1 , x2 and will give factor of ∆
e F (q1 , q2 )
An internal vertex will carry four momenta qi1 , qi2 , qi3 , qi4 and will represent a
factor of
iλ
− (2π)4 δ (4) (qi1 + qi2 + qi3 + qi4 )
4!
180
Diagrammatic representation:
← q1 q2 →
: e F (q1 , q2 ) = (2π)4 δ (4) (q1 + q2 ) ∆
∆ e F (q1 )
←q
p × : (2π)4 δ (4) (p − q)
q1 & q2 .
iλ
: − (2π)4 δ (4) (q1 + q2 + q3 + q4 )
4!
q3 % q4 -
d4 q1 d4 q2 d4 q3 d4 q4 d4 q5 d4 q6 d4 q7 d4 q8
Z
There are many factors of d4 qi /(2π)4 and many delta functions δ (4) ( i qi ).
P
Rules:
182
22 Momentum space Feynman rules
Then
m
(2n + 4m)! X (4k)! m
S(2n, m) = n+2m − × S(2n, m − k) ×
2 (n + 2m)! 22k (2k)! k
k=1
The k-th term gives
(the number of ways k internal points may be chosen out of m internal points)
183
Symmetry factor of a Feynman diagram:
184
Momentum space Feynman rules
Goal: Calculate
Z
e 1 , · · · , pn ) =
G(p d4 x1 · · · d4 xn e−i(p1 .x1 +p2 .x2 +···+pn .xn ) G(x1 , · · · , xn )
Rules:
185
A Feynman diagram representing a contribution to G(p
e 1 , p2 , p3 , p4 )
p1 p2
-p1 %p2
−p1& .−p2
−p3% -−p4
p3 . &p4
p3 p4
Net result:
( 4 )
iλ Y i
− 2 2
(2π)4 δ (4) (−p1 − p2 − p3 − p4 ) × 4 × 3 × 2
4! i=1 −pi − m + i
186
1 2
-p1 `→
%p2
(−p1 − p3 − `) → &p4
.p3
3 4
Expression:
2 (Y4
)
d4 ` e
Z
1 iλ 4 (4)
− ∆F (pi ) (2π) δ (p1 + p2 + p3 + p4 )
e
4
e F (−p1 − p3 − `)
∆F (`) ∆
2! 4! i=1
(2π)
× combinatoric factor
i e F (q1 , q2 ) = (2π)4 δ (4) (q1 + q2 ) ∆
∆
e F (q) = , ∆ e F (q1 )
−q 2 − m2 + i
For every independent loop in the diagram, we have such a 4-momentum that
we need to integrate over.
187
In momentum space representation, divergences come from integration over
loop momentum, e.g. in the above expression, the ` integral for large ` has the
factor:
d4 ` d4 `
Z Z Z Z
2 2 2 2
∼ 2 2
∼ ` d` ` = d` `−1
3 −4
(−` − m + i)(−(p1 + p3 + `) − m + i) (` )
– logarithmically divergent at large `.
These are called ultra-violet (UV) divergence and can be removed by renor-
malization in a special class of theories called renormalizable theories.
188
Dealing with UV divergences:
All UV divergences come from integration over loop momenta from the region
where the loop momenta are large.
e.g. we could just put a large cut-off Λ on the loop momentum: |`µ | < Λ
|`µ |2 /Λ2
P
−
or multiply the integrand by some damping factor like e µ
189
In the rest of the course we shall avoid this problem by working with tree
diagrams
Typically the lowest order contribution to an amplitude comes from tree dia-
gram.
190
Connected vs. disconnected diagram
1 2 1 3 1 3
3 4 2 4 2 4
(a) (b) (c)
Now, since every vertex and propagator has momentum conservation, every
Feynman diagram will have overall momentum conservation, i.e. will be pro-
portional to
(2π)4 δ (4) (p1 + · · · + pn )
Disconnected diagram has separate momentum conservation for each compo-
nent, e.g. δ (4) (p1 + p2 ) δ (4) (p3 + p4 ) in (b), (c).
191
23 Computation of physical mass
Our goal now will be to study how to relate this to quantities that we can
measure
1. Masses of particles
2. Scattering cross-section
192
Recall: Z
Pρ = d3 x T 0ρ
This can be checked using the known expressions for Pµ , but we shall describe
a general procedure that works for calculating [Qi , Qj ] for any pair of Noether
charges.
193
[Pµ , [Pν , φ(x)]] = i [Pµ , ∂ν φ(x)] = i∂ν [Pµ , φ(x)] = i2 ∂ν ∂µ φ(x)
[Pν , [Pµ , φ(x)]] = i2 ∂µ ∂ν φ(x)
Now consider the Jacobi identity:
[[Pµ , Pν ], φ(x)] + [[φ(x), Pµ ], Pν ] + [[Pν , φ(x)], Pµ ] = 0
This gives, using [A, B] = −[B, A],
[[Pµ , Pν ], φ(x)] = −[[φ(x), Pµ ], Pν ] − [[Pν , φ(x)], Pµ ]
= −[Pν , [Pµ , φ(x)]] + [Pµ , [Pν , φ(x)]] = −i2 ∂µ ∂ν φ(x) + i2 ∂ν ∂µ φ(x) = 0
This proves
[[Pµ , Pν ], φ(x)] = 0
Since Pµ and Pν are time independent, similar relation holds for φ replaced by
Π = ∂0 φ.
Since all operators are made from φ and Π we conclude that [Pµ , Pν ] must
commute with all the operators of the theory.
194
Recall that 12 ωντ J τ ν is the conserved quantity associated with the infinitesimal
Lorentz transformation:
φ → φe = φ + ω µτ xτ ∂µ φ = φ + ωντ xτ ∂ ν φ, ∂ ν φ = η νµ ∂µ φ
This gives
1 i
ωντ J , φ(x) = i ωντ xτ ∂ ν φ = ωντ (xτ ∂ ν φ − xν ∂ τ φ)
τν
2 2
Since ωντ is an independent anti-symmetric matrix, this gives
[J τ ν , φ(x)] = i(xτ ∂ ν φ − xν ∂ τ φ)
Now recall
[Pρ , φ(x)] = i ∂ρ φ(x)
We need to show that both sides have the same commutator with
φ(x) and hence also Π(x).
195
[Pµ , Pν ] = 0
Since Pµ , Pν commute, we can choose a complete set of orthonormal basis states
|ni which are simultaneous eigenstates of all the Pµ ’s:
to show that
1. 0 hm|ni0 = hm|ni.
2. Ex.
Note: p0(n) is the Lorentz transform of p(n) by the Lorentz matrix (1 + ω).
196
Now let us suppose that the theory has a particle of mass mp
⇔ there are states for which energy p0 is fixed in terms of momenta p~ via the
relation q
0
p = Ep~ = p~2 + m2p
We shall denote these states by |~pi.
|~pi0 = |~p 0 i
Problem: h~p1 |~p2 i = δ (3) (~p1 − p~2 ) is not compatible with this, since
Claim:
2Ep~1 δ (3) (~p1 − p~2 ) = 2Ep~10 δ (3) (~p10 − p~20 )
Therefore, we shall normalize the basis states for single particles of mass mp
as:
h~p1 |~p2 i = 2Ep~1 δ (3) (~p1 − p~2 )
197
Proof: Consider
2Ep~1 δ (3) (~p1 − p~2 ) δ(−p21 − m2p ) H(p01 ) δ(−p22 − m2p ) H(p02 )
= 2Ep~1 δ (3) (~p1 − p~2 ) δ((p01 )2 − p~12 − m2p ) H(p01 ) δ(−p22 − m2p )H(p02 )
198
We now need to understand the meaning of completeness
X
|nihn| = I
n
Therefore we use
d3 p
Z
|~pih~p|
2 Ep~
This acts as identity on single particle states.
199
We now consider the two point function
G(x1 , x2 ) = hΩ|T (φ(x1 )φ(x2 ))|Ωi = H(x01 −x02 ) G+ (x1 , x2 )+H(x02 −x01 ) G+ (x2 , x1 )
where
G+ (x1 , x2 ) = hΩ|φ(x1 )φ(x2 )|Ωi
We write X
G+ (x1 , x2 ) = hΩ|φ(x1 )|nihn|φ(x2 )|Ωi
n
We shall examine how single particles states of mass mp contribute to this sum
and use it to compute mp , but for now we proceed by including all states.
Now
∂µ hΩ|φ(x)|ni = −i hΩ|[Pµ , φ(x)]|ni = −i hΩ|(Pµ φ(x)−φ(x)Pµ )|ni = i p(n)µ hΩ|φ(x)|ni
This gives
hΩ|φ(x)|ni = eip(n) .x hΩ|φ(0)|ni, hn|φ(x)|Ωi = e−ip(n) .x hn|φ(0)|Ωi
Therefore X
G+ (x1 , x2 ) = eip(n) .(x1 −x2 ) hΩ|φ(0)|nihn|φ(0)|Ωi
n
R
Use d4 q δ (4) (p(n) − q) = 1 to write
X Z
G+ (x1 , x2 ) = eip(n) .(x1 −x2 ) d4 q δ (4) (p(n) − q) hΩ|φ(0)|nihn|φ(0)|Ωi
Zn X
= d4 q eiq.(x1 −x2 ) δ (4) (p(n) − q) hΩ|φ(0)|nihn|φ(0)|Ωi
n
Z 4
d q iq.(x1 −x2 )
= e F (q)
(2π)4
X
4
F (q) = (2π) δ (4) (p(n) − q) hΩ|φ(0)|nihn|φ(0)|Ωi
n
200
d4 q iq.(x1 −x2 )
Z
G+ (x1 , x2 ) = e F (q)
(2π)4
X
F (q) = (2π)4 δ (4) (p(n) − q) hΩ|φ(0)|nihn|φ(0)|Ωi
n
201
24 Scalar mass computation in the interacting field the-
ory
We defined
G+ (x1 , x2 ) = hΩ|φ(x1 )φ(x2 )|Ωi
From this we derived:
d4 q iq.(x1 −x2 )
Z
G+ (x1 , x2 ) = e F (q)
(2π)4
X
4
F (q) = (2π) δ (4) (p(n) − q) hΩ|φ(0)|nihn|φ(0)|Ωi
n
202
X
4
F (q) = (2π) δ (4) (p(n) − q) hΩ|φ(0)|nihn|φ(0)|Ωi
n
Z
F (q) = d4 x e−iq.x G+ (x, 0)
Now we have: Z
F (Λq) = d4 x e−iΛq.x G+ (x, 0)
2. Proof that F (q) vanishes for q 2 > 0 (space-like) and also for q 0 < 0:
For F (q) to not vanish, there must be a state |ni with p(n) = q.
Since the vacuum has zero energy, there is no state with p0n < 0.
Therefore by the previous argument, and Lorentz invariance, F (q) must vanish
for q 2 > 0.
203
d4 q iq.(x1 −x2 )
Z
G+ (x1 , x2 ) = e F (q)
(2π)4
204
Z ∞ √
G+ (x1 , x2 ) = du f (u) ∆+ (x1 , x2 ; u)
0
√
– as if G+ is a superposition of free particle results for different masses u with
weight f (u).
G(x1 , x2 ) can be calculated using perturbation theory, from which we can com-
pute f (u).
This does not mean that the theory has particles with all possible masses.
Instead this implies that the G+ receives contribution from multiparticle inter-
mediate states for which p2 = −(p0 )2 + p~2 can take continuous values.
e.g. if mp is the physical mass of the particle, then for a two particle state
n q q o
2 2 2 2 2 2 2 2 2 2
p = (p1 +p2 ) = p1 +p2 +2p1 .p2 = −mp −mp +2 − p~1 + mp p~2 + mp + p~1 .~p2
205
Q. How can we extract the physical mass mp of a particle from the knowledge
of G(x1 , x2 )?
Strategy:
1. Assume that there are single particles states with particle mass mp .
206
Claim: hΩ|φ(0)|~pi is independent of p~, i.e. hΩ|φ(0)|~pi = hΩ|φ(0)|~p 0 i
Proof: Given a single particle state |~pi, a state |~p 0 i with a nearby momentum
p~ 0 may be related to |~pi by Lorentz transformation:
1
|~p 0 i = |~pi0 = 1 + i ωντ J ντ |~pi
2
for some ωντ and some small .
We now use
This gives
1
hΩ|φ(0)|~pih~p|φ(0)|Ωi = Z, (Z = some constant)
(2π)3
207
We have
d3 p ip.(x1 −x2 )
Z
G+ (x1 , x2 ) = e hΩ|φ(0)|~pih~p|φ(0)|Ωi
2 Ep~
1
hΩ|φ(0)|~pih~p|φ(0)|Ωi = Z
(2π)3
This gives
Z 3 Z
Z d p ip.(x1 −x2 ) Z
G0+ (x1 , x2 ) = 3
e = 3
d4 p δ(−p2 − m2p )H(p0 ) eip.(x1 −x2 )
(2π) 2Ep~ (2π)
= Z ∆+ (x1 , x2 ; mp )
From this we see that the contribution of single particle states of mass mp to
f (u) is given by:
fs (u) = Z δ(u − m2p )
208
From this we can find the contribution to G(x1 , x2 ) due to the single particle
intermediate states.
Recall: ∞ √
Z
G(x1 , x2 ) = du f (u) ∆F (x1 , x2 ; u)
0
Since single particle contribution to f (u) is Z δ(u − m2p ), its contribution to
G(x1 , x2 ) is:
Z ∞
√
G(x1 , x2 ) = du Z δ(u − m2p ) ∆F (x1 , x2 ; u) + · · · = Z ∆F (x1 , x2 ; mp ) + · · ·
0
· · ·: contributions from other states.
This shows that a single particle state of mass mp produces a pole in G(p
e 1 , p2 )
at p21 = −m2p .
Note: This analysis goes through for two point function of any pair of scalar
operators, e.g.
hΩ|T (φ(x1 )2 φ(x2 )4 )|Ωi
It also goes through with few modification for tensor operators like φ(x)∂µ ∂ν φ(x).
209
We introduce the notion of truncated, one particle irreducible (1PI) Green’s
functions.
We shall denote by iΣ(p21 ) the sum of all the truncated 1PI 2-point Green’s
function without the (2π)4 δ (4) (p1 + p2 ) factor.
iΣ(p2
1) = + + + ···
+ iΣ(p2
1) + iΣ(p2
1) iΣ(p2
1)
+ iΣ(p2
1) iΣ(p2
1) iΣ(p2
1) + ···
210
+ iΣ(p2
1) + iΣ(p2
1) iΣ(p2
1)
+ iΣ(p2
1) iΣ(p2
1) iΣ(p2
1) + ···
This gives
2
e 1 , p2 ) = (2π)4 δ (4) (p1 + p2 )
h i i
G(p 2 2
+ 2 2
iΣ(p21 )
−p − m + i −p1 − m + i
3 1
i 2 2
i
+ iΣ(p 1 ) + ···
−p21 − m2 + i
i
= (2π)4 δ (4) (p1 + p2 )
−p21 − m2 + Σ(p21 ) + i
Since m2p is the location of the pole in −p21 , we can write
Leading order
m2p = m2
Next order
m2p = m2 − Σ(−m2 )
Next order
m2p = m2 − Σ(−m2 + Σ(−m2 ))
etc.
211
25 S-matrix
We have seen how to extract the masses of physical particles from the analysis
of the 2-point Green’s function.
212
2Ep~ a(~p)† |0i
p
|~pi =
Z Z 3
dp e
|f i = d3 r f (~r) φ(0, ~r)|0i = f (~p) |~pi
2Ep~
d3 r
Z
f (~p) =
e
3/2
e−i~p.~r f (~r)
(2π)
~ 2 ~ 2
fe(~p) = σ −3/4 e−(~p−k) /(2 σ) ⇒ f (~r) = σ 3/4 eik.~r e−σ~r /2
This shows that the particles states whose position space wave-functions are
localized around ~r = 0 are obtained by acting on |0i by φ(0, ~r) around ~r = 0
In that case the Ep~ factors in the integrand remain almost constant
213
We have been using Heisenberg picture.
However let us ask, how the state |f i would have looked if we used Schrodinger
picture to evolve it is time.
We shall now see that the same is true in this case, except that the peak will
move along the trajectory of a relativistic particle.
∂ fe(t, p~)
i = Ep~ fe(t, p~), fe(0, p~) = fe(~p) ⇒ fe(t, p~) = e−i Ep~ t fe(~p)
∂t
Therefore in all our earlier formulae we simply have to replace fe(~p) by e−i Ep~ t fe(~p).
This gives
d3 p i~p.~r −i Ep~ t e
Z Z
3
|t, f i = d r f (t, ~r) φ(0, ~r)|0i, f (t, ~r) = e e f (~p)
(2π)3/2
214
d3 p i~p.~r −i Ep~ t e
Z Z
3
|t, f i = d r f (t, ~r) φ(0, ~r)|0i, f (t, ~r) = e e f (~p)
(2π)3/2
d3 p i~p.~r −i Ep~ t −3/4 −(~p−~k)2 /(2 σ)
Z
f (t, ~r) = e e σ e
(2π)3/2
Recall that we have taken σ to be small so that the p~ integral is limited to
√
within about σ of ~k.
Therefore, we can evaluate the p~ integral by expanding the rest of the terms in
Taylor series expansion around ~k.
This gives
d3 q
Z
~ 2
f (t, ~r) ' 3/2
eik.~r e−i E~k t σ −3/4 e−~q /(2 σ)+i~q.~r−i~q.~v~k t
(2π)
d3 q
Z
i~k.~r −i E~k t −3/4 −(~q−iσ ~r+iσ ~k)2 /(2 σ)−σ(~r−~v~k t)2 /2
= e e σ e
(2π)3/2
~ 2
= σ 3/4 eik.~r e−i E~k t e−σ(~r−~v~k t) /2
Note: In the approximation we have make, we do not see the increase in the
width, but this can be seen by keeping terms of order ~q 2 in the expansion of
Ep~ .
215
Now consider multi-particle states:
n n
Y o
†
p
|~p1 , · · · , p~n i = 2Ep~i a(~pi ) |0i
i=1
Z Yn Z Yn 3
3 d pi e
|f1 , · · · , fn i = d ri fi (~ri ) φ(0, ~ri ) |0i = fi (~pi ) |~p1 , · · · , p~n i
i=1 i=1
2E p
~ i
We shall choose
~ 2 ~ki 6= ~kj
fei (~pi ) = σ −3/4 e−(~pi −ki ) /(2 σ) ,
⇓
d3 pi i~pi .~ri e
Z
3/4 i~ki .~ri −σ~ri2 /2
fi (~ri ) = e f i (~
pi ) = σ e e
(2π)3/2
Note: The wave-functions fi (~ri ) all peak around ~ri = 0.
Since !
n
X
H|~p1 , · · · , p~n i = Ep~i |~p1 , · · · , p~n i
i=1
we can find |t, f1 , · · · , fn i using the same procedure as before.
Ex. Result: fei (~pi ) → fei (t, p~i ) = e−iEp~i t fei (~pi )
Z Y n
3
|t, f1 , · · · , fn i = d ri fi (t, ~ri ) φ(0, ~ri ) |0i
i=1
~ −i E~k t −σ(~ri −~v~k t)2 /2
fi (t, ~ri ) = σ 3/4 eiki .~ri e i e i
216
Now we turn to the interacting theory.
Its Fourier transform f (t, ~r) will have the interpretation of position space wave-
function at time t:
~ 2
f (t, ~r) ' σ 3/4 eik.~r e−i E~k t e−σ(~r−~v~k t) /2
Note: Now ~v~k denotes the velocity of a particle of momentum ~k and mass mp .
217
Consider now multi-particle states.
There is a state which in the far past appears to have n particles moving along
the trajectories
~ri = ~v~ki t, i = 1, 2, · · · , n
with wave-function:
~ 2 ~ −i E~k t −σ(~ri −~v~k t)2 /2
fei (t, p~) = e−i Ep~ t fei (~p) = e−i Ep~t σ −3/4 e−(~p−ki ) /(2 σ) , fi (t, ~ri ) ' σ 3/4 eiki .~ri e i e i
If we do any local experiment around ~ri = ~v~ki t, the state will be indistinguish-
able from the single particle state
Z 3
dp e
fi (t, p~) |~pi
2Ep~
Postulate: At t = 0, there is a basis of states labelled as |~p1 , · · · , p~n iin such that
the state: Z Y n 3
d pi e
fi (t, p~i ) |~p1 , · · · , p~n iin
i=1
2E p
~ i
218
We can repeat the analysis for future trajectories.
At any time, there should be a state in which there are n particles moving
along widely separated trajectories, which intersect at some space-time point
in the past.
There is a state which in the far future appears to have n particles moving
along the trajectories
~ri = ~v~ki t, i = 1, 2, · · · , n
with wave-function:
~ 2 ~ −i E~k t −σ(~ri −~v~k t)2 /2
fei (t, p~) = e−i Ep~ t fei (~p) = e−i Ep~t σ −3/4 e−(~p−ki ) /(2 σ) , fi (t, ~ri ) ' σ 3/4 eiki .~ri e i e i
If we do any local experiment around ~ri = ~v~ki t, the state will be indistinguish-
able from the single particle state
Z 3
dp e
fi (t, p~) |~pi
2Ep~
219
Summary of postulates:
1. At t = 0, there is a basis of states labelled as |~p1 , · · · , p~n iin such that the
state: Z Y n 3
d pi e
fi (t, p~i ) |~p1 , · · · , p~n iin
i=1
2E p
~ i
describes n widely separated particles moving along the trajectories ~ri = ~v~ki t,
with momentum space wave function fei (t, p~i ) = fei (~pi ) e−iEp~i t , for large negative
t.
2. At t = 0, there is a basis of states labelled as |~p1 , · · · , p~n iout such that the
state: Z Y n 3
d pi e
fi (t, p~i ) |~p1 , · · · , p~n iout
i=1
2E p
~ i
describes n widely separated particles moving along the trajectories ~ri = ~v~ki t,
with momentum space wave function fei (t, p~i ) = fei (~pi ) e−iEp~i t , for large positive
t.
If
|~p1 , · · · , p~n iin = |~p1 , · · · , p~n iout
then incoming particles in the far past along the trajectories ~ri = ~v~ki t with
momentum space wave function fei (~pi ) e−iEp~i t will evolve to outgoing particles
in the far future along the trajectories ~ri = ~v~ki t with momentum space wave
function fei (~pi ) e−iEp~i t .
220
S(~q1 , · · · , ~qm |~p1 , · · · , p~n ) = out h~
q1 , · · · , ~qm |~p1 , · · · , p~n iin
221
Energy and momentum eigenvalues of |p1 , · · · , pn iin and |p1 , · · · , pn iout :
Since energy and momenta are conserved, we can calculate them by evolving
the state backward or forward in time.
Recall that n 3
Z Y
d pi
fei (~pi ) |~p1 , · · · , p~n iin
i=1
2Ep~i
when evolved backward using the Schrodinger equation to large negative t,
describes n widely separated particles moving along the trajectories ~ri = ~v~ki t
with momentum space wave function fei (~pi ) e−iEp~i t .
For small σ,Pfei (~pi ) is sharply localized around p~i = ~ki , and this state has
momentum ni=1 ~ki and energy ni=1 E~ki
P
Therefore we conclude:
n
! n
!
X X
P~ |~k1 , · · · , ~kn iin = ~ki |~k1 , · · · , ~kn iin , H|~k1 , · · · , ~kn iin = E~ki |~k1 , · · · , ~kn iin
i=1 i=1
The same result can be proved for the out states by evolving them forward in
time.
222
26 S-matrix
Intuitive understanding:
|~k1 , · · · , ~kn iin represents a state at t = 0, which, when evolved to large negative
t by Schroginger equation, describes n well separated particles of momentum
~k1 , · · · , ~kn .
This cannot be strictly true, since single particle momentum eigenstates have
infinite spread in position space, and the wave-functions of the n particles will
continue to overlap even in the far past.
Solution: Spread out the momentum a bit around ~ki by smearing function
fei (~p) so that the position space wave-functions are localized around classical
trajectories.
In that case, by going sufficiently far back in the past, we can make the wave-
functions non-overlapping and the earlier interpretation holds.
For many applications, we can just use this simplistic view, keeping the idea
of the smearing function at the back of our mind.
223
We derived the relations:
n
! n
!
X X
P~ |~k1 , · · · , ~kn iin = ~ki |~k1 , · · · , ~kn iin , H|~k1 , · · · , ~kn iin = E~ki |~k1 , · · · , ~kn iin
i=1 i=1
The same result can be proved for the out states by evolving them forward in
time.
224
How do we calculate
S(~q1 , · · · , ~qm |~p1 , · · · , p~n ) = out h~
q1 , · · · , ~qm |~p1 , · · · , p~n iin
in an interacting scalar field theory?
225
Define
1
ain (~p)† = √ lim a(−T (1 − i), p~)†
Z T →∞
Z: Constant fixed earlier via
√
hΩ|φ(0)|~pi = Z/(2π)3/2
Similarly, we define:
1
ain (~p) = √ lim a(−T (1 − i), p~)
Z T →∞
1 1
aout (~p)† = √ lim a(T (1 − i), p~)† , aout (~p) = √ lim a(T (1 − i), p~)
Z T →∞ Z T →∞
Note † does not act on i.
Therefore ain , a†in and aout , a†out act as creation / annihilation operators on the
in and the out states.
226
S(~q1 , · · · , ~qm |~p1 , · · · , p~n ) = out h~
q1 , · · · , ~qm |~p1 , · · · , p~n iin
We shall proceed by assuming that none of the qi ’s are equal to any of the pi ’s.
S(~q1 , · · · , ~qm |~p1 , · · · , p~n ) = 2Ep~1 out h~q1 , · · · , ~qm |(ain (~p1 )† − aout (~p1 )† )|~p2 , · · · , p~n iin
p
Using
1 1
ain (~p)† = √ lim a(−T (1 − i), p~)† , aout (~p)† = √ lim a(T (1 − i), p~)†
Z T →∞ Z T →∞
we can express the S-matrix as:
Z T (1−i)
−1/2
dt ∂t a(t, p~1 )† |~p2 , · · · , p~n iin
p
−Z 2Ep~1 out h~
q1 , · · · , ~qm |
−T (1−i)
Using Z
∂t a(t, p~)† = −i d3 r gp~ (t, ~r) (− + m2p )φ(t, ~r)
we get,
Z
i Z −1/2 2Ep~1 d4 x gp~1 (x) (− + m2p )
p
out h~
q1 , · · · , ~qm |φ(x)|~p2 , · · · , p~n iin
Z Z T (1−i) Z
4
d x= dt d3 r, x = (t, ~r)
−T (1−i)
We rename x as x1 to write this as:
Z
i Z −1/2 2Ep~1 d4 x1 gp~1 (x1 ) (−x1 + m2p )
p
out h~
q1 , · · · , ~qm |φ(x1 )|~p2 , · · · , p~n iin
227
Z
i Z −1/2 2Ep~1 d4 x1 gp~1 (x1 ) (−x1 + m2p ) out h~q1 , · · · , ~qm |φ(x1 )|~p2 , · · · , p~n iin
p
Z
= i Z −1/2 2Ep~1 2Ep~2 d4 x1 gp~1 (x1 ) (−x1 + m2p ) out h~q1 , · · · , ~qm |φ(x1 )ain (~p2 )† |~p3 , · · · , p~n iin
p p
Z
−1/2
d4 x1 gp~1 (x1 )
p p
= iZ 2Ep~1 2Ep~2
(−x1 + m2p ) out h~q1 , · · · , ~qm |{φ(x1 )ain (~p2 )† − aout (~p2 )† φ(x1 )}|~p3 , · · · , p~n iin
Z Z T (1−i)
−1 4
p p
= −i Z 2Ep~1 2Ep~2 d x1 dt2 gp~1 (x1 )
−T (1−i)
(−x1 + mp ) ∂t2 out h~q1 , · · · , ~qm |T (φ(x1 )a(t2 , p~2 )† )|~p3 , · · · , p~n iin
2
Now use Z ←
−
→−
a(t2 , p~2 )† = −i d3 r2 gp~2 (t2 , ~r2 ) ∂t2 φ(t2 , ~r2 )
Use
∂t2 T (φ(x1 )φ(x2 )) = T (φ(x1 )∂t2 φ(x2 ))+δ(t1 −t2 )(φ(x2 )φ(x1 )−φ(x1 )φ(x2 )) = T (φ(x1 )∂t2 φ(x2 ))
228
S-matrix is given by
Z Z
= (i)2 Z −1 2Ep~1 2Ep~2 d4 x1 d4 x2 gp~1 (x1 )
p p
h
2
(−x1 + mp ) ∂t2 gp~2 (t2 , ~r2 )∂t2 out h~q1 , · · · , ~qm |T (φ(x1 )φ(t2 , p~2 ))|~p3 , · · · , p~n iin
i
−∂t2 gp~2 (t2 , ~r2 ) out hq1 , · · · , qm |T (φ(x1 )φ(t2 , p~2 ))|p3 , · · · , pn iin
Z Z
= (i)2 Z −1 2Ep~1 2Ep~2 d4 x1 d4 x2 gp~1 (x1 )
p p
h
2
(−x1 + mp ) gp~2 (t2 , ~r2 )∂t22 out h~q1 , · · · , ~qm |T (φ(x1 )φ(t2 , p~2 ))|~p3 , · · · , p~n iin
i
2
−∂t2 gp~2 (t2 , ~r2 ) out hq1 , · · · , qm |T (φ(x1 )φ(t2 , p~2 ))|p3 , · · · , pn iin
1 p.~r−iEp~ t
i~ 1
gp~ (t, ~r) = e
(2π)3/2
p
2 Ep~
⇒ ~ 22 −m2p )gp~ (t2 , ~r2 )
∂t22 gp~2 (t2 , ~r2 ) = −Ep~22 gp~2 (t2 , ~r2 ) = −(~p22 +m2p )gp~2 (t2 , ~r2 ) = (∇ 2
We substitute this into the expression for the S-matrix and integrate by parts
~ 22 act on the matrix element.
in ~r2 to have ∇
229
Ex. Final result:
we get
Now use
1 1 1 1
gp~ (x) = e ip.x
, g~q(y)∗ = e −iq.y
(2π)3/2 (2π)3/2
p p
2 Ep~ 2 E~q
The xi and yj integrals generate
( n )( m )
Y Y
(2π)4 δ (4) (pi + ki ) (2π)4 δ (4) (qj − `j ) , p0i = Ep~i , qi0 = E~qi
i=1 j=1
230
This sets ki = −pi , `j = qj and gives
S(~q1 , · · · , ~qm |~p1 , · · · , p~n ) ( n )( m )
Y Y
= (i)n+m Z −(m+n)/2 (2π)−3(m+n)/2 (p2i + m2p ) (qj2 + m2p )
i=1 j=1
G(−p 1 , · · · , −pn , q1 , · · · , qm )
e
How do we know if G
e has such poles?
G
e G
e
Γ
e
G
e G
e
Γ:
e amputated Green’s function
231
27 LSZ formalism
In the last lecture we found the expression for the S-matrix in terms of the
momentum space Green’s function, assuming certain relations:
1
ain (~p1 )† |~p2 , · · · , p~n iin = p |~p1 , · · · , p~n iin
2Ep~1
1
out h~
p2 , · · · , p~n |aout (~p1 ) =p out h~
p1 , · · · , p~n |
2Ep~1
n
X
2Ep~i δ (3) (~p − p~i ) |~p1 , · · · p~i−1 , p~i+1 , · · · , p~n iin
p
ain (~p)|~p1 , · · · , p~n iin =
i=1
Xn
†
2Ep~i δ (3) (~p − p~i )
p
out h~
p1 , · · · , p~n |aout (~p) = out h~
p1 , · · · p~i−1 , p~i+1 , · · · , p~n |
i=1
232
Recall some definitions:
Z ←
−
→
−
i a(t, p~)† = d3 r gp~ (t, ~r) ∂t φ(t, ~r)
1
ain (~p)† = √ lim a(−T (1 − i), p~)†
Z T →∞
We shall first try to prove that
1 1
ain (~p)† |Ωi = p |~piin = p |~pi
2Ep~ 2Ep~
Write
X
a(t, p~)† |Ωi = |αihα|a(t, p~)† |Ωi
α Z
←
−X
→
−
3
= −i d r gp~ (t, ~r) ∂t |αihα|φ(t, ~r)|Ωi
α
Recall
1 1
hα|φ(t, ~r)|Ωi = e−i~p(α) .~r+iE(α) t hα|φ(0)|Ωi, gp~ (t, ~r) = e p.~r−iEp~ t
i~
(2π)3/2
p
2 Ep~
←
−
→
−
∂t bring down a factor of i(E(α) + Ep~ )
† 1 1 X
a(t, p~) |Ωi = −i 3/2
p (2π)3
δ (3) (~p − p~(α) ) i(E(α) + Ep~ ) ei(E(α) −Ep~)t
(2π) 2 Ep~ α
|αihα|φ(0)|Ωi
233
1 1 X
a(t, p~)† |Ωi = 3/2
p (2π)3
δ (3) (~p − p~(α) ) (E(α) + Ep~ ) ei(E(α) −Ep~)t
(2π) 2 Ep~ α
|αihα|φ(0)|Ωi
√
We need to set t = −T (1 − i), take T → ∞ limit and multiply by 1/ Z to
get ain (~p)†
ei(E(α) −Ep~)t → e−i(E(α) −Ep~) T −(E(α) −Ep~) T
As T → ∞, the lowest E(α) state has the dominant contribution.
|Ωi cannot contribute since p~(α) = 0 and the δ (3) (~p − p~(α) ) make it vanish.
This gives
√
d3 q (3)
Z
1 1 1 Z
ain (~p)† |Ωi = √ 3/2
(2π)3 δ (~p − ~q) e−iT (1−i)(Eq~−Ep~) (E~q + Ep~ ) |~qi
(2π)3/2
p
Z (2π) 2 Ep~ 2E~q
1
= p |~pi
2 Ep~
234
Next we shall try to prove
ain (~p)|~p1 iin = 2Ep~1 δ (3) (~p − p~1 ) |Ωiin
p
Recall
Z ←
−
→
− 1
−i a(t, p~) = d3 r gp~ (t, ~r)∗ ∂t φ(t, ~r), ain (~p) = √ lim a(−T (1 − i), p~)
Z T →∞
Write
X
a(t, p~)|~p1 iin = |αihα|a(t, p~)|~p1 iin
αZ
←
−X→
−
= i d 3
r gp~ (t, ~r)∗ ∂t |αihα|φ(t, ~r)|~p1 iin
α
Z
1 1 → ←
−X
−
−i~
a(t, p~)|~p1 iin = i d3 r 3/2
e p.~r+iEp~ t
p ∂t |αie−i(~p(α) −~p1 ).~r+i(E(α) −Ep~1 )t hα|φ(0)|~p1 iin
(2π) 2 Ep~ α
←
−
→
−
∂t bring down a factor of i(E(α) − Ep~1 − Ep~ )
1 1 3
X
a(t, p~)|~p1 iin = i 3/2
p (2π) δ (3) (~p + p~(α) − p~1 ) i(E(α) − Ep~1 − Ep~ )
(2π) 2 Ep~ α
i(E(α) −Ep~1 +Ep~ )t
e |αihα|φ(0)|~p1 iin
235
1 1 3
X
a(t, p~)|~p1 iin = i 3/2
p (2π) δ (3) (~p + p~(α) − p~1 ) i(E(α) − Ep~1 − Ep~ )
(2π) 2 Ep~ α
i(E(α) −Ep~1 +Ep~ )t
e |αihα|φ(0)|~p1 iin
√
We need to set t = −T (1 − i), take T → ∞ limit and multiply by 1/ Z to
get ain (~p)
Presence of δ (3) (~p − p~1 ) factor now allows us to set Ep~ = Ep~1 .
√
Also hΩ|φ(0)|~p1 i = Z/(2π)3/2 .
This gives
√
1 1 1 3 (3) Z
ain (~p)|~p1 iin = √ i (2π) δ (~
p − p
~1 )(−i) (E p
~ 1
+ E p
~ ) |Ωi
(2π)3/2 2 Ep~ (2π)3/2
p
Z
2 Ep~1 δ (3) (~p − p~1 ) |Ωi
p
=
236
We shall now prove the general case.
( n )
Yp
2Ep~i ain (~p1 )† · · · ain (pn )† |Ωi = |~p1 , p~2 , · · · , p~n iin
i=1
Consider
n Z
d3 pi e
~ 2
Y
fi (~pi ) × above equation, fei (~pi ) = σ −3/4 e−(~pi −ki ) /(2 σ)
i=1
2E p
~ i
If our claim is correct, then when we evolve this state to large negative t
using the Schrodinger equation, the lhs should have the interpretation that it
describes n particles with momenta ~k1 , · · · , ~kn , moving along the trajectories
~ri = ~ki t, with momentum space wave-function fei (t, p~i ).
This gives
Z
d3 p e i 1
Z ←
−
→
−
p fi (~p)ain (~p)† ' − √ d3 r fi (t0 , ~r)∂t0 φ(t0 , ~r)
2Ep~ Z 2E~ki
237
Z
d3 p e i 1
Z ←
−
→
−
p fi (~p)ain (~p)† ' − √ 3 0
d r fi (t , ~r)∂t0 φ(t0 , ~r), t0 = −T (1−i)
2Ep~ Z 2E~ki
~ −i E~k t0 −σ(~r−~v~k t0 )2 /2
fi (t0 , ~r) ' σ 3/4 eiki .~r e i e i
As long as ~ki =
6 ~kj , the wave-packets for different i’s are non-overlapping for
large T .
We have already seen that each factor, acting on the vacuum, creates the
desired single particle state with the desired wave-function.
Therefore the product of all the factors create the desired multi-particle state
with the correct wave-function.
Since after taking the convolution with fei (~pi ), different ain (~pi )† factors act in-
dependently, the action of ain (~p) on the state can be studied independently for
each ain (~pi )† .
This in turn is determined by the result for ain (~p)|~p1 iin derived earlier.
238
28 Scattering cross section
←−L
−→
Fixed target: •••
•• • •
••
•••
•→ ••• −→ z
~k2 •••
•••
•••
•••
Consider a stationary slab of φ particles of width L and large area, kept parallel
to the x-y plane, filling the region −L/2 < z < L/2.
The particle will eventually hit the slab at some time, taken to be t = 0.
239
Goal: Express the result in terms of the S-matrix which we have learned to
calculate.
S(~q1 , · · · , ~qm |~p1 , · · · , p~n ) = out h~q1 , · · · , ~qm |~p1 , · · · , p~n iin
m
Y n
Y h i
(3) (3) (3)
= (2E~qi ) (2Ep~i ) δmn δ (~p1 − ~q1 ) · · · δ (~p2 − ~q2 ) · · · δ (~pn − ~qn ) + permutations of p~1 , · · · , p~n
i=1 i=1
– defines T- matrix.
We shall ignore the forward scattering term and express the result in terms of
M.
In the current problem, even though there are many target particles, scattering
from them can be taken to be independent
– need to consider n = 2.
240
Our choice of f1 , f2 :
Normalization: We would like to normalize both the incoming particle and the
target particle state to have norm=1.
Z 3 Z 3 0
d p ∗ d p 0
0
in p
~ fei (~
p) f
e i (~
p ) p~ = 1 for i = 1, 2
2Ep~ 2Ep~ 0
in
0
Using in h~
p|~p iin = 2 Ep~ δ (3) (~p − p~ 0 ), we get
Z 3
dp e
|fi (~p)|2 = 1
2Ep~
This is different from the Gaussian that we were using before,p but can be
incorporated by multiplying earlier expression for fei (~p) by 2Ep~ .
p
The 2Ep~ factor can be taken out of all integrals since fe(~p) is sharply peaked.
241
Probability of finding m particles with momenta ~q1 , · · · ~qm in some range R:
Z 3
~ ~ ~ d q1 d3 qm 2
P (b, k1 , k2 , R) = ··· out h~q1 , · · · , ~qm |f1 , f2 iin
R 2E~q1 2E~qm
This result is for the collision with a single particle in the slab.
By taking into account the possibility of collision with all the particles in the
slab we get the total probability:
Z
P = ρ d3 b P (~b, ~k1 , ~k2 , R)
We shall assume the width L of the slab to be small so that the bz integral
gives L.
Z
P = ρ L d2 b⊥ P (~b, ~k1 , ~k2 , R), ~b⊥ = (bx , by ), ~b = (~b⊥ , 0)
2 Z 2
3 3 3
Z Z
2 d q1 d qm Y d pi e
P = ρ L d b⊥ ··· fi (~pi ) out h~q1 , · · · , ~qm |~p1 , p~2 iin
R 2E~q1 2E~qm i=1 2Ep~i
Z Z 3 3 2 Z 3
d q 1 d q m
Y d p i
= ρ L d2 b⊥ ··· fei (~pi ) out h~q1 , · · · , ~qm |~p1 , p~2 iin
R 2E~q1 2E~qm i=1 2Ep~i
2 Z 3 0
Y d pi e 0 ∗
fi (~pi ) q1 , · · · , ~qm |~p10 , p~20 i∗in
out h~
i=1
2Ep~i0
Z 3 2 Z 2 Z 3 0
d3 qm Y d3 pi Y
Z
2 d q1 d pi
= ρ L d b⊥ ···
R 2E~q1 2E~qm i=1 2Ep~i i=1 2Ep~i0
Y2 n o
fi (~pi ) fi (~pi ) (2π)8 δ (4) (q1 + · · · + qm − p1 − p2 )δ (4) (q1 + · · · + qm − p01 − p02 )
e e 0 ∗
i=1
242
Z Z3 3 2 Z 3 2 Z
Y 3 0
d q 1 d q m
Y d p i d p i
P = ρ L d2 b⊥ ···
R 2E~q1 2E~qm i=1 2Ep~i i=1 2Ep~i0
Y2 n o
fi (~pi ) fi (~pi ) (2π)8 δ (4) (q1 + · · · + qm − p1 − p2 )δ (4) (q1 + · · · + qm − p01 − p02 )
e e 0 ∗
i=1
Also, using the first δ (4) in the expression for P, the second δ (4) may be replaced
by δ (4) (p1 + p2 − p01 − p02 ).
All other p~i dependent term in the integrand can be taken outside the p~i inte-
gration by setting p~i = ~ki for i = 1, 2
243
Final result:
d 3 q1 d3 qm
Z
P = ρL ··· (2π)−3m (2π)4 δ (4) (q1 + · · · + qm − k1 − k2 )
R 2E~q1 2E~qm
1 1
M(~q1 , · · · , ~qm |~k1 , ~k2 ) M(~q1 , · · · , ~qm |~k1 , ~k2 )∗ |~v~k1 − ~v~k2 |−1
2E~k1 2E~k2
The integral over the full range of ~q1 , · · · ~qm is called the total cross section.
Note: If we integrate over the full range of each ~qi , we need to divide the final
result by m! since the particles are identical.
Full integration over each qi will count every final state configuration m! times,
which differ from each other by the exchange of the qi ’s
out h~
q1 , · · · , ~qm |~p1 , · · · , p~m iout
244
Proof of
Using the second delta function, we replace p01z by p1z +p2z −p02z in the argument
of the first delta function.
Also since the wave-functions are peaked around p~1⊥ = 0, p~2⊥ = 0, we set them
to 0 in the argument of the first delta function.
245
For m = 2, we have only two particles in the final state.
Therefore we have two independent variables which we can take to be the angle
(θ1 , φ1 ) giving the direction of momentum of ~q1 .
The integrand on the right hand side gives the probability of detecting a φ
particle within a solid angle Ω around the center of scattering.
−→ ←−
246
29 Decay of unstable particles
Consider a field theory of two scalar fields φ and χ with action:
Z
1 1 1 1 λ
S = d4 x − η µν ∂µ φ∂ν φ − m2φ φ2 − η µν ∂µ χ∂ν χ − m2χ χ2 − χ φ2
2 2 2 2 2!
At the leading order in perturbation theory, we have two particles of masses
mχ and mφ .
If mχ > 2mφ then the χ particle can decay into two φ particles
In the center of mass of the χ particle, the two φ particles will carry momenta
±~q and energy conservation will give
q
mχ = 2 m2φ + ~q2
In a general Lorentz frame the χ particle will have momentum p~ and φ particles
will have different momenta ~q1 , ~q2 .
Note: |χ, p~iin is not strictly an in state since it does not live forever, but we
shall proceed by ignoring this problem.
out hφ, ~
q1 ; φ, ~q2 |χ, p~iin can be calculated in terms of three point Green’s function
as before.
Question: How to translate this into something that we can measure physically,
e.g. half-life of the χ particle?
We shall consider a general case in which there are m decay products carrying
momentum ~q1 , · · · ~qm
– possible if mχ > m mφ .
247
As before, we describe the in state as
Z 3 Z 3
dp e d p e ∗e
|χ, f iin = f (~p)|χ, p~iin , f (~p) f (~p) = 1
2Ep~ 2Ep~
Peak of fe(~p) is taken to be at some value ~k.
Solution: Write Z Z
1 0 00 1
δ(p0 − p00 ) = dt eit(p −p ) = dt for p0 = p00
2π 2π
Therefore transition probability per unit time is finite.
Z 3 Z 3 Z 3 0 m
!
d q1 d3 qm dp dp e e 0 ∗ X
Ṗ = ··· f (~p) f (~p ) (2π)7 δ (4) qi − p
R 2E~q1 2E~qm 2Ep~ 2Ep~ 0 i=1
δ (3) (~p − p~ 0 ) (2π)−3(m+1) M(~q1 , · · · , ~qm |~p) M(~q1 , · · · , ~qm |~p 0 )∗
248
m
!
Z 3 3 Z 3 Z 3 0
d q1 d qm dp dp e e 0 ∗ X
Ṗ = ··· f (~p) f (~p ) (2π)7 δ (4) qi − p
R 2E~q1 2E~qm 2Ep~ 2Ep~ 0
i=1
δ (3) (~p − p~ 0 ) (2π)−3(m+1) M(~q1 , · · · , ~qm |~p)M(~q1 , · · · , ~qm |~p ) 0 ∗
m
!
Z 3 3 Z 3
d q1 d qm dp 1 e e ∗ X
= ··· f (~p) f (~p) (2π)7 δ (4) qi − p
R 2E~q1 2E~qm 2Ep~ 2Ep~ i=1
(2π)−3(m+1) M(~q1 , · · · , ~qm |~p) M(~q1 , · · · , ~qm |~p)∗
Now use
d3 p e e ∗
Z
f (~p) f (~p) = 1
2Ep~
and set p~ = ~k in the rest of the terms in the integrand.
Z 3 m
!
1 d q1 d3 qm X
Ṗ = ··· (2π)4 δ (4) qi − k
2E~k R 2E~q1 2E~qm i=1
(2π)−3m M(~q1 , · · · , ~qm |~k) M(~q1 , · · · , ~qm |~k)∗
For computing the total decay probability we need to divide by m! to account
for the symmetry under permutation of the m final state particles.
If we start with N0 χ particles each moving with momentum ~k, then the number
of particles at time t is determined from the equation:
dN
= −Ṗ N ⇒ N = N0 e−Ṗ t
dt
Half life τ is determined by
1 1
e−τ Ṗ = ⇒ τ= ln 2
2 Ṗ
Note: 1/(2E~k ) factor in Ṗ shows that τ ∝ E~k
249
Quantization of electromagnetic field
Strategy:
Action:
Z
1
S=− d4 xFµν F µν , Fµν = ∂µ Aν − ∂ν Aµ , F µν = η µρ η νσ Fρσ
4
Aµ : Vector potential
∂µ F µν = 0
Lagrangian:
Z Z
1 3 µν 1
d3 r F0i F 0i + Fi0 F i0 + Fij F ij
L = − d rFµν F =−
Z4 4
1 1
= d3 r (∂0 Ai − ∂i A0 )(∂0 Ai − ∂i A0 ) − Fij Fij , 1 ≤ i, j ≤ 3
2 4
Note: Repeated i, j indices are summed from 1 to 3.
250
Z
1 3 1
L = d r (∂0 Ai − ∂i A0 )(∂0 Ai − ∂i A0 ) − Fij Fij
2 4
Naively, to go to the Hamiltonian formalism, we would define
δL δL
Πi = , Π0 =
δ Ȧi δ Ȧ0
Since L does not depend on Ȧ0 , we get Π0 = 0
– a constrained system.
How we divide the coordinate variables into the two sets is up to us.
Define m
∂L X
pa = , R({qa }, {pa }, {qα }, {q̇α }) = pa q̇a − L
∂ q̇a a=1
Ex. Check that the original Euler-Lagrange equations for all the variables may
be rewritten as
dqa ∂R dpa ∂R
= , =− , 1 ≤ a ≤ m, ⇒ like Hamiltonian
dt ∂pa dt ∂qa
d ∂R ∂R
− = 0, m + 1 ≤ α ≤ m + n, ⇒ like Lagrangian
dt ∂ q̇α ∂qα
251
m
∂L X
pa = , R({qa }, {pa }, {qα }, {q̇α }) = pa q̇a − L
∂ q̇a a=1
dqa ∂R dpa ∂R
= , =− , 1 ≤ a ≤ m, ⇒ like Hamiltonian
dt ∂pa dt ∂qa
d ∂R ∂R
− = 0, m + 1 ≤ α ≤ m + n, ⇒ like Lagrangian
dt ∂ q̇α ∂qα
252
The inability to determine A0 arises from the gauge invariance of the theory.
Therefore starting from a given configuration, the time evolution is not unique
– can always add ∂µ Λ to Aµ for a function Λ(t, ~r) for which ∂0 Λ vanishes at
the initial time but can be chosen arbitrarily later.
~ B,
Fµν and hence E, ~ L etc. are all invariant under this gauge transformation.
– the time evolution of Aµ is not determined but the undetermined part is not
physically relevant.
253
~ A
We shall use Coulomb gauge ∇. ~ = 0.
Is it always possible?
~ A
Given a configuration for which ∇. ~ 6= 0, can we find a Λ such that ∇.(
~ A ~+
~
∇Λ) = 0?
~ 2 Λ = −∇.
This gives ∇ ~ A~
Use ∂t Ai = Πi + ∂i A0 to get
~ A)
0 = ∂t (∇. ~ = ∂i Πi + ∇
~ 2 A0 = ∇
~ 2 A0
~ 2 A0 = 0.
Therefore in the Coulomb gauge ∇
If we use the boundary condition A0 (t, ~r) → 0 for large |~r|, then this gives
A0 = 0.
254
In the presence of source J µ , the Maxwell’s equation is modified to
∂µ F µν = −J ν , ∂ν J ν = 0
R gets a term Z
− d3 r Aµ J µ
∂i Πi + J 0 = 0
External constraints
∂i Πi = −J 0 , ∂i Ai = 0
255
30 Quantization of the Maxwell field
∂i Ai = 0, ∂i Πi = 0 ⇒ external constraint
Constraints are preserved by the equations of motion, i.e. once we impose them
at t = t0 , they remain valid at all times due to equations of motion.
{Ai (t, ~r), Aj (t, ~r 0 )}P B = 0, {Πi (t, ~r), Πj (t, ~r 0 )}P B = 0
and write the equations of motion as:
∂Ai (t, ~r) ∂Πi (t, ~r)
= {Ai (t, ~r), R(t)}P B , = {Πi (t, ~r), R(t)}P B
∂t ∂t
256
We now introduce Fourier transformed variables:
d3 p i~p.~r e d3 p i~p.~r e
Z Z
Ai (t, ~r) = e Ai (t, p~), Πi (t, ~r) = e Πi (t, p~)
(2π)3/2 (2π)3/2
p~.~ (a) (~p) = 0, ~ (a) (~p).~ (b) (~p) = δab , ~ (a) (−~p) = ~ (a) (~p)
Define:
e(a) (t, p~) = (a) (~p) A
A ej (t, p~), e (a) (t, p~) = (a) (~p) Π
Π e j (t, p~)
j j
pj A
ej (t, p~) pj Π
e j (t, p~)
Ak (t, p~) = i
e , Πk (t, p~) = i
e
|~p| |~p|
This gives
2 2
X
e(a) (a) pj X
e k (t, p~) pj
e (a) (t, p~) (a) (~p)−i Π
A
ej (t, p~) = A (t, p~) j (~p)−i A
ek (t, p~) , Π
e j (t, p~) = Π j
a=1
|~p| a=1
|~p|
In these variables
Z o
1 1 n on
R = d3 p Π e i (t, −~p)Πe i (t, p~) + ej (t, −~p) − pj A
pi A ei (t, −~p) pi A ej (t, p~) − pj Aei (t, p~)
Z " 22 4
2
#
1 X X
= d3 p Πe (a) (t, −~p)Πe (a) (t, p~) + Π e k (t, p~) + p~ 2
e k (t, −~p)Π e(a) (t, −~p)A
A e(a) (t, p~)
2 a=1 a=1
Π
e k (t, p~) = 0, A
ek (t, p~) = 0
257
The Poisson brackets:
{A e k (t, p~ 0 )}P B = 0,
e(a) (t, p~), Π {A e (b) (t, p~ 0 )}P B = 0
ek (t, p~), Π
Π
e k (t, p~) = 0, A
ek (t, p~) = 0
to set Π
e k and A
ek to 0.
Ex. The Dirac brackets involving A e (b) (t, p~ 0 ) are the same
e(a) (t, p~) and Π
as their Poisson brackets since the constraints have vanishing Poisson
bracket with A e (b) (t, p~ 0 ).
e(a) (t, p~) and Π
Final form:
Z " 2 2
#
1 X X
R= d3 p e (a) (t, −~p)Π
Π e (a) (t, p~) + p~ 2 e(a) (t, −~p)A
A e(a) (t, p~)
2 a=1 a=1
258
Z " 2 2
#
1 X X
R= d3 p e (a) (t, −~p)Π
Π e (a) (t, p~) + p~ 2 e(a) (t, −~p)A
A e(a) (t, p~)
2 a=1 a=1
We shall now quantize by regarding the Routhian as the Hamiltonian and the
Dirac brackets as commutator bracket / i
Z " 2 2
#
1 X X
H= d3 p e (a) (t, −~p)Π
Π e (a) (t, p~) + p~ 2 e(a) (t, −~p)A
A e(a) (t, p~)
2 a=1 a=1
Define:
1 1/2 e(b) −1/2 e (b)
a(b) (t, p~) = √ {Ep~ A (t, p~) + i Ep~ Π (t, p~)}, Ep~ = |~p|
2
1 1/2 e(b) −1/2 e (b)
a(b) (t, p~)† = √ {Ep~ A (t, −~p) − i Ep~ Π (t, −~p)}
2
[a(b) (t, p~), a(c) (t, p~ 0 )† ] = δbc δ (3) (~p−~p 0 ), [a(b) (t, p~), a(c) (t, p~ 0 )] = 0 = [a(b) (t, p~)† , a(c) (t, p~ 0 )† ]
Then
Z 2
X
H= dp3
Ep~ a(b) (t, p~)† a(b) (t, p~),
b=1
(b)
[H, a (t, p~)] = −Ep~ a (t, p~), (b)
[H, a(b) (t, p~)† ] = Ep~ a(b) (t, p~)†
259
Z 2
X
H= dp3
Ep~ a(b) (t, p~)† a(b) (t, p~),
b=1
[H, a(b) (t, p~)] = −Ep~ a(b) (t, p~), [H, a(b) (t, p~)† ] = Ep~ a(b) (t, p~)†
Define a(b) (~p) = a(b) (0, p~), a(b) (~p)† = a(b) (0, p~)† , and define the vacuum states
|0i via
a(b) (~p)|0i = 0 for every p~, b = 1, 2
We now have two types of single particle states:
Since these have E = |~p|, they describe massless particles called photons.
260
a(b) (~p)† |0i, b = 1, 2
– describe linearly polarized photons.
To see this we need to construct the angular momentum operators using Noether
theorem and then find the action of
ijk pi J jk /|~p|
on the states.
261
We shall now calculate the Feynman propagator for the photon:
Note: A
eµ (t, p~) satisfies:
262
A
eµ (t, p~) satisfies:
(b) ei (t, p~) = A(b) (t, p~) for b = 1, 2
A
e0 (t, p~) = 0, pi A
ei (t, p~) = 0, i (~p)A
n.A(t,
e p~) = 0, p̄.A(t,
e p~) = 0, η̄ (b) (~p).A(t, e(b) (t, p~)
e p~) = A
Since n, p̄, η̄ (1) and η̄ (2) are linearly independent four vectors, it is enough to
check that the contraction of both sides of * with these vectors give the same
result.
263
2
p̄µ p̄ν X (b)
ηµν = −nµ nν + 2 + η̄µ (~p) η̄ν(b) (~p)
p~
b=1
n.A(t,
e p~) = 0, p̄.A(t,
e p~) = 0, η̄ (b) (~p).A(t, e(b) (t, p~)
e p~) = A
Using these we get
2
X
A eν (t, p~) =
eµ (t, p~) = ηµν A η̄µ(b) (~p)A
e(b) (t, p~)
b=1
Therefore
3
d3 p0 i~p.~r i~p 0 .~r 0
Z Z
d p
Dµν (x, x0 ) = 3/2 3/2
e e h0|T (Aeµ (t, p~)A eν (t0 , p~ 0 ))|0i
(2π) (2π)
2 2
d3 p d3 p0 i~p.~r i~p 0 .~r 0 X X (b)
Z Z
= 3/2 3/2
e e η̄µ (~p) η̄ν(c) (~p 0 ) h0|T (Ae(b) (t, p~)A e(c) (t0 , p~ 0 ))|0i
(2π) (2π) b=1 c=1
e(b) (t, p~) in terms of a(b) (t, p~), a(b) (t, −~p)†
1. Express A
2. Use
[H, a(b) (t, p~)] = −Ep~ a(b) (t, p~), [H, a(b) (t, p~)† ] = Ep~ a(b) (t, p~)†
to get the time dependence of a(b) (t, p~), a(b) (t, −~p)† :
a(b) (t, p~) = a(b) (~p) e−iEp~t , a(b) (t, −~p)† = a(b) (−~p)† eiEp~t
e(c) (t0 , p~ 0 )
3. Carry out similar manipulations with A
4. Use
h0|a(b) (~p)a(c) (−~p 0 )† |0i = δbc δ (3) (~p + p~ 0 )
264
Ex. Show that this gives
Use
2
p̄µ p̄ν X (b)
ηµν = −nµ nν + 2 + η̄µ (~p) η̄ν(b) (~p)
p~
b=1
to write
2
X p̄µ p̄ν
η̄µ(b) (~p) η̄ν(b) (~p) = ηµν + nµ nν −
p~ 2
b=1
Using the same trick as in K-G theory, we can express Dµν in more covariant
form:
d4 p ip.(x−x0 ) e
Z
0 e µν (p) = ηµν + nµ nν − p̄ µ p̄ ν i
Dµν (x, x ) = e D µν (p), D
(2π)4 p~ 2 −p2 + i
Doing the p0 integral by Cauchy’s theorem, we recover the earlier result.
Using Dµν we can now calculate the Green’s functions for any number of fields
and their derivatives in Maxwell’s theory
– use the same Feynman rules except that the propagators will be given by
Dµν instead of ∆F .
265
31 Second quantization of the Dirac equation
Last time we calculated the Feynman propagator for the Maxwell’s theory
without source terms:
Result:
d4 p ip.x e
Z
p̄ µ p̄ ν i
Dµν (x, x0 ) = e Dµν (p), e µν (p) = ηµν + nµ nν −
D
(2π)4 p~ 2 −p2 + i
p̄ = (0, p~), n = (1, 0, 0, 0)
Using Dµν we can now calculate the Green’s functions for any number of fields
and their derivatives in the Maxwell’s theory
– use the same Feynman rules except that the propagators will be given by
Dµν instead of ∆F .
266
Example:
h0|T (Aµ (x)Aν (y)Aρ (w)Aσ (z))|0i = Dµν (x, y)Dρσ (w, z)+Dµρ (x, w)Dνσ (y, z)+Dµσ (x, z)Dνρ (y, w)
h0|T (Fµν (x)Fρσ (y))|0i = ∂µ ∂ρ Dνσ (x, y)−(µ ↔ ν)−(ρ ↔ σ)+(µ ↔ ν, ρ ↔ σ)+contact terms
A rewriting of Dµν :
This gives
p̄µ p̄ν = pµ pν + n.p (pµ nν + pν nµ ) + (n.p)2 nµ nν
Ex. Check that
e µν (p) = ηµν + nµ nν − p̄ µ p̄ ν i
D
p~ 2 −p2 + i
p2
i n.p pµ p ν
= ηµν − 2 (pµ nν + pν nµ ) − 2 + nµ nν 2
−p2 + i p̄ p~ p̄
Comments: In the calculation of the S-matrix, the terms proportional to pµ
and pν cancel after sum over diagrams due to gauge invariance.
The term proportional to nµ nν cancels the extra term in the Routhian propor-
tional to J 0 J 0 that we had found (to be seen later)
– Feynman propagator
267
Dirac equation
(i γ µ ∂µ − m)ψ = 0
γ µ γ ν + γ µ γ ν = −2 η µν , ⇒ (γ 0 )2 = 1, (γ i )2 = −1
(γ 0 )† = γ 0 , (γ i )† = −γ i
Explicit choice of these matrices is not important, so for now we shall proceed
without making such a choice.
Our goal: First construct a classical field theory whose field equations give the
Dirac equation
268
(i γ µ ∂µ − m)ψ = 0 ⇒ (iγ 0 ∂0 + iγ i ∂i − m)ψ = 0
Multiplying this by γ 0 from the left and using (γ 0 )2 = 1, we get
i∂0 ψ = b
hψ, h = −iγ 0 γ i ∂i + m γ 0
b
In the new form, the Dirac equation looks like Schrodinger equation, except for
the fact that ψ is a four component field instead of a single component field.
Corresponding action
Z Z Z
d4 x ψ(x)† (i∂0 −b
h)ψ(x) = d4 x ψ(x)† (i∂0 +iγ 0 γ i ∂i −mγ 0 )ψ(x) = d4 x ψ(x)† γ 0 (i γ µ ∂µ −m)ψ
We define
ψ̄(x) = ψ(x)† γ 0
and write the action as
Z
d4 x ψ̄(x)(i γ µ ∂µ − m)ψ
269
We shall now follow the same steps as in Schrodinger field theory.
{am (t), an (t)} = 0, {am (t), an (t)† } = δmn , {am (t)† , an (t)† } = 0
The derivation of these relations follows the same one as in the case of Schrodinger
field theory.
The only difference: In this case we shall have continuous energy eigenvalues
P
⇒ n will be replaced by momentum integration.
270
Step 1: Eigenstates and eigenvalues of b
h:
hu(~r) = e u(~r),
b h = −iγ 0 γ i ∂i + m γ 0
b
Try
u(~r) = ũ ei~p.~r , ũ : ~r independent constant column vector
This gives
h̃ ũ = e ũ, h̃ = γ 0 γ i pi + mγ 0
Note 1: Since h̃ is a 4 × 4 matrix, we expect four eigenvalues for given p~.
Multiplying the eigenvalue equation by γ 0 and bringing the rhs to the lhs, we
get
(−γ 0 e + γ i pi + m)ũ = 0 ⇒ (γ µ pµ + m)ũ = 0, p0 = e, p0 = −e
Multiplying this by (−γ ν pν + m) from the left and using γ µ γ ν + γ ν γ µ = −2η µν
we get
(p2 + m2 )ũ = 0
This gives p
e = p0 = ±Ep~ , Ep~ = p~ 2 + m2
Since the eigenvalues come in pairs with opposite sign, we must have two
eigenvectors with eigenvalue Ep~ and two eigenvectors with eigenvalue −Ep~ .
271
(−γ 0 e + γ i pi + m)ũ = 0
Solutions:
ũ = u(~p, s) with e = Ep~ , ũ = v(−~p, s) with e = −Ep~
Therefore u(~p, s) satisfies
(−γ 0 Ep~ + γ i pi + m) u(~p, s) = 0 ⇒ (γ µ pµ + m) u(~p, s) = 0, p0 = Ep~
v(~p, s) satisfies:
(γ 0 Ep~ + γ i pi + m) v(−~p, s) = 0 ⇒ (−γ µ pµ + m) v(~p, s) = 0, p0 = Ep~
Normalizations:
Ep~ Ep~
u(~p, s)† u(~p, s0 ) =
δss0 , v(−~p, s)† v(−~p, s0 ) = δss0 , u(~p, s)† v(−~p, s0 ) = 0
m m
The eigenstates of b
h are:
1 1
u(~p, s; ~r) = 3/2
u(~p, s)ei~p.~r , v(~p, s; ~r) = 3/2
v(~p, s) e−i~p.~r
(2π) (2π)
(Note: Changed p~ to −~p in the second function)
This gives
Z
Ep~
d3 r u(~p, s; ~r)† u(~p 0 , s0 ; ~r) = u(~p, s)† u(~p 0 , s0 ) δ (3) (~p − p~ 0 ) = δss0 δ (3) (~p − p~ 0 )
m
Z
Ep~
d3 r v(~p, s; ~r)† v(~p 0 , s0 ; ~r) = v(~p, s)† v(~p 0 , s0 ) δ (3) (~p − p~ 0 ) = δss0 δ (3) (~p − p~ 0 )
m
Z
d3 r u(~p, s; ~r)† v(~p 0 , s0 ; ~r) = u(~p, s)† v(~p 0 , s0 ) δ (3) (~p + p~ 0 ) = 0
Note: Since 2Ep~ δ (3) (~p − p~ 0 ) is Lorentz invariant, these are Lorentz invariant
normalizations. Z
X m
⇒ d3 p
n
Ep~
272
Step 2: Expand ψ(t, ~r) in the basis of the eigenfunctions as
X
ψ(t, ~r) = an (t) un (~r)
n
This becomes:
Z 2
"r r #
m X Ep~ Ep~
ψ(t, ~r) = d3 p b(t, p~, s) u(~p, s; ~r) + c(t, p~, s) v(~p, s; ~r)
Ep~ s=1 m m
q q
Ep~ Ep~
m b(t, p~, s) and m c(t, p
~, s) plays the role of an ’s.
Similarly:
c(t, p~, s), c(t, p~ 0 , s0 )† = δss0 δ (3) (~p−~p 0 ), b(t, p~, s), c(t, p~ 0 , s0 )† = 0, c(t, p~, s), b(t, p~ 0 , s0 )† = 0
{b(t, p~, s), b(t, p~ 0 , s0 )} = 0, {b(t, p~, s), c(t, p~ 0 , s0 )} = 0, {c(t, p~, s), c(t, p~ 0 , s0 )} = 0
Z 2
m
r X
3
ψ(t, ~r) = d p [b(t, p~, s) u(~p, s; ~r) + c(t, p~, s) v(~p, s; ~r)]
Ep~ s=1
Step 4: H = n en a†n an becomes
P
Z 2
m X E p
~ E p
~
H = d3 p Ep~ b(t, p~, s)† b(t, p~, s) − Ep~ c(t, p~, s)† c(t, p~, s)
Ep~ s=1 m m
Z X 2
= 3
d p Ep~ [b(t, p~, s)† b(t, p~, s) − c(t, p~, s)† c(t, p~, s)]
s=1
273
Z 2
mX
r
3
ψ(t, ~r) = dp [b(t, p~, s) u(~p, s; ~r) + c(t, p~, s) v(~p, s; ~r)]
Ep~ s=1
b(t, p~, s), b(t, p~ 0 , s0 )† = δss0 δ (3) (~p−~p 0 ), c(t, p~, s), c(t, p~ 0 , s0 )† = δss0 δ (3) (~p−~p 0 ),
{b(t, p~, s), b(t, p~ 0 , s0 )} = 0, {b(t, p~, s), c(t, p~ 0 , s0 )} = 0, {c(t, p~, s), c(t, p~ 0 , s0 )} = 0
Z X2
H = d p Ep~ 3
[b(t, p~, s)† b(t, p~, s) − c(t, p~, s)† c(t, p~, s)]
s=1
– possible since the anti-commutation relations remain unchanged under c(t, p~, s) ↔
c(t, p~, s)† .
Define
d(t, p~, s) = c(t, p~, s)† , d(t, p~, s)† = c(t, p~, s)
Z 2
X
H= 3
d p Ep~ [b(t, p~, s)† b(t, p~, s) + d(t, p~, s)† d(t, p~, s)] + constant
s=1
274
Z 2
m X
r
3
b(t, p~, s) u(~p, s; ~r) + d(t, p~, s)† v(~p, s; ~r)
ψ(t, ~r) = dp
Ep~ s=1
b(t, p~, s), b(t, p~ 0 , s0 )† = δss0 δ (3) (~p−~p 0 ), d(t, p~, s), d(t, p~ 0 , s0 )† = δss0 δ (3) (~p−~p 0 ),
{b(t, p~, s), b(t, p~ 0 , s0 )} = 0, {b(t, p~, s), d(t, p~ 0 , s0 )} = 0, {d(t, p~, s), d(t, p~ 0 , s0 )} = 0
Z 2
X
H= 3
d p Ep~ [b(t, p~, s)† b(t, p~, s) + d(t, p~, s)† d(t, p~, s)]
s=1
Now we have four types of single particle states, all carrying energy Ep~ .
275
32 Quantization of Dirac field
b(t, p~, s), b(t, p~ 0 , s0 )† = δss0 δ (3) (~p−~p 0 ), d(t, p~, s), d(t, p~ 0 , s0 )† = δss0 δ (3) (~p−~p 0 ),
{b(t, p~, s), b(t, p~ 0 , s0 )} = 0, {b(t, p~, s), d(t, p~ 0 , s0 )} = 0, {d(t, p~, s), d(t, p~ 0 , s0 )} = 0
Z 2
X
H= 3
d p Ep~ [b(t, p~, s)† b(t, p~, s) + d(t, p~, s)† d(t, p~, s)]
s=1
Z 2
X
Pi = 3
d p pi [b(t, p~, s)† b(t, p~, s) + d(t, p~, s)† d(t, p~, s)]
s=1
Now we have four types of single particle states, all carrying energy Ep~ and
momentum p~:
276
The Dirac action is invariant under
– has eigenvalue 1 for b(0, p~, s)† |0i and −1 for d(0, p~, s)† |0i
If −e is the electric charge carried by the electron, then we define the electric
charge operator as:
Z 2
X
Q = −e N = −e dp 3
[b(t, p~, s)† b(t, p~, s) − d(t, p~, s)† d(t, p~, s)]
s=1
– has eigenvalue −e for b(0, p~, s)† |0i and e for d(0, p~, s)† |0i
With this interpretation of Q, b(0, p~, s)† |0i describes single electron state and
d(0, p~, s)† |0i describes single positron state.
Ex. Check that the expression for the conserved current J µ is:
J µ = −e ψ̄(x) γ µ ψ(x)
This gives
Z Z
Q(t) = 3 0
d rJ (t, ~r) = −e d3 r ψ(t, ~r)† γ 0 ψ(t, ~r)
277
The remaining problem is to find an interpretation of the label s.
For this we need to study the conserved charges J µν associated with Lorentz
transformation.
278
Recall that in a generic theory with field {φr }, the infinitesimal Lorentz trans-
formation takes the form:
φer (x) = φr (x) + ω µν xν ∂µ φr (x) + ωτ ν Στrsν φs (x), ωµν = −ωνµ
Στrsν are specific constants encoding the Lorentz transformation laws of φr , e.g.
for scalars, Στrsν = 0.
2. Construct J ντ .
4. Show that if we consider the states b(0, p~, s)† |0i for s = 1, 2, then
appropriate linear combinations of the two states describe eigenstates
of J with eigenvalues ±|~p|/2
Similar analysis involving the states d(0, p~, s)† |0i shows that positrons
also have spin 1/2.
279
We shall now define
T (ψα (x1 )ψ̄β (x2 )) = H(t1 − t2 ) ψα (x1 )ψ̄β (x2 ) − H(t2 − t1 ) ψ̄β (x2 ) ψα (x1 )
ans calculate
SF αβ (x1 , x2 ) = h0|T (ψα (x1 )ψ̄β (x2 ))|0i
Recall that ψ̄ = ψ † γ 0 .
280
Recall our definitions:
1 1
u(~p, s; ~r) = 3/2
u(~p, s)ei~p.~r , v(~p, s; ~r) = 3/2
v(~p, s) e−i~p.~r
(2π) (2π)
1 1
⇒ ū(~p, s; ~r) = 3/2
ū(~p, s)e−i~p.~r , v̄(~p, s; ~r) = 3/2
v̄(~p, s) ei~p.~r
(2π) (2π)
Ex. Check that
2 Z
X d3 p m h
SF αβ (x1 , x2 ) = 3
H(t1 − t2 )ei~p.(~r1 −~r2 )−iEp~(t1 −t2 ) uα (~p, s)ūβ (~p, s)
s=1
(2π) Ep~
i
−i~
p.(~r1 −~r2 )+iEp~ (t1 −t2 )
− H(t2 − t1 )e vα (~p, s)v̄β (~p, s)
Define
1
p/ = −ηµν γ µ pν = γ 0 p0 −~γ .~p ⇒ p/ p/ = pµ pν γ µ γ ν = pµ pν (γ µ γ ν +γ ν γ µ ) = −p2
2
Now we shall use some identities:
2
X 1
uα (~p, s)ūβ (~p, s) = (/
p + m)αβ with p0 = Ep~ , (m)αβ = m δαβ
s=1
2m
2
X 1
vα (~p, s)v̄β (~p, s) = p − m)αβ
(/ with p0 = Ep~
s=1
2m
ū(~p, s)u(~p, s ) = δss0 = −v̄(~p, s)v(~p, s0 ),
0
ū(~p, s)v(~p, s0 ) = 0 = v̄(~p, s)u(~p, s0 )
281
d4 p ip.(x1 −x2 ) e
Z
SF (x1 , x2 ) = e SF (p)
(2π)4
i i
SeF (p) = (/
p + m) =
−p2 − m2 + i p/ − m + i
When we draw Feynman diagrams, we represent SF αβ by an arrow pointing
from β to α.
α β
← = SF αβ (x1 , x2 )
x1 x2
α β
← = SeF αβ (p1 ) (2π)4 δ (4) (p1 + p2 )
p1 ← → p2
Rule: If the arrow points from β to α, and the momentum along the arrow is
p, then the factor is SeF αβ (p).
h0|T (ψα (x1 )ψβ (x2 ))|0i = 0, h0|T (ψ̄α (x1 )ψ̄β (x2 ))|0i = 0
282
With the help of the propagator and the usual Feynman rules we can now
calculate general Green’s function of the form:
Gα1 ···αn ;β1 ,···,βn (x1 , · · · , xn , y1 , · · · yn ) = h0|T (ψα1 (x1 ) · · · ψαn (xn )ψ̄β1 (y1 ) · · · ψ̄βn (yn ))|0i
Note that the Green’s function vanishes unless there are equal number of ψ’s
and ψ̄’s
Difference from the theories studies earlier: The ψ’s and ψ̄’s have to be treated
differently.
ψ: external vertex with the property that a propagator connected to the vertex
must have its arrow towards the external vertex.
ψ̄: external vertex with the property that a propagator connected to the vertex
must have its arrow away from the external vertex.
283
Determination of the sign for a given term:
h0|T (ψα1 (x1 ) · · · ψαn (xn )ψ̄β1 (y1 ) · · · ψ̄βn (yn ))|0i
Example:
h0|T (ψα1 (x1 )ψα2 (x2 )ψ̄β1 (y1 )ψ̄β2 (y2 ))|0i = −SF α1 β1 (x1 , y1 )SF α2 β2 (x2 , y2 )+SF α1 β2 (x1 , y2 )SF α2 β1 (x2 , y1 )
Note: To apply this rule, we need to first bring all the ψ’s to the left of all
the ψ̄’s inside the time ordered product, picking up a minus sign for every
exchange.
These rules follow from the usual manipulation involving creation and annihi-
lation operators as in the Klein-Gordon theory, together with the observation
that inside a time ordering, exchange of any pair of fermionic operators pro-
duces a minus sign.
284
33 Quantum electrodynamics
So far we have studied source free Maxwell’s theory describing free photons
and free Dirac theory describing non-interacting electrons and positrons.
285
We can use the propagator of the Dirac field and the electromagnetic field to
calculate Green’s functions of operators made of Aµ , ψ and ψ̄ e.g.
µ
h0|T (ψ̄α (x)γαβ ψβ (x)Aµ (x) ψ̄α0 (y)γαν 0 β 0 ψβ 0 (y)Aν (y))|0i
→ β0
α
x µ ν y
β α0
←
µ ν
−SF β 0 α (y, x)SF βα0 (x, y)γαβ γα0 β 0 Dµν (x, y) = −T r{SF (y, x)γ µ SF (x, y)γ ν } Dµν (x, y)
286
We now have to add extra terms that describe the coupling between the electron
and the photon.
∂µ F µν = −J ν , ∂ν J ν = 0
We shall consider the case where J µ is the current produced by the electrons /
positrons.
J µ (x) = −e ψ̄(x)γ µ ψ(x)
Ex. This can be achieved by adding to the action a new term:
Z
d4 x Aµ J µ
Therefore we have
Z
1
S = d4 x − Fµν F µν + ψ̄(x)(i γ µ ∂µ − m)ψ + Aµ J µ , J µ (x) = −e ψ̄(x)γ µ ψ(x)
4
Note: Even in the presence of the new term in the action, the symmetry under
remains intact
⇒ J µ still satisfies ∂µ J µ = 0.
287
Z
4 1 µν µ µ
S= d x − Fµν F + ψ̄(x)(i γ ∂µ − m)ψ + Aµ J , J µ (x) = −e ψ̄(x)γ µ ψ(x)
4
Write the action as
Z
1
S = d4 x − Fµν F µν + ψ̄(x) {i γ µ (∂µ + i e Aµ ) − m} ψ
4
Ex. Check that the action is invariant under
Dµ ψ(x) → (∂µ +i e Aµ +i e ∂µ Λ)e−ieΛ(x) ψ(x) = e−ieΛ(x) Dµ ψ(x), ψ̄(x)Dµ ψ(x) → ψ̄(x)Dµ ψ(x)
Z
1
S = d4 x − Fµν F µν + ψ̄(x) {i γ µ Dµ − m} ψ
4
remains invariant.
Due to gauge symmetry, the equations of motion still do not fix the time
evolution of the fields uniquely and we need to fix a gauge.
We shall now proceed to analyze this theory using the Routhian formalism.
288
Z
1 1
L= d3 r (∂0 Ai − ∂i A0 )(∂0 Ai − ∂i A0 ) − Fij Fij + ψ̄(x)(i γ µ ∂µ − m)ψ + Aµ J µ
2 4
J µ (x) = −e ψ̄(x)γ µ ψ(x)
We shall treat Ai ’s and ψα ’s in the Hamiltonian formalism and A0 in the La-
grangian formalism.
δL δL
Πi (t, ~r) = = ∂0 Ai − ∂i A0 , Πψα = = i ψα†
δ Ȧi (t, ~r) δ ψ̇α
Z h i
3 ψ
R = d r Πi (t, ~r)Ȧi (t, ~r) + Πα (t, ~r)ψ̇α (t, ~r) − L
Z
1 1
= d3 r Πi (t, ~r)Πi (t, ~r) + Bi (t, ~r)Bi (t, ~r) − A0 ∂i Πi (t, ~r) − Aµ J µ + HD
2 2
where Z
HD = d3 r ψ̄(t, ~r) (−iγ i ∂i + m) ψ(t, ~r)
Bi = ijk ∂j Ak , ⇒ ~ =∇
B ~ ×A
~
289
~ A
We shall use Coulomb gauge ∇. ~ = 0.
Strategy:
pj A
ej (t, p~) pj Π
e j (t, p~)
Ak (t, p~) = i
e , Πk (t, p~) = i
e
|~p| |~p|
The reverse relations are:
2 2
X
(a) (a) pj X
e k (t, p~) pj
e (a) (t, p~) (a) (~p)−i Π
Aj (t, p~) =
e A (t, p~) j (~p)−i Ak (t, p~) , Πj (t, p~) =
e e e Π j
a=1
|~p| a=1
|~p|
290
In these variables
Z
1 1
R = d3 r Πi (t, ~r)Πi (t, ~r) + Bi (t, ~r)Bi (t, ~r) − A0 ∂i Πi (t, ~r) − Aµ J µ + HD
2 2
Z " 2 2
#
1 X X
= d3 p e (a) (t, −~p)Π
Π e (a) (t, p~) + Π e k (t, p~) + p~ 2
e k (t, −~p)Π Ae(a) (t, −~p)Ae(a) (t, p~)
2 a=1 a=1
Z " 2
#
X
− d3 p A e k (t, p~) + Je0 (t, p~)} + A
e0 (t, −~p){|~p| Π ek (t, −~p)Jek (t, p~) + Ae(a) (t, −~p)Je(a) (t, p~) + HD
a=1
{Ai (t, ~r), Πj (t, ~r 0 )}P B = δ (3) (~r−~r 0 ) δij ⇒ {A e j (t, p~ 0 )}P B = δ (3) (~p+~p 0 ) δij
ei (t, p~), Π
~ A
Coulomb gauge condition ∇. ~ = 0 gives
A
ek = 0
291
Z " 2 2
#
1 X X
R= d3 p e (a) (t, −~p)Π
Π e (a) (t, p~) + Π e k (t, p~) + p~ 2
e k (t, −~p)Π e(a) (t, −~p)A
A e(a) (t, p~)
2 a=1 a=1
Z " 2
#
X
− d3 p A e k (t, p~) + Je0 (t, p~)} + A
e0 (t, −~p){|~p| Π ek (t, −~p)Jek (t, p~) + e(a) (t, −~p)Je(a) (t, p~) + HD
A
a=1
e ψα )
(This includes equations of motion for ψeα and Π
292
R = Hf ree + Hint
Z " 2 2
#
1 X X
Hf ree = d3 p e (a) (t, −~p)Π
Π e (a) (t, p~) + p~ 2 e(a) (t, −~p)A
A e(a) (t, p~) + HD
2 a=1 a=1
Z " 2
#
1 1 X
Hint = d3 p 2
Je0 (t, −~p)Je0 (t, p~) − e(a) (t, −~p)Je(a) (t, p~)
A
2 p~ a=1
We can now quantize it and calculate the Green’s functions using perturba-
tion theory following exactly the same procedure as for interacting scalar field
theory.
n m m
!
ē (t00 , ~q ) |Ωi = Numerator
Y Y Y
hΩ|T Ae(ai ) (ti , ~ki ) ψeαj (t0j , p~j ) ψ β` ` `
i=1 j=1
Denominator
`=1
n m m Z !
Y Y Y I
numerator = h0|T e(ai )I (ti , ~ki )
A ψeαI j (t0j , p~j ) ē (t00 , ~q ) exp − dτ H I (τ ) |0i
ψ β` ` ` int
i=1 j=1 `=1
Z
I
denominator = h0|T exp − dτ Hint (τ ) |0i
The matrix elements in the numerator and the denominator are Green’s func-
tions in the free field theory
⇒ Feynman propagators used in perturbation theory are the same as the ones
used in free Maxwell + Dirac theory.
293
R = Hf ree + Hint
Z " 2 2
#
1 X X
Hf ree = d3 p e (a) (t, −~p)Π
Π e (a) (t, p~) + p~ 2 e(a) (t, −~p)A
A e(a) (t, p~) + HD
2 a=1 a=1
Z " 2
#
1 1 e0 X
Hint = d3 p 2
J (t, −~p)Je0 (t, p~) − e(a) (t, −~p)Je(a) (t, p~)
A
2 p~ a=1
In order to avoid dealing with the index a of the gauge fields in the propagator,
we shall write this is a slightly different form.
Introduce the variable Aµ (t, ~r) and its Fourier transform Aeµ (t, p~) as follows:
2
X
Aeµ (t, p~) = η̄µ(a) (t, p~)A(a) (t, p~), η̄ (a) (~p) = (0,~(a) (~p))
a=1
In the interaction picture, the Feynman propagator for AIµ will be the same as
that of Aµ in the free Maxwell theory, given by Dµν (x, y).
294
34 Quantum electrodynamics
2
X
Aeµ (t, p~) = η̄µ(b) (~p)A
e(b) (t, p~), J µ = −e ψ̄(x)γ µ ψ(x)
b=1
Z " 2 2
#
1 X X
Hf ree = d3 p e (a) (t, −~p)Π
Π e (a) (t, p~) + p~ 2 e(a) (t, −~p)A
A e(a) (t, p~) + HD
2 a=1 a=1
Z
1 1
Hint = d3 p 2
Je0 (t, −~p)Je0 (t, p~) − Aeµ (t, −~p)Jeµ (t, p~)
Z 2 p~ Z
1
= − d3 r d3 r0 G(~r, ~r 0 ) J 0 (t, ~r) J 0 (t, ~r 0 ) − d3 r Aµ (t, ~r) J µ (t, ~r)
2
d3 p i~p.(~r−~r 0 ) 1
Z
0 1 1
G(~r, ~r ) = − e = −
(2π)3 p~2 4π |~r − ~r 0 |
From these we can derive the Feynman rules for computing Green’s functions.
Aµ propagator:
d4 p ip.(x−y) e 2
Z
i n.p p µ p ν p
Dµν (x, y) = 4
e Dµν (p), D
e µν (p) = ηµν − 2 (pµ nν + pν nµ ) − 2 + nµ nν 2
(2π) −p2 + i p̄ p~ p̄
Fermion propagator:
d4 p ip.(x1 −x2 ) e
Z
i
SF αβ (x1 , x2 ) = e SF αβ (p), SeF αβ (p) = (/
p+m)αβ
(2π)4 −p2 − m2 + i
First term in Hint gives ψ − ψ − ψ̄ − ψ̄ interaction vertex
295
x, µ y, ν
Dµν (x, y)
x, α y, β
← SF αβ (x, y)
-β µ µ
−i (e γβα )
%α
&x%
α β −i − 21 δ(x0 − y 0 ) G(~x, ~y ) e2 γβα
0
γβ00 α0
α0 β 0
%y &
Now, for every four fermion interaction vertex, we can consider the subdiagram
of the Feynman diagram in which the thick line is replaced by a propagator.
d4 p ip.(x−y) p2 nµ nν d3 p i~p.(~x−~y) nµ nν
Z Z
i 0 0
4
e 2 2
= −i δ(x −y ) 3
e 2
= i δ(x0 −y 0 ) nµ nν G(~x, ~y )
(2π) −p + i p̄ (2π) p~
Therefore the nµ nν term in ∗ becomes
i
− e2 δ(x0 − y 0 ) G(~x, ~y )γβα
0
γβ00 α0
2
– cancels the 4-fermion interaction vertex (Check combinatoric factors)
296
This leads to simpler Feynman rules:
hΩ|T (ψα1 (x1 )ψα2 (x2 )ψ̄β1 (y1 )ψ̄β1 (y1 ))|Ωi
Ex. Write down the momentum space Feynman rules as in the case
of scalar field theory.
297
Given the Green’s functions, we can proceed as in scalar field theory to extract
the physical masses of the particles and the expression for the S-matrix.
Use:
P 0 0
hΩ|T (ψα (x)ψ̄β (y))|Ωi = n hΩ|ψα (x)|ni hn|ψ̄β (y)|Ωi for x > y
− n hΩ|ψ̄β (y)|ni hn|ψα (x)|Ωi for x0 < y 0
P
P
n includes sum over all states but we shall focus on single particle states.
Charge conservation tells us that only the single electron states |~p, si− con-
tribute to the top expression and the single positron states |~p, si+ contribute
to the second expression.
298
hΩ|T (ψα (x)ψ̄β (y))|Ωi = Zψ SF αβ (x, y; mf ) + · · ·
Consider its Fourier transform:
Z
(f )
e (p) = d4 x e−ip.(x−y) hΩ|T (ψα (x)ψ̄β (y))|Ωi
G αβ
e(f ) (p) =
G ← + ← iΣ(p1 ) ← + ← iΣ(p1 ) ← iΣ(p1 ) ←
αβ
e(f ) (p) = i i i i i i i
G + iΣ(p) + iΣ(p) iΣ(p) +· · · =
p/ − m p/ − m p/ − m p/ − m p/ − m p/ − m p/ − m + Σ(p)
Using Lorentz invariance one can argue that the general form of Σ is
Σ(p) = f (p2 )/
p − g(p2 )
for some functions f and g.
This gives
299
p/(1 + f (p2 )) + m + g(p2 )
e(f ) (p) = i
G
−p2 (1 + f (p2 ))2 − (m + g(p2 ))2
The physical mass mf is the location of the pole of Ge(f ) in −p2 variable.
Solutions are:
0-th order : mf = m
etc.
300
Structure of the photon propagator:
hΩ|Aµ (x)|ni hn|Aν (y)|Ωi for x0 > y 0
P
hΩ|T (Aµ (x)Aν (y))|Ωi = n
0 0
P
n hΩ|Aν (y)|ni hn|Aµ (x)|Ωi for x < y
P
n includes sum over all states but we shall focus on single particle states.
Charge conservation tells us that only the single photon states |~p, ci contribute
to this expression.
Furthermore, Lorentz invariance requires that the states are exactly massless
i.e. Ep~ = |~p|.
A massive spin one particle must have three states, not two.
301
Z
eA
Gµν (k) = d4 xe−ik.(x−y) hΩ|T (Aµ (x)Aν (y))|Ωi
e µν (k) + · · ·
= ZA D
Note: This implies that the two point Green’s function of two photons continue
to have pole at k 2 = 0
If we denote by i ΣA
µν (k) the 1PI two point function in momentum space, then,
as a consequence of gauge invariance:
eA
Using this form to calculate G 2
µν (k), one can show that the pole in k remains
at k 2 = 0.
302
35 S-matrix and symmetries of QED
S-matrix of quantum electrodynamics (QED)
– can be analyzed in the same way as in the case of scalar field theory.
e(n,m)
= Γ 0 ;β 0 ,···,β 0 (k1 , · · · , kn ; p1 , · · · , pm ; `1 , · · · , `m )
µ01 ,···,µ0n ;α10 ,···,αm 1 m
n m m
(f ) e(f0 ) (−`s )
Y Y Y
A
× Gµi µ0i (ki )
e Gαj α0 (pj )
e G βs βs
j
i=1 j=1 s=1
α β
- .
-p
%`
- .0
α0 β
Γ
e
µ0
↓k
303
Goal: Calculate the S-matrix
~ ~ ~1 , s1 , · · · , p~n2 , sn2 ; ~`1 , t1 , · · · , ~`n3 , tn3 |~k10 , a01 , · · · , ~km
out hk1 , a1 , · · · , kn1 , an1 ; p
0
1
, a0m1 ; p~10 , s01 , · · · , p~m0 2 , s0m2 ; ~`10 , t01 , · · · , ~`m
0
3
, t0m3 iin
Charge conservation: n2 − n3 = m2 − m3 ⇒ n2 + m3 = m2 + n3
304
Result:
~ ~ ~1 , s1 , · · · , p~n2 , sn2 ; ~`1 , t1 , · · · , ~`n3 , tn3 |~k10 , a01 , · · · , ~km
out hk1 , a1 , · · · , kn1 , an1 ; p
0
1
, a0m1 ; p~10 , s01 , · · · , p~m0 2 , s0m2 ; ~`10 , t01 , · · · , ~`m
0
3
, t0m3 iin
||
The difference from scalar field theory arises from normalization and properties
of the single particle states:
1
Zψ uα (~p, s; mf )eip.x
p
hΩ|ψα (x)|~p, si− =
(2π)3/2
1
Zψ v̄α (~p, s; mf )eip.x
p
hΩ|ψ̄α (x)|~p, si+ =
(2π)3/2
0 Ep~ Ep~
− h~
p, s|~p , s0 i− = δss0 δ (3) (~p − p~ 0 ), p, s|~p 0 , s0 i+ =
+ h~ δss0 δ (3) (~p − p~ 0 )
mf mf
p 1
hΩ|Aµ (x)|~p, ci = ZA η̄µ(c) (~p) eip.x
(2π)3/2
h~p, b|~p 0 , ci = 2Ep~ δbc δ (3) (~p − p~ 0 )
305
Symmetries of QED:
ψ(x)
e = e−i e λ ψ(x), ψ(x)
ē = ei e λ ψ̄(x), A
eµ (x) = Aµ (x)
3. Lorentz transformation:
eµ (x) = Aν (Λx)Λνµ ,
A ΛηΛT = η, ψeα (x) = Sαβ ψβ (Λx)
306
Discrete symmetries:
1. Parity
e0 (t, ~r) = A0 (t, −~r),
A ei (t, ~r) = −Ai (t, −~r),
A ψeα (t, ~r) = Pαβ ψβ (t, −~r)
Goal: Show that for appropriate choice of the matrix P , this transformation
leaves the QED action invariant.
Define ~r 0 = −~r.
Ex. Check that the Maxwell part of the action is manifestly invariant
under this.
We now check the invariance of the mass term in the Dirac action.
Z Z
m 3 ē
dt d r ψ(t, ~r)ψ(t, e ~r)† γ 0 ψ(t,
e ~r) = m dt d3 r ψ(t, e ~r)
Z Z
= m dt d r ψ(t, −~r) P γ P ψ(t, −~r) = m dt d3 r0 ψ(t, ~r 0 )† P † γ 0 P ψ(t, ~r 0 )
3 † † 0
This gives
P †γ 0P = γ 0
Ex. Check that the invariance of the term involving ψ̄γ µ ∂µ ψ gives
P † γ 0 γ i P = −γ 0 γ i , P †P = I
Solution:
P = γ0
307
2. Charge conjugation:
eµ (x) = −Aµ (x)
A
R
Since the action has a term d4 xAµ (x)J µ (x), this means that
The transformation of ψ is such that the sign of the charge gets reversed
ψ(x)
ē e † γ 0 = ψ T (γ 0 )T C † γ 0
= ψ(x)
Invariance of the mass term requires
ψ(x)
ē ψ(x)
e = ψ̄(x)ψ(x) ⇔ ψ T (γ 0 )T C † γ 0 C(γ 0 )T ψ ∗ = ψ † γ 0 ψ = −ψ T (γ 0 )T ψ ∗
Note: The − sign comes from the fact that in the classical limit fields anti-
commute.
Ex. Check that the full QED action is invariant under charge conju-
gation once we choose C satisfying the above conditions.
308
3. Time reversal
ψeα (t, ~r) = Tαβ ψβ (−t, ~r) ⇔ e ~r) = T ψ(−t, ~r)
ψ(t,
e ~r)† = ψ(−t, ~r)† T †
ψ(t,
ē ~r) = ψ(−t, ~r)† T † (γ 0 )∗
ψ(t,
Note: Time reversal complex conjugates all numbers, including γ µ ’s
⇒ T † (γ 0 )∗ T = γ 0
Invariance of the term ∝ i ψ̄γ i ∂i ψ requires:
Z Z
i ∗ e
dt d3 r ψ(x)(−i)(γ
ē ) ∂i ψ(x) = dt d3 r ψ̄(x) iγ i ∂i ψ(x)
Z Z
⇒ 3 † † 0 ∗ i ∗
dt d r ψ(−t, ~r) T (γ ) (−i)(γ ) T ∂i ψ(−t, ~r) = dt d3 r ψ † (t, ~r)γ 0 iγ i ∂i ψ(t, ~r)
⇒ T † (γ 0 )∗ (γ i )∗ T = −γ 0 γ i ⇒ T −1 (γ i )∗ T = −γ i
Invariance of the term ∝ i ψ̄γ 0 ∂0 ψ requires:
Z Z
0 ∗
dtd3 rψ(x)(−i)(γ
ē ) ∂0 ψ(x)
e = dtd3 rψ̄(x) iγ 0 ∂0 ψ(x)
Z Z
⇒ dtd r ψ(−t, ~r) T (γ ) (−i)(γ ) ∂0 T ψ(−t, ~r) = dtd3 r ψ † (t, ~r)γ 0 iγ 0 ∂0 ψ(t, ~r)
3 † † 0 ∗ 0 ∗
Z Z
⇒ dtd3 r ψ(−t, ~r)† T † (γ 0 )∗ (−i)(γ 0 )∗ ∂0 T ψ(−t, ~r) = − dtd3 r ψ † (−t, ~r)γ 0 iγ 0 ∂0 ψ(−t, ~r)
⇒ T † (γ 0 )∗ (γ 0 )∗ T = γ 0 γ 0 ⇒ T †T = I
Ex. Once we choose T satisfying these conditions, QED action is
time reversal invariant if we take
A ei (t, ~r) = −Ai (−t, ~r)
e0 (t, ~r) = A0 (−t, ~r), A
309
Consider γ matrix representation:
σ1 , σ2 , σ3 : Pauli matrices
In this representation:
C † C = I, C † γ µ C = −(γ µ )T ⇒ γ µ C = −C (γ µ )T
C = i γ0 γ2
T † T = I, T −1 (γ i )∗ T = −γ i , T −1 (γ 0 )∗ T = γ 0
⇒ (γ i )∗ T = −T γ i , (γ 0 )∗ T = T γ 0
Ex. Check that the following choice satisfies these equations:
T = iγ 1 γ 3
310
36 Some other quantum field theories
1. Yukawa theory
Feynman rules will now have a single interaction vertex with one scalar and
two fermions, carrying a factor of the coupling constant g.
Green’s function and S-matrix can be calculated following the usual procedure.
311
2. Scalar electrodynamics
Note: Interactions must preserve gauge invariance, e.g. (φ∗ φ)2 is allowed but
not φ3 φ∗ or φ∗3 φ.
312
3. Variation of Dirac theory.
We can impose the condition that the field is invariant under charge conjuga-
tion.
ψ = C ψ̄ T
Ex. Check that both sides transform in the same way under Lorentz
transformation
⇒ if we impose this in one inertial frame, it remains valid in all inertial frames.
313
(b) Weyl fermions:
γ 5ψ = ψ or γ 5 ψ = −ψ
γ 5 ψ = ±ψ ⇒ ψ̄ γ 5 = ∓ψ̄
ψ̄ψ = 0
Proof.
ψ̄ψ = ±ψ̄γ 5 ψ = ±(∓ψ̄ψ) = −ψ̄ψ
Therefore Weyl fermions must be massless, but they can be coupled to Maxwell
field since ψ̄γ µ ψ does not vanish.
314
An example of a theory with global anomalous symmetry:
The theory is consistent since the gauge symmetry is not anomalous, but the
global symmetry described above is not present in the quantum theory.
315
Some general results in quantum field theory (without proof)
1. Spin-Statistics theorem:
– quantize integer spin fields as bosons i.e. commutators of fields vanish outside
the light-cone (space-like separation)
e.g. for scalars we had found the general spectral decomposition formula:
Z ∞
√
hΩ|φ(x1 )φ(x2 )|Ωi = du f (u) ∆+ (x1 , x2 ; u)
0
Therefore
Z ∞ √ √
hΩ|[φ(x1 ), φ(x2 )]|Ωi = du f (u) (∆+ (x1 , x2 ; u) − ∆+ (x2 , x1 ; u))
0
– vanishes outside the light-cone.
But
Z ∞ √ √
hΩ|{φ(x1 ), φ(x2 )}|Ωi = du f (u) (∆+ (x1 , x2 ; u) + ∆+ (x2 , x1 ; u))
0
– does not vanish outside the light-cone.
Similar spectral decomposition for Dirac fermions shows that the anti-commutators
vanish outside the light-cone but the commutators do not vanish outside the
light-cone.
316
2. CPT theorem
e.g. Bjorken and Drell section 15.14 gives a proof for interacting theory of
scalar, Maxwell and Dirac fields.
317
Some final remarks:
At the end the Green’s functions are Lorentz covariant (except in gauge theories
where gauge fixing may make the Green’s function also Lorentz non-invariant
although all physical quantities are Lorentz covariant)
This can be rectified using the path integral approach which gives a manifestly
Lorentz covariant way of calculating the Green’s functions.
However once we have constructed the Green’s function, we have to invoke the
results of canonical formalism to connect the results to physical observables
like the S-matrix.
318