2.2 Wigner’s theorem
According to E. Wigner, a symmetry transformation T acting on a quantum system is a bijection T:PH→PH, that preserves the transition probability (2.3). We call a bijection U on H is compatible with T if U induces the same action on PH as T.
Then, Wigner’s theorem states:
Theorem 2.1 (Wigner 1931) Given a symmetry transformation T, there exists a bijection UT on H compatible with T. This UT is either linear (over C) and unitary, or anti-linear and anti-unitary. If dimH≥2, UT is unique up to a overall phase redefinition UT↦eiαUT. (When dimH=1, T is unique, and UT can be taken either of unitary or anti-unitary one. Once the choice is fixed, it is up to the phase.)
This is why we usually care about unitary operator (like Pauli matrices). The proof can be found somewhere, e.g. [8]. We will see examples soon.
We also have an action of T on the algebra of operators A through this theorem: T↷ Note that this action is independent of the phase freedom of U_T and thus uniquely defined. (2.5) is a special case of this.
Finally, we call a symmetry T is preserved by the Hamiltonian if \begin{equation} \tag{2.8} [U_T,H] = 0. \end{equation}