12.05.03 · quantum / angular-momentum

Addition of angular momenta and Clebsch-Gordan coefficients

shipped3 tiersLean: none

Anchor (Master): Sakurai & Napolitano, Modern Quantum Mechanics, 3e (Cambridge, 2017), §3.8; Landau & Lifshitz, Quantum Mechanics, 3e (Pergamon, 1977), §31; Edmonds, Angular Momentum in Quantum Mechanics (Princeton UP, 1957), §3; Varshalovich, Moskalev & Khersonskii, Quantum Theory of Angular Momentum (World Scientific, 1988), §8

Intuition Beginner

When two quantum systems each carry angular momentum and we combine them into a single composite system, the total angular momentum is not simply the sum of the two individual amounts. The values that the total can take are constrained, and the rules for these values are at the heart of atomic, nuclear, and particle physics.

The simplest case is two electrons, each with spin one-half. Each electron has two basis states: spin up and spin down along the axis we choose for measurement. Together the pair has four basis product states: up-up, up-down, down-up, down-down. Yet the natural physical quantity is the total spin of the pair, and the four states group into two families.

Three of the four states behave as a single particle with spin one. These three are called the triplet. The remaining single state behaves as a particle with spin zero. This is called the singlet. Three plus one equals four, matching the original count of product states, but the regrouping into spin-one and spin-zero is the physically meaningful description.

The triplet state with both spins along the positive axis has total spin projection plus one and total spin one. The triplet state with both spins along the negative axis has projection minus one. The triplet state with projection zero is the equal-weight symmetric combination of up-down and down-up, with both contributing the same sign. The singlet state with projection zero is the antisymmetric combination, with up-down and down-up entering with opposite signs.

The numbers that appear in these combinations — the factors of one over the square root of two — are the Clebsch-Gordan coefficients. They tell us how product states of two angular momenta combine to form states of the total angular momentum. Every textbook on quantum mechanics tabulates these coefficients for various spin combinations because they are the unavoidable bookkeeping of how angular momentum adds in quantum theory.

The general rule extends to any two angular momenta. If one system carries angular momentum labelled by $j_{1}$ and the other by $j_{2}$ , the total angular momentum $J$ takes the values $j_{1} + j_{2}$ , $j_{1} + j_{2} - 1$ , all the way down to the absolute difference of $j_{1}$ and $j_{2}$ , in steps of one. For two spin-one-half systems with $j_{1} = j_{2} = 1/2$ , the possibilities are $J = 1$ and $J = 0$ , recovering triplet and singlet.

A second concrete example is an electron in a hydrogen atom. The electron has orbital angular momentum $ℓ$ from its motion around the nucleus and spin one-half from its intrinsic property. The total electronic angular momentum is labelled $j$ . For an electron with $ℓ = 1$ and spin one-half, $j$ can be $3/2$ or $1/2$ . These two values correspond to slightly different energies in a real atom, producing the famous fine-structure splitting of spectral lines.

Applications appear everywhere atomic and subatomic structure matters. In atomic physics, the total angular momentum of multi-electron atoms is built by repeated angular-momentum addition, leading to the term symbols of spectroscopy and the selection rules for which optical transitions are allowed. In nuclear physics, the angular momentum of a nucleus is the sum of the angular momenta of its protons and neutrons, and the shell model uses this addition rule to predict magic numbers and ground-state spins. In particle physics, the isospin and flavour quantum numbers of hadrons combine according to the same algebraic rules, organising the proton-neutron doublet, the pion triplet, and the eightfold-way octets.

The single concept of angular-momentum addition with its associated coefficients is, therefore, the algebraic backbone shared by atomic, nuclear, and particle-physics structure. The Clebsch-Gordan coefficients are the universal lookup table that connects the product-state picture of two separate systems to the total-momentum picture of the joint system.

Visual Beginner

The picture below illustrates the addition of two spin-one-half systems. Each individual spin has two states represented as arrows pointing up or down. The four product combinations split into a symmetric triplet group of three states with total spin one and an antisymmetric singlet state with total spin zero.

The visual shows how the four-dimensional product space splits into a three-dimensional symmetric block and a one-dimensional antisymmetric block. The coefficients one over the square root of two are exactly the Clebsch-Gordan coefficients in this case.

This second picture extends the same idea to angular momentum one combined with spin one-half, producing total angular momentum three-halves with four states plus angular momentum one-half with two states.

Worked example Beginner

Take two electrons. Compute the total spin states of the pair, expressing each in terms of products of the single-electron up and down states.

The four product states are written down-down, down-up, up-down, up-up, where the first label is electron 1 and the second is electron 2.

Step 1. Place the highest state. With both electrons up, the total spin projection is one. There is only one way to make projection plus one, so this product state is itself a triplet state with $J = 1$ and $M = + 1$ : the triplet with $M = + 1$ equals up-up.

Step 2. Place the lowest state. Both electrons down gives projection minus one. The triplet with $M = - 1$ equals down-down.

Step 3. Build the projection-zero triplet. The two product states with projection zero are up-down and down-up. The symmetric combination of these, divided by the square root of two so that the total probability stays equal to one, is the triplet with $M = 0$ . Numerically this is the sum of up-down and down-up, all divided by the square root of two.

Step 4. Build the singlet. The antisymmetric combination of up-down and down-up, divided by the square root of two, is the singlet $J = 0$ , $M = 0$ . Numerically this is up-down minus down-up, all divided by the square root of two.

What this tells us: the original four product states have reorganised into one triplet group of three states with total spin one and one singlet state with total spin zero. The factors of one over the square root of two are the Clebsch-Gordan coefficients that connect the two pictures. They are, in this case, the simplest non-zero coefficients beyond plus or minus one.

Check your understanding Beginner

Formal definition Intermediate+

Let $∣ j_{1}, m_{1} ⟩$ and $∣ j_{2}, m_{2} ⟩$ be orthonormal bases for the irreducible representations $D^{(j_{1})}$ and $D^{(j_{2})}$ of $SU (2)$ from unit 12.05.01, with $j_{1}, j_{2} \in \frac{1}{2} Z_{\geq 0}$ and $m_{i} \in {- j_{i}, - j_{i} + 1, \dots, j_{i}}$ . The tensor product representation acts on the $(2 j_{1} + 1) (2 j_{2} + 1)$ -dimensional space

$H_{j_{1}} \otimes H_{j_{2}} = span {∣ j_{1}, m_{1} ⟩ \otimes ∣ j_{2}, m_{2} ⟩ : - j_{1} \leq m_{1} \leq j_{1}, - j_{2} \leq m_{2} \leq j_{2}} .$

The total-angular-momentum operators on the tensor product are $J = J^{(1)} \otimes I^{(2)} + I^{(1)} \otimes J^{(2)}$ , where $J^{(i)}$ acts on the $i$ -th factor only. They satisfy the same $su (2)$ commutation relations as each individual $J^{(i)}$ , so the tensor product carries another representation of the same algebra.

Theorem (Clebsch-Gordan decomposition). The tensor product $D^{(j_{1})} \otimes D^{(j_{2})}$ decomposes as a direct sum of irreducible representations,

$D^{(j_{1})} \otimes D^{(j_{2})} ≅ J = ∣ j_{1} - j_{2} ∣ ⨁ j_{1} + j_{2} D^{(J)},$

with each $D^{(J)}$ in the range $∣ j_{1} - j_{2} ∣ \leq J \leq j_{1} + j_{2}$ appearing exactly once and $J$ stepping by one.

The dimension check, summing $2 J + 1$ across the allowed values of $J$ via the telescoping arithmetic-progression identity, gives

$J = ∣ j_{1} - j_{2} ∣ \sum j_{1} + j_{2} (2 J + 1) = (2 j_{1} + 1) (2 j_{2} + 1),$

matching the dimension of the tensor product.

Definition (Clebsch-Gordan coefficient). The Clebsch-Gordan coefficient $⟨ j_{1}, m_{1}; j_{2}, m_{2} ∣ J, M ⟩$ is the inner product between the product basis state $∣ j_{1}, m_{1} ⟩ \otimes ∣ j_{2}, m_{2} ⟩$ and the total-angular-momentum eigenstate $∣ J, M ⟩$ defined by $J_{z} ∣ J, M ⟩ = ℏ M ∣ J, M ⟩$ and $J^{2} ∣ J, M ⟩ = ℏ^{2} J (J + 1) ∣ J, M ⟩$ in the same direct summand $D^{(J)}$ .

In the Condon-Shortley phase convention used throughout Sakurai-Napolitano, Edmonds, and Varshalovich, the Clebsch-Gordan coefficients are all real and the highest-weight coefficient $⟨ j_{1}, j_{1}; j_{2}, J - j_{1} ∣ J, J ⟩$ is chosen positive.

The change-of-basis identities are

$∣ J, M ⟩ = m_{1} + m_{2} = M \sum ⟨ j_{1}, m_{1}; j_{2}, m_{2} ∣ J, M ⟩ ∣ j_{1}, m_{1} ⟩ \otimes ∣ j_{2}, m_{2} ⟩,$

$∣ j_{1}, m_{1} ⟩ \otimes ∣ j_{2}, m_{2} ⟩ = J = ∣ j_{1} - j_{2} ∣ \sum j_{1} + j_{2} ⟨ j_{1}, m_{1}; j_{2}, m_{2} ∣ J, m_{1} + m_{2} ⟩ ∣ J, m_{1} + m_{2} ⟩ .$

Selection rules. The coefficient $⟨ j_{1}, m_{1}; j_{2}, m_{2} ∣ J, M ⟩$ vanishes unless

$M = m_{1} + m_{2} and ∣ j_{1} - j_{2} ∣ \leq J \leq j_{1} + j_{2} .$

The first condition comes from $J_{z} = J_{z}^{(1)} + J_{z}^{(2)}$ ; the second is the triangle inequality from the direct-sum decomposition.

Orthogonality. Treating the coefficients as a matrix indexed by $(m_{1}, m_{2})$ on one side and $(J, M)$ on the other,

$m_{1}, m_{2} \sum ⟨ j_{1}, m_{1}; j_{2}, m_{2} ∣ J, M ⟩ ⟨ j_{1}, m_{1}; j_{2}, m_{2} ∣ J^{'}, M^{'} ⟩ = δ_{J J^{'}} δ_{M M^{'}},$

$J, M \sum ⟨ j_{1}, m_{1}; j_{2}, m_{2} ∣ J, M ⟩ ⟨ j_{1}, m_{1}^{'}; j_{2}, m_{2}^{'} ∣ J, M ⟩ = δ_{m_{1} m_{1}^{'}} δ_{m_{2} m_{2}^{'}} .$

Ladder recursion. Acting with $J_{\pm} = J_{\pm}^{(1)} + J_{\pm}^{(2)}$ on the change-of-basis identity gives the recursion

$(J \mp M) (J \pm M + 1) ⟨ j_{1}, m_{1}; j_{2}, m_{2} ∣ J, M \pm 1 ⟩$

$= (j_{1} \mp m_{1} + 1) (j_{1} \pm m_{1}) ⟨ j_{1}, m_{1} \mp 1; j_{2}, m_{2} ∣ J, M ⟩ + (j_{2} \mp m_{2} + 1) (j_{2} \pm m_{2}) ⟨ j_{1}, m_{1}; j_{2}, m_{2} \mp 1 ∣ J, M ⟩ .$

Combined with the highest-weight condition $⟨ j_{1}, j_{1}; j_{2}, J - j_{1} ∣ J, J ⟩$ for fixed phase, this recursion determines every coefficient.

Counterexamples to common slips

The total angular momentum $J$ does not run only from $j_{1} + j_{2}$ downward to zero. The lower bound is $∣ j_{1} - j_{2} ∣$ , not zero. For $j_{1} = 3/2$ and $j_{2} = 1/2$ , the allowed $J$ values are $2$ and $1$ , not ${2, 1, 0}$ .
The coefficients are not in general just $1/ n$ factors. Beyond the spin-one-half case, irrational coefficients such as $2/5$ and $3/7$ appear regularly in the $j_{1} = 1$ , $j_{2} = 1$ table and beyond. Only the very smallest cases reduce to clean $1/ 2$ values.
The Condon-Shortley convention is one of several. Wigner's original phase convention, Edmonds' convention, and the Landau-Lifshitz convention all differ on a few sign choices. Always check which convention a reference uses before reading numerical values off a table.
The Clebsch-Gordan coefficient $⟨ j_{1}, m_{1}; j_{2}, m_{2} ∣ J, M ⟩$ is not symmetric under interchange of $(j_{1}, m_{1})$ and $(j_{2}, m_{2})$ . The coefficient picks up a factor of $(- 1)^{j_{1} + j_{2} - J}$ under this swap, an immediate consequence of the symmetry properties of the underlying 3- $j$ symbol introduced at Master tier.

Key theorem with proof Intermediate+

Theorem (Clebsch-Gordan series for $SU (2)$ ). For half-integer $j_{1}, j_{2} \geq 0$ , the tensor product representation $D^{(j_{1})} \otimes D^{(j_{2})}$ of $SU (2)$ decomposes into irreducibles as

$D^{(j_{1})} \otimes D^{(j_{2})} ≅ J = ∣ j_{1} - j_{2} ∣ ⨁ j_{1} + j_{2} D^{(J)},$

with each integer-step value of $J$ in the range appearing exactly once and no others.

Proof. The proof has three steps: enumerate the weights of the tensor product, recover the irreducible content by counting multiplicities, and verify the dimension.

Step 1: weight enumeration. The basis state $∣ j_{1}, m_{1} ⟩ \otimes ∣ j_{2}, m_{2} ⟩$ is an eigenstate of $J_{z} = J_{z}^{(1)} + J_{z}^{(2)}$ with eigenvalue $ℏ (m_{1} + m_{2})$ . Let $n_{M}$ denote the multiplicity of the eigenvalue $M = m_{1} + m_{2}$ in the tensor product. Counting pairs $(m_{1}, m_{2})$ with $m_{1} \in {- j_{1}, \dots, j_{1}}$ , $m_{2} \in {- j_{2}, \dots, j_{2}}$ , and $m_{1} + m_{2} = M$ gives

$$n_M = \begin{cases} 2 \min(j_1, j_2) + 1 & |M| \leq |j_1 - j_2|, \ j_1 + j_2 - |M| + 1 & |j_1 - j_2| < |M| \leq j_1 + j_2, \ 0 & |M| > j_1 + j_2. \end{cases}$$

Step 2: multiplicity recovery. If $D^{(j_{1})} \otimes D^{(j_{2})} = ⨁_{J} m_{J} D^{(J)}$ with multiplicities $m_{J}$ , then $n_{M} = \sum_{J \geq ∣ M ∣} m_{J}$ . Solving by differencing,

$m_{J} = n_{J} - n_{J + 1} .$

For $J$ in the range $∣ j_{1} - j_{2} ∣ \leq J \leq j_{1} + j_{2}$ , the difference $n_{J} - n_{J + 1}$ equals one. For $J > j_{1} + j_{2}$ , both $n_{J}$ and $n_{J + 1}$ vanish, so $m_{J} = 0$ . For $J < ∣ j_{1} - j_{2} ∣$ , both $n_{J}$ and $n_{J + 1}$ equal $2 min (j_{1}, j_{2}) + 1$ , so again $m_{J} = 0$ . Therefore each $J$ in the inclusive range $[∣ j_{1} - j_{2} ∣, j_{1} + j_{2}]$ appears exactly once.

Step 3: dimension check. The total dimension of the right-hand side is

$J = ∣ j_{1} - j_{2} ∣ \sum j_{1} + j_{2} (2 J + 1) .$

Substitute $J = ∣ j_{1} - j_{2} ∣ + k$ for $k = 0, 1, \dots, 2 min (j_{1}, j_{2})$ . The sum becomes $\sum_{k = 0}^{2 m i n (j_{1}, j_{2})} (2∣ j_{1} - j_{2} ∣ + 2 k + 1)$ . Using $\sum_{k = 0}^{N} (a + 2 k) = (N + 1) a + N (N + 1)$ with $a = 2∣ j_{1} - j_{2} ∣ + 1$ and $N = 2 min (j_{1}, j_{2})$ , the total is $(2 min (j_{1}, j_{2}) + 1) (2∣ j_{1} - j_{2} ∣ + 2 min (j_{1}, j_{2}) + 1) = (2 j_{1} + 1) (2 j_{2} + 1)$ , matching the dimension of the tensor product. $□$

Bridge. This decomposition builds toward 12.05.02, where the spherical harmonics $Y_{ℓ}^{m}$ realise the integer- $ℓ$ representations as functions on $S^{2}$ and the product $Y_{ℓ_{1}}^{m_{1}} Y_{ℓ_{2}}^{m_{2}}$ expands via Clebsch-Gordan into the sum over $Y_{ℓ}^{m}$ that produces the Gaunt coefficients of atomic physics. The foundational reason the series terminates at $∣ j_{1} - j_{2} ∣$ on the lower end is that the highest-weight vector $∣ J, J ⟩$ in each irreducible factor must be annihilated by $J_{+}$ , and the count of independent solutions of $J_{+} ψ = 0$ at weight $J$ inside the tensor product is exactly $n_{J} - n_{J + 1}$ by the same differencing argument. This is exactly the structure that identifies the angular Hilbert space of two coupled subsystems with the direct sum of irreducible composite representations, and the pattern recurs in 07.06.11 for $sl_{2} (C)$ : putting these together, the Clebsch-Gordan decomposition is the prototype of every direct-sum factorisation of tensor products in compact-group representation theory.

Exercises Intermediate+

Exercise 3 (medium, symbolic).

Compute the four Clebsch-Gordan coefficients for the projection-zero subspace of the spin-one-half $\otimes$ spin-one-half problem: $⟨ 1/2, 1/2; 1/2, - 1/2 ∣ J, 0 ⟩$ and $⟨ 1/2, - 1/2; 1/2, 1/2 ∣ J, 0 ⟩$ for $J = 0, 1$ .

Hint

Apply $J_{-} = J_{-}^{(1)} + J_{-}^{(2)}$ to $∣ J = 1, M = 1 ⟩ = ∣ ↑↑ ⟩$ to find $∣ J = 1, M = 0 ⟩$ . The $∣ J = 0, M = 0 ⟩$ state is the orthogonal antisymmetric combination, with the Condon-Shortley sign convention putting the positive sign on the $∣ ↑↓ ⟩$ component.

Answer

Start from $∣1, 1 ⟩ = ∣ ↑↑ ⟩$ and apply $J_{-}$ . Using $J_{-} ∣1, 1 ⟩ = ℏ 2 ∣1, 0 ⟩$ on the left and $(J_{-}^{(1)} + J_{-}^{(2)}) ∣ ↑↑ ⟩ = ℏ (∣ ↓↑ ⟩ + ∣ ↑↓ ⟩)$ on the right, divide by $ℏ 2$ :

$∣1, 0 ⟩ = \frac{1}{2} (∣ ↑↓ ⟩ + ∣ ↓↑ ⟩) .$

The singlet is orthogonal: $∣0, 0 ⟩ = \frac{1}{2} (∣ ↑↓ ⟩ - ∣ ↓↑ ⟩)$ .

Reading off the four coefficients:

$⟨ 1/2, 1/2; 1/2, - 1/2 ∣ 1, 0 ⟩ = 1/ 2$
$⟨ 1/2, - 1/2; 1/2, 1/2 ∣ 1, 0 ⟩ = 1/ 2$
$⟨ 1/2, 1/2; 1/2, - 1/2 ∣ 0, 0 ⟩ = 1/ 2$
$⟨ 1/2, - 1/2; 1/2, 1/2 ∣ 0, 0 ⟩ = - 1/ 2$

The sign pattern (symmetric for $J = 1$ , antisymmetric for $J = 0$ ) reflects the higher-symmetry / lower-symmetry distinction between triplet and singlet.

Exercise 4 (medium, symbolic).

For $j_{1} = 1$ and $j_{2} = 1/2$ , list the allowed values of $J$ and compute the Clebsch-Gordan coefficient $⟨ 1, 1; 1/2, - 1/2 ∣ 3/2, 1/2 ⟩$ by applying $J_{-}$ to the highest-weight state.

Hint

Allowed $J$ : from $j_{1} + j_{2} = 3/2$ down to $∣ j_{1} - j_{2} ∣ = 1/2$ . Start with $∣3/2, 3/2 ⟩ = ∣1, 1 ⟩ \otimes ∣1/2, 1/2 ⟩$ , then apply $J_{-}$ .

Answer

Allowed values: $J = 3/2$ and $J = 1/2$ .

The highest-weight state is $∣3/2, 3/2 ⟩ = ∣1, 1 ⟩ \otimes ∣1/2, 1/2 ⟩$ . Apply $J_{-}$ :

$J_{-} ∣3/2, 3/2 ⟩ = ℏ (3/2) (5/2) - (3/2) (1/2) ∣3/2, 1/2 ⟩ = ℏ 3 ∣3/2, 1/2 ⟩ .$

On the right, $(J_{-}^{(1)} + J_{-}^{(2)}) ∣1, 1 ⟩ ∣1/2, 1/2 ⟩ = ℏ 2 ∣1, 0 ⟩ ∣1/2, 1/2 ⟩ + ℏ∣1, 1 ⟩ ∣1/2, - 1/2 ⟩$ .

Equating and dividing by $ℏ 3$ :

$∣3/2, 1/2 ⟩ = \frac{2}{3} ∣1, 0 ⟩ ∣1/2, 1/2 ⟩ + \frac{1}{3} ∣1, 1 ⟩ ∣1/2, - 1/2 ⟩ .$

The Clebsch-Gordan coefficient is read off:

$⟨ 1, 1; 1/2, - 1/2 ∣ 3/2, 1/2 ⟩ = \frac{1}{3} = \frac{1}{3} .$

Exercise 7 (medium, symbolic).

Show that the triplet states of two spin-one-half particles are symmetric under interchange of the two particles, and the singlet state is antisymmetric.

Hint

Apply the permutation $P_{12}$ that swaps particles 1 and 2 to each of the four states and read off the eigenvalue.

Answer

$P_{12} ∣ ↑↑ ⟩ = ∣ ↑↑ ⟩$ : eigenvalue $+ 1$ , symmetric. Triplet $M = 1$ .

$P_{12} ∣ ↓↓ ⟩ = ∣ ↓↓ ⟩$ : $+ 1$ , symmetric. Triplet $M = - 1$ .

$P_{12} \frac{1}{2} (∣ ↑↓ ⟩ + ∣ ↓↑ ⟩) = \frac{1}{2} (∣ ↓↑ ⟩ + ∣ ↑↓ ⟩) = + 1$ times the original: triplet $M = 0$ , symmetric.

$P_{12} \frac{1}{2} (∣ ↑↓ ⟩ - ∣ ↓↑ ⟩) = \frac{1}{2} (∣ ↓↑ ⟩ - ∣ ↑↓ ⟩) = - 1$ times the original: singlet, antisymmetric.

For identical fermions, the full wavefunction must be antisymmetric. If two electrons share the same spatial wavefunction (e.g., both in the ground state of helium), only the antisymmetric spin singlet is allowed. If they have different spatial wavefunctions, the spatial part can be antisymmetric and the spin part symmetric (triplet), or vice versa. This is the spin-statistics origin of the singlet-triplet splitting in para-helium versus ortho-helium.

Exercise 8 (hard, symbolic).

Use the recursion derived above to compute the $j_{1} = j_{2} = 1/2$ Clebsch-Gordan table entries for $J = 0$ from the triplet results: derive $∣0, 0 ⟩$ by orthogonality to $∣1, 0 ⟩$ .

Hint

In the projection-zero subspace, $∣0, 0 ⟩$ must be orthogonal to $∣1, 0 ⟩ = (∣ ↑↓ ⟩ + ∣ ↓↑ ⟩) / 2$ and normalised. The Condon-Shortley convention puts a positive coefficient on $∣ ↑↓ ⟩$ .

Answer

In the two-dimensional projection-zero subspace spanned by $∣ ↑↓ ⟩$ and $∣ ↓↑ ⟩$ , the state $∣1, 0 ⟩ = (∣ ↑↓ ⟩ + ∣ ↓↑ ⟩) / 2$ occupies one of the two orthonormal directions. The orthogonal complement is one-dimensional, spanned by $(∣ ↑↓ ⟩ - ∣ ↓↑ ⟩) / 2$ . By Condon-Shortley, the positive-on- $∣ ↑↓ ⟩$ sign is chosen, giving

$∣0, 0 ⟩ = \frac{1}{2} (∣ ↑↓ ⟩ - ∣ ↓↑ ⟩) .$

Consistency check: $J_{+} ∣0, 0 ⟩ = 0$ (verify by acting with $J_{+}^{(1)} + J_{+}^{(2)}$ and noting the two contributions cancel), so $∣0, 0 ⟩$ is a highest-weight state of a one-dimensional irreducible, as it must be. The two coefficients are $⟨ 1/2, 1/2; 1/2, - 1/2 ∣ 0, 0 ⟩ = 1/ 2$ and $⟨ 1/2, - 1/2; 1/2, 1/2 ∣ 0, 0 ⟩ = - 1/ 2$ .

Exercise 9 (hard, proof).

Prove that the Clebsch-Gordan coefficient $⟨ j_{1}, m_{1}; j_{2}, m_{2} ∣ J, M ⟩$ vanishes whenever $J < ∣ j_{1} - j_{2} ∣$ or $J > j_{1} + j_{2}$ , given only the dimension-counting argument and the existence of the decomposition.

Hint

Use the multiplicity formula $m_{J} = n_{J} - n_{J + 1}$ from the proof of the Clebsch-Gordan series. For $J$ outside the allowed range, both $n_{J}$ and $n_{J + 1}$ have specific values that force $m_{J} = 0$ .

Answer

The weight multiplicity in $D^{(j_{1})} \otimes D^{(j_{2})}$ at projection $M$ is

$n_{M} = # {(m_{1}, m_{2}) : m_{1} + m_{2} = M, - j_{i} \leq m_{i} \leq j_{i}} .$

For $∣ M ∣ > j_{1} + j_{2}$ , no such pair exists, so $n_{M} = 0$ . The multiplicity of $D^{(J)}$ in the decomposition is $m_{J} = n_{J} - n_{J + 1}$ .

Case 1: $J > j_{1} + j_{2}$ . Then both $n_{J} = 0$ and $n_{J + 1} = 0$ , so $m_{J} = 0$ . The irreducible $D^{(J)}$ does not appear, and any state $∣ J, M ⟩$ for such $J$ does not exist in the tensor product, so the inner product $⟨ j_{1}, m_{1}; j_{2}, m_{2} ∣ J, M ⟩$ vanishes.

Case 2: $J < ∣ j_{1} - j_{2} ∣$ . For all $∣ M ∣ \leq J$ , the weight multiplicity satisfies $n_{M} = 2 min (j_{1}, j_{2}) + 1$ (the constant-multiplicity plateau region near the centre). In particular $n_{J} = n_{J + 1} = 2 min (j_{1}, j_{2}) + 1$ , so $m_{J} = 0$ . Again the irreducible $D^{(J)}$ does not appear.

Therefore both upper and lower bounds on the range of $J$ follow from elementary weight-counting, and the corresponding Clebsch-Gordan coefficients vanish identically. $□$

Advanced results Master

The Racah closed-form for Clebsch-Gordan coefficients

The explicit closed-form expression for any Clebsch-Gordan coefficient, derived by Racah (1942 Phys. Rev. 62, 438) from the ladder recursion in the highest-weight Schwinger-boson representation, is

$⟨ j_{1}, m_{1}; j_{2}, m_{2} ∣ J, M ⟩ = δ_{M, m_{1} + m_{2}} Δ (j_{1}, j_{2}, J) 2 J + 1 R (j_{1}, m_{1}; j_{2}, m_{2}; J, M),$

where $Δ (j_{1}, j_{2}, J)$ is the triangle-coefficient prefactor

$Δ (j_{1}, j_{2}, J) = \frac{( j _{1} + j _{2} - J )! ( j _{1} - j _{2} + J )! ( - j _{1} + j _{2} + J )!}{( j _{1} + j _{2} + J + 1 )!}$

and $R$ is the finite sum

$R = (j_{1} + m_{1})! (j_{1} - m_{1})! (j_{2} + m_{2})! (j_{2} - m_{2})! (J + M)! (J - M)! k \sum \frac{( - 1 ) ^{k}}{k ! D _{k}},$

with $D_{k}$ a product of six factorials including non-negativity-constrained arguments $j_{1} + j_{2} - J - k$ , $j_{1} - m_{1} - k$ , $j_{2} + m_{2} - k$ , $J - j_{2} + m_{1} + k$ , $J - j_{1} - m_{2} + k$ , and $k$ itself. The summation index $k$ runs over all non-negative integers for which every factorial argument is non-negative.

The Racah formula is the canonical algorithmic statement: every Clebsch-Gordan coefficient is a finite alternating sum of products of factorial-square-roots, computable exactly in a few floating-point operations or symbolic-algebra calls. Mathematica's ClebschGordan[{j1,m1},{j2,m2},{J,M}], SAGE's clebsch_gordan(...), and SymPy's analogous function all evaluate this closed form to arbitrary precision.

Wigner 3- $j$ symbols

A more symmetric variant of the Clebsch-Gordan coefficient is the Wigner 3- $j$ symbol, defined by

$(j_{1} m_{1} j_{2} m_{2} J - M) = \frac{( - 1 ) ^{j_{1} - j_{2} + M}}{2 J + 1} ⟨ j_{1}, m_{1}; j_{2}, m_{2} ∣ J, M ⟩ .$

The 3- $j$ symbol vanishes unless $m_{1} + m_{2} + m_{3} = 0$ (with $m_{3} \equiv - M$ ) and the triangle inequality $∣ j_{1} - j_{2} ∣ \leq J \leq j_{1} + j_{2}$ holds. Its enhanced symmetry group has 12 + 12 = 24 elements: even permutations of columns leave the symbol invariant; odd permutations multiply by $(- 1)^{j_{1} + j_{2} + j_{3}}$ ; simultaneous sign-flip of all three $m_{i}$ multiplies by the same factor. This high symmetry makes the 3- $j$ symbol the preferred object in tables and high-precision numerical work.

The 3- $j$ symbols appear directly in the Gaunt integral on $S^{2}$ , in the multipole expansion of nuclear electromagnetic transition amplitudes, and in the angular phase of atomic line strengths.

The Wigner 6- $j$ symbol and recoupling

When three angular momenta combine, the result depends on the order: $(j_{1} \otimes j_{2}) \otimes j_{3}$ and $j_{1} \otimes (j_{2} \otimes j_{3})$ give isomorphic representations, but the intermediate basis states differ. The Wigner 6- $j$ symbol

${j_{1} j_{3} j_{2} J j_{12} j_{23}}$

is the unitary transformation coefficient between the two coupling schemes, introduced by Racah (1943 Phys. Rev. 63, 367) for atomic-spectroscopy applications. It satisfies the Biedenharn-Elliott identity (Biedenharn 1953, Elliott 1953), a five-fold consistency condition that recurs in tensor-category theory as the pentagon equation. The full symmetry group of the 6- $j$ symbol has 144 elements: 24 from tetrahedral symmetry of its argument array and an additional six-fold Regge symmetry (Regge 1959 Nuovo Cimento 11).

The Wigner-Eckart theorem

The deepest single consequence of Clebsch-Gordan technology is the Wigner-Eckart theorem (Wigner 1931, Eckart 1930 Rev. Mod. Phys. 2): for any spherical tensor operator $T_{q}^{(k)}$ transforming as the $q$ -component of an angular-momentum- $k$ multiplet, the matrix element between states $∣ α, j, m ⟩$ and $∣ α^{'}, j^{'}, m^{'} ⟩$ factors as

$⟨ α^{'}, j^{'}, m^{'} ∣ T_{q}^{(k)} ∣ α, j, m ⟩ = ⟨ j, m; k, q ∣ j^{'}, m^{'} ⟩ ⟨ α^{'}, j^{'} ∥ T^{(k)} ∥ α, j ⟩,$

where the second factor is the reduced matrix element, independent of $m$ , $m^{'}$ , $q$ . The first factor is a Clebsch-Gordan coefficient that captures the entire angular dependence. Every matrix element of every spherical tensor operator between angular-momentum eigenstates therefore factorises into a geometric Clebsch-Gordan piece and a dynamical reduced piece. This is the master selection-rule theorem and is developed in full in unit 12.05.04 (forthcoming).

Schwinger boson construction

Schwinger (1952, Harvard report NYO-3071) provided an elegant generating-function representation of all $SU (2)$ irreps using two independent harmonic-oscillator bosons. Let $a_{↑}^{†}, a_{↓}^{†}$ be creation operators with $[a_{σ}, a_{σ^{'}}^{†}] = δ_{σ σ^{'}}$ . Define $J_{+} = a_{↑}^{†} a_{↓}$ , $J_{-} = a_{↓}^{†} a_{↑}$ , $J_{z} = (a_{↑}^{†} a_{↑} - a_{↓}^{†} a_{↓}) /2$ . These satisfy the $su (2)$ commutation relations. The state

$∣ j, m ⟩ = \frac{( a _{↑}^{†} ) ^{j + m} ( a _{↓}^{†} ) ^{j - m}}{( j + m )! ( j - m )!} ∣0 ⟩$

realises the spin- $j$ representation explicitly, and the tensor product of two systems requires four bosons. The Clebsch-Gordan coefficients emerge from polynomial expansion of products of these boson operators on the vacuum. Schwinger's construction underlies the modern boson-fermion correspondence in conformal field theory and the BLG / ABJM constructions in higher-dimensional supersymmetric gauge theories.

Littlewood-Richardson rule for $SU (n)$

For $SU (2)$ the tensor-product decomposition is the simple Clebsch-Gordan series. For $SU (n)$ with $n > 2$ , the analogous statement is the Littlewood-Richardson rule (Littlewood-Richardson 1934 Phil. Trans. R. Soc. A 233, 99-141). Irreducible representations of $SU (n)$ are labelled by Young diagrams (or equivalently, by partitions $λ = (λ_{1}, λ_{2}, \dots, λ_{n - 1})$ with $λ_{1} \geq λ_{2} \geq \dots \geq 0$ ). The tensor product decomposes as

$V_{λ} \otimes V_{μ} ≅ ν ⨁ c_{λ μ}^{ν} V_{ν},$

where the Littlewood-Richardson coefficient $c_{λ μ}^{ν}$ counts skew tableaux of shape $ν / λ$ and content $μ$ satisfying the lattice-word condition. For $SU (2)$ , this reduces to the Clebsch-Gordan rule. For $SU (3)$ , the rule organises the meson and baryon multiplets of the quark model: the pseudoscalar meson octet from $3 \otimes \overset{ˉ}{3} = 8 \oplus 1$ , and the baryon octet and decuplet from $3 \otimes 3 \otimes 3 = 10 \oplus 8 \oplus 8 \oplus 1$ .

Isospin and the nuclear-physics application

Heisenberg (1932 Z. Phys. 77, 1) introduced isospin as a near-symmetry of the strong nuclear force, organising the proton and neutron as the two states of an isospin doublet. The Clebsch-Gordan rules for isospin then organise nuclear states: a deuteron is an isospin-0 singlet of one proton and one neutron, the pion forms an isospin-1 triplet $(π^{+}, π^{0}, π^{-})$ , and nuclear excited-state isospin multiplets in mirror nuclei (e.g., $^{14} C$ , $^{14} N$ , $^{14} O$ ) follow the same arithmetic. Mayer and Jensen's 1949 nuclear shell model (Mayer 1949 Phys. Rev. 75, 1969) used Clebsch-Gordan technology to compute nuclear magic numbers $2, 8, 20, 28, 50, 82, 126$ as the closures of $j$ -shells.

Quark model and the eightfold way

Gell-Mann (1961 Caltech CTSL-20) and independently Ne'eman organised the strongly interacting particles into $SU (3)$ flavour multiplets. The fundamental representation $3$ contains $(u, d, s)$ quarks; the antifundamental $\overset{ˉ}{3}$ contains the antiquarks. The pseudoscalar mesons $(π, K, η)$ form the $8 \oplus 1$ decomposition of $3 \otimes \overset{ˉ}{3}$ ; the baryon octet (proton, neutron, $Λ$ , $Σ$ , $Ξ$ ) and decuplet ( $Δ$ , $Σ^{*}$ , $Ξ^{*}$ , $Ω^{-}$ ) emerge from $3 \otimes 3 \otimes 3 = 10 \oplus 8 \oplus 8 \oplus 1$ . The prediction and subsequent 1964 discovery of the $Ω^{-}$ baryon at exactly the predicted mass was the experimental triumph of this $SU (3)$ -Clebsch-Gordan organisation. Modern Standard-Model electroweak structure $SU (2)_{L} \otimes U (1)_{Y} \to U (1)_{EM}$ uses the same technology.

Quantum information and entanglement

In modern quantum information, the Clebsch-Gordan decomposition organises the entanglement structure of multi-qubit states. The singlet $∣0, 0 ⟩ = (∣01 ⟩ - ∣10 ⟩) / 2$ is one of the four maximally entangled Bell states. The Schmidt decomposition of a bipartite state is the abstract form of the Clebsch-Gordan change of basis. Stochastic-local-operations-and-classical-communication (SLOCC) equivalence classes for $n$ -qubit systems correspond to orbits of $SU (2)^{\otimes n}$ on the tensor space, classified by polynomial invariants computable from Clebsch-Gordan technology. Quantum error-correcting codes such as the five-qubit code and the Shor code rely on the angular-momentum decomposition for their syndrome measurement structure.

Synthesis. The Clebsch-Gordan decomposition is the foundational reason that addition of angular momenta is an algebraic problem with a finite, completely solved answer. The central insight is that the tensor product of two irreducible representations of $SU (2)$ decomposes uniquely into a direct sum of irreducibles, and this is exactly the statement that organises every coupling problem in atomic, nuclear, and particle physics. Putting these together with the Wigner-Eckart factorisation, every matrix element of every rotationally covariant operator between angular-momentum eigenstates splits into a geometric Clebsch-Gordan piece and a dynamical reduced piece. The bridge is between the abstract direct-sum decomposition $D^{(j_{1})} \otimes D^{(j_{2})} = ⨁_{J} D^{(J)}$ and the concrete spectroscopic selection rules, the nuclear-shell magic numbers, and the eightfold-way meson and baryon multiplets.

The pattern generalises in two directions. Vertically, the same construction appears again in 07.06.11 for $sl_{2} (C)$ , in 12.05.01 for the $SU (2)$ ladder algebra, and in the Littlewood-Richardson rule for arbitrary $SU (n)$ , each instance identifying tensor products with sums of irreducibles by an explicit combinatorial formula. Horizontally, the 3- $j$ and 6- $j$ symbols extend to a full system of $3 n$ - $j$ symbols for higher-rank recouplings, with the Biedenharn-Elliott pentagon identity recurring throughout monoidal-category theory as the structural backbone of $6 j$ -symbols in topological quantum field theory and the Turaev-Viro state-sum invariants of three-manifolds.

Full proof set Master

Proposition 1 (orthogonality of Clebsch-Gordan coefficients). For each fixed $(j_{1}, j_{2})$ and each pair $(J, J^{'})$ with $J, J^{'} \in {∣ j_{1} - j_{2} ∣, \dots, j_{1} + j_{2}}$ ,

$m_{1}, m_{2} \sum ⟨ j_{1}, m_{1}; j_{2}, m_{2} ∣ J, M ⟩ ⟨ j_{1}, m_{1}; j_{2}, m_{2} ∣ J^{'}, M^{'} ⟩ = δ_{J J^{'}} δ_{M M^{'}} .$

Proof. The matrix $U$ with rows indexed by $(j_{1}, j_{2}; m_{1}, m_{2})$ and columns by $(J, M)$ with entries $U_{(m_{1}, m_{2}), (J, M)} = ⟨ j_{1}, m_{1}; j_{2}, m_{2} ∣ J, M ⟩$ is by construction the change-of-basis matrix from the product basis ${∣ j_{1}, m_{1} ⟩ \otimes ∣ j_{2}, m_{2} ⟩}$ to the total-angular-momentum basis ${∣ J, M ⟩}$ . Both bases are orthonormal in the Hermitian inner product on $H_{j_{1}} \otimes H_{j_{2}}$ inherited from the tensor product of the two factor inner products. The matrix is therefore unitary: $U^{†} U = U U^{†} = I$ . Since all entries are real in the Condon-Shortley convention, $U^{†} = U^{T}$ , so $U^{T} U = I$ , which is exactly the stated orthogonality relation. The complementary identity (with $(J, M)$ summed rather than $(m_{1}, m_{2})$ ) is $U U^{T} = I$ . $□$

Proposition 2 (ladder consistency). The Clebsch-Gordan coefficient $⟨ j_{1}, m_{1}; j_{2}, m_{2} ∣ J, M ⟩$ is determined uniquely by the recursion

$(J \mp M) (J \pm M + 1) ⟨ j_{1}, m_{1}; j_{2}, m_{2} ∣ J, M \pm 1 ⟩$

$= (j_{1} \mp m_{1} + 1) (j_{1} \pm m_{1}) ⟨ j_{1}, m_{1} \mp 1; j_{2}, m_{2} ∣ J, M ⟩$

$+ (j_{2} \mp m_{2} + 1) (j_{2} \pm m_{2}) ⟨ j_{1}, m_{1}; j_{2}, m_{2} \mp 1 ∣ J, M ⟩$

together with the Condon-Shortley normalisation $⟨ j_{1}, j_{1}; j_{2}, J - j_{1} ∣ J, J ⟩ > 0$ and orthonormality.

Proof. Act with $J_{\pm} = J_{\pm}^{(1)} + J_{\pm}^{(2)}$ on $∣ J, M ⟩$ . Using

$J_{\pm} ∣ J, M ⟩ = ℏ (J \mp M) (J \pm M + 1) ∣ J, M \pm 1 ⟩,$

and expanding both sides in the product basis using the change-of-basis identity, then matching coefficients of $∣ j_{1}, m_{1} ⟩ \otimes ∣ j_{2}, m_{2} ⟩$ on both sides, gives the stated recursion. Starting from the highest-weight state $∣ J, J ⟩$ and applying $J_{-}$ repeatedly determines all $∣ J, M ⟩$ for fixed $J$ ; the orthonormality condition fixes the normalisation of $∣ J, J ⟩$ within each irreducible. Condon-Shortley convention fixes the residual sign of $∣ J, J ⟩$ across different $J$ values. $□$

Proposition 3 (Schwinger-boson realisation). The boson-oscillator operators $J_{+} = a_{↑}^{†} a_{↓}$ , $J_{-} = a_{↓}^{†} a_{↑}$ , $J_{z} = (a_{↑}^{†} a_{↑} - a_{↓}^{†} a_{↓}) /2$ satisfy the $su (2)$ commutation relations, and the state $∣ j, m ⟩ = (a_{↑}^{†})^{j + m} (a_{↓}^{†})^{j - m} ∣0 ⟩ / (j + m)! (j - m)!$ realises the spin- $j$ irreducible representation.

Proof. Direct computation using $[a_{σ}, a_{σ^{'}}^{†}] = δ_{σ σ^{'}}$ :

$[J_{+}, J_{-}] = [a_{↑}^{†} a_{↓}, a_{↓}^{†} a_{↑}] = a_{↑}^{†} a_{↑} - a_{↓}^{†} a_{↓} = 2 J_{z},$

$[J_{z}, J_{\pm}] = \pm J_{\pm} (by direct expansion of the commutator).$

These are the standard $su (2)$ relations. The state $∣ j, m ⟩$ is an eigenstate of $J_{z}$ with eigenvalue $(j + m - (j - m)) /2 = m$ , and an eigenstate of $J^{2} = J_{z}^{2} + (J_{+} J_{-} + J_{-} J_{+}) /2$ with eigenvalue $j (j + 1)$ — verified by acting with $J^{2}$ on $∣ j, j ⟩$ and using $J_{+} ∣ j, j ⟩ = 0$ together with $J_{-} ∣ j, j ⟩ = 2 j ∣ j, j - 1 ⟩$ . The state $∣ j, j ⟩ = (a_{↑}^{†})^{2 j} ∣0 ⟩ / (2 j)!$ is annihilated by $J_{+}$ and is therefore the highest-weight vector. Repeated action of $J_{-}$ generates $∣ j, j - 1 ⟩, ∣ j, j - 2 ⟩, \dots, ∣ j, - j ⟩$ , exhausting the $(2 j + 1)$ -dimensional irreducible. $□$

Connections Master

Angular momentum operators (SU(2)) 12.05.01. The direct prerequisite. The irreducible representations $D^{(j)}$ used here as the factors of the tensor product are exactly the integer- and half-integer-spin irreducibles classified in 12.05.01 via the ladder algebra. The ladder recursion for Clebsch-Gordan coefficients re-uses the action of $J_{\pm}$ developed there.
Spherical harmonics and Legendre polynomials 12.05.02. Provides the function-space realisation of the integer- $ℓ$ irreducibles via $Y_{ℓ}^{m}$ on $S^{2}$ . The product $Y_{ℓ_{1}}^{m_{1}} (\overset{r}{^}) Y_{ℓ_{2}}^{m_{2}} (\overset{r}{^})$ expands in spherical harmonics via Clebsch-Gordan, producing the Gaunt coefficients that drive atomic dipole and multipole transition selection rules.
Hilbert space formalism 12.02.01. The functional-analytic prerequisite. The tensor product $H_{j_{1}} \otimes H_{j_{2}}$ with its inner product and direct-sum decomposition relies on the Hilbert-space machinery developed there, including the basic theorems on orthonormal bases and unitary transformations.
Representations of $sl_{2} (C)$ 07.06.11. The abstract group-theoretic prerequisite. The decomposition $D^{(j_{1})} \otimes D^{(j_{2})} = ⨁ D^{(J)}$ proved here is exactly the Clebsch-Gordan series for the complexified Lie algebra $sl_{2} (C)$ , and the highest-weight construction reflects the standard $(E, F, H)$ analysis of irreducibles. The Schwinger boson construction is a concrete realisation of the universal enveloping algebra modulo the spin- $j$ relations.
Hydrogen atom bound states 12.06.01. The downstream atomic-physics application. The fine-structure splitting of hydrogen levels into $j = ℓ + 1/2$ and $j = ℓ - 1/2$ sublevels follows from the addition of orbital angular momentum $ℓ$ and spin $1/2$ via the Clebsch-Gordan series, with the splitting energy determined by the spin-orbit coupling matrix element computed through the Wigner-Eckart theorem.
Identical particles and many-body wavefunctions 12.09.01. The downstream statistical-mechanics application. The symmetric / antisymmetric distinction between triplet and singlet states of two spin-one-half particles connects directly to the Pauli exclusion principle for fermions: for two electrons in the same spatial orbital, only the antisymmetric singlet combination is allowed, while for two electrons in different orbitals all four combinations are admissible if the spatial wavefunction's symmetry is correspondingly adjusted.

Historical and philosophical context Master

The arithmetic of angular-momentum coupling has nineteenth-century roots in pure algebra. Clebsch (1872) ^{[Clebsch 1872]}, in his treatise Theorie der binären algebraischen Formen, studied the formal product structure of binary algebraic forms, which in modern language are precisely the irreducible representations $D^{(j)}$ of $SL (2, C)$ . Gordan (1875) ^{[Gordan 1875]} extended this analysis to the decomposition of products of binary forms into irreducible factors, establishing what we now call the Clebsch-Gordan series — at the time, purely a statement about invariant theory.

The transfer to quantum mechanics required the recognition that angular momentum carries an $SU (2)$ representation structure. Wigner (1931) ^{[Wigner 1931]}, in his monograph Gruppentheorie und ihre Anwendung auf die Quantenmechanik der Atomspektren, identified the integer-spin representations of $SO (3)$ with the irreducible factors of $SU (2) / Z_{2}$ and applied Clebsch-Gordan decomposition to atomic-spectroscopy multiplet structure. The terminology Clebsch-Gordan coefficient in the quantum-mechanics sense is due to Wigner's reinterpretation of the classical invariant-theoretic objects as quantum-state expansion amplitudes.

Racah (1942-1949) ^{[Racah 1942]} developed the practical machinery for atomic-spectroscopy computation through a four-paper series in Phys. Rev. (vols. 61, 62, 63, 76). The 1942 second paper introduced the closed-form Racah formula for Clebsch-Gordan coefficients as alternating finite sums of factorial-square-root products. The 1943 third paper introduced the 6- $j$ symbol and the recoupling identity for triple angular-momentum products. Racah's algebraic technology made detailed term-structure calculations for $f$ -shell rare-earth ions practical for the first time, transforming theoretical atomic physics into a quantitative discipline matching the precision of contemporaneous experimental spectroscopy.

Schwinger (1952) ^{[Schwinger 1952]}, in the unpublished Harvard report NYO-3071 on angular momentum, introduced the two-boson realisation of $SU (2)$ that bears his name. Schwinger's generating-function approach unified the computation of arbitrary Clebsch-Gordan coefficients, 3- $j$ symbols, 6- $j$ symbols, and higher recoupling coefficients within a single algebraic framework. The unpublished report circulated as an underground classic through the 1950s and was widely used at MIT, Harvard, and Princeton before its eventual republication in collected-papers volumes.

The link to representation theory of $SU (n)$ for $n > 2$ via Young tableaux and Schur-Weyl duality was made by Littlewood and Richardson (1934) ^{[Littlewood Richardson 1934]} in Phil. Trans. Roy. Soc. A 233, 99-141. Their combinatorial rule for the tensor-product decomposition of irreducible $GL (n)$ representations specialises to the Clebsch-Gordan series for $SU (2)$ and provides the universal generalisation to higher-rank classical groups. Modern textbook treatments include Fulton-Harris (1991), Edmonds (1957) ^{[Edmonds 1957]} for the angular-momentum-physics perspective, and Varshalovich, Moskalev, and Khersonskii (1988) ^{[Varshalovich Moskalev Khersonskii 1988]} for the comprehensive encyclopaedia of tables and symmetries.

The physical applications branched along three parallel lines through the twentieth century. Heisenberg's 1932 introduction of isospin ^{[Heisenberg 1932]} applied $SU (2)$ structure to the proton-neutron near-degeneracy, extending the Clebsch-Gordan machinery from the rotation group to internal symmetries of the strong force. Mayer and Jensen's 1949 nuclear shell model ^{[Mayer 1949]} used the same technology to compute nuclear ground-state angular momenta and magic numbers. Gell-Mann's 1961 eightfold way ^{[Gell-Mann 1961]} organised hadrons into $SU (3)$ -flavour multiplets via the Littlewood-Richardson extension of the Clebsch-Gordan rules, predicting the $Ω^{-}$ baryon discovered in 1964 at Brookhaven. The Standard Model electroweak symmetry $SU (2)_{L} \otimes U (1)_{Y}$ is the modern descendant of all three lines, embedding rotation-group representation theory within the gauge-symmetry organisation of fundamental physics.

Bibliography Master

@book{Clebsch1872,
  author = {Clebsch, Alfred},
  title = {Theorie der binären algebraischen Formen},
  publisher = {Teubner},
  address = {Leipzig},
  year = {1872},
}

@article{Gordan1875,
  author = {Gordan, Paul},
  title = {Über das {F}ormensystem binärer {F}ormen},
  journal = {Mathematische Annalen},
  volume = {9},
  pages = {192-194},
  year = {1875},
}

@book{Wigner1931,
  author = {Wigner, Eugene P.},
  title = {Gruppentheorie und ihre {A}nwendung auf die {Q}uantenmechanik der {A}tomspektren},
  publisher = {Vieweg},
  address = {Braunschweig},
  year = {1931},
}

@article{Racah1942,
  author = {Racah, Giulio},
  title = {Theory of complex spectra. {II}},
  journal = {Physical Review},
  volume = {62},
  pages = {438-462},
  year = {1942},
}

@article{Racah1943,
  author = {Racah, Giulio},
  title = {Theory of complex spectra. {III}},
  journal = {Physical Review},
  volume = {63},
  pages = {367-382},
  year = {1943},
}

@techreport{Schwinger1952,
  author = {Schwinger, Julian},
  title = {On Angular Momentum},
  institution = {Harvard University},
  number = {NYO-3071},
  year = {1952},
}

@book{Edmonds1957,
  author = {Edmonds, A. R.},
  title = {Angular Momentum in Quantum Mechanics},
  publisher = {Princeton University Press},
  year = {1957},
}

@article{LittlewoodRichardson1934,
  author = {Littlewood, D. E. and Richardson, A. R.},
  title = {Group characters and algebra},
  journal = {Philosophical Transactions of the Royal Society A},
  volume = {233},
  pages = {99-141},
  year = {1934},
}

@article{Heisenberg1932,
  author = {Heisenberg, Werner},
  title = {Über den {B}au der {A}tomkerne. {I}},
  journal = {Zeitschrift für Physik},
  volume = {77},
  pages = {1-11},
  year = {1932},
}

@article{Mayer1949,
  author = {Mayer, Maria Goeppert},
  title = {On closed shells in nuclei},
  journal = {Physical Review},
  volume = {75},
  pages = {1969-1970},
  year = {1949},
}

@techreport{GellMann1961,
  author = {Gell-Mann, Murray},
  title = {The eightfold way: a theory of strong interaction symmetry},
  institution = {California Institute of Technology},
  number = {CTSL-20},
  year = {1961},
}

@book{SakuraiNapolitano2017,
  author = {Sakurai, J. J. and Napolitano, J.},
  title = {Modern Quantum Mechanics},
  edition = {3},
  publisher = {Cambridge University Press},
  year = {2017},
}

@book{LandauLifshitzQM,
  author = {Landau, L. D. and Lifshitz, E. M.},
  title = {Quantum Mechanics: Non-Relativistic Theory},
  edition = {3},
  publisher = {Pergamon Press},
  year = {1977},
}

@book{Varshalovich1988,
  author = {Varshalovich, D. A. and Moskalev, A. N. and Khersonskii, V. K.},
  title = {Quantum Theory of Angular Momentum},
  publisher = {World Scientific},
  year = {1988},
}

@book{Shankar1994,
  author = {Shankar, R.},
  title = {Principles of Quantum Mechanics},
  edition = {2},
  publisher = {Plenum Press},
  year = {1994},
}

@book{GriffithsSchroeter2018,
  author = {Griffiths, David J. and Schroeter, Darrell F.},
  title = {Introduction to Quantum Mechanics},
  edition = {3},
  publisher = {Cambridge University Press},
  year = {2018},
}

@book{FultonHarris1991,
  author = {Fulton, William and Harris, Joe},
  title = {Representation Theory: A First Course},
  series = {Graduate Texts in Mathematics},
  volume = {129},
  publisher = {Springer},
  year = {1991},
}

@article{Regge1959,
  author = {Regge, Tullio},
  title = {Symmetry properties of {C}lebsch-{G}ordan's coefficients},
  journal = {Nuovo Cimento},
  volume = {11},
  pages = {116-117},
  year = {1959},
}

@article{Eckart1930,
  author = {Eckart, Carl},
  title = {The application of group theory to the quantum dynamics of monatomic systems},
  journal = {Reviews of Modern Physics},
  volume = {2},
  pages = {305-380},
  year = {1930},
}

Prerequisites

12.05.01
12.05.02
12.02.01
07.06.11

Tier anchors

beginner: Griffiths & Schroeter, Introduction to Quantum Mechanics, 3e (Cambridge, 2018), §4.4; 3Blue1Brown spin-coupling animations
intermediate: Griffiths & Schroeter, Introduction to Quantum Mechanics, 3e (2018), §4.4; Shankar, Principles of Quantum Mechanics, 2e (Plenum, 1994), §15
master: Sakurai & Napolitano, Modern Quantum Mechanics, 3e (Cambridge, 2017), §3.8; Landau & Lifshitz, Quantum Mechanics, 3e (Pergamon, 1977), §31; Edmonds, Angular Momentum in Quantum Mechanics (Princeton UP, 1957), §3; Varshalovich, Moskalev & Khersonskii, Quantum Theory of Angular Momentum (World Scientific, 1988), §8

References

Clebsch — Theorie der binären algebraischen Formen · Teubner, Leipzig 1872
Gordan — Über das Formensystem binärer Formen · Math. Ann. 9 (1875), 192-194
Wigner — Gruppentheorie und ihre Anwendung auf die Quantenmechanik der Atomspektren · Vieweg, Braunschweig 1931
Racah — Theory of complex spectra. II · Phys. Rev. 62 (1942), 438-462
Racah — Theory of complex spectra. III · Phys. Rev. 63 (1943), 367-382
Schwinger — On Angular Momentum · Harvard report NYO-3071, 1952
Edmonds — Angular Momentum in Quantum Mechanics · Princeton UP, 1957, §3
Littlewood and Richardson — Group characters and algebra · Phil. Trans. R. Soc. A 233 (1934), 99-141
Heisenberg — Über den Bau der Atomkerne. I · Z. Phys. 77 (1932), 1-11
Mayer — On closed shells in nuclei · Phys. Rev. 75 (1949), 1969-1970
Gell-Mann — The eightfold way: a theory of strong interaction symmetry · Caltech report CTSL-20, 1961
Varshalovich, Moskalev & Khersonskii — Quantum Theory of Angular Momentum · World Scientific 1988, §8
Sakurai & Napolitano — Modern Quantum Mechanics, 3e (Cambridge, 2017) · §3.8

Estimated time

beginner: 18m
intermediate: 45m
master: 70m

Intuition Beginner

Visual Beginner

Worked example Beginner

Check your understanding Beginner

Formal definition Intermediate+

Counterexamples to common slips

Key theorem with proof Intermediate+

Exercises Intermediate+

Advanced results Master

The Racah closed-form for Clebsch-Gordan coefficients

Wigner 3-j symbols

The Wigner 6-j symbol and recoupling

The Wigner-Eckart theorem

Schwinger boson construction

Littlewood-Richardson rule for SU(n)

Isospin and the nuclear-physics application

Quark model and the eightfold way

Quantum information and entanglement

Full proof set Master

Connections Master

Historical and philosophical context Master

Bibliography Master

Wigner 3- $j$ symbols

The Wigner 6- $j$ symbol and recoupling

Littlewood-Richardson rule for $SU (n)$