# Adding Angular Momenta

*Michael Fowler, UVa.*

### Introduction

Consider a system having two angular momenta, for example an electron in a hydrogen atom having both orbital angular momentum and spin. The ket space for a single angular momentum has an orthonormal basis $|j,m\rangle $ so for two angular momenta an obvious orthonormal basis is the set of direct product kets $|{j}_{1},{m}_{1}\rangle \otimes |{j}_{2},{m}_{2}\rangle .$ What does this mean, exactly? Suppose the first angular momentum ${\overrightarrow{J}}_{1}$ has magnitude ${\overrightarrow{J}}_{1}^{2}={\hslash}^{2}{j}_{1}\left({j}_{1}+1\right)$, and is in the state $\sum _{{m}_{1}=-{j}_{1}}^{{j}_{1}}{\alpha}_{{m}_{1}}|{j}_{1},{m}_{1}\rangle$, and similarly the second angular momentum ${\overrightarrow{J}}_{2}$ is in the state $\sum _{{m}_{2}=-{j}_{2}}^{{j}_{2}}{\beta}_{{m}_{2}}|{j}_{2},{m}_{2}\rangle$. Evidently the probability amplitude for finding the first spin in state ${m}_{1}$ and at the same time the second in ${m}_{2}$ is ${\alpha}_{{m}_{1}}{\beta}_{{m}_{2}},$ and we denote that state by $|{j}_{1},{m}_{1}\rangle \otimes |{j}_{2},{m}_{2}\rangle .$ How to handle these direct product spaces will become clear on examining specific examples, as we do below, beginning with two spins one-half.

Now the sum of two angular momenta $\overrightarrow{J}={\overrightarrow{J}}_{1}+{\overrightarrow{J}}_{2}$ is *itself*
an angular momentum, operating in a space with a complete basis $|j,m\rangle .$ This is easy to prove: the components of ${\overrightarrow{J}}_{1}$ satisfy $\left[{J}_{1i},{J}_{1j}\right]=i\hslash {\epsilon}_{ijk}{J}_{1k}$,
and similarly for the components of ${\overrightarrow{J}}_{2}$. The components of ${\overrightarrow{J}}_{1}$ commute with the components of ${\overrightarrow{J}}_{2}$,
of course, from which it follows immediately that the vector components of $\overrightarrow{J}={\overrightarrow{J}}_{1}+{\overrightarrow{J}}_{2}$ do indeed obey the angular momentum
commutation relations: and recall that the commutation relations were
sufficient to determine the allowed sets of eigenvalues. We shall prove later
that the eigenstates $|j,m\rangle $ of ${\overrightarrow{J}}^{2},{\overrightarrow{J}}_{z}$ *are *a
complete basis for the product space of the eigenkets of ${\overrightarrow{J}}_{1}^{2},\text{\hspace{0.17em}}{\overrightarrow{J}}_{2}^{2},{J}_{1z},\text{\hspace{0.17em}}{J}_{2z}$$\u2014$to establish
this, we must first find the possible allowed values of the total angular
momentum quantum number $j.$

Here we have, then, two different orthonormal bases for what
is evidently the same vector space. In
practical applications, it often turns out that we have to translate from one
of these bases to the other. Our present
task is to construct the appropriate transformation: we accomplish this by
finding the coefficients of any $|j,m\rangle $ in the $|{j}_{1},{m}_{1}\rangle \otimes |{j}_{2},{m}_{2}\rangle $ basis.
(These are called the *Clebsch-Gordan*
coefficients.)

We shall build gradually, beginning with adding two spins one-half, then a spin one-half with an orbital angular momentum, finally two general angular momenta.

### Adding Two Spins: the Basis
States and Spin Operators

The most elementary example of a system having two angular momenta is the hydrogen atom in its ground state. The orbital angular momentum is zero, the electron has spin angular momentum ${\scriptscriptstyle \frac{1}{2}}\hslash $, and the proton has spin ${\scriptscriptstyle \frac{1}{2}}\hslash $.

The space of possible states of the electron spin has the two basis kets ${|\uparrow \rangle}_{e}\text{and}{|\downarrow \rangle}_{e}$, (also variously written as $|+\rangle ,\text{\hspace{0.17em}}|-\rangle ;\text{\hspace{0.17em}}\text{\hspace{0.17em}}\left(\begin{array}{c}1\\ 0\end{array}\right),\text{\hspace{0.17em}}\left(\begin{array}{c}0\\ 1\end{array}\right);\text{\hspace{0.17em}}\text{\hspace{0.17em}}{\chi}_{+},\text{\hspace{0.17em}}{\chi}_{-}$!) the basis proton spin kets are ${|\uparrow \rangle}_{p}\text{and}{|\downarrow \rangle}_{p}$, so the possible states of the combined system are kets in the direct product space which has a basis of four kets:

$|{\uparrow}_{e}{\uparrow}_{p}\rangle ,\text{\hspace{0.17em}}|{\uparrow}_{e}{\downarrow}_{p}\rangle ,\text{\hspace{0.17em}}|{\downarrow}_{e}{\uparrow}_{p}\rangle ,\text{\hspace{0.17em}}|{\downarrow}_{e}{\downarrow}_{p}\rangle $

using $|{\uparrow}_{e}{\uparrow}_{p}\rangle $ as shorthand for ${|\uparrow \rangle}_{e}\otimes {|\uparrow \rangle}_{p}$.

Note here that we’ve written the kets in “alphabetical order” with $\uparrow $ as the first letter, $\downarrow $ as the second. That is to say, we’ve first written all the kets having $\uparrow $ as the first letter, etc.

For the more general case of adding ${j}_{1}$ to ${j}_{2},$ to be considered shortly, we’ll order the kets in the same “alphabetical” way, writing first all the kets having ${m}_{1}={j}_{1},$ and so on down to ${m}_{1}=-{j}_{1}:$

$$\left({j}_{1}{j}_{2},{j}_{1}\left({j}_{2}-1\right),\dots ,{j}_{1}\left(-{j}_{2}\right),\text{\hspace{0.17em}}\left({j}_{1}-1\right){j}_{2},\left({j}_{1}-1\right)\left({j}_{2}-1\right),\dots ,\left({j}_{1}-1\right)\left(-{j}_{2}\right),\dots ,\left(-{j}_{1}\right)\left(-{j}_{2}\right)\right).$$

The dimensionality of this space is then $\left(2{j}_{1}+1\right)\times \left(2{j}_{2}+1\right).$

Now the first block of $2{j}_{2}+1$ elements all have the same $m\text{-}$ component of ${j}_{1},$ that is, ${m}_{1}={j}_{1},$ the next block has ${m}_{1}={j}_{1}-1,$ and so on.
Think about what this means for constructing a *rotation operator* acting on the kets in this space: if it operates only on the angular momentum ${j}_{1},$ it will change the factors ${m}_{1}$ multiplying the blocks, if the operator
rotates only ${j}_{2},$ it will operate *within* each block, all the blocks being changed in the same way.

To get a feeling for how this works in practice, we go back to the simplest case, two spins one-half.

The space is four-dimensional, having basis $|{\uparrow}_{e}{\uparrow}_{p}\rangle ,\text{\hspace{0.17em}}|{\uparrow}_{e}{\downarrow}_{p}\rangle ,\text{\hspace{0.17em}}|{\downarrow}_{e}{\uparrow}_{p}\rangle ,\text{\hspace{0.17em}}|{\downarrow}_{e}{\downarrow}_{p}\rangle $.

Any operator acting on the spins will be represented by a $4\times 4$ matrix, best thought of as a $2\times 2$ matrix made up of $2\times 2$ blocks:
an operator acting on the proton spin acts *within*
the blocks, one operating on the electron spin affects the overall multiplying
factors in front of each block.

Let’s look at a few examples. Recall that the raising operator for a single
spin is the $2\times 2$ matrix ${S}^{+}=\hslash \left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right).$ So what is the raising operator for the *electron* spin?

$${S}_{e}^{+}\otimes {I}_{p}=\hslash \left(\begin{array}{cc}0& I\\ 0& 0\end{array}\right)=\hslash \left(\begin{array}{cccc}0& 0& 1& 0\\ 0& 0& 0& 1\\ 0& 0& 0& 0\\ 0& 0& 0& 0\end{array}\right).$$

**We use bold to denote
$2\times 2$ matrices.**

The pattern is clear: the big structure (in **bold** above), that of the four 2×2
blocks, reflect the structure of the electron spin operator ${S}^{+}=\hslash \left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right),$ within those blocks (of which only one
survives) the identity operator $I=\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)$ acts on the proton spin.

The operator that raises the *proton* spin is:

${I}_{e}\otimes {S}_{p}^{+}=\hslash \left(\begin{array}{cc}{\sigma}^{+}& 0\\ 0& {\sigma}^{+}\end{array}\right)=\hslash \left(\begin{array}{cccc}0& 1& 0& 0\\ 0& 0& 0& 0\\ 0& 0& 0& 1\\ 0& 0& 0& 0\end{array}\right).$

What about the operator that raises *both* electron and proton spin? In this case, the pattern of blocks,
and the pattern within each block, must both be $\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right)$,
so

${S}_{e}^{+}\otimes {S}_{p}^{+}={\hslash}^{2}\left(\begin{array}{cc}0& {\sigma}^{+}\\ 0& 0\end{array}\right)={\hslash}^{2}\left(\begin{array}{cccc}0& 0& 0& 1\\ 0& 0& 0& 0\\ 0& 0& 0& 0\\ 0& 0& 0& 0\end{array}\right).$

There is only one nonzero matrix element because only one member of the base survives this operation.

If two spins interact (via their magnetic moments, for example) in a way that preserves total angular momentum, a possible term in the Hamiltonian would be ${S}_{e}^{-}{S}_{p}^{+},$ represented by:

${S}_{e}^{-}{S}_{p}^{+}=\hslash \left(\begin{array}{cccc}0& 0& 0& 0\\ 0& 0& 0& 0\\ 0& 1& 0& 0\\ 0& 0& 0& 0\end{array}\right)=\hslash {S}_{e}^{-}\otimes {S}_{p}^{+}.$

### Representing the Rotation Operator for Two Spins

Recall from the lecture on spin that the rotation operator on a single spin one-half is

${D}^{\left(1/2\right)}\left(R\left(\theta \widehat{\overrightarrow{n}}\right)\right)={e}^{-\frac{i\theta \widehat{\overrightarrow{n}}\cdot \overrightarrow{J}}{\hslash}}={e}^{-i\left(\theta /2\right)\left(\widehat{\overrightarrow{n}}\cdot \overrightarrow{\sigma}\right)}=I\mathrm{cos}\frac{\theta}{2}-i\left(\widehat{\overrightarrow{n}}\cdot \overrightarrow{\sigma}\right)\mathrm{sin}\frac{\theta}{2}$

in the $2\times 2$ spinor space. As we established, this matrix operator has the form

$\left(\begin{array}{cc}a& b\\ -{b}^{*}& {a}^{*}\end{array}\right)=\left(\begin{array}{cc}\mathrm{cos}\left(\theta /2\right)-i{n}_{z}\mathrm{sin}\left(\theta /2\right)& -\left(i{n}_{x}+{n}_{y}\right)\mathrm{sin}\left(\theta /2\right)\\ \left(-i{n}_{x}+{n}_{y}\right)\mathrm{sin}\left(\theta /2\right)& \mathrm{cos}\left(\theta /2\right)+i{n}_{z}\mathrm{sin}\left(\theta /2\right)\end{array}\right).$

with ${\left|a\right|}^{2}+{\left|b\right|}^{2}=1.$

This set of unitary $2\times 2$ matrices form a *representation of the rotation group* in the sense that the total
resulting from two successive rotations is given by the matrix which is the
matrix product of those corresponding to the two rotations.

From the discussion in the previous section, it should be clear that in the product space of the two spins, the representation of the rotation operator$\u2014$both spins of course undergoing the same rotation$\u2014$is:

$\left(\begin{array}{cc}a\left(\begin{array}{cc}a& b\\ -{b}^{*}& {a}^{*}\end{array}\right)& b\left(\begin{array}{cc}a& b\\ -{b}^{*}& {a}^{*}\end{array}\right)\\ -{b}^{*}\left(\begin{array}{cc}a& b\\ -{b}^{*}& {a}^{*}\end{array}\right)& {a}^{*}\left(\begin{array}{cc}a& b\\ -{b}^{*}& {a}^{*}\end{array}\right)\end{array}\right)\text{\hspace{0.17em}}\text{\hspace{1em}}=\text{\hspace{1em}}\left(\begin{array}{cccc}{a}^{2}& ab& ab& {b}^{2}\\ -a{b}^{*}& a{a}^{*}& -b{b}^{*}& {a}^{*}b\\ -a{b}^{*}& -b{b}^{*}& a{a}^{*}& {a}^{*}b\\ {b}^{*2}& -{a}^{*}{b}^{*}& -{a}^{*}{b}^{*}& {a}^{*2}\end{array}\right).$

This set of $4\times 4$ matrices, again with ${\left|a\right|}^{2}+{\left|b\right|}^{2}=1,$ must also form a *representation of the rotation group* over the four-dimensional
space. We shall shortly discover that
this representation can be simplified, but to achieve that we need to analyze
the states in terms of *total* angular
momentum.

### Representing States of Two Spins in Terms of Total Angular Momentum

We’re now ready to look at total spin states for the ground-state
(zero *orbital* angular momentum) hydrogen
atom.

Consider first the state with both electron and proton spin pointing upwards, $|\uparrow \uparrow \rangle $. The $z\text{-}$ component of the total spin is ${S}_{z}={S}_{z}^{e}+{S}_{z}^{p}$, so ${S}_{z}=\hslash $. Labeling the total spin state $|s,m\rangle $, we have a state with $m=1,$ so $s=1.$ (To confirm that this state indeed has $s=1$ we can apply the total-spin raising operator ${S}_{+}={S}_{+}^{e}+{S}_{+}^{p}$. Since both component spins have maximum $m$ value, ${S}_{+}{|s,1\rangle}_{sm}=\left({S}_{+}^{e}+{S}_{+}^{p}\right)|\uparrow \uparrow \rangle =0$, but ${S}_{+}$ only gives zero when acting on the $m=s$ member of a multiplet. )

We find, then, that $|\uparrow \uparrow \rangle ={|1,1\rangle}_{sm}$ where we’ve added the suffix $sm$ to make clear that the numbers in the last ket signify $|s,m\rangle $ for the total spin. The total spin $s=1,$ being a total angular momentum eigenstate, has a triplet of $m$ values, $m=1,0,-1,$ ${|1,1\rangle}_{sm}$ being the top member. The $m=0$ member is found by applying the lowering operator to $|\uparrow \uparrow \rangle $:

$\begin{array}{c}{S}_{-}|\uparrow \uparrow \rangle =\left({S}_{-}^{e}+{S}_{-}^{p}\right)\left({|\uparrow \rangle}_{e}\otimes {|\uparrow \rangle}_{p}\right)\\ =\hslash {|\downarrow \rangle}_{e}\otimes {|\uparrow \rangle}_{p}+\hslash {|\uparrow \rangle}_{e}\otimes {|\downarrow \rangle}_{p}\end{array}$

which together with

${S}_{-}|\uparrow \uparrow \rangle ={S}_{-}{|1,1\rangle}_{sm}=\sqrt{2}\hslash {|1,0\rangle}_{sm},$

gives

${|1,0\rangle}_{sm}=\frac{1}{\sqrt{2}}\left(|\downarrow \uparrow \rangle +|\uparrow \downarrow \rangle \right).$

Obviously, the third member of the triplet, ${|1,-1\rangle}_{sm}=|\downarrow \downarrow \rangle $.

But this triplet only accounts for *three* basis states in the $|s,m\rangle $ total angular momentum representation. A fourth state, orthogonal to these three and
normalized, is $\frac{1}{\sqrt{2}}\left(|\uparrow \downarrow \rangle -|\downarrow \uparrow \rangle \right)$. This has $m=0,$ and also has $s=0,$ easily checked by noting that the raising
operator acting on this state gives zero, so the state has the maximum allowed $m$ for its $s$ value.

To summarize: in the total angular momentum $|s,m\rangle $ representation for two spins one-half, the four basis states are ${|1,1\rangle}_{sm},\text{\hspace{0.17em}}\text{\hspace{0.17em}}{|1,0\rangle}_{sm},\text{\hspace{0.17em}}\text{\hspace{0.17em}}{|1,-1\rangle}_{sm},\text{\hspace{0.17em}}\text{\hspace{0.17em}}{|0,0\rangle}_{sm}$. This orthonormal basis spans the same space as the other orthonormal set $|\uparrow \uparrow \rangle ,\text{\hspace{0.17em}}\text{\hspace{0.17em}}|\uparrow \downarrow \rangle ,\text{\hspace{0.17em}}\text{\hspace{0.17em}}|\downarrow \uparrow \rangle ,\text{\hspace{0.17em}}\text{\hspace{0.17em}}|\uparrow \uparrow \rangle $. Our construction of the $|s,m\rangle $ states above amounts to finding one set of basis kets in terms of the others.

Note that since both sets of basis kets are orthonormal,
mapping a vector from one set to the other is a unitary transformation. But there’s more: the coefficients we found
expressing one basis ket in the other basis are all *real*. This means that if any
ket has real coefficients in one basis, it does in the other. For this special case of all real
coefficients, a unitary transformation is termed *orthogonal*.

The orthogonal transformation expressing one base in terms of the other is easy to construct:

$\left(\begin{array}{c}{|1,1\rangle}_{sm}\\ {|1,0\rangle}_{sm}\\ {|0,0\rangle}_{sm}\\ {|1,-1\rangle}_{sm}\end{array}\right)=\left(\begin{array}{cccc}1& 0& 0& 0\\ 0& {\scriptscriptstyle \frac{1}{\sqrt{2}}}& {\scriptscriptstyle \frac{1}{\sqrt{2}}}& 0\\ 0& {\scriptscriptstyle \frac{1}{\sqrt{2}}}& -{\scriptscriptstyle \frac{1}{\sqrt{2}}}& 0\\ 0& 0& 0& 1\end{array}\right)\left(\begin{array}{c}|\uparrow \uparrow \rangle \\ |\uparrow \downarrow \rangle \\ |\downarrow \uparrow \rangle \\ |\downarrow \downarrow \rangle \end{array}\right).$

The matrix is orthogonal and symmetric, so is its own inverse.

Geometrically, $s=1$ means the component spins are parallel, for $s=0$ they are antiparallel. This can be stated more precisely: $2{\overrightarrow{S}}_{1}\cdot {\overrightarrow{S}}_{2}={S}^{2}-{S}_{1}^{2}-{S}_{2}^{2}$, so for $s=1,$ ${\overrightarrow{S}}_{1}\cdot {\overrightarrow{S}}_{2}={\scriptscriptstyle \frac{1}{2}}{\hslash}^{2}\left(2-{\scriptscriptstyle \frac{3}{4}}-{\scriptscriptstyle \frac{3}{4}}\right)={\hslash}^{2}/4$, and for $s=0$ ${\overrightarrow{S}}_{1}\cdot {\overrightarrow{S}}_{2}=-{\scriptscriptstyle \frac{3}{4}}{\hslash}^{2}$. This makes it easy to construct projection operators into the $s=0$ and $s=1$ subspaces: ${P}_{s=1}=\left({\overrightarrow{S}}_{1}\cdot {\overrightarrow{S}}_{2}/{\hslash}^{2}\right)+{\scriptscriptstyle \frac{3}{4}}$.

*Physics example*:
an interesting case of a two-spin system is the hydrogen *molecule*. The electron spins
are in the singlet state (otherwise the molecule disassociates) but the two
proton spins, which interact through their magnetic moments) can be parallel
(total spin one), this is called orthohydrogen, or antiparallel
(parahydrogen). The energy difference is
sufficiently small that at room temperature the ratio of ortho to para is 3:1,
meaning that all spins states are equally probable (effectively infinite
temperature), but at lower temperatures
the lower energy para form dominates.
This is in fact relevant to liquid hydrogen storage technology: the
conversion rate from ortho to para is very slow, but when it takes place energy
is released. If this happens after
storage, additional refrigeration is required.
To prevent this, catalysts can be used to hasten the conversion rate
during cooling.

### Representing the Rotation Operator in the Total Angular Momentum Basis

We’ve already established that the rotation operator, acting on the two spin system, can be represented by a $4\times 4$ matrix, and that the new (total angular momentum) basis can be reached from the original (two separate spin) basis by the orthogonal transformation given explicitly above. Therefore, pre-and post-multiplying the two-spin rotation operator will in fact give a $4\times 4$ matrix representation of the rotation operator in the new total angular momentum basis.

However, that approach misses the point: first, the singlet
state $\frac{1}{\sqrt{2}}\left(|\uparrow \downarrow \rangle -|\downarrow \uparrow \rangle \right)$ has *zero*
angular momentum, and so is *not changed
by rotation*.

Second, the triplet state has angular momentum one, so rotation operators must act on it just as we found earlier for an angular momentum one:

${D}^{\left(1\right)}\left(R\left(\overrightarrow{\theta}\right)\right)={e}^{-\frac{i\theta \widehat{\overrightarrow{n}}\cdot \overrightarrow{J}}{\hslash}}=I+\left(\mathrm{cos}\theta -1\right){\left(\frac{\widehat{\overrightarrow{n}}\cdot \overrightarrow{J}}{\hslash}\right)}^{2}-i\mathrm{sin}\theta \left(\frac{\widehat{\overrightarrow{n}}\cdot \overrightarrow{J}}{\hslash}\right).$

This means that, as far as rotations are concerned, the
space spanned by the four kets ${|0,0\rangle}_{sm},{|1,1\rangle}_{sm},{|1,0\rangle}_{sm},{|1,-1\rangle}_{sm}$ is actually a *sum* of two separate subspaces, the one-dimensional space ${|0,0\rangle}_{sm}$,
and the three-dimensional space having basis ${|1,1\rangle}_{sm},{|1,0\rangle}_{sm},{|1,-1\rangle}_{sm}$. Under rotation, a vector in one of these
subspaces stays there: there are no cross terms in the matrix mixing the
spaces.

This means that the rotation matrix has the form $\left(\begin{array}{cc}I& 0\\ 0& {R}_{3}\end{array}\right)$ where **R _{3}**
is the $3\times 3$ matrix for spin one,

**I**is just the $1\times 1$ trivial matrix in the singlet subspace, in other words 1, and the

**O**’s are $1\times 3$ and $3\times 1$ sets of zeroes.

A state of the spins can of course be a sum of components in the two subspaces, for example

$|\uparrow \downarrow \rangle =\frac{1}{\sqrt{2}}\left(\frac{1}{\sqrt{2}}\left(|\uparrow \downarrow \rangle +|\downarrow \uparrow \rangle \right)+\frac{1}{\sqrt{2}}\left(|\uparrow \downarrow \rangle -|\downarrow \uparrow \rangle \right)\right).$

### Reducible and Irreducible Group Representations

We began our discussion of two spins one-half by examining properties of spin operators in the four-dimensional product space of the two two-dimensional spin spaces, and went on to construct a four-dimensional representation of the general rotation operator in that space: a matrix representation of the rotation group. But when the two-spin system is labeled in terms of total angular momentum, we find that in fact this four-dimensional rotation operator is a sum of a three-dimensional rotation, and a trivial identity rotation for an angular momentum zero state. The four-dimensional operator can be “diagonalized”: the space split into a three dimensional space and a one-dimensional space that don’t mix under rotation, and any state of the system is a sum of kets from the two spaces.

This is often expressed by saying the *product* space of two spins one-half is the *sum* of a spin one space and a spin zero space, and written

${\scriptscriptstyle \frac{1}{2}}\otimes {\scriptscriptstyle \frac{1}{2}}=1\oplus 0.$

Putting in the dimensionalities of the spaces in this equation,

$2\times 2=3+1.$

This simple check on total dimensionality sets the pattern for more complicated product spaces examined below.

The $4\times 4$ representation of the rotation operator is
said to be a *reducible* representation:
it can be reduced to a sum of smaller dimensional representations. An *irreducible*
representation is one in which there are no subspaces invariant under all
rotations.

Recall that we constructed the reducible $4\times 4$ representation by taking a direct product of the $2\times 2$ spin one-half representations of the rotation group. The equation ${\scriptscriptstyle \frac{1}{2}}\otimes {\scriptscriptstyle \frac{1}{2}}=1\oplus 0$ we used above to describe the ket spaces is also often used to describe the rotation group representations within those subspaces.

One might wonder why we would bother to build two different
bases for the same vector space. The reason is that different problems need
different bases. For a system of two spins in an external magnetic field, not
interacting with each other, the independent spins basis $|\uparrow \uparrow \rangle $,
etc., is natural. On the other hand, for
a hydrogen atom in *no* external field,
but including an interaction between the spins (which are aligned with the
magnetic dipole moments of the particles) the $|j,m\rangle $ basis is the right one: the interaction
Hamiltonian is proportional to ${\overrightarrow{S}}^{e}\cdot {\overrightarrow{S}}^{p}$,
which can be written ${\scriptscriptstyle \frac{1}{2}}\left({S}_{x}^{e}+i{S}_{y}^{e}\right)\left({S}_{x}^{p}-i{S}_{y}^{p}\right)+{\scriptscriptstyle \frac{1}{2}}\left({S}_{x}^{e}-i{S}_{y}^{e}\right)\left({S}_{x}^{p}+i{S}_{y}^{p}\right)+{S}_{z}^{e}{S}_{z}^{p}$,
where we recognize the raising and lowering operators for the individual
spins. This means that the state $|\uparrow \downarrow \rangle $,
for example, cannot be an eigenstate if the Hamiltonian includes ${\overrightarrow{S}}^{e}\cdot {\overrightarrow{S}}^{p}$,
but for this case the states $|j,m\rangle $ *are*
eigenstates because ${\overrightarrow{S}}^{e}\cdot {\overrightarrow{S}}^{p}$ commutes with the* total *angular momentum and its components.

But what would be a good basis for a hydrogen atom,
including the ${\overrightarrow{S}}^{e}\cdot {\overrightarrow{S}}^{p}$ term, *and*
in an external magnetic field? That is a
nice exercise for the reader.

### Adding a Spin to an Orbital Angular Momentum

In this section, we consider a hydrogen atom in a state with
nonzero *orbital* angular momentum, $\overrightarrow{L}\ne 0$. Such orbital motion is equivalent to an
electric current loop and generates a magnetic field. The magnetic dipole
moment associated with the electron spin interacts with this field, the
appropriate Hamiltonian having a term proportional to $\overrightarrow{L}\cdot \overrightarrow{S}$,
and is termed the spin-orbit interaction.
The proton also has a magnetic moment, but that is three orders of
magnitude smaller than the electron’s, so we’ll neglect it for now.

The spin-orbit interaction $\overrightarrow{L}\cdot \overrightarrow{S}$ is most naturally analyzed in the basis states
of *total *angular momentum, $|j,m\rangle $,
where $\overrightarrow{J}=\overrightarrow{L}+\overrightarrow{S}$ (see the analogous discussion of the spin-spin
interaction above). Write the orbital
angular momentum eigenstates $|l,{m}_{l}\rangle $ and the spin states $|s,{m}_{s}\rangle $ where $|{\scriptscriptstyle \frac{1}{2,}}{\scriptscriptstyle \frac{1}{2}}\rangle =|\uparrow \rangle $ and $|{\scriptscriptstyle \frac{1}{2,}}-{\scriptscriptstyle \frac{1}{2}}\rangle =|\downarrow \rangle $. The product space $|l,{m}_{l}\rangle \otimes |s,{m}_{s}\rangle $ is $2\left(2l+1\right)$ dimensional: a single ket in this product
space would be fully described by $|l,{m}_{l};s,{m}_{s}\rangle $,
but since both $l,s$ are constant throughout the problem, the only actual
*variables* are ${m}_{l},{m}_{s}$ so we’ll write the ket in the more compact form
${|{m}_{l},{m}_{s}\rangle}_{{m}_{l}{m}_{s}}$,
for example ${|2,{\scriptscriptstyle \frac{1}{2}}\rangle}_{{m}_{l}{m}_{s}}$.

The maximum possible angular momentum component in the $z\text{-}$ direction is clearly $\left(l+{\scriptscriptstyle \frac{1}{2}}\right)\hslash $,
for the state ${|l,{\scriptscriptstyle \frac{1}{2}}\rangle}_{{m}_{1}{m}_{2}}$. In the*
total* angular momentum representation, this must be the state $|j,m\rangle ={|l+{\scriptscriptstyle \frac{1}{2}},l+{\scriptscriptstyle \frac{1}{2}}\rangle}_{jm}$. So the two different bases have a common
member:

${|l+{\scriptscriptstyle \frac{1}{2}},l+{\scriptscriptstyle \frac{1}{2}}\rangle}_{jm}={|l,{\scriptscriptstyle \frac{1}{2}}\rangle}_{{m}_{l}{m}_{s}}$.

In the total angular momentum $|j,m\rangle $ representation, ${|l+{\scriptscriptstyle \frac{1}{2}},l+{\scriptscriptstyle \frac{1}{2}}\rangle}_{jm}$ is the top $m$ state of a multiplet having $2\left(l+{\scriptscriptstyle \frac{1}{2}}\right)+1=2l+2$ members. Just as for the spin-spin case, the next member down of the multiplet is generated by applying the lowering operator:

$\begin{array}{c}{J}_{-}{|l+{\scriptscriptstyle \frac{1}{2}},l+{\scriptscriptstyle \frac{1}{2}}\rangle}_{jm}=\sqrt{2l+1}\text{\hspace{0.17em}}\hslash {|l+{\scriptscriptstyle \frac{1}{2}},l-{\scriptscriptstyle \frac{1}{2}}\rangle}_{jm}\\ =\left({L}_{-}+{S}_{-}\right){|l,{\scriptscriptstyle \frac{1}{2}}\rangle}_{{m}_{l}{m}_{s}}\\ =\sqrt{2l}\text{\hspace{0.17em}}\hslash {|l-1,{\scriptscriptstyle \frac{1}{2}}\rangle}_{{m}_{l}{m}_{s}}+\hslash {|l,-{\scriptscriptstyle \frac{1}{2}}\rangle}_{{m}_{l}{m}_{s}}.\end{array}$

Therefore

${|l+{\scriptscriptstyle \frac{1}{2}},l-{\scriptscriptstyle \frac{1}{2}}\rangle}_{jm}=\sqrt{\frac{2l}{2l+1}}{|l-1,{\scriptscriptstyle \frac{1}{2}}\rangle}_{{m}_{l}{m}_{s}}+\sqrt{\frac{1}{2l+1}}{|l,-{\scriptscriptstyle \frac{1}{2}}\rangle}_{{m}_{l}{m}_{s}}.$

This state ${|l+{\scriptscriptstyle \frac{1}{2}},l-{\scriptscriptstyle \frac{1}{2}}\rangle}_{jm}$ lies in the $m=l-{\scriptscriptstyle \frac{1}{2}}$ subspace, which is two-dimensional, having basis vectors ${|l-1,{\scriptscriptstyle \frac{1}{2}}\rangle}_{{m}_{l}{m}_{s}}$ and ${|l,-{\scriptscriptstyle \frac{1}{2}}\rangle}_{{m}_{l}{m}_{s}}$ in the ${|\rangle}_{{m}_{l}{m}_{s}}$ representation. So it must have two basis vectors in the ${|\rangle}_{jm}$ representation as well. The other ${|\rangle}_{jm}$ ket must be orthogonal to ${|l+{\scriptscriptstyle \frac{1}{2}},l-{\scriptscriptstyle \frac{1}{2}}\rangle}_{jm}$ and normalized: it can only be

${|l-{\scriptscriptstyle \frac{1}{2}},l-{\scriptscriptstyle \frac{1}{2}}\rangle}_{jm}=\sqrt{\frac{2l}{2l+1}}{|l,-{\scriptscriptstyle \frac{1}{2}}\rangle}_{{m}_{l}{m}_{s}}-\sqrt{\frac{1}{2l+1}}{|l-1,{\scriptscriptstyle \frac{1}{2}}\rangle}_{{m}_{l}{m}_{s}}.$

We’ve represented this new ket in ${|\rangle}_{jm}$ as the top state of a $j=l-{\scriptscriptstyle \frac{1}{2}}$ multiplet. It’s easy to check that this is indeed the case: it has $m=l-{\scriptscriptstyle \frac{1}{2}}$, and ${J}_{+}$ acting on it gives zero, so it has to be the top member of its multiplet. The only ambiguity is an overall phase: the Condon-Shortley convention is that the highest $m\text{-}$ state of the larger component angular momentum is assigned a positive coefficient.

So ${|l-{\scriptscriptstyle \frac{1}{2}},l-{\scriptscriptstyle \frac{1}{2}}\rangle}_{jm}$ is the top state of a new multiplet having $2\left(l-{\scriptscriptstyle \frac{1}{2}}\right)+1=2l$ members. The two multiplets $j=l+{\scriptscriptstyle \frac{1}{2}}$ and $j=l-{\scriptscriptstyle \frac{1}{2}}$ taken together have $2\left(2l+1\right)$ members, and therefore span the whole $2\left(2l+1\right)$ dimensional space. The rest of the ${|\rangle}_{jm}$ basis vectors are generated by repeated application of the lowering operator in the two multiplets.

The reason there are only two multiplets in this problem is that there are only two ways the spin one-half can point relative to the orbital angular momentum. Recalling that for the two spins we expressed the product space a sum of a spin 1 space and a spin 0 space, ${\scriptscriptstyle \frac{1}{2}}\otimes {\scriptscriptstyle \frac{1}{2}}=1\oplus 0$, the analogous equation here is

${\scriptscriptstyle \frac{1}{2}}\otimes l=\left(l+{\scriptscriptstyle \frac{1}{2}}\right)\oplus \left(l-{\scriptscriptstyle \frac{1}{2}}\right)$.

For the general case of adding angular momenta ${j}_{1},\text{\hspace{0.17em}}{j}_{2}\text{with}{j}_{1}\ge {j}_{2}$, $2{j}_{2}+1$ multiplets are generated, corresponding to the number of possible relative orientations of the two angular momenta.

### Adding Two Angular Momenta: the General Case

The space of kets describing two angular momenta ${j}_{1},\text{\hspace{0.17em}}{j}_{2}$ is the direct product of two spaces each for a single angular momentum, but the direct product nature of the kets is usually not made explicit, $|{j}_{1},{m}_{1}\rangle \otimes |{j}_{2},{m}_{2}\rangle $ can be written as a single ket $|{j}_{1},{m}_{1};{j}_{2},{m}_{2}\rangle $. Just as in the examples above, since ${j}_{1},\text{\hspace{0.17em}}{j}_{2}$ are fixed throughout, they don’t need to be written into every ket, we’ll just write $|{m}_{1},{m}_{2}\rangle $, or, when dealing with numerical values, append ${m}_{1}{m}_{2}$ as a suffix: ${|2,3\rangle}_{{m}_{1}{m}_{2}}$.

The kets $|{m}_{1},{m}_{2}\rangle $ form a *complete
orthonormal basis* of the $\left(2{j}_{1}+1\right)\left(2{j}_{2}+1\right)$ dimensional product space of the two angular momenta:
they are the eigenstates of the complete set of commuting variables ${\overrightarrow{J}}_{1}{}^{2},\text{\hspace{0.05em}}\text{\hspace{0.17em}}{J}_{1z},\text{\hspace{0.17em}}{\overrightarrow{J}}_{2}{}^{2},\text{\hspace{0.05em}}\text{\hspace{0.17em}}{J}_{2z}$.

### Total Angular Momentum Basis States

There is of course an alternative complete orthogonal basis
of the space of the two angular momenta:
for total angular momentum $\overrightarrow{J}={\overrightarrow{J}}_{1}+{\overrightarrow{J}}_{2}$,
a different set of complete commuting variables is: ${\overrightarrow{J}}_{1}{}^{2},\text{\hspace{0.17em}}{\overrightarrow{J}}_{2}{}^{2},\text{\hspace{0.05em}}\text{\hspace{0.17em}}{\overrightarrow{J}}^{2},{J}_{z}$. (This is *not*
the same set of states as in the previous paragraph: for example, ${\overrightarrow{J}}^{2}$ does *not*
commute with ${J}_{1z}$. Check it out!)

This alternative set is a better basis set for two angular momenta interacting with each other$\u2014$an interaction term like ${\overrightarrow{J}}_{1}\cdot {\overrightarrow{J}}_{2}$ can change ${m}_{1},\text{\hspace{0.17em}}{m}_{2}$ but not $m={m}_{1}+{m}_{2},\text{or}{\overrightarrow{J}}^{2}$.

As always, we’re taking ${\overrightarrow{J}}_{1}{}^{2},\text{\hspace{0.17em}}{\overrightarrow{J}}_{2}{}^{2}$ to be constants throughout, so the significant variables here are ${\overrightarrow{J}}^{2}\text{and}{J}_{z}$, and we write the states simply as $|j,m\rangle $ or when we have numerical values, ${|3,1\rangle}_{jm}$, following the notation introduced above. Of course, ${\overrightarrow{J}}^{2}|j,m\text{\hspace{0.17em}}\rangle =j\left(j+1\right){\hslash}^{2}|j,m\text{\hspace{0.17em}}\rangle $, and ${J}_{z}|j,m\text{\hspace{0.17em}}\rangle =m\hslash |j,m\text{\hspace{0.17em}}\rangle $.

### Going from One Basis to the Other: the Clebsch-Gordan Coefficients

How do we write a state $|j,m\rangle $ in terms of the states $|{m}_{1},{m}_{2}\rangle $? Furthermore, how do we prove the new set of states $|j,m\rangle $ is a complete basis for the space?

We know that the set of states $|{m}_{1},{m}_{2}\rangle $ is a complete basis, since the whole space is a product space of the ${j}_{1}\text{and}{j}_{2}$ spaces, which are spanned by the sets $|{m}_{1}\rangle ,\text{\hspace{0.17em}}|{m}_{2}\rangle $ respectively. Therefore, the identity operator can be written

$I={\displaystyle \sum _{{m}_{1}=-{j}_{1}}^{{j}_{1}}{\displaystyle \sum _{{m}_{2}=-{j}_{2}}^{{j}_{2}}|{m}_{1},{m}_{2}\rangle \langle {m}_{1},{m}_{2}|}}$.

It follows that $|j,m\rangle $ can be expressed as a sum over the basis vectors $|{m}_{1},{m}_{2}\rangle $:

$|j,m\rangle ={\displaystyle \sum _{{m}_{1}=-{j}_{1}}^{{j}_{1}}{\displaystyle \sum _{{m}_{2}=-{j}_{2}}^{{j}_{2}}|{m}_{1},{m}_{2}\rangle \langle {m}_{1},{m}_{2}|}}j,m\rangle $

The coefficients $\langle {m}_{1},{m}_{2}|j,m\text{\hspace{0.17em}}\rangle $ are called the *Clebsch Gordan coefficients*, often written CG coefficients.

One immediate property of the CG coefficients is that $\langle {m}_{1},{m}_{2}|j,m\text{\hspace{0.17em}}\rangle =0$ unless $m={m}_{1}+{m}_{2}$. This follows from the operator identity ${J}_{z}={J}_{1z}+{J}_{2z}$ taken between a bra and a ket from different bases,

$\langle {m}_{1},{m}_{2}|{J}_{z}|j,m\rangle =\langle {m}_{1},{m}_{2}|{J}_{1z}+{J}_{2z}|j,m\rangle $

and

${J}_{z}|j,m\rangle =m\hslash |j,m\rangle $, $\langle {m}_{1},{m}_{2}|\left({J}_{1z}+{J}_{2z}\right)=\langle {m}_{1},{m}_{2}|\left({m}_{1}+{m}_{2}\right)\hslash $,

so

$\left(m-{m}_{1}-{m}_{2}\right)\langle {m}_{1},{m}_{2}|j,m\rangle =0$.

We already know that the maximum value of ${m}_{1}\text{is}{j}_{1}$, and of ${m}_{2}\text{is}{j}_{2}$, so the maximum value of $m\text{is}{j}_{1}+{j}_{2}$. Therefore, the maximum value of $j={j}_{1}+{j}_{2}$, because if it could go any higher, there would be a higher $m$ somewhere in the space, contradicting $m={m}_{1}+{m}_{2}$.

For the set $|{m}_{1},{m}_{2}\rangle $,
there is one ket having this maximal value of *m*: ${|{j}_{1},{j}_{2}\rangle}_{{m}_{1}{m}_{2}}$.
Equally, in the set of states $|j,m\rangle $ there is only one with the maximal *m*: ${|{j}_{1}+{j}_{2},\text{\hspace{0.17em}}{j}_{1}+{j}_{2}\rangle}_{jm}$. Therefore, these two kets must be identical
(setting the arbitrary phase factor equal to one):

${|{j}_{1},{j}_{2}\rangle}_{{m}_{1}{m}_{2}}={|{j}_{1}+{j}_{2},\text{\hspace{0.17em}}{j}_{1}+{j}_{2}\rangle}_{jm}$.

Now ${|{j}_{1}+{j}_{2},\text{\hspace{0.17em}}{j}_{1}+{j}_{2}\rangle}_{jm}$ is the top ket in a multiplet having $2\left({j}_{1}+{j}_{2}\right)+1$ members.

The next-to-top member of the multiplet is generated as before by applying the lowering operator to both representations:

${J}_{-}{|{j}_{1}+{j}_{2},\text{\hspace{0.17em}}{j}_{1}+{j}_{2}\rangle}_{jm}=\left({J}_{1-}+{J}_{2-}\right){|{j}_{1},\text{\hspace{0.17em}}{j}_{2}\rangle}_{{m}_{1}{m}_{2}}\\ $

giving

$\sqrt{2\left({j}_{1}+{j}_{2}\right)}\hslash {|{j}_{1}+{j}_{2},\text{\hspace{0.17em}}{j}_{1}+{j}_{2}-1\rangle}_{jm}=\sqrt{2{j}_{1}}\hslash {|{j}_{1}-1,\text{\hspace{0.17em}}{j}_{2}\rangle}_{{m}_{1}{m}_{2}}+\sqrt{2{j}_{2}}\hslash {|{j}_{1},\text{\hspace{0.17em}}{j}_{2}-1\rangle}_{{m}_{1}{m}_{2}}$

so

${|{j}_{1}+{j}_{2},\text{\hspace{0.17em}}{j}_{1}+{j}_{2}-1\rangle}_{jm}=\sqrt{\frac{{j}_{1}}{{j}_{1}+{j}_{2}}}{|{j}_{1}-1,\text{\hspace{0.17em}}{j}_{2}\rangle}_{{m}_{1}{m}_{2}}+\sqrt{\frac{{j}_{2}}{{j}_{1}+{j}_{2}}}{|{j}_{1},\text{\hspace{0.17em}}{j}_{2}-1\rangle}_{{m}_{1}{m}_{2}}$

and by exact analogy with the spin orbit case, the other ${|\rangle}_{jm}$ basis state in the $m={j}_{1}+{j}_{2}-1$ subspace is

${|{j}_{1}+{j}_{2}-1,\text{\hspace{0.17em}}{j}_{1}+{j}_{2}-1\rangle}_{jm}=-\sqrt{\frac{{j}_{2}}{{j}_{1}+{j}_{2}}}{|{j}_{1}-1,\text{\hspace{0.17em}}{j}_{2}\rangle}_{{m}_{1}{m}_{2}}+\sqrt{\frac{{j}_{1}}{{j}_{1}+{j}_{2}}}{|{j}_{1},\text{\hspace{0.17em}}{j}_{2}-1\rangle}_{{m}_{1}{m}_{2}}$

with the appropriate sign convention for ${j}_{1}{j}_{2}$. This is the top member of a multiplet having $j={j}_{1}+{j}_{2}-1$, and so $2\left({j}_{1}+{j}_{2}-1\right)+1=2\left({j}_{1}+{j}_{2}\right)-1$ members (checked as usual by applying ${J}_{+}$ and getting zero).

To proceed further, the lowering operator is applied once more, to enter the $m={j}_{1}+{j}_{2}-2$ subspace.

In the ${|\rangle}_{{m}_{1}{m}_{2}}$ representation, this has *three* independent basis vectors (provided ${j}_{2}{\scriptscriptstyle \frac{1}{2}}$ ): ${|{j}_{1}-2,\text{\hspace{0.17em}}{j}_{2}\rangle}_{{m}_{1}{m}_{2}},\text{\hspace{1em}}\text{\hspace{0.17em}}{|{j}_{1}-1,\text{\hspace{0.17em}}{j}_{2}-1\rangle}_{{m}_{1}{m}_{2}},\text{\hspace{1em}}\text{\hspace{0.17em}}{|{j}_{1},\text{\hspace{0.17em}}{j}_{2}-2\rangle}_{{m}_{1}{m}_{2}}$. But only *two* kets have been lowered in the ${|\rangle}_{jm}$ representation$\u2014$the missing third
${|\rangle}_{jm}$ ket in the $m={j}_{1}+{j}_{2}-2$ subspace must be the top member of *another* new multiplet having $j={j}_{1}+{j}_{2}-2$,
and so $2\left({j}_{1}+{j}_{2}\right)-3$ members.

Note that the coefficients generated by the lowering operators are all real, so all three ${|\rangle}_{jm}$ kets in the $m={j}_{1}+{j}_{2}-2$ subspace can be written in terms of the ${|\rangle}_{{m}_{1}{m}_{2}}$ kets with real coefficients.

This process can be repeated until the ${|\rangle}_{jm}$ multiplets generated span the space. Recall that the dimensionality of the space, from the ${|\rangle}_{{m}_{1}{m}_{2}}$ representation, is $\left(2{j}_{1}+1\right)\left(2{j}_{2}+1\right)$. The multiplets in ${|\rangle}_{jm}$ add to a total dimensionality

$2\left({j}_{1}+{j}_{2}\right)+1+2\left({j}_{1}+{j}_{2}\right)-1+2\left({j}_{1}+{j}_{2}\right)-3+\dots $

but where do we stop? Common sense suggests that for ${j}_{1}{j}_{2}$, the minimum total angular momentum must be $j={j}_{1}-{j}_{2}$. Common sense is not necessarily to be trusted, but it is clear that all the members of the multiplets in ${|\rangle}_{jm}$ generated by using the lowering operator, followed by introducing a new orthogonal multiplet top member each time, as described above, are independent orthonormal kets, and if we stop at $j={j}_{1}-{j}_{2}$, the total number generated is

$\sum _{n=\left|{j}_{1}-{j}_{2}\right|}^{{j}_{1}+{j}_{2}}\left(2n+1\right)}=\left(2{j}_{1}+1\right)\left(2{j}_{2}+1\right)$.

(Use $\sum _{n=0}^{m}\left(2n+1\right)}={\left(m+1\right)}^{2$.) This establishes that including all total angular momenta between $\left|{j}_{1}-{j}_{2}\right|$ and ${j}_{1}+{j}_{2}$ does in fact give a complete basis spanning the space, so

${j}_{1}\otimes {j}_{2}=\left({j}_{1}+{j}_{2}\right)\oplus \left({j}_{1}+{j}_{2}-1\right)\oplus \dots \oplus \left(\left|{j}_{1}-{j}_{2}\right|\right).$

### Calculating Clebsch-Gordan Coefficients Using Recursion Relations

The scheme presented above, constructing a succession of
multiplets beginning from the highest *m*
state and using the Condon-Shortley convention to settle signs, will generate
all the CG coefficients. However,
another approach proves useful in later work.
Recall that by finding matrix elements of ${J}_{z}={J}_{1z}+{J}_{2z}$ between a $\langle {m}_{1},{m}_{2}|$ bra and a $|j,m\rangle $ ket, we established that the Clebsch-Gordan
coefficients are zero unless $m={m}_{1}+{m}_{2}$. A parallel evaluation of matrix elements of ${J}_{\pm}={J}_{1\pm}+{J}_{2\pm}$ yields a relationship between three CG
coefficients:

$\langle {m}_{1},{m}_{2}|{J}_{+}|j,m\rangle =\langle {m}_{1},{m}_{2}|{J}_{1+}|j,m\rangle +\langle {m}_{1},{m}_{2}|{J}_{2+}|j,m\rangle $

yields

$\begin{array}{l}\sqrt{j\left(j+1\right)-m\left(m+1\right)}\langle {m}_{1},{m}_{2}|j,m+1\rangle =\\ \sqrt{{j}_{1}\left({j}_{1}+1\right)-{m}_{1}\left({m}_{1}-1\right)}\langle {m}_{1}-1,{m}_{2}|j,m\rangle +\sqrt{{j}_{2}\left({j}_{2}+1\right)-{m}_{2}\left({m}_{2}-1\right)}\langle {m}_{1},{m}_{2}-1|j,m\rangle \end{array}$

where ${J}_{1+}$ acting to the left *reduces* ${m}_{1}$ by one. (Here, obviously, we must choose $m={m}_{1}+{m}_{2}-1$ to have nonzero coefficients.)

To visualize what’s going on with all these coefficients, remember ${m}_{1}$ can take $2{j}_{1}+1$ values and ${m}_{2}$ can take $2{j}_{2}+1$ values, so for given ${j}_{1},{j}_{2}$ every possible state of the two spins can be represented by a dot on a $\left(2{j}_{1}+1\right)\times \left(2{j}_{2}+1\right)$ grid: here’s ${j}_{1}=3,\text{\hspace{0.17em}}\text{\hspace{0.17em}}{j}_{2}=2$:

How do these dots relate to the CG coefficients? the top right-hand dot (3, 2) uniquely represents the $j=5,\text{\hspace{0.17em}}\text{\hspace{0.17em}}m=5$ state of total angular momentum. The next dots down, (2, 2) and

(3, 1), correspond to two CG coefficients for $j=5$ and two *different*
CG coefficients for $j=4.$

*If we now pick one value
of $j$ less than ${j}_{1}+{j}_{2},$ each
dot in the grid will correspond to one coefficient. *

Note that having fixed $j,$ the grid will be curtailed: let’s take $j=3,$ so $m={m}_{1}+{m}_{2}=3$ at most. Then the grid loses its far corners:

Let us examine for this fixed $j$ which CG coefficients are where in this curtailed grid.

There are a total of $2j+1=7$ states for $m=3,\text{\hspace{0.17em}}2\text{\hspace{0.17em}},\dots ,-3.$

The top state, $j=3,\text{\hspace{0.17em}}m=3,$ or ${|3,3\rangle}_{jm}$,
is given by three coefficients on the top diagonal line (it’s in a
three-dimensional subspace, and orthogonal to $j=5$ and $j=4$ multiplet members ${|5,3\rangle}_{jm},\text{\hspace{0.17em}}\text{\hspace{0.17em}}{|4,3\rangle}_{jm}$ which are also in the $m=3$ subspace). We’re not at this point *calculating* these coefficients, we’re just trying to find them a
home.

Applying the lowering operator to ${|3,3\rangle}_{jm}$ gives a vector in the four-dimensional $m=2$ subspace, the coefficients would belong to the next diagonal down, which has four elements. (This subspace also includes the top member of the $j=2$ multiplet.) Using the lowering operator one more time we enter the five-dimensional $m=1$ subspace$\u2014$but that is the maximum number of dimensions in this problem, since angular momenta 3 and 2 cannot be added to give a $j=0$ scalar.

Having now, for this particular $j$ made from ${j}_{1}+{j}_{2}$, found where all the CG coefficients for all the $2j+1$ multiplet members are located, we shall see how they can all be systematically calculated using the recursion relations generated by ${J}_{\pm}={J}_{1\pm}+{J}_{2\pm}$.

We’ve mapped the recursion relations on the diagram: given $j,\text{\hspace{0.17em}}\text{\hspace{0.05em}}{j}_{1},\text{\hspace{0.17em}}\text{\hspace{0.17em}}{j}_{2}$ the three red dots at $\left({m}_{1},{m}_{2}\right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}\left({m}_{1}-1,{m}_{2}\right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}\left({m}_{1},{m}_{2}-1\right)$ (with ${m}_{1}=-1,\text{\hspace{0.17em}}{m}_{2}=1$ in this example) locate the three CG coefficients satisfying the linear equation above from

$\langle {m}_{1},{m}_{2}|{J}_{+}|j,m\rangle =\langle {m}_{1},{m}_{2}|{J}_{1+}|j,m\rangle +\langle {m}_{1},{m}_{2}|{J}_{2+}|j,m\rangle $

so if two of them are known the third is given. Similarly, the parallel equation generated by ${J}_{-}={J}_{1-}+{J}_{2-}$ links the three green dots, at $\left({m}_{1},{m}_{2}\right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}\left({m}_{1}+1,{m}_{2}\right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}\left({m}_{1},{m}_{2}+1\right)$.

We begin the computation of the CG coefficients with the blue dot, the point on the leading “arrow”
edges. Let us arbitrarily assign a value
1 to this point. If we make it the top
member of a “green” triangle, that will link it to the dot below and to a dot
to the right which is *off the array*. The dot off the array makes zero
contribution, so we have an equation giving the value of the coefficient at the
dot below the blue dot as a multiple of the value on the blue dot. We can then continue down to the next
dot. We could instead have gone *up* from the blue dot using incomplete
red triangles$\u2014$in fact we can continue
around the edge of the whole array.
Then, once the values along the
edges are fixed, the recursion triangles can be used to move inward and find
the rest.

The point of this section is to establish that, apart from
an overall multiplicative constant that must be fixed by normalization, *all* the CG coefficients for this value
of $j$ can be found *from the recursion relations alone*.
The reason this is important is because the *same* algebraic structure, and therefore the same recursion
relations, are used to define spherical tensors, so they can *also* be combined using the same CG
coefficients. (We still need a sign
convention here to present a complete table: so far, the different values of total $j$ have arbitrary relative phases.)