Antiunitary Symmetries, First Look
An antiunitary map preserves transition probabilities while conjugating complex scalars. Complex conjugation is the basic example: it sends to , 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 on a complex Hilbert space is antilinear when
It is antiunitary when it is bijective and, in the physics inner-product convention,
Thus it preserves norms and transition probabilities while conjugating complex scalars. In particular .
Complex conjugation and factorization
Section titled “Complex conjugation and factorization”After choosing an orthonormal basis, complex conjugation
is antiunitary and obeys . The operator depends on the chosen basis; antiunitarity itself does not.
Every antiunitary operator can be written
where is unitary relative to that basis. Conversely, a unitary operator times is antiunitary. The factorization changes when the reference basis changes, while the map remains the same.
Composing unitary and antiunitary maps
Section titled “Composing unitary and antiunitary maps”| 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 is therefore unitary. The square is a linear map and need not equal ; the calculation below gives an example with .
A two-component calculation
Section titled “A two-component calculation”In the standard basis let . Then : both vectors have norm one, although they need not represent the same ray. Moreover,
This is the difference from a linear unitary map , for which . Norm preservation alone does not tell you which of these two scalar rules holds.
The factorization also explains why two antiunitary maps compose to a linear unitary map. In a fixed basis,
where means entrywise conjugation, not the adjoint . There is no general rule that an antiunitary must square to the identity.
Exercise
Section titled “Exercise”For the real unitary matrix , show that is antiunitary and . Explain why multiplying by a constant phase does not change its square.
Solution
The product of a unitary map and conjugation is antiunitary. Since is real, . Antilinearity gives
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.
References
Section titled “References”- 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.