Past exam of the mathematics course of the University of Cambridge / 2002 / iii / Paper 62 (Quantum Field Theory)

Use units $\hslash =c=1$ and the Minkowski metric $g=\mathrm{diag}(1,-1,-1,-1)$. The canonical momentum of the real scalar field is $\pi =\partial \mathcal{L}/\partial \dot{\varphi }=\dot{\varphi }$. Canonical quantization replaces the classical fields by operator-valued distributions and imposes the equal-time canonical commutation relationsThese relations are imposed on an initial slice, with smeared fields understood. In the Heisenberg picture, simultaneous unitary time evolution of both operators preserves their commutators. Since the momentum is $\dot{\varphi }$, the requested equal-time commutator is $[\varphi (t,\mathbf{x}),\dot{\varphi }(t,\mathbf{y})]=i{\delta }^{(3)}(\mathbf{x}-\mathbf{y})$.

The Legendre transform in mechanics, applied pointwise, gives the canonical Hamiltonian density of a real scalar field. ThusTo obtain its dynamics rather than assume them, use the Heisenberg equation of motion $\dot{O}=i[H,O]$. The momentum-square term gives $[H,\varphi ]=-i\pi$. The field-square term gives $[H,\pi ]=i{m}^2\varphi$, while differentiating the Dirac delta function in the gradient term and integrating by parts gives $[H,\pi ]=-i{\nabla }^2\varphi +i{m}^2\varphi$. ConsequentlyBoundary terms vanish for suitably decaying smeared fields. This is the Klein-Gordon equation as an operator identity.

A spatial Fourier transform reduces the Klein-Gordon equation to ${\ddot{\varphi }}_{\mathbf{p}}+E_p^2{\varphi }_{\mathbf{p}}=0$, where $E_p=\sqrt{{\mathbf{p}}^2+m^2}$. Its two frequency branches and the Hermitian adjoint condition giveThe invariant-normalized scalar mode extraction can be written particularly simply asSubstituting the mode expansion of a free field proves these inversion formulas: the opposite-frequency coefficient is proportional to $E_p-E_q$ and vanishes after spatial Fourier inversion. Alternatively they are the corresponding Klein-Gordon inner products. Taking their commutators using the equal-time fields gives $(E_p+E_q)(2\pi {)}^3{\delta }^{(3)}(\mathbf{p}-\mathbf{q})$ in the mixed case. In the two equal-type cases the delta function enforces $\mathbf{q}=-\mathbf{p}$, multiplying $E_p-E_q=0$. ThereforeConversely these mode commutators reproduce $[\varphi ,\dot{\varphi }]=i{\delta }^{(3)}$: the two frequency contributions each supply half the spatial Dirac delta function.

For the covariant oscillator Hamiltonian of a real scalar field, insert the mode expansion of a free field into $H$. Spatial integration sets the two momenta equal in the mixed terms and opposite in the two-creator or two-annihilator terms. The latter have coefficient $-E_p^2+{\mathbf{p}}^2+m^2=0$. The mixed terms giveThe constant $E_0$ is the divergent zero-point energy; a finite box and a momentum cutoff make its meaning explicit. Normal ordering sets the free vacuum energy to zero and leaves all commutators unchanged. Directly applying the mode commutators to the mixed expression yieldsChoose the Fock vacuum by $a(p)|0⟩=0$. Each creation operator adds a boson of energy $E_p$ and four-momentum $p$, while each annihilation operator removes one. Products of commuting creation operators give bosonic statistics from commuting creation operators and unrestricted occupation numbers. The real scalar field has one spin-zero species, identical to its antiparticle. Its one-particle states obey $⟨q|p⟩=(2\pi {)}^{3}2E_p{\delta }^{(3)}(\mathbf{p}-\mathbf{q})$, precisely the relativistic normalization of a one-particle state.

For the Feynman propagator, put $z=x-y$ and contract the two fields in the Fock vacuum. Only $a{a}^{†}$ survives, giving the Wightman functionThe stipulated time-ordered product convention is $i{\Delta }_F(z)=\theta (z^0)W(z)+\theta (-z^0)W(-z)$. In a contour integral over $p^0$, the Feynman i-epsilon prescription places the positive-energy pole just below the real axis and the negative-energy pole just above it. For $z^0>0$ close below, clockwise, obtaining $-i{e}^{-i{E}_p{z}^0}/(2E_p)$; for $z^0<0$ close above, obtaining $-i{e}^{i{E}_p{z}^0}/(2E_p)$. Changing $\mathbf{p}\mapsto -\mathbf{p}$ in the second contribution therefore provesActing with $\square +m^2$ multiplies the integrand by $-(p^2-m^2)$. The remaining factor tends to $-1$ as a distribution, so Fourier inversion givesThe sign also follows from the derivative jump of a free scalar time-ordered two-point function: the first time derivative of $i{\Delta }_F$ jumps by $⟨[\dot{\varphi },\varphi ]⟩=-i{\delta }^{(3)}$, so that of ${\Delta }_F$ jumps by $-{\delta }^{(3)}$.

For the complex scalar field, the canonical momenta are $\pi ={\dot{\varphi }}^{†}$ and ${\pi }^{†}=\dot{\varphi }$. Split $H=H_0+H_I$. The interaction picture is obtained from the Schrödinger picture by $|{\Psi }_I(t)⟩=e^{i{H}_{0}t}|{\Psi }_S(t)⟩$ and $O_I(t)=e^{i{H}_{0}t}{O}_S{e}^{-i{H}_{0}t}$, choosing a common time origin. The fields therefore obey the free Klein-Gordon equation, while the states evolve through $H_I(t)$. The canonical quantization of a complex scalar field givesThe adjoint expansion contains $a^{†}$ and $b$. Particle and antiparticle modes are independent; their nonzero commutators areAll cross-species commutators, and all pairs of creation operators or of annihilation operators, vanish. These formulas reproduce $[\varphi (\mathbf{x}),\pi (\mathbf{y})]=[{\varphi }^{†}(\mathbf{x}),{\pi }^{†}(\mathbf{y})]=i{\delta }^{(3)}(\mathbf{x}-\mathbf{y})$ and the remaining vanishing equal-time commutators.

There are no derivative interactions, so the interaction Hamiltonian is $H_I(t)=-\int d^{3}x{\mathcal{L}}_I(x)$. Differentiating the interaction picture state gives $i{\partial }_t|{\Psi }_I⟩=H_I(t)|{\Psi }_I⟩$. Its time-evolution operator satisfiesIteration gives ordered integration regions $t_1>\cdots >t_n$. Each is $1/n!$ of the full region with a time-ordered product, yielding the Dyson seriesWith the usual asymptotic scattering prescription, taking $t_0\to -\infty$ and $t\to +\infty$ provesTime ordering is essential because different interaction Hamiltonians need not commute.

At first order, use the connected tree scattering amplitude, equivalently the normal-ordered quartic vertex with the vacuum and one-particle mass contributions removed. This qualification matters if the local product is interpreted literally without normal ordering: single-vertex tadpole diagrams and vacuum diagrams are not the requested connected two-particle amplitude. The complex scalar quartic contact vertex is obtained fromIn a fully connected matrix element, an incoming particle and outgoing antiparticle attach to the two $\varphi$ factors; an outgoing particle and incoming antiparticle attach to the two ${\varphi }^{†}$ factors. Each pair has two assignments, giving $2!2!=4$. The external relativistic normalization of a one-particle state cancels each mode measure: for example $[\varphi (x),a^{†}(p_1)]=e^{-i{p}_{1}x}$ and $[b(q_2),\varphi (x)]=e^{i{q}_{2}x}$. Consequently the connected integrand is $4e^{-i(p_1+q_1-p_2-q_2)\cdot x}$, andThus the invariant connected amplitude isThe Dirac delta function expresses four-momentum conservation.

For the identity contribution, commute $a(p_2)$ through $a^{†}(p_1)$ and independently $b(q_2)$ through $b^{†}(q_1)$; all terms leaving a creation operator against the left Fock vacuum or an annihilation operator against the right Fock vacuum vanish. HenceThere is no exchange term between the two distinct particle and antiparticle species.

Use the Minkowski metric $g^{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$ and Feynman slash notation $/p={\gamma }^{\mu }{p}_{\mu }$. The Pauli matrices satisfy ${\sigma }_j{\sigma }_k+{\sigma }_k{\sigma }_j=2{\delta }_{jk}{I}_2$. In the Dirac representation of the gamma matrices, direct block multiplication givesandThus the spatial anticommutators are $-2{\delta }_{jk}{I}_4$, proving the Clifford relationsSince partial derivatives commute, their symmetric product selects the symmetric part of the gamma matrices. Multiplying the Dirac equation by $i{\gamma }^{\mu }{\partial }_{\mu }+m$ givesHence every spinor component satisfies the Klein-Gordon equation with the same mass.

For parity, let $x_P=(t,-\mathbf{x})$ and ${\psi }_P(x)={\gamma }^0\psi (x_P)$. The chain rule gives ${\partial }_0\psi (x_P)=({\partial }_0\psi )(x_P)$ and ${\partial }_j\psi (x_P)=-({\partial }_j\psi )(x_P)$. Combining these signs with ${\gamma }^j{\gamma }^0=-{\gamma }^0{\gamma }^j$ provesThis establishes parity symmetry in quantum field theory for the free Dirac equation, rather than merely asserting its covariance.

A positive-energy plane wave $\psi =u(p)e^{-ip\cdot x}$ solves $(/p-m)u=0$. Write $u=(\chi ,\eta {)}^T$. The two block equations areThe second gives $\eta =(\mathbf{\sigma }\cdot \mathbf{p})\chi /(E_p+m)$. In the first, $(\mathbf{\sigma }\cdot \mathbf{p}{)}^2={\mathbf{p}}^2{I}_2$ and $E_p^2-{\mathbf{p}}^2=m^2$ make the remaining coefficient zero. There are two independent two-component choices ${\chi }_s$, soFor a massive Dirac spinor, choose ${\chi }_s$ as the two rest-frame spin states along a fixed axis, for example ${\sigma }_3{\chi }_s=\pm {\chi }_s$. The label $s$ distinguishes these canonical spin states after boosting; it is not automatically a helicity label.

Now $p\cdot x_P=p_P\cdot x$ and ${\gamma }^0{u}_s(p)=u_s(p_P)$ for the same fixed ${\chi }_s$. ThereforeThe parity action on canonical massive spin states leaves the canonical spin label unchanged while reversing the momentum. Spin is an axial vector under parity; its orientation is unchanged. Consequently helicity, the projection of spin along momentum, reverses. If $s$ had instead been chosen to denote helicity, the transformed label would have the opposite sign.

The Dirac adjoint is $\bar{\psi }={\psi }^{†}{\gamma }^0$, with ${\gamma }^{0†}={\gamma }^0$. ThusThe chirality matrix has ${\gamma }^5=i{\gamma }^0{\gamma }^1{\gamma }^2{\gamma }^3=\left(\begin{array}{cc}0& I_2\\ I_2& 0\end{array}\right)$ in this representation, so $({\gamma }^5{)}^2=I_4$ and it anticommutes with every ${\gamma }^{\mu }$. In particular ${\gamma }^0{\gamma }^5{\gamma }^0=-{\gamma }^5$. The parity transformation of a Dirac bilinear therefore yieldsThe first bilinear is a scalar under parity, whereas the second is a pseudoscalar.

For the requested gamma matrix trace identities, use the cyclic property of the trace. Conjugation of a product of $n$ gamma matrices by ${\gamma }^5$ multiplies it by $(-1{)}^n$, but leaves its trace unchanged. All odd products therefore have zero trace. Taking the trace of the Clifford algebra relation and using $\mathrm{Tr}{I}_4=4$ gives $\mathrm{Tr}({\gamma }^{\alpha }{\gamma }^{\beta })=4g^{\alpha \beta }$. For four factors, move the first gamma matrix successively past the next three using the anticommutators. If $A=\mathrm{Tr}({\gamma }^{\alpha }{\gamma }^{\beta }{\gamma }^{\rho }{\gamma }^{\delta })$, this givesThus $A=4(g^{\alpha \beta }{g}^{\rho \delta }-g^{\alpha \rho }{g}^{\beta \delta }+g^{\alpha \delta }{g}^{\beta \rho })$. Contracting with the relevant four-vectors proves all four answers:

The original PDF contains three algebraic misprints in this question. The second internal four-momentum must consistently be $r_k^{\prime }$, since it is defined by $r_k^{\prime }=q_k-p^{\prime }=r_i-q_j$. Its Dirac propagator denominator is $(r_k^{\prime }{)}^2-m^2$, including after contracting the first photon; the printed plus sign is incorrect. Finally, the middle-photon contraction must retain the mass term in both remaining Dirac propagator numerators. The following calculation keeps the electron mass and proves the corrected identities.

Write $r=p-q_i$, $R=q_k-p^{\prime }=r-q_j$ and introduceHere $F$ is the matrix part of the Dirac propagator, with the overall factors of $i$ kept in the common amplitude convention. The Clifford algebra proves $D(l)F(l)=F(l)D(l)=I$. At tree level the intermediate lines here are off their mass shell, so this inverse can be used directly; the usual Feynman i-epsilon prescription defines its continuation at poles. With $C=(ie{)}^3$, the consistently routed tensor isThe external Dirac equations are $(/p-m)u(p)=0$ and $\bar{v}(p^{\prime })(/p^{\prime }+m)=0$.

For the photon at the electron end, $/q_i=/p-/r$ and hence $/q_{i}u=-D(r)u$. Multiplication by $F(r)$ removes that internal line, givingFor the middle photon, $/q_j=D(r)-D(R)$. Associativity, without any commuting of gamma matrices, givesThereforeOmitting the two mass numerators changes this expression bywhich need not vanish. For a concrete counterexample take $m=1$, $p=(2,0,0,\sqrt{3})$, $p^{\prime }=(2,0,0,-\sqrt{3})$ and outgoing photon momenta $q_1=(1,1,0,0)$, $q_2=(6/5,2/5,4\sqrt{2}/5,0)$, $q_3=(9/5,-7/5,-4\sqrt{2}/5,0)$. All external momenta are on shell and conserve four-momentum. Choose the upper two-spinor $(1,0{)}^T$ for $u$ and the lower two-spinor $(1,0{)}^T$ for $v$, with the other blocks fixed by the Dirac equations. For $(i,j,k)=(1,2,3)$ and $(\mu ,\sigma )=(0,3)$, the correct middle contraction divided by $C$ is $1/3$, whereas the expression with the mass numerators omitted is $5/27$. Thus the printed middle identity is not valid for a massive electron.

At the positron end, $q_k=R+p^{\prime }$. The adjoint Dirac equation gives $\bar{v}/q_k=\bar{v}(/R-m)=\bar{v}D(R)$, so the remaining requested contraction isThe opposite signs at the two ends are precisely what makes the Ward identity work.

There is one Feynman diagram for each order in which the three outgoing photons attach to the electron line. Their orders, encountered from the incoming electron to the incoming Positron, are $(1,2,3)$, $(1,3,2)$, $(2,1,3)$, $(2,3,1)$, $(3,1,2)$ and $(3,2,1)$.

The straight-line arrows indicate fermion flow; the incoming Positron momentum is opposite to its line's fermion flow. Each wavy branch is an outgoing photon, and the order shown in a panel fixes the two internal Dirac propagators.

To prove the full three-photon fermion Ward identity, replace the photon polarization vector of one fixed photon $\ell$ by its four-momentum $q_{\ell }$. Fix the order $(a,b)$ of the other two photons and write ${\Gamma }_a=/{ϵ}_a$, ${\Gamma }_b=/{ϵ}_b$. There are exactly three positions for photon $\ell$ relative to that order. By the three contractions just derived, their contributions, divided by $C$, areFour-momentum conservation $p+p^{\prime }=q_{\ell }+q_a+q_b$ identifies the shared internal momenta in these expressions. The three terms cancel exactly. Repeating for the other order $(b,a)$ covers all six Feynman diagrams, and provesIndividual Feynman diagrams generally fail this test; their complete sum is essential. By linearity in each photon polarization vector, the result also proves $\mathcal{A}({ϵ}_{\ell }+c{q}_{\ell })=\mathcal{A}({ϵ}_{\ell })$. The amplitude is gauge invariant: a pure-gauge external photon polarization decouples, and the physical scattering amplitude depends only on the two transverse photon polarizations. This is the tree-level Ward identity for this process in quantum electrodynamics.