# Document

```1
1 2 2
๐
โKG Free = ๐๐ ๐ ๐ ๐ − ๐ ๐
2
2
Free scalar particle
meaning anything not quadratic in fields.
๏ฆ 3 ( x), ๏ฆ 4 ( x), ๏น ( x)๏ฆ ( x)๏น ( x)
to Klein-Gordon Lagrangian.
These terms will add the following non-linear terms to the KG equation:
3๏ฆ 2 , 4๏ฆ 3 , ๏น ( x)๏น ( x)
Superposition Law is broken by these nonlinear terms.
Travelling waves will interact with each other.
Interaction Hamiltonian:
้ๅญๅๅญธ็ๅๅ
็ๆ
ๆณขๅฝๆธ
๏ (x)
็ฉ็้ๆธฌ้
้็ฎๅญ
Oฬ
ๆๅคๅธๅฐๆ็็ฉ็้ๅฐฑๅฐไฝ็ฝฎ็ฎๅญๅๅ้็ฎๅญไปฃๅฅๅๆจฃ็ๆธๅญธๅฝขๅผ๏ผ
๏ถ ๏ถ
๏ฆ
f ( x, p) ๏ฎ f ๏ง x,๏ญi๏จ ๏ท ๏บ f ( xˆ , pˆ )
๏ถx ๏ธ
๏จ
๏ฅ
ๆธฌ้ๆๆๅผ
Oˆ ๏ฝ ๏ฒ ๏ * ( x) ๏ Oˆ ๏ ( x)dx
๏ญ๏ฅ
็ๆๆณขๅฝๆธๆปฟ่ถณ็ๅ ๅฎๅพ๏ผๅ ๆญคๅฏ่ฆ็บๅ้๏ผ
ๆๆ็็ๆๆณขๅฝๆธๅฝขๆไธๅ็ก้็ถญๅ้็ฉบ้๏ผ็จฑHilbert Spaceใ
็ๆๅฏ่ฆ็บๅ้๏ผๅ ๆญคๅฏไปฅไปฅๆฝ่ฑก็ๅ้็ฌฆ่ไพไปฃ่กจใ
Dirac Notation
็ๆ
ๆธฌ้
Ket
๏ (x)
๏
Bra
๏ * ( x)
๏
็ฎๅญ
Oฬ
ˆ ( x)
O๏
Oฬ ๏
๏ฅ
ๆธฌ้ๆๆๅผ
Oˆ ๏ฝ ๏ฒ ๏ * ( x) ๏ Oˆ ๏ ( x)dx
Oฬ ๏
่
๏
ๅง็ฉ
๏ญ๏ฅ
Oˆ ๏ฝ ๏ Oˆ ๏
ๆธฌ้ๅผ็ขบๅฎ็ๆฌๅพตๆ
Oฬ๏ ๏ฝ o๏
Oฬ ๏ ๏ฝ o ๏
Schrodinger Picture
States evolve with time, but not the operators: ๏ (t )
It is the default choice in wave mechanics.
็ๆ
ๆณขๅฝๆธ
ๆธฌ้
็ฎๅญ
Oฬ
&ouml;
&para;Y &aelig; 2 &para;2
i
= &ccedil;+V(x)&divide; Y = HฬY
2
&para;t &egrave; 2m &para;x
&oslash;
๐
๐ ๐ก
๐๐ก S
๐S ๐ก
Y(x, t) = x Y(t)
๏ถ
xˆ ๏ซ x pˆ ๏ซ ๏ฆ๏ง ๏ญ i๏จ ๏ถ๏ท
๏จ
๏ถx ๏ธ
= −๐๐ป ๐S ๐ก
= ๐ −๐๐ป๐ก ๐S 0
Evolution Operator: the operator to move states from ๐ก = 0 to ๐ก.
In quantum mechanics, only expectation values are observable.
For the same evolving expectation value, we can instead ask operators to evolve.
O ๏ฝ ๏น S (t ) OS ๏น S (t ) ๏ฝ๏ฝ e ๏ญ iHt๏น S (0) OS e ๏ญ iHt๏น S (0)
๏ฝ ๏น S (0) e iHt OS e ๏ญiHt ๏น S (0) ๏ฝ ๏น S (0) O๏จt ๏ฉ ๏น S (0)
We move the time evolution to the operators:
OH ๏จt ๏ฉ ๏ฝ e iHt OS e ๏ญ iHt
Now the states do not evolve.
๏น H ๏ฝ ๏น S (0)
Heisenberg Picture
How does the operator evolve?
d
OH ๏จt ๏ฉ ๏ฝ iH ๏ e iHt OS e ๏ญiHt ๏ญ i ๏ e iHt OS e ๏ญiHt ๏ H
dt
Heisenberg Equation
๏ฝ i๏HOH ๏จt ๏ฉ ๏ญ OH ๏จt ๏ฉH ๏ ๏ฝ i๏H , OH ๏จt ๏ฉ๏
The rate of change of operators equals their commutators with H.
In Schrodinger picture, field operators do not change with time, looking not Lorentz invariant.
Fields operators in Heisenberg Picture are time dependent, more like relativistic classical fields.
For KG field without interaction:
Combine the two equations
๏จ๏ถ
2
๏ฉ
๏ญ m2 ๏ฆ ๏ฝ 0
The field operators in Heisenberg Picture satisfy KG Equation.
The field operators with interaction satisfy the non-linear Euler Equation, for example
๏จ๏ถ
2
๏ฉ
๏ญ m 2 ๏ฆ ๏ซ 3๏ฌ๏ฆ 3 ๏ฝ 0
Interaction picture (Half way between Schrodinger and Heisenberg)
There is a natural separation between free and interaction Hamiltonians:
H ๏ฝ H 0 ๏ซ H int
O ๏ฝ ๏น S (t ) OS ๏น S (t ) ๏ฝ ๏น S (0) e iHt OS e ๏ญ iHt ๏น S (0)
๏จ
๏ฉ
๏ฝ ๏น I (t ) e iH 0t OS e ๏ญiH 0t ๏น I (t ) ๏ฝ ๏น I (t ) OI ๏น I (t )
Move just the free H0 to operators.
OI (t ) ๏ฝ e iH 0t OS e ๏ญ iH 0t
๐I ๐ก
= ๐ ๐๐ป0๐ก ๐S ๐ก
The rest of the evolution, that from the interaction H, stays with the state.
States and Operators both evolve with time in interaction picture:
Evolution of Operators
OI (t ) ๏ฝ e
iH 0t / ๏จ
OS e
๏ญ iH 0t / ๏จ
๐๐I
= ๐ ๐ป0 , ๐I
๐๐ก
Operators evolve just like operators in the Heisenberg picture
but with the full Hamiltonian replaced by the free Hamiltonian
For field operators in the interaction picture:
๐๐I
= ๐ ๐ป0 , ๐I
๐๐ก
Field operators are free, as if there is no interaction!
The Fourier expansion of a free field is still valid.
Evolution of States
๐I ๐ก
๐
๐ ๐ก
๐๐ก I
= ๐๐ป0 ๐I ๐ก
= ๐ ๐๐ป0๐ก ๐S ๐ก
− ๐๐ ๐๐ป0๐ก ๐ป0 + ๐ปint S ๐S ๐ก
= ๐ ๐๐ป0๐ก โ ๐ปint S โ ๐ −๐๐ป0๐ก ๐S ๐ก
๐ปint I = ๐ ๐๐ป0๐ก โ ๐ปint S โ ๐ −๐๐ป0 ๐ก
Hint I is just the interaction Hamiltonian Hint in interaction picture!
๐
๐ ๐ก
๐๐ก I
= −๐๐ปint I ๐I ๐ก
States evolve like in the Schrodinger picture but with full H replaced by Hint I.
That means, the field operators in Hint I are free.
Interaction Picture
Operators evolve just like in the Heisenberg picture but with
the full Hamiltonian replaced by the free Hamiltonian
๐๐I
= ๐ ๐ป0 , ๐I
๐๐ก
States evolve like in the Schrodinger picture but with the full
Hamiltonian replaced by the interaction Hamiltonian.
๐
๐ ๐ก
๐๐ก I
= −๐๐ปint I ๐I ๐ก
The evolution of states in the interaction picture
๐
๐ ๐ก
๐๐ก I
= −๐๐ปint I ๐I ๐ก
Define U the evolution operator of states.
๐I ๐ก
= ๐ ๐ก, ๐ก0 ๐I ๐ก0
All the problems can be answered if we are able to calculate this operator
๐ ๐ก, ๐ก0 ๐ is the state in the future t which evolved from a state ๐ in t0
๐ ∞, −∞ ๐ is the state in the long future which evolves from a
state ๐ in the long past.
The amplitude for ๐ ∞, −∞ ๐ to appear as a state ๐ is their inner product:
๐ โ ๐ ∞, −∞
๐ = ๐ ๐ ∞, −∞ ๐
The amplitude is the corresponding matrix element of the operator ๐ ∞, −∞ .
The transition amplitude for the decay of A: ๐ด → ๐ต + ๐ถ
the amplitude of ๐ต๐ถ in the long future which evolves from ๐ด in the long past.
๐ต๐ถ ๐ ∞, −∞ ๐ด
The transition amplitude for the scattering of A: ๐ด + ๐ด → ๐ต + ๐ต
๐ต๐ต ๐ ∞, −∞ ๐ด๐ด
๐ ≡ ๐ ∞, −∞
S operator is the key object in particle physics!
U has its own equation of motion:
The evolution of states in the interaction picture
๐
๐ ๐ก
๐๐ก I
= −๐๐ปint I ๐I ๐ก
๐ ๐ก, ๐ก0 is the evolution operator of states.
๐I ๐ก
= ๐ ๐ก, ๐ก0 ๐I ๐ก0
Take time derivative on both sides and plug in the first Eq.:
๐
๐ ๐ก
๐๐ก I
=
๐
๐ ๐ก, ๐ก0 ๐I ๐ก0
๐๐ก
๐
๐ ๐ก, ๐ก0 = −๐๐ปI ๐ ๐ก, ๐ก0
๐๐ก
= −๐๐ปI ๐ ๐ก, ๐ก0 ๐I ๐ก0
Perturbation expansion of U and S
๐
๐ ๐ก, ๐ก0 = −๐ ๐ปI โ ๐ ๐ก, ๐ก0
๐๐ก
Solve it by a perturbation expansion in small parameters in HI.
๐ = ๐ (0) + ๐ (1) + โฏ
๐ (0) = 1
๐ (1)
๐
๐ก, ๐ก0 = −๐ ๐ปI โ ๐
๐๐ก
0
๐ก, ๐ก0 = −๐๐ปI ๐ก
๐ก
๐ (1) ๐ก, ๐ก0 = −๐
๐๐ก ′ ๐ปI ๐ก′
๐ก0
∞
๐ (1) ∞, −∞ = ๐ (1) = −๐
๐๐ก′ ๐ปI ๐ก′
−∞
To leading order, S matrix equals
∞
๐ (1) = −๐
∞
๐๐ก ๐ปI ๐ก = −๐
−∞
∞
๐๐ก
−∞
๐ 3 ๐ฅ โI ๐ฅ, ๐ก = ๐
๐ 4 ๐ฅ โI ๐ฅ
−∞
It is Lorentz invariant if the interaction Lagrangian is invariant.
Vertex
In ABC model, every particle corresponds to a field:
A ๏ฎ ๏ฆ A ( x) ๏บ A( x)
Add the following interaction term in the Lagrangian:
โI ๐ฅ = ๐ ๐ด ๐ฅ ๐ต ๐ฅ ๐ถ ๐ฅ
The transition amplitude for A decay: ๐ด ๐1 → ๐ต ๐2 + ๐ถ ๐3 can be computed as :
๐ต๐ถ ๐ ∞, −∞ ๐ด = ๐ต๐ถ ๐ ๐ด
∞
∞
๐4 ๐ฅ โI ๐ฅ = ๐
๐=๐
−∞
๐ต ๐2 ๐ถ ๐3 ๐ ๐ด ๐1
๐4๐ฅ ๐ ๐ด ๐ฅ ๐ต ๐ฅ ๐ถ ๐ฅ
−∞
= ๐ต ๐2 ๐ถ ๐3
๐
∞
4๐ฅ
๐
−∞
๐๐ด ๐ฅ ๐ต ๐ฅ ๐ถ ๐ฅ
๐ด ๐1
&ograve;
d3 p
2w P ( 2p )
aฬ &times; e-ip&times;x + aฬ+p &times; eip&times;x )
3( p
&ograve;
d3 p'
2w P' ( 2p )
&ograve;
(
3
(
bฬp' &times; e-ip'&times;x + bฬp'+ &times; eip'&times;x
d3 p''
2w P'' ( 2p )
3
(cฬ
p''
&times; e-ip''&times;x + cฬ+p'' &times; eip''&times;x )
)
&raquo; ( aฬ+ aฬ+ ) &times; bฬ+ bฬ+ &times; ( cฬ+ cฬ+ )
๐ต ๐2 ๐ถ ๐3
๐
∞
๐4๐ฅ
−∞
aฬp A( p1 ) = 0 &times; d 3 ( p- p1 )
๐๐ด ๐ฅ ๐ต ๐ฅ ๐ถ ๐ฅ
๐ด ๐1
๏ฒ ๏ฉ
BC ๏จ p2 ๏ฉ c p๏ฒ๏ซ2 ๏ฝ B
)
๏ฒ
B๏จ p3 ๏ฉ bˆp๏ฒ๏ซ3 ๏ฝ 0
&ograve;
d3 p
2w P ( 2p )
-ip&times;x
+
ip&times;x
aฬ
&times;
e
+
aฬ
&times;
e
(
)
p
p
3
&ograve;
d3 p'
2w P' ( 2p )
&ograve;
๐ต ๐2 ๐ถ ๐3
๐
∞
4
๐
๐ฅ
−∞
3
(
bฬp' &times; e-ip'&times;x + bฬp'+ &times; eip'&times;x
d3 p''
2w P'' ( 2p )
๐๐ด ๐ฅ ๐ต ๐ฅ ๐ถ ๐ฅ
3
)
(cฬ
-ip''&times;x
+
ip''&times;x
&times;
e
+
cฬ
&times;
e
)
p''
p''
๐ด ๐1
+
bฬ+p2 cฬ p3
aฬp1
The remaining numerical factor is:
B
C
ig
A
Momentum Conservation
For a toy ABC model
Three scalar particle with masses mA, mB ,mC
pi
1
External Lines
qi
i
q 2j ๏ญ m 2j ๏ซ i๏ฅ
Internal Lines
Lines for each kind of particle with appropriate masses.
C
k2
Vertex
A
k1
-ig
k3
๏จ2๏ฐ ๏ฉ4 ๏ค 4 ๏จk1 ๏ซ k2 ๏ซ k3 ๏ฉ
B
The configuration of the vertex determine the interaction of the model.
A
๏ฆ ๏ป a ๏ซ a๏ซ
โI ๐ฅ = ๐ ๐ด ๐ฅ ๐ต ๐ฅ ๐ถ ๐ฅ
๏ฆ ๏ปa๏ซa C
๏ซ
interaction Lagrangian
B
๏ฆ ๏ป a ๏ซ a๏ซ
vertex
Every field operator in the interaction corresponds to one leg in the vertex.
Every field is a linear combination of a and a+
๏ป a ๏ซ a๏ซ
Every leg of a vertex can either annihilate or create a particle!
This diagram is actually the combination of 8 diagrams!
A
โI ๐ฅ = ๐ ๐ด ๐ฅ ๐ต ๐ฅ ๐ถ ๐ฅ
∞
๐4๐ฅ ๐ ๐ด ๐ฅ ๐ต ๐ฅ ๐ถ ๐ฅ
๐
−∞
Interaction Lagrangian
B
C
vertex
The Interaction Lagrangian is integrated over the whole spacetime.
Interaction could happen anywhere anytime.
The amplitudes at various spacetime need to be added up.
The integration yields a momentum conservation.
In momentum space, the factor for a vertex is simply a constant.
โI = ๐๐ 4
๏ป a ๏ซ a๏ซ
Interaction Lagrangian
Vertex
Every field operator in the interaction corresponds to one leg in the vertex.
Every leg of a vertex can either annihilate or create a particle!
Propagator
Solve the evolution operator to the second order.
d
U(t, t0 ) =- i H I &times;U(t, t0 )
dt
t
dU (2) (t, t0 )
(1)
= -i H I (t)&times;U (t, t0 ) = -H I (t)&times; &ograve; dt ' [ H I (t ')]
dt
t0
HI is first order.
t ''
&eacute;
&ugrave;
U (t, t0 ) = - &ograve; dt ''&ecirc; H I (t '') &ograve; dt ' [ H I (t ')]&uacute;
&ecirc;&euml;
&uacute;&ucirc;
t0
t0
t
(2)
The integration of two identical interaction Hamiltonian HI.
The first HI is always later than the second HI
t ''
&eacute;
&ugrave;
U (t, t0 ) = - &ograve; dt ''&ecirc; H I (t '') &ograve; dt ' [ H I (t ')]&uacute;
&ecirc;&euml;
&uacute;&ucirc;
t0
t0
t
(2)
The integration of two identical interaction Hamiltonian HI.
The first HI is always later than the second HI
t’ and t’’ are just dummy notations and can be exchanged.
t ''
t'
&eacute;
&ugrave; t &eacute;
&ugrave;&uuml;&iuml;
1 &igrave;&iuml; t
U (t, t0 ) = - &iacute; &ograve; dt ''&ecirc; H I (t '') &ograve; dt ' [ H I (t ')]&uacute; + &ograve; dt '&ecirc;H I (t ') &ograve; dt '' [ H I (t '')]&uacute;&yacute;
2 &iuml;&icirc; t0
&ecirc;&euml;
&uacute;&ucirc; t0 &ecirc;&euml;
&uacute;&ucirc;&iuml;&thorn;
t0
t0
(2)
t’’
t ''
t
t'
&uuml;&iuml;
1 &igrave;&iuml; t
= - &iacute; &ograve; dt '' &ograve; dt ' [ H I (t '')&times; H I (t ')] + &ograve; dt ' &ograve; dt '' [ H I (t ')&times; H I (t '')]&yacute;
2 &iuml;&icirc; t0
&iuml;&thorn;
t0
t0
t0
We are integrating over the whole square but always
keep the first H later in time than the second H.
t’
1 t
U (t, t0 ) = - &times; &ograve; dt ''
2 t0
(2)
t
&ograve; dt ' T [ H (t '') H (t ')]
I
I
t0
T ( A(t1 ) B(t 2 )) ๏ฝ ๏ฑ (t1 ๏ญ t 2 ) A(t1 ) B(t 2 ) ๏ซ ๏ฑ (t 2 ๏ญ t1 )B(t 2 ) A(t1 )
t
1
U (2) (t, t0 ) = - &times; &ograve; dt ''
2 t0
t’’
t
&ograve; dt ' T [ H (t '') H (t ')]
I
I
t0
T ( A(t1 ) B(t 2 )) ๏ฝ ๏ฑ (t1 ๏ญ t 2 ) A(t1 ) B(t 2 ) ๏ซ ๏ฑ (t 2 ๏ญ t1 )B(t 2 ) A(t1 )
This definition is Lorentz invariant!
t’
1
S(2) = U (2) (&yen;,-&yen;) = - &times; &ograve; d4 x1 d 4 x2 T [ LI (x1 ) LI (x2 )]
2
This notation is so powerful, the whole series of
operator U can be explicitly written:
(n)
U (t, t0
-i )
(
)=
n!
n
t
&times; &ograve; dt1 dt2
dtn T [ H I (t1 ) H I (t2 )
H I (tn )]
t0
The whole series can be summed into an exponential:
&igrave;&iuml; &eacute; t
&ugrave;&uuml;&iuml;
U(t, t0 ) = T &iacute;exp &ecirc;-i &ograve; dt ' H I (t ')&uacute;&yacute;
&uacute;&ucirc;&iuml;&thorn;
&iuml;&icirc; &ecirc;&euml; t0
1
S = U (&yen;, -&yen;) = - &times; &ograve; d4 x1 d 4 x2 T [ LI (x1 ) LI (x2 )]
2
Amplitude for scattering A ๏ซ A ๏ฎ B ๏ซ B
(2)
(2)
B(p3 )B(p4 ) S A(p1 )A(p2 )
= B(p3 )B(p4 )
&ograve; d x d x T [ gA(x ) B(x ) C(x ) &times; g A(x ) B(x ) C(x )] A(p )A(p )
4
4
1
2
1
1
1
2
2
2
1
2
๏ฝ ๏ฒ d 4 x1 d 4 x2 e ๏ญi ( p1 ๏ญ p3 ) x2 e ๏ญi ( p2 ๏ญ p4 ) x1 ๏ 0 T ๏ C ( x1 ) C ( x2 )๏ 0
Fourier Transformation
Propagator between x1 and x2
p1-p3 pour into C at x2 p2-p4 pour into C at x1
t1 ๏พ t2
๏จ
0 T ๏C( x1 ) ๏ C( x2 ) ๏ 0 ๏ฝ 0 C( x1 ) ๏ C( x2 ) 0 ๏ป 0 a ๏ซ a ๏ซ
๏ฉ ๏ ๏จa ๏ซ a ๏ฉ
๏ซ
x1
A particle is created at x2 and later annihilated at x1.
B(p4)
B(p3)
B(p3)
B(p4)
x1
x2
A(p1)
C(p1-p3)
C
A(p2)
A(p1)
A(p2)
x2
0
t1 ๏ผ t2
๏จ
0 T ๏C( x1 ) ๏ C( x2 ) ๏ 0 ๏ฝ 0 C( x2 ) ๏ C( x1 ) 0 ๏ป 0 a ๏ซ a ๏ซ
๏ฉ ๏ ๏จa ๏ซ a ๏ฉ
๏ซ
x2
A particle is created at x1 and later annihilated at x2.
B(p4)
B(p3)
B(p4)
B(p3)
x2
B(p4)
x1
C
A(p1)
B(p3)
x1
A(p2)
x2
A(p1)
C(p1-p3)
C
A(p2)
A(p1)
A(p2)
x1
0
B(p3 )B(p4 ) S A(p1 )A(p2 ) = -g2 &ograve; d4 x1 d4 x2 e-i ( p4 -p2 )x1 e
-i ( p3 -p1) x2
B(p4)
B(p3)
B(p4)
B(p3)
x2
B(p4)
x1
C
A(p1)
B(p3)
0 T [ C(x1 ) C(x2 )] 0
x1
A(p2)
x2
A(p1)
C(p1-p3)
C
A(p2)
A(p1)
A(p2)
This construction ensures causality of the process. It is actually the
sum of two possible but exclusive processes.
Again every Interaction is integrated over the whole spacetime.
Interaction could happen anywhere anytime and amplitudes
need superposition.
This propagator looks reasonable in coordinate space but
difficult to calculate and the formula is cumbersome.
0 T ๏ ๏ฆ ( x) ๏ฆ ( y ) ๏ 0
0 T ๏ ๏ฆ ( x) ๏ฆ ( y ) ๏ 0
0 T ๏ ๏ฆ ( x) ๏ฆ ( y ) ๏ 0
0 T ๏ ๏ฆ ( x) ๏ฆ ( y ) ๏ 0
This doesn’t look explicitly Lorentz invariant.
But by definition it should be!
So an even more useful form is obtained by extending the
integration to 4-momentum. And in the momentum space,
it becomes extremely simple:
The Fourier Transform of the propagator is simple.
4
4
-i ( p4 -p2 )x1
d
x
d
x
e
e
&ograve; 1 2
-i ( p3 -p1 ) x2
0 T [ C(x1 ) C(x2 )] 0 =
B(p4)
B(p3)
B(p4)
B(p3)
x2
4
d
(p4 - p2 + p3 - p1 )
2
( p1 - p3 ) - mC
2
B(p3)
B(p4)
x1
C
A(p1)
i
x1
A(p2)
x2
A(p1)
C(p1-p3)
C
A(p2)
A(p1)
A(p2)
0 T ๏ ๏ฆ ( x) ๏ฆ ( y ) ๏ 0
x0 ๏พ y0
y0 &gt; x0
iw k ( x0 - y0 )
-ik ( y- x)
0 T ๏ ๏ฆ ( x) ๏ฆ ( y ) ๏ 0
B(p4)
B(p3)
B(p4)
B(p3)
x2
B(p4)
x1
C
A(p1)
B(p3)
x1
A(p2)
x2
A(p1)
C(p1-p3)
C
A(p2)
A(p1)
A(p2)
For a toy ABC model
qi
Internal Lines
i
q 2j ๏ญ m 2j ๏ซ i๏ฅ
Lines for each kind of particle with appropriate masses.
1
S(2) = U (2) (&yen;, -&yen;) = - &times; &ograve; d4 x1 d 4 x2 T [ LI (x1 ) LI (x2 )]
2
Amplitude for scattering A ๏ซ A ๏ฎ B ๏ซ B
B(p3 )B(p4 ) S A(p1 )A(p2 )
= B(p3 )B(p4 )
4
4
d
x
d
&ograve; 1 x2 T [ gA(x1 ) B(x1 ) C(x1 ) &times; g A(x2 ) B(x2 ) C(x2 )] A(p1 )A(p2 )
๏ฝ ๏ฒ d 4 x1 d 4 x2 e ๏ญi ( p1 ๏ญ p3 ) x2 e ๏ญi ( p2 ๏ญ p4 ) x1 ๏ 0 T ๏ C ( x1 ) C ( x2 )๏ 0
๏ป a ๏ซ a๏ซ
๏ป a ๏ซ a๏ซ
๏ป a ๏ซ a๏ซ
๏
๏
๏
Every field either couple with another field to form a propagator or
annihilate (create) external particles!
Otherwise the amplitude will vanish when a operators hit vacuum!
For a toy ABC model
Three scalar particle with masses mA, mB ,mC
pi
1
External Lines
qi
i
q 2j ๏ญ m 2j ๏ซ i๏ฅ
Internal Lines
Lines for each kind of particle with appropriate masses.
C
k2
Vertex
A
k1
-ig
k3
๏จ2๏ฐ ๏ฉ4 ๏ค 4 ๏จk1 ๏ซ k2 ๏ซ k3 ๏ฉ
B
The configuration of the vertex determine the interaction of the model.
Scalar Antiparticle
Assuming that the field operator is a complex number field.
L0 = &para;m F+&para;m F - m2F+F
๏ฒ
d3p
๏( x) ๏ฝ ๏ฒ
(2๏ฐ ) 3
1
2๏ท
๏a e
๏ญipx
p
๏ซ b p๏ซ e ipx
๏
The creation operator b+ in a complex KG field can create a different particle!
H=
P=
Q=
&ograve;
d3 p
(2p )3
&ograve;
d3 p
+
+
p&times;
a
a
+
b
b
(
p p
p p)
(2p )3
&ograve;
d3 p
+
+
a
a
b
b
(
p p
p p)
(2p )3
p + m2 &times; ( apa+p + bpbp+ )
2
The particle b+ create has the same mass but opposite charge.
b+ create an antiparticle.
๏ฒ
d3p
๏( x) ๏ฝ ๏ฒ
(2๏ฐ ) 3
1
2๏ท
๏a e
๏ญipx
p
๏ซ b p๏ซ e ipx
๏
Complex KG field can either annihilate a particle or create an antiparticle!
๏ฒ
d3p
๏ ( x) ๏ฝ ๏ฒ
(2๏ฐ ) 3
๏ซ
1
2๏ท
๏b e
p
๏ญipx
๏ซ a ๏ซp e ipx
๏
Its conjugate either annihilate an antiparticle or create a particle!
The charge difference a field operator generates is always the same!
So we can add an arrow of the charge flow to every leg that corresponds
to a field operator in the vertex.
LI = gF3 + gF+3
๏ฒ
d3p
๏( x) ๏ฝ ๏ฒ
(2๏ฐ ) 3
1
2๏ท
๏a e
p
๏ญipx
๏ซ
p
๏ซb e
ipx
incoming particle or
outgoing antiparticle
๏
๏ฒ
d3p
๏ ( x) ๏ฝ ๏ฒ
(2๏ฐ ) 3
๏ซ
1
2๏ท
๏b e
p
๏ญipx
๏ซ a ๏ซp e ipx
incoming antiparticle or
outgoing particle
charge non-conserving interaction
๏
LI = l &times; (F F)
+
2
incoming antiparticle or
outgoing particle
incoming particle or
outgoing antiparticle
charge conserving interaction
f &raquo; c+ c+
LI = gf Y*Y
Y &raquo; b+ a+
incoming antiparticle or
outgoing particle
Y &raquo; a+ b+
incoming particle or
outgoing antiparticle
Y &raquo; a+ b+ can either annihilate a particle or create an antiparticle!
Y &raquo; b+ a+ can either annihilate an antiparticle or create a particle!
U(1) Abelian Symmetry
L0 = &para;m F+&para;m F - m2F+F
The Lagrangian is invariant under the field phase transformation
๏( x) ๏ฎ e ๏ญiQ๏ฑ ๏( x)
๏ ๏ซ ๏ ๏ฎ ๏ ๏ซ ๏ eiQ๏ฑ ๏ e๏ญiQ๏ฑ ๏ ๏(x) ๏ฝ ๏ ๏ซ ๏
LI = l &times; (F F)
+
2
LI = gF3 + gF+3
invariant
is not invariant
U(1) symmetric interactions correspond to charge conserving vertices.
If A,B,C become complex, they all carry charges!
C
The interaction is invariant only if QA ๏ซ QB ๏ซ QC ๏ฝ 0
The vertex is charge conserving.
A
B
Propagator:
๏
๏
0 T ๏ ๏ซ ( x1 ) ๏( x2 ) 0
t1 ๏พ t2
๏
๏
๏จ
0 T ๏๏ซ ( x1 ) ๏ ๏( x2 ) 0 ๏ฝ 0 ๏( x1 ) ๏ ๏( x2 ) 0 ๏ป 0 b ๏ซ a ๏ซ
๏ฉ ๏ ๏จa ๏ซ b ๏ฉ
An antiparticle is created at x2 and later annihilated at x1.
B(p4)
B(p3)
B(p3)
B(p4)
x1
x2
A(p1)
C(p1-p3)
C
A(p2)
A(p1)
A(p2)
๏ซ
x1
x2
0
t1 ๏ผ t2
๏
๏
๏จ
0 T ๏๏ซ ( x1 ) ๏ ๏( x2 ) 0 ๏ฝ 0 ๏( x2 ) ๏ ๏๏ซ ( x1 ) 0 ๏ป 0 a ๏ซ b๏ซ
๏ฉ ๏ ๏จb ๏ซ a ๏ฉ
๏ซ
x2
A particle is created at x1 and later annihilated at x2.
B(p4)
B(p3)
B(p4)
B(p3)
x2
B(p4)
x1
C
A(p1)
B(p3)
x1
A(p2)
x2
A(p1)
C(p1-p3)
C
A(p2)
A(p1)
A(p2)
x1
0
๏
๏
๏ญipx1 ๏ญiqx2
4
4
๏ซ
d
x
d
x
e
e
0
T
๏
( x1 ) ๏( x2 ) 0 ๏ฝ
๏ฒ 1 2
B(p4)
B(p3)
B(p4)
B(p3)
x2
B(p3)
B(p4)
x1
C
A(p1)
i
4
๏ค
( p ๏ญ q)
2
2
q ๏ญ mC
x1
A(p2)
x2
A(p1)
C(p1-p3)
C
A(p2)
A(p1)
A(p2)
LI = l &times; B( A+ A)
B(p4)
B(p3)
B(p4)
B(p3)
x2
x1
C
A(p1)
x1
A(p2)
x2
A(p1)
B(p3)
B(p4)
B( A+ A)
B( A+ A)
C(p1-p3)
C
A(p2)
A(p1)
A(p2)
For a toy charged AAB model
Three scalar charged particle with masses mA, mB
pi
1
External Lines
qi
i
q 2j ๏ญ m 2j ๏ซ i๏ฅ
Internal Lines
Lines for each kind of particle with appropriate masses.
B
k2
Vertex
-iλ
๏จ2๏ฐ ๏ฉ4 ๏ค 4 ๏จk1 ๏ซ k2 ๏ซ k3 ๏ฉ
A
A
k1
k3
Dirac field and Lagrangian
The Dirac wavefunction is actually a field, though unobservable!
Dirac eq. can be derived from the following Lagrangian.
๏คL ๏ฝ ๏ค๏น ๏
๏๏จ
๏ฉ๏ ๏ ๏จ
๏ฉ๏
๏ถL ๏ถL
๏ซ
๏ ๏ค๏น ๏ฝ ๏ค๏น ๏ i๏ง ๏ญ ๏ถ ๏ญ ๏ญ m ๏น ๏ซ ๏น ๏ญ i๏ง ๏ญ ๏ถ ๏ญ ๏ญ m ๏ ๏ค๏น
๏ถ๏น ๏ถ๏น
๏จi๏ง
๏ญ
๏ฉ
๏จ
๏ฉ
๏ถ ๏ญ ๏ญ m ๏น ๏ฝ 0 ๏ป ๏น ๏ญ i๏ง ๏ญ ๏ถ ๏ญ ๏ญ m ๏ฝ 0
๏จi๏ง
๏ญ
๏ฉ
๏จ
๏ฉ
๏ถ ๏ญ ๏ญ m ๏น ๏ฝ 0 ๏น ๏ญ i๏ง ๏ญ ๏ถ ๏ญ ๏ญ m ๏ฝ 0
Negative energy!
Anti-commutator!
A creation operator!
~
~
b ๏ฎ b, b ๏ซ ๏ฎ b ๏ซ
b annihilate an antiparticle!
๏ปa , a ๏ฝ๏ฝ 0 ๏ฝ a a
๏ซ
๏ฒ
p
๏ซ
๏ฒ
p
a ๏ซp๏ฒ a ๏ซp๏ฒ ๏ฝ 0
๏ฒ
a p ๏ฝ0
๏ซ
๏ฒ
p
Exclusion Principle
๏ซ
๏ฒ
p
๏ซ
๏ฒ
p
๏ซ
๏ฒ
p
๏ซa a
๏ซ
๏ฒ
p
LI ๏ฝ g๏ฆ๏น ๏น
๏น ๏ป a ๏ซ b๏ซ
๏น ๏ป b ๏ซ a๏ซ
External line
When Dirac operators annihilate states, they leave behind a u or v !
๏น ( x) ๏ฝ ๏ฅ ๏จa ๏ u ๏ e ๏ญipx ๏ซ b ๏ซ ๏ v ๏ eipx ๏ฉ
e ๏ญ ( p1 )
๏ฒ
p
๏ฒ
๏ฒ ๏ฒ
3
a p๏ฒ ' p ๏ฝ 2๏ท p ๏ ๏จ2๏ฐ ๏ฉ ๏ค ๏จ p ๏ญ p'๏ฉ ๏ 0
Feynman Rules for an incoming particle
๏น ( x) ๏ฝ ๏ฅ ๏จb ๏ v ๏ e ๏ญipx ๏ซ a ๏ซ ๏ u ๏ eipx ๏ฉ
๏ฒ
p
u p1 0
e ๏ซ ( p1 )
v p1 0
Feynman Rules for an incoming antiparticle
A๏ญ ( x) ๏ป a ๏ ๏ฅ ๏ญ ๏ซ a ๏ซ ๏ ๏ฅ ๏ญ
LI ๏ฝ gA๏ญ๏น ๏ง ๏ญ๏น
๏ฅ๏ญ
g ๏๏ง ๏ญ
๏น ๏ป b ๏ซ a๏ซ
u p2
๏น ๏ป a ๏ซ b๏ซ
u p1
```