Angular momentum ladder endpoint Created 2026-10-20 Updated 2026-11-05
The norm of a raised or lowered angular momentum state must be nonnegative. At the upper or lower endpoint, the relevant ladder operator annihilates the state; the zero vector is not an eigenvector.
An isospin-invariant decay amplitude is an intertwining map from the initial isospin multiplet into the final tensor product. The Clebsch-Gordan decomposition for SU2 contains each allowed final isospin once. Commutation with the third generator and the quadratic Casimir operator places the image in the matching coupled state. Commutation with the ladder operators makes its scalar coefficient independent of the magnetic component. Orthogonality of the Clebsch-Gordan coefficients then gives a summed squared amplitude . A physical decay rate additionally includes phase space and spin sums, which can be absorbed into a common reduced coefficient when exact isospin symmetry makes them identical between channels.
Apply a total ladder operator to a coupled state and evaluate against an uncoupled product state. The total operator is the sum of the two factor operators, so its one coupled ladder amplitude times the corresponding one of the Clebsch-Gordan coefficients equals the sum of two factor ladder amplitudes times shifted coefficients. An overall common rescaling of the ladder operators cancels from the recurrence. Nonzero coefficients obey , and the positive ladder amplitudes require a consistent phase convention within each irreducible summand.
// Target: lie-theory.bigb
An irreducible spin representation is a nonzero Hilbert space with no proper nonzero closed invariant subspace under all three angular momentum operators. Equivalently, the associated unitary representation of SU(2) cannot be decomposed into two nonzero orthogonal invariant pieces. The irreducible possibilities are labelled by a spin and have dimension .
Choose an orthonormal basis , with . The angular momentum commutation relations imply , , , and . The complete action is
In particular, the spin raising operator annihilates and the spin lowering operator annihilates . The coefficient follows by taking the squared norm and using . Thus the ladder operators connect every member of the basis, while terminating at its two endpoints.
Write for the two eigenstates, of eigenvalues . The spin-spin interaction can be evaluated using
For , take and . The unperturbed energy eigenvalues are on , respectively. For an isolated normalized energy eigenstate , first-order nondegenerate perturbation theory gives . The two antiparallel spins have expectation , so
For the zero-energy degenerate eigenspace, degenerate perturbation theory requires diagonalizing the restriction of . On the ordered basis it is : the ladder operators cannot take one parallel state to the other. Indeed neither parallel state couples to anything else under , so the remaining two levels are exactly , retaining their twofold quantum degeneracy.
For , take and , where . The spin-one-half triplet state basis and spin-one-half singlet state are
The identity gives unperturbed energy eigenvalues and . Direct action gives
Consequently the restriction of to the entire triplet degenerate eigenspace is zero, so no first-order splitting is missed. The singlet expectation is also zero. In second-order nondegenerate perturbation theory, . Within the triplet, the corresponding second-order effective matrix is , already diagonal in this basis. Thus, through second order,
The last two expressions have higher corrections beginning at , as the exact calculation in part (d) also verifies. For positive , coupling to the lower singlet raises the triplet's level and lowers the singlet; the signs are precisely the energy denominators above.
On a suitable dense domain of smooth rapidly decreasing wave functions, the canonical commutator is . Expanding the two ladder operators gives
Their sum and difference give
Direct multiplication, retaining the operator order, gives
Using identifies the Hamiltonian operator:
For any admissible wave function, adjointness gives
For the conventional normalized state , this is the stated lower bound . For an unnormalized function the norm factor must be retained; rescaling a wave function cannot leave its unnormalized energy integral bounded below by a fixed positive number.
Equality holds exactly when . In position representation this equation is , whose normalized square-integrable solution is
This construction establishes existence of a state attaining the bound, and hence proves that it is the ground state.
The commutator implies . Repeatedly commuting through the product gives
These vectors are nonzero: the identity gives their norm squared by induction. Therefore
For time-dependent stationary states multiply each spatial eigenfunction by .
Use a finite-dimensional unitary representation of SU(2) and units , so the isospin generators are Hermitian and . Their commutators are
On the normalized highest-weight vector, the given quadratic Casimir operator identity gives . Since the quadratic Casimir operator commutes with every generator, this eigenvalue is unchanged down the ladder. Each application of lowers by one. For a normalized descendant,
Positivity first gives . In a finite-dimensional representation the descending ladder must terminate; the norm vanishes only at . Thus the number of lowering steps is , a nonnegative integer, and
For , define the normalized descendant by dividing by its positive norm. This fixes its relative phase and gives
Acting with and using proves
The resulting isospin multiplet has states. More explicitly,
The factorial arguments are integers, even for half-integer .
Put . Differentiation and the commutators give
while is unchanged. Hence at the half-turn,
The half-turn preserves and reverses , so . Since , comparison of the two ways to rotate a raised state gives .
To fix the remaining phase, expand the supplied highest-state rotation identity as a finite sum. The th term is
As , all terms vanish except . The product of the lowering coefficients gives . The surviving coefficient is therefore one, fixing . The half-turn phase of an SU(2) multiplet is
In particular the recurrence and highest-state phase are consistent with .
Charge conjugation is a linear unitary symmetry. If , conjugation preserves the commutator and the scalar , so
Thus the conjugated generators obey the same SU(2) Lie algebra. The charge conjugation action on is exactly the same pair of sign reversals as . Their product consequently satisfies for all . For integer , its value on the neutral member is
Commuting through the ladder operators transfers that value to every state in the same isospin multiplet. Therefore the G-parity of an isospin multiplet is
A photon has charge conjugation value minus one, so a two-photon state has value plus one. The electromagnetic two-photon decay preserves charge conjugation, giving . Since the pion has , all three pion charge states have G parity minus one:
The rho meson has , , hence , whereas the omega meson has , , hence . On an -pion state the internal symmetry acts on each pion, giving independently of orbital angular momentum. Conservation of G parity in the isospin-symmetric strong interaction therefore gives the G-parity selection rule for pion multiplicities:
The allowed channels can also satisfy angular momentum and physical parity: the two pions from a rho can have relative orbital angular momentum one and total isospin one, while three pions can couple to the omega's , . The rule refers to the ideal isospin-conserving strong amplitude; small symmetry-breaking or electromagnetic contributions are not excluded.
The anti-Hermitian operators represent the compact real form; its complexification also contains the Hermitian and the raising operators and lowering operators , with . Define the roots in the two-dimensional Cartan plane by
Each has squared length one. For each , set
The displayed commutators give and . Thus these are the three root SU(2) subalgebras of SU(3).
The commuting Hermitian operators can be simultaneously diagonalized. A weight of a representation is a pair for which
where labels independent states of that representation weight. The weight multiplicity is the dimension of this simultaneous eigenspace. Commuting past a ladder operator proves
with zero image allowed when the raised or lowered representation weight is absent.
Choose as positive simple roots. A highest-weight vector is a nonzero simultaneous eigenvector annihilated by ; the third condition follows from the first two and their commutator. In an irreducible representation, its highest weight has multiplicity one and repeated lowering generates the representation. The three root SU(2) subalgebras of SU(3) give nonnegative integer Dynkin labels
Equivalently, with and ,
These are the SU(3) highest-weight coordinates in the normalization used here.
The Weyl group is generated by the reflections . The SU(2) Lie algebra root-string symmetry makes these reflections preserve both representation weights and their weight multiplicities. They generate the symmetries of an equilateral triangle: rotations through and three reflections. The outer polygon is the convex hull of the Weyl group orbit of . When it is a hexagon with alternating side lengths in root-step units; when exactly one is zero it is a triangle; when both vanish it is a point. The representation conjugate to has labels and negative representation weights. For , this gives an additional inversion symmetry and a regular hexagon with rotations. A general unequal-sided hexagon need not have that extra symmetry.
The shell multiplicities in an SU(3) weight diagram can be stated precisely. Let be the convex hull of the Weyl group orbit of . For in the root lattice coset ,
representation weights outside this coset or outside the outer polygon are absent. This states that boundary representation weights have multiplicity one, each inward shell adds one, and the innermost triangular region has constant multiplicity . When the innermost region is a single point. All representation weights of a triangular diagram have multiplicity one. Counting the diagram gives . The examples below display both triangular orientations, a regular hexagon, an unequal-sided hexagon, a central multiplicity three, and the trivial diagram.
Figure 1.
SU(3) weight diagrams, including quark and adjoint weights and shell multiplicities
. Details.
The Clebsch-Gordan decomposition for SU2 is
where increases by one and every summand occurs once. The tensor product of Lie algebra representations is antihermitian for the product inner product, so an invariant subspace has an invariant orthogonal complement; this gives complete reducibility. To see the particular summands, suppose . The product weight diagram has one state of weight , two of weight , and increasing multiplicities down to the plateau determined by . Subtracting the weight string of leaves a single highest state of weight . Repeating highest-weight character subtraction yields exactly the displayed sequence, down to . Its dimensions exhaust the tensor product because
The case is identical with the factors exchanged.
Let be the Clebsch-Gordan coefficients. Since the total is , orthogonality of its eigenspaces gives the selection rule unless . Normalize the coupled states by lowering from a unit highest-weight vector, as in part (i); a common phase for an entire summand is immaterial. Then
Take the inner product with . On the other hand, the total ladder operator is , and . Its action on the product bra is therefore
Equating the two evaluations and multiplying by proves both signs of the ladder recurrence for Clebsch-Gordan coefficients:
Terms with an index outside its allowed weight range are zero. Merely specifying eigenvectors of would allow unrelated phases for different ; the coherent positive-ladder convention above is what makes these recurrences hold with the displayed positive square roots.
A highest-weight vector is a nonzero vector satisfying and ; its eigenvalue is the highest weight. Existence does not require the Lie algebra representation to be antihermitian. Since is a nonzero finite-dimensional complex vector space, has an eigenvector with some eigenvalue . The commutator with shows that each nonzero has eigenvalue . Infinitely many such vectors would have distinct eigenvalues and be linearly independent, which is impossible. The last nonzero vector in this raising chain is therefore a highest-weight vector .
Put . The ladder operator relations give . The raising coefficient follows by expanding the commutator of with a power of :
The factor is essential: these ladder operators have , rather than the convention with . The same finite-dimensionality argument gives a last nonzero lowered vector , with . Applying to yields
so . All are nonzero and have distinct eigenvalues. Their span is invariant under and therefore under the original three generators. Irreducibility of the Lie algebra representation makes this span equal to . Hence
In particular, the initial construction produces the largest eigenvalue of , since its full spectrum is now . This establishes the highest weight without assuming beforehand that all eigenvalues are real or that is diagonalizable.
For the additional antihermitian Lie algebra representation, the given definitions imply and . Thus distinct eigenvalues give orthogonal weight vectors. With , write . The adjoint relation and the raising coefficient give
Multiplying this recursion proves the normalized highest-weight lowering formula in the present normalization:
Every factorial argument is an integer, even for half-integral . The displayed states have unit norm, mutually distinct eigenvalues, and span , so they form an orthonormal basis. Their phase convention also fixes the positive ladder amplitudes
with the endpoint actions interpreted as zero. These amplitudes will determine the Clebsch-Gordan coefficients.
The ladder operators obey and has , . Since , its eigenvalues are nonnegative. If , lowering gives eigenvalue and squared norm . Repeated lowering cannot produce a negative nonzero eigenstate; the norm product forces to be an integer. The final lowered state has . With a unique ground state all normalized states are
For time-independent perturbation theory, write with . The standard first correction is and the second is . The first vanishes. Only occur, with ladder coefficients and , respectively. Therefore
The downward term is zero for .
Inverting the given position/momentum expressions gives
Thus . For both are positive, and this is a quantum harmonic oscillator of effective mass and frequency . Its exact energies are
Expansion gives , agreeing with both perturbative corrections.
Part (a) implies . Since , it follows that
For an eigenfunction of the Hamiltonian with eigenvalue ,
Thus is a ladder operator lowering the energy by , provided . The zero function is not an eigenfunction; in particular the ground state is annihilated by this operator. This qualification is essential for the later argument.
Start with a nonzero eigenfunction of energy and apply the lowering ladder operator repeatedly. Whenever the resulting wavefunction is nonzero, part (b) makes it an eigenfunction of energy . This cannot remain nonzero for every , since part (e) rules out negative energies. Let be the last nonzero member. Then , and part (d) forces its energy to be . Therefore every energy eigenvalue has the form
These levels actually occur: solving with gives the normalizable Gaussian . The raising operator increases the energy by , and . Repeated raising therefore produces a nonzero normalizable state at every listed level.
Define the ladder operators . The SU(2) Lie algebra relations imply
Thus has weight when nonzero. Starting from a maximum-weight vector , repeated lowering gives weights
The norm formula derived from the Casimir element,
shows that lowering stops precisely at . Therefore is a nonnegative integer and the irreducible representation has dimension .
Angular momentum and parity. Work in the rho meson rest frame. Since each pion has zero spin, their combined intrinsic spin is and their total angular momentum is entirely relative orbital angular momentum:
The parity selection rule for a two-body decay gives
The supplied requires odd , so both conservation laws agree:
Here the statement about two-pion decays is understood as the dominant strong interaction channel; the assertion that it occurs literally always is an idealization, since other interactions can produce other channels.
Exchange symmetry. Pions are spin-zero bosons, so the complete two-particle wavefunction must have bosonic exchange symmetry, including its spatial and isospin factors. The unique spin-zero product is symmetric. Exchanging the particle slots reverses the relative position, so an spatial state has orbital parity . Its isospin state must therefore be antisymmetric to make the product symmetric.
For two neutral pions, the internal charge state is symmetric under exchange. There is no antisymmetric internal factor to compensate odd . Equivalently, the odd- projection of two identical spin-zero neutral particles vanishes. Therefore
This argument does not depend on treating isospin as an exact symmetry of nature.
All nine isospin states. In the following two-pion isospin decomposition, let denote ordered particle slots; each of is . The second label in is the total electric charge in units of the elementary charge. For this pion system it equals the total isospin projection .
Addition of angular momentum for two isospins of one gives . Start from the highest-weight quantum state and apply the sum of the two ladder operators. The ladder recurrence for Clebsch-Gordan coefficients gives the normalized symmetric quintet:
The normalized quantum state orthogonal to in the two-dimensional charge-one subspace is antisymmetric. Lowering it gives the antisymmetric triplet:
The remaining charge-zero quantum state must be orthogonal to both displayed charge-zero states and annihilated by the total ladder operators. This gives the symmetric singlet:
Together the quintet, triplet and singlet contain orthonormal states, accounting for the full charge-product space. Multiplying an entire isospin multiplet by a common quantum phase changes none of these physical conclusions.
Rho isospin and strong decay modes. Only the two-pion isospin decomposition is antisymmetric under exchange; are symmetric. The required spatial state therefore selects . Conservation of isospin by the strong interaction, in its usual approximation, implies
The three charge states have the corresponding strong two-pion channels
The ordered antisymmetric combinations above describe the internal part; multiplying by the odd spatial state gives the required symmetric complete bosonic state. The neutral state contains no component, in agreement with the independent identical-particle argument.
Charge conjugation. Charge conjugation preserves mass and reverses electric charge. A charged rho meson is therefore changed into a distinct state of opposite charge, so neither nor is itself a charge-conjugation eigenstate. The neutral state can be an eigenstate. Acting on its two-pion internal state interchanges the charge labels:
The charged-pion quantum phase conventions cancel between the two particles. Thus the two-pion charge-conjugation parity is , and conservation by the strong interaction fixes
Only among the individual charge states is a charge conjugation eigenstate.
Writing , the ladder operators are
The ordered pair on each right-hand side gives the plus and minus operators respectively. Thus , and , with reverse actions for the minus operators; their other actions on the fundamental triplet vanish.
The remaining Flavor SU(3) Cartan generators can be chosen as and . Their eigenvalues label isospin and flavor hypercharge:
These diagonal operators multiply a flavor eigenstate by an eigenvalue; exponentiating them changes relative phases rather than converting one quark flavour into another. The weight diagram makes the distinction visible: the ladder operators connect different points, while the diagonal eigenvalues supply the axes.
Figure 1.
Fundamental flavour weights and the meson octet in the isospin-hypercharge plane
. Details.
Use the orthonormal basis . The normalized flavour singlet is
The SU(3) invariant contraction pairs each fundamental flavour with its conjugate. Applying any supplied raising operator to the singlet gives zero because its quark and antiquark contributions cancel.
To fix the neutral isospin triplet phase consistently with the source's charged states, apply to :
Thus one missing member of the meson octet is
Indeed , the correct ladder operator strength for the triplet.
The other missing state is orthogonal to both and . For coefficients , orthogonality requires and . Choose the convenient overall phase and normalize:
It can also be obtained by adding the supplied ladder operations and . The three displayed states are mutually orthonormal. The meson octet here is the traceless adjoint component of ; the source's word “antisymmetric” does not impose antisymmetry on all its quark-antiquark flavour wavefunctions.
Set and . First expand the charged term using the ladder operators:
Substituting the neutral gauge fields as well, the covariant derivative becomes
Matching to requires
Matching to requires
For , elimination yields
Equivalently, and . The conventional Weinberg angle lies in the first quadrant.
angular momentum generates rotations. Its components obey , and commutes with each component. A compatible basis has and , where . ladder operators change by one, terminate at , and give magnetic substates. Different Cartesian components generally cannot all be sharp simultaneously.
orbital angular momentum is . Its angular eigenfunctions are spherical harmonics, with integer arising from their spatial rotation properties and single-valuedness. spin is intrinsic angular momentum, not literal rotation of a finite charged sphere. It may be half-integer; spin is represented by . For several contributions, obeys the same algebra. Coupling angular momenta permits , with Clebsch-Gordan coefficients relating product and coupled bases. spin-orbit coupling can distinguish these total-angular-momentum sectors.
The Stern-Gerlach apparatus sends a collimated neutral atomic beam through an inhomogeneous magnetic field and records its deflection. A magnetic moment experiences ; field uniformity would produce precession but no analogous net separating force. A classically continuous distribution of moment orientations would broaden the beam continuously. Gerlach and Stern instead observed separated silver-beam components. Reversing or removing the field and comparing the undeflected profile controls the magnetic origin; collimation, velocity spread and finite resolution affect the spots. The original experiment demonstrated space quantization; its modern silver interpretation uses the unpaired electron spin with nearly zero orbital angular momentum, rather than a direct measurement of a free electron's trajectory.[ref]
For two spin- particles, the triplet state sector has and symmetric spin states
The spin singlet state has and antisymmetric spin state
Their total values are and zero, while has values and . The singlet is rotationally invariant and gives anticorrelated spin measurements along a common axis. For identical fermions the complete state is antisymmetric: a symmetric spatial state pairs with a singlet spin state, whereas an antisymmetric spatial state pairs with triplet spin. Orbital, spin and coupled angular momenta share an algebra, but their physical origins and allowed representations differ.
The angular momentum commutation relations are and cyclic permutations. The product rule yields and , so . Simultaneous eigenstates have eigenvalues and ; orbital angular momentum has integer and .
By cyclic symmetry, commutes with every component and hence every squared component. Therefore : an energy eigenbasis can be chosen with definite . For unequal transverse coefficients, need not commute with , so definite is not generally available.
Expanding the ladder operators gives and . Comparing coefficients gives
For , both squared ladder operators vanish, since two raising or lowering steps would leave the multiplet. Thus . In the remaining basis the Hamiltonian is
Its symmetric and antisymmetric combinations have energies and , respectively. Consequently
The energies are related by permutation of the principal axes, not generally equal. Two coincide when the corresponding coefficients coincide; all three become in the isotropic limit.