Codex @codex  0

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 $\hat{T}|\mathbf{p}⟩=\eta (\mathbf{p})|-\mathbf{p}⟩$ with $|\eta |=1$ and relativistic normalization $⟨\mathbf{p}|\mathbf{q}⟩=(2\pi {)}^{3}2E_p{\delta }^3(\mathbf{p}-\mathbf{q})$. Any extra degeneracy labels must likewise be mapped by a norm-preserving permutation or unitary matrix. The condition ${\hat{T}}^2=1$ requires $\eta (-\mathbf{p})\eta (\mathbf{p}{)}^{\ast }=1$ in the scalar basis.

For arbitrary normalizable wave packets $|\varphi ⟩=\int d{\Pi }_{p}f(\mathbf{p})|\mathbf{p}⟩$ and $|\psi ⟩=\int d{\Pi }_{p}h(\mathbf{p})|\mathbf{p}⟩$, where $d{\Pi }_p=d^{3}p/[(2\pi {)}^{3}2E_p]$, antilinearity conjugates their coefficients. Using the normalized reversed basis givesCompleteness proves $⟨\hat{T}\varphi |\hat{T}\psi ⟩=⟨\varphi |\psi {⟩}^{\ast }$ 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 isExpand the scattering matrix as a Dyson series, using ordered integration rather than commuting operators:Conjugation by $\hat{T}$ conjugates $(-i{)}^n$ to $i^n$ but preserves the product order. Substitute $s_j=-t_j$; the integration domain becomes $s_1<\cdots <s_n$ andOn the other hand, taking the adjoint of the original series conjugates its coefficient and reverses the operator order. Relabel $s_1=t_n,\dots ,s_n=t_1$ in each adjoint integral; it is exactly the same series. ThusEquivalently, 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 $[V(t),V(s)]=0$.

Antiunitarity relates amplitudes byUsing $\hat{T}S{\hat{T}}^{-1}=S^{†}$ and taking a complex conjugate gives the time-reversal reciprocity of the scattering matrixThe 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 $\hat{T}\varphi (t,\mathbf{x}){\hat{T}}^{-1}={\eta }_T\varphi (-t,\mathbf{x})$. Its mode expansion of a free field isApply $\hat{T}$ to the expansion. Its antiunitarity conjugates both numerical plane waves, giving coefficients $\hat{T}a{\hat{T}}^{-1}$ multiplying $e^{i{E}_{p}t-i\mathbf{p}\cdot \mathbf{x}}$ and $\hat{T}{b}^{†}{\hat{T}}^{-1}$ multiplying $e^{-i{E}_{p}t+i\mathbf{p}\cdot \mathbf{x}}$. In ${\eta }_T\varphi (-t,\mathbf{x})$, replace $\mathbf{p}$ by $-\mathbf{p}$ to obtain precisely these same plane waves. Comparing independent modes proves time reversal of a complex scalar field:Taking adjoints gives $\hat{T}b(p){\hat{T}}^{-1}={\eta }_T^{\ast }b(p_P)$. Positive energy is preserved, and an annihilation operator remains an annihilation operator. Time reversal does not exchange particles with antiparticles.

The coefficient ${\eta }_T$ is an intrinsic time-reversal phase. Applying $\hat{T}$ twice gives ${\hat{T}}^{2}a{\hat{T}}^{-2}={\eta }_T^{\ast }{\eta }_{T}a$, so $|{\eta }_T|=1$; it need not be restricted to $\pm 1$. Write ${\eta }_T=e^{i\vartheta }$ and redefine $a^{\prime }=e^{i\vartheta /2}a$. Because the phase is conjugated by $\hat{T}$,Thus the scalar intrinsic phase can be absorbed into the annihilation-operator convention. Redefining $b^{\prime }=e^{-i\vartheta /2}b$ simultaneously implements the corresponding whole-field rephasing ${\varphi }^{\prime }=e^{i\vartheta /2}\varphi$ and removes the phase from both mode transformations.

Use the metric $g^{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$ and the usual Dirac basis, with $({\gamma }^0{)}^{†}={\gamma }^0$ and $({\gamma }^i{)}^{†}=-{\gamma }^i$. In this solution the sign of the chirality matrix is the one specified in the paper, ${\gamma }^5=-i{\gamma }^0{\gamma }^1{\gamma }^2{\gamma }^3$. Define $t_0=1$ and $t_i=-1$, with no summation in componentwise transformation formulas.

Complex conjugation changes the explicit $-i$ to $+i$. Three spatial gamma matrices each contribute another minus sign, soAlso $({\gamma }^5{)}^2=1$ and $\{{\gamma }^5,{\gamma }^{\mu }\}=0$ by the Clifford algebra.

The quantum time-reversal operator is antiunitary: it conjugates numerical coefficients, including the Dirac spinors and plane-wave exponentials in the mode expansion of a Dirac field. To fix the spin phase explicitly, put ${ϵ}_s=(-1{)}^{1/2-s}$ and useThis convention gives ${\hat{T}}^2=-1$ on a one-fermion state, since ${ϵ}_s{ϵ}_{-s}=-1$. In the transformed expansion, change variables from $(p,s)$ to $(p_T,-s)$. The Lorentz-invariant phase-space measure is unchanged, and $p_T\cdot x=-p\cdot x_T$. The coefficient of $b^s(p)e^{-ip\cdot x_T}$ is thereforeThe same calculation applies to the antiparticle coefficient. Thus, with this explicitly fixed spin convention,The spin phase in the Dirac time-reversal matrix matters here: a common change of the one-particle time-reversal phase replaces $B$ by $-B$; the phase-independent relation is $B\propto {\gamma }^{5}C$. It changes neither the defining conjugation property nor any bilinear result below. Normalize $B$ to be a unitary matrix. In the Dirac basis, ${\gamma }^0$ is real and commutes with $B$, so transforming the Dirac adjoint givesHere complex conjugation of the matrix defining the Dirac adjoint is essential. An explicit realization consistent with the sign of ${\gamma }^5$ used here is $C=i{\gamma }^2{\gamma }^0$ and $B={\gamma }^1{\gamma }^3$; it has $B^{-1}=-B$, so conjugation by $B$ and by $B^{-1}$ coincides. The usual changes of Dirac spinor basis by unitary matrices carry the adjoint and time-reversal matrix with them.

For the charge-conjugation matrix, the gamma matrix adjoint and transpose identities give ${\gamma }^{\mu T}=t_{\mu }{\gamma }^{\mu \ast }$. Consequently $B{\gamma }^{\mu T}{B}^{-1}={\gamma }^{\mu }$. Since $C={\gamma }^{5}B$ in the chosen phase convention,This proof uses a temporal Hermitian matrix and spatial skew-Hermitian matrices explicitly; the transpose identity is preserved when $C$ is transformed appropriately with the gamma matrices.

For the Fermi interaction, let $V_{pn}^{\mu }=\bar{p}{\gamma }^{\mu }n$ and $A_{pn}^{\mu }=\bar{p}{\gamma }^{\mu }{\gamma }^{5}n$. In the displayed Dirac basis, the inverse version of the conjugation relation also holds. Antiunitarity, $B^{-1}{\gamma }^{\mu \ast }B=t_{\mu }{\gamma }^{\mu }$ and $B^{-1}{\gamma }^{5\ast }B={\gamma }^5$ giveThe leptonic weak charged current has the same component signs. In the contraction of leptonic and hadronic currents, the two $t_{\mu }$ factors cancel. Its two independent operators thus keep their form while their coefficients become $g_V^{\ast }$ and $g_A^{\ast }$. The Hermitian-conjugate term transforms separately; its presence does not remove a relative complex phase between the vector and axial couplings.

With all intrinsic phases fixed to one and a real positive Fermi constant, invariance requires real coefficients in that convention. A common phase of $g_V$ and $g_A$ can instead be absorbed into a rephasing of the nucleon fields, and hence into their intrinsic time-reversal phases. The convention-independent condition, for $g_V\ne 0$, isThis is the relative weak phase condition for time reversal. If one coefficient vanishes, there is no relative phase to constrain; the remaining common phase can be removed. A nonreal ratio violates time-reversal symmetry even though the Lagrangian density includes its Hermitian conjugate.

Assume a complete relativistically normalized basis of scalar momentum eigenstates transforms asThis states both reversal of spatial momentum and preservation of the normalization of basis quantum states. Antilinearity alone would not suffice: multiplying a conjugation operator by two gives an antilinear operator that multiplies squared norms by four.

Expand $|\varphi ⟩=\int d{\Pi }_p\varphi (\mathbf{p})|\mathbf{p}⟩$ and similarly for $|\psi ⟩$, with $d{\Pi }_p=d^{3}p/((2\pi {)}^{3}2E_p)$. This Lorentz-invariant phase-space measure is unchanged under $\mathbf{p}\mapsto -\mathbf{p}$. The antilinearity of the quantum time-reversal operator gives conjugated expansion coefficients. Orthogonality of the momentum eigenstates and cancellation of their unit-modulus phases yieldSince momentum reversal is a bijection of the complete basis, $\hat{T}$ is also onto. ThusThis proves antiunitarity, with the normalization hypothesis explicitly included. For scalar multiparticle quantum states the same argument uses the complete occupation-state basis and reverses all momenta; it is not restricted to a single-particle wave packet.

The spinor matrix $B$ obeys $B^{-1}{\gamma }^{\mu \ast }B=t_{\mu }{\gamma }^{\mu }$, with $t_0=1$ and $t_i=-1$. Conjugating the explicit $i$ and three spatial matrices also gives $B^{-1}{\gamma }^{5\ast }B={\gamma }^5$. With spin phases $f_s=(-1{)}^{1/2-s}$ and identities $f_s{u}^{-s\ast }(p_T)={\gamma }^{5}C{u}^s(p)$, relabeling spin and momentum in the mode expansion of a Dirac field gives $B=-{\gamma }^{5}C$, because $f_{-s}=-f_s$. That last relation is phase-convention dependent; the quantum time-reversal operator itself is not just a spinor matrix.