Pauli matrices
それぞれのパウリ行列は、固有値 と を持つ。それぞれの規格化された固有ベクトルは、