Unitary and antiunitary symmetry operators
Identify probability-preserving transformations without confusing antilinearity with a minus sign.
On this page
The question for today
What you’ll understand
- Distinguish linear unitary maps from antilinear antiunitary maps.
- Check transition-probability preservation by calculating overlaps.
- Separate a symmetry of quantum kinematics from a symmetry of a chosen Hamiltonian.
A symmetry preserves the distinctions an experiment can make. In quantum mechanics those distinctions are encoded by transition probabilities between rays, where vectors differing only by an overall phase describe the same pure state. Preserving norms is part of the requirement, but preserving the probabilities between every pair of states is stronger. The surprising result is that complex conjugation can participate in a symmetry even though it reverses the complex structure.
Two ways to preserve a probability
Assume a bijection of the rays of a complex Hilbert space preserves all transition probabilities. Wigner's theorem says that it can be represented by a unitary or an antiunitary operator, up to irrelevant phases. A unitary operator is complex linear and preserves inner products. An antiunitary operator is antilinear and conjugates inner products. Both preserve their absolute squares. The theorem concerns the entire state space, not a rule that happens to preserve the norm of one selected preparation.
Antilinearity means that a scalar is conjugated when it passes through the map. In particular, . This is different from a linear operator with some negative matrix entries. In a chosen orthonormal basis, any antiunitary map can be written , where conjugates the components and is unitary. The matrix describing and the meaning of depend on that basis; the antilinear character of does not.
Continuous symmetries and their generators
A continuously connected family starting at the identity stays in the unitary class. For a strongly continuous one-parameter unitary group, a self-adjoint generator describes the family by exponentiation. In finite dimensions this is an ordinary Hermitian matrix; in infinite dimensions its domain matters. The exponent must be dimensionless. A translation parameter measured in metres therefore pairs with momentum divided by Planck's reduced constant, whereas a rotation angle pairs with angular momentum divided by that constant.
The infinitesimal form gives a practical diagnostic. In finite dimensions, expanding the unitary condition to first order forces the generator to equal its adjoint. For unbounded operators the first-order condition instead gives symmetry on the relevant domain; self-adjointness follows from Stone’s theorem for the full strongly continuous group. This does not say that every unitary transformation is a physical symmetry of every Hamiltonian. A spin rotation is a legitimate probability-preserving operation, but a fixed external magnetic field selects a direction and usually prevents that rotation from being a symmetry of the same apparatus. Transforming both the apparatus and the state is a different comparison.
Phases, composition, and physical implementation
Because states are rays, representative symmetry operators can compose with an extra phase. Such a projective representation is physically consistent: transition probabilities cannot detect the phase on an isolated transformed state. Relative phases between coherently compared operations can still matter. Spin one half supplies an important example, since a full spatial turn returns the ray while changing the sign of a representative spinor. Keeping the vector and ray statements separate avoids an apparent contradiction.
Antiunitarity also has an operational boundary. Ordinary closed-system time evolution generated by a Hamiltonian is unitary, so complex conjugation of an arbitrary unknown input is not another universal Hamiltonian gate. Antiunitary symmetries relate descriptions or possible histories; they need not be directly implementable as deterministic preparation devices. Time reversal is the central physical example. Whether it preserves a particular Hamiltonian requires examining magnetic fields, angular momenta, and all other time-odd quantities rather than only conjugating a displayed column.
Work it through
Conjugate, swap, and check the norm
In an orthonormal two-state basis let , with exchanging the two components. Apply it to , calculate , and test its action on .
Conjugation first sends the column to . Swapping afterward gives . Its norm squared is , so normalization is preserved.
Apply the same operations again: conjugate to and exchange to obtain . Thus this particular antiunitary has square ; antiunitarity alone does not require square .
The scalar must also be conjugated. Consequently , rather than . Checking this scalar distinguishes the map from an ordinary linear swap.
The transformed state is normalized and A squared is the identity, while its action on a complex scalar proves that A is antilinear.
The living notebook
Explore the model
Interactive lab · quantum
Conjugation reflects a pure-state coordinate
For each run Reset and set both controls. Compare with while paused. Predict equal basis probabilities, unchanged Bloch x and z, and opposite y. These states illustrate K in this basis. The pure-state instrument does not implement an antiunitary gate or a measurement collapse.
- Probability |0⟩
- 71.1%
- Probability |1⟩
- 28.9%
- Bloch (x, y, z)
- 0.78, 0.45, 0.42
A normalized two-level pure state, not an interacting field simulation. Playback adds one radian per second to the relative phase; basis probabilities stay fixed. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.
Look forProbability preservation can coexist with a reflected complex phase.
Pause & reason
Check your understanding
Your turn
Try it yourself
Let and . Find and . Are their probabilities in the original basis different, and what are their Pauli-y expectations?
Take a moment to make a prediction or work it out on paper. Open a hint when you need one.
Give me a hint
For a normalized column (a,b), the Pauli-y expectation is twice the imaginary part of the product of the conjugate of a and b.
Compare with the solution
The columns are and . Both assign probability to each basis outcome. Their Pauli-y expectations are respectively and , since the relevant products are and . A fixed-basis probability list therefore misses the distinction, whereas a y-basis measurement detects it.
Keep the idea
Take it with you
- A unitary map is linear; an antiunitary map conjugates complex scalars.
- Both preserve transition probabilities, but Hamiltonian invariance is an additional requirement.
- Continuous unitary groups have self-adjoint generators with dimensionless exponents.
Read further
Original sources and deeper explanations to follow at your own pace.
Optional progress, saved in this browser when available. Revisit any lesson at any time.
Lesson not marked complete.