#rst2hooktail_source
===============================
３つ、４つのスピン1/2粒子の合成
===============================
この記事では、３つのスピン1/2粒子の合成を行います。さらに４つのスピン1/2粒子の合成に進みます。
まずは復習（１つのスピン）
==========================
３スピンの合成の前に、少し復習しておきましょう。１つの1/2スピンでは基底が
<tex>
| \uparrow \rangle \tag{##} \\
| \downarrow \rangle \tag{##}
</tex>
の様になります。スピン演算子は６種類あり、
<tex>
s_x , s_y , s_z , \bm{S}^2 , s^+ ,s^- \tag{##}
</tex>
です。実は、たくさんありますが独立なものは３つです。、つまり、
<tex>
s^+ &= s_x + i s_y \tag{##} \\
s^- &= s_x - i s_y \tag{##} \\
\bm{S}^2 &= s_x^2 + s_y^2 + s_z^2 \tag{##} \\
&= \dfrac{1}{2}(s^+s^-+s^-s^+)+s_z^2 \tag{##}
</tex>
という関係があります。これらは演算子ということで状態（基底）に作用します。演算子と基底の関係は、基本的なものから書いて行くと、
<tex>
&s_z | \uparrow \rangle = \dfrac{\hbar}{2} | \uparrow \rangle \tag{##} \\
&s_z | \downarrow \rangle = -\dfrac{\hbar}{2} | \downarrow \rangle \tag{##} \\
&s^+ | \uparrow \rangle = 0 \tag{##} \\
&s^+ | \downarrow \rangle = \hbar | \uparrow \rangle \tag{##} \\
&s^- | \uparrow \rangle = \hbar | \downarrow \rangle \tag{##} \\
&s^- | \downarrow \rangle = 0 \tag{##}
</tex>
この６個の式 [*]_ が全ての基本です。さらに付け加えておくと、上の(4)〜(6)の関係を利用すると、演算子は
$s_x = \dfrac{1}{2}(s^+ + s^-), s_y = \dfrac{1}{2i}(s^+ - s^-)$ より、
.. [*] 独立な３個の演算子に基底が２つなので、この３×２＝６個の式で完全に演算子は決定されます。
<tex>
&s_x | \uparrow \rangle = \dfrac{\hbar}{2} | \downarrow \rangle \tag{##} \\
&s_x | \downarrow \rangle = \dfrac{\hbar}{2} | \uparrow \rangle \tag{##} \\
&s_y | \uparrow \rangle = \dfrac{i\hbar}{2} | \downarrow \rangle \tag{##} \\
&s_y | \downarrow \rangle = \dfrac{-i\hbar}{2} | \uparrow \rangle \tag{##} \\
&\bm{S}^2 | \uparrow \rangle = \dfrac{\hbar^2}{4} | \uparrow \rangle \tag{##} \\
&\bm{S}^2 | \downarrow \rangle = \dfrac{\hbar^2}{4} | \downarrow \rangle \tag{##}
</tex>
式(1),(2)は基底なので、その線形結合がスピンの状態を表します。さらにこれら６個の演算子は線形なので、
２×２の行列で表せて、状態も２×１の行列で表せます。この２×１の行列をスピノールと言います。
つまりある状態が、 $| \chi \rangle = c_1 | \uparrow \rangle + c_2 | \downarrow \rangle$ となっている時、
これをスピノールで表すと、 $| \chi \rangle= \begin{pmatrix}c_1 \\ c_2\end{pmatrix}$ となります。これと同時に演算子は、
<tex>
&s_x = \dfrac{\hbar}{2} \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} \tag{##} \\
&s_y = \dfrac{\hbar}{2} \begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix} \tag{##} \\
&s_z = \dfrac{\hbar}{2} \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} \tag{##} \\
&\bm{S}^2 = \dfrac{3 \hbar^2}{4}\begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} \tag{##} \\
&s^+ = \hbar \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix} \tag{##} \\
&s^- = \hbar \begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix} \tag{##}
</tex>
となります。実は一般に、スピンの状態はベクトルの様なものであり、「スピンの大きさ $S$ 」と、「スピンのｚ軸成分 $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}^2$ と $m_z$ だけ、（おそらくは良い量子数は「 $S$ と $m_x$ 」または「 $S$ と $m_y$ 」でも良いはずです。）ということに矛盾してしまうので、アソビがありまして $S^2$ ではなく、 $S(S+1)$ となっています。
続いて復習（２つのスピン）
==========================
次に、二つの1/2スピンの理論に移りましょう。基底状態は、２通りの流儀があり、
<tex>
&| \uparrow \uparrow \rangle \tag{##} \\
&| \uparrow \downarrow \rangle \tag{##} \\
&| \downarrow \uparrow \rangle \tag{##} \\
&| \downarrow \downarrow \rangle \tag{##}
</tex>
という二つのスピンを並べた表記法Aと
<tex>
&| S=1, m_z=1 \rangle \tag{##} \\
&| S=1, m_z=0 \rangle \tag{##} \\
&| S=1, m_z=-1 \rangle \tag{##} \\
&| S=0, m_z=0 \rangle \tag{##}
</tex>
それらをまとめて書く表記法Bです。これらは異なる基底でありますが、同じ空間を貼ります。これらの関係を求めるのには、下降演算子 $S^-$ 、上昇演算子 $S^-$ を用います。
<tex>
S^- = s^-_1 + s^-_2` \tag{##} \\
S^+ = s^+_1 + s^+_2` \tag{##}
</tex>
を用います。ここで右辺の添え字1,2は一番目のスピンに作用するか、二番目のスピンに作用するか、を表しています。左辺は表記法Bに作用し、右辺は表記法Aに作用します。まずは表記法Bで、それらの作用を列挙すると、
<tex>
&S^- | S, m_z \rangle = \hbar \sqrt{(S + m_z)(S - m_z+ 1 )}| S, m_z - 1 \rangle \tag{##} \\
&S^+ | S, m_z \rangle = \hbar \sqrt{(S - m_z)(S + m_z+ 1 )}| S, m_z + 1 \rangle \tag{##}
</tex>
となります。これはスピンのｚ成分が１だけ増減したものを求める演算子です。これにまた表記法Aでは例えば $s^-_1$ は一番目のスピンのみに依存して、
<tex>
&s^-_1 | \uparrow \uparrow \rangle = \hbar | \downarrow \uparrow \rangle \tag{##} \\
&s^-_1 | \uparrow \downarrow \rangle = \hbar | \downarrow \downarrow \rangle \tag{##} \\
&s^-_1 | \downarrow \uparrow \rangle = 0 \tag{##} \\
&s^-_1 | \downarrow \downarrow \rangle = 0 \tag{##}
</tex>
式(12),(13)と比較してください。この演算子 $s^-_1$ については、二つ目のスピンがあってもなくても同じなのです。 $s^-_2$ も同様に二番目のスピンのみに作用します。二つの表記法がなぜ大切かと言うと、実は最高スピン（もしくは最低スピン）状態については、
<tex>
&| S=1 , m_z = 1 \rangle = | \uparrow \uparrow \rangle \tag{##} \\
(&| S=1 , m_z = -1 \rangle = | \downarrow \downarrow \rangle) \tag{##}
</tex>
の様に簡単な関係があります。これに下降演算子（もしくは上昇演算子）をかけていくことにより、表記法A,B間の関係が求まるのです。実際にやってみましょう。
<tex>
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{##}
</tex>
よって、この計算により、
<tex>
| S=1 , m_z = 0 \rangle = \dfrac{1}{\sqrt{2}} \left( | \uparrow \downarrow \rangle + | \downarrow \uparrow \rangle \right) \tag{##}
</tex>
が求まります。さらに、これに下降演算子を掛けることで、
<tex>
| S=1 , m_z = -1 \rangle = | \downarrow \downarrow \rangle \tag{##}
</tex>
も求まります。さて、基本は分かって頂けたかと思います。しかし、２つのスピンの合成の基底は４つでした。良く見てみると式(33)、つまり、ゼロスピン状態が下降演算子を掛けるだけでは得られません。
分かることは、スピンの大きさが０なので、スピンのｚ成分も０となります。よって、定数 $c,d$ を用いて $| S=0 , m_z = 0 \rangle = c | \uparrow \downarrow \rangle + d | \downarrow \uparrow \rangle$ と書けます。そこで、直交関係を用います。基本的な内積として、
<tex>
&\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...
</tex>
ここで $\delta_{ij}$ はクロネッカーのデルタです。つまり、全ての量子数が同じならその内積は１となり、一つでも異なるなら、０となります。この関係を用いて
<tex>
\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{##} \\
\\
\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{##}
</tex>
私もよく分かっていないのですが、どうやら $c,d$ の位相は自由に選べるようです。ここでは実数として考えます。すると、
<tex>
| S=0 , m_z = 0 \rangle = \dfrac{1}{\sqrt{2}} \left( | \uparrow \downarrow \rangle - | \downarrow \uparrow \rangle \right) \tag{##}
</tex>
が求まります。これですべての基底の関係が求まりました。のちの為、行列表示で同じことを考えられるということを示しておきましょう。行列表示では、列ベクトルを考えて、
<tex>
\begin{pmatrix} | \uparrow \uparrow \rangle \\ | \uparrow \downarrow \rangle \\
| \downarrow \uparrow \rangle \\ | \downarrow \downarrow \rangle \end{pmatrix} \tag{##}
</tex>
という順に係数を対応させていきます。例えば、式(42),(45),(46),(49)を行列で書いておきます。
<tex>
| S=1 , m_z = 1 \rangle &= | \uparrow \uparrow \rangle
= \begin{pmatrix} 1 \\ 0 \\ 0 \\ 0 \end{pmatrix} \tag{##} \\
| 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{##} \\
| S=1 , m_z = -1 \rangle &= | \downarrow \downarrow \rangle
= \begin{pmatrix} 0 \\ 0 \\ 0 \\ 1 \end{pmatrix} \tag{##} \\
| 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{##}
</tex>
そして、スピン演算子は４×４行列となり、粒子１に作用する $s_x$ 演算子を $s_{x1}$ などと書けば、
<tex>
&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{##} \\
&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{##} \\
&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{##} \\
&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{##} \\
&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{##} \\
&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{##} \\
&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{##} \\
&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{##} \\
&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{##} \\
&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{##} \\
&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{##} \\
&\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{##}
</tex>
となります。ここで、交換関係 $[\bm{S}^2 , s_z]=0$ より、 $\bm{S}^2$ と $s_z$ は同時対角化可能です。それを対角化したものが、表記法Bなのです。実際、式(51)〜(54)より、
<tex>
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{##}
</tex>
とすると、
<tex>
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{##}
</tex>
となります。基底の変換後は、式(50)のように書くなら、
<tex>
\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{##}
</tex>
の様になります。つまり、スピンの合成とは、 $s_z , \bm{S}^2$ を対角化する表示を求めることと言うことになります。
本題（３つのスピン）
====================
これからは主に行列で考えることにします。基本はいままでお話した通りなので、サクサク行きます。
３つのスピンに対しては、基底は８つで、
<tex>
\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{##}
</tex>
となります。
<tex>
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{##} \\
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{##} \\
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{##} \\
\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{##}
</tex>
ここで注意しておくと $s_x^2,s_y^2$ を求める時に、行列の区分けを使うと便利です。２ｎ×２ｎ行列 $X$ をそれぞれｎ×ｎ行列 $A,B,C,D$ の集合体とすると、
<tex>
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{##}
</tex>
が成立します。これに気付くとだいぶ計算が楽になるはずです。さて、式(74)を対角化しましょう！余談ですが、
<tex>
\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{##}
</tex>
のように(全スピンの和を3/2,1/2,-1/2,-3/2の降順にして)基底を入れ替えると、
<tex>
\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{##}
</tex>
の様に高々３×３行列の対角化で済むことが分かります。まあ、今回はあとでどう基底を取り換えたか、分からなくなるのが嫌なので、直接、式(70)の順番で対角化します。すぐわかるのは、 $S = \dfrac{3 \hbar}{2}$
の $ m_z = \dfrac{3 \hbar}{2},\dfrac{\hbar}{2},-\dfrac{\hbar}{2},-\dfrac{3 \hbar}{2}$ です。
それらは順番に、
<tex>
|S = \dfrac{3}{2}, m_z = \dfrac{3}{2} \rangle
= \begin{pmatrix}
1 \\
0 \\
0 \\
0 \\
0 \\
0 \\
0 \\
0
\end{pmatrix} \tag{##} \\
|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{##} \\
|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{##} \\
|S = \dfrac{3}{2}, m_z = \dfrac{-3}{2} \rangle
= \begin{pmatrix}
0 \\
0 \\
0 \\
0 \\
0 \\
0 \\
0 \\
1
\end{pmatrix} \tag{##}
</tex>
そして、式(79),(80)に直交するベクトルを求めます。すると、 $S=1/2 m_z=1/2$ と $S=1/2 m_z=-1/2$ はそれぞれ二重に縮退していることが分かり、全部で $S=1/2$ の状態は４つ有ります。よって、それをインデックス $i=1,2$ で区別します。
<tex>
|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{##} \\
|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{##} \\
|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{##} \\
|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{##}
</tex>
いよいよ４つのスピン
====================
さて、いよいよ1/2スピンが４つの時を考えてみましょう。それぞれの演算子は次のようになります。
.. image :: chromel-34SpinGousei-01.png
.. image :: chromel-34SpinGousei-02.png
.. image :: chromel-34SpinGousei-03.png
.. image :: chromel-34SpinGousei-04.png
.. image :: chromel-34SpinGousei-05.png
.. image :: chromel-34SpinGousei-06.png
.. image :: chromel-34SpinGousei-07.png
最後は分かりづらいでしょうか。並べ替えると、
.. image :: chromel-34SpinGousei-08.png
となっています。実は、式(52)は
<tex>
\dfrac{1}{\sqrt{2}}\left( | \uparrow \downarrow \rangle + | \downarrow \uparrow \rangle \right) \tag{##}
</tex>
とも書けます。この流儀の方がこの場合、分かり易いと思うので、こっちで書こうと思います。今まで同様に下降演算子 $S^-=s^-_1 + s^-_2 + s^-_3 + s^-_4$ を演算します。すると、
<tex>
| S=2,m_z=2 \rangle &= | \uparrow \uparrow \uparrow \uparrow \rangle \tag{##} \\
| 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{##} \\
| 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{##} \\
| 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{##} \\
| S=2,m_z=-2 \rangle &= | \downarrow \downarrow \downarrow \downarrow \rangle \tag{##}
</tex>
となります。式(96)に直交するものとして、(注意：矢印を1/2,-1/2として４つ足したものが１になるもののうちで、つまり、S=1ということ)
<tex>
| 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{##} \\
| 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{##} \\
| 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{##}
</tex>
下降演算子を掛けて、
<tex>
| S=1 , m_z=0 ,i=1 \rangle &= \dfrac{1}{\sqrt{2}}( | \uparrow \uparrow \downarrow \downarrow \rangle - | \downarrow \downarrow \uparrow \uparrow \rangle ) \tag{##} \\
| S=1 , m_z=0 ,i=2 \rangle &= \dfrac{1}{\sqrt{2}}( | \uparrow \downarrow \uparrow \downarrow \rangle - | \downarrow \uparrow \downarrow \uparrow \rangle ) \tag{##} \\
| S=1 , m_z=0 ,i=3 \rangle &= \dfrac{1}{\sqrt{2}}( | \downarrow \uparrow \uparrow \downarrow \rangle - | \uparrow \downarrow \downarrow \uparrow \rangle ) \tag{##}
</tex>
となり、さらに、
<tex>
| 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{##} \\
| 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{##} \\
| 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{##}
</tex>
最後に、２つの縮退したゼロスピンは、２粒子のゼロスピンの積となり、
<tex>
| 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{##}
</tex>
もう一つのゼロスピンは、上式は１番目２番目、３番目４番目のまとまりだったので、今度は１４、２３のまとまりで積を作り、（１３、２４は両者の和で出てくるので、基底ではありません。）
<tex>
| 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{##}
</tex>
以上で、１６個の基底が全て求まりました。疲れましたね。今日は、これまで。お疲れ様でした！
追記：最後の４粒子の合成の $S=0$ スピン状態ですが、このままでは直交化されていません。
<tex>
| 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{##}
</tex>
とすれば解決です！！
@@author:クロメル@@
@@accept:2014-12-24@@
@@category:量子力学@@
@@id:34SpinGousei@@
記事ソース/３、４スピンの合成 の変更点
