Skip to content

Wigner–Eckart Theorem

The Wigner–Eckart theorem separates every matrix element of an irreducible spherical tensor into

  • a universal angular coefficient fixed by j,m,k,q,j′,m′j,m,k,q,j',m';
  • one reduced matrix element containing radial, dynamical, and internal-state information.

Let α\alpha and α′\alpha' collect all labels other than angular momentum. In the convention used throughout this card,

⟨α′,j′,m′∣Tq(k)∣α,j,m⟩=(−1)j′−m′(j′kj−m′qm)⟨α′,j′∥T(k)∥α,j⟩.\begin{aligned} &\langle\alpha',j',m'\rvert T_q^{(k)} \lvert\alpha,j,m\rangle \\ &\qquad= (-1)^{j'-m'} \begin{pmatrix} j'&k&j\\ -m'&q&m \end{pmatrix} \langle\alpha',j'\lVert T^{(k)}\rVert\alpha,j\rangle. \end{aligned}

Equivalently,

⟨α′,j′,m′∣Tq(k)∣α,j,m⟩=⟨j,m;k,q∣j′,m′⟩2j′+1⟨α′,j′∥T(k)∥α,j⟩.\begin{aligned} &\langle\alpha',j',m'\rvert T_q^{(k)} \lvert\alpha,j,m\rangle \\ &\qquad= \frac{ \langle j,m;k,q\vert j',m'\rangle }{ \sqrt{2j'+1} } \langle\alpha',j'\lVert T^{(k)}\rVert\alpha,j\rangle. \end{aligned}

The theorem and its representation-theoretic meaning are developed at Wigner–Eckart Theorem. This card fixes conventions and organizes direct calculations.

The reduced matrix element in this card is defined by the two displayed equations. Other books may absorb 2j+1\sqrt{2j+1} or 2j′+1\sqrt{2j'+1} into the double-bar quantity. Never compare reduced matrix elements by symbol alone; compare the defining equation.

An irreducible spherical tensor of rank kk has

q=−k,−k+1,…,kq=-k,-k+1,\ldots,k

and satisfies

[Jz,Tq(k)]=ℏqTq(k),[J_z,T_q^{(k)}] = \hbar qT_q^{(k)}, [J±,Tq(k)]=ℏk(k+1)−q(q±1)Tq±1(k).[J_\pm,T_q^{(k)}] = \hbar \sqrt{k(k+1)-q(q\pm1)} T_{q\pm1}^{(k)}.

For a Cartesian vector V\mathbf V, the spherical-component convention is

V0=Vz,V±1=∓Vx±iVy2.V_0=V_z, \qquad V_{\pm1} = \mp\frac{V_x\pm iV_y}{\sqrt2}.

Changing the spherical-component phases requires corresponding changes in coefficient tables and reduced matrix elements.

TaskFormula or rule
Factor a matrix elementangular coefficient times reduced matrix element
Magnetic rulem′=m+qm'=m+q
Triangle rule∣j−k∣≤j′≤j+k\lvert j-k\rvert\le j'\le j+k
Tensor componentsq=−k,…,kq=-k,\ldots,k
Extract the reduced elementmultiply by 2j′+1\sqrt{2j'+1} and divide by a nonzero Clebsch–Gordan coefficient
Scalar specializationk=0k=0 implies j′=jj'=j and m′=mm'=m
Vector specializationk=1k=1 permits j′=j−1,j,j+1j'=j-1,j,j+1 subject to valid labels

Rotational permission is necessary, not sufficient. Parity, exchange symmetry, additional conserved charges, and zeros of the reduced matrix element can still eliminate an angularly allowed amplitude.

The Clebsch–Gordan or 3j3j coefficient vanishes unless

m′=m+qm'=m+q

and

∣j−k∣≤j′≤j+k.\lvert j-k\rvert \le j' \le j+k.

The labels must also satisfy

∣m∣≤j,∣m′∣≤j′,∣q∣≤k,\lvert m\rvert\le j, \qquad \lvert m'\rvert\le j', \qquad \lvert q\rvert\le k,

and the angular momenta must have consistent integer or half-integer parity so that j+k+j′j+k+j' is an integer.

The full decision sequence is:

  1. identify the irreducible rank kk and component qq of the physical operator;
  2. apply the magnetic and triangle rules;
  3. apply parity and other discrete-symmetry rules;
  4. check spectator labels and identical-particle constraints;
  5. evaluate or import the reduced matrix element;
  6. remember that an allowed reduced matrix element may vanish dynamically.

An “allowed transition” means not forced to zero by the stated rules. It does not mean large, observable, or resonant.

The double-bar quantity

⟨α′,j′∥T(k)∥α,j⟩\langle\alpha',j'\lVert T^{(k)}\rVert\alpha,j\rangle

is independent of m,m′m,m', and qq. It can still depend on

  • j,j′j,j' and the additional labels α,α′\alpha,\alpha';
  • the normalization and physical definition of T(k)T^{(k)};
  • radial wavefunctions, coupling constants, charges, and model parameters;
  • phase and reduced-matrix-element conventions.

If one nonzero ordinary matrix element is known, then

⟨α′,j′∥T(k)∥α,j⟩=2j′+1⟨α′,j′,m′∣Tq(k)∣α,j,m⟩⟨j,m;k,q∣j′,m′⟩,\begin{aligned} &\langle\alpha',j'\lVert T^{(k)}\rVert\alpha,j\rangle \\ &\qquad= \sqrt{2j'+1} \frac{ \langle\alpha',j',m'\rvert T_q^{(k)} \lvert\alpha,j,m\rangle }{ \langle j,m;k,q\vert j',m'\rangle }, \end{aligned}

provided the denominator is nonzero. Once extracted, the same reduced element generates every magnetic-sublevel amplitude between those two multiplets.

For two allowed amplitudes sharing the same reduced element,

⟨j′m1′∣Tq1(k)∣jm1⟩⟨j′m2′∣Tq2(k)∣jm2⟩=⟨j,m1;k,q1∣j′,m1′⟩⟨j,m2;k,q2∣j′,m2′⟩.\frac{ \langle j'm_1'\rvert T_{q_1}^{(k)}\lvert jm_1\rangle }{ \langle j'm_2'\rvert T_{q_2}^{(k)}\lvert jm_2\rangle } = \frac{ \langle j,m_1;k,q_1\vert j',m_1'\rangle }{ \langle j,m_2;k,q_2\vert j',m_2'\rangle }.

Thus relative sublevel amplitudes and line strengths can often be obtained without computing any radial integral.

Clebsch–Gordan orthogonality implies, for fixed j′,m′j',m',

∑m,q∣⟨α′,j′,m′∣Tq(k)∣α,j,m⟩∣2=∣⟨α′,j′∥T(k)∥α,j⟩∣22j′+1.\begin{aligned} &\sum_{m,q} \left\lvert \langle\alpha',j',m'\rvert T_q^{(k)} \lvert\alpha,j,m\rangle \right\rvert^2 \\ &\qquad= \frac{ \left\lvert \langle\alpha',j'\lVert T^{(k)}\rVert\alpha,j\rangle \right\rvert^2 }{2j'+1}. \end{aligned}

Summing over the final magnetic sublevel as well gives

∑m,m′,q∣⟨α′,j′,m′∣Tq(k)∣α,j,m⟩∣2=∣⟨α′,j′∥T(k)∥α,j⟩∣2.\begin{aligned} &\sum_{m,m',q} \left\lvert \langle\alpha',j',m'\rvert T_q^{(k)} \lvert\alpha,j,m\rangle \right\rvert^2 \\ &\qquad= \left\lvert \langle\alpha',j'\lVert T^{(k)}\rVert\alpha,j\rangle \right\rvert^2. \end{aligned}

Therefore an average over the 2j+12j+1 initial magnetic substates, with a sum over all final substates and tensor components, is

12j+1∣⟨α′,j′∥T(k)∥α,j⟩∣2.\frac{1}{2j+1} \left\lvert \langle\alpha',j'\lVert T^{(k)}\rVert\alpha,j\rangle \right\rvert^2.

These identities are convention dependent through the normalization of the reduced element, but they are exact for the convention fixed here. Real experimental line strengths may include field polarization, populations, frequency factors, density of states, and unresolved degeneracies in addition to this angular sum.

For a spherical tensor built from a Hermitian physical observable, the components commonly satisfy

(Tq(k))†=(−1)qT−q(k).\left(T_q^{(k)}\right)^\dagger = (-1)^qT_{-q}^{(k)}.

In the present convention, the reduced matrix elements then obey

⟨α′,j′∥T(k)∥α,j⟩=(−1)j′−j[⟨α,j∥T(k)∥α′,j′⟩]∗.\begin{aligned} &\langle\alpha',j'\lVert T^{(k)}\rVert\alpha,j\rangle \\ &\qquad= (-1)^{j'-j} \left[ \langle\alpha,j\lVert T^{(k)}\rVert\alpha',j'\rangle \right]^*. \end{aligned}

This is a reciprocity check, not permission to discard complex conjugation. If the tensor is not Hermitian or the component convention differs, use the adjoint tensor explicitly.

For k=0k=0, only q=0q=0 exists. The triangle and magnetic rules force

j′=j,m′=m.j'=j, \qquad m'=m.

The Clebsch–Gordan coefficient is

⟨j,m;0,0∣j,m⟩=1,\langle j,m;0,0\vert j,m\rangle=1,

so

⟨α′,j,m∣T0(0)∣α,j,m⟩=⟨α′,j∥T(0)∥α,j⟩2j+1.\langle\alpha',j,m\rvert T_0^{(0)} \lvert\alpha,j,m\rangle = \frac{ \langle\alpha',j\lVert T^{(0)}\rVert\alpha,j\rangle }{ \sqrt{2j+1} }.

The ordinary matrix element is independent of mm. A scalar may still mix additional labels α\alpha and α′\alpha' when no other symmetry forbids it.

For the identity operator within one jj multiplet,

⟨j∥I(0)∥j⟩=2j+1.\langle j\lVert I^{(0)}\rVert j\rangle = \sqrt{2j+1}.

A vector is a rank-11 tensor with q=−1,0,1q=-1,0,1. Rotations permit

j′=j−1,j,j+1j'=j-1, j, j+1

when those values are nonnegative and satisfy the triangle rule. In particular, a rank-11 operator cannot connect j=0j=0 to j′=0j'=0.

For the angular-momentum operator itself,

⟨j∥J(1)∥j⟩=ℏj(j+1)(2j+1).\langle j\lVert J^{(1)}\rVert j\rangle = \hbar \sqrt{j(j+1)(2j+1)}.

Using

⟨j,m;1,0∣j,m⟩=mj(j+1),\langle j,m;1,0\vert j,m\rangle = \frac{m}{\sqrt{j(j+1)}},

the theorem recovers

⟨j,m∣J0∣j,m⟩=ℏm.\langle j,m\rvert J_0\lvert j,m\rangle = \hbar m.

For a transition from j=0,m=0j=0,m=0 through a vector component,

⟨α′,1,m′∣Tq(1)∣α,0,0⟩=δm′q3⟨α′,1∥T(1)∥α,0⟩.\begin{aligned} &\langle\alpha',1,m'\rvert T_q^{(1)} \lvert\alpha,0,0\rangle \\ &\qquad= \frac{\delta_{m'q}}{\sqrt3} \langle\alpha',1\lVert T^{(1)}\rVert\alpha,0\rangle. \end{aligned}

Each spherical component feeds the matching final magnetic sublevel.

Rotational rank does not determine parity. If the initial and final states have parities π\pi and π′\pi' and the tensor has parity πT\pi_T, a nonzero matrix element requires

π′=πTπ.\pi'=\pi_T\pi.

For electric multipoles of order LL, the operator parity is (−1)L(-1)^L; for magnetic multipoles it is (−1)L+1(-1)^{L+1}. These statements assume the standard electromagnetic multipole definitions.

For an electric dipole, k=1k=1 and the operator is odd. Applied to central- potential orbital states, rotations alone permit ℓ′=ℓ−1,ℓ,ℓ+1\ell' = \ell-1,\ell,\ell+1, while parity removes ℓ′=ℓ\ell'=\ell. The combined rule is

Δℓ=±1.\Delta\ell=\pm1.

Use Parity Selection Rules and Dipole Transitions for the full physical assumptions.

When T(k)T^{(k)} acts on one factor of a coupled state, the reduced matrix element between total-JJ states can be expressed through a subsystem reduced matrix element and a Wigner 6j6j symbol. The exact phase and square-root factors depend on which factor is acted on and on the coupling order.

Do not improvise this recoupling formula from memory. Fix the basis as ∣(j1j2)JM⟩\lvert(j_1j_2)JM\rangle, state which subsystem carries the tensor, and use a convention-matched 6j6j formula from Recoupling and Wigner Symbols or the Wigner Symbols Table.

  1. Verify that the operator has been decomposed into irreducible spherical tensors and record the V±1V_{\pm1} phase convention.
  2. Record all state labels, including spectator labels α,α′\alpha,\alpha'.
  3. Apply m′=m+qm'=m+q and the triangle rule before looking up any coefficient.
  4. Apply parity, exchange, and additional symmetry rules separately.
  5. Choose either the 3j3j or Clebsch–Gordan form and stay in one convention.
  6. Obtain one reduced matrix element from dynamics, a radial integral, data, or a convention-matched table.
  7. Generate the remaining magnetic-sublevel amplitudes algebraically.
  8. Check a normalization or line-strength sum when many components are used.
  • Applying the theorem before showing that the operator is an irreducible spherical tensor.
  • Mixing reduced-matrix-element normalizations from different books.
  • Forgetting the factor 1/2j′+11/\sqrt{2j'+1} in this convention.
  • Treating the reduced matrix element as independent of j,j′j,j' or of the physical operator.
  • Forgetting m′=m+qm'=m+q or the triangle condition.
  • Assuming a rotationally allowed amplitude must be nonzero or large.
  • Treating parity selection rules as part of the theorem rather than a separate symmetry constraint.
  • Confusing Cartesian vector components with spherical components.
  • Omitting complex conjugation in Hermitian reciprocity.
  • Using a subsystem recoupling formula without fixing factor order and 6j6j convention.
  • E. P. Wigner, Group Theory and Its Application to the Quantum Mechanics of Atomic Spectra, Academic Press, 1959.
  • 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.
  • R. N. Zare, Angular Momentum: Understanding Spatial Aspects in Chemistry and Physics, Wiley, 1988.
  1. Specialize the theorem to a scalar operator and recover its reduced matrix element from one diagonal magnetic-sublevel matrix element.
Solution

For k=0k=0, q=0q=0, the triangle rule gives j′=jj'=j and the magnetic rule gives m′=mm'=m. Since

⟨j,m;0,0∣j,m⟩=1,\langle j,m;0,0\vert j,m\rangle=1,

the theorem becomes

⟨α′,j,m∣T0(0)∣α,j,m⟩=⟨α′,j∥T(0)∥α,j⟩2j+1.\langle\alpha',j,m\rvert T_0^{(0)}\lvert\alpha,j,m\rangle = \frac{ \langle\alpha',j\lVert T^{(0)}\rVert\alpha,j\rangle }{\sqrt{2j+1}}.

Therefore

⟨α′,j∥T(0)∥α,j⟩=2j+1⟨α′,j,m∣T0(0)∣α,j,m⟩.\langle\alpha',j\lVert T^{(0)}\rVert\alpha,j\rangle = \sqrt{2j+1} \langle\alpha',j,m\rvert T_0^{(0)}\lvert\alpha,j,m\rangle.

The right-hand side is independent of the chosen mm.

  1. A rank-22 component has q=−1q=-1 and acts on an initial j=1/2j=1/2 state. List the rotationally allowed final j′j' values and the magnetic change.
Solution

The triangle rule gives

∣12−2∣≤j′≤12+2,\left\lvert\frac12-2\right\rvert \le j'\le \frac12+2,

so

j′=32,52.j'=\frac32,\frac52.

The component label gives

m′=m−1.m'=m-1.

For a specific initial mm, one must still check that the resulting m′m' lies inside the selected final multiplet.

  1. A vector operator connects j=1/2,m=1/2j=1/2,m=1/2 to the j′=3/2j'=3/2 multiplet. Compare the squared angular factors for q=+1q=+1 and q=0q=0.
Solution

The relevant coefficients are

⟨12,12;1,1|32,32⟩=1\left\langle \frac12,\frac12;1,1 \middle\vert \frac32,\frac32 \right\rangle =1

and

⟨12,12;1,0|32,12⟩=23.\left\langle \frac12,\frac12;1,0 \middle\vert \frac32,\frac12 \right\rangle = \sqrt{\frac23}.

The common reduced element and the common factor 1/2j′+11/\sqrt{2j'+1} cancel in the ratio. Therefore the squared angular factors are in the ratio

1:23=3:2.1:\frac23 = 3:2.

This ratio is purely angular; an observed intensity ratio may contain additional polarization and population factors.

  1. Explain why the electric-dipole orbital rule is Δℓ=±1\Delta\ell=\pm1, even though rank one alone also permits Δℓ=0\Delta\ell=0.
Solution

Rank one gives the triangle possibilities

ℓ′=ℓ−1,ℓ,ℓ+1.\ell'=\ell-1,\ell,\ell+1.

The electric-dipole operator is odd under parity, while a central-potential orbital state has parity (−1)ℓ(-1)^\ell. A nonzero dipole matrix element therefore requires opposite initial and final parity. The case ℓ′=ℓ\ell'=\ell has the same parity and is removed. The remaining possibilities are

Δℓ=±1.\Delta\ell=\pm1.