パウリ行列
The Pauli matrices formula_20 and formula_21 satisfy the following: