パウリ行列
where the sigmas are the Pauli matrices. From the relations