パウリ行列
where the formula_21 are Pauli matrices, or