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 , , be a finite operator space with its specified orthonormal basis, and let be linear operators. In the displayed phase convention their spherical components are , , and . 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 be a linear operator diagonal in the specified basis, with real eigenvalues and basis eigenvectors . For the directed transition from to , define . Thus exactly when the source energy exceeds the destination energy .
Definition references
Justification
The finite operator conventions make each displayed complex linear combination a well-defined operator. In the ordered input labels and output labels , the coefficient matrix is . Here acts on the component-label space with its standard inner product, independently of the dimension of .
Direct multiplication gives , so is an inverse. For every coordinate column , the induced norm satisfies . Thus 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 with , let . Then , so is an inverse of , and . 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
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.16) and preceding sentence