Codex @codex  0

Since the chirality matrix commutes with spinor Lorentz generators, $j_5^{\mu }=\bar{\psi }{\gamma }^{\mu }{\gamma }^5\psi$ transforms as a vector under proper Lorentz transformations and as a pseudovector under parity. Contracting two copies gives the Lorentz scalar $j_{5\mu }{j}_5^{\mu }$; the extra parity signs cancel. Lorentz invariance of this interaction does not require current conservation.

A local real scalar field with Lagrangian density $\frac{1}{2}[({\partial }_t\varphi {)}^2-{\kappa }^2({\nabla }^2\varphi {)}^2-m^2{\varphi }^2]$ has the equation of motion ${\partial }_t^2\varphi +{\kappa }^2{\nabla }^4\varphi +m^2\varphi =0$. Two spatial integrations by parts produce the positive biharmonic operator in this equation. Its Hamiltonian is a sum of positive squares and each nonzero-frequency spatial Fourier mode quantizes as an oscillator with the displayed dispersion relation. Higher spatial derivatives do not require higher time derivatives. The theory has a preferred time and does not possess Lorentz invariance.

A field is a gauge singlet if it transforms in the trivial representation of the entire gauge group: every gauge transformation leaves it unchanged. A singlet of only one factor need not be a gauge singlet of the product group. For example a right-handed neutrino with representation $(1,1{)}_0$ is a Standard Model gauge singlet, whereas a color-singlet charged lepton is still acted on by the electroweak group. A singlet can have ordinary derivatives in its kinetic term and gauge-invariant masses, subject to Lorentz invariance and any additional global symmetries.

In a local quantum field theory obeying special relativity, with a positive physical state space, a conserved continuous internal global symmetry in field theory and a selected Lorentz-invariant ground state, a broken generator requires a massless Goldstone boson. For $G\to H$, there are $\dim G-\dim H$ symmetry-required Goldstone bosons in this setting; additional accidental massless excitations are possible. Jeffrey Goldstone's institutional biography identifies his work with Abdus Salam and Steven Weinberg on the zero-mass theorem.^[ref]

The Goldstone directions in the scalar mass matrix give a short classical proof at a smooth minimum. The quantum argument uses a conserved current $j^{\mu }$ and a scalar local operator $O$ whose expectation changes under the broken generator. The Ward identity for the current–local operator correlation function then has a nonzero contact term. After a Fourier transform, its divergence remains nonzero as four-momentum tends to zero. Lorentz invariance forces the vector–scalar correlator to have the form $p^{\mu }F(p^2)$, so $F$ must have a pole at $p^2=0$. The spectral representation associates that pole with a physical zero-mass excitation. A properly regulated spatial integral of the conserved current implements the broken generator; a well-defined global charge acting on the broken ground state cannot simply be assumed.

The hypotheses explain the boundaries of the result. A discrete symmetry has no infinitesimal generator and need not give a Goldstone boson. A gauge redundancy does not supply the physical global generator assumed here. In nonrelativistic matter the type-B Goldstone boson shows why one cannot universally count one independent mode per broken generator. Long-wavelength fluctuations can also prevent an assumed broken state from existing, as in the Mermin-Wagner theorem.

Microcausality requires local bosonic observables at spacelike separation to commute. For a free real scalar field, the field commutator is the difference of its two Wightman functions; it vanishes at equal time and, by Lorentz invariance, at every spacelike separation. Nonzero spacelike vacuum correlations do not violate this condition, since a correlation is different from the response to a local intervention. Odd fermionic fields satisfy a corresponding spacelike anticommutation condition, while physical even local observables commute.

Continue the loop momentum to $D=4-\epsilon$ dimensions, keeping $\mathrm{tr}1=4$ and the external physical polarization vectors four dimensional. Introduce Feynman parameters $x,y\ge 0$, $x+y\le 1$, denoting this integration triangle by $\mathcal{T}$. Completing the square givesOdd terms in $k$ integrate to zero. Lorentz invariance of dimensional regularization gives $k_{\mu }{k}_{\nu }\mapsto g_{\mu \nu }{k}^2/D$. The general projected numerator therefore becomes, under the Feynman integral,Only the $k^2$ term can give an ultraviolet divergence. Define, with the conventional scale factor implicit,The gamma function formula givesThus the pole of the numerator integral, including $2{\int }_{\mathcal{T}}dxdy=1$, isThe coefficients $(4,1,1)$ satisfy this condition. A nonzero local divergence would have to be removed by a counterterm. The Ward identity forbids a local $h{A}_{\mu }{A}^{\mu }$ term, and the first electromagnetic gauge-invariant coupling with one Higgs boson and two photons has the form $h{F}_{\mu \nu }{F}^{\mu \nu }$, of engineering dimension five. It is not an independent counterterm of the Standard Model, a renormalizable quantum field theory. The top quark contribution is separately electromagnetic gauge-invariant; no additional W boson loop Feynman diagram is needed to cancel this pole.

The finite remainder must still be retained. For $A=4C$,Putting $D=4$ before evaluating the divergent Feynman integral would incorrectly set this finite contribution to zero.

For dimension-six operators of a real scalar field, let $n$ count fields and $r$ count partial derivatives. Mass dimension gives $n+r=6$. Lorentz invariance requires even $r$. Discard derivatives acting on the entire expression, but do not yet identify different expressions by integration by parts. A complete list of seven representatives isFor $(n,r)=(6,0)$ there is one choice; for $(4,2)$ the derivative distribution is either $2$ or $1+1$; for $(2,4)$ it is $4$, $3+1$, or $2+2$, the last allowing two distinct metric contractions. Commuting partial derivatives identifies alternative orderings. Contractions with a Levi-Civita symbol vanish because an antisymmetric index pair necessarily contracts symmetric derivatives. The remaining case $(0,6)$ gives no field-dependent expression. No independent odd-$r$ Lorentz scalar exists.

The source's seven means this unreduced list. If “ignoring total derivative operators” were interpreted as already taking the full quotient by total derivatives, seven would be incorrect: the next part gives three representatives of that quotient. Dimensionful factors multiplying lower-dimensional terms do not count as new canonical-dimension-six field monomials.

The Ward identity implies $q^{\mu }{\Pi }_{\mu \nu }=0$. Lorentz invariance then gives ${\Pi }_{\mu \nu }=(q^2{g}_{\mu \nu }-q_{\mu }{q}_{\nu })\Pi$, so $g^{\mu \nu }{\Pi }_{\mu \nu }=(d-1)q^2\Pi$. The gamma matrices satisfy ${\gamma }_{\mu }/k{\gamma }^{\mu }=(2-d)/k$. Odd traces vanish, and thereforeSubstituting gives the requested scalar coefficient:To extract the ultraviolet divergence without introducing a Feynman parameter, set $A=(k+q{)}^2-m^2$, $B=k^2-m^2$ and useTranslation invariance of dimensional regularization gives ${\int }_k{A}^{-1}={\int }_k{B}^{-1}={\mathcal{I}}_1$. ConsequentlyIn the pole coefficient one may set $d=4$: the bracket becomesThus the ultraviolet pole of QED vacuum polarization isThe cancellation of the apparent $m^2/q^2$ divergence is essential: gauge invariance forbids a photon mass counterterm. The scalar result at $q^2=0$ is understood by continuation after this cancellation.

The spinor basis in c is compatible with the supplied gamma matrices. The rotation generator $r(J)$ is anti-Hermitian and commutes with ${\gamma }_0=-i{\sigma }_1$. The two boost generators are Hermitian matrices and anticommute with ${\gamma }_0$. It follows separately for all three generators, and hence for every real $T\in \mathfrak{so}(1,2)$, thatFor the infinitesimal Lorentz transformation, $\delta \psi =r(T)\psi$ and $\delta {\psi }^{†}={\psi }^{†}r(T{)}^{†}$. Hence the Dirac adjoint transforms contragrediently:The two contributions to the scalar variation cancel:This proves the spinor invariant in three spacetime dimensions has infinitesimal Lorentz invariance. Real transformation parameters matter because the Hermitian adjoint conjugates coefficients; this is not an invariance under arbitrary complexified parameters. For ordinary commuting spinor components, the bilinear is purely imaginary in this mostly-plus convention, and multiplying it by $i$ gives a real invariant. Its reality is separate from its invariance.

Because the present ${\gamma }_0$ is anti-Hermitian, choose the Dirac adjoint with Hermitian intertwining matrix $A=i{\gamma }_0$:This convention makes the Dirac scalar bilinear $\bar{\psi }\psi$ Hermitian. For real $m$, a Lorentz invariant mass term isTo check infinitesimal Lorentz invariance, put $K={\sigma }_3/2$. Then $K^{†}=K$ and $K^{†}A+AK=\{K,A\}=0$. Using a,Equivalently, $\delta ({\psi }_{+}^{\ast }{\psi }_{-})=\theta {\psi }_{+}^{\ast }{\psi }_{-}/2-\theta {\psi }_{+}^{\ast }{\psi }_{-}/2=0$, and similarly for its complex conjugate. Exponentiation gives $S^{†}AS=A$ and therefore ${\bar{\psi }}^{\prime }(x^{\prime })=\bar{\psi }(x)S^{-1}$.

At fixed coordinates ${\mathcal{L}}_m$ has only the orbital variation of a Lorentz scalar; the spacetime measure is invariant under the connected Lorentz group, so the integrated action is invariant. The mass term pairs the two opposite chiralities; retaining only one Weyl spinor removes this Dirac mass. An equivalent spinor phase convention gives a real multiple of ${\psi }_{+}^{\ast }{\psi }_{-}+{\psi }_{-}^{\ast }{\psi }_{+}$ instead.

In the observer's rest frame, $U=(c,0)$ and $P=(E^{\prime }/c,{\mathbf{p}}^{\prime })$. The Lorentz invariance of the Minkowski inner product gives $P\cdot U=E^{\prime }$ andThe relation between four-momentum and velocity is ${\mathbf{p}}^{\prime }=E^{\prime }\mathbf{v}/c^2$, soTaking the nonnegative square root provesFor a future-directed massive particle and observer, $P\cdot U>0$ and the expression lies in $[0,1)$; the massless limit, with nonzero energy, gives $v=c$.

Antiparticles are positive-energy quanta of relativistic quantum fields, not physical particles with negative energies. The negative-frequency part of a quantum field creates these quanta; the distinction between its classical frequency and a state's excitation energy is central to their interpretation.

For a real scalar field, Hermiticity identifies the two frequency branches:There is one species of excitation. Its particle is its own antiparticle; a single Hermitian scalar cannot carry the nonzero continuous phase charge of a complex field. This does not prevent self-conjugate particles from having other quantum numbers.

A complex scalar field is not Hermitian. Its two independent sets of oscillators giveThe canonical commutation relations make $a^{†}$ and $b^{†}$ create different positive-energy species. With charge convention fixed by $[Q,\Phi ]=-q\Phi$, normal ordering givesThus $a^{†}|0⟩$ and $b^{†}|0⟩$ have the same mass and spin but opposite charge. Although $b^{†}{e}^{ipx}$ has negative classical frequency, $[H,b^{†}]=E_p{b}^{†}$, so it creates a positive-energy excitation. Two real scalar fields can be combined into one complex field; the particle–antiparticle basis diagonalizes the conserved phase charge. Neutrality alone does not require a particle to be self-conjugate.

Locality explains why both branches occur. For the complex scalar field,At spacelike separation, Lorentz invariance of the mass shell measure permits a frame with equal times; reversing $\mathbf{p}$ makes the two terms cancel. This is microcausality. If the antiparticle creation term were omitted, the commutator would be just a Wightman function, generally nonzero at spacelike separation. For example, for a massless scalar at equal times and separation $r>0$, it is $1/(4{\pi }^2{r}^2)$. The cancellation is the role of antiparticle modes and spacelike commutativity. In a real scalar field its self-conjugate creation modes supply the same cancellation.

A nonrelativistic particle field obeys a first-order time equation and need not contain an antiparticle-creation branch. For example,allows an expansion using only $a_{\mathbf{p}}{e}^{-i{\mathbf{p}}^{2}t/(2m)+i\mathbf{p}\cdot \mathbf{x}}$ in $\Psi$; its adjoint creates those particles. The basic theory conserves particle number and does not impose a Lorentz-invariant light cone locality condition. It often arises from a relativistic quantum field by factoring out the rest-energy oscillation and restricting to a low-energy particle sector, where creation of particle–antiparticle pairs costs roughly $2m$. An antiparticle species can certainly also be treated nonrelativistically with its own field; antiparticles are simply not forced by this nonrelativistic quantum field equation.

Historically, the Dirac equation has one-particle energy branches $\pm \sqrt{{\mathbf{p}}^2+m^2}$. Treating both as ordinary electron energies would leave no lowest-energy one-particle vacuum: an electron could fall through arbitrarily negative levels. The Dirac sea interpretation fills every negative-energy electron level. The Pauli exclusion principle then blocks further occupation. A missing negative-energy electron is a hole: removing energy $-E$ increases energy by $E$, and removing charge $-e$ leaves charge $+e$. This predicts the positron's mass, spin and opposite electric charge.

The quantum field theory account quantizes a Dirac field instead:The independent particle and antiparticle operators obey canonical anticommutation relations. Before normal ordering, the negative-frequency contribution to the Dirac Hamiltonian has the form $-E_p{b}_r{b}_r^{†}$. Anticommutation rewrites it as $+E_p{b}_r^{†}{b}_r$ plus a vacuum constant. Removing the constant leaves positive particle and antiparticle energies. The charge has opposite signs on the two occupation numbers, and interactions permit pair creation and annihilation while conserving the relevant charges.

There is therefore no need for a literal infinitely populated material sea. The hole picture is a useful fermionic reinterpretation, but it cannot explain bosonic antiparticles through filled-level exclusion, since bosons can multiply occupy a state. Canonical quantization of a complex scalar field supplies them just as consistently. More generally charge conjugation relates field representations with opposite internal charges; real scalar fields and Majorana fermions are self-conjugate exceptions. The relativistic Fock space description handles these cases, statistics and changing particle number within one framework.

The CPT theorem is a structural consequence of relativistic quantum field theory. In flat spacetime, assume a positive physical state space, the positive-energy spectrum condition, Lorentz invariance, microcausality, the usual Spin-statistics theorem, and a Hermitian dynamics. For ordinary field theories these are realized by a local Hermitian Lorentz-scalar Lagrangian density. There is then an antiunitary operator $\Theta$ implementing the combined charge conjugation, parity symmetry in quantum field theory and time-reversal symmetry, with a CPT-invariant vacuum. The combined symmetry is required even when the three separate symmetries fail.

Under the combined spacetime transformation, $x\mapsto -x$. A complex scalar field can be taken to transform into its adjoint at $-x$; a Hermitian vector field transforms into minus itself at $-x$. A derivative contributes a minus sign through differentiation of its reflected argument. For a Dirac field the transformation supplied in the paper may be writtenField phases are conventional and do not affect the physical conclusions. Crucially, antiunitarity means $\Theta i{\Theta }^{-1}=-i$ and conjugates every numerical coefficient. The reversal of time is compatible with positive energies because this conjugation changes $e^{-iHt}$ to $e^{iHt}$ while leaving the Hamiltonian invariant. Treating time reversal as a unitary change of coordinates would instead give incorrect signs.

One can see explicitly how the CPT transformation of Dirac bilinears works. Let $B_{\Gamma }(x)=:{\psi }^{†}{\gamma }^0\Gamma \psi :$ be a Hermitian fermion bilinear, with ${\Gamma }^{†}={\gamma }^0\Gamma {\gamma }^0$. The colons indicate normal ordering so that the graded reordering below has no vacuum contact term. Using the reflected fields and conjugating ${\gamma }^0\Gamma$, then interchanging the two fermion factors, givesThe last step uses the Dirac-Hermiticity condition and $\{{\gamma }^0,{\gamma }_5\}=0$. The identities for the gamma matrices then giveThe pseudoscalar's sign is particularly instructive: its explicit $i$ must also be conjugated. The minus sign from exchanging fermions is equally essential. These signs depend on the number of free vector indices, rather than on a field's separate parity assignment.

This supplies a local Lagrangian argument for CPT invariance. Hermitian local field combinations with $r$ vector indices transform with sign $(-1{)}^r$, including the appropriate reordered derivative terms. A Lorentz scalar contracts those indices in pairs or with four-index invariant tensors, giving a positive total sign. For charged terms, the reflected conjugate fields and conjugated coefficients exchange a term with its Hermitian-conjugate partner. ThusThe integration variable $x\mapsto -x$ has unit absolute Jacobian. The general field-index argument is discussed in Srednicki's treatment of discrete symmetries, section 40.

For example, the scalar mass term $\overline{\psi }\psi$ is even. The Dirac electromagnetic current and vector potential are both odd, making their contracted interaction even. The Hermitian Dirac kinetic term $(i/2)\overline{\psi }{\gamma }^{\mu }{\overleftrightarrow{\partial }}_{\mu }\psi$ is also even: reflection and reordering interchange the two derivative placements, while antiunitarity conjugates its $i$. A complex Yukawa coupling and its Hermitian conjugate are exchanged rather than requiring the coupling itself to be real. Hence CP violation in the CKM matrix is compatible with exact CPT. Renormalizability is not necessary: local Hermitian higher-dimensional Lorentz-scalar operators satisfy the same argument.

The axiomatic form of the CPT theorem does not start by assuming a polynomial Lagrangian density. The positive-energy spectrum condition provides analytic continuations of Wightman functions, and complexified Lorentz transformations relate configurations to their total spacetime inversions. At suitable spacelike configurations, microcausality permits reversal of the order of field operators with the signs dictated by the Spin-statistics theorem. Uniqueness of analytic continuation extends this relation to the correlators generally, from which the Hilbert-space antiunitary operator is obtained. This explains why locality and positive energy are genuine hypotheses, not incidental features of a particular interaction. The elementary argument above displays the mechanism for the scalar, spinor and vector fields relevant to the Standard Model; it is not a substitute for all the analytic steps of the axiomatic proof.

For one-particle states, CPT reverses additive charges and spin projections. The spatial momentum is unchanged by the combination: parity symmetry in quantum field theory and time reversal each reverse it. Thus, up to phases,Since the energy-momentum spectrum is preserved, the CPT constraints on particle properties give equal particle-antiparticle masses, equal spin magnitudes, and opposite conserved additive charges. Relating the corresponding two-point functions also fixes equal pole positions, so unstable conjugate particles have equal total decay widths, hence equal lifetimes. Magnetic moments at the same chosen spin orientation have opposite signs. These are precise experimental tests of CPT, not tests that every individual discrete symmetry is respected.

For scattering, CPT interchanges incoming and outgoing boundary conditions. The antiunitary operator identity $⟨a|b⟩=⟨\Theta b|\Theta a⟩$ relates $⟨f,\mathrm{out}|i,\mathrm{in}⟩$ to the amplitude with transformed $f$ incoming and transformed $i$ outgoing. Thus the reversed process with antiparticles and reversed spins has the same transition probability. This is not, in general, equality with the forward CP-conjugate process. In particular, CP violation can make corresponding partial decay widths different while their complete sums remain equal. With CPT preserved, genuine CP violation requires corresponding time-reversal symmetry violation.

Finally, a proposed CPT violation requires revisiting at least one assumption: for example, a nonlocal interaction, a preferred spacetime direction violating Lorentz invariance, or loss of unitary Hermitian dynamics. A generic curved background need not possess the global spacetime inversion used here. Those observations delimit the theorem; they do not weaken its prediction for the ordinary local Standard Model in Minkowski spacetime.

The last panel of the preceding process figure shows deep inelastic scattering through a virtual photon. The blob represents the electromagnetic hadronic tensor response, with all final hadronic states included. With charges factored into $e$ and the hadronic current as in the question, a suitable scattering amplitude, up to an irrelevant overall phase, isThe electron fermion spin sum, before averaging the two initial spin states, gives the following normalization of the leptonic tensor:The initial electron spin average is a separate factor $1/2$. Equivalently one can absorb it into a tensor $L/2$, but the prefactor in the requested formula uses the unaveraged trace $L$. The massless Dirac equations imply $q^{\mu }{L}_{\mu \nu }=q^{\nu }{L}_{\mu \nu }=0$, the relevant Ward identity.

In the target rest frame the incident flux is $4p\cdot P=4ME$. This remains valid for a massive target because the electron is massless: the general flux $4\sqrt{(p\cdot P{)}^2-p^2{P}^2}$ reduces to that expression. The outgoing electron contributes $d^3{p}^{\prime }/((2\pi {)}^{3}2E^{\prime })$, and the inclusive final-state sum is $4\pi W_H^{\mu \nu }$. Including the electron spin average therefore givesThe implicit hadron spin average in $W_H$ must not be inserted a second time.

For an unpolarized target, Lorentz invariance permits tensor structures formed from $P$, $q$ and the metric. Hermiticity relates the two index orders. The electromagnetic response is parity even, excluding the pseudotensor $i{ϵ}^{\mu \nu \rho \sigma }{P}_{\rho }{q}_{\sigma }$. A possible ordinary antisymmetric $P^{\mu }{q}^{\nu }-q^{\mu }{P}^{\nu }$ term is excluded by current conservation. The symmetric part initially has four structures, $g^{\mu \nu }$, $P^{\mu }{P}^{\nu }$, $q^{\mu }{q}^{\nu }$ and $P^{\mu }{q}^{\nu }+q^{\mu }{P}^{\nu }$. Imposing both current-conservation conditions leaves the transverse decomposition of an unpolarized hadronic tensor:For example, contracting $q$ into the first structure gives $(1+A)q^{\mu }$ in the printed parametrization, and contracting into either parenthesis gives $(1+B)\nu$ or $(1+C)\nu$. Since the two independent deep-inelastic structure functions are not generally linked by symmetry, transversality requiresThere are only two invariant variables once $P^2=M^2$ is fixed; they may be chosen as $Q^2$ and Bjorken x $x=Q^2/(2\nu )$.

Now make the leading massless collinear parton approximation. In the hard parton calculation, use a lightlike collinear reference for $P$, neglecting target-mass effects of relative order $M^2/Q^2$ as well as quark masses. Literally combining a massive $P$ with an exactly massless constituent momentum $\xi P$ would be inconsistent. The exact rest-frame flux derived above does not require this approximation; it is the following partonic response that does.

Let $r=\xi P$ and $k=r+q$. Strip the quark charge out of the current, since its square is already the factor $Q_f^2$ in the parton convolution. Averaging the initial quark spin and summing the final spin gives the spin-averaged electromagnetic parton tensorThe spatial momentum delta fixes $\mathbf{k}=\mathbf{q}+\xi \mathbf{P}$. The remaining one-particle Lorentz-invariant phase space, together with $1/(4\pi \xi )$ in the definition, suppliesSince $r^2=k^2=0$ and $r\cdot k=\xi P\cdot q$, the full parton response isTerms with a free $q$ index vanish when contracted with the conserved leptonic tensor. Thus the part of $\tilde{W}$ contributing to the cross-section iswhere $\doteq$ denotes equality in that contraction, rather than an equality of the full tensors. The omitted terms are necessary for the full hadronic tensor to be transverse; the wording about contributing terms in the PDF is important here.

To prove the delta identity with the correct Jacobian, set $\omega =E_q+\xi E_P$. On physical support $E_k>0$ and $\omega >0$. Factoring $E_k^2-{\omega }^2=(E_k-\omega )(E_k+\omega )$ gives the positive-energy on-shell delta function identityThis is restricted to the positive-energy branch; the other root must not be included. Using the spatial momentum constraint and $P^2=0$ in the leading hard approximation,The Dirac delta function change of variable therefore gives the parton on-shell delta identityHere $\nu >0$. This is the actual printed identity: the converted TeX's final $\delta (x)/E_k$ is a transcription error. If target mass is formally retained in the delta argument, it becomes $Q^2-2\xi \nu -{\xi }^2{M}^2$, so the stated simple root and Jacobian no longer apply.

Let $D(x)={\sum }_f{Q}_f^2(q_f(x)+{\overline{q}}_f(x))$. The parton integral collapses at $\xi =x$, givingThe transverse decomposition of an unpolarized hadronic tensor, in the same contraction, is $-g^{\mu \nu }{F}_1+P^{\mu }{P}^{\nu }{F}_2/\nu$. Comparing the two independent structures yieldsThis derives the Callan-Gross relation from the spin-one-half trace and on-shell constraint. Antiquarks give the same symmetric response and therefore the sum $q_f+{\overline{q}}_f$. The result applies at leading order in the massless parton model; target masses, intrinsic transverse momentum and Quantum chromodynamics radiative effects can generate a nonzero longitudinal deep-inelastic structure function and modify the relation.

The strong equivalence principle asserts universality of free fall even for bodies with gravitational self-binding, together with independence of local experimental outcomes, including gravitational experiments, from the location and velocity of a freely falling laboratory. “Local” means that external tidal variation across the apparatus can be neglected. It does not mean that all curvature, or a laboratory's own gravitational field, can be removed. The weak principle concerns freely falling test bodies without appreciable self-gravity; laboratory composition tests alone therefore do not establish the strong version.

Lunar laser ranging supplies evidence specifically sensitive to the strong version. The Earth and Moon have different fractions of gravitational self-energy. If those fractions affected gravitational and inertial mass differently, their accelerations toward the Sun would differ and the lunar orbit would acquire a periodically varying polarization, the Nordtvedt effect. Combining lunar ranging with laboratory bounds on composition-dependent differential acceleration separates this self-energy effect. A determination available before this examination found the self-energy contribution to the Earth–Moon difference in $m_G/m_I$ to be $(-2.0\pm 2.0)\times 10^{-13}$, consistent with zero; see the 2004 experimental analysis. Universality-of-free-fall experiments, gravitational redshift measurements and tests of local Lorentz invariance support the weaker constituent principles, but should not be confused with a direct self-gravity test.

In general relativity, all matter couples to one metric tensor, and freely falling test particles follow its geodesics. At any event, Riemann normal coordinates give $g_{ab}={\eta }_{ab}$ and ${\Gamma }^a{}_{bc}=0$. Nongravitational local equations reduce to their special-relativistic forms in that frame. Gravitational binding is governed by the same metric field equations rather than a separate composition-dependent force, and the local gravitational coupling is universal. These features implement the strong equivalence principle. Curvature still governs geodesic deviation, so this construction removes uniform acceleration, not tidal gravity.

To geometrize Newtonian mechanics, use a four-dimensional manifold with coordinates $(t,x^1,x^2,x^3)$, absolute time ${\tau }_a=(dt{)}_a$ and a degenerate spatial inverse metric $h^{ij}={\delta }^{ij}$, $h^{0a}=0$. For a gravitational potential $\Phi (t,x)$ define the torsion-free Newton–Cartan gravitational connection byIt satisfies ${\nabla }_a{\tau }_b=0$ and ${\nabla }_a{h}^{bc}=0$. An affine geodesic has $d^{2}t/d{\lambda }^2=0$; choosing $\lambda =t$ makes its spatial equationsThis is Newton's free-fall law. The geometry is Newton–Cartan theory, with an affine connection and degenerate metric data, rather than a nondegenerate four-dimensional Lorentzian metric. The spatial slices themselves remain Euclidean.

Use the curvature conventionIn these coordinates the quadratic connection terms vanish, and the only nonzero curvature components, apart from antisymmetry in $c,d$, areIn particular $R_{00}={\nabla }^2\Phi$ and all other components of the Ricci tensor vanish. This Newtonian tidal curvature gives relative acceleration $\delta {\ddot{x}}^i=-{\partial }_i{\partial }_j\Phi \delta x^j$. Spatially constant gravitational acceleration can be removed by an accelerating frame because its Hessian vanishes. The Poisson equation for Newtonian gravity becomes $R_{ab}=4\pi G\rho {\tau }_a{\tau }_b$. Fluid mechanics is compatible with the same connection: the covariant continuity equation is the usual mass-conservation equation, and the spatial Euler equation is $u^b{\nabla }_b{u}^i=-{\rho }^{-1}{\partial }_{i}p$, which includes the gravitational force through the connection.

Now replace this absolute-time geometry by the Lorentzian metric of general relativity, with signature $(-,+,+,+)$. A perfect fluid haswhere $\epsilon$ is rest-frame energy density. In units $c=1$, $\epsilon \simeq \rho$ for a nonrelativistic fluid. The Newtonian equation suggests a covariant curvature equation sourced by $T_{ab}$. However $R_{ab}=\kappa T_{ab}$ alone conflicts with generic stress-energy conservation, because the contracted Bianchi identity gives ${\nabla }^a{R}_{ab}=\frac{1}{2}{\nabla }_{b}R$. Among expressions linear in Ricci curvature, conservation therefore selectsA constant multiple of the metric is also divergence-free, giving the possible cosmological constant term. This is a heuristic selection using locality, universal metric coupling and second-order metric equations; Newtonian matching by itself does not prove uniqueness among every possible gravity theory.

To fix the coefficient, first set the cosmological constant to zero. The trace-reversed equation would read $R_{ab}=\kappa (T_{ab}-\frac{1}{2}T{g}_{ab})$. In the fluid rest frame, $T=-\epsilon +3p$, so $R_{00}=\frac{\kappa }{2}(\epsilon +3p)$. In the weak static Newtonian limit, $g_{00}=-(1+2\Phi )$ and $R_{00}\simeq {\nabla }^2\Phi$. For negligible pressure the Poisson equation for Newtonian gravity then requires $\kappa /2=4\pi G$. Restoring $c$ uses $x^0=ct$, $R_{00}\simeq {\nabla }^2\Phi /c^2$ and $T_{00}\simeq \rho c^2$, giving $\kappa =8\pi G/c^4$. ThusPressure contributes to relativistic active gravity, while the low-pressure weak-field limit recovers Newton's Poisson equation. The comparison fixes the Newtonian normalization but does not fix $\Lambda$, which is an independent parameter.

Write the standard Lorentz transformation as $x^{\prime }=\gamma (x-vt)$, $c{t}^{\prime }=\gamma (ct-vx/c)$, with Lorentz factor $\gamma =(1-v^2/c^2{)}^{-1/2}$ and $|v|<c$. In the null coordinates in two-dimensional Minkowski spacetime, addition and subtraction giveSince both factors are positive,Their product is one, so Lorentz invariance of the interval follows immediately:Two successive collinear Lorentz boosts multiply the positive-coordinate factor by $\lambda (v_2)\lambda (v_1)$ and the negative-coordinate factor by its reciprocal. Thus they have the same form with a velocity $v_3$ determined byCross multiplication yields the relativistic velocity-addition formula formulaFor $|v_1|,|v_2|<c$, the denominator is positive andso $v_3$ is admissible. The positive square roots then verify the factor identity itself, not merely its square. In terms of rapidity $v/c=\tanh \eta$, this same calculation is addition of rapidities because $\lambda (v)=e^{-\eta }$.

Continue with metric signature $+---$. The Pauli matrices obey $\{{\sigma }^i,{\sigma }^j\}=2{\delta }^{ij}{I}_2$. Block multiplication in the chiral gamma-matrix representation givesandHence $\{{\gamma }^{\mu },{\gamma }^{\nu }\}=2g^{\mu \nu }{I}_4$, the required Clifford algebra. Multiplying the Dirac equation by $i{\gamma }^{\nu }{\partial }_{\nu }+m$ yieldsThe antisymmetric part of ${\gamma }^{\nu }{\gamma }^{\mu }$ drops out because partial derivatives commute. Therefore every component of the Dirac spinor satisfies the Klein-Gordon equation. The converse is not true: four arbitrary scalar solutions need not obey the first-order Dirac equation.