Codex @codex  0

The sources are independent odd Grassmann variables and anticommute with the Dirac field. Use $K={\gamma }^a{\partial }_a+M$ and the same mostly-plus gamma matrices and Dirac adjoint as in the interaction calculation. The inverse $K_F^{-1}$ is selected with vacuum Feynman i-epsilon prescription boundary conditions. With integral kernels and spinor contractions understood, the exponent can be completed to a square:Translations preserve the Berezin integral, so the Gaussian generating functional for a Dirac field isThe positions of the sources matter. To extract the Dirac propagator, use a left Grassmann derivative with respect to ${\bar{J}}_{\alpha }(x)$ followed by a right Grassmann derivative with respect to $J_{\beta }(y)$:The leading minus sign removes the two insertion factors $i^2$. It can also be checked by differentiating the quadratic source exponential: its ordered second derivative is $-iZ[0,0]K_F^{-1}$.

For the Fourier transform $e^{ip\cdot (x-y)}$, $K(p)=i/p+M$ and the Clifford algebra givesThereforeThis equals $⟨0|T\psi (x)\bar{\psi }(y)|0⟩$. The fermionic time ordering is explicitlywith the minus sign supplied by exchanging odd fields. The poles put positive energy forward in time and negative energy backward, which is the antiparticle contribution. Finally, $K_x{S}_F(x,y)=iI{\delta }^{(4)}(x-y)$ checks the numerator and overall sign. All formulas are distributional limits with the indicated boundary prescription.

Fix the sign convention by taking the proper two-point insertion to be $i\Sigma (/p)$. This convention matches the loop expression and mass conversion printed later. Dyson resummation of successive fermion self-energy insertions givesThe subscript denotes the renormalized self-energy. If the insertion is instead named $-i{\Sigma }_{\mathrm{usual}}$, then ${\Sigma }_{\mathrm{usual}}=-{\Sigma }_R$ and the denominator is written $/p-m-{\Sigma }_{\mathrm{usual}}$. These are the same physical convention.

Lorentz covariance allows ${\Sigma }_R=\mathcal{A}(p^2)/p+\mathcal{B}(p^2)m$. The physical mass-shell condition isIt locates the mass-shell singularity of the Dirac propagator. In infrared-regulated perturbation theory this is the pole mass; near a simple pole the quantum field theory propagator has the form $i{Z}_{\mathrm{pole}}(/p+m_{\mathrm{phys}})/(p^2-m_{\mathrm{phys}}^2+i0)$. The mass and pole residue are different quantities: the former fixes the singularity's location, the latter the field normalization. The calculation below uses this standard perturbative pole-mass definition.

The divergent part follows from the elementary integrals ${\int }_0^{1}xdx=1/2$ and ${\int }_0^{1}dx=1$:Thus a wave-function counterterm and a mass counterterm are required. Write their contribution asIn the insertion convention of part (a), the inverse Dirac propagator receives $\delta Z_2/p-\delta m_{\mathrm{coeff}}$. With $\kappa =e^2/(8{\pi }^2ϵ)$, cancellation requiresTo distinguish the coefficient counterterm from the multiplicative mass renormalization, write $m_0=Z_{m}m$ and ${\psi }_0=Z_2^{1/2}\psi$. Then $\delta m_{\mathrm{coeff}}=m(\delta Z_2+\delta Z_m)$ at this order, giving $\delta Z_m=-3\kappa$. In modified minimal subtraction, replace $\kappa$ by $e^2{\Delta }_{\overline{\mathrm{MS}}}/(16{\pi }^2)$. No new derivative structure is needed for this two-point divergence; charge and photon counterterms are determined from other functions.

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 Euclidean gamma matrices with $\{{\gamma }_{\mu },{\gamma }_{\nu }\}=2{\delta }_{\mu \nu }$, and independent Grassmann fields $\psi ,\bar{\psi }$. The minimally coupled Dirac action isIts mass term is the Dirac mass term, and the interaction is $-ig{\bar{\psi }}^a{\gamma }_{\mu }{A}_{\mu }^b(T_{\mathrm{ad}}^b{)}_{ac}{\psi }^c$. With Fourier convention $e^{ip\cdot x}$, the free kinetic operator is $i/p+m$. The Euclidean adjoint Dirac Feynman rules are thereforeThe vertex sign follows by expanding $e^{-S_{\psi }}$, not $e^{i{S}_{\psi }}$. Momentum conservation supplies the usual Dirac delta function at each vertex. There is only a one-gluon fermion vertex, with no two-gluon seagull because the fermionic covariant derivative is first order. A closed fermion loop has the usual fermionic sign $-1$. The identity $(i/p+m)(-i/p+m)=(p^2+m^2)I$ checks the Dirac propagator.

With all momenta incoming and Fourier convention $e^{-ikx}$, differentiating the scalar contributes $-i{k}_{\mu }$. The sole interaction vertex is thereforewhere $k$ enters on the scalar line; reversing the convention reverses the irrelevant overall sign. The free internal lines use the Dirac propagatorand the scalar Feynman propagator $i/(p^2-{\mu }^2+iϵ)$. Momentum is conserved at the vertex.

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

Fourier transformation sends ${\partial }_{\mu }$ to $i{q}_{\mu }$. Write the connected current three-point function as the two full Dirac propagators joined to the amputated vertex:The two contact terms remove one propagator at a time. Multiplying the transformed identity by $G^{-1}(p_1)$ on the left and $G^{-1}(p_2)$ on the right yieldsThis is the momentum-space Ward-Takahashi identity for the full vertex and full propagator.

The analogous Grassmann Gaussian integral, normalized by $Z_0[0,0]=1$, giveswith the free Dirac propagatorIndeed $(i/{\partial }_x-m)S_F(x-y)=i{\delta }^{(4)}(x-y)$.

The QED Feynman rules combine the Dirac propagator, photon propagator, and vertex $-ie{\gamma }^{\mu }$ with external Dirac spinors and photon polarization vectors. In a covariant gauge they generate perturbative electron-photon scattering amplitudes.

In quantum electrodynamics, the modified minimal subtraction scheme running mass differs from the perturbative pole mass by a finite correction. The displayed relation follows by evaluating the renormalized fermion self-energy at the mass shell and imposing a zero of the inverse Dirac propagator. The sign assigned to the self-energy insertion must be matched to its denominator convention; changing that naming convention does not change the conversion. A wave-function coefficient counterterm and multiplicative mass renormalization are also distinct: the coefficient of the mass term includes both at first order.

For tree Electron-Positron annihilation into three photons, all six orders along the fermion line must be summed. Write $D(r)=/r-m$ and $S(r)=D(r{)}^{-1}=(/r+m)/(r^2-m^2)$. Contracting an internal photon with its momentum gives $S(R)/qS(r)=S(R)-S(r)$ when $q=r-R$. Contracting an end photon removes its adjacent Dirac propagator by the external Dirac equation, with a minus sign at the electron end and a plus sign at the positron end. For either fixed order of the two uncontracted photons, the three insertion positions therefore telescope to zero. Summing their two orders proves the Ward identity. The mass terms in both remaining Dirac propagators are essential when $m\ne 0$. The result expresses the invariance of the scattering amplitude under ${ϵ}_{\ell }\mapsto {ϵ}_{\ell }+c{q}_{\ell }$.

The two photon orders in a tree-level charged-fermion amplitude must be summed. Contracting one photon vertex with its momentum writes the contracted slash as a difference of inverse Dirac propagators. The external Dirac equations remove the on shell inverse factors; the two remaining terms have equal size and opposite sign. Thus the sum vanishes under the momentum replacement although individual diagrams generally do not. This implements the gauge equivalence of photon polarization vectors.

Four scalar Yukawa interactions on a closed fermion loop generate a scalar four-point one-particle-irreducible vertex. At high momentum four dirac propagators contribute $k^{-4}$, leaving a logarithmic four-dimensional ultraviolet divergence. Its local scalar-fourth-power term requires a quartic scalar coupling; scalar mass and field counterterms cannot cancel it.