Codex @codex  0

Furry's theorem states that photon-only vacuum correlation functions with an odd number of insertions vanish in charge conjugation-invariant quantum electrodynamics. Each electromagnetic current or photon field is odd under charge conjugation, so an invariant vacuum makes the correlation function equal to minus itself.

Diagrammatically, reversing a charged-fermion loop cancels its partner when it has an odd number of photon attachments, with the relevant complete set of contributions included. The restriction concerns the specified insertions and symmetries. It is too broad to forbid every process with an odd number of photons merely because no charged external particle appears: another neutral source can itself carry odd charge-conjugation quantum number. Charged external states also require a separate transformation analysis.

At order $e^4$, the open electron line can carry an internal-electron self-energy, a correction at either photon vertex, or a virtual photon spanning both vertices. Include the crossed external-photon order for each class. External-electron self-energies and external-photon vacuum polarization insertions appear in unamputated functions and are treated by LSZ reduction and field residues in physical amplitudes. A closed loop with three photon vertices cancels between orientations by Furry's theorem. Renormalized calculations also include the mass, field and vertex counterterms of the same perturbative order.

The massive Dirac propagator isUse the gamma matrix trace identities $\mathrm{tr}{\gamma }^{\mu }=0$ and $\mathrm{tr}({\gamma }^{\mu }{\gamma }^{\rho })=4g^{\mu \rho }$. They giveThe integrand is odd under $k\mapsto -k$, and dimensional regularization preserves that symmetry. The same vanishing holds for $S=i{S}_F$. One must not assert that $S(0)$ itself is zero: its term proportional to $m1$ generally is nonzero and divergent, but its trace against a single gamma matrix is zero. This one-photon fermion loop is also the simplest instance of Furry's theorem.

Use the source's charge-conjugation matrix convention $C{\gamma }^{\mu }{C}^{-1}=-({\gamma }^{\mu }{)}^T$. It impliesA trace equals the trace of its matrix transpose, which reverses the order of all factors. Inserting the displayed identities givesThere is one minus sign from each of the three photon interaction vertices, and none from the transformed Dirac propagators. In the last line, change loop momentum to ${\ell }^{\prime }=-\ell -k_1$. Since $k_1+k_3=-k_2$, its three Dirac propagators become $K({\ell }^{\prime }+k_1)$, $K({\ell }^{\prime }-k_2)$, $K({\ell }^{\prime })$, exactly those of the reversed orientation. HenceThis is Furry's theorem. The regularization in quantum field theory matters: the individual Feynman integrals are superficially divergent, so an unregulated shift of a divergent integral is not a proof. A common dimensional regularization preserves charge conjugation and the vector Ward identity, making the change of variables legitimate. No chirality matrix occurs, so the axial triangle anomaly is not involved.

For an $n$-vertex fermion loop, reversing the fermion flow reverses the ordered product inside its trace. The same charge-conjugation matrix calculation transforms every Dirac propagator by $p\mapsto -p$ and contributes $-1$ for each vector photon interaction vertex. Relabel the loop momentum so that the external labels are fixed. The reversed Feynman diagram therefore obeysFor odd $n\ge 3$, the $(n-1)!$ cyclic orders pair into opposite orientations and cancel. For $n=1$, the single photon tadpole maps into itself with a minus sign and is zero. The common closed fermion loop sign is present on both sides and does not supply the factor $(-1{)}^n$. This proves Furry's theorem for all the requested one-loop Feynman diagrams. The charge conjugation argument also gives vanishing odd-photon correlation functions to all orders in vacuum QED, provided no charge conjugation symmetry breaking background or charged external state is introduced.

Use signature $(+,-,-,-)$ and electron charge $q=-e$, with $e>0$. Then ${\mathcal{L}}_{\mathrm{int}}=-q\bar{\psi }{\gamma }^{\mu }\psi A_{\mu }=+e\bar{\psi }{\gamma }^{\mu }\psi A_{\mu }$. Write the process as $e^{-}(p,s)+\gamma (k,ϵ)\to e^{-}(p^{\prime },s^{\prime })+\gamma (k^{\prime },{ϵ}^{\prime })$. Physical external states satisfyand the photon polarization vectors obey $k\cdot ϵ=k^{\prime }\cdot {ϵ}^{\prime }=0$. Choose unit physical polarizations with ${ϵ}^{\ast }\cdot ϵ={ϵ}^{\prime \ast }\cdot {ϵ}^{\prime }=-1$; representatives differing by a multiple of the corresponding null momentum describe the same physical polarization. The external spinors obey $(/p-m)u(p)=0$, $\bar{u}(p^{\prime })(/p^{\prime }-m)=0$, with ${\bar{u}}_s{u}_r=2m{\delta }_{sr}$. Outgoing polarization appears complex conjugated, so this formula includes helicity states as well as real linear polarizations.

The needed QED Feynman rules are a vertex $-iq{\gamma }^{\mu }=+ie{\gamma }^{\mu }$, an internal Dirac propagator $i(/q+m)/(q^2-m^2+i0)$, the external spinors, and the incoming/outgoing photon polarization vectors. There is no internal photon at this order and no elementary two-photon–Dirac seagull vertex. The two photon orderings along the electron line give internal momenta $q_s=p+k$ and $q_u=p-k^{\prime }$. Defining the matrix element by $S_{fi}-{\delta }_{fi}=i(2\pi {)}^4{\delta }^4(p+k-p^{\prime }-k^{\prime })\mathcal{M}$, their sum isThe denominators are $2p\cdot k+i0$ and $-2p\cdot k^{\prime }+i0$. Both terms are essential; this is the tree-level Compton amplitude.

To prove the incoming Ward identity, replace $ϵ$ by $k$ and write $R(q)=(/q+m)/(q^2-m^2)$, with the Feynman boundary prescription understood. The physical nonzero-photon kinematics keeps these tree denominators off the electron pole. Sincethe external Dirac equations implyTherefore the two contracted terms are $\bar{u}(p^{\prime })/{ϵ}^{\prime \ast }u(p)$ and its negative, and cancel. By linearity,This is the two-photon fermion Ward identity. An analogous cancellation holds for the outgoing photon. Gauge-equivalent polarization representatives have the same scattering amplitude, so a longitudinal pure-gauge component is not an extra physical photon state. Individual diagrams do not generally satisfy this identity; their sum does.

For perturbative order, each elementary QED vertex has one photon leg. If $I_{\gamma }$ is the number of internal photon lines and $E_{\gamma }=2$, the vertex parity of a QED amplitude givesThus there is no third-order contribution. At fourth order, $V=4$ and, counting all three legs per vertex with four external legs, $I=(3V-4)/2=4$. A connected graph has loop number $I-V+1=1$.

The nonzero one-loop classes on the open electron line are an internal-electron self-energy insertion, a vertex correction at either external-photon vertex, and a virtual photon spanning both photon vertices, giving the four-point box class. The first figure sketches each class for one photon ordering; interchange the two external photon attachments for its crossed partner. This yields two internal-self-energy graphs, four vertex graphs and two spanning-box graphs. They use the usual photon propagator, for example $-i{g}_{\mu \nu }/({\ell }^2+i0)$ in Feynman gauge.

For completeness, one-loop diagram classes for Compton scattering also depend on whether one is drawing an unamputated correlation function or a physical amplitude. Electron self-energies can be attached to either external electron leg, and photon vacuum polarization can be attached to either external photon leg, for both photon orders. In an on-shell renormalized S-matrix, these are accounted for by LSZ reduction and external-field residues rather than counted again as independent amputated graphs. Photon-leg corrections are not vacuum-polarization insertions on an internal Born photon: there is no such Born line.

At the same fourth order, a renormalized calculation has one mass or electron-field counterterm on the internal electron line, or one vertex counterterm at either Born vertex; the crossed partners are included. Each counterterm is a relative order-$e^2$ correction to the order-$e^2$ tree amplitude. External-field normalization must follow the same convention.

A possible closed electron loop with three photon vertices, linked to the external electron line by a virtual photon, cancels between its two orientations by Furry's theorem. Transposing the loop and using $C^{-1}{\gamma }^{\mu }C=-({\gamma }^{\mu }{)}^T$ gives an extra sign $(-1{)}^3$, so its orientation-reversed partner is its negative. A one-photon tadpole likewise vanishes. Disconnected vacuum bubbles are removed by vacuum normalization. The first genuine radiative corrections are fourth order, with the internal self-energy, vertex and spanning-box classes and their consistently included renormalization terms.

Let $\hat{C}|\Omega ⟩=|\Omega ⟩$. Since charge conjugation sends both $A_{\mu }$ and either Noether current to its negative and commutes with time ordering,For odd $n$ the correlator equals its negative and hence vanishes. This operator argument is exact and does not use a perturbation expansion. It is Furry's theorem: scattering amplitudes with an odd number of external photons and no charged external particles vanish to every order, whereas even-photon scattering is allowed.