パウリ行列
where the are the Pauli matrices and for ,