Wigner-Eckart Theorem: Simplifying Matrix Elements

In our previous lesson, we developed the machinery to combine angular momenta, culminating in the ability to calculate Clebsch-Gordan coefficients. These coefficients form the bridge between the uncoupled tensor product basis and the physically significant coupled basis of total angular momentum. Today, we will see one of the most profound consequences of this formalism: the Wigner-Eckart theorem.

This theorem provides an exceptionally powerful tool for calculating matrix elements, which are at the heart of nearly all predictive calculations in quantum mechanics, from transition rates in atomic physics to interaction cross-sections in particle physics. Its central insight is that the symmetry of a system dictates a vast amount of its physical behavior, often in a surprisingly simple way. The theorem allows us to separate the "geometrical" aspects of a matrix element, which are universal and dictated by rotation symmetry, from the "physical" or dynamical aspects, which depend on the specifics of the forces and wavefunctions involved.

To see the value of this, consider the two approaches for calculating the matrix elements of an operator $P^$ shown in the following diagram.

This flowchart contrasts the direct, "elementary" method of calculating matrix elements with the more strategic Wigner-Eckart approach. The elementary method requires repeated, often complex, integration for every set of quantum numbers. The Wigner-Eckart theorem streamlines this by leveraging symmetry, reducing the problem to a single calculation combined with tabulated coefficients.

Our goal in this lesson is to understand and apply the Wigner-Eckart approach. This involves defining the specific class of operators for which the theorem holds—spherical tensor operators—stating the theorem, understanding its proof, and applying it to simplify calculations and derive physical selection rules.

Spherical Tensor Operators

The Wigner-Eckart theorem applies to a special class of operators known as irreducible tensor operators, or more commonly, spherical tensor operators. The concept arises naturally when we consider how operators transform under rotations. Just as we can decompose a vector space into irreducible subspaces, we can decompose the space of operators.

The video below provides an excellent motivation for this concept, starting from the more familiar Cartesian tensors and showing how they decompose into objects that transform irreducibly under rotations, leading naturally to the idea of spherical tensors.

Proving The Wigner-Eckart Theorem | Quantum Mechanics

This segment from the video "Proving The Wigner-Eckart Theorem" by Dietterich Labs introduces the concept of spherical tensors.

Please watch the first part of the video, from the beginning to 5:27. The key idea is that a simple tensor product of vectors (a rank-2 Cartesian tensor) is reducible. It can be broken down into a scalar (rank-0), an antisymmetric tensor (which behaves like a vector, rank-1), and a symmetric traceless tensor (rank-2). These components do not mix under rotation and correspond to irreducible representations of SO(3), labeled by an integer k (or L).

This decomposition motivates the formal definition of a spherical tensor operator.

Definition: A set of $2 k + 1$ operators $T_{q}^{k}$ , where $q = - k, - k + 1, \dots, k$ , is called a spherical tensor operator of rank $k$ if its components transform under a rotation $U$ according to:

U (R) T_{q}^{k} U (R)^{†} = q^{'} = - k \sum k T_{q^{'}}^{k} D_{q^{'} q}^{k} (R)

Here, $D_{q^{'} q}^{k} (R)$ are the matrix elements of the Wigner D-matrix for the spin- $k$ representation of the rotation group. This definition simply states that the components of a spherical tensor operator transform among themselves exactly like the spherical harmonics $Y_{k q}$ or the angular momentum eigenstates $∣ k, q ⟩$ .

For practical purposes, an equivalent definition based on commutation relations with the angular momentum operators $J$ is often more useful. A set of operators $T_{q}^{k}$ forms a spherical tensor of rank $k$ if they satisfy:

[J_{z}, T_{q}^{k}] [J_{\pm}, T_{q}^{k}] = ℏ q T_{q}^{k} = ℏ k (k + 1) - q (q \pm 1) T_{q \pm 1}^{k}

These relations are fundamental. They show that $J_{z}$ measures the "magnetic quantum number" $q$ of the operator component, while $J_{\pm}$ act as raising and lowering operators for the $q$ index of the operator itself.

Let's look at some examples from the Berkeley course notes by Robert G. Littlejohn.

[PDF] The Wigner-Eckart Theorem - University of California, Berkeley

These notes provide a rigorous definition of irreducible tensor operators and give key examples.

Please read the section "Examples of Irreducible Tensor Operators". This will show you two primary examples: Rank 0 (Scalar): An operator T_0^0 is a scalar if it is invariant under rotation, meaning it commutes with \vec{J}. The Hamiltonian of an isolated system, H, is a prime example. Rank 1 (Vector): A vector operator \vec{V} = (V_x, V_y, V_z) can be re-expressed in a spherical basis to form the components of a rank-1 tensor T_q^1: T_{+1}^1 = -\frac{V_x + iV_y}{\sqrt{2}}, \quad T_0^1 = V_z, \quad T_{-1}^1 = \frac{V_x - iV_y}{\sqrt{2}} Common examples include the position \vec{r}, momentum \vec{p}, and angular momentum \vec{J} operators themselves.

Any operator relevant to a physical system with rotational symmetry can be decomposed into a sum of such spherical tensor operators.

Statement and Proof of the Theorem

Now we are ready to state the theorem. It concerns matrix elements of spherical tensor operators between angular momentum eigenstates.

The Wigner-Eckart Theorem: The matrix element of a component $T_{q}^{k}$ of a spherical tensor operator of rank $k$ between angular momentum eigenstates $∣ γ^{'} j^{'} m^{'} ⟩$ and $∣ γ j m ⟩$ is given by:

⟨ γ^{'} j^{'} m^{'} ∣ T_{q}^{k} ∣ γ j m ⟩ = ⟨ j^{'}, m^{'} ∣ j, m; k, q ⟩ \frac{⟨ γ ^{'} j ^{'} ∣∣ T ^{k} ∣∣ γ j ⟩}{2 j ^{'} + 1}

Let's break this down:

The states are labeled by angular momentum quantum numbers $j, m$ and other quantum numbers $γ$ (like principal quantum number $n$ , etc.) needed to specify the state.
$⟨ j^{'}, m^{'} ∣ j, m; k, q ⟩$ is the Clebsch-Gordan coefficient for coupling angular momenta $j$ and $k$ to get a total angular momentum $j^{'}$ . This term contains all the dependence on the "orientational" quantum numbers $m, m^{'}, q$ . It is purely determined by the geometry of rotations (i.e., the group theory of SU(2)) and is independent of the particular operator or states involved.
$⟨ γ^{'} j^{'} ∣∣ T^{k} ∣∣ γ j ⟩$ is the reduced matrix element. This quantity is independent of $m, m^{'}, q$ . It contains all the "physical" dynamics, depending on the operator $T^{k}$ and the radial wavefunctions or other properties of the states, encapsulated by $γ, j, γ^{'}, j^{'}$ .
The factor $1/ 2 j^{'} + 1$ is a convention. Some authors, like in the Berkeley notes, absorb it into the definition of the reduced matrix element. The form above is common in many modern texts, including Sakurai, and is related to a more symmetric formulation using Wigner 3-j symbols. The key is to be consistent.

The theorem's power lies in this separation. The complicated physics is isolated in one number, the reduced matrix element. The entire geometric dependence is captured by a universal, tabulated coefficient.

Wigner–Eckart Theorem | Clebsch-Gordan & Spherical Tensor Operators

This video from Pretty Much Physics gives a very clear, intuitive explanation of this separation of geometry from physics.

Please watch from this section. It will reinforce the central message of the theorem.

The Proof

Given your background, you'll appreciate the elegance of the proof. The most intuitive proof relies on the commutation relations for tensor operators and the recursion relations for Clebsch-Gordan coefficients we encountered in the previous lesson. The logic is that since the matrix elements of $T_{q}^{k}$ and the CG coefficients obey the same recursion relations with respect to the magnetic quantum numbers, they must be proportional.

The following video provides a concise and rigorous derivation based on this idea.

Proving The Wigner-Eckart Theorem | Quantum Mechanics

The second half of the "Proving The Wigner-Eckart Theorem" video provides the complete proof.

Please watch from 15:25 to the end. The argument proceeds as follows: Recap of CG Recurrence: The video first re-derives the recurrence relation for Clebsch-Gordan coefficients that arises from applying J_{\pm}. Matrix Element Recurrence: It then takes the matrix element of the commutator [J_{\pm}, T_q^k]. By expanding the commutator and evaluating the action of J_{\pm} on the states, it derives a recurrence relation for the matrix elements \langle j'm' | T_q^k | jm \rangle. Proportionality: It shows that this recurrence relation is mathematically identical to the one for the CG coefficients. In linear algebra terms, both sets of numbers are solutions to the same system of linear homogeneous equations. Therefore, they must be proportional. The Proportionality Constant: This constant of proportionality, which by construction must be independent of m, m', q, is defined as the reduced matrix element.

Applications of the Theorem

Knowing the proof is important, but using the theorem is the goal. Its applications are vast.

1. Selection Rules

The most immediate and powerful application is in determining selection rules. A matrix element is non-zero only if the corresponding Clebsch-Gordan coefficient is non-zero. This immediately gives us two universal rules for an operator $T_{q}^{k}$ , completely for free:

Magnetic Quantum Number Conservation:
$m^{'} = m + q$
Triangular Inequality: The angular momenta $j, k, j^{'}$ must satisfy the triangle inequality:
$∣ j - k ∣ \leq j^{'} \leq j + k$

Any transition for which these rules are not satisfied is "forbidden" by rotational symmetry.

Furthermore, if the system has parity symmetry, we have an additional rule. Let $π_{i}, π_{f}, π_{o p}$ be the parities of the initial state, final state, and operator, respectively. The matrix element is non-zero only if:

π_{f} π_{o p} π_{i} = + 1

For a vector operator like position $r$ , $π_{o p} = - 1$ , leading to the familiar rule that electric dipole transitions must involve a change in parity. For an axial vector like angular momentum $J$ , $π_{o p} = + 1$ , so transitions do not change parity.

2. The Projection Theorem: A Special Case

A particularly important application concerns matrix elements of a vector operator $V$ within a single multiplet (i.e., where $j^{'} = j$ ). The projection theorem states that within this multiplet, the matrix elements of $V$ are proportional to the matrix elements of the angular momentum operator $J$ itself.

⟨ γ j m^{'} ∣ V ∣ γ j m ⟩ = \frac{⟨ γ j ∣∣ V \cdot J ∣∣ γ j ⟩}{j ( j + 1 ) ℏ ^{2}} ⟨ γ j m^{'} ∣ J ∣ γ j m ⟩

The proportionality constant can be found by taking the dot product with $J$ and evaluating the expectation value. This theorem is extremely useful. For instance, it is the key to deriving the Landé g-factor in the theory of the Zeeman effect, which describes the splitting of atomic energy levels in a magnetic field. The document from Suzuki provides a good derivation of this.

Wigner-Eckart theorem

This document contains several useful applications. The derivation of the Landé g-factor is a classic example of the projection theorem in action.

Please read Section 17, "Landè g-factor". It shows how the magnetic moment operator \vec{\mu}, which is a vector operator, can be projected onto the total angular momentum \vec{J} to find its expectation value, leading directly to the famous formula for g_J.

3. Practical Calculation Strategy

The theorem revolutionizes practical calculations. To find all $(2 j + 1) (2 k + 1)$ matrix elements $⟨ γ^{'} j^{'} m^{'} ∣ T_{q}^{k} ∣ γ j m ⟩$ for fixed $γ, j, γ^{'}, j^{'}$ , you follow this procedure:

Calculate One Element: Pick the easiest possible non-zero case for $m, m^{'}, q$ . A common choice is the "stretched" case where the quantum numbers are maximal. Perform the explicit integration for this one case.
Find the Reduced Element: Look up the corresponding Clebsch-Gordan coefficient $⟨ j^{'}, m^{'} ∣ j, m; k, q ⟩$ . Use the Wigner-Eckart formula to solve for the reduced matrix element $⟨ γ^{'} j^{'} ∣∣ T^{k} ∣∣ γ j ⟩$ .
Find All Other Elements: Now that you have the reduced matrix element, you can instantly find any other matrix element for different $m, m^{'}, q$ by just plugging in the appropriate (tabulated) Clebsch-Gordan coefficient.

The following video demonstrates this exact process for a hydrogen atom transition.

Wigner–Eckart Theorem | Clebsch-Gordan & Spherical Tensor Operators

The second half of the Pretty Much Physics video on the Wigner-Eckart theorem provides a concrete example calculation.

Please watch the rest of the video, from 4:27 to the end. Pay attention to how a single integral calculation for m=0, m'=0, q=0 is used to determine the reduced matrix element, which then allows for the calculation of matrix elements for all other m values without any further integration. The video also discusses the different conventions you might encounter.

Conclusion

The Wigner-Eckart theorem is a cornerstone of symmetry methods in quantum physics. It formalizes the intuitive idea that rotational symmetry imposes strong constraints on the matrix elements of physical operators.

Key Takeaways:

The theorem applies to spherical tensor operators, which are sets of operators that transform under rotations according to an irreducible representation of SO(3).
It separates the geometry from the physics: a matrix element is factored into a universal Clebsch-Gordan coefficient (geometry) and a system-dependent reduced matrix element (physics).
Its most immediate consequences are powerful selection rules ( $m^{'} = m + q$ and the triangle inequality) that dictate which transitions are allowed or forbidden.
It dramatically reduces computational effort. Instead of numerous tedious integrals, one only needs to calculate a single non-zero matrix element to determine the reduced matrix element, after which all related matrix elements are found via tabulated coefficients.
The projection theorem is a vital special case that justifies, for example, the form of the Landé g-factor in atomic physics.

You now possess one of the most powerful labor-saving devices in the quantum physicist's toolkit. In our next lesson, we will apply this SU(2) symmetry framework to a new domain: the classification of elementary particles. We will see how the proton and neutron can be viewed as two states of a single entity, the "nucleon," forming an SU(2) doublet, a concept known as isospin.

Recommended resources