パウリ行列
一方、を単位ベクトルとし、パウリ行列を使って