Pauli matrices
ハミルトニアン が時間に陽に依存しない場合、時間発展演算子は行列指数関数で与えられるが、2状態系ではパウリ行列による展開で直接的に求めることができる。ハミルトニアン はパウリ行列で