Pauli matrices
となる。ここで formula_32 ("j" = 1, 2, 3) はパウリ行列、1, 0 はそれぞれ 2 次の単位行列、零行列である。