now add interactions :
DESCRIPTION
Free scalar particle. Now add interactions :. meaning anything not quadratic in fields. For example, we can add. to Klein-Gordon Lagrangian . . These terms will add the following non-linear terms to the KG equation:. Superposition Law is broken by these nonlinear terms. . - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/1.jpg)
Now add interactions:
For example, we can add
)()()(),(),( 43 xxxxx to Klein-Gordon Lagrangian.
These terms will add the following non-linear terms to the KG equation:
meaning anything not quadratic in fields.
ℒKG Free=12 (𝜕𝜇𝜙 ) (𝜕𝜇𝜙 ) − 1
2𝑚2𝜙2
)()(,4,3 32 xx
Interaction Hamiltonian:
Superposition Law is broken by these nonlinear terms.
Travelling waves will interact with each other.
Free scalar particle
![Page 2: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/2.jpg)
狀態 波函數物理量測量 運算子
)(x
O
dxxOxO )(ˆ)(ˆ *測量期望值
)ˆ,ˆ(,),( pxfx
ixfpxf
有古典對應的物理量就將位置算子及動量算子代入同樣的數學形式:
量子力學的原則
狀態波函數滿足疊加定律,因此可視為向量,所有的狀態波函數形成一個無限維向量空間,稱 Hilbert Space。
![Page 3: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/3.jpg)
狀態 Ket
測量 算子
O
dxxOxO )(ˆ)(ˆ *測量期望值
)(x
Bra
)(* x
Dirac Notation
)(ˆ xO O
O 與 內積
OO ˆˆ
狀態可視為向量,因此可以以抽象的向量符號來代表。
oO oO測量值確定的本徵態
![Page 4: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/4.jpg)
Schrodinger Picture
Evolution Operator: the operator to move states from to .
States evolve with time, but not the operators:It is the default choice in wave mechanics.
狀態 波函數測量 算子 O
x
ip ˆxx ˆ
)(t
|𝜓 S (𝑡 ) ⟩ =𝑒−𝑖 𝐻 𝑡|𝜓 S (0 ) ⟩
𝑑𝑑𝑡 |𝜓 S (𝑡 ) ⟩ =−𝑖𝐻|𝜓 S (𝑡 ) ⟩
![Page 5: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/5.jpg)
Heisenberg Picture
We move the time evolution to the operators:
Heisenberg Equation
For the same evolving expectation value, we can instead ask operators to evolve.
Now the states do not evolve.
In quantum mechanics, only expectation values are observable.
The rate of change of operators equals their commutators with H.
How does the operator evolve?
)0()0()0()0(
)0()0()()(
SSSiHt
SiHt
S
SiHt
SSiHt
SSS
tOeOe
eOetOtO
)0(SH
iHtS
iHtH eOetO
tOHiHtOtHOi
HeOeieOeiHtOdtd
HHH
iHtS
iHtiHtS
iHtH
,
![Page 6: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/6.jpg)
Fields operators in Heisenberg Picture are time dependent, more like relativistic classical fields.
In Schrodinger picture, field operators do not change with time, looking not Lorentz invariant.
For KG field without interaction:
![Page 7: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/7.jpg)
Combine the two equations
The field operators in Heisenberg Picture satisfy KG Equation.
The field operators with interaction satisfy the non-linear Euler Equation, for example
03 322 m
022 m
![Page 8: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/8.jpg)
)()()()(
)0()0()()(00 tOtteOet
eOetOtO
IIIItiH
StiH
I
SiHt
SiHt
SSSS
int0 HHH
Interaction picture (Half way between Schrodinger and Heisenberg)
tiHS
tiHI eOetO 00)(
States and Operators both evolve with time in interaction picture:
Move just the free H0 to operators.
There is a natural separation between free and interaction Hamiltonians:
The rest of the evolution, that from the interaction H, stays with the state.
|𝜓 I (𝑡 ) ⟩ =𝑒𝑖 𝐻0 𝑡|𝜓 S (𝑡 ) ⟩
![Page 9: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/9.jpg)
// 00)( tiHS
tiHI eOetO
Evolution of Operators
Operators evolve just like operators in the Heisenberg picture but with the full Hamiltonian replaced by the free Hamiltonian
Field operators are free, as if there is no interaction!
For field operators in the interaction picture:
The Fourier expansion of a free field is still valid.
𝑑𝜙 I
𝑑𝑡 =𝑖 [𝐻 0 ,𝜙 I ]
𝑑𝑂I
𝑑𝑡 =𝑖 [𝐻0 ,𝑂I ]
![Page 10: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/10.jpg)
Evolution of States
States evolve like in the Schrodinger picture but with full H replaced by Hint I.
Hint I is just the interaction Hamiltonian Hint in interaction picture!
That means, the field operators in Hint I are free.
|𝜓 I (𝑡 ) ⟩ =𝑒𝑖 𝐻0𝑡|𝜓 S (𝑡 ) ⟩𝑑𝑑𝑡 |𝜓 I (𝑡 ) ⟩ =𝑖𝐻0|𝜓 I (𝑡 ) ⟩ −𝑖𝑒𝑖𝐻 0𝑡 (𝐻0+𝐻 S )|𝜓S (𝑡 ) ⟩ =𝑒𝑖 𝐻0𝑡 ∙𝐻 S ∙𝑒− 𝑖𝐻 0𝑡|𝜓 S (𝑡 ) ⟩
𝐻 I =𝑒𝑖𝐻 0 𝑡 ∙𝐻S ∙𝑒−𝑖 𝐻0𝑡
𝑑𝑑𝑡 |𝜓 I (𝑡 ) ⟩ =−𝑖 𝐻I|𝜓 I (𝑡 ) ⟩
![Page 11: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/11.jpg)
Operators evolve just like in the Heisenberg picture but with the full Hamiltonian replaced by the free Hamiltonian
States evolve like in the Schrodinger picture but with the full Hamiltonian replaced by the interaction Hamiltonian.
Interaction Picture
𝑑𝑑𝑡 |𝜓 I (𝑡 ) ⟩ =−𝑖 𝐻 I|𝜓 I (𝑡 ) ⟩
𝑑𝜙 I
𝑑𝑡 =𝑖 [𝐻 0 ,𝜙 I ]
![Page 12: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/12.jpg)
All the problems can be answered if we are able to calculate this operator
Define U the evolution operator of states.
The evolution of states in the interaction picture
𝑑𝑑𝑡 |𝜓 I (𝑡 ) ⟩ =−𝑖 𝐻 I|𝜓 I (𝑡 ) ⟩
|𝜓 I (𝑡 ) ⟩ =𝑈 (𝑡 , 𝑡0 )|𝜓 I (𝑡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.
![Page 13: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/13.jpg)
The transition amplitude for the scattering of A:
The transition amplitude for the decay of A:
𝑆≡𝑈 ( ∞,− ∞ ) S operator is the key object in particle physics!
⟨ 𝐵𝐶|𝑈 (∞ ,− ∞ )|𝐴 ⟩the amplitude of in the long future which evolves from the long past.
⟨ 𝐵𝐵|𝑈 (∞ ,−∞ )|𝐴𝐴 ⟩
![Page 14: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/14.jpg)
is the evolution operator of states.
Take time derivative on both sides and plug in the first Eq.:
U has its own equation of motion:
The evolution of states in the interaction picture𝑑𝑑𝑡 |𝜓 I (𝑡 ) ⟩ =−𝑖 𝐻 I|𝜓 I (𝑡 ) ⟩
|𝜓 I (𝑡 ) ⟩ =𝑈 (𝑡 , 𝑡0 )|𝜓 I (𝑡0 ) ⟩
𝑑𝑑𝑡 |𝜓 I (𝑡 ) ⟩ = 𝑑
𝑑𝑡 (𝑈 (𝑡 , 𝑡0 )|𝜓 I (𝑡0 )⟩ )=− 𝑖 𝐻 I (𝑈 (𝑡 , 𝑡0 )|𝜓 I (𝑡0 ) ⟩ )
𝑑𝑑𝑡 𝑈 (𝑡 , 𝑡0 )=− 𝑖𝐻 I𝑈 (𝑡 , 𝑡0 )
![Page 15: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/15.jpg)
Solve it by a perturbation expansion in small parameters in HI.
To leading order:
Perturbation expansion of U and S
𝑈 (1) ( ∞, − ∞ )=𝑆(1)=−𝑖− ∞
∞
𝑑𝑡 ′ 𝐻 I (𝑡 ′ )
𝑑𝑑𝑡 𝑈 (𝑡 , 𝑡0 )=− 𝑖𝐻 I ∙𝑈 (𝑡 ,𝑡 0 )
𝑑𝑑𝑡 𝑈
(1 )( 𝑡 ,𝑡 0 )=−𝑖 𝐻 I ∙𝑈 ( 0) (𝑡 , 𝑡 0 )=−𝑖 𝐻 I (𝑡 )
𝑈 (1) (𝑡 ,𝑡 0 )=−𝑖𝑡0
𝑡
𝑑𝑡′ 𝐻 I (𝑡 ′ )
𝑈=𝑈 (0)+𝑈 (1)+⋯𝑈 (0 )=1
![Page 16: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/16.jpg)
To leading order, S matrix equals
It is Lorentz invariant if the interaction Lagrangian is invariant.
𝑆(1)=−𝑖− ∞
∞
𝑑𝑡 𝐻 I (𝑡 )=− 𝑖− ∞
∞
𝑑𝑡𝑑3 ��ℋ I ( �� , 𝑡 )=𝑖−∞
∞
𝑑4 𝑥ℒI (𝑥 )
![Page 17: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/17.jpg)
Vertex
Add the following interaction term in the Lagrangian:
The transition amplitude for A decay: can be computed as :
To leading order:
In ABC model, every particle corresponds to a field:
)()( xAxA A
𝑆=𝑖− ∞
∞
𝑑4𝑥ℒ I (𝑥 )=𝑖− ∞
∞
𝑑4𝑥 𝑔 𝐴 (𝑥 )𝐵 (𝑥 )𝐶 (𝑥 )
ℒI (𝑥 )=𝑔 𝐴 (𝑥 )𝐵 (𝑥 )𝐶 (𝑥 )
⟨𝐵 ( ��2 )𝐶 (��3 )|𝑆|𝐴 ( ��1 ) ⟩=⟨𝐵 (��2 )𝐶 (��3 )|[𝑖−∞
∞
𝑑4 𝑥𝑔 𝐴 (𝑥 ) 𝐵 (𝑥 )𝐶 (𝑥 )]|𝐴 (��1 )⟩
⟨ 𝐵𝐶|𝑈 (∞ ,− ∞ )|𝐴 ⟩ =⟨ 𝐵𝐶|𝑆|𝐴 ⟩
![Page 18: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/18.jpg)
⟨𝐵 (��2 )𝐶 (��3 )|[𝑖− ∞
∞
𝑑4 𝑥𝑔 𝐴 (𝑥 ) 𝐵 (𝑥 )𝐶 (𝑥 )]|𝐴 (��1 )⟩ 0ˆ
33 pbpB
BcpBC p 22
![Page 19: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/19.jpg)
⟨𝐵 (��2 )𝐶 (��3 )|[𝑖− ∞
∞
𝑑4 𝑥𝑔 𝐴 (𝑥 ) 𝐵 (𝑥 )𝐶 (𝑥 )]|𝐴 (��1 )⟩
BC
ig
The remaining numerical factor is:
A
Momentum Conservation
![Page 20: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/20.jpg)
For a toy ABC model
Three scalar particle with masses mA, mB ,mC
External Lines
Internal Lines
Vertex
ip
iq
-ig
1
imqi
jj 22
321442 kkk
A B
C
1k
2k
3k
Lines for each kind of particle with appropriate masses.
The configuration of the vertex determine the interaction of the model.
![Page 21: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/21.jpg)
A
BC
Every field operator in the interaction corresponds to one leg in the vertex.
Every field is a linear combination of a and a+ aa
interaction Lagrangian vertex
Every leg of a vertex can either annihilate or create a particle!
This diagram is actually the combination of 8 diagrams!
aa
aa
aa
ℒI (𝑥 )=𝑔 𝐴 (𝑥 )𝐵 (𝑥 )𝐶 (𝑥 )
![Page 22: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/22.jpg)
In momentum space, the factor for a vertex is simply a constant.
The integration yields a momentum conservation.
A
BCInteraction Lagrangian 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.
ℒI (𝑥 )=𝑔 𝐴 (𝑥 )𝐵 (𝑥 )𝐶 (𝑥 )
𝑖−∞
∞
𝑑4 𝑥𝑔 𝐴 (𝑥 ) 𝐵 (𝑥 )𝐶 (𝑥 )
![Page 23: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/23.jpg)
Every field operator in the interaction corresponds to one leg in the vertex.
aa
Interaction Lagrangian Vertex
Every leg of a vertex can either annihilate or create a particle!
ℒI=𝜆𝜙4
![Page 24: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/24.jpg)
Propagator
The integration of two identical interaction Hamiltonian HI. The first HI is always later than the second HI
Solve the evolution operator to the second order.
HI is first order.
![Page 25: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/25.jpg)
The integration of two identical interaction Hamiltonian HI. The first HI is always later than the second HI
)()()()()()())()(( 1212212121 tAtBtttBtAtttBtAT
t’
t’’
We are integrating over the whole square but always keep the first H later in time than the second H.
t’ and t’’ are just dummy notations and can be exchanged.
![Page 26: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/26.jpg)
)()()()()()())()(( 1212212121 tAtBtttBtAtttBtAT
This definition is Lorentz invariant! t’
t’’
![Page 27: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/27.jpg)
This notation is so powerful, the whole series of operator U can be explicitly written:
The whole series can be summed into an exponential:
![Page 28: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/28.jpg)
0)()(0 21)()(
24
14 142231 xCxCTeexdxd xppixppi
Amplitude for scattering BBAA
Propagator between x1 and x2 Fourier Transformationp1-p3 pour into C at x2 p2-p4 pour into C at x1
![Page 29: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/29.jpg)
000)()(00)()(0212121 xx aaaaxCxCxCxCT
Cx2
x1
A(p1) A(p2)
B(p3)
C(p1-p3)
B(p4)
A(p1) A(p2)
B(p3) B(p4)
21 tt
A particle is created at x2 and later annihilated at x1.
![Page 30: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/30.jpg)
000)()(00)()(0121221 xx aaaaxCxCxCxCT
C
x2
x1 Cx2
x1
A(p1) A(p2)
B(p3)
C(p1-p3)
B(p4)
A(p1) A(p1)A(p2) A(p2)
B(p3) B(p3) B(p4)B(p4)
21 tt
A particle is created at x1 and later annihilated at x2.
![Page 31: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/31.jpg)
C
x2
x1 Cx2
x1
A(p1) A(p2)
B(p3)
C(p1-p3)
B(p4)
A(p1) A(p1)A(p2) A(p2)
B(p3) B(p3) B(p4)B(p4)
Again every Interaction is integrated over the whole spacetime.
Interaction could happen anywhere anytime and amplitudes need superposition.
This construction ensures causality of the process. It is actually the sum of two possible but exclusive processes.
![Page 32: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/32.jpg)
0)()(0 yxT
This propagator looks reasonable in coordinate space but difficult to calculate and the formula is cumbersome.
![Page 33: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/33.jpg)
0)()(0 yxT
0)()(0 yxT
0)()(0 yxT
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:
![Page 34: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/34.jpg)
C
x2
x1 Cx2
x1
A(p1) A(p2)
B(p3)
C(p1-p3)
B(p4)
A(p1) A(p1)A(p2) A(p2)
B(p3) B(p3) B(p4)B(p4)
The Fourier Transform of the propagator is simple.
![Page 35: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/35.jpg)
0)()(0 yxT
![Page 36: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/36.jpg)
00 yx
![Page 37: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/37.jpg)
![Page 38: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/38.jpg)
0)()(0 yxT
C
x2
x1 Cx2
x1
A(p1) A(p2)
B(p3)
C(p1-p3)
B(p4)
A(p1) A(p1)A(p2) A(p2)
B(p3) B(p3) B(p4)B(p4)
![Page 39: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/39.jpg)
For a toy ABC model
Internal Linesiq
imqi
jj 22
Lines for each kind of particle with appropriate masses.
![Page 40: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/40.jpg)
0)()(0 21)()(
24
14 142231 xCxCTeexdxd xppixppi
Amplitude for scattering BBAA
![Page 41: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/41.jpg)
aa
aa
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!
aa
![Page 42: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/42.jpg)
For a toy ABC model
Three scalar particle with masses mA, mB ,mC
External Lines
Internal Lines
Vertex
ip
iq
-ig
1
imqi
jj 22
321442 kkk
A B
C
1k
2k
3k
Lines for each kind of particle with appropriate masses.
The configuration of the vertex determine the interaction of the model.
![Page 43: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/43.jpg)
![Page 44: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/44.jpg)
Assuming that the field operator is a complex number field.
ipxp
ipxp ebeapdx
21
)2()( 3
3
The creation operator b+ in a complex KG field can create a different particle!
Scalar Antiparticle
The particle b+ create has the same mass but opposite charge. b+ create an antiparticle.
![Page 45: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/45.jpg)
ipxp
ipxp ebeapdx
21
)2()( 3
3
ipxp
ipxp eaebpdx
21
)2()( 3
3 Complex KG field can either annihilate a particle or create an antiparticle!
Its conjugate either annihilate an antiparticle or create a particle!
So we can add an arrow of the charge flow to every leg that corresponds to a field operator in the vertex.
The charge difference a field operator generates is always the same!
![Page 46: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/46.jpg)
charge non-conserving interaction
ipxp
ipxp ebeapdx
21
)2()( 3
3 ipx
pipx
p eaebpdx 2
1)2(
)( 3
3
incoming particle or outgoing antiparticle
incoming antiparticle or outgoing particle
![Page 47: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/47.jpg)
charge conserving interaction
incoming particle or outgoing antiparticle
incoming antiparticle or outgoing particle
![Page 48: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/48.jpg)
can either annihilate a particle or create an antiparticle!
can either annihilate an antiparticle or create a particle!
incoming antiparticle or outgoing particle
incoming particle or outgoing antiparticle
![Page 49: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/49.jpg)
U(1) Abelian Symmetry
)()( xex iQ
The Lagrangian is invariant under the field phase transformation
invariant
)(xee iQiQ
is not invariant
U(1) symmetric interactions correspond to charge conserving vertices.
![Page 50: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/50.jpg)
A
BC
If A,B,C become complex, they all carry charges!
The interaction is invariant only if 0 CBA QQQ
The vertex is charge conserving.
![Page 51: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/51.jpg)
000)()(00)()(0212121 xx baabxxxxT
Cx2
x1
A(p1) A(p2)
B(p3)
C(p1-p3)
B(p4)
A(p1) A(p2)
B(p3) B(p4)
21 tt
An antiparticle is created at x2 and later annihilated at x1.
0)()(0 21 xxT
Propagator:
![Page 52: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/52.jpg)
000)()(00)()(0121221 xx abbaxxxxT
C
x2
x1 Cx2
x1
A(p1) A(p2)
B(p3)
C(p1-p3)
B(p4)
A(p1) A(p1)A(p2) A(p2)
B(p3) B(p3) B(p4)B(p4)
21 tt
A particle is created at x1 and later annihilated at x2.
![Page 53: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/53.jpg)
)(0)()(0 422212
41
4 21 qpmq
ixxTeexdxdC
iqxipx
C
x2
x1 Cx2
x1
A(p1) A(p2)
B(p3)
C(p1-p3)
B(p4)
A(p1) A(p1)A(p2) A(p2)
B(p3) B(p3) B(p4)B(p4)
![Page 54: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/54.jpg)
C
x2
x1 Cx2
x1
A(p1) A(p2)
B(p3)
C(p1-p3)
B(p4)
A(p1) A(p1)A(p2) A(p2)
B(p3) B(p3) B(p4)B(p4)
![Page 55: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/55.jpg)
For a toy charged AAB model
Three scalar charged particle with masses mA, mB
External Lines
Internal Lines
Vertex
ip
iq
-iλ
1
imqi
jj 22
321442 kkk
A A
B
1k
2k
3k
Lines for each kind of particle with appropriate masses.
![Page 56: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/56.jpg)
Dirac field and Lagrangian
The Dirac wavefunction is actually a field, though unobservable!
Dirac eq. can be derived from the following Lagrangian.
mimiLLL
00 mimi
![Page 57: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/57.jpg)
Negative energy!
00 mimi
![Page 58: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/58.jpg)
Anti-commutator!
A creation operator!
![Page 59: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/59.jpg)
bbbb~
,~
b annihilate an antiparticle!
![Page 60: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/60.jpg)
pppppp aaaaaa 0,
0ppaa
0 pap
Exclusion Principle
![Page 61: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/61.jpg)
p
ipxipx evbeuax
)( )( 1pe
p
ipxipx euaevbx
)(
01pu
Feynman Rules for an incoming particle
gI L ba ab
External lineWhen Dirac operators annihilate states, they leave behind a u or v !
0'22 3' pppa pp
)( 1pe 01pv
Feynman Rules for an incoming antiparticle
![Page 62: Now add interactions :](https://reader035.vdocuments.net/reader035/viewer/2022070420/56815ecf550346895dcd59fb/html5/thumbnails/62.jpg)
1pu
gAI L
ba ab
2pu
g
aaxA )(