Antiunitary Symmetries
An antiunitary symmetry is represented by an antilinear norm-preserving operator. Antiunitary transformations are less familiar than unitary ones, but they are unavoidable in quantum mechanics. Time reversal is the central example. For the operator-theoretic first pass, see Antiunitary Symmetries, First Look; for the dynamical derivation, see Antiunitary Time Reversal.
Antilinearity
Section titled “Antilinearity”An antiunitary operator is antilinear:
This is the first point to remember. Complex scalars are conjugated when they pass through .
Inner Products and Probabilities
Section titled “Inner Products and Probabilities”Antiunitary transformations conjugate inner products:
Therefore they preserve transition probabilities:
This is why antiunitary transformations are allowed by Wigner’s theorem.
Wigner’s theorem is a statement about ray symmetries: under its standard hypotheses, a bijection of rays that preserves transition probabilities can be implemented by either a unitary or an antiunitary operator. The implementing operator is defined only up to an overall phase. A continuous one-parameter symmetry connected to the identity stays in the unitary branch; antiunitary implementations therefore characteristically represent disconnected or discrete operations such as time reversal.
Complex Conjugation Is Basis Dependent
Section titled “Complex Conjugation Is Basis Dependent”In a chosen orthonormal basis, an antiunitary operator can often be written as
where is unitary and complex-conjugates coefficients in that basis. This is useful, but it can be misleading if stated without context. The operation depends on the basis chosen. The antiunitary operator is the invariant object.
The factorization is general. Choose an orthonormal basis and its conjugation . Since the product of two antiunitary maps is linear, is linear. Moreover,
so is unitary and . A change of reference basis changes and separately but not their product.
Composition and Operator Transformations
Section titled “Composition and Operator Transformations”The product of two antiunitary maps is unitary; multiplying a unitary and an antiunitary map in either order is antiunitary. Consequently is antiunitary and is unitary.
Conjugation by an antiunitary map preserves operator products but conjugates scalar coefficients:
It follows that
The scalar conjugation is essential in algebra checks. For example, if , a time-reversal action with and gives , exactly matching the transformed right-hand side .
Time Reversal
Section titled “Time Reversal”Time reversal must conjugate . The Schrödinger equation
contains and a time derivative. Reversing the time direction requires an operation that sends to so that the transformed equation has the correct sign structure.
For a spinless particle in a position basis, a simple time-reversal action is complex conjugation:
This leaves unchanged and reverses momentum:
The scalar-particle representation and the consequence are developed in Time Reversal for Spinless Particles.
For spin-, time reversal also acts nontrivially on spin. A common convention is
which gives
Sign conventions for this formula vary by phase choice, but physical predictions do not.
In the basis, is entrywise conjugation and
Because is real,
This two-dimensional example also shows why multiplying an antiunitary operator by a phase does not change : the second occurrence of the phase is conjugated.
The detailed spinor convention and the proof of are treated in Time Reversal for Spin-1/2 Particles.
Kramers Degeneracy Preview
Section titled “Kramers Degeneracy Preview”When an antiunitary time-reversal symmetry satisfies
energy eigenstates of a time-reversal-invariant Hamiltonian occur in orthogonal pairs under broad finite-dimensional assumptions. This is Kramers Degeneracy. The full discussion belongs with time reversal and applications, but the antiunitary origin starts here.
Common Mistakes
Section titled “Common Mistakes”- Treating as instead of .
- Describing antiunitary operators as just “unitary matrices with complex conjugation” without specifying the basis.
- Forgetting that time reversal changes momenta and angular momenta.
- Assuming every time-reversal operation satisfies .
- Dropping antiunitarity when transforming expressions containing .
Cross-Links
Section titled “Cross-Links”- Quantum Symmetries
- Wigner’s Theorem Preview
- Unitary Symmetries
- Antiunitary Symmetries, First Look
- Antiunitary Time Reversal
- Time Reversal for Spinless Particles
- Projective Representations
- Time Reversal for Spin-1/2 Particles
- Kramers Degeneracy
- Symmetry Classification Preview
- Common Pitfalls
- Rays and Global Phase
- Pauli Matrices
References
Section titled “References”- E. P. Wigner, Group Theory and Its Application to the Quantum Mechanics of Atomic Spectra, Academic Press, 1959.
- J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.
- A. Messiah, Quantum Mechanics, Dover, 1999.
- M. S. Dresselhaus, G. Dresselhaus, and A. Jorio, Group Theory: Application to the Physics of Condensed Matter, Springer, 2008.
- V. Bargmann, “Note on Wigner’s Theorem on Symmetry Operations,” Journal of Mathematical Physics 5, 862–868 (1964), doi:10.1063/1.1704188.
- B. C. Hall, Quantum Theory for Mathematicians, Springer, 2013.
- M. Reed and B. Simon, Methods of Modern Mathematical Physics I: Functional Analysis, revised and enlarged ed., Academic Press, 1980.
Exercises
Section titled “Exercises”- Let be antiunitary. Show that .
Solution
By antilinearity,
- Show that the inverse of an antiunitary operator is antiunitary.
Solution
If is antiunitary, it is bijective. For and ,
Antilinearity of follows by applying to a linear combination and using bijectivity.
- Fix a basis conjugation and prove that every antiunitary has the form with unitary.
Solution
Define . It is linear because it is the product of two antilinear maps. The antiunitary inner-product rule applied twice gives , so is unitary. Since , .
- Let be antiunitary. Show that
for real and a Hamiltonian for which the exponential is defined.
Solution
Expand the exponential in its power series. Conjugation by preserves operator products, while antilinearity conjugates every scalar coefficient. Thus becomes and becomes , which resums to the stated exponential.
- For spinless time reversal in the position representation, show that for .
Solution
Apply the transformed operator to a test wavefunction :
Thus since .