Alphabeta Math
DefinitionDefinition: 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.

Spherical vector components and transition-frequency convention

PDF p. 13: Eq. (S3.16) and preceding sentence

Definition

Let H=Cd, d≥1, be a finite operator space with its specified orthonormal basis, and let Xx,Xy,Xz:H→H be linear operators. In the displayed phase convention their spherical components are X+1=−(Xx+iXy)/2, X−1=(Xx−iXy)/2, and X0=Xz. Other conventions may multiply these components by convention-dependent unit phases. The name specifies this change of labels and combinations; by itself it does not assert that an arbitrary triple satisfies spherical-tensor commutation relations.

Let H0 be a linear operator diagonal in the specified basis, with real eigenvalues En and basis eigenvectors ∣n⟩. For the directed transition from ∣n⟩ to ∣m⟩, define ωmn=En−Em. Thus ωmn>0 exactly when the source energy En exceeds the destination energy Em.

Justification

The finite operator conventions make each displayed complex linear combination a well-defined operator. In the ordered input labels (x,y,z) and output labels (+1,−1,0), the coefficient matrix is U=(−1/2−i/201/2−i/20001). Here U acts on the component-label space C3 with its standard inner product, independently of the dimension d of H.

Direct multiplication gives UU†=U†U=I3, so U† is an inverse. For every coordinate column v∈C3, the induced norm satisfies ∥Uv∥2=(Uv)†(Uv)=v†U†Uv=v†v=∥v∥2. Thus U is an invertible linear isometry, hence a unitary operator by Linear isometries, and orthogonal or unitary operators on finite-dimensional inner product spaces. This verifies the needed implication directly, without assuming a matrix characterization of unitarity.

For phases p+1,p−1,p0 with ∣pq∣=1, let P=diag⁡(p+1,p−1,p0). Then P†P=PP†=I3, so U†P† is an inverse of PU, and ∥PUv∥2=∑q∣pq(Uv)q∣2=∑q∣(Uv)q∣2=∥Uv∥2=∥v∥2. Therefore multiplying output components by unit phases also gives a unitary coordinate change under the same definition.

The directed energy difference agrees with the source-minus-destination convention in Calibrated diagonal lifts and transition phase differences, and its sign statement follows by subtraction of real numbers.

Depends on

Used by · 4

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