3つ,4つのスピン1/2粒子の合成

この記事では,3つのスピン1/2粒子の合成を行います.さらに4つのスピン1/2粒子の合成に進みます.

まずは復習(1つのスピン)

3スピンの合成の前に,少し復習しておきましょう.1つの1/2スピンでは基底が

| \uparrow \rangle \tag{1} \\| \downarrow \rangle \tag{2}

の様になります.スピン演算子は6種類あり,

s_x , s_y , s_z , \bm{S}^2 , s^+ ,s^- \tag{3}

です.実は,たくさんありますが独立なものは3つです.,つまり,

s^+ &= s_x + i s_y \tag{4} \\s^- &= s_x - i s_y \tag{5} \\\bm{S}^2 &= s_x^2 + s_y^2 + s_z^2 \tag{6} \\&= \dfrac{1}{2}(s^+s^-+s^-s^+)+s_z^2 \tag{7}

という関係があります.これらは演算子ということで状態(基底)に作用します.演算子と基底の関係は,基本的なものから書いて行くと,

&s_z | \uparrow \rangle = \dfrac{\hbar}{2}  | \uparrow \rangle \tag{8} \\&s_z | \downarrow \rangle = -\dfrac{\hbar}{2}  | \downarrow \rangle \tag{9} \\&s^+ | \uparrow \rangle = 0 \tag{10} \\&s^+ | \downarrow \rangle = \hbar | \uparrow \rangle \tag{11} \\&s^- | \uparrow \rangle = \hbar | \downarrow \rangle \tag{12} \\&s^- | \downarrow \rangle = 0 \tag{13}

この6個の式 [*] が全ての基本です.さらに付け加えておくと,上の(4)〜(6)の関係を利用すると,演算子は

s_x = \dfrac{1}{2}(s^+ + s^-), s_y = \dfrac{1}{2i}(s^+ - s^-) より,
[*]独立な3個の演算子に基底が2つなので,この3×2=6個の式で完全に演算子は決定されます.
&s_x | \uparrow \rangle = \dfrac{\hbar}{2}  | \downarrow \rangle \tag{14} \\&s_x | \downarrow \rangle = \dfrac{\hbar}{2}  | \uparrow \rangle \tag{15} \\&s_y | \uparrow \rangle = \dfrac{i\hbar}{2}  | \downarrow \rangle \tag{16} \\&s_y | \downarrow \rangle = \dfrac{-i\hbar}{2}  | \uparrow \rangle \tag{17} \\&\bm{S}^2 | \uparrow \rangle = \dfrac{\hbar^2}{4} | \uparrow \rangle \tag{18} \\&\bm{S}^2 | \downarrow \rangle = \dfrac{\hbar^2}{4}  | \downarrow \rangle \tag{19}

式(1),(2)は基底なので,その線形結合がスピンの状態を表します.さらにこれら6個の演算子は線形なので, 2×2の行列で表せて,状態も2×1の行列で表せます.この2×1の行列をスピノールと言います. つまりある状態が, | \chi \rangle = c_1 | \uparrow \rangle + c_2 | \downarrow \rangle となっている時, これをスピノールで表すと, | \chi \rangle= \begin{pmatrix}c_1 \\ c_2\end{pmatrix} となります.これと同時に演算子は,

&s_x = \dfrac{\hbar}{2} \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} \tag{20} \\&s_y = \dfrac{\hbar}{2} \begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix} \tag{21} \\&s_z = \dfrac{\hbar}{2} \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} \tag{22} \\&\bm{S}^2 = \dfrac{3 \hbar^2}{4}\begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} \tag{23} \\&s^+ = \hbar \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix} \tag{24} \\&s^- = \hbar \begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix} \tag{25}

となります.実は一般に,スピンの状態はベクトルの様なものであり,「スピンの大きさ S 」と,「スピンのz軸成分 m_z 」で決定されます.これを | S, m_z \rangle の様に表記します.縮退があることもあるので,インデックスを加えて | S, m_z , i \rangle と書けば,状態は完全に指定されます.1/2スピン粒子の基底状態 | \uparrow \rangle ,| \downarrow \rangle は,この表記法で書くなら, | \uparrow \rangle=| S=1/2 , m_z = 1/2 \rangle| \downarrow \rangle = | S=1/2 , m_z=-1/2 \rangle となります.注意をしておくと, S=1/2 というのは,実際には S=\dfrac{\hbar}{2} のことであり,さらには, \bm{S}^2=\hbar^2 S(S+1) = \dfrac{3 \hbar^2}{4} となります.このスピンの大きさの二乗が S^2 より大きいことは,もし \bm{S}^2=\hbar^2 S^2 = \dfrac{\hbar^2}{4} だったとすると,スピンの大きさとx,y,z成分が全て確定してしまします.これは,「よい量子数」として扱えるのは \bm{S}^2m_z だけ,(おそらくは良い量子数は「 Sm_x 」または「 Sm_y 」でも良いはずです.)ということに矛盾してしまうので,アソビがありまして S^2 ではなく, S(S+1) となっています.

続いて復習(2つのスピン)

次に,二つの1/2スピンの理論に移りましょう.基底状態は,2通りの流儀があり,

&| \uparrow \uparrow \rangle \tag{26} \\&| \uparrow \downarrow \rangle \tag{27} \\&| \downarrow \uparrow \rangle \tag{28} \\&| \downarrow \downarrow \rangle \tag{29}

という二つのスピンを並べた表記法Aと

&| S=1, m_z=1 \rangle \tag{30} \\&| S=1, m_z=0 \rangle \tag{31} \\&| S=1, m_z=-1 \rangle \tag{32} \\&| S=0, m_z=0 \rangle \tag{33}

それらをまとめて書く表記法Bです.これらは異なる基底でありますが,同じ空間を貼ります.これらの関係を求めるのには,下降演算子 S^- ,上昇演算子 S^- を用います.

S^- = s^-_1 + s^-_2` \tag{34} \\S^+ = s^+_1 + s^+_2` \tag{35}

を用います.ここで右辺の添え字1,2は一番目のスピンに作用するか,二番目のスピンに作用するか,を表しています.左辺は表記法Bに作用し,右辺は表記法Aに作用します.まずは表記法Bで,それらの作用を列挙すると,

&S^- | S, m_z \rangle = \hbar \sqrt{(S + m_z)(S - m_z+ 1 )}| S, m_z - 1 \rangle \tag{36} \\&S^+ | S, m_z \rangle = \hbar \sqrt{(S - m_z)(S + m_z+ 1 )}| S, m_z + 1 \rangle \tag{37}

となります.これはスピンのz成分が1だけ増減したものを求める演算子です.これにまた表記法Aでは例えば s^-_1 は一番目のスピンのみに依存して,

&s^-_1 | \uparrow \uparrow \rangle  = \hbar | \downarrow \uparrow \rangle  \tag{38} \\&s^-_1 | \uparrow \downarrow \rangle  = \hbar | \downarrow \downarrow \rangle  \tag{39} \\&s^-_1 | \downarrow \uparrow \rangle  = 0  \tag{40} \\&s^-_1 | \downarrow \downarrow \rangle  = 0  \tag{41}

式(12),(13)と比較してください.この演算子 s^-_1 については,二つ目のスピンがあってもなくても同じなのです. s^-_2 も同様に二番目のスピンのみに作用します.二つの表記法がなぜ大切かと言うと,実は最高スピン(もしくは最低スピン)状態については,

&| S=1 , m_z = 1 \rangle = | \uparrow \uparrow \rangle \tag{42} \\(&| S=1 , m_z = -1 \rangle = | \downarrow \downarrow \rangle) \tag{43}

の様に簡単な関係があります.これに下降演算子(もしくは上昇演算子)をかけていくことにより,表記法A,B間の関係が求まるのです.実際にやってみましょう.

S^- | S=1 , m_z = 1 \rangle &= \hbar \sqrt{2} | S=1 , m_z = 0 \rangle \\&= s^-_1 + s^-_2 | \uparrow \uparrow \rangle \\&= \hbar ( | \uparrow \downarrow \rangle + | \downarrow \uparrow \rangle ) \tag{44}

よって,この計算により,

| S=1 , m_z = 0 \rangle = \dfrac{1}{\sqrt{2}} \left( | \uparrow \downarrow \rangle + | \downarrow \uparrow \rangle \right) \tag{45}

が求まります.さらに,これに下降演算子を掛けることで,

| S=1 , m_z = -1 \rangle = | \downarrow \downarrow \rangle \tag{46}

も求まります.さて,基本は分かって頂けたかと思います.しかし,2つのスピンの合成の基底は4つでした.良く見てみると式(33),つまり,ゼロスピン状態が下降演算子を掛けるだけでは得られません.

分かることは,スピンの大きさが0なので,スピンのz成分も0となります.よって,定数 c,d を用いて | S=0 , m_z = 0 \rangle = c | \uparrow \downarrow \rangle + d | \downarrow \uparrow \rangle と書けます.そこで,直交関係を用います.基本的な内積として,

&\langle S ,m_z | S^\prime , m^\prime_z \rangle = \delta_{S,S^\prime}\delta_{m_z,m^\prime_z} \\&\langle \uparrow | \uparrow \rangle = 1 \\&\langle \downarrow | \uparrow \rangle = 0 \\&\langle \uparrow | \downarrow \rangle = 0 \\&\langle \downarrow | \downarrow \rangle = 1 \\&\langle \uparrow \uparrow | \uparrow \uparrow \rangle = 1 \\&\langle \uparrow \downarrow | \uparrow \uparrow \rangle = 0 \ \ \ \ etc...

ここで \delta_{ij} はクロネッカーのデルタです.つまり,全ての量子数が同じならその内積は1となり,一つでも異なるなら,0となります.この関係を用いて

\langle S=1 , m_z = 0 | S=0 , m_z = 0 \rangle&= \dfrac{1}{\sqrt{2}} \left( \langle \uparrow \downarrow  | + \langle \downarrow \uparrow | \right) \times\left(  c | \uparrow \downarrow \rangle + d | \downarrow \uparrow \rangle \right) \\&= \dfrac{1}{\sqrt{2}} (c+d) = 0 \tag{47} \\\\\langle S=0 , m_z = 0 | S=0 , m_z = 0 \rangle&= \left( c^\ast \langle \uparrow \downarrow  | + d^\ast \langle \downarrow \uparrow | \right) \times\left(  c | \uparrow \downarrow \rangle + d | \downarrow \uparrow \rangle \right) \\&= |c|^2 + |d|^2 = 1 \tag{48}

私もよく分かっていないのですが,どうやら c,d の位相は自由に選べるようです.ここでは実数として考えます.すると,

| S=0 , m_z = 0 \rangle = \dfrac{1}{\sqrt{2}} \left( | \uparrow \downarrow \rangle - | \downarrow \uparrow \rangle \right) \tag{49}

が求まります.これですべての基底の関係が求まりました.のちの為,行列表示で同じことを考えられるということを示しておきましょう.行列表示では,列ベクトルを考えて,

\begin{pmatrix} | \uparrow \uparrow \rangle \\ | \uparrow \downarrow \rangle \\ | \downarrow \uparrow \rangle \\ | \downarrow \downarrow \rangle \end{pmatrix} \tag{50}

という順に係数を対応させていきます.例えば,式(42),(45),(46),(49)を行列で書いておきます.

| S=1 , m_z = 1 \rangle &= | \uparrow \uparrow \rangle= \begin{pmatrix} 1 \\ 0 \\ 0 \\ 0 \end{pmatrix} \tag{51} \\| S=1 , m_z = 0 \rangle &= \dfrac{1}{\sqrt{2}} \left( | \uparrow \downarrow \rangle + | \downarrow \uparrow \rangle \right)=\dfrac{1}{\sqrt{2}} \begin{pmatrix} 0 \\ 1 \\ 1 \\ 0 \end{pmatrix} \tag{52} \\| S=1 , m_z = -1 \rangle &= | \downarrow \downarrow \rangle= \begin{pmatrix} 0 \\ 0 \\ 0 \\ 1 \end{pmatrix} \tag{53} \\| S=0 , m_z = 0 \rangle &=\dfrac{1}{\sqrt{2}} \left( | \uparrow \downarrow \rangle - | \downarrow \uparrow \rangle \right)=\dfrac{1}{\sqrt{2}} \begin{pmatrix} 0 \\ 1 \\ -1 \\ 0 \end{pmatrix} \tag{54}

そして,スピン演算子は4×4行列となり,粒子1に作用する s_x 演算子を s_{x1} などと書けば,

&s_{x1} =\dfrac{\hbar}{2} \begin{pmatrix} 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \\ 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \end{pmatrix} \tag{55} \\&s_{x2} =\dfrac{\hbar}{2} \begin{pmatrix} 0 & 1 & 0 & 0 \\ 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 1 & 0 \end{pmatrix} \tag{56} \\&s_{y1} =\dfrac{\hbar}{2} \begin{pmatrix} 0 & 0 & -i & 0 \\ 0 & 0 & 0 & -i \\ i & 0 & 0 & 0 \\ 0 & i & 0 & 0 \end{pmatrix} \tag{57} \\&s_{y2} =\dfrac{\hbar}{2} \begin{pmatrix} 0 & -i & 0 & 0 \\ i & 0 & 0 & 0 \\ 0 & 0 & 0 & -i \\ 0 & 0 & i & 0 \end{pmatrix} \tag{58} \\&s_{z1} =\dfrac{\hbar}{2} \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & -1 \end{pmatrix} \tag{59} \\&s_{z2} =\dfrac{\hbar}{2} \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & -1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & -1 \end{pmatrix} \tag{60} \\&s_x = s_{x1}+s_{x2} =\dfrac{\hbar}{2} \begin{pmatrix} 0 & 1 & 1 & 0 \\ 1 & 0 & 0 & 1 \\ 1 & 0 & 0 & 1 \\ 0 & 1 & 1 & 0 \end{pmatrix} \tag{61} \\&s_y = s_{y1}+s_{y2} =\dfrac{\hbar}{2} \begin{pmatrix} 0 & -i & -i & 0 \\ i & 0 & 0 & -i \\ i & 0 & 0 & -i \\ 0 & i & i & 0 \end{pmatrix} \tag{62} \\&s_z = s_{z1}+s_{z2} =\dfrac{\hbar}{2} \begin{pmatrix} 2 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & -2 \end{pmatrix} \tag{63} \\&s^+ = s_{x} + i s_{y} =\hbar \begin{pmatrix} 0 & 1 & 1 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 \end{pmatrix} \tag{64} \\&s^- = s_{x} - i s_{y} =\hbar \begin{pmatrix} 0 & 0 & 0 & 0 \\ 1 & 0 & 0 & 0 \\ 1 & 0 & 0 & 0 \\ 0 & 1 & 1 & 0 \end{pmatrix} \tag{65} \\&\bm{S}^2 = s_x^2 + s_y^2 + s_z^2 = \hbar^2 \begin{pmatrix} 2 & 0 & 0 & 0 \\ 0 & 1 & 1 & 0 \\ 0 & 1 & 1 & 0 \\ 0 & 0 & 0 & 2 \end{pmatrix} \tag{66}

となります.ここで,交換関係 [\bm{S}^2 , s_z]=0 より, \bm{S}^2s_z は同時対角化可能です.それを対角化したものが,表記法Bなのです.実際,式(51)〜(54)より,

P = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 1/\sqrt{2} & 1/\sqrt{2} & 0 \\ 0 & 1/\sqrt{2} & -1/\sqrt{2} & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix} \tag{67}

とすると,

P^{-1}\bm{S}^2 P = \hbar^2 \begin{pmatrix} 2 & 0 & 0 & 0 \\ 0 & 2 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 2 \end{pmatrix} \tag{68}

となります.基底の変換後は,式(50)のように書くなら,

\begin{pmatrix}| S=1 , m_z = 1 \rangle \\ | S=1 , m_z = 0 \rangle \\| S=0 , m_z = 0 \rangle \\ | S=1 , m_z = -1 \rangle \end{pmatrix} \tag{69}

の様になります.つまり,スピンの合成とは, s_z , \bm{S}^2 を対角化する表示を求めることと言うことになります.

本題(3つのスピン)

これからは主に行列で考えることにします.基本はいままでお話した通りなので,サクサク行きます.

3つのスピンに対しては,基底は8つで,

\begin{pmatrix} | \uparrow \uparrow \uparrow \rangle \\ | \uparrow \uparrow \downarrow \rangle \\ | \uparrow \downarrow \uparrow \rangle \\ | \uparrow \downarrow \downarrow \rangle \\ | \downarrow \uparrow \uparrow \rangle \\ | \downarrow \uparrow \downarrow \rangle \\ | \downarrow \downarrow \uparrow \rangle \\ | \downarrow \downarrow \downarrow \rangle \end{pmatrix} \tag{70}

となります.

s_x = \dfrac{\hbar}{2} \begin{pmatrix}0 & 1 & 1 & 0 & 1 & 0 & 0 & 0 \\1 & 0 & 0 & 1 & 0 & 1 & 0 & 0 \\1 & 0 & 0 & 1 & 0 & 0 & 1 & 0 \\0 & 1 & 1 & 0 & 0 & 0 & 0 & 1 \\1 & 0 & 0 & 0 & 0 & 1 & 1 & 0 \\0 & 1 & 0 & 0 & 1 & 0 & 0 & 1 \\0 & 0 & 1 & 0 & 1 & 0 & 0 & 1 \\0 & 0 & 0 & 1 & 0 & 1 & 1 & 0 \end{pmatrix} \tag{71} \\s_y = \dfrac{\hbar}{2} \begin{pmatrix}0 & -i & -i & 0 & -i & 0 & 0 & 0 \\i & 0 & 0 & -i & 0 & -i & 0 & 0 \\i & 0 & 0 & -i & 0 & 0 & -i & 0 \\0 & i & i & 0 & 0 & 0 & 0 & -i \\i & 0 & 0 & 0 & 0 & -i & -i & 0 \\0 & i & 0 & 0 & i & 0 & 0 & -i \\0 & 0 & i & 0 & i & 0 & 0 & -i \\0 & 0 & 0 & i & 0 & i & i & 0 \end{pmatrix} \tag{72} \\s_z = \dfrac{\hbar}{2} \begin{pmatrix}3 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 \\0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 \\0 & 0 & 0 & -1 & 0 & 0 & 0 & 0 \\0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 \\0 & 0 & 0 & 0 & 0 & -1 & 0 & 0 \\0 & 0 & 0 & 0 & 0 & 0 & -1 & 0 \\0 & 0 & 0 & 0 & 0 & 0 & 0 & -3 \end{pmatrix} \tag{73} \\\bm{S}^2 = s_x^2+s_y^2+s_z^2 = \dfrac{\hbar^2}{4}\begin{pmatrix}15 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\0 & 7 & 4 & 0 & 4 & 0 & 0 & 0 \\0 & 4 & 7 & 0 & 4 & 0 & 0 & 0 \\0 & 0 & 0 & 7 & 0 & 4 & 4 & 0 \\0 & 4 & 4 & 0 & 7 & 0 & 0 & 0 \\0 & 0 & 0 & 4 & 0 & 7 & 4 & 0 \\0 & 0 & 0 & 4 & 0 & 4 & 7 & 0 \\0 & 0 & 0 & 0 & 0 & 0 & 0 & 15 \end{pmatrix} \tag{74}

ここで注意しておくと s_x^2,s_y^2 を求める時に,行列の区分けを使うと便利です.2n×2n行列 X をそれぞれn×n行列 A,B,C,D の集合体とすると,

X^2 &= \begin{pmatrix} A & B \\ C & D \end{pmatrix}^2 \\&= \begin{pmatrix} A^2 + BC & AB + BD \\ CA + DC & D^2 + CB \end{pmatrix} \tag{75}

が成立します.これに気付くとだいぶ計算が楽になるはずです.さて,式(74)を対角化しましょう!余談ですが,

\begin{pmatrix} | \uparrow \uparrow \uparrow \rangle \\ | \uparrow \uparrow \downarrow \rangle \\ | \uparrow \downarrow \uparrow \rangle \\ | \uparrow \downarrow \downarrow \rangle \\ | \downarrow \uparrow \uparrow \rangle \\ | \downarrow \uparrow \downarrow \rangle \\ | \downarrow \downarrow \uparrow \rangle \\ | \downarrow \downarrow \downarrow \rangle \end{pmatrix}\to \begin{pmatrix} | \uparrow \uparrow \uparrow \rangle \\ | \uparrow \uparrow \downarrow \rangle \\ | \uparrow \downarrow \uparrow \rangle \\ | \downarrow \uparrow \uparrow \rangle \\ | \uparrow \downarrow \downarrow \rangle \\| \downarrow \uparrow \downarrow \rangle \\ | \downarrow \downarrow \uparrow \rangle \\ | \downarrow \downarrow \downarrow \rangle \end{pmatrix} \tag{76}

のように(全スピンの和を3/2,1/2,-1/2,-3/2の降順にして)基底を入れ替えると,

\bm{S}^2 = \dfrac{\hbar^2}{4}\begin{pmatrix}15 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\0 & 7 & 4 & 4 & 0 & 0 & 0 & 0 \\0 & 4 & 7 & 4 & 0 & 0 & 0 & 0 \\0 & 4 & 4 & 7 & 0 & 0 & 0 & 0 \\0 & 0 & 0 & 0 & 7 & 4 & 4 & 0 \\0 & 0 & 0 & 0 & 4 & 7 & 4 & 0 \\0 & 0 & 0 & 0 & 4 & 4 & 7 & 0 \\0 & 0 & 0 & 0 & 0 & 0 & 0 & 15 \end{pmatrix} \tag{77}

の様に高々3×3行列の対角化で済むことが分かります.まあ,今回はあとでどう基底を取り換えたか,分からなくなるのが嫌なので,直接,式(70)の順番で対角化します.すぐわかるのは, S = \dfrac{3 \hbar}{2}m_z = \dfrac{3 \hbar}{2},\dfrac{\hbar}{2},-\dfrac{\hbar}{2},-\dfrac{3 \hbar}{2} です.

それらは順番に,

|S = \dfrac{3}{2}, m_z = \dfrac{3}{2} \rangle= \begin{pmatrix}1 \\0 \\0 \\0 \\0 \\0 \\0 \\0\end{pmatrix} \tag{78} \\|S = \dfrac{3}{2}, m_z = \dfrac{1}{2} \rangle= \dfrac{1}{\sqrt{3}} \begin{pmatrix}0 \\1 \\1 \\0 \\1 \\0 \\0 \\0\end{pmatrix} \tag{79} \\|S = \dfrac{3}{2}, m_z = \dfrac{-1}{2} \rangle= \dfrac{1}{\sqrt{3}} \begin{pmatrix}0 \\0 \\0 \\1 \\0 \\1 \\1 \\0\end{pmatrix} \tag{80} \\|S = \dfrac{3}{2}, m_z = \dfrac{-3}{2} \rangle= \begin{pmatrix}0 \\0 \\0 \\0 \\0 \\0 \\0 \\1\end{pmatrix} \tag{81}

そして,式(79),(80)に直交するベクトルを求めます.すると, S=1/2 m_z=1/2S=1/2 m_z=-1/2 はそれぞれ二重に縮退していることが分かり,全部で S=1/2 の状態は4つ有ります.よって,それをインデックス i=1,2 で区別します.

|S = \dfrac{1}{2}, m_z = \dfrac{1}{2} ,i=1 \rangle= \dfrac{1}{\sqrt{2}}\begin{pmatrix}0 \\1 \\-1 \\0 \\0 \\0 \\0 \\0\end{pmatrix} \tag{82} \\|S = \dfrac{1}{2}, m_z = \dfrac{1}{2} ,i=2 \rangle= \dfrac{1}{\sqrt{6}} \begin{pmatrix}0 \\1 \\1 \\0 \\-2 \\0 \\0 \\0\end{pmatrix} \tag{83} \\|S = \dfrac{1}{2}, m_z = \dfrac{-1}{2} ,i=1 \rangle= \dfrac{1}{\sqrt{2}} \begin{pmatrix}0 \\0 \\0 \\1 \\0 \\-1 \\0 \\0\end{pmatrix} \tag{84} \\|S = \dfrac{1}{2}, m_z = \dfrac{-1}{2} ,i=2 \rangle= \dfrac{1}{\sqrt{6}}\begin{pmatrix}0 \\0 \\0 \\1 \\0 \\1 \\-2 \\0\end{pmatrix} \tag{85}

いよいよ4つのスピン

さて,いよいよ1/2スピンが4つの時を考えてみましょう.それぞれの演算子は次のようになります.

chromel-34SpinGousei-01.png chromel-34SpinGousei-02.png chromel-34SpinGousei-03.png chromel-34SpinGousei-04.png chromel-34SpinGousei-05.png chromel-34SpinGousei-06.png chromel-34SpinGousei-07.png

最後は分かりづらいでしょうか.並べ替えると,

chromel-34SpinGousei-08.png

となっています.実は,式(52)は

\dfrac{1}{\sqrt{2}}\left( | \uparrow \downarrow \rangle  + | \downarrow \uparrow \rangle \right) \tag{86}

とも書けます.この流儀の方がこの場合,分かり易いと思うので,こっちで書こうと思います.今まで同様に下降演算子 S^-=s^-_1 + s^-_2 + s^-_3 + s^-_4 を演算します.すると,

| S=2,m_z=2 \rangle &= | \uparrow \uparrow \uparrow \uparrow \rangle \tag{87} \\| S=2,m_z=1 \rangle &= \dfrac{1}{2}( | \uparrow \uparrow \uparrow \downarrow \rangle +| \uparrow \uparrow \downarrow \uparrow \rangle +| \uparrow \downarrow \uparrow \uparrow \rangle +| \downarrow \uparrow \uparrow \uparrow \rangle ) \tag{88} \\| S=2,m_z=0 \rangle &= \dfrac{1}{\sqrt{6}}( | \uparrow \uparrow \downarrow \downarrow \rangle +| \uparrow \downarrow \uparrow \downarrow \rangle +| \uparrow \downarrow \downarrow \uparrow \rangle +| \downarrow \uparrow \uparrow \downarrow \rangle +| \downarrow \uparrow \downarrow \uparrow \rangle +| \downarrow \downarrow \uparrow \uparrow \rangle ) \tag{89} \\| S=2,m_z=-1 \rangle &= \dfrac{1}{2}( | \uparrow \downarrow \downarrow \downarrow \rangle +| \downarrow \uparrow \downarrow \downarrow \rangle +| \downarrow \downarrow \uparrow \downarrow \rangle +| \downarrow \downarrow \downarrow \uparrow \rangle ) \tag{90} \\| S=2,m_z=-2 \rangle &= | \downarrow \downarrow \downarrow \downarrow \rangle \tag{91}

となります.式(96)に直交するものとして,(注意:矢印を1/2,-1/2として4つ足したものが1になるもののうちで,つまり,S=1ということ)

| S=1 , m_z=1 ,i=1 \rangle &= \dfrac{1}{2}( | \uparrow \uparrow \uparrow \downarrow \rangle +| \uparrow \uparrow \downarrow \uparrow \rangle -| \uparrow \downarrow \uparrow \uparrow \rangle -| \downarrow \uparrow \uparrow \uparrow \rangle ) \tag{92} \\| S=1 , m_z=1 ,i=2 \rangle &= \dfrac{1}{2}( | \uparrow \uparrow \uparrow \downarrow \rangle -| \uparrow \uparrow \downarrow \uparrow \rangle +| \uparrow \downarrow \uparrow \uparrow \rangle -| \downarrow \uparrow \uparrow \uparrow \rangle ) \tag{93} \\| S=1 , m_z=1 ,i=3 \rangle &= \dfrac{1}{2}( | \uparrow \uparrow \uparrow \downarrow \rangle -| \uparrow \uparrow \downarrow \uparrow \rangle -| \uparrow \downarrow \uparrow \uparrow \rangle +| \downarrow \uparrow \uparrow \uparrow \rangle ) \tag{94}

下降演算子を掛けて,

| S=1 , m_z=0 ,i=1 \rangle &= \dfrac{1}{\sqrt{2}}( | \uparrow \uparrow \downarrow \downarrow \rangle - | \downarrow \downarrow \uparrow \uparrow \rangle ) \tag{95} \\| S=1 , m_z=0 ,i=2 \rangle &= \dfrac{1}{\sqrt{2}}( | \uparrow \downarrow \uparrow \downarrow \rangle - | \downarrow \uparrow \downarrow \uparrow \rangle ) \tag{96} \\| S=1 , m_z=0 ,i=3 \rangle &= \dfrac{1}{\sqrt{2}}( | \downarrow  \uparrow \uparrow \downarrow \rangle - | \uparrow \downarrow \downarrow \uparrow \rangle ) \tag{97}

となり,さらに,

| S=1 , m_z= -1 ,i=1 \rangle &= \dfrac{1}{2}(  | \uparrow \downarrow \downarrow \downarrow \rangle +| \downarrow \uparrow \downarrow \downarrow \rangle -| \downarrow \downarrow \uparrow \downarrow \rangle -| \downarrow \downarrow \downarrow \uparrow \rangle ) \tag{98} \\| S=1 , m_z= -1 ,i=2 \rangle &= \dfrac{1}{2}(  | \uparrow \downarrow \downarrow \downarrow \rangle -| \downarrow \uparrow \downarrow \downarrow \rangle +| \downarrow \downarrow \uparrow \downarrow \rangle -| \downarrow \downarrow \downarrow \uparrow \rangle ) \tag{99} \\| S=1 , m_z= -1 ,i=3 \rangle &= \dfrac{1}{2}( -| \uparrow \downarrow \downarrow \downarrow \rangle +| \downarrow \uparrow \downarrow \downarrow \rangle +| \downarrow \downarrow \uparrow \downarrow \rangle -| \downarrow \downarrow \downarrow \uparrow \rangle ) \tag{100}

最後に,2つの縮退したゼロスピンは,2粒子のゼロスピンの積となり,

| S=0 , m_z=0 ,i=1 \rangle &= \left( \dfrac{1}{\sqrt{2}}\right )^2 \left( | \uparrow \downarrow \rangle - | \downarrow \uparrow \rangle \right)^2 \\&= \dfrac{1}{2} ( | \uparrow \downarrow \uparrow \downarrow \rangle - | \uparrow \downarrow \downarrow \uparrow \rangle - | \downarrow \uparrow \uparrow \downarrow \rangle + | \downarrow \uparrow \downarrow \uparrow \rangle \tag{101}

もう一つのゼロスピンは,上式は1番目2番目,3番目4番目のまとまりだったので,今度は14,23のまとまりで積を作り,(13,24は両者の和で出てくるので,基底ではありません.)

| S=0 , m_z=0 ,i=2 \rangle &= \left( \dfrac{1}{\sqrt{2}}\right )^2 \left( | \uparrow \downarrow \rangle - | \downarrow \uparrow \rangle \right)^2 \\&= \dfrac{1}{2} ( | \uparrow \uparrow \downarrow \downarrow \rangle - | \uparrow \downarrow \uparrow \downarrow \rangle - | \downarrow \uparrow \downarrow \uparrow \rangle + | \downarrow \downarrow \uparrow \uparrow \rangle \tag{102}

以上で,16個の基底が全て求まりました.疲れましたね.今日は,これまで.お疲れ様でした!

追記:最後の4粒子の合成の S=0 スピン状態ですが,このままでは直交化されていません.

| S=0 , m_z=0 ,i=2 \rangle = \dfrac{1}{2\sqrt{3}} ( + | \uparrow \downarrow \uparrow \downarrow \rangle + | \downarrow \uparrow \downarrow \uparrow \rangle + | \uparrow \downarrow \downarrow \uparrow \rangle + | \downarrow \uparrow \uparrow \downarrow \rangle -2| \uparrow \uparrow \downarrow \downarrow \rangle -2 | \downarrow \downarrow \uparrow \uparrow \rangle \tag{103}

とすれば解決です!!