Skip to content

Wigner Symbols Quick Reference

This page is a compact reference for Wigner 3j3j, 6j6j, and 9j9j symbols. Use it to identify which symbol belongs in a calculation, check selection rules, and avoid importing signs from the wrong convention.

For the conceptual treatment, use Recoupling and Wigner Symbols. For a table-style summary, use Wigner Symbols. For the representation-theory formulation, use Wigner 3j, 6j, and 9j Symbols.

SymbolWhat it answersTypical use
3j3jHow a two-angular-momentum coupling is written in symmetric notationClebsch–Gordan conversion, tensor operators, angular integrals
6j6jHow two coupling orders for three angular momenta are relatedrecoupling, spin–orbit and hyperfine matrix elements, intermediate-coupling bases
9j9jHow two binary pairings of four angular momenta are relatedmulti-particle angular momentum, atomic and nuclear recoupling

These symbols are kinematic angular-momentum coefficients. They do not by themselves determine energies, rates, or dynamics.

This volume uses the Condon–Shortley convention unless a page explicitly declares otherwise. The 3j3j relation to Clebsch–Gordan coefficients is

⟨j1,m1;j2,m2∣J,M⟩=(−1)j1−j2+M2J+1(j1j2Jm1m2−M).\langle j_1,m_1;j_2,m_2\vert J,M\rangle = (-1)^{j_1-j_2+M} \sqrt{2J+1} \begin{pmatrix} j_1&j_2&J\\ m_1&m_2&-M \end{pmatrix}.

Equivalently,

(j1j2Jm1m2−M)=(−1)j1−j2+M2J+1⟨j1,m1;j2,m2∣J,M⟩.\begin{pmatrix} j_1&j_2&J\\ m_1&m_2&-M \end{pmatrix} = \frac{ (-1)^{j_1-j_2+M} }{\sqrt{2J+1}} \langle j_1,m_1;j_2,m_2\vert J,M\rangle.

The phase factor is part of the convention. Dropping it is the most common way to turn a correct table lookup into a wrong coefficient.

A 3j3j symbol is written

(j1j2j3m1m2m3).\begin{pmatrix} j_1&j_2&j_3\\ m_1&m_2&m_3 \end{pmatrix}.

It vanishes unless all of the following are satisfied:

m1+m2+m3=0,m_1+m_2+m_3=0, ∣j1−j2∣≤j3≤j1+j2,\lvert j_1-j_2\rvert \leq j_3 \leq j_1+j_2,

with cyclic variants of the triangle condition, and

∣mi∣≤ji,j1+j2+j3∈Z.\lvert m_i\rvert\leq j_i, \qquad j_1+j_2+j_3\in\mathbb Z.

A useful special case is

(jj0m−m0)=(−1)j−m2j+1.\begin{pmatrix} j&j&0\\ m&-m&0 \end{pmatrix} = \frac{(-1)^{j-m}}{\sqrt{2j+1}}.

Selection rules are necessary conditions. They are not a guarantee that an allowed-looking symbol is nonzero.

A 6j6j symbol changes the coupling order for three angular momenta. The two bases

∣(j1j2)j12,j3;JM⟩\left\lvert (j_1j_2)j_{12},j_3;JM \right\rangle

and

∣j1,(j2j3)j23;JM⟩\left\lvert j_1,(j_2j_3)j_{23};JM \right\rangle

are related by

∣(j1j2)j12,j3;JM⟩=∑j23(−1)j1+j2+j3+J(2j12+1)(2j23+1)×{j1j2j12j3Jj23}∣j1,(j2j3)j23;JM⟩.\begin{aligned} & \left\lvert (j_1j_2)j_{12},j_3;JM \right\rangle \\ &= \sum_{j_{23}} (-1)^{j_1+j_2+j_3+J} \sqrt{(2j_{12}+1)(2j_{23}+1)} \\ &\quad\times \left\{ \begin{array}{ccc} j_1&j_2&j_{12}\\ j_3&J&j_{23} \end{array} \right\} \left\lvert j_1,(j_2j_3)j_{23};JM \right\rangle. \end{aligned}

The 6j6j symbol is independent of MM. It depends only on the angular-momentum labels because it compares two ways of organizing the same total-JJ irreducible space.

For

{j1j2j12j3Jj23},\left\{ \begin{array}{ccc} j_1&j_2&j_{12}\\ j_3&J&j_{23} \end{array} \right\},

the necessary triangular triples are

(j1,j2,j12),(j12,j3,J),(j2,j3,j23),(j1,j23,J).(j_1,j_2,j_{12}), \quad (j_{12},j_3,J), \quad (j_2,j_3,j_{23}), \quad (j_1,j_{23},J).

A 9j9j symbol compares two binary coupling schemes for four angular momenta. One common relation is

⟨(j1j2)j12,(j3j4)j34;J∣(j1j3)j13,(j2j4)j24;J⟩=(2j12+1)(2j34+1)(2j13+1)(2j24+1)×{j1j2j12j3j4j34j13j24J}.\begin{aligned} & \left\langle (j_1j_2)j_{12},(j_3j_4)j_{34};J \right. \\ &\quad \left. \vert (j_1j_3)j_{13},(j_2j_4)j_{24};J \right\rangle \\ &= \sqrt{ (2j_{12}+1)(2j_{34}+1) (2j_{13}+1)(2j_{24}+1) } \\ &\quad\times \left\{ \begin{array}{ccc} j_1&j_2&j_{12}\\ j_3&j_4&j_{34}\\ j_{13}&j_{24}&J \end{array} \right\}. \end{aligned}

For a 9j9j symbol, rows and columns encode allowed triangular couplings in the displayed pairing scheme. A 9j9j symbol is often compact, but two successive 6j6j recouplings may be clearer in a derivation.

The Wigner–Eckart theorem commonly uses a 3j3j symbol:

⟨j′m′∣Tq(k)∣jm⟩=(−1)j′−m′(j′kj−m′qm)⟨j′∥T(k)∥j⟩.\langle j' m'\vert T_q^{(k)}\vert j m\rangle = (-1)^{j'-m'} \begin{pmatrix} j'&k&j\\ -m'&q&m \end{pmatrix} \langle j'\lVert T^{(k)}\rVert j\rangle.

This form separates magnetic quantum-number algebra from the reduced matrix element. When the state has several coupled angular momenta and the operator acts on one part of the system, 6j6j symbols often appear because one must recouple to expose the angular momentum being acted on.

Use Irreducible Spherical Tensors for tensor conventions and Wigner–Eckart Theorem for the theorem.

  1. Write the physical coupling scheme in words.
  2. Add parentheses to show the actual order of coupling.
  3. Decide whether the problem is a two-body coefficient, a three-body recoupling, or a four-body pairing change.
  4. Apply magnetic and triangle zero tests before using a table.
  5. Check the phase convention and ordering of entries.
  6. Insert the symbol only after the basis convention is fixed.

The workflow matters because the same numbers in a different order can represent a different recoupling problem.

TaskBest starting page
Convert between Clebsch–Gordan and 3j3j notationClebsch–Gordan Quick Reference
Understand recoupling conceptuallyRecoupling and Wigner Symbols
Check Wigner symbol selection rulesWigner Symbols
Use Wigner symbols as representation coefficientsWigner 3j, 6j, and 9j Symbols
Apply tensor-operator matrix elementsWigner–Eckart Theorem
Work with rotation matricesWigner D-Matrices
  • Treating a 3j3j symbol as numerically identical to a Clebsch–Gordan coefficient.
  • Forgetting the phase factor in the 3j3j conversion formula.
  • Reading a 6j6j or 9j9j entry without first specifying the coupling scheme.
  • Assuming selection rules are sufficient for nonzero values.
  • Mixing Condon–Shortley conventions from one table with different state phases from another.
  • Expecting 6j6j and 9j9j symbols to depend on MM.
  • Using a compact 9j9j expression when the calculation would be clearer as two 6j6j recouplings.
  • A. R. Edmonds, Angular Momentum in Quantum Mechanics, Princeton University Press, 1957.
  • D. A. Varshalovich, A. N. Moskalev, and V. K. Khersonskii, Quantum Theory of Angular Momentum, World Scientific, 1988.
  • D. M. Brink and G. R. Satchler, Angular Momentum, 3rd ed., Oxford University Press, 1993.
  • E. P. Wigner, Group Theory and Its Application to the Quantum Mechanics of Atomic Spectra, Academic Press, 1959.
  • R. N. Zare, Angular Momentum: Understanding Spatial Aspects in Chemistry and Physics, Wiley, 1988.
  1. Why must
(111101)\begin{pmatrix} 1&1&1\\ 1&0&1 \end{pmatrix}

vanish?

Solution

The lower labels of a 3j3j symbol must sum to zero. Here

1+0+1=2,1+0+1=2,

so the symbol vanishes.

  1. Which symbol changes from ∣(j1j2)j12,j3;JM⟩\left\lvert(j_1j_2)j_{12},j_3;JM\right\rangle to ∣j1,(j2j3)j23;JM⟩\left\lvert j_1,(j_2j_3)j_{23};JM\right\rangle?
Solution

This is a change of coupling order for three angular momenta, so the natural object is a Wigner 6j6j symbol:

{j1j2j12j3Jj23}.\left\{ \begin{array}{ccc} j_1&j_2&j_{12}\\ j_3&J&j_{23} \end{array} \right\}.
  1. Why do 6j6j symbols not depend on MM?
Solution

A 6j6j symbol compares two ways of coupling the same angular momenta to the same total JJ. Rotational symmetry makes the recoupling coefficient the same for every member of the M=−J,…,JM=-J,\ldots,J multiplet. The dependence on magnetic labels is already handled by Clebsch–Gordan coefficients or 3j3j symbols.