Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicable
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Angular-momentum basis and tensor labels

PDF p. 3: Atomic and molecular systems, opening paragraph and equation (10)

Definition

A spin label is J∈{0,12,1,32,…}, and its magnetic labels are m=−J,−J+1,…,J. In the finite spin-J block VJ=C2J+1, write the specified orthonormal basis vector eJ,m as ∣J,m⟩. The operators Jx,Jy,Jz are the block operators, and J2=Jx2+Jy2+Jz2. Thus J2∣J,m⟩=J(J+1)∣J,m⟩ and Jz∣J,m⟩=m∣J,m⟩; in particular ∣m∣≤J.

For J≥1 and δ∈{−1,0,1}, the article's label C1,δ;J,mJ−1,m+δ denotes the Clebsch–Gordan coefficient in the ordered coupling V1⊗VJ: it is the coefficient of ∣1,δ⟩⊗∣J,m⟩ in the normalized coupled vector of total spin J−1 and magnetic label m+δ. A coupled vector is obtained from a chosen unit highest-weight vector in that spin summand by the supplier's positively normalized lowering convention. If m+δ is outside the magnetic labels of spin J−1, this coefficient is taken to be zero. The order of factors and the chosen highest-weight phase are part of the convention; comparison with a numerical coefficient table requires matching both. The article uses these labels in its rank-one transition operators.

Justification

The finite spin-block construction supplies the orthonormal basis and operators and gives the two displayed eigenvalue identities. The finite operator conventions give the meaning of the ket and ordered tensor-product notation. For J≥1, the spin-composition construction includes the J−1 summand in V1⊗VJ and supplies its normalized coupled vectors for admissible magnetic labels. Their unique coefficients in the product basis are therefore well defined after the highest-weight vector is chosen. Extending the coefficient by zero outside that label range is an explicit convention. Changing the highest-weight phase multiplies all coefficients in the summand by the same phase, so the stated phase qualification is necessary. Finite operator and ket conventions Finite spin blocks, spherical tensors and Clebsch–Gordan phases

Depends on

Used by · 13

Dependency tree · 2 levels

Each result is drawn at its shortest distance from this item. Arrows run from prerequisites to the items that use them; this item has a heavier outline. External source nodes link directly to the cited text. The view shows up to two dependency steps; open a prerequisite to continue.

Sources