Pauli matrices
ここで formula_5 はパウリ行列を簡便性のためベクトルの形に並べたもの、formula_6 は運動量演算子。