Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 301 / 1

Use $\hslash =c=1$ and the Minkowski metric $\eta =\mathrm{diag}(1,-1,-1,-1)$ throughout. In the four-component Dirac spinor representation, the gamma matrices generate the Clifford algebraThus $({\gamma }^0{)}^2=I_4$, $({\gamma }^i{)}^2=-I_4$, and matrices with distinct indices anticommute. Indices are lowered with $\eta$, so ${\gamma }_{\mu }={\eta }_{\mu \nu }{\gamma }^{\nu }$ and $/p=p_{\mu }{\gamma }^{\mu }$.

Take the quantum electrodynamics interaction density to be ${\mathcal{L}}_{\mathrm{int}}=-e\bar{\psi }{\gamma }^{\mu }\psi A_{\mu }$. The momentum-space Feynman-gauge photon propagator, with Lorentz indices $\mu ,\nu$ and momentum $k$, isThe electron-photon vertex from the QED Feynman rules iswith its spinor indices connecting the incident and outgoing fermion lines. The muon-photon vertex has the same coupling. The Feynman i-epsilon prescription specifies the pole boundary condition; using a different overall charge-sign convention changes both vertices consistently and leaves the squared amplitude unchanged.

For the electron-positron annihilation into a muon pair, the exchanged photon has $k=p+q$ and $k^2=s$. Up to the conventional overall phase, the scattering amplitude is

At this order there is one annihilation tree-level Feynman diagram. The squared-amplitude diagram is its product with its complex conjugate, with the same external momenta and spin labels in both factors:

 e-(p,s) --->\          /---> mu-(p',s')
             o ~~~~~~ o
 e+(q,r) <---/          \<--- mu+(q',r')

                     times

 e-(p,s) --->\          /---> mu-(p',s')
             o ~~~~~~ o                       *
 e+(q,r) <---/          \<--- mu+(q',r')

A wavy line is the virtual photon; the arrows show fermion-number flow. The star means complex conjugation of the entire second graph, including its external spinors. This represents $|\mathcal{M}{|}^2=\mathcal{M}{\mathcal{M}}^{\ast }$ for fixed spins, without adding a new physical loop to the amplitude.

For the spin sum in part (iv), identify each external spin label between the two copies and sum it. The fermion spin sum sews each spinor chain into a gamma-matrix trace. The two incoming unpolarized spin states are then handled by a spin average, giving the factor $1/4$. In particular, the diagrammatic contraction becomes

First derive the needed gamma-matrix traces directly from the Clifford algebra. The cyclic property of the trace givesso $\mathrm{tr}({\gamma }^{\mu }{\gamma }^{\nu })=4{\eta }^{\mu \nu }$. For $T=\mathrm{tr}({\gamma }^{\mu }{\gamma }^{\nu }{\gamma }^{\rho }{\gamma }^{\sigma })$, move ${\gamma }^{\mu }$ successively through the other three matrices and cycle the final term back to the front:ThereforeThese are all the trace identities required.

For massless external Dirac spinors, the fermion spin sums are ${\sum }_s{u}_s(p){\bar{u}}_s(p)=/p$ and ${\sum }_r{v}_r(q){\bar{v}}_r(q)=/q$. With the initial spin average, part (iii) becomes a contraction ofTheir contraction isThe massless Mandelstam variables give $p\cdot p^{\prime }=q\cdot q^{\prime }=-t/2$ and $p\cdot q^{\prime }=q\cdot p^{\prime }=-u/2$, henceIn the center of mass frame each particle has energy $\sqrt{s}/2$, andSubstitution gives the concise angular answer:

Substitute the preceding spin average into the supplied differential scattering cross-section. Since $e^4=16{\pi }^2{\alpha }^2$,The angular integral is $2\pi {\int }_{-1}^1(1+x^2)dx=16\pi /3$. Consequently the relativistic scattering cross-section for the massless electron-positron annihilation into a muon pair isThe outgoing particles are distinct, so there is no identical-particle factor. Comparing with the requested monomial form givesThe integrated answer depends only on the incoming invariant $s$; the angular variables $t,u$ have been integrated out.