パウリ行列
The Pauli matrices all have the eigenvalues +1, −1.