Pauli matrices
パウリ行列は、行列式を とする 2次ユニタリ行列がなす2次特殊ユニタリ群 に対応するリー代数 の生成子である。パウリ行列に を乗じた