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.
Vacuum Rabi oscillation
A conditional single-excitation calculation in the ideal closed Jaynes–Cummings two-level, one-mode rotating-wave model. It predicts periodic excitation transfer and revival within that model, not irreversible decay or continuum spontaneous emission. No measured oscillation or apparatus record is asserted.
Example
In the resonant Jaynes–Cummings model (), prepare the atom and field in and let the ideal model evolve for time . The assigned excited-state PVM then gives excitation probability . If , the population returns to one at , ; if , it remains one. This is a periodic model prediction, not irreversible spontaneous decay or a reported observation.
Example references
Facts & Assumptions
Given: Resonance , real , , time , initial state , and the closed Jaynes–Cummings model.
The adopted single-mode, two-level rotating-wave model and its AC/CC assumptions are those of Jaynes–Cummings invariant blocks and Rabi frequency; no continuum bath or experiment is included.
Assume AC and as mathematical premises carried by the model and Fock-domain suppliers. Adopt the isolated autonomous dynamics postulate P4 for the self-adjoint Hamiltonian supplied by the Jaynes–Cummings theorem; this is a model assumption, not an empirical claim (The Axiom of Choice, The Axiom of Countable Choice (), Autonomous dynamics postulate P4: self-adjoint generators and unitary evolution, Assigned energy observable, unitary flow and the two pictures of autonomous evolution).
On resonance, the invariant block has matrix in that ordered orthonormal basis, where (Jaynes–Cummings invariant blocks and Rabi frequency).
For the self-adjoint assigned energy , P4 defines the model evolution on all states by through its spectral calculus (Autonomous dynamics postulate P4: self-adjoint generators and unitary evolution, Assigned energy observable, unitary flow and the two pictures of autonomous evolution).
For the excited-state projection , the assigned probability of its outcome in a unit state is (Declared ideal measurements and instruments of the framework).
Proof
Define and . The block matrix in [F1] gives and . Thus these orthonormal vectors are global eigenvectors of the self-adjoint Hamiltonian, including when .
Since , P4 [F2] evolves it to by applying the spectral exponential to the two eigenvectors from step 1.1.
The vectors and are orthogonal, so the squared norm of the excited projection of the state in step 2.1 is . The PVM rule [F3] makes this the assigned excited-state probability. If , it returns to one at for ; if , it stays one for every . This periodicity is a model deduction, not irreversible decay or an experimental observation.
Depends on
Jaynes–Cummings invariant blocks and Rabi frequency
Autonomous dynamics postulate P4: self-adjoint generators and unitary evolution
Assigned energy observable, unitary flow and the two pictures of autonomous evolution
Declared ideal measurements and instruments of the framework
The Axiom of Choice
The Axiom of Countable Choice ()