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.
Composing the classical solution maps
Section titled “Composing the classical solution maps”Write and specify the order: first T, then P, then C. The component matrices are
For a commuting Dirac column, the composition is
The two component conjugations cancel. Thus this particular map on classical solution columns is complex-linear. Its displayed square is , because 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 , the same ordered classical calculation gives
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
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 fixed. The composed background is
Differentiation reverses the argument, so its field strength is
In three-vector language, both and have a plus sign at the reflected spacetime point, while both potentials have a minus sign.
Let
For , the transformed covariant derivative obeys
Using therefore gives
Thus a zero residual maps to a zero residual. The scalar derivative instead acquires one minus sign on ; 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- description.
Why quantum CPT is antiunitary
Section titled “Why quantum CPT is antiunitary”In the usual quantum-field implementation, and are unitary, while is antiunitary. Their combined Hilbert-space operation is therefore antiunitary:
An operator-valued field transformation may involve an adjoint, a transpose, or component conjugation without making its implementing unitary 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 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.
Exercises
Section titled “Exercises”A phase that survives composition. Replace by while keeping the classical C and P conventions fixed. Find the phase of and its square.
Solution
The final antilinear C map conjugates the inserted phase:
The composed classical map is linear, so its phase does not cancel in its square. For , this gives the alternative map with square .
A Coulomb source. For and , determine the composed potentials and electric field.
Solution
Since , . The electric field changes source sign: . 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.
References
Section titled “References”- 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.