実パウリ行列とトレース

本記事では、量子力学でよく知られたパウリ行列から、成分が全て実数である実パウリ行列と呼ばれる行列の組を定義します。この実パウリ行列と単位行列は二次正方実行列の基底をなします。この基底で表したときの係数によってトレースを解釈します。

パウリ行列

通常のパウリ行列${\sigma }_1,{\sigma }_2,{\sigma }_3$は以下のように定義されます。7shi-pbq

$${\sigma }_1=\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right),{\sigma }_2=\left(\begin{array}{cc}0& -i\\ i& 0\end{array}\right),{\sigma }_3=\left(\begin{array}{cc}1& 0\\ 0& -1\end{array}\right)$$

これらは$2\times 2$の複素行列であり、以下の関係式を満たします。

$$\begin{array}{rl}{\sigma }_1^2& ={\sigma }_2^2={\sigma }_3^2=I\\ {\sigma }_1{\sigma }_2& =-{\sigma }_2{\sigma }_1=i{\sigma }_3\\ {\sigma }_2{\sigma }_3& =-{\sigma }_3{\sigma }_2=i{\sigma }_1\\ {\sigma }_3{\sigma }_1& =-{\sigma }_1{\sigma }_3=i{\sigma }_2\end{array}$$

実パウリ行列の構成

上記の関係式${\sigma }_1{\sigma }_2=i{\sigma }_3$を出発点とし、この式を実数のみの行列で表現することを考えます。

両辺に$-i$を掛けます。

$$-i{\sigma }_1{\sigma }_2={\sigma }_3$$

$-i$を複素行列である${\sigma }_2$に作用させます。

$${\sigma }_1(-i{\sigma }_2)={\sigma }_3$$

${\sigma }_1,{\sigma }_3$は実行列ですが、$-i{\sigma }_2$も実行列となります。

$$-i{\sigma }_2=-i\left(\begin{array}{cc}0& -i\\ i& 0\end{array}\right)=\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)$$

よってすべて実行列の計算となります。

$$\underset{{\sigma }_1}{\underbrace{\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)}}\underset{-i{\sigma }_2}{\underbrace{\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)}}=\underset{{\sigma }_3}{\underbrace{\left(\begin{array}{cc}1& 0\\ 0& -1\end{array}\right)}}$$

この関係式に着目し、実パウリ行列${\tau }_1,{\tau }_2,{\tau }_3$を以下のように定義します。

$$\begin{array}{rlrl}{\tau }_1& :=& {\sigma }_1& =\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)\\ {\tau }_2& :=& -i{\sigma }_2& =\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)\\ {\tau }_3& :=& {\sigma }_3& =\left(\begin{array}{cc}1& 0\\ 0& -1\end{array}\right)\end{array}$$

この定義では、${\tau }_1,{\tau }_2,{\tau }_3$ は全て実行列であり、以下の関係式を満たします。

$$\begin{array}{rl}{\tau }_1^2=I& ,{\tau }_2^2=-I,{\tau }_3^2=I\\ {\tau }_1{\tau }_2& =-{\tau }_2{\tau }_1={\tau }_3\\ {\tau }_1{\tau }_3& =-{\tau }_3{\tau }_1={\tau }_2\\ {\tau }_2{\tau }_3& =-{\tau }_3{\tau }_2={\tau }_1\end{array}$$

${\tau }_2$の持つ意味

この定義で得られた${\tau }_2$は、虚数単位$i$の$2\times 2$行列表現と見なすことができます。実際、${\tau }_2$の二乗は$i^2=-1$に対応します。

$${\tau }_2^2=\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)=\left(\begin{array}{cc}-1& 0\\ 0& -1\end{array}\right)=-I$$

また、複素数$x+yi$をベクトル$\left(\begin{array}{c}x\\ y\end{array}\right)$と同一視すれば、${\tau }_2$をこのベクトルに作用させることは、複素数に$i$を掛ける操作に対応します。

$${\tau }_2\left(\begin{array}{c}x\\ y\end{array}\right)=\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)\left(\begin{array}{c}x\\ y\end{array}\right)=\left(\begin{array}{c}-y\\ x\end{array}\right)\leftrightarrow i(x+yi)=-y+ix$$

このように、${\tau }_2$は虚数単位$i$の性質を表現する行列であると言えます。

二次正方実行列の基底

単位行列$I$と実パウリ行列${\tau }_1,{\tau }_2,{\tau }_3$を適切に線形結合することで、任意の二次正方実行列の各成分を表現できます。

まず、$(i,j)$ 成分のみが 1 で、それ以外の成分が 0 であるような行列を$E_{ij}$と表記して、実パウリ行列の線形結合で表します。

$$\begin{array}{rl}{E}_{11}& =\left(\begin{array}{cc}1& 0\\ 0& 0\end{array}\right)=\frac{1}{2}(I+{\tau }_3)\\ E_{12}& =\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right)=\frac{1}{2}({\tau }_1-{\tau }_2)\\ E_{21}& =\left(\begin{array}{cc}0& 0\\ 1& 0\end{array}\right)=\frac{1}{2}({\tau }_1+{\tau }_2)\\ E_{22}& =\left(\begin{array}{cc}0& 0\\ 0& 1\end{array}\right)=\frac{1}{2}(I-{\tau }_3)\end{array}$$

任意の二次正方実行列は、これらの線形結合として表せます。$p,q,r,s$ を実数とすれば

$$\begin{array}{rl}\left(\begin{array}{cc}p& q\\ r& s\end{array}\right)& =p{E}_{11}+q{E}_{12}+r{E}_{21}+s{E}_{22}\\ & =\frac{p}{2}(I+{\tau }_3)+\frac{q}{2}({\tau }_1-{\tau }_2)+\frac{r}{2}({\tau }_1+{\tau }_2)+\frac{s}{2}(I-{\tau }_3)\\ & =\frac{p+s}{2}I+\frac{q+r}{2}{\tau }_1+\frac{-q+r}{2}{\tau }_2+\frac{p-s}{2}{\tau }_3\end{array}$$

このことは$\{I,{\tau }_1,{\tau }_2,{\tau }_3\}$が二次正方実行列の基底をなすことを示しています。

トレース

実パウリ行列のトレースは$0$です。

$$\begin{array}{rl}\mathrm{tr}({\tau }_1)& =\mathrm{tr}\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)=0\\ \mathrm{tr}({\tau }_2)& =\mathrm{tr}\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)=0\\ \mathrm{tr}({\tau }_3)& =\mathrm{tr}\left(\begin{array}{cc}1& 0\\ 0& -1\end{array}\right)=0\end{array}$$

これにより、二次正方実行列$A$を単位行列と実パウリ行列の線形結合で表せば、トレースには単位行列の項しか寄与しないことが分かります。

$$\begin{array}{rl}\mathrm{tr}(A)& =\mathrm{tr}(a_{0}I+a_1{\tau }_1+a_2{\tau }_2+a_3{\tau }_3)\\ & =\mathrm{tr}(a_{0}I)\\ & =\mathrm{tr}\left(\begin{array}{cc}{a}_0& 0\\ 0& a_0\end{array}\right)\\ & =2a_0\end{array}$$

つまり、トレースを取ることで、二次正方実行列から単位行列の成分を抽出することになります。

内積

二次正方実行列$A,B$を単位行列と実パウリ行列の線形結合で表します。（係数は実数）

$$\begin{array}{rl}A& =a_{0}I+a_1{\tau }_1+a_2{\tau }_2+a_3{\tau }_3=\left(\begin{array}{cc}{a}_0+a_3& a_1-a_2\\ a_1+a_2& a_0-a_3\end{array}\right)\\ B& =b_{0}I+b_1{\tau }_1+b_2{\tau }_2+b_3{\tau }_3=\left(\begin{array}{cc}{b}_0+b_3& b_1-b_2\\ b_1+b_2& b_0-b_3\end{array}\right)\end{array}$$

$A$を転置すれば、$a_2$を符号反転することになります。

$$A^{\mathsf{T}}=\left(\begin{array}{cc}{a}_0+a_3& a_1+a_2\\ a_1-a_2& a_0-a_3\end{array}\right)=a_{0}I+a_1{\tau }_1-a_2{\tau }_2+a_3{\tau }_3$$

$A^{\mathsf{T}}B$ のトレースを取ります。実パウリ行列の2乗により単位行列が現れるのに注意します。

$$\begin{array}{rl}\mathrm{tr}(A^{\mathsf{T}}B)& =\mathrm{tr}[(a_{0}I+a_1{\tau }_1-a_2{\tau }_2+a_3{\tau }_3)(b_{0}I+b_1{\tau }_1+b_2{\tau }_2+b_3{\tau }_3)]\\ & =\mathrm{tr}(a_0{b}_0{I}^2+a_1{b}_1{\tau }_1^2-a_2{b}_2{\tau }_2^2+a_3{b}_3{\tau }_3^2)\\ & =\mathrm{tr}(a_0{b}_{0}I+a_1{b}_{1}I+a_2{b}_{2}I+a_3{b}_{3}I)\\ & =2(a_0{b}_0+a_1{b}_1+a_2{b}_2+a_3{b}_3)\end{array}$$

同じ添え字の係数を掛けて、それらを足した値の2倍が得られました。これは実パウリ行列の係数をベクトルと見なしたときの内積の2倍に相当します。

まとめ

二次正方実行列を単位行列と実パウリ行列の線形結合で表すことで、積のトレースが内積（の2倍）に相当すると解釈できます。