The bundle filename says 2018, but the paper's cover establishes Trinity Term 2019, 24 April 2019, and formal code A15272W1. These are solutions to that 2019 paper. Use natural units, the Minkowski metric , and the Feynman i-epsilon prescription. Write . In question 1, , , and the amputated gluon self-energy insertion is . This fixes the overall sign and factor of in the results below; defining the insertion as instead reverses all corresponding definitions of . The quadratic Casimir operator in the Adjoint representation is for , hence in QCD.
Figure 1.
One-loop gluon self-energy and tree-level charged-lepton scattering
. Original Feynman diagrams. The upper row gives the quark loop, two-three-gluon-vertex loop, Faddeev-Popov ghost field loop, and four-gluon tadpole diagram. The lower row gives the single electron-muon exchange graph and the two exchange graphs for Møller scattering. Solid arrows indicate fermion flow, curly orange lines denote gluons, dashed arrows denote Faddeev-Popov ghost fields, and wavy blue lines denote photons. A crossing without a dot is not a Feynman vertex. Details.
For Møller scattering, both the -channel and -channel photon exchange tree-level Feynman diagrams contribute, as shown in the two remaining lower panels. Exchanging the identical final electrons reverses the sign of the scattering amplitude, so the fermionic sign fixes
The two direct squares follow from the preceding distinct-lepton calculation:
The interference cannot be discarded because the final particles are identical. Summing their spins joins all four external Dirac spinors into a single trace:
The result from part (i) was used with relabelled contracted indices. Its negative sign combines with the explicit subtraction of the two exchange scattering amplitudes, so the interference contribution to the averaged square is positive:
Thus
This is symmetric under , as required by the identical final electrons. There is no additional in the squared scattering amplitude. Such a factor is used when integrating the cross section over a final-state region that counts both orderings of the identical pair; alternatively one integrates over one representative half of that region.