Codex @codex  0

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.

A constant phase leaves the photon unchanged and makes every QED interaction vertex invariant: its one $\psi$ and one $\bar{\psi }$ acquire opposite phases. Thus the propagators and vertex factors in the QED Feynman rules are unchanged. A Green function with $n$ insertions of $\psi$ and $\bar{n}$ of $\bar{\psi }$ acquires the phase $e^{ie\chi (n-\bar{n})}$. For an invariant vacuum it can be nonzero only when its total inserted charge is zero.

Equivalently, the conserved charge operator $Q$ commutes with the S-matrix. If initial and final states have charges $Q_i,Q_f$, thenThe scattering charge selection rule from global gauge symmetry is thereforeIn diagrams the oriented fermion lines preserve charge at every vertex, and a photon is neutral. Pair creation is allowed because a particle and its antiparticle have opposite charges. Global phase invariance supplies this selection rule; local gauge invariance supplies the stronger momentum-dependent Ward-Takahashi identity.

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.

Take the muon mass to be $m_{\mu }$, and use the quantum electrodynamics convention ${\mathcal{L}}_{\mathrm{int}}=-e\bar{\psi }{\gamma }^{\mu }\psi A_{\mu }$ with $e>0$. Let $p_1,p_2$ be the incoming muon and antimuon momenta and $k_1,k_2$ the outgoing photon momenta, so $p_1+p_2=k_1+k_2$. External particles are on shell: $p_1^2=p_2^2=m_{\mu }^2$ and $k_1^2=k_2^2=0$. The two tree-level Feynman diagrams are the two orders in which the photon legs attach to the muon line. There is no three-photon QED vertex, and therefore no single-photon annihilation diagram into two photons at this order.

The QED Feynman rules needed here are the vertex $-ie{\gamma }^{\mu }$, the Dirac propagatoran incoming muon spinor $u(p_1)$, an incoming antimuon adjoint $\bar{v}(p_2)$, and an outgoing photon polarization ${ϵ}_{\mu }^{\ast }(k)$. At a vertex enforce four-momentum conservation. Spinor products are ordered along the fermion line; exchanging the external photons introduces no relative minus sign. Define $R(q)=(/q+m_{\mu })/(q^2-m_{\mu }^2+i0)$ and $/ϵ={\gamma }^{\mu }{ϵ}_{\mu }$.

With the convention that a diagram contributes $i\mathcal{M}$, the two muon-antimuon annihilation amplitudes areTheir denominators are respectively $t-m_{\mu }^2+i0$ and $u-m_{\mu }^2+i0$, where $t=(p_1-k_1{)}^2$, $u=(p_1-k_2{)}^2$. A different consistent overall amplitude-phase convention has no physical effect.

A physical photon polarization vector obeys $k\cdot ϵ=0$, and represents an equivalence class $ϵ\sim ϵ+\alpha k$. For a real null momentum, adding $\alpha k$ preserves transversality. One can additionally choose transverse spatial vectors with ${ϵ}^0=0$ and ${ϵ}^{\ast }\cdot ϵ=-1$; there are two independent physical polarizations. The equivalence class removes the unphysical longitudinal direction, rather than imposing four independent physical polarization states.

The invariance of the total amplitude is a two-photon fermion Ward identity. Replace ${ϵ}_1^{\ast }$ by $k_1$ and put $q_t=p_1-k_1$, $q_u=p_1-k_2=k_1-p_2$. The external Dirac equations giveAway from propagator poles, $R(q)(/q-m_{\mu })=(/q-m_{\mu })R(q)=I$; the identity extends with the common Feynman prescription. ThereforeThe two terms in the bracket then give $-\bar{v}/{ϵ}_2^{\ast }u$ and $+\bar{v}/{ϵ}_2^{\ast }u$, which cancel. Exchanging photon labels proves the second Ward identity. Thus the sum is unchanged under ${ϵ}_i\mapsto {ϵ}_i+\alpha k_i$ for either photon. Neither diagram is generally gauge-invariant separately. Physically, longitudinal pure-gauge polarization does not couple to the observable scattering amplitude; only the two transverse photon degrees of freedom contribute.

For Compton scattering write the incoming momenta as $p,k$ and outgoing momenta as $p^{\prime },k^{\prime }$, with $p+k=p^{\prime }+k^{\prime }$. The outgoing muon contributes $\bar{u}(p^{\prime })$, the incoming photon contributes $ϵ(k)$ without conjugation, and the outgoing photon contributes ${ϵ}^{\prime \ast }(k^{\prime })$. The two tree-level Compton amplitudes areThese are the lower two diagrams. Their intermediate muon momenta are $p+k$ and $p-k^{\prime }$, with denominators $s-m_{\mu }^2+i0$ and $u-m_{\mu }^2+i0$. The first attaches the incoming photon before the outgoing photon along fermion flow; the second reverses that attachment order. Both contribute at order $e^2$ in the amplitude.

Compton scattering has one incoming and one outgoing muon and one photon on each side; annihilation has an incoming particle-antiparticle pair and two outgoing photons. Accordingly the external spinors/polarizations and physical Mandelstam channels differ, although both arise from the same two-vertex QED matrix element. Crossing symmetry relates them by continuing $p_2\mapsto -p^{\prime }$ and one outgoing photon momentum $k_1\mapsto -k$, with the corresponding external wavefunction replacements. The annihilation $t$ channel becomes the Compton $s$ channel and the other channel becomes its $u$ channel. Identical final photons require a factor $1/2!$ in an annihilation phase-space integral over an otherwise double-counted full final-state region; there is no analogous final-state identical-particle factor for the muon-photon Compton final state. Gauge cancellation holds for the summed Compton amplitude as well.

Use units $\hslash =c=1$, the Minkowski metric ${\eta }_{ab}=\mathrm{diag}(1,-1,-1,-1)$, and the Fourier transform convention $f(x)=\int d^{4}p{e}^{-ip\cdot x}\tilde{f}(p)/(2\pi {)}^4$. Here gamma matrices satisfy $\{{\gamma }^a,{\gamma }^b\}=2{\eta }^{ab}{I}_4$, and $\bar{\psi }={\psi }^{†}{\gamma }^0$ is the Dirac adjoint. A single Dirac field describes both Electrons and Positrons; these are the particle and antiparticle sectors of that field.

The free Maxwell Lagrangian and Dirac action, with a linear covariant gauge condition for the photon, giveBefore gauge fixing, the Maxwell Lagrangian has zero modes in field theory along $A_a\mapsto A_a+{\partial }_a\lambda$, so its quadratic operator cannot be inverted on all potentials. In the linear Lorenz gauge, the Faddeev-Popov determinant is $\det \square$. It is independent of $A$ and may be absorbed into the normalization; the corresponding Faddeev-Popov ghost fields have no interacting vertices in this Abelian linear gauge. A residual gauge symmetry is removed by the specified boundary conditions.

The free generating functional isThe Dirac field variables and their sources are independent Grassmann fields in this path integral. They anticommute; replacing them by ordinary commuting fields would give the wrong statistics and the wrong functional determinant. The bosonic Gaussian functional integral contributes an inverse square root of a determinant, and the Grassmann Gaussian integral contributes a determinant. If $K_A$ is the photon quadratic operator and $K_D=i{\gamma }^a{\partial }_a-m$, completing the square givesIn the last expression $D_F=i{K}_A^{-1}$ and $S_F=i{K}_D^{-1}$ are the photon propagator and Dirac propagator, with Feynman i-epsilon prescription. The products include the appropriate spacetime integrals and index contractions. Functional derivatives with respect to $J$, and consistently ordered left or right Grassmann derivatives with respect to the fermionic sources, generate the time ordering of the corresponding fields. In Feynman gauge, $\alpha =1$, the momentum-space two-point functions areThe Feynman i-epsilon prescription specifies vacuum boundary conditions rather than an arbitrary inverse of the differential operator.

The covariant photon propagator uses four potential components. Its operator formalism counterpart is Gupta-Bleuler quantization: impose $({\partial }_a{A}^a{)}^{(+)}|\mathrm{phys}⟩=0$ and take the Gupta-Bleuler null-state quotient. This leaves a positive physical state space with two transverse photon polarization vectors. The temporal and longitudinal oscillator components occur in intermediate covariant expressions; the Ward identity removes their dependence from physical amplitudes. The free Dirac field uses the canonical anticommutation relations, producing the same fermionic signs as its Grassmann fields in the path integral.

The operator-path-integral equivalence can be seen directly with a regulator. Divide time into small intervals and insert complete sets of field-coordinate states for bosons, and resolutions in fermionic coherent states for fermions. The bosonic matrix elements produce the phase-space factor $\exp i\sum [\pi \Delta \varphi -H\Delta t]$; integrating out the quadratic canonical momentum produces the bosonic action. The fermionic coherent state overlaps produce the first-order term $i{\psi }^{†}\dot{\psi }$ and the Berezin integral measure. Multiplying the short-time kernels recovers the path integral. Projecting the remote endpoints onto the Fock vacuum with an infinitesimal damping selects the same Feynman propagators as the operator formalism. Field insertions become time-ordered products under this construction. Conversely, their quadratic generating functional obeys the canonical free-field equations and has precisely the oscillator two-point functions, so its higher free correlators agree by the Wick theorem. This establishes the equivalence for the regulated free theory and order by order in the perturbation series.

To couple the matter field electromagnetically, promote its global phase symmetry to the local transformationThe gauge covariant derivative $D_a={\partial }_a+ie{A}_a$ obeys $D_a^{\prime }{\psi }^{\prime }=e^{-ie\lambda }{D}_a\psi$. Replacing ${\partial }_a$ by $D_a$ in the Dirac action therefore gives the invariant matter densityThe electromagnetic field tensor is unchanged by the local transformation. Thus the unfixed quantum electrodynamics action is gauge-invariant. The Dirac current $j^a=\bar{\psi }{\gamma }^a\psi$ is conserved by the matter equations, and the Electron and Positron excitations carry opposite charges. The added gauge fixing density selects a representative and is not itself invariant under arbitrary local transformations; it does not change gauge-invariant observables. At a free fermion vertex,For external on-shell Dirac spinors the corresponding current contraction vanishes. The quantum extension is the Ward identity, which makes physical amplitudes insensitive to adding a multiple of the photon momentum to its polarization vector. A gauge-compatible regularization preserves this vector-current identity.

With ${\mathcal{L}}_{\mathrm{int}}=-e\bar{\psi }{\gamma }^a\psi A_a$, expand $\exp (i\int {\mathcal{L}}_{\mathrm{int}})$ in powers of $e$. A term of order $n$ contains $n$ spacetime integrations and $1/n!$. Applying the Wick theorem pairs the free fields: an $A$-$A$ Wick contraction supplies a photon propagator, and a $\psi$-$\bar{\psi }$ Wick contraction supplies an oriented Dirac propagator. Each insertion supplies an interaction vertex. The permutations of contractions cancel the expansion factorials except for the Feynman-diagram symmetry factor. Interchanging Grassmann fields produces the fermionic sign, including a minus sign for every closed fermion loop. This is how Feynman diagrams arise from expectation values, rather than an extra dynamical assumption.

The normalized vacuum generating functional removes components with no external insertions. In the operator formalism, for an interacting-vacuum expectation value of an inserted product $\mathcal{O}$, the same cancellation appears asVacuum projection and the Feynman i-epsilon prescription are implicit. The linked-cluster theorem exponentiates all connected vacuum bubbles into the same factor in numerator and denominator, so it cancels. Normalize by $Z[0]$ to remove every vacuum component. This cancellation of vacuum bubbles still leaves products of disconnected diagrams that each contain external insertions. If only connected correlators are wanted, differentiate the connected generating functional $W=-i\log [Z[J,\bar{\eta },\eta ]/Z[0]]$.

The resulting momentum-space QED Feynman rules for the bare theory can be stated in Feynman gauge as follows:

The illustrated interaction vertex has incoming fermion momentum $p$, incoming photon momentum $k$, and outgoing fermion momentum $p^{\prime }=p+k$. Its solid-line arrows indicate fermion flow. The photon wavy line has no fermion-flow arrow. The propagators, the vertex $-ie{\gamma }^a$, momentum conservation, and the fermionic signs determine the perturbative amplitudes.

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

The required QED Feynman rules are the electron-photon vertex $-ie{\gamma }^{\mu }$, the internal electron propagatorthe external spinors $u(p,s)$ and $\bar{u}(p^{\prime },s^{\prime })$, and photon factors ${ϵ}_{\mathrm{in}}^{\nu }$ and ${ϵ}_{\mathrm{out}}^{\ast \mu }$. Momentum conservation is imposed at both vertices.

Multiplying the QED Feynman rules in fermion-line order gives, up to the common convention for $i\mathcal{M}$,The two terms are both required by the Ward identity; replacing either external polarization by its photon momentum makes their sum vanish after using momentum conservation and the external Dirac equations.

The one-loop graph is a fermion line that emits and reabsorbs one internal photon:

The QED Feynman rules assign $(-ie{\gamma }^{\mu })(-ie{\gamma }^{\nu })$ to the two vertices, the Feynman-gauge photon propagator contracts $\mu$ and $\nu$ and contributes ${\delta }_{\mu \nu }/(p-k{)}^2$, and the internal Dirac propagator is $(-i/k+m)/(k^2+m^2)$. Hence

A gauge symmetry is a local redundancy in the fields used to describe one physical state. With metric signature $(+---)$, defineThe quantum electrodynamics Lagrangian isUnder the local U(1) gauge symmetryone has $D_{\mu }\psi \mapsto e^{-ie\chi }{D}_{\mu }\psi$ and $F_{\mu \nu }\mapsto F_{\mu \nu }$. Both terms in the Lagrangian are therefore invariant.

In Feynman gauge, the momentum-space QED Feynman rules are:

One integrates each undetermined loop momentum, includes a factor $-1$ for each closed fermion loop, and imposes overall momentum conservation. None of the following tree diagrams contains a loop.