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.
Finite diagonal lift and its relative frequency window
Statement
Fix a spin label and the spin blocks and . Let and be diagonal in their combined orthonormal spin basis, with real eigenvalues and , respectively, for and , where is real. Use units with , so directed frequencies are source energies minus destination energies.
For every formal triple with and , define . Then . The pair designates existing spin states only when . For such a pair, is the change of its directed frequency on replacing by . This is an energy-difference statement and does not assert that a transition matrix element is nonzero; for labels without a destination state, remains only a formal algebraic expression.
If the transitions under consideration have unperturbed directed frequency , where , then . For , all their shifted frequencies remain positive. The relative bound and positivity of the formal numbers also hold for every listed formal triple.
Facts & Assumptions
The spin convention supplies the blocks with orthonormal basis labels . Thus a destination in must have its magnetic label in that block's range. Finite spin blocks, spherical tensors and Clebsch–Gordan phases
If the unperturbed operator and lift are diagonal in the same specified basis, replacing the former by their sum changes a directed source-minus-destination energy difference by the source lift eigenvalue minus the destination lift eigenvalue. Calibrated diagonal lifts and transition phase differences
Proof
Given: The common diagonal spin basis, real eigenvalues, formal label ranges and positive unperturbed frequency specified in the Statement. Goal: Establish the algebraic window, its transition-energy interpretation on existing states, and positivity.
For every formal triple, and . Since , the triangle inequality gives . No destination state is needed for this algebraic inequality.
When is in the magnetic range of , both states exist by [F1] and are common eigenvectors of and by hypothesis. Applying [F2] changes their directed frequency by . A zero matrix element does not alter this energy-difference identity or establish a nonzero transition. Outside that destination range only the formal expression in step 1.1 is asserted.
Divide the inequality in step 1.1 by to obtain . If , then for every formal triple. For each existing-state pair whose unperturbed directed frequency is , step 2.1 identifies this positive number as its shifted frequency.
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.