|q⟩ Bad Qubits

intermediate · Physics · Addition of Angular Momenta

Allowed Total-J Values

The range of allowed totals

When two angular momenta j1j_1 and j2j_2 combine, the total quantum number jj does not take a single value. It ranges over

j{j1j2,  j1j2+1,  ,  j1+j2},j \in \{\, |j_1 - j_2|,\; |j_1 - j_2| + 1,\; \ldots,\; j_1 + j_2 \,\},

stepping by one. This is the triangle rule: jj, j1j_1, and j2j_2 must be able to form the sides of a (possibly degenerate) triangle. The maximum, j1+j2j_1 + j_2, is the stretched case of maximally aligned momenta; the minimum, j1j2|j_1 - j_2|, is the maximally anti-aligned case.

Why the maximum is j1+j2j_1 + j_2

The largest possible zz-projection is mmax=j1+j2m_{\max} = j_1 + j_2, achieved by the single uncoupled state j1,j1;j2,j2|j_1, j_1; j_2, j_2\rangle. A state of total jj has projections up to m=jm = j, so the largest total present is exactly j=j1+j2j = j_1 + j_2. Lowering this stretched state generates the full j1+j2j_1 + j_2 multiplet. The remaining states reorganize into successively smaller jj, each new family appearing because the multiplicity of a given mm in the uncoupled basis exceeds the number already accounted for.

Dimension counting as a check

The reorganization cannot create or destroy states, so the multiplet sizes must add up to the dimension of the combined space:

j=j1j2j1+j2(2j+1)=(2j1+1)(2j2+1).\sum_{j=|j_1-j_2|}^{j_1+j_2} (2j+1) = (2j_1+1)(2j_2+1).

This identity is a reliable sanity check on any addition problem. For two spin-12\tfrac12, the right side is 22=42\cdot2 = 4, and the left side is (21+1)+(20+1)=3+1=4(2\cdot1+1) + (2\cdot0+1) = 3 + 1 = 4 — the triplet plus the singlet, as we found directly.

Worked example: j1=1, j2=12j_1 = 1,\ j_2 = \tfrac12

This is the coupling of an orbital pp-state to a spin-12\tfrac12 electron. The allowed totals are

j=112,  ,  1+12=12, 32.j = \big|1 - \tfrac12\big|,\; \ldots,\; 1 + \tfrac12 = \tfrac12,\ \tfrac32 .

The multiplets have sizes 212+1=22\cdot\tfrac12+1 = 2 and 232+1=42\cdot\tfrac32+1 = 4, summing to 66, which matches (21+1)(212+1)=32=6(2\cdot1+1)(2\cdot\tfrac12+1) = 3\cdot2 = 6.

Try it

This is a numerical exercise — your code should return a number. For j1=1j_1 = 1, j2=12j_2 = \tfrac12, loop over the allowed jj values, sum the multiplet sizes 2j+12j+1, and return the total. Confirm it equals the uncoupled-space dimension.

Run your code to see the quantum state.

Sign in on the full site to ask questions and join the discussion.