Quantum Field Theory PHYS-P 621 Radovan Dermisek, Indiana University Notes based on: M. Srednicki, Quantum Field Theory 1
Attempts at relativistic QM based on S-1 A proper description of particle physics should incorporate both quantum mechanics and special relativity. However historically combining quantum mechanics and relativity was highly non-trivial. Today we review some of these attempts. The result of this effort is relativistic quantum field theory - consistent description of particle physics. 2
Quantum mechanics Time evolution of the state of the system is described by Schrödinger equation: where H is the hamiltonian operator representing the total energy. For a free, spinless, nonrelativistic particle we have: H = 1 in the position basis, P = ih 2m P2 and S.E. is: where ψ(x, t) = x ψ, t is the position-space wave function. 3
Relativistic generalization? Obvious guess is to use relativistic energy-momentum relation: Schrödinger equation becomes: Not symmetric in time and space derivatives 4
Relativistic generalization? Obvious guess is to use relativistic energy-momentum relation: Schrödinger equation becomes: Applying i t on both sides and using S.E. we get Klein-Gordon equation looks symmetric 5
Special relativity (physics is the same in all inertial frames) Space-time coordinate system: x µ = (ct, x) define: x µ = ( ct, x) or where is the Minkowski metric tensor. Its inverse is: that allows us to write: 6
Interval between two points in space-time can be written as: ds 2 = (x x ) 2 c 2 (t t ) 2 = g µν (x x ) µ (x x ) ν = (x x ) µ (x x ) µ General rules for indices: repeated indices, one superscript and one subscript are summed; these indices are said to be contracted any unrepeated indices (not summed) must match in both name and height on left and right side of any valid equation 7
Two coordinate systems (representing inertial frames) are related by Lorentz transformation matrix translation vector Interval between two different space-time points is the same in all inertial frames: which requires: 8
Notation for space-time derivatives: matching-index-height rule works: For two coordinate systems related by derivatives transform as: not the same as which follows from will prove later! 9
Is K-G equation consistent with relativity? Physics is the same in all inertial frames: the value of the wave function at a particular space-time point measured in two inertial frames is the same: This should be true for any point in the space-time and thus a consistent equation of motion should have the same form in any inertial frame. Is that the case for Klein-Gordon equation? 10
Klein-Gordon equation: in 4-vector notation: in 4-vector notation: d Alambertian operator Is it equivalent to: Since? K-G eq. is manifestly consistent with relativity! 11
Is K-G consistent with quantum mechanics? Schrödinger equation (first order in time derivative) leaves the norm of a state time independent. Probability is conserved: = d 3 xρ(x) t ψ, t ψ, t = d 3 x ρ t = d 3 x. j = S j.ds = 0 ρ t = ψ ψ t + ψ ψ t = i 2m ψ 2 ψ i 2m ψ 2 ψ = i 2m.(ψ ψ ψ ψ ). j Gauss s law j(x) = 0 at infinity 12
Is K-G consistent with quantum mechanics? Schrödinger equation (first order in time derivative) leaves the norm of a state time independent. Probability is conserved: = d 3 xρ(x) t ψ, t ψ, t = d 3 x ρ t = d 3 x. j = S j.ds = 0 Klein-Gordon equation is second order in time derivative and the norm of a state is NOT in general time independent. Probability is not conserved. Klein-Gordon equation is consistent with relativity but not with quantum mechanics. 13
Dirac attempt Dirac suggested the following equation for spin-one-half particles ψ, a, t (a state carries a spin label, a = 1,2): Consistent with Schrödinger equation for the Hamiltonian: ψ(x, t) = x ψ, t Dirac equation is linear in both time and space derivatives and so it might be consistent with both QM and relativity. Squaring the Hamiltonian yields: 14
can be written as anticommutator and also can be written as H 2 Eigenvalues of ψ(x, t) should = x ψ, satisfy t the correct relativistic energymomentum relation: and so we choose matrices that satisfy following conditions: it can be proved (later) that the Dirac equation is fully consistent with relativity. we have a relativistic quantum mechanical theory! 15
Discussion of Dirac equation to account for the spin of electron, the matrices should be 2x2 but the minimum size satisfying above conditions is 4x4 - two extra spin states H is traceless, and so 4 eigenvalues are: E(p), E(p), -E(p), -E(p) negative energy states no ground state also a problem for K.-G. equation Dirac s interpretation: due to Pauli exclusion principle each quantum state can be occupied by one electron and we simply live in a universe with all negative energy states already occupied. Negative energy electrons can be excited into a positive energy state (by a photon) leaving behind a hole in the sea of negative energy electrons. The hole has a positive charge and positive energy antiparticle (the same mass, opposite charge) called positron (1927) 16
Quantum mechanics as a quantum field theory Consider Schrödinger equation for n particles with mass m, moving in an external potential U(x), with interparticle potential It is equivalent to: is the position-space wave function. if and only if satisfies S.E. for wave function! 17
is a quantum field and its hermitian conjugate; they satisfy commutation relations: is the vacuum state state with one particle at state with one particles at and another at Total number of particles is counted by the operator: commutes with H! 18
creation operators commute with each other, and so without loss of generality we can consider only completely symmetric functions: we have a theory of bosons (obey Bose-Einstein statistics). For a theory of fermions (obey Fermi-Dirac statistics) we impose and we can restrict our attention to completely antisymmetric functions: We have nonrelativistic quantum field theory for spin zero particles that can be either bosons or fermions. This will change for relativistic QFT. 19
Lorentz invariance based on S-2 Lorentz transformation (linear, homogeneous change of coordinates): that preserves the interval : All Lorentz transformations form a group: product of 2 LT is another LT identity transformation: inverse: for inverse can be used to prove: 20
Infinitesimal Lorentz transformation: thus there are 6 independent ILTs: 3 rotations and 3 boosts not all LT can be obtained by compounding ILTs! +1 proper -1 improper proper LTs form a subgroup of Lorentz group; ILTs are proper! Another subgroup - orthochronous LTs, ILTs are orthochronous! 21
When we say theory is Lorentz invariant we mean it is invariant under proper orthochronous subgroup only (those that can be obtained by compounding ILTs) Transformations that take us out of proper orthochronous subgroup are parity and time reversal: orthochronous but improper nonorthochronous and improper A quantum field theory doesn t have to be invariant under P or T. 22
How do operators and quantum fields transform? Lorentz transformation (proper, orthochronous) is represented by a unitary operator that must obey the composition rule: infinitesimal transformation can be written as: are hermitian operators = generators of the Lorentz group from using and expanding both sides, keeping only linear terms in we get: since are arbitrary general rule: each vector index undergoes its own Lorentz transformation! 23
using and expanding to linear order in we get: These comm. relations specify the Lie algebra of the Lorentz group. We can identify components of the angular momentum and boost operators: and find: 24
in a similar way for the energy-momentum four vector P µ = (H/c, P i ) we find: using and expanding to linear order in we get: or in components: in addition: Comm. relations for J, K, P, H form the Lie algebra of the Poincare group. 25
Finally, let s look at transformation of a quantum scalar field: Recall time evolution in Heisenberg picture: this is generalized to: P x = P µ x µ = P x Ht x is just a label we can write the same formula for x-a: e +ip a/ e ip x/ φ(0)e +ip x/ e ip a/ = φ(x a) we define space-time translation operator: and obtain: 26
Similarly: Derivatives carry vector indices: is Lorentz invariant 27