Pauli matrices
である。ここで、P は並進の生成子(すなわち運動量)で、ポアンカレ代数を満たす。σ はパウリ行列である。