Chapter 7 A Synopsis of QED We will here sketch the outlines of quantum electrodynamics, the theory of electrons and photons, and indicate how a calculation of an important physical quantity can be carried out in that theory. 7.1 Photons The photon is a massless particle of helicity one, that is, the projection of its spin along its direction of motion it necessarily travels at the speed of light because it is massless) is ±1. It is described by the Maxwell Lagrange density, L A = 1 4 F µν F µν + J µ A µ, 7.1) where the field strength F µν is related to the vector potential by F µν = µ A ν ν A µ, 7.) and J µ is the electric current density, a prescribed source. If we require that the corresponding action W[J, A] = dx)l A 7.3) be stationary under variations in A, we obtain Maxwell s equations in the form ν F µν = J ν. 7.4) Due to the antisymmetry of the field-strength tensor, F µν = F νµ, we learn that the electric current must be conserved, ν J ν =. 7.5) As a consequence, we further see that the vector potential is not unique: we can make a gauge transformation A µ A µ + µ λ 7.6) 83 Version of April 1, 15
84 Version of April 1, 15 CHAPTER 7. A SYNOPSIS OF QED with an arbitrary function λx) without changing the action or the field strength. If, quantum-mechanically, we wish to describe the exchange of a photon between two specified currents J µ, we can effectively eliminate the vector potential by the action-at-a-distance statement up to a gauge transformation) A µ x) = dx )D + x x )J µ x ). 7.7) Here D + is just the massless propagator, dk) D + x x ) = + x x ; m e ik x x ) = ) = π) 4 k iǫ. 7.8) Then is is easily seen that W[J] = dx)j µ A µ 1 4 F µν F µν ) = 1 dx)j µ A µ = 1 dx)dx )J µ x)d + x x )J µ x). 7.9) 7. Electrons Dirac discovered spin, and antiparticles, by trying to take the square root of the Klein-Gordon equation. The latter is a second-order equation, but is relativistically invariant. Dirac sought a first-order equation which was also Lorentz invariant. This was only possible by introducing matrices, the famous Dirac matrices. For massive particles, it turns out that the simplest possibility for these matrices is that they be four by four. In modern notation, the Dirac equation is γ µ1 ) i µ + m ψs) = ηx), 7.1) where η is a source for the electron field ψ. This is a square root of the Klein-Gordon equation in that sense that γ µ1 ) i µ m γ ν 1 ) i ν + m = γ µ γ ν µ ν m = m, 7.11) just the operator appearing in the Klein-Gordon equation 3.3) provided the gamma matrices satisfy the following anticommutation relation, {γ µ, γ ν } = g µν. 7.1) The relation between the effective field ψ and the source η can be written in terms of the Green s function ψx) = dx )G + x x )ηx ), 7.13)
7.. ELECTRONS 85 Version of April 1, 15 where from Eq. 7.1) G + must satisfy γ µ1 ) i µ + m G + x x ) = δx x ), 7.14) which from Eq. 7.11) is immediately solved in terms of the scalar propagator + : G + x x ) = m γ µ1 ) i µ + x x ) dp) m γ p = eip x x ) π) 4 m + p, 7.15) iǫ or in momentum space 1 G + p) = m + γ p iǫ. 7.16) The exchange of an electron between electron sources is described by the vacuum persistence amplitude [ i + η = exp ] dx)dx )ηx)γ G + x x )ηx ). 7.17) The appearance of γ is required by Lorentz invariance; it plays the role of a metric tensor in forming the scalar product of the spinors. But there is something somewhat peculiar here: it is easily shown that γ G + x x ) is totally antisymmetrical, [γ G + x x )] T = γ G + x x), 7.18) where the T superscript signifies transposition. [We use the so-called Majorana representation, where γ γ µ is symmetrical, and γ is antisymmetrical, γ γ µ ) T = γ γ µ, γ ) T = γ.] 7.19) If the sources were ordinary numbers, this would mean that the vacuum persistence amplitude is identically unity, indicating the absence of any such particle. We are forced to conclude that the fermionic sources are anticommuting numbers, that is, elements of a Grassmann or exterior algebra: η ζ x)η ζ x ) = η ζ x )η ζ x), 7.) where the subscripts indicate the four spinorial components. From this, one may easily show that the unitarity probability conservation) property is satisfied, + 1. 7.1) The action for the free electron inferred from Eq. 7.17) is W[η, ψ] = dx) [ ηx)γ ψx) + Lx) ], L = 1 γ µ1 ) ψγ i µ + m ψ, which when varied with respect to ψ yields the Dirac equation 7.1). 7.)
86 Version of April 1, 15 CHAPTER 7. A SYNOPSIS OF QED 7.3 Quantum Electrodynamics The route to spinor electrodynamics is through gauge transformations. Implicit in such is the notion that the electron possesses electric charge. We can describe the electron with a real field and an imaginary charge matrix q see homework), or, more conventionally, by letting ψ be complex. In the latter formulation, we write the action as W[η, J; ψ, A] = dx) ηψ + ψη + J µ A µ + L), 7.3) with the Lagrange density L = 1 4 F µν F µν ψ in terms of the field strength 7.), the covariant derivative and where the overbar means γ µ 1 ) i D µ + m ψ, 7.4) D µ = µ iea µ, 7.5) η = η γ, ψ = ψ γ. 7.6) This action is invariant under gauge transformations, where the covariant derivative term has a cancellation between the transformation of the photon field, and the phase transformation of the electron field, A µ A µ + µ λ, 7.7) ψ e ieλ ψ. 7.8) Variation of this action under ψ, ψ, and A variations lead to the expected field equations δ ψ : γ µ1 ) i D µ + m ψ = η, 7.9a) δψ : ψ γ µ1 ) Dµ + m = η, Dµ = µ + iea µ, 7.9b) i δa µ : ν F µν = j µ + J µ, j µ = e ψγ µ ψ. 7.9c) It is easy to verify that the two forms of the Dirac equation are equivalent.) From this action, we can read off the Feynman rules for QED: 1. An electron line represented in our figures by a solid line) carrying momentum p corresponds to the amplitude m + γ p iǫ = m γ p m + p iǫ. 7.3)
7.3. QUANTUM ELECTRODYNAMICS 87 Version of April 1, 15 p µ ν k k -k-p Figure 7.1: Order α vacuum polarization.. A photon line represented in our figures by a wiggly line) carrying momentum k is represented by the amplitude k iǫ. 7.31) 3. A vertex coupling a photon with incoming momentum k, an electron with incoming momentum p 1, and a electron with outgoing momentum p is represented by the amplitude eγ µ π) 4 δk + p 1 p ). 7.3) 4. For external on-shell lines supply an appropriate wavefunction: a polarization vector e µ pλ for a photon, and spinors u pσ, u pσ γ for electrons. 5. A factor of 1 must be supplied for each closed electron loop. 6. There also are signs coming from the permutation of external fermion lines. In Fig. 7.1 we show the Feynman diagram corresponding to the Oe ) correction to the photon propagator, the so-called vacuum polarization. According to the above rules, it corresponds to the amplitude dp) π) 4 Treγµ ) m + γ p iǫ eγν ) m γ p + k) iǫ, 7.33) where Tr stands for the trace over the Dirac matrices. A few more words about the electron spinors. In the rest frame of the electron, we have the spinors v σ, which are eigenvectors of the third component of spin and of γ : σ 3 v σ = σv σ, γ v σ = v σ, 7.34) and are normalized according to v σ v σ = δ σσ. 7.35) The spinors u pσ are obtained from these by a boost: p + m u pσ = m v p m σ + m v σ. 7.36)
88 Version of April 1, 15 CHAPTER 7. A SYNOPSIS OF QED P H k P Figure 7.: Radiative correction to the propagation of an electron in an external magnetic field H. These satisfy the momentum-space Dirac equation m + γp)u pσ =, 7.37) and the projection operator that annihilates such solutions has the resolution m γp m = σ u pσ u pσ γ. 7.38) 7.4 The Anomalous Magnetic Moment of the Electron Here we offer a derivation of the electron s g anomaly based on a correction the the electron propagator in an external magnetic field H. Consider the process shown in Fig. 7.. When H = the vacuum persistence amplitude for this process is given by ie) dp) π) 4 ψ P)γ γ µ dk) π) 4 k m + γ P k) γ µψp). 7.39) To incorporate the effects of the magnetic field, we make the minimal substitution, with q being the charge matrix, ) q =, 7.4) i
7.4. THE ANOMALOUS MAGNETIC MOMENT OF THE ELECTRON89 Version of April 1, 15 so the gauge-covariant momentum satisfies P Π = P eqa, 7.41) [Π µ, Π ν ] = ieqf µν, 7.4) in terms of the field strength tensor, assumed here constant. Further, we compute γ Π) = 1 {γµ, γ ν }Π µ Π ν + 1 [γµ, γ ν ]Π µ Π ν = Π iσ µν i eqf µν = Π + eqσf, σf = 1 σµν F µν = σ H, 7.43) for the case of an external magnetic field. The electron propagator then is 1 m + γ Π k) = m γ Π k) m + Π k) eqσf. 7.44) As we have seen before, it is useful to combine the denominators in an exponential representation. Write 1 1 k Π k) eqσf + m = where we have introduced and = ds 1 ds e s1k s [Π k) eqσf+m ] ds s 1 du e sχu), 7.45) s 1 = s1 u), s = su, 7.46) χu) = 1 u)k + u[π k) eqσf + m ] = k uπ) + u1 u)π + um eqσf). 7.47) Now we carry out the k integration by a Euclidean rotation, dk) dk)e i π) 4 esk = i π) 4 esk E = 16π s. 7.48) so then we have here for the basic integral dk) π) 4 esχu) = i 1 m eqσf) 16π s esu e sh, 7.49) where H = u1 u)π + m eqσf) = u1 u)[m γ Π) ]. 7.5)
9 Version of April 1, 15 CHAPTER 7. A SYNOPSIS OF QED Here, in doing the k integration, we have ignored the noncommutativity of Π, because this would give rise to a term proportional to [Π µ, Π ν ]F µν F, which is irrelevant for the magnetic moment term, which is linear in F. What actually appears in the P Π generalization of Eq. 7.39) is e dk) π) γµ [m γ Π k)]e sχ γ µ = e dk) π) 4 {[m + γ Π k)]γµ + Π k) µ }e sχ γ µ. 7.51) By virtue of the external Dirac field, we can set on the outside) γ Π+m ; then we can do the k integration by writing it in terms of dk) π) 4 k uπ)µ e sχ. 7.5) This would be zero if the Πs were commuting variables. Although they are not, we get here something proportional to F µν Π ν, which is contracted with γ µ : γ µ F µν Π ν = i [σf, γ Π + m], 7.53) where again we have ignored the F dependence in χ. So, in the numerator we may replace k µ by uπ µ. The expression 7.51) is then, to OF) is α = e /4π) ie 1 16π s esu m [ γ uπγ µ + 1 u)π µ ] e sh 1 + isu eqσf ) γ µ iα 1 4π s esm u m [ uγ µ e sh 1 + isu eqσf)γ µ 1 u)e sh 1 + isu σf) ], 7.54) where we have again used Eq. 7.53). Now we evaluate this by putting the isu eqσf term in the exponent: [ ] γ µ e sh ueqσf) γ µ = γ µ e s[u1 u)π +m )] 1 + isueqσf) γ µ = 4e su1 u)π +m ) = 4e su1 u)[m γ Π) +eqσf] = 4e sh [1 isu1 u)eqσf] 4 [1 isu1 u)eqσf], 7.55) where in the second line we have used the fact that γ λ σ αβ γ λ =. Thus we have from Eq. 7.54), iα 4π = iα 4π 1 u s esm m { 4u[1 isu1 u)eqσf] 1 u)1 + isu eqσf) } 1 u [ s 1 + u) + isu 1 u)eqσf ]. 7.56) mesm
7.4. THE ANOMALOUS MAGNETIC MOMENT OF THE ELECTRON91 Version of April 1, 15 The first term here describes a modification of the electron propagator, which is involved in renormalization of the mass of the electron. The second term is what is of interest here: α m π s u 1 u)e sm u eqσf. 7.57) The integrals over the parameters s and u are as follows: ds s s 1 du u 1 u)e su m ǫ) = 1 im 1 du 1 u) = i m, 7.58) and then the vacuum amplitude 7.39) is i dx)ψx)γ eq m σf α ψx). 7.59) π This is interpreted as a correction to the g-factor of the electron, where g = for a particle described by the Dirac equation: g = α π = 1 1 =.11614, 7.6) π 137.36 which is to be compared to the latest experimental value ) g =.11596518738); 7.61) exp the discrepancy is entirely due to higher order QED effects, which have been computed out to 1th order! Using these calculations, we can infer an incredibly accurate value of the fine structure constant, α 1 = 137.359998451). 7.6) For the latest experimental results, see Gabrielse et al., Phys. Rev. Lett. 1, 181 8).