Skip to content

Simultaneous Eigenstates and Good Quantum Numbers

A good quantum number is an eigenvalue label that remains meaningful under the dynamics and within the chosen model. In practice, it usually comes from an observable that commutes with the Hamiltonian and with the other observables used to label states.

For example, in a central potential,

[H,L2]=0,[H,Lz]=0,[L2,Lz]=0.[H,L^2]=0, \qquad [H,L_z]=0, \qquad [L^2,L_z]=0.

Thus stationary states may be chosen as simultaneous eigenstates of HH, L2L^2, and LzL_z, with labels such as

∣α,ℓ,m⟩.\lvert \alpha,\ell,m\rangle.

The label is “good” because the corresponding eigenspaces are preserved by the Hamiltonian. It is not good by tradition; it is good because of commutators and symmetry.

Let QQ be an observable with no explicit time dependence. A necessary dynamical test for qq to be a good label of energy eigenstates is

[H,Q]=0.[H,Q]=0.

Then the Hamiltonian preserves the eigenspaces of QQ. If

Q∣q⟩=q∣q⟩,Q\lvert q\rangle=q\lvert q\rangle,

then time evolution under HH does not mix that eigenspace with eigenspaces of different qq.

For several labels Q1,…,QrQ_1,\ldots,Q_r, one also needs mutual compatibility:

[Qi,Qj]=0for all i,j.[Q_i,Q_j]=0 \qquad \text{for all }i,j.

Only then can states generally be chosen to have sharp values of all the labels at once.

In the finite-dimensional textbook setting, mutually commuting self-adjoint operators can be simultaneously diagonalized. A simultaneous eigenstate satisfies

Qk∣q1,…,qr⟩=qk∣q1,…,qr⟩,k=1,…,r.Q_k\lvert q_1,\ldots,q_r\rangle = q_k\lvert q_1,\ldots,q_r\rangle, \qquad k=1,\ldots,r.

When HH is included in the commuting family,

H∣E,q1,…,qr⟩=E∣E,q1,…,qr⟩.H\lvert E,q_1,\ldots,q_r\rangle = E\lvert E,q_1,\ldots,q_r\rangle.

This is the algebraic basis of quantum-number notation. For the general formalism, see Compatible Observables and Complete Sets of Commuting Observables.

A good quantum number can be useful without uniquely identifying a state. If several linearly independent states share the same labels, an additional degeneracy label is still needed:

∣E,q,λ⟩,λ=1,…,gE,q.\lvert E,q,\lambda\rangle, \qquad \lambda=1,\ldots,g_{E,q}.

Completeness is stronger. A complete set of commuting observables distinguishes basis states, up to phase, inside the sector being considered. Good quantum numbers may organize a spectrum while still leaving degeneracy.

This distinction matters in symmetry problems. A Hamiltonian may commute with J2J^2 and JzJ_z, so jj and mm are good labels, but there may be several independent copies of the same j,mj,m labels because of radial, spin, flavor, lattice, or internal degrees of freedom.

For a spinless particle in a central potential,

H=P22m+V(R),H=\frac{\mathbf P^2}{2m}+V(R),

rotational invariance gives

[H,Li]=0,i=x,y,z.[H,L_i]=0, \qquad i=x,y,z.

Since the angular momentum components do not commute with each other, one does not label states by Lx,Ly,LzL_x,L_y,L_z simultaneously. Instead one uses the commuting set

H,L2,Lz.H,\quad L^2,\quad L_z.

The stationary states can be chosen as

H∣α,ℓ,m⟩=Eαℓ∣α,ℓ,m⟩,L2∣α,ℓ,m⟩=ℏ2ℓ(ℓ+1)∣α,ℓ,m⟩,Lz∣α,ℓ,m⟩=ℏm∣α,ℓ,m⟩.\begin{aligned} H\lvert \alpha,\ell,m\rangle &= E_{\alpha\ell}\lvert \alpha,\ell,m\rangle, \\ L^2\lvert \alpha,\ell,m\rangle &= \hbar^2\ell(\ell+1)\lvert \alpha,\ell,m\rangle, \\ L_z\lvert \alpha,\ell,m\rangle &= \hbar m\lvert \alpha,\ell,m\rangle. \end{aligned}

Here α\alpha denotes whatever additional radial or spectral label is needed. For a generic central potential, EE depends on both a radial label and ℓ\ell. Rotational symmetry guarantees the mm degeneracy, not degeneracy between different ℓ\ell values.

In the ideal spinless Coulomb problem, the bound-state labels are usually written

∣n,ℓ,m⟩.\lvert n,\ell,m\rangle.

They are simultaneous labels for HH, L2L^2, and LzL_z:

H∣n,ℓ,m⟩=En∣n,ℓ,m⟩,L2∣n,ℓ,m⟩=ℏ2ℓ(ℓ+1)∣n,ℓ,m⟩,Lz∣n,ℓ,m⟩=ℏm∣n,ℓ,m⟩.\begin{aligned} H\lvert n,\ell,m\rangle &= E_n\lvert n,\ell,m\rangle, \\ L^2\lvert n,\ell,m\rangle &= \hbar^2\ell(\ell+1)\lvert n,\ell,m\rangle, \\ L_z\lvert n,\ell,m\rangle &= \hbar m\lvert n,\ell,m\rangle. \end{aligned}

The label nn is tied to the Coulomb energy, while ℓ\ell and mm are angular momentum labels. The fact that EnE_n is independent of ℓ\ell is special to the Coulomb problem; it is not implied by central symmetry alone.

If spin is included but spin-dependent terms are ignored, one may also use

∣n,ℓ,mℓ⟩∣s,ms⟩,s=12,\lvert n,\ell,m_\ell\rangle \lvert s,m_s\rangle, \qquad s=\frac12,

where ms=±1/2m_s=\pm1/2. In that simplified Hamiltonian, mℓm_\ell and msm_s are separately conserved because the spin and orbital sectors are not coupled.

When Spin-Orbit Coupling Changes the Labels

Section titled “When Spin-Orbit Coupling Changes the Labels”

Once a central spin-orbit interaction is included,

HSO=ξ(r) L⋅S,H_{\mathrm{SO}} = \xi(r)\,\mathbf L\cdot\mathbf S,

the separate labels mℓm_\ell and msm_s are no longer generally good. The Hamiltonian remains invariant under simultaneous rotations generated by

J=L+S,\mathbf J=\mathbf L+\mathbf S,

so the useful labels become

∣n,ℓ,s;j,mj⟩.\lvert n,\ell,s;j,m_j\rangle.

In the simple central spin-orbit model, L2L^2, S2S^2, J2J^2, and JzJ_z commute with the Hamiltonian. The labels ℓ\ell, ss, jj, and mjm_j are good, while mℓm_\ell and msm_s are basis labels for the uncoupled description, not conserved labels of the coupled Hamiltonian.

This is the central lesson: a good quantum number can stop being good when the Hamiltonian changes.

In a many-spin system with full rotational symmetry, the total spin operators

Stot=∑aSa\mathbf S_{\rm tot} = \sum_a \mathbf S_a

may satisfy

[H,Stot2]=0,[H,Stot,z]=0.[H,S_{\rm tot}^2]=0, \qquad [H,S_{{\rm tot},z}]=0.

Then states can be organized by total spin labels

∣E,S,M,λ⟩.\lvert E,S,M,\lambda\rangle.

The extra label λ\lambda is often essential: many-body Hilbert spaces can contain repeated copies of the same total-spin representation.

If the Hamiltonian has only axial symmetry, then Stot,zS_{{\rm tot},z} may remain good while Stot2S_{\rm tot}^2 does not. This is the many-body version of the same rule: the good labels are those protected by the actual symmetry of the Hamiltonian, not by the symmetry one wishes it had.

In applications, one often uses approximate labels. Suppose

H=H0+ϵV,H=H_0+\epsilon V,

where QQ commutes with H0H_0 but not with VV:

[H0,Q]=0,[V,Q]≠0.[H_0,Q]=0, \qquad [V,Q]\ne0.

For small ϵ\epsilon, eigenstates of HH may still be close to eigenstates of QQ, and qq may remain an approximate quantum number. But it is no longer exact.

This distinction is especially important in spectroscopy. Labels such as mℓm_\ell, msm_s, jj, and mjm_j can change status as spin-orbit coupling, hyperfine coupling, and external fields become more or less important. See Approximate Symmetry for the broader taxonomy.

To decide whether qq is a good quantum number, ask:

  • What operator QQ has eigenvalue qq?
  • Does QQ commute with the Hamiltonian in the model being used?
  • If QQ has explicit time dependence, does it satisfy the constant-of-motion condition?
  • Does QQ commute with the other operators in the proposed label set?
  • Does the label set distinguish states, or is an extra degeneracy label needed?
  • Does a perturbation, external field, boundary condition, or coupling break the protecting symmetry?

The answer can differ between an ideal model, a perturbative approximation, and the full physical Hamiltonian.

  • Calling a quantum number good because it appears in a familiar notation, rather than checking commutators.
  • Treating mℓm_\ell and msm_s as exact labels after spin-orbit coupling has been included.
  • Assuming that jj and mjm_j remain good in an external field without checking the field symmetry.
  • Forgetting that good quantum numbers need not form a complete set.
  • Trying to assign simultaneous sharp values to noncommuting labels such as JxJ_x and JzJ_z.
  • Treating approximate labels as exact when computing selection rules or degeneracy splittings.
  • Using hydrogenic n,ℓ,mn,\ell,m labels for a generic central potential without distinguishing the radial label from the Coulomb principal quantum number.
  • P. A. M. Dirac, The Principles of Quantum Mechanics, 4th ed., Oxford University Press, 1958.
  • E. P. Wigner, Group Theory and Its Application to the Quantum Mechanics of Atomic Spectra, Academic Press, 1959.
  • J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.
  • R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.
  • C. Cohen-Tannoudji, B. Diu, and F. Laloe, Quantum Mechanics, Wiley, 1977.
  1. In a central potential, why are L2L^2 and LzL_z compatible labels, while LxL_x and LzL_z are not?
Solution

The angular momentum algebra gives

[L2,Lz]=0,[L^2,L_z]=0,

so L2L^2 and LzL_z can be diagonalized together. But

[Lx,Lz]=−iℏLy,[L_x,L_z]=-i\hbar L_y,

which is generally nonzero. Thus LxL_x and LzL_z cannot generally be assigned simultaneous sharp eigenvalue labels.

  1. For ideal spinless hydrogen, explain why nn, ℓ\ell, and mm are good quantum numbers but do not all have the same origin.
Solution

The label nn labels the Coulomb bound-state energy through HH. The label ℓ\ell is the eigenvalue label of L2L^2, and mm is the eigenvalue label of LzL_z. The angular labels come from rotational symmetry and angular momentum algebra. The fact that the energy depends only on nn, not on ℓ\ell, is special to the Coulomb potential and is not a generic consequence of rotational symmetry.

  1. A Hamiltonian contains a central spin-orbit term ξ(r)L⋅S\xi(r)\mathbf L\cdot\mathbf S. Which labels are natural: mℓ,msm_\ell,m_s or j,mjj,m_j?
Solution

The spin-orbit term is invariant under simultaneous rotations generated by J=L+S\mathbf J=\mathbf L+\mathbf S. It generally does not commute with LzL_z and SzS_z separately, so mℓm_\ell and msm_s are not exact labels for the coupled Hamiltonian. The natural labels are those of the coupled basis, including jj and mjm_j, together with any remaining good labels such as ℓ\ell and ss in the simple central model.

  1. Suppose QQ commutes with H0H_0 but not with a perturbation VV, and H=H0+ϵVH=H_0+\epsilon V. In what sense can qq still be useful?
Solution

For ϵ=0\epsilon=0, qq is an exact good quantum number. For small ϵ\epsilon, the exact eigenstates of HH may remain close to eigenstates of QQ, so qq can be useful as an approximate label or as the label of a zeroth-order basis. But because [V,Q]≠0[V,Q]\ne0, qq is not exactly conserved by the full Hamiltonian.