Skip to content

Antiunitary Symmetries, First Look

An antiunitary map preserves transition probabilities while conjugating complex scalars. Complex conjugation is the basic example: it sends iψi\psi to −iKψ-iK\psi, so it cannot be represented by an ordinary complex matrix acting linearly.

Helpful background. Review complex vector spaces for scalar multiplication and inner products for complex conjugation in the first slot. After the algebra below, Antiunitary Symmetries explains Wigner’s theorem and the physical role of these maps.

A map AA on a complex Hilbert space is antilinear when

A(aψ+bϕ)=a∗Aψ+b∗Aϕ.A(a\psi+b\phi)=a^*A\psi+b^*A\phi.

It is antiunitary when it is bijective and, in the physics inner-product convention,

⟨Aψ∣Aϕ⟩=⟨ψ∣ϕ⟩∗.\langle A\psi\mid A\phi\rangle = \langle\psi\mid\phi\rangle^*.

Thus it preserves norms and transition probabilities while conjugating complex scalars. In particular AiA−1=−iAiA^{-1}=-i.

After choosing an orthonormal basis, complex conjugation

K∑ncn∣n⟩=∑ncn∗∣n⟩K\sum_n c_n\lvert n\rangle = \sum_n c_n^*\lvert n\rangle

is antiunitary and obeys K2=IK^2=I. The operator KK depends on the chosen basis; antiunitarity itself does not.

Every antiunitary operator can be written

A=UK,A=UK,

where UU is unitary relative to that basis. Conversely, a unitary operator times KK is antiunitary. The factorization changes when the reference basis changes, while the map AA remains the same.

First map Second map Composition
linear unitary linear unitary linear unitary
linear unitary antiunitary antiunitary
antiunitary linear unitary antiunitary
antiunitary antiunitary linear unitary

The square A2A^2 is therefore unitary. The square is a linear map and need not equal II; the calculation below gives an example with A2=−IA^2=-I.

In the standard basis let ψ=(1,i)T/2\psi=(1,i)^T/\sqrt2. Then Kψ=(1,−i)T/2K\psi=(1,-i)^T/\sqrt2: both vectors have norm one, although they need not represent the same ray. Moreover,

K(iψ)=−iKψ.K(i\psi)=-iK\psi.

This is the difference from a linear unitary map UU, for which U(iψ)=iUψU(i\psi)=iU\psi. Norm preservation alone does not tell you which of these two scalar rules holds.

The factorization A=UKA=UK also explains why two antiunitary maps compose to a linear unitary map. In a fixed basis,

(UK)(VK)=UV∗,A2=UU∗,(UK)(VK)=UV^*,\qquad A^2=UU^*,

where V∗V^* means entrywise conjugation, not the adjoint V†V^\dagger. There is no general rule that an antiunitary must square to the identity.

For the real unitary matrix U=(0−110)U=\begin{pmatrix}0&-1\\1&0\end{pmatrix}, show that A=UKA=UK is antiunitary and A2=−IA^2=-I. Explain why multiplying AA by a constant phase does not change its square.

Solution

The product of a unitary map and conjugation is antiunitary. Since UU is real, A2=UU∗=U2=−IA^2=UU^*=U^2=-I. Antilinearity gives

(eiαA)2=eiαe−iαA2=A2.(e^{i\alpha}A)^2=e^{i\alpha}e^{-i\alpha}A^2=A^2.

The phase cancels because the second scalar passes through an antilinear map. This algebra prepares the distinction between the two time-reversal squares discussed in Time Reversal.

  • B. C. Hall, Quantum Theory for Mathematicians, Springer, 2013 — unitary and antiunitary implementation of quantum symmetries.
  • J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020 — antiunitarity and time reversal.