Codex @codex  0

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.

Use the momentum-space Feynman rules with all momenta conserved at each vertex. The free scalar propagator, free Dirac propagator and pseudoscalar Yukawa interaction vertex are respectivelyThe Dirac propagator follows by multiplying the inverse kinetic matrix $/p-m$ by $/p+m$, using the Clifford algebra to obtain $(/p-m)(/p+m)=(p^2-m^2)I_4$. The vertex follows by expanding $e^{i{S}_{\mathrm{int}}}$ once: there is no factorial because it has one scalar and two distinct spinor field factors. An internal scalar has no spinor indices; an internal fermion line carries the displayed matrix with its momentum directed along fermion flow.

These rules use the coefficient exactly as printed. With the standard Hermitian ${\gamma }^5=i{\gamma }^0{\gamma }^1{\gamma }^2{\gamma }^3$, the Hermiticity of a pseudoscalar Dirac bilinear gives $(\bar{\psi }{\gamma }^5\psi {)}^{†}=-\bar{\psi }{\gamma }^5\psi$. A Hermitian physical interaction therefore requires ${\lambda }^{\ast }=-\lambda$; writing $\lambda =ig$ with real $g$ changes the vertex to $g{\gamma }^5$. This convention issue does not alter the formal rules above, and no unstated real-coupling assumption is needed.

Take incoming electron momentum $p$ and positron momentum $q$, with outgoing photon momenta $k_1,k_2$, so $p+q=k_1+k_2$. The leading electron-positron annihilation into two photons has two tree-level Feynman diagrams, differing by the order in which the two outgoing photons attach to the charged-fermion line.

The arrows indicate fermion flow. An incoming positron has the opposite flow direction to its physical momentum; the lower row uses an outgoing electron instead.

The required QED Feynman rules, with interaction $-e\bar{\psi }{\gamma }^{\mu }\psi A_{\mu }$, are a vertex $-ie{\gamma }^{\mu }$, a Dirac propagator $i(/r+m)/(r^2-m^2+i0)$, an incoming electron spinor $u(p)$, an incoming positron adjoint $\bar{v}(q)$, and an outgoing photon polarization ${ϵ}_{\mu }^{\ast }(k)$. Here Feynman slash notation means $/a={\gamma }^{\mu }{a}_{\mu }$, and the external Dirac equations are $(/p-m)u(p)=0$ and $\bar{v}(q)(/q+m)=0$.

Put $\mathcal{S}(r)=(/r+m)/(r^2-m^2+i0)$, omitting only the propagator's overall factor $i$. Multiplying the two vertices and the propagator givesThe diagrammatic expression is $i\mathcal{M}$. The relative sign is plus because the two photons are bosons; exchanging their attachments does not exchange external fermions. The amplitude is of order $e^2$.

A physical photon polarization vector obeys $k^2=0$ and $k\cdot ϵ=0$, with the gauge equivalence $ϵ\sim ϵ+\alpha k$. One can choose a transverse representative with ${ϵ}^0=0$ and normalize ${ϵ}^{\ast }\cdot ϵ=-1$. There are two physical transverse polarizations.

To prove the requested two-photon fermion Ward identity, replace ${ϵ}_1^{\ast }$ by $k_1$. Away from an internal pole, $\mathcal{S}(r)$ is the inverse of $/r-m$, with the boundary prescription understood. The first term simplifies becauseFor the second term, four-momentum conservation gives $k_1=(p-k_2)+q$, soThe two contributions are therefore $-\bar{v}/{ϵ}_2^{\ast }u$ and $+\bar{v}/{ϵ}_2^{\ast }u$, which cancel. Interchanging the photon labels proves the other contraction vanishes. By linearity, adding a multiple of either photon momentum to its polarization leaves the summed amplitude unchanged. This is gauge invariance: longitudinal gauge representatives do not describe an additional physical photon state. An individual diagram does not generally have this property.

For Compton scattering, let $p,k$ be incoming electron and photon momenta and $p^{\prime },k^{\prime }$ the outgoing ones. The diagrams in the lower row have intermediate electron momenta $p+k$ and $p-k^{\prime }$ respectively. The same QED Feynman rules giveTheir denominators are $(p+k{)}^2-m^2+i0$ and $(p-k^{\prime }{)}^2-m^2+i0$, the $s$- and $u$-channel denominators. In annihilation the two exchanged-electron channels instead carry $p-k_1$ and $p-k_2$. Crossing symmetry relates the two expressions by moving the positron to an outgoing electron and one outgoing photon to an incoming photon, with the corresponding momentum and polarization replacements. There is no two-photon contact vertex for the minimally coupled Dirac electron. Both processes require the sum of the two photon orders to satisfy the Ward identity.