Antiunitary Symmetries
An antiunitary symmetry is represented by a surjective 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, every antiunitary operator can 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.
To perform that change explicitly, let the columns of a unitary matrix be the new basis vectors in the old coordinates. The same state has new coordinates , as in Active and Passive Transformations. Since sends to , its action in the new coordinates is
Thus is represented by with , where now conjugates the new coordinate column and denotes entrywise conjugation. The right-hand factor is , whereas a linear operator’s matrix transforms as .
In these coordinates, time-reversal invariance is the matrix condition . A real Hamiltonian matrix is therefore the correct test only in a basis where this particular time-reversal operation is . An imaginary matrix entry alone does not demonstrate broken time reversal; the exercise below gives a two-level example.
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
every normalizable energy eigenstate of a self-adjoint time-reversal-invariant Hamiltonian has an orthogonal partner at the same energy. Here must preserve the Hamiltonian domain and commute with . This is Kramers Degeneracy; it applies to bound-state eigenspaces as well as finite matrices, and does not by itself make a claim about nonnormalizable scattering states.
A symmetry is not an implementable quantum gate
Section titled “A symmetry is not an implementable quantum gate”Antiunitarity describes a relation between states and experiments. It does not supply a deterministic physical gate that conjugates every unknown input state. On density matrices, conjugation in a fixed basis gives transposition, which fails complete positivity when extended to an entangled system. Time reversal therefore has a different operational meaning from a unitary pulse applied by an experimentalist.
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.
- In an orthonormal basis let , where is a nonzero real energy, and let the time-reversal operation be . Rephase the second basis vector by , so . Find and , then verify time-reversal invariance and in the new coordinates.
Solution
The original coefficient matrix is . The passive transformation gives
Although , the complete time-reversal operation is now , and
Its square is . The physical symmetry and its square have survived the coordinate change. Applying alone to would test a different operation. This example models a two-level system with , rather than the physical spin- time reversal discussed above.
- Let be antiunitary. Show that
for real and a self-adjoint Hamiltonian. Use a power series for a bounded , and explain how the spectral theorem extends the result.
Solution
For bounded , expand the norm-convergent power series. Conjugation by preserves products and conjugates every scalar, so becomes and becomes . For an unbounded self-adjoint , use its spectral resolution instead: transforms each spectral projection and complex-conjugates the bounded function . A power series on arbitrary vectors is not justified in that case.
- For spinless time reversal in the position representation, show that for .
Solution
Apply the transformed operator to a test wavefunction :
Thus since .
References
Section titled “References”- 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.
- J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020, chapter 4.
- E. P. Wigner, Group Theory and Its Application to the Quantum Mechanics of Atomic Spectra, Academic Press, 1959.