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 and be finite direct sums of specified spin blocks, and let be a rank-one spherical tensor family from to . Fix an input copy of and an output copy of , with angular basis vectors and . For the ordered coupling , write for the coefficient of in the chosen normalized coupled vector of spin and magnetic label . Take it to be zero if is outside the coupling list or is outside its magnetic range. Then there is a complex scalar independent of such that . 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 and belongs to . The symbols 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.
Statement references
Facts & Assumptions
The angular basis identifies with the specified orthonormal spin-block basis. Angular-momentum basis and tensor labels
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
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
The Wigner–Eckart contract gives a magnetic-label-independent factor for the ordered coupling , together with the magnetic and coupling-list selection rules. Wigner–Eckart with explicit magnetic-label contract
In each of the ordered products and , 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.
Apply the Wigner–Eckart contract with . In the order there is a scalar , independent of , such that the matrix element is , with the stated selection rules. The angular-basis notation gives these coefficients and matrix elements their displayed meaning.
When is in the coupling list, the factor-swap map sends to 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- 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 . Consequently is one fixed scalar multiple of for all . Absorb that scalar into to obtain . If is outside the coupling list both the matrix element and the stipulated coefficient vanish, so 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
- Monolithic Quantum Error Correction in the Presence of Distinguishability · PDF p. 13, Eq. (S3.19) and surrounding text