パウリ行列
These are related to the Pauli matrices by