An antilinear involution need not preserve norms, so the required physical assumption is that momentum reversal maps a complete normalized basis to a normalized basis. For a spinless sector take with and relativistic normalization . Any extra degeneracy labels must likewise be mapped by a norm-preserving permutation or unitary matrix. The condition requires in the scalar basis.
For arbitrary normalizable wave packets and , where , antilinearity conjugates their coefficients. Using the normalized reversed basis gives
Completeness proves for all states, so this quantum time-reversal operator is antiunitary. The same proof with sums over extra labels uses the unitarity of their reversal matrix.
For a Hermitian interaction-picture Hamiltonian, the condition of time-reversal symmetry is
Expand the scattering matrix as a Dyson series, using ordered integration rather than commuting operators:
Conjugation by conjugates to but preserves the product order. Substitute ; the integration domain becomes and
On the other hand, taking the adjoint of the original series conjugates its coefficient and reverses the operator order. Relabel in each adjoint integral; it is exactly the same series. Thus
Equivalently, time ordering turns into anti-time ordering after reversing the time arguments. One can first use a finite symmetric time interval and the same time-symmetric switching prescription before taking the scattering limit; the argument never assumes .
Antiunitarity relates amplitudes by
Using and taking a complex conjugate gives the time-reversal reciprocity of the scattering matrix
The reverse process starts with the reversed final state and ends with the reversed initial state. Intrinsic state phases can appear when these reversed states are rewritten in a separately chosen basis, but the corresponding squared amplitudes agree. Equal amplitudes do not mean identical numerical cross sections when the reversed process has different flux or phase-space factors.
For a spin-zero complex scalar field, choose the transformation convention . Its mode expansion of a free field is
Apply to the expansion. Its antiunitarity conjugates both numerical plane waves, giving coefficients multiplying and multiplying . In , replace by to obtain precisely these same plane waves. Comparing independent modes proves time reversal of a complex scalar field:
Taking adjoints gives . Positive energy is preserved, and an annihilation operator remains an annihilation operator. Time reversal does not exchange particles with antiparticles.
The coefficient is an intrinsic time-reversal phase. Applying twice gives , so ; it need not be restricted to . Write and redefine . Because the phase is conjugated by ,
Thus the scalar intrinsic phase can be absorbed into the annihilation-operator convention. Redefining simultaneously implements the corresponding whole-field rephasing and removes the phase from both mode transformations.