パウリ行列
where formula_28 is the vector of Pauli matrices.