Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicable
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 ℏ=1. For a real lifting strength Δ, add the phenomenological term HΔ=Δ∑J,mJm∣J,m⟩⟨J,m∣ to the emitter Hamiltonian. Here J labels a spin block and m=−J,−J+1,…,J 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 ΔJm. Thus a transition from ∣J,m⟩ to ∣J−1,m+δ⟩ has lift contribution Δ[m−(J−1)δ] to its source-minus-destination energy. In particular, for fixed J and δ, this contribution changes with the source label m when Δ≠0. The article's Fig. 1(b) illustrates J=4 to J=3 transitions; its marked 6Δ and 9Δ are the signed lift shifts of the J=3, m=2 and m=3 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.

Facts & Assumptions

[F1]

The emitter model uses orthonormal angular-momentum states, an emitter Hamiltonian diagonal in J,m, 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

[F2]

In a spin-J block the magnetic labels run from −J to J in unit steps. Finite spin blocks, spherical tensors and Clebsch–Gordan phases

[F3]

For a finite diagonal lift with eigenvalues dx, the change in a directed transition energy is the source eigenvalue dx minus the destination eigenvalue dy. Calibrated diagonal lifts and transition phase differences

[A1]

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 ΔJm; 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 Δ[Jm−(J−1)(m+δ)]=Δ[m−(J−1)δ]. For J=3, the shifts at m=2 and m=3 are respectively 6Δ and 9Δ, matching the figure's labels. These are signed shifts; their magnitudes are 6∣Δ∣ and 9∣Δ∣. The frequency calculation does not specify the bath's conditional states, so the distinguishability motivation does not assert perfect discrimination.

Depends on

Used by · 13

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