パウリ行列
パウリ行列は
σ k † = σ k ( k = 1 , 2 , 3 ) {\displaystyle {\sigma _{k}}^{\dagger }=\sigma _{k}\qquad (k=1,2,3)}
を満たすエルミート行列であり、
σ k † σ k = σ k σ k † = I ( k = 1 , 2 , 3 ) {\displaystyle {\sigma _{k}}^{\dagger }\sigma _{k}=\sigma _{k}{\sigma _{k}}^{\dagger }=I\qquad (k=1,2,3)}
を満たすユニタリ行列でもある。