Coupled and Uncoupled Bases

The previous article built the numbers; this one builds the decision. A composite angular-momentum system owns two natural bookkeepings: the uncoupled basis $|j_1 m_1\rangle|j_2 m_2\rangle$ , where each subsystem's $z$ -projection is sharp, and the coupled basis $|J M\rangle$ , where the total magnitude and total projection are sharp. Addition of Angular Momenta stated, in one line, that the change between them is unitary and block-diagonal. This article owns that theory: why the two label sets are genuinely incompatible (a computed commutator, $[\hat{J}^2,\hat{J}_{1z}]\neq0$ , is the whole story), why the transformation is a real orthogonal matrix built from Clebsch-Gordan coefficients, and how completeness runs both ways. Then the physics question: which basis should you use? The answer is a decision rule, not a taste: diagonalize your Hamiltonian's coupling term. An interaction proportional to $\hat{J}_1\!\cdot\!\hat{J}_2$ — spin-orbit forces, the hyperfine contact term behind the 21 cm line — is diagonal in the coupled basis and a mess in the uncoupled one. Independent external handles on each subsystem — a strong field addressing each moment separately — favor the uncoupled labels, and the crossover between the regimes (Paschen-Back territory) is precisely a fight between the two bookkeepings. The mechanics run on the previous article's tables, consumed here as the entries of an explicit $6\times6$ orthogonal matrix you can audit. Nothing about the state space changes when you switch basis — only which questions have sharp answers. Learning to hop fluently between the two is the practical skill this chapter's applications all assume.

Key takeaways

Two complete orthonormal bases for $\mathcal{H}_{j_1}\otimes\mathcal{H}_{j_2}$ : uncoupled $\{|j_1 m_1\rangle|j_2 m_2\rangle\}$ (CSCO: $\hat{J}_1^2,\hat{J}_2^2,\hat{J}_{1z},\hat{J}_{2z}$ ) and coupled $\{|J M\rangle\}$ (CSCO: $\hat{J}_1^2,\hat{J}_2^2,\hat{J}^2,\hat{J}_z$ ).
They are genuinely different because $[\hat{J}^2,\hat{J}_{1z}]=2i\hbar(\hat{\mathbf{J}}_1\times\hat{\mathbf{J}}_2)_z\neq0$ — you cannot sharpen $J$ and $m_1$ simultaneously.
The change of basis is the CG matrix: real, orthogonal, block-diagonal in $M$ (and connecting each $M$ -block's $J$ -ladders); both completeness insertions follow.
Operators transform too: $\hat{A}\to U^{\mathsf T}\hat{A}U$ — $\hat{J}^2$ is dense in the uncoupled basis and diagonal in the coupled one (verified on the $6\times6$ case).
Decision rule: interactions $\propto\hat{J}_1\!\cdot\!\hat{J}_2$ ⇒ coupled; independent single-subsystem couplings dominate ⇒ uncoupled; intermediate fields ⇒ diagonalize (the Paschen-Back crossover).
Only the stretched corner states $|j_1 j_1\rangle|j_2 j_2\rangle=|J_{\max}J_{\max}\rangle$ live in both bases at once.
Key idea: same space, two incompatible label sets — the CG matrix is the dictionary, and the Hamiltonian decides which dialect nature is speaking.

The core insight

The uncoupled and coupled bases are two orthonormal eigenbases of the same $(2j_1{+}1)(2j_2{+}1)$ -dimensional space, tied to two different CSCOs that fail to commute with each other ( $[\hat{J}^2,\hat{J}_{1z}]\neq0$ ); Clebsch-Gordan coefficients form the real orthogonal matrix translating between them, and the physically right basis is the one that diagonalizes the Hamiltonian's coupling structure.

Where this lives today

Every NMR pulse sequence is a basis-change exercise: nuclear spins couple to each other ( $J$ -coupling — diagonal coupled) while radio-frequency pulses address them individually (diagonal uncoupled), and pulse design is choreography between the two schemes. Atomic clocks live on hyperfine coupled states — the caesium standard's two clock levels are $F=3$ and $F=4$ ladders of a $\tfrac72\otimes\tfrac12$ coupling. And in quantum information, the coupled basis of many spins builds decoherence-free subspaces: collective noise couples to total $\hat{\mathbf{J}}$ , so information stored in the multiplicity labels within a fixed- $J$ sector rides out the noise — a technology whose blueprint is precisely the block structure of the CG matrix.

The physical picture

Think of the composite system as a filing cabinet with a fixed number of folders — $(2j_1+1)(2j_2+1)$ of them, and that number never changes. The uncoupled scheme files by individual labels: "subsystem 1 points this much up, subsystem 2 that much up." The coupled scheme files by collective labels: "the whole thing has magnitude $J$ and projection $M$ ." Same folders, two filing systems — and the CG matrix is the concordance that tells you which collective folder overlaps which individual ones, and by how much.

Figure

Two filing systems for the same six states of 1 ⊗ ½

Why can't one filing system do both jobs? Because the two label sets are incompatible in the precise, commutator sense of The Commutator and Compatible Observables. The total magnitude $\hat{J}^2$ contains the cross term $2\hat{\mathbf{J}}_1\!\cdot\!\hat{\mathbf{J}}_2$ , and that term churns the individual projections: measuring "how long is the total vector" requires interference between different $(m_1,m_2)$ cells. Only the stretched corners escape — there the diagonal has one cell, nothing to interfere with, and both filing systems agree.

Figure

Why the labels fight: J² contains a cross term that moves m₁

Two CSCOs, one space

Run the CSCO algorithm of Complete Sets of Commuting Observables on the composite system. Both candidate sets start from the peaceful pair $\hat{J}_1^2,\hat{J}_2^2$ (which commute with everything built from the two momenta) and then split:

\text{uncoupled: } \{\hat{J}_1^2,\hat{J}_2^2,\hat{J}_{1z},\hat{J}_{2z}\} \qquad\longleftrightarrow\qquad \text{coupled: } \{\hat{J}_1^2,\hat{J}_2^2,\hat{J}^2,\hat{J}_z\} \qquad (1)

where: each set is internally commuting and complete — its joint eigenvalues label a basis with no leftover degeneracy. The two sets are mutually incompatible through exactly one clash, which this article's verifier computes explicitly on $\tfrac12\otimes\tfrac12$ and $1\otimes\tfrac12$ :

[\hat{J}^2,\hat{J}_{1z}] \;=\; 2i\hbar\,(\hat{\mathbf{J}}_1\times\hat{\mathbf{J}}_2)_z \;\neq\;0 \qquad (2)

where: the cross-product operator on the right is built from the flip-flop combination $\hat{J}_{1+}\hat{J}_{2-}-\hat{J}_{1-}\hat{J}_{2+}$ : the cross term in $\hat{J}^2$ trades projection between the subsystems, so a state with sharp total $J$ cannot generally have sharp $m_1$ . Addition of Angular Momenta exhibited this same incompatibility as a $2\hbar$ -scale commutator norm; the fresh face here is the matrix element $\langle\uparrow\downarrow|\hat{J}^2|\downarrow\uparrow\rangle=\hbar^2$ — the operator caught red-handed hopping between cells of the $M=0$ diagonal.

Derivation AThe clash commutator, computed from the cross term

We derive equation (2), the single commutator that forces two bases to exist. The strategy is to expand $\hat{J}^2$ so that everything peaceful cancels and only the cross term remains, then evaluate that term against $\hat{J}_{1z}$ using the subsystem algebra of Angular Momentum Commutation Relations — consumed, never re-proved. Watch which ingredients commute for structural reasons (different subsystems) versus algebraic ones (Casimir property): confusing the two is how sign errors enter.

Step 1. Expand: $\hat{J}^2=\hat{J}_1^2+\hat{J}_2^2+2\hat{\mathbf{J}}_1\!\cdot\!\hat{\mathbf{J}}_2$ . The Casimir pieces drop immediately: $[\hat{J}_1^2,\hat{J}_{1z}]=0$ (Casimir card of the algebra article) and $[\hat{J}_2^2,\hat{J}_{1z}]=0$ (different subsystems commute — structural). What survives is $[\hat{J}^2,\hat{J}_{1z}]=2[\hat{\mathbf{J}}_1\!\cdot\!\hat{\mathbf{J}}_2,\hat{J}_{1z}]$ .

Step 2. Open the dot product: $\hat{\mathbf{J}}_1\!\cdot\!\hat{\mathbf{J}}_2=\hat{J}_{1x}\hat{J}_{2x}+\hat{J}_{1y}\hat{J}_{2y}+\hat{J}_{1z}\hat{J}_{2z}$ . Every $\hat{J}_2$ factor commutes with $\hat{J}_{1z}$ , so the commutator lands only on the $\hat{J}_1$ factors: $[\hat{J}_{1x},\hat{J}_{1z}]=-i\hbar\hat{J}_{1y}$ and $[\hat{J}_{1y},\hat{J}_{1z}]=+i\hbar\hat{J}_{1x}$ (the defining algebra, cited).

Step 3. Collect: $[\hat{\mathbf{J}}_1\!\cdot\!\hat{\mathbf{J}}_2,\hat{J}_{1z}]=-i\hbar\hat{J}_{1y}\hat{J}_{2x}+i\hbar\hat{J}_{1x}\hat{J}_{2y}=i\hbar(\hat{\mathbf{J}}_1\times\hat{\mathbf{J}}_2)_z$ . Doubling gives equation (2): $[\hat{J}^2,\hat{J}_{1z}]=2i\hbar(\hat{\mathbf{J}}_1\times\hat{\mathbf{J}}_2)_z$ . Why the answer is a cross product: the dot product is rotation-invariant only under simultaneous rotation of both vectors; rotating subsystem 1 alone (which is what $\hat{J}_{1z}$ generates) shears the relative orientation, and the rate of shear is geometrically the cross product. The commutator is the algebra remembering that fact. *Why it kills a joint basis but spares $M$ : the total $\hat{J}_z=\hat{J}_{1z}+\hat{J}_{2z}$ adds the matching commutator with $1\leftrightarrow2$ , and $(\hat{\mathbf{J}}_1\times\hat{\mathbf{J}}_2)_z+(\hat{\mathbf{J}}_2\times\hat{\mathbf{J}}_1)_z=0$ — the shears cancel pairwise. Rotating both subsystems together preserves the dot product, so $M$ survives as a shared label. Verified: equation (2) checked as an exact matrix identity on $\tfrac12\otimes\tfrac12$ and $1\otimes\tfrac12$ (commutator norm nonzero, equality to $2i\hbar(\hat{\mathbf{J}}_1\times\hat{\mathbf{J}}_2)_z$ to $10^{-13}$ ); the hopping element $\langle\uparrow\downarrow|\hat{J}^2|\downarrow\uparrow\rangle=\hbar^2$ exact (article verifier).*

Note what is shared: $\hat{J}_z=\hat{J}_{1z}+\hat{J}_{2z}$ commutes with both sets, which is why $M$ appears as a good label in both schemes and the CG matrix is block-diagonal in $M$ . And the corner states are shared outright: the flip-flop term annihilates $|j_1 j_1\rangle|j_2 j_2\rangle$ (nowhere left to raise), so the stretched state is a joint eigenvector of both CSCOs — the unique folder filed identically in both systems.

The transformation and its unitarity

Stack the CG coefficients of the previous article (consumed here — none re-derived) into a matrix $U$ with uncoupled rows and coupled columns:

U_{(m_1 m_2),(J M)} \;=\; \langle j_1 m_1; j_2 m_2|J\,M\rangle \qquad (3)

where: the $M$ -selection rule makes $U$ block-diagonal when rows and columns are sorted by $M$ : each $M$ -block is a small square matrix connecting the diagonal's cells to the $J$ -ladders passing through that $M$ . For $1\otimes\tfrac12$ , $U$ is $6\times6$ with blocks of size $1,2,2,1$ .

Go deeper · Derivation B · 1 minUnitarity and the two completeness insertions

Derivation BUnitarity and the two completeness insertions

We prove that $U$ is a real orthogonal matrix — $U^{\mathsf T}U=UU^{\mathsf T}=\mathbb{1}$ — and read off both completeness relations. The strategy is disarmingly general: any matrix whose columns are the components of one orthonormal basis in another orthonormal basis is unitary, and Condon-Shortley reality upgrades unitary to orthogonal. What is worth deriving carefully is what each of the two orthogonality directions says, because they are used differently in practice.

Step 1. Columns are orthonormal. Column $(J,M)$ of $U$ holds the components of $|J M\rangle$ in the product basis. Compute the inner product of two columns using orthonormality of the product basis: $\sum_{m_1m_2}U_{(m_1m_2),(JM)}U_{(m_1m_2),(J'M')}=\langle J'M'|JM\rangle=\delta_{JJ'}\delta_{MM'}$ . That is $U^{\mathsf T}U=\mathbb{1}$ — and it is exactly the first orthogonality relation of the CG article, now read as matrix algebra.

Step 2. Count. There are $(2j_1{+}1)(2j_2{+}1)$ rows and $\sum_J(2J{+}1)$ columns, and the dimension theorem (verified symbolically: the sum telescopes to $(2j_1{+}1)(2j_2{+}1)$ ) says the matrix is square. A square matrix with orthonormal columns automatically has orthonormal rows: $UU^{\mathsf T}=\mathbb{1}$ . Why the count is the crux: orthonormal columns alone make $U$ an isometry; only squareness makes it invertible both ways. The dimension theorem — each $J$ exactly once — is what guarantees the coupled basis is complete, not merely orthonormal. If some $J$ appeared twice or were missing, one of the two completeness insertions below would fail.

Step 3. Read off the two insertions. $U^{\mathsf T}U=\mathbb{1}$ expands to $\sum_{m_1m_2}|j_1m_1;j_2m_2\rangle\langle j_1m_1;j_2m_2|=\mathbb{1}$ sandwiched between coupled states — completeness of the product basis. $UU^{\mathsf T}=\mathbb{1}$ is completeness of the coupled basis, $\sum_{JM}|JM\rangle\langle JM|=\mathbb{1}$ , in coefficient form. Insert whichever identity converts your problem to the basis where the operator at hand is diagonal.

Step 4. Operators ride along: $\hat{A}^{\text{coupled}}=U^{\mathsf T}\hat{A}^{\text{uncoupled}}U$ . The verifier performs this conjugation on $\hat{J}^2$ for $1\otimes\tfrac12$ : dense $6\times6$ before, exactly $\mathrm{diag}\big(J(J{+}1)\hbar^2\big)$ after — the block-diagonalization the coupled basis exists to deliver. Verified: $U^{\mathsf T}U=UU^{\mathsf T}=\mathbb{1}$ exactly (symbolic) for the $6\times6$ ( $1\otimes\tfrac12$ ) and $9\times9$ ( $1\otimes1$ ) matrices; $U^{\mathsf T}\hat{J}^2U$ diagonal with eigenvalues $\{15/4\times4,\,3/4\times2\}\hbar^2$ to $10^{-12}$ ; dimension identity symbolic in $j_1,j_2$ (article verifier).

Which basis when — the decision theory

The bases are mathematically equal; the Hamiltonian breaks the tie. The universal coupling term is governed by the operator identity from Addition of Angular Momenta (cited, its derivation untouched):

\hat{\mathbf{J}}_1\!\cdot\!\hat{\mathbf{J}}_2=\tfrac12\big(\hat{J}^2-\hat{J}_1^2-\hat{J}_2^2\big) \qquad (4)

where: the right side is built entirely from coupled-CSCO members — so any Hamiltonian term proportional to $\hat{\mathbf{J}}_1\!\cdot\!\hat{\mathbf{J}}_2$ is diagonal in the coupled basis, with eigenvalues $\tfrac{\hbar^2}{2}[J(J{+}1)-j_1(j_1{+}1)-j_2(j_2{+}1)]$ . In the uncoupled basis the same term is a flip-flopping mess. Conversely, a term like $b_1\hat{J}_{1z}+b_2\hat{J}_{2z}$ with $b_1\neq b_2$ — two moments feeling different effective fields — is diagonal in the uncoupled basis and mixes $J$ -ladders in the coupled one.

Hamiltonian structure	diagonal basis	physical setting
$A\,\hat{\mathbf{J}}_1\!\cdot\!\hat{\mathbf{J}}_2$	coupled	spin-orbit doublets, hyperfine contact term (21 cm), exchange-coupled spins
$b_1\hat{J}_{1z}+b_2\hat{J}_{2z}$ , $b_1\neq b_2$	uncoupled	strong external field addressing different $g$ -factors
$b\,(\hat{J}_{1z}+\hat{J}_{2z})=b\hat{J}_z$	both	uniform Zeeman shift — $M$ is good in both schemes
coupling term $\sim$ field term	neither	intermediate-field regime: diagonalize numerically; Paschen-Back crossover

The last row deserves its honest paragraph: when the internal coupling and the external field compete, no angular-momentum basis diagonalizes $\hat{H}$ , and the good quantum numbers of the weak-field limit ( $J$ ) smoothly morph into those of the strong-field limit ( $m_1,m_2$ ). That crossover — Paschen-Back physics in atoms — is stated here as the decision table's boundary; its quantitative theory belongs to the atomic/Zeeman articles of later chapters.

Limiting cases

case	result	meaning
stretched corners $M=\pm(j_1{+}j_2)$	$1\times1$ blocks; bases coincide	flip-flop term has nothing to trade; the only shared eigenstates
$j_2=0$	$U=\mathbb{1}$	coupling to a scalar changes no labels
coupling $\to0$ , field on	uncoupled labels exact	$J$ ceases to be conserved the moment $b_1\neq b_2$
field $\to0$ , coupling on	coupled labels exact	$(J,M)$ good; degenerate multiplets split only by $\hat{\mathbf{J}}_1\!\cdot\!\hat{\mathbf{J}}_2$ eigenvalue
$\hbar\to$ large- $j$ classical	both schemes → vector addition	quantum incompatibility of $J$ with $m_1$ shrinks relative to magnitudes

Common trapJ² does not commute with J₁z — the coupled state has no private projections

The single most common error in this territory is treating a coupled state as if it also carried definite individual projections "underneath." It cannot: $[\hat{J}^2,\hat{J}_{1z}]=2i\hbar(\hat{\mathbf{J}}_1\times\hat{\mathbf{J}}_2)_z\neq0$ , computed explicitly in the verifier. A $|J M\rangle$ state is a superposition over the $(m_1,m_2)$ cells of its diagonal — measure $\hat{J}_{1z}$ and you collapse it, destroying the sharp $J$ you had. Symmetrically, a product state $|j_1m_1\rangle|j_2m_2\rangle$ has no definite $J$ (except at the corners). The two label sets are not layered; they are alternatives.

Worked examples

Example 1 — hydrogen's ground-state spins and the 21 cm operator. The electron and proton of ground-state hydrogen are two spin-½ systems; the hyperfine contact interaction is $\hat{H}_{\text{hf}}=A\,\hat{\mathbf{S}}_e\!\cdot\!\hat{\mathbf{S}}_p$ . Which basis diagonalizes it, and what is the spectrum's shape?

Step 1. Decision rule: the interaction is pure $\hat{\mathbf{J}}_1\!\cdot\!\hat{\mathbf{J}}_2$ — coupled basis. Total spin $F=0$ (singlet) or $F=1$ (triplet).

Step 2. Evaluate with identity (4): $\hat{\mathbf{S}}_e\!\cdot\!\hat{\mathbf{S}}_p=\tfrac12[F(F{+}1)-\tfrac34-\tfrac34]\hbar^2$ , giving $+\tfrac{\hbar^2}{4}$ for the triplet and $-\tfrac{3\hbar^2}{4}$ for the singlet — verified as the exact eigenvalue set of the $4\times4$ matrix.

Step 3. Spectrum: two levels split by $A\hbar^2$ , triplet above (for $A>0$ ), threefold-degenerate top, singlet floor. The famous number — the transition at $1420.4$ MHz, wavelength $21.1$ cm — is quoted from the hyperfine article that owns its calculation; what this example owns is why the coupled basis makes the problem two lines long. In the uncoupled basis $\hat{H}_{\text{hf}}$ has off-diagonal flip-flop elements and you would be diagonalizing a matrix to discover what identity (4) hands you free. Answer: coupled basis; eigenvalues $\{+A\hbar^2/4\ (\times3),\,-3A\hbar^2/4\}$ , splitting $A\hbar^2$ .

Example 2 — the same state, two questionnaires. Two spin-½ particles are prepared in $|\!\uparrow\rangle|\!\downarrow\rangle$ — an uncoupled basis state. Translate its statistics into the coupled questionnaire and back.

Step 1. Coupled amplitudes (CG table, verified): $|\!\uparrow\downarrow\rangle=\tfrac{1}{\sqrt2}|1,0\rangle+\tfrac{1}{\sqrt2}|0,0\rangle$ . So $P(J{=}1)=P(J{=}0)=\tfrac12$ : a fifty-fifty coin on the total magnitude, even though both individual projections are sharp.

Step 2. Cross-check the mean: $\langle\hat{J}^2\rangle=\tfrac12(2\hbar^2)+\tfrac12(0)=\hbar^2$ — which matches the direct matrix element $\langle\uparrow\downarrow|\hat{J}^2|\uparrow\downarrow\rangle=\hbar^2$ computed in the verifier without any basis change.

Step 3. Reverse translation: prepare the singlet $|0,0\rangle$ instead and ask the uncoupled questionnaire. The amplitudes are $\pm\tfrac{1}{\sqrt2}$ on $|\!\uparrow\downarrow\rangle$ and $|\!\downarrow\uparrow\rangle$ : $P(m_1{=}{+\tfrac12})=\tfrac12$ , perfectly anticorrelated with $m_2$ . Sharp collective label, maximally unsharp individual ones — the mirror image of Step 1. Answer: $|\!\uparrow\downarrow\rangle$ answers the $J$ -question with a fair coin; $|0,0\rangle$ answers the $m_1$ -question with a fair coin — neither basis's labels are "really there" until the matching question is asked.

Origins · 1 minPaul Gordan and how this was discovered

Paul Gordan

1837–1912 · Erlangen

Gordan was the "king of invariant theory" — the man who could compute. His 1868 theorem constructed, explicitly and finitely, the complete invariant systems of binary forms, and the 1866 treatise with Clebsch contains the expansion series now bearing both names. When Hilbert proved the general finiteness theorem in 1888 by pure existence argument, Gordan's verdict became mathematical folklore: "Das ist nicht Mathematik, das ist Theologie" — that is not mathematics, that is theology. The gibe names the exact tension this article manages: knowing a basis change exists (unitarity, guaranteed abstractly) versus holding the explicit table of its entries. Gordan, characteristically, would have wanted the table. His last doctoral student was Emmy Noether, whose thesis computed invariants in his style before she outgrew everyone's; Clebsch's shorter, brighter side of the partnership is told in the previous article.

History

1866

— Clebsch and Gordan's treatise on binary forms: the coupling series in its original algebraic habitat

1868

— Gordan's finiteness theorem, constructive and explicit — tables, not existence proofs

1888

— Hilbert's abstract finiteness proof draws Gordan's "theology" verdict

1926

— Quantum mechanics needs both bases at once: fine and hyperfine structure force the coupled scheme on atomic physics

1935

— Condon and Shortley's book standardizes the transformation's phases for working spectroscopists

Going further

Sakurai & Napolitano §3.8 — the two-basis formalism and the commutator (2).
Cohen-Tannoudji, Diu & Laloë, Vol. 2, Ch. X — the most careful treatment of the double bookkeeping.
Shankar Ch. 15; Townsend Ch. 5 — alternative routes at the same register.
Griffiths & Schroeter §4.4.3 — the spin-½ pair worked gently.

Provenance note: All algebra is standard angular-momentum addition. A verifier should: (1) confirm $[J^2,J_{1z}]=2i\hbar(\mathbf{J}_1\times\mathbf{J}_2)_z$ by direct commutator expansion (Sakurai §3.8, Cohen-Tannoudji X); (2) reproduce the spin-½ singlet/triplet states by applying $J_-$ (Griffiths §4.4.3); (3) check the dimension identity $\sum_{j=|j_1-j_2|}^{j_1+j_2}(2j+1)=(2j_1+1)(2j_2+1)$ ; (4) verify $\langle\mathbf{J}_1\!\cdot\!\mathbf{J}_2\rangle$ values $+\hbar^2/4$ (triplet), $-3\hbar^2/4$ (singlet). Physical examples (21 cm hyperfine line, sodium D-doublet, ortho/para-helium) are standard; numerical splittings are omitted here to avoid unverified figures. Cross-references: Shankar Ch. 15, Townsend Ch. 5. — Verifier items (1), (3), (4) are executed in this article's verify script; item (2), the explicit singlet/triplet lowering construction, is owned per the chapter map by Singlet and Triplet States (the base's first derivation is relocated there; this article consumes only the eigenvalue facts).

If both bases describe the same space, is the choice purely cosmetic?

For states, yes — any state expands in either. For work, no: the basis that diagonalizes your Hamiltonian turns dynamics into phase bookkeeping, while the wrong basis buries the physics in off-diagonal elements. And for approximations the choice is decisive: first-order perturbation theory in a degenerate multiplet requires the basis the perturbation prefers. "Which labels are good quantum numbers" is physics, not cosmetics.

Why is M good in both bases but m₁ good in only one?

Because $\hat{J}_z$ commutes with both CSCOs — it is a member of one and the sum of two members of the other — while $\hat{J}_{1z}$ fails against $\hat{J}^2$ by the cross-term commutator (2). Symmetry version: total rotations about $z$ are a symmetry of the coupling term; separate rotations of subsystem 1 alone are not.

Is the CG matrix ever complex?

Not in the Condon-Shortley convention, where every coefficient is real and the matrix is genuinely orthogonal, $U^{-1}=U^{\mathsf T}$ . Adopt a different phase convention and unitary-with-phases is the best you get. This is a convention statement about amplitudes; every probability is convention-blind.

What happens to the basis choice in the intermediate-field regime?

Both label sets fail honestly: eigenstates of $\hat{H}$ are $J$ -mixtures and $(m_1,m_2)$ -mixtures, interpolating continuously as the field grows. In practice you diagonalize $\hat{H}$ in either basis numerically — the answer is basis-independent — and track how weak-field $(J,M)$ labels deform into strong-field $(m_1,m_2)$ ones. The atomic-physics name for this crossover is the Paschen-Back effect, quantified in the Zeeman articles of later chapters.

Do the two bases correspond to different experimental setups?

Often, and usefully so. A Stern-Gerlach-type analyzer acting on one subsystem asks uncoupled questions; a measurement of total magnitude (e.g. selecting a fine-structure level by its energy) asks coupled ones. The basis is a questionnaire: prepare in one, interrogate in the other, and the CG-squared entries are the answer statistics — that is Example 2 run on hardware.

Why is the transformation block-diagonal in M rather than fully dense?

Because $\hat{J}_z$ is shared by both CSCOs: both bases diagonalize it, so no basis-change amplitude can connect different $M$ values. The blocks along the $M$ -diagonal are exactly the anti-diagonals of the $(m_1,m_2)$ grid — small, independently orthogonal matrices, which is why hand-computing tables one diagonal at a time works.

Does coupling create entanglement?

Coupled basis states with more than one cell on their diagonal are entangled in the subsystem factorization — the singlet maximally so. But "coupled basis" and "entangled state" are not synonyms: the stretched states are coupled-basis members and pure products. Entanglement theory proper — measures, Bell tests, what the singlet's anticorrelation cannot be explained by — belongs to the entanglement chapters; here it is enough that the basis change is exactly the bookkeeping that keeps such correlations honest.