Pauli matrices
ここで、 は部分空間に作用するパウリ行列 を