Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-generated
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.

Rank-one angular matrix elements

PDF p. 13: Eq. (S3.19)

Statement

Let H and K be finite direct sums of specified spin blocks, and let (Xq)q=−11 be a rank-one spherical tensor family from H to K. Fix an input copy of VJ and an output copy of VJ′, with angular basis vectors ∣J,m⟩ and ∣J′,n⟩. For the ordered coupling V1⊗VJ, write C1,q;J,mJ′,n for the coefficient of ∣1,q⟩⊗∣J,m⟩ in the chosen normalized coupled vector of spin J′ and magnetic label n. Take it to be zero if J′ is outside the coupling list or n is outside its magnetic range. Then there is a complex scalar R independent of m,n,q such that ⟨J′,n∣Xq∣J,m⟩=RC1,q;J,mJ′,n. The scalar depends on the fixed block copies, tensor family, coupling order and phase choices, and may vanish. In particular the matrix element vanishes unless n=m+q and J′ belongs to ∣J−1∣,∣J−1∣+1,…,J+1. The symbols Xq can be the spherical components of a Cartesian triple when those components satisfy the rank-one tensor equations; the coordinate change alone does not imply those equations.

Facts & Assumptions

[F1]

The angular basis identifies ∣J,m⟩ with the specified orthonormal spin-block basis. Angular-momentum basis and tensor labels

[F2]

Spherical components are the stated linear combinations of Cartesian operators; being such components does not by itself assert the tensor equations. Spherical vector components and transition-frequency convention

[F3]

The spin convention defines the tensor equations and ordered coupled bases, with each coupled ladder basis determined by one chosen highest-weight phase. Finite spin blocks, spherical tensors and Clebsch–Gordan phases

[F4]

The Wigner–Eckart contract gives a magnetic-label-independent factor for the ordered coupling VJ⊗V1, together with the magnetic and coupling-list selection rules. Wigner–Eckart with explicit magnetic-label contract

[F5]

In each of the ordered products VJ⊗V1 and V1⊗VJ, every spin in the coupling list occurs exactly once. Its highest-weight line is one-dimensional, and a unit vector on that line determines the coupled basis by positively normalized lowering. These are the multiplicity-one decomposition and highest-weight construction in parts (b), (d) and (e) of Tensor spin composition.

Proof

Given: The fixed block copies, rank-one tensor family and chosen ordered-coupling phases in the statement.

Goal: Express the matrix elements using the article's reversed coupling order and establish the selection rules.

1.1F1F3F4

Apply the Wigner–Eckart contract with k=1. In the order VJ⊗V1 there is a scalar R0, independent of m,n,q, such that the matrix element is R0CJ,m;1,qJ′,n, with the stated selection rules. The angular-basis notation gives these coefficients and matrix elements their displayed meaning.

2.1F2F3F5step 1.1algebra∎

When J′ is in the coupling list, the factor-swap map sends ∣J,m⟩⊗∣1,q⟩ to ∣1,q⟩⊗∣J,m⟩ and intertwines the total spin operators. It therefore sends the chosen highest-weight vector in the first order to a unit highest-weight vector in the unique spin-J′ summand in the second order. The multiplicity-one decomposition in F5 makes that highest-weight space one-dimensional, so the two chosen vectors differ by one unit scalar, independent of magnetic label. Their positively normalized lowering constructions preserve this same scalar for every n. Consequently CJ,m;1,qJ′,n is one fixed scalar multiple of C1,q;J,mJ′,n for all m,n,q. Absorb that scalar into R0 to obtain R. If J′ is outside the coupling list both the matrix element and the stipulated coefficient vanish, so R=0 works. The selection rules remain those of step 1.1; the qualification about Cartesian components follows from their definition. This proves the statement.

Depends on

Used by · 1

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