Skip to content

CPT Preview

The classical Klein–Gordon and Dirac solution maps can be composed explicitly to produce a spacetime-inverting covariance relation. That calculation is useful, but it is not the CPT theorem of quantum field theory. In particular, the classical C map used on commuting columns is antilinear, whereas quantum-state charge conjugation is unitary. Consequently the composed classical map and the antiunitary quantum CPT operator have different mathematical roles. The CPT Preview owns the theorem-level assumptions and consequences; this page supplies the wave-equation comparison.

Required background. Parity, Time Reversal, Charge Conjugation, and Symmetry Conventions fix all maps and phases used in the composition.

Write x=(ct,x)x=(ct,\mathbf x) and specify the order: first T, then P, then C. The component matrices are

PD=γ0,B=iγ2,UT=−γ1γ3.P_D=\gamma^0,\qquad B=i\gamma^2,\qquad U_T=-\gamma^1\gamma^3.

For a commuting Dirac column, the composition X=CPT\mathscr X= \mathscr C\mathscr P\mathscr T is

(Xψ)(x)=BPD∗UT∗ψ(−x)=−γ5ψ(−x).\begin{aligned} (\mathscr X\psi)(x) &=BP_D^*U_T^*\psi(-x)\\ &=-\gamma^5\psi(-x). \end{aligned}

The two component conjugations cancel. Thus this particular map on classical solution columns is complex-linear. Its displayed square is X2=I\mathscr X^2=I, because (γ5)2=I(\gamma^5)^2=I and the coordinate inversion squares to the identity.

Neither statement determines the Hilbert-space character or square of a quantum CPT operator. For example, if time reversal uses the common alternative matrix UT,0=iγ1γ3U_{T,0}=i\gamma^1\gamma^3, the same ordered classical calculation gives

(X0ψ)(x)=−iγ5ψ(−x),X02=−I.(\mathscr X_0\psi)(x) =-i\gamma^5\psi(-x),\qquad \mathscr X_0^2=-I.

Both choices give the same covariance test up to an overall constant phase. Their different classical squares show why a phase-dependent component calculation must not be promoted to a convention-independent theorem.

For a complex scalar, the corresponding composition is simply

(Xϕ)(x)=ϕ(−x).(\mathscr X\phi)(x)=\phi(-x).

Again the two conjugations cancel. These are statements about the chosen classical maps, not about how a quantum field operator transforms under a Hilbert-space symmetry.

Transformed background and direct covariance check

Section titled “Transformed background and direct covariance check”

Keep the charge parameter qq fixed. The composed background is

Aμ,X(x)=−Aμ(−x).A_{\mu,\mathscr X}(x)=-A_\mu(-x).

Differentiation reverses the argument, so its field strength is

Fμν,X(x)=Fμν(−x).F_{\mu\nu,\mathscr X}(x)=F_{\mu\nu}(-x).

In three-vector language, both E\mathbf E and B\mathbf B have a plus sign at the reflected spacetime point, while both potentials have a minus sign.

Let

D[A]=iℏcγμDμ(q)[A]−mc2.\mathcal D[A] =i\hbar c\gamma^\mu D_\mu^{(q)}[A]-mc^2.

For ψX(x)=−γ5ψ(−x)\psi_{\mathscr X}(x)=-\gamma^5\psi(-x), the transformed covariant derivative obeys

Dμ(q)[AX]ψX(x)=γ5(Dμ(q)[A]ψ)(−x).D_\mu^{(q)}[A_{\mathscr X}] \psi_{\mathscr X}(x) =\gamma^5(D_\mu^{(q)}[A]\psi)(-x).

Using {γμ,γ5}=0\{\gamma^\mu,\gamma^5\}=0 therefore gives

D[AX]ψX(x)=−γ5(D[A]ψ)(−x).\mathcal D[A_{\mathscr X}]\psi_{\mathscr X}(x) =-\gamma^5(\mathcal D[A]\psi)(-x).

Thus a zero residual maps to a zero residual. The scalar derivative instead acquires one minus sign on ϕ(−x)\phi(-x); two covariant derivatives remove it, proving the corresponding Klein–Gordon covariance. This check assumes the ordinary constant real mass and the prescribed real electromagnetic background.

A covariance relation still connects two potentially different problems. To obtain a symmetry of one fixed background, its transformed fields, boundary conditions, and operator domain must also agree, allowing gauge equivalence. A fixed positive Coulomb source, for example, is transformed to a negative source in this fixed-qq description.

In the usual quantum-field implementation, C^\widehat C and P^\widehat P are unitary, while T^\widehat T is antiunitary. Their combined Hilbert-space operation is therefore antiunitary:

Θ^CPT(z∣Ψ⟩)=z∗Θ^CPT∣Ψ⟩.\widehat\Theta_{\rm CPT} \bigl(z|\Psi\rangle\bigr) =z^*\widehat\Theta_{\rm CPT}|\Psi\rangle.

An operator-valued field transformation may involve an adjoint, a transpose, or component conjugation without making its implementing unitary C^\widehat C antiunitary. The distinction is developed on Charge Conjugation. Replacing that quantum operator by the classical antilinear column map changes the operation being composed.

There is a second useful diagnostic. Our classical expression −γ5ψ(−x)-\gamma^5\psi(-x) takes a positive-frequency free mode to a negative-frequency mode. In a CPT-invariant field theory, the physical symmetry instead relates positive-energy particle and antiparticle excitations. The field expansion and its creation operators supply the connection between these descriptions. A bare Fourier-frequency sign does not supply it.

What the matrix check does and does not establish

Section titled “What the matrix check does and does not establish”

The direct substitution establishes covariance of specified differential equations under specified classical maps. It does not construct a quantum vacuum, canonical anticommutation relations, local quantized fields, or a positive-energy Hilbert-space representation. Those are substantive parts of the setting in which the CPT theorem is proved.

The canonical CPT preview and From Discrete Symmetries to CPT explain that framework and its qualified consequences. Lüders (1957) is a primary theorem reference. The theorem allows separate C, P, or T violation in theories satisfying its hypotheses. With vanishing backgrounds, the free scalar and Dirac equations admit each separate map. That is a special property of this example, not a requirement of the CPT theorem.

An arbitrary external background held fixed is not automatically CPT invariant. Nor does a Lorentz-covariant wave equation alone prove the field-theory theorem. The practical lesson is to identify the transformed object and background before using a symmetry conclusion.

A phase that survives composition. Replace UTU_T by eiθUTe^{i\theta}U_T while keeping the classical C and P conventions fixed. Find the phase of X\mathscr X and its square.

Solution

The final antilinear C map conjugates the inserted phase:

Xθ=e−iθX,Xθ2=e−2iθI.\mathscr X_\theta =e^{-i\theta}\mathscr X,\qquad \mathscr X_\theta^2=e^{-2i\theta}I.

The composed classical map is linear, so its phase does not cancel in its square. For θ=−π/2\theta=-\pi/2, this gives the alternative −iγ5-i\gamma^5 map with square −I-I.

A Coulomb source. For Φ(x)=Q/(4πϵ0r)\Phi(\mathbf x)=Q/(4\pi\epsilon_0r) and A=0\mathbf A=0, determine the composed potentials and electric field.

Solution

Since Φ(−x)=Φ(x)\Phi(-\mathbf x)=\Phi(\mathbf x), ΦX=−Φ\Phi_{\mathscr X}=-\Phi. The electric field changes source sign: EX(x)=E(−x)=−E(x)\mathbf E_{\mathscr X}(\mathbf x) =\mathbf E(-\mathbf x) =-\mathbf E(\mathbf x). This agrees with the plus sign at the reflected argument in the field-strength rule.

A theorem-sized gap. A calculation verifies the displayed Dirac residual identity. Can it alone establish a positive-energy antiparticle spectrum or a CPT theorem?

Solution

It establishes only the classical equation map. A positive-energy particle interpretation requires the quantized-field state and mode construction. A CPT theorem additionally invokes the specified locality, covariance, spectrum, and Hilbert-space assumptions. None follows merely from multiplying the gamma matrices.

  • Beisert, Niklas. Quantum Field Theory I. ETH Zurich lecture notes, autumn semester 2012, chapter 5, section 5.3. Free Spinor Field.
  • Lüders, Gerhart. “Proof of the TCP theorem.” Annals of Physics 2, 1–15 (1957). doi:10.1016/0003-4916(57)90032-5.
  • Tong, David. The Standard Model. University of Cambridge Part III lecture notes, chapter 1, section 1.4, undated online edition, accessed 2 October 2026. Lecture notes.