Codex @codex  0

Write $f_s=(-1{)}^{1/2-s}$ for $s=\pm 1/2$, so $f_{-s}=-f_s$. Under the antiunitary operator $\hat{T}$, the coefficients and exponentials in the mode expansion of a Dirac field are conjugated as well as the creation and annihilation operators being transformed. ThusRelabel $q=p_T$ and $r=-s$. The stated Dirac spinor identities implyAlso $q_T\cdot x=-q\cdot x_T$. Substitution reconstructs the original Dirac field at the reflected time:The minus sign comes from reversing the spin label, not from anticommuting field operators. This is the relation between the time-reversal matrix and the charge-conjugation matrix in the supplied spin phases and intrinsic phase convention. Rephasing the charge-conjugation matrix or the intrinsic time-reversal phase can change its displayed form. It proves time reversal of a Dirac field without identifying an antiunitary operator with its finite-dimensional spinor matrix.

Let $G$ be a simple Lie group, let $T^a$ be Hermitian matrices for a finite-dimensional unitary representation $R$, and normalizeA matter field $\psi$ transforms locally as ${\psi }^{\prime }(x)=U(x)\psi (x)$, where $U(x)=e^{ig{ϵ}^a(x)T^a}$. An ordinary derivative of $\psi$ does not transform covariantly because it differentiates $U$. Introduce a gauge field $A_{\mu }=A_{\mu }^a{T}^a$ and the gauge covariant derivativeDemanding $D_{\mu }^{\prime }{\psi }^{\prime }=U{D}_{\mu }\psi$ determines the Yang-Mills gauge transformationTo first order in $ϵ$,

The gauge field strength is defined by $[D_{\mu },D_{\nu }]=-ig{F}_{\mu \nu }$:or, in components,Covariance of the commutator givesThe commutator term distinguishes Yang-Mills theory from an Abelian gauge theory and produces cubic and quartic gauge-boson interactions.

For a Dirac field of mass $m$ in $R$, the Lagrangian isEquivalently, the gauge term is proportional to $-\mathrm{tr}(F_{\mu \nu }{F}^{\mu \nu })$. The cyclic property of the trace and $F_{\mu \nu }^{\prime }=U{F}_{\mu \nu }{U}^{-1}$ make it invariant. Unitarity gives ${\bar{\psi }}^{\prime }=\bar{\psi }{U}^{-1}$, while $D_{\mu }^{\prime }{\psi }^{\prime }=U{D}_{\mu }\psi$, so both the matter kinetic term and mass term are invariant. A complex scalar $\varphi$ in a unitary representation may instead be coupled throughprovided the scalar potential $V$ is $G$-invariant.

The simplicity assumption means that the Lie algebra $\mathfrak{g}$ is nonabelian and has no proper nonzero ideal of a Lie algebra. Its Adjoint representation is therefore irreducible, and every invariant symmetric bilinear form is proportional to the Killing form. Consequently the pure gauge kinetic term has one overall gauge coupling for a simple factor. The theory has no independent Abelian gauge direction; if the gauge algebra were a direct sum of simple and Abelian ideals, each factor could instead carry its own coupling. A simple group may still have a discrete center, but this does not add a gauge boson because gauge bosons are indexed by the Lie algebra.

The free massless Dirac field has actionUnder a finite dilation,The measure, derivative, and fields contribute ${\lambda }^4$, ${\lambda }^{-1}$, and ${\lambda }^{-2\Delta }$, so invariance requiresFor $\lambda =e^{\alpha }$, the infinitesimal active variations areThe associated dilatation current isup to an improvement term. Its divergence is the on-shell trace $T^{\mu }{}_{\mu }=0$.

The Dirac field Lagrangian isChoose the Majorana spinorSubstitution shows that its two chiral kinetic terms agree after integration by parts and thatThus ${\mathcal{L}}_D[{\psi }_M]$ equals twice the displayed one-Weyl-field Lagrangian, up to a total derivative.

The lower chiral component of the Dirac equation isPutting $u_R=i{\sigma }^2{u}_L^{\ast }$ gives exactly $i{\bar{\sigma }}^{\mu }{\partial }_{\mu }{u}_L-im{\sigma }^2{u}_L^{\ast }=0$; the upper component is its complex conjugate.

For quantum electrodynamics, $j^{\mu }=\bar{\psi }{\gamma }^{\mu }\psi$ is an operator built from a dynamical Dirac field. Integrating over $\psi ,\bar{\psi }$ generates arbitrarily high powers of $e$, so the Gaussian-source truncation fails.

For the connected photon two-point function, the required diagrams through $e^4$ are: the bare photon line at $e^0$; one fermion-loop photon vacuum polarization insertion at $e^2$; and at $e^4$, a photon line with two successive one-loop polarization insertions together with the two-loop one-particle-irreducible fermion loop whose loop contains one internal photon chord. The latter includes the cyclic placements conventionally interpreted as self-energy and vertex corrections. Counterterm insertions must be added in a renormalized calculation. Disconnected vacuum bubbles cancel against the vacuum normalization.

Use the Dirac representation of the gamma matrices and commuting external-wavefunction components, rather than anticommuting quantum fields. Let $A={\gamma }^0{\gamma }^2$, $B={\gamma }^2{\gamma }^0=-A$, and ${\Gamma }^{\alpha }={\gamma }^{\alpha }(g_V-g_A{\gamma }^5)$. Since $({\gamma }^2{)}^{†}=-{\gamma }^2$ and $v=i{\gamma }^2{u}^{\ast }$,Transpose this scalar and use $({\gamma }^2{)}^T={\gamma }^2$, $B^T=A$ and ${\bar{u}}_B=u_B^{†}{\gamma }^0$:Here $A^2=1$ and $A({\gamma }^5{)}^{T}A={\gamma }^5$. The supplied identity therefore yieldsHenceThe external labels and momenta are exchanged; the scalar constants are transposed, not complex-conjugated. At the level of these numerical fermion bilinears, charge conjugation reverses the relative sign of the vector and axial terms, relating particle and antiparticle weak amplitudes. For $g_V=g_A$, the two displayed spinor chains have opposite chiral projectors. A physical charge-conjugation transformation of an operator current also includes the minus sign from reordering Dirac fields. In particular this numerical identity does not imply equal electric charges for a particle and its antiparticle.

In the supplied Dirac representation, ${\gamma }^5$ exchanges the upper and lower blocks. ThereforeDefine $\eta =[I-\mathbf{\sigma }\cdot \mathbf{p}/(E+m)]\chi$. Acting with this projector givesFor completeness, its two independent components areThe equal-and-opposite block structure verifies ${\gamma }^5{\psi }_L=-{\psi }_L$. Projection isolates a chiral component of the massive Dirac solution; that component alone generally does not satisfy an independent massive Dirac equation, since the mass couples both chiralities.

The lepton mixing matrix relates charged-current neutrino flavour fields to mass eigenfields: ${\nu }_{\alpha L}={\sum }_i{U}_{\alpha i}{\nu }_{iL}$. Nondegenerate masses then give relative propagation phases and flavour oscillations. This is the three-massive-neutrino extension of the minimal massless-neutrino Standard Model.

A unitary three-by-three matrix has nine real parameters: three rotation angles and six phases. For Dirac leptons, the independent field rephasings remove five phases, because one common phase acts trivially. Three angles and one physical Dirac phase remain. For Majorana neutrinos two additional phases cannot be removed, but they cancel from ordinary oscillation probabilities.

The phases printed in the lower two rows do not give a unitary matrix for general $\delta$. A consistent convention is $U=R_{23}{U}_{13}(\delta )R_{12}$, where the real rotations use the indicated mixing angles andThe lower-row phase factors in the resulting full matrix are $e^{+i\delta }$, opposite to the $e^{-i\delta }$ in $U_{e3}$. For the source's all-minus assignment, the scalar product of the electron row with the conjugated muon row is $-2i{s}_{23}{s}_{13}{c}_{13}\sin \delta$, which is nonzero at $\delta =\pi /2$ and nonzero mixing. This supplies an explicit counterexample. The electron-row moduli used below are unaffected by this correction.^[ref]

Read the unsuperscripted $a_{\mathbf{p}}$ in the printed Hamiltonian as $a_{\mathbf{p}}^s$: the repeated spin label is otherwise missing. Relabel $\mathbf{p}\mapsto -\mathbf{p}$ in its antiparticle term, and insert both projections from c. Keeping the original operator ordering givesThe difference of the two orthogonal projectors in a is $h(\mathbf{p})/E$, explaining the cancellation of the factors $E$. Under inverse Fourier transformation, $\mathbf{p}$ becomes $-i\nabla$ acting on $\psi$. HenceSpatial indices run from $1$ to $3$. This is the local Hamiltonian density of the free Dirac field. It also follows from $\mathcal{H}=\pi \dot{\psi }-\mathcal{L}$ with $\pi =i{\psi }^{†}$.

The original antiparticle term is $-b{b}^{†}$, so the result retains its infinite additive vacuum energy. If the Hamiltonian is normal-ordered, its occupation-number expression becomes $\int d^{3}p/(2\pi {)}^{3}E{\sum }_s(a^{s†}{a}^s+b^{s†}{b}^s)$ and its local expression is $:\mathcal{H}:$, with the same subtraction. The displayed unsymmetrized Hamiltonian density is Hermitian after spatial integration under vanishing boundary terms; a manifestly Hermitian local form replaces the derivative term by $-\frac{i}{2}{\psi }^{†}\mathbf{\alpha }\cdot \overleftrightarrow{\nabla }\psi$ and differs by a spatial divergence.

Set $B(x)=\bar{\psi }(x)\psi (x)$, a Grassmann-even Dirac scalar bilinear. Completing the square givesIntroduce external Grassmann sources $\eta ,\bar{\eta }$ for the Dirac field, but no source for $\sigma$. The generating functional isAt a finite regulator the change of variable ${\sigma }^{\prime }=\sigma -gB$ has unit Jacobian: it translates a bosonic integration variable by a Grassmann-even expression independent of that variable. Its oscillatory Gaussian integral can be defined with a convergence prescription and then continued. It is a constant $\mathcal{N}$ independent of $\psi ,\eta ,\bar{\eta }$. ThusThe factor $\mathcal{N}$ cancels in $Z[\eta ,\bar{\eta }]/Z[0,0]$. Every normalized Green function with only external fermion lines is a Grassmann source derivative of this same normalized generating functional, soThis is an exact Hubbard–Stratonovich transformation in reverse, rather than just an approximation based on tree-level Feynman diagrams. At the diagrammatic level the contact auxiliary-field propagator $-i{\delta }^{(4)}(x-y)$ collapses each exchanged line into the same local four-fermion interaction. The equality uses a common regulator and does not assert perturbative renormalizability of that four-dimensional four-fermion interaction.

For arbitrary linear operators, expansion of the anticommutators givesNow use the commutator product rule $[VX,W]=V[X,W]+[V,W]X$, with $W=YZ$, twice. The result isNo grading assumption is needed for these algebraic identities.

For the Dirac field, supplement the supplied equal-time canonical anticommutation relations with $\{{\psi }_a(x),{\psi }_b(y)\}=\{{\psi }_a^{†}(x),{\psi }_b^{†}(y)\}=0$. Define the fermion number density $n(\mathbf{x})={\sum }_a{\psi }_a^{†}(\mathbf{x}){\psi }_a(\mathbf{x})$. In the preceding identity take $V={\psi }_a^{†}(\mathbf{x})$, $X={\psi }_a(\mathbf{x})$, $Y={\psi }_b^{†}(\mathbf{y})$, $Z={\psi }_c(\mathbf{z})$ and sum over $a$. Only its first and last anticommutators survive, givingThis is an identity of operator-valued distributions. Point splitting, or smearing with test functions, gives a precise meaning to coincident bilinears. Normal ordering only subtracts a constant from the density and does not alter this commutator.

Combine the two equal-mass Dirac fields into $\Psi =({\psi }^1,{\psi }^2{)}^T$. A constant unitary matrix $U$ acting on this flavour index commutes with the common Dirac Hamiltonian, so $\Psi \mapsto U\Psi$ gives the unitary flavour symmetry of degenerate Dirac fields $U(2)$. Its real Lie algebra has dimension four. A convenient Hermitian generator basis is $T^0=1_2/2$, $T^a={\tau }^a/2$, $a=1,2,3$, where ${\tau }^a$ are the Pauli matrices.

For each generator the canonical anticommutation relations giveThe calculation is exactly the one in b, since $T^A$ commutes with both the Dirac gamma matrices and the common fermion mass matrix. ThusExplicitly their densities areThe two off-diagonal conserved currents are why counting only the individual fermion numbers misses two generators. The singlet generates $U(1)$; the other three generate special unitary group $SU(2)$. Unequal masses would break the off-diagonal conservation laws.

Scope of the count. Four is the count of currents of the displayed ${\bar{\psi }}^A{\gamma }^{\mu }{T}_{AB}{\psi }^B$ form. The completely free system also has an enhanced internal symmetry of free Dirac fields if mixing with charge-conjugate fields is admitted. For $m\ne 0$, write its two Dirac fields as four equal-mass Majorana spinors ${\chi }^I$. Their orthogonal group $O(4)$ rotations have six continuous generators, with conserved currents proportional to $i{\bar{\chi }}^I{\gamma }^{\mu }{\chi }^J$ for $I<J$; the four $U(2)$ currents form a subgroup. This larger count is relevant if “similar” means all local internal currents of the free system, without preserving a chosen fermion number. If $m=0$, the usual number-preserving chiral flavour symmetry of massless Dirac fields is $U(2{)}_L\times U(2{)}_R$ with eight currents; allowing charge conjugation mixing enlarges it to $U(4)$ with sixteen. These counts concern internal currents, excluding spacetime Noether currents.

Put $z=x-y$ and $d{\Pi }_p=d^3\mathbf{p}/[(2\pi {)}^{3}2E_{\mathbf{p}}]$. The Dirac adjoint of the printed mode expansion of a Dirac field isThe Fock vacuum is annihilated by $a,b$. The canonical anticommutation relations therefore give the two non-time-ordered vacuum expectation valuesIn the first line, the only surviving contraction is $⟨b{b}^{†}⟩$; in the second it is $⟨a{a}^{†}⟩$. Both of these unordered contractions have positive coefficients.

However, fermionic time ordering includes a minus sign when it interchanges two odd fields:Thus the result following from the stated canonical anticommutation relations and standard time ordering isThe second term printed with a plus sign is not correct for standard fermionic time ordering. Its plus-plus expression would be an ungraded chronological product. The missing minus cannot be absorbed by a phase choice for $u$ or $v$, since each spin sum contains a spinor and its adjoint.

For comparison with the conventional Dirac propagator, define $S_F(w{)}_{ba}=⟨0|T{\psi }_b(w){\bar{\psi }}_a(0)|0⟩$ and let $\mu$ denote this free Dirac field's mass. ThenThe exchange of the spinor indices is essential: ${\bar{v}}_a{v}_b$ is the $(b,a)$ component of $v\bar{v}$, not its $(a,b)$ component.

The corrected expression in d is a vacuum two-point function, or Wick contraction, of the free Dirac field. It equals the negative spinor transpose of the usual Dirac propagator with reversed spacetime arguments. It supplies the internal fermion lines in Feynman diagrams, rather than a position-space detection probability.

For $x^0>y^0$, $\psi (y)$ creates an antiparticle and $\bar{\psi }(x)$ annihilates it. The $v\bar{v}$ term describes positive-energy antiparticle propagation from $y$ to $x$. For $y^0>x^0$, $\bar{\psi }(x)$ creates a particle and $\psi (y)$ annihilates it. The $u\bar{u}$ term describes positive-energy particle propagation from $x$ to $y$, with the minus sign required by exchanging the odd operators in fermionic time ordering. Neither term describes a physical negative-energy excitation.

The Heaviside step functions select these chronological alternatives. The factors $e^{\mp ip\cdot z}$ are on-shell plane waves with $p^0=E_{\mathbf{p}}>0$, and $d{\Pi }_p$ is the positive-energy Lorentz-invariant phase-space measure. The sum over $s$ includes the two spin states. With standard relativistic spinor normalization, the fermion spin sums areThey encode the spinor structure and solve the corresponding on-shell Dirac equations. In particular, the corrected answer can also be writtenThe Feynman i-epsilon prescription specifies the temporal boundary conditions of the Green function; its positive- and negative-frequency residues reproduce the two terms and their relative minus sign. With $S_F$ defined in d,The contact term is fixed by the equal-time canonical anticommutation relations. Choosing a value for $\theta (0)$ does not change the unequal-time sign demonstrated above.

Finally, microcausality requires field anticommutators to vanish at spacelike separation; the time-ordered vacuum two-point function itself need not vanish there. These facts are compatible with relativistic causality. The plus-plus expression printed in the paper lacks the fermionic sign needed for this standard Dirac propagator interpretation.

A relativistic two-component spinor is an element of a two-dimensional complex representation of the special linear group $SL(2,\mathbb{C})$, the double cover of the proper orthochronous Lorentz group. A Weyl spinor transforms in either $(1/2,0)$ or $(0,1/2)$; parity interchanges the two chiralities. It describes a chiral spin-$1/2$ degree of freedom. A free massless Weyl field has one particle helicity and the opposite antiparticle helicity.

The number of components alone does not prove zero mass. A massive Dirac field has two coupled two-component chiral fields, and a nonrelativistic Pauli spinor describes the two spin states of a massive spin-$1/2$ particle. A Majorana mass term can also be written using a two-component field and its complex conjugate. Thus a single independent free massless Weyl equation is a dynamical assumption, not part of the bare algebraic definition of a two-component spinor.

A pseudoscalar Yukawa interaction couples a Dirac field bilinear containing the chirality matrix to a spin-zero field. In the standard mostly-minus gamma matrix convention with ${\gamma }^5=i{\gamma }^0{\gamma }^1{\gamma }^2{\gamma }^3$ and the usual Dirac adjoint, $ig\bar{\psi }{\gamma }^5\psi \varphi$ is Hermitian for real $g$ and real $\varphi$. If $\varphi$ is a pseudoscalar, the interaction also preserves parity symmetry in quantum field theory; if $\varphi$ is parity even, it breaks that symmetry. Moving the factor $i$ into the definition of ${\gamma }^5$ changes the displayed vertex coefficient but not the interaction. Each vertex has one bosonic leg and two oppositely oriented fermion legs, and preserves Dirac fermion number conservation.

With renormalized Dirac fields, the coefficient of $-\bar{\psi }\psi$ in the counterterm Lagrangian is $\delta m_L=Z_2{m}_0-m$, whereas the bare-parameter shift is $m_0-m=\delta m_L-m\delta Z_2$ at first order. In Feynman gauge and $d=4-ϵ$, QED has $\delta Z_2=-e^2/(8{\pi }^2ϵ)$ and $\delta m_L=-4m{e}^2/(8{\pi }^2ϵ)$. Their difference gives $m_0-m=-3m{e}^2/(8{\pi }^2ϵ)$. Defining the insertion and the mass coefficient before quoting its sign avoids confusing these two counterterms.

QED predicts how electrons, Positrons and photons interact by coupling a Dirac field to an Abelian gauge field. For a field of signed electric charge $q_e$, the interaction is ${\mathcal{L}}_{\mathrm{int}}=-q_e\bar{\psi }{\gamma }^{\mu }\psi A_{\mu }$; an electron has $q_e=-e$, $e>0$. Quantizing both fields lets an electron magnetic moment receive radiative corrections beyond the Dirac equation value. The small fine-structure constant organizes these corrections into a useful perturbation series.

A motivating question is concrete: once mass and electric charge are fixed, can the theory predict a small excess in the electron magnetic moment? The Kusch-Foley magnetic moment experiment compared hyperfine structure frequencies in a constant magnetic field, using different atomic states to separate spin and orbital contributions. Agreement across comparisons constrained explanations based on atomic-level perturbations.^[ref] The Lamb-Retherford experiment posed a complementary energy level problem. The linked experiments describe their beam preparation, resonance readout and controls. Together they motivate asking whether renormalized QED predicts more than its input mass and electric charge.

A quark field is a Dirac field or a chiral Weyl spinor carrying the colour fundamental representation of $SU(3)$. Its three colour components transform as ${\psi }^i\mapsto U^i{}_j{\psi }^j$ under local gauge transformations. The colour index is independent of the Lorentz spinor index, and the weak representations of its left and right chiral components differ in the Standard Model.

A nonderivative interaction of two real scalar legs with a fermion pair in $2+1$ dimensions. The engineering dimensions of relativistic fields are $[\varphi ]=1/2$ and $[\psi ]=1$, so $g$ is a marginal coupling by classical power counting. The internal symmetry $\varphi \mapsto -\varphi$ forbids odd-scalar interactions, but allows a sextic scalar interaction. The two-component Dirac field representation must be distinguished from four-component gamma matrices in four spacetime dimensions.