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.
Phenomenological angular-momentum degeneracy lift
PDF p. 3: Eq. (11); PDF p. 2: Fig. 1(b); PDF p. 13: Final paragraph of S3
Postulate
Use the angular-momentum emitter model in units with . For a real lifting strength , add the phenomenological term to the emitter Hamiltonian. Here labels a spin block and labels its magnetic states. The term is separate from the spontaneous-decay coupling; it is introduced to study the effect of lifting degeneracy on decay-path distinguishability.
For the finite-emitter realization, the sum runs over the finitely many complete spin blocks retained in the emitter model. A state's lift is . Thus a transition from to has lift contribution to its source-minus-destination energy. In particular, for fixed and , this contribution changes with the source label when . The article's Fig. 1(b) illustrates to transitions; its marked and are the signed lift shifts of the , and levels relative to their unlifted energies.
This postulate specifies energy shifts, not an environmental measurement or a complete decay channel. Different transition energies alone do not establish perfect path discrimination or a measured recovery performance. The article's unrestricted sum is model notation; no domain or self-adjointness claim for an infinite-block operator is made here.
Postulate references
Facts & Assumptions
The emitter model uses orthonormal angular-momentum states, an emitter Hamiltonian diagonal in , and a separate electric-dipole coupling to the photon bath; its finite realization retains finitely many complete spin blocks and a regulated bath. Angular-momentum emitter, photon bath, and dipole approximation
In a spin- block the magnetic labels run from to in unit steps. Finite spin blocks, spherical tensors and Clebsch–Gordan phases
For a finite diagonal lift with eigenvalues , the change in a directed transition energy is the source eigenvalue minus the destination eigenvalue . Calibrated diagonal lifts and transition phase differences
Assume the Axioms of Choice, Countable Choice and Dependent Choice used by the emitter model's regulated bath construction. The Axiom of Choice The Axiom of Countable Choice (AC_ω) The axiom of dependent choice: a relation in which every element is related to something admits an ℕ-indexed chain
Justification
By [F1] and [F2], the finite sum has an orthonormal basis of eigenvectors and real eigenvalues ; it therefore defines a Hermitian diagonal operator. Adding it to the emitter term while leaving the bath coupling as specified is the physical modeling assumption, rather than a derivation of a particular field or apparatus.
By [F3], the shift for the stated transition is . For , the shifts at and are respectively and , matching the figure's labels. These are signed shifts; their magnitudes are and . The frequency calculation does not specify the bath's conditional states, so the distinguishability motivation does not assert perfect discrimination.
Depends on
- Angular-momentum emitter, photon bath, and dipole approximation
- Calibrated diagonal lifts and transition phase differences
- Finite spin blocks, spherical tensors and Clebsch–Gordan phases
- The Axiom of Choice
- The Axiom of Countable Choice (AC_ω)
- The axiom of dependent choice: a relation in which every element is related to something admits an ℕ-indexed chain
Used by · 13
- Source-dependent versus uniform Zeeman shifts
- Small-lift amplitude approximation and energy-scale scope
- Exact and thresholded Kraus ranks for J at most two
- Jump histories, distinguishability, and limits of Kraus rank
- Minimal-code decay detection without correction
- Detection-code errors retain partial logical information
- Checking-time comparison under the Jm lift
- Spacing interpretation and rate-normalization qualification
- Changing the lift to rotational-energy scaling
- Aydin–Barg fidelity time curves and complete-information-loss plateau
- Zero-lift checking-time fits versus physical decay rate
- Weak rotational symmetry and decoupled operator sectors
- Lindbladian exponentiation and Choi Kraus extraction
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. 3, Eq. (11) and following paragraph; p. 2, Fig. 1(b) and caption; p. 13, final paragraph of S3