This tutorial is an addendum to the immediately preceeding one dealing with the hyperfine splitting in the hydrogen atom. It represents an alternative version of material that can be found in section 18.6 of Volume III of The Feynman Lectures on Physics . The deuterium isotope of hydrogen consists of an electron, and a proton and neutron in the nucleus (a deuteron). All three fundamental particles are spin-1/2 fermions. However, the proton and the neutron in the nucleus collectively behave like a spin-1 particle in their magnetic interaction with the extra-nuclear electron. The spin-spin interaction between the electron and the nucleus is given below, where the superscript d refers to the proton-neutron nucleus. \[ \hat{H}_{SpinSpin} = A \left( J^d \sigma^e \right) = A \left( J_x^d \sigma_x^e + J_x^d \sigma_y^e + J_z^d \sigma_z^e \right) \nonumber \] The spin-1/2 and spin-1 operators required for this Hamiltonian are given below. The spin-1/2 operators are the familiar Pauli matrices. For a derivation of the spin-1 operators see Quantum Mechanics Demystified by David McMahon, chapter 10. \[ \begin{matrix} \sigma_x = \frac{1}{2} \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} & \sigma_y = \frac{1}{2} \begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix} & \sigma_z = \frac{1}{2} \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} \\ J_x = \frac{1}{ \sqrt{2}} \begin{pmatrix} 0 & 1 & 0 \\ 1 & 0 & 1 \\ 0 & 1 & 0 \end{pmatrix} & J_y = \frac{1}{ \sqrt{2}} \begin{pmatrix} 0 & -i & 0 \\ i & 0 & -i \\ 0 & i & 0 \end{pmatrix} & J_z = \begin{pmatrix} 1 & 0 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & -1 \end{pmatrix} \end{matrix} \nonumber \] Tensor multiplication is now used to represent the spin-spin operator in matrix format. In the interest of mathematical clarity the constant A a is set equal to unity. \[ H_{SpinSpin} = \text{kronecker} \left( J_x,~ \sigma_x \right) + \text{kronecker} \left( J_y,~ \sigma_y \right) + \text{kronecker} \left( J_x,~ \sigma_z \right) \nonumber \] We know ask Mathcad to calculate the eigenvalues and eigenvectors of the spin-spin operator. These results are displayed by constructing a matrix which contains the eigenvalues in the top row, and their eigenvectors in the columns below the eigenvalues. \[ \begin{matrix} \text{E = eigenvals} \left( H_{SpinSpin} \right) & \text{EigenvalEigenvec} = \text{rsort} \left( \text{stack} \left( E^T,~ \text{eigenvecs} \left( H_{SpinSpin} \right) \right) ,~ I \right) \end{matrix} \nonumber \] \[ \text{EigenvalEigenvec} = \begin{pmatrix} -1 & -1 & 0.5 & 0.5 & 0.5 & 0.5 \\ 0 & 0 & 0 & 0 & 0 & 1 \\ 0 & -0.816 & 0 & 0.577 & 0 & 0 \\ 0 & 0.577 & 0 & 0.816 & 0 & 0 \\ 0.577 & 0 & 0.816 & 0 & 0 & 0 \\ -0.816 & 0 & 0.577 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 1 & 0 \end{pmatrix} \nonumber \] These results are in agreement with Tables 18-5 and 18-6 in Feynman's text, a ground J = 1/2 state and an excited J = 3/2 state. We can go forward, as we did in the previous tutorial, by writing the electron and deuteron spin wavefunctions in vector format. The spin states in vector format: \[ \begin{matrix} |+ \rangle = \begin{pmatrix} 1 \\ 0 \end{pmatrix} & | - \rangle = \begin{pmatrix} 0 \\ 1 \end{pmatrix} \end{matrix} \nonumber \] The deuteron spin states in vector format (see McMahon): \[ \begin{matrix} |d_1 \rangle = \begin{pmatrix} 1 \\ 0 \\ 0 \end{pmatrix} & | d_0 \rangle = \begin{pmatrix} 0 \\ 1 \\ 0 \end{pmatrix} & | d_{-1} \rangle \begin{pmatrix} 0 \\ 0 \\ 1 \end{pmatrix} \end{matrix} \nonumber \] Next we write the six electron-deuteron spin states in tensor format. \[ \begin{matrix} | +d_1 \rangle = \begin{pmatrix} 1 \\ 0 \end{pmatrix} \otimes \begin{pmatrix} 1 \\ 0 \\ 0 \end{pmatrix} = \begin{pmatrix} 1 \\ 0 \\ 0 \\ 0 \\ 0 \\ 0 \end{pmatrix} & | +d_0 \rangle = \begin{pmatrix} 1 \\ 0 \end{pmatrix} \otimes \begin{pmatrix} 0 \\ 1 \\ 0 \end{pmatrix} = \begin{pmatrix} 0 \\ 1 \\ 0 \\ 0 \\ 0 \\ 0 \end{pmatrix} & | +d_{-1} \rangle = \begin{pmatrix} 1 \\ 0 \end{pmatrix} \otimes \begin{pmatrix} 0 \\ 0 \\ 1 \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \\ 1 \\ 0 \\ 0 \\ 0 \end{pmatrix} \\ | -d_1 \rangle = \begin{pmatrix} 0 \\ 1 \end{pmatrix} \otimes \begin{pmatrix} 1 \\ 0 \\ 0 \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \\ 0 \\ 1 \\ 0 \\ 0 \end{pmatrix} & | -d_0 \rangle = \begin{pmatrix} 0 \\ 1 \end{pmatrix} \otimes \begin{pmatrix} 0 \\ 1 \\ 0 \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \\ 0 \\ 0 \\ 1 \\ 0 \end{pmatrix} & | -d_{-1} \rangle = \begin{pmatrix} 0 \\ 1 \end{pmatrix} \otimes \begin{pmatrix} 0 \\ 0 \\ 1 \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \\ 0 \\ 0 \\ 0 \\ 1 \end{pmatrix} \end{matrix} \nonumber \] These spin states are given the following labels to facilitate the calculation of energy matrix. \[ \begin{matrix} \text{a} = \begin{pmatrix} 1 \\ 0 \\ 0 \\ 0 \\ 0 \\ 0 \end{pmatrix} & \text{b} = \begin{pmatrix} 0 \\ 1 \\ 0 \\ 0 \\ 0 \\ 0 \end{pmatrix} & \text{c} = \begin{pmatrix} 0 \\ 0 \\ 1 \\ 0 \\ 0 \\ 0 \end{pmatrix} & \text{d} = \begin{pmatrix} 0 \\ 0 \\ 0 \\ 1 \\ 0 \\ 0 \end{pmatrix} & \text{e} = \begin{pmatrix} 0 \\ 0 \\ 0 \\ 0 \\ 1 \\ 0 \end{pmatrix} & \text{f} = \begin{pmatrix} 0 \\ 0 \\ 0 \\ 0 \\ 0 \\ 1 \end{pmatrix} \end{matrix} \nonumber \] \[ \text{H = H}_{SpinSpin} \nonumber \] \[ \text{eigenvals} \left( \begin{pmatrix} \text{a}^T \text{H a} & \text{a}^T \text{H b} & \text{a}^T \text{H c} & \text{a}^T \text{H d} & \text{a}^T \text{H e} & \text{a}^T \text{H f} \\ \text{b}^T \text{H a} & \text{b}^T \text{H b} & \text{b}^T \text{H c} & \text{b}^T \text{H d} & \text{b}^T \text{H e} & \text{b}^T \text{H f} \\ \text{c}^T \text{H a} & \text{c}^T \text{H b} & \text{c}^T \text{H c} & \text{c}^T \text{H d} & \text{c}^T \text{H e} & \text{c}^T \text{H f} \\ \text{d}^T \text{H a} & \text{d}^T \text{H b} & \text{d}^T \text{H c} & \text{d}^T \text{H d} & \text{d}^T \text{H e} & \text{d}^T \text{H f} \\ \text{e}^T \text{H a} & \text{e}^T \text{H b} & \text{e}^T \text{H c} & \text{e}^T \text{H d} & \text{e}^T \text{H e} & \text{e}^T \text{H f} \\ \text{f}^T \text{H a} & \text{f}^T \text{H b} & \text{f}^T \text{H c} & \text{f}^T \text{H d} & \text{f}^T \text{H e} & \text{f}^T \text{H f} \\ \end{pmatrix} \right) = \begin{pmatrix} -1 \\ 0.5 \\ 0.5 \\ -1 \\ 0.5 \\ 0.5 \end{pmatrix} \nonumber \] \[ \text{eigenvecs} \left( \begin{pmatrix} \text{a}^T \text{H a} & \text{a}^T \text{H b} & \text{a}^T \text{H c} & \text{a}^T \text{H d} & \text{a}^T \text{H e} & \text{a}^T \text{H f} \\ \text{b}^T \text{H a} & \text{b}^T \text{H b} & \text{b}^T \text{H c} & \text{b}^T \text{H d} & \text{b}^T \text{H e} & \text{b}^T \text{H f} \\ \text{c}^T \text{H a} & \text{c}^T \text{H b} & \text{c}^T \text{H c} & \text{c}^T \text{H d} & \text{c}^T \text{H e} & \text{c}^T \text{H f} \\ \text{d}^T \text{H a} & \text{d}^T \text{H b} & \text{d}^T \text{H c} & \text{d}^T \text{H d} & \text{d}^T \text{H e} & \text{d}^T \text{H f} \\ \text{e}^T \text{H a} & \text{e}^T \text{H b} & \text{e}^T \text{H c} & \text{e}^T \text{H d} & \text{e}^T \text{H e} & \text{e}^T \text{H f} \\ \text{f}^T \text{H a} & \text{f}^T \text{H b} & \text{f}^T \text{H c} & \text{f}^T \text{H d} & \text{f}^T \text{H e} & \text{f}^T \text{H f} \\ \end{pmatrix} \right) = \begin{pmatrix} 0 & 0 & 0 & 0 & 1 & 0 \\ 0 & 0 & 0.577 & -0.816 & 0 & 0 \\ 0 & 0 & 0.816 & 0.577 & 0 & 0 \\ 0.577 & 0.816 & 0 & 0 & 0 & 0 \\ -0.816 & 0.577 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 1 \end{pmatrix} \nonumber \] Appendix While it's not directly pertinent to the subject of this tutorial, the interaction of two spin-1 systems is calculated below. \[ H_{SpinSpin} = \left( \text{kronecker} \left( J_x,~ J_x \right) + \text{kronecker} \left( J_y,~ J_y \right) + \text{kronecker} \left( J_z,~ J_z \right) \right) \nonumber \] \[ H_{SpinSpin} = \begin{pmatrix} 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & -1 & 0 & 1 & 0 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 & 0 & 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 & 1 & 0 & -1 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 \end{pmatrix} \nonumber \] We know ask Mathcad to calculate the eigenvalues and eigenvectors of the spin-spin operator. \[ \begin{matrix} \text{E = eigenvals} \left( H_{SpinSpin} \right) & \text{EigenvalEigenvec = rsort} \left( \text{stack} \left( E^T,~ \text{eigenvecs} \left( H_{SpinSpin} \right) \right),~1 \right) \end{matrix} \nonumber \] \[ \text{EigenvalEigenvec} = \begin{pmatrix} -2 & -1 & -1 & -1 & 1 & 1 & 1 & 1 & 1 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 \\ 0 & 0.707 & 0 & 0 & -0.707 & 0 & 0 & 0 & 0 \\ 0.577 & 0 & 0 & -0.707 & 0 & -0.408 & 0 & 0 & 0 \\ 0 & -0.707 & 0 & 0 & -0.707 & 0 & 0 & 0 & 0 \\ -0.577 & 0 & 0 & 0 & 0 & -0.816 & 0 & 0 & 0 \\ 0 & 0 & -0.770 & 0 & 0 & 0 & 0.707 & 0 & 0 \\ 0.577 & 0 & 0 & 0.707 & 0 & -0.408 & 0 & 0 & 0 \\ 0 & 0 & 0.707 & 0 & 0 & 0 & 0.707 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 \end{pmatrix} \nonumber \] These results are in agreement with Table 18-7 of Feynman's text. Reading from the left we have a singly degenerate J = 0 state, a triply degenerate J = 1 state, and a five-fold degenerate J = 2 state.