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.
First-order emission and absorption amplitudes of the cutoff dipole model, and the exact model probability of the one-photon level-b projection up to the Dyson tail
The first-order Dyson amplitudes of the declared finite-level cutoff dipole model between a declared upward level pair and the one-photon sector, with the exact model probability of the level-b one-photon projection controlled by the explicit Dyson tail, and the exact mirror relation between the single-vertex emission amplitude into a unit one-photon vector and the single-vertex absorption amplitude from it. The theorem is conditional on the model data, on the cited mathematics and on the finite time interval; it asserts no rate, no decay, no linewidth, no measurement record, no environment and no empirical result, and it does not identify the model's amplitudes with laboratory transition rates.
Statement
Adopt the model of The declared finite-level matter model and its cutoff dipole coupling to the transverse radiation sector with its data , , , , , , and a declared upward level pair with transition energy and page coefficients , mode vector and photon density of Spectral-transition readings of the coupled model: dipole coefficients, the single-vertex photon density and ideal energy-window detection clauses (b),(c). Write and , so that on . Assume the Axioms of Countable Choice and of Choice (The Axiom of Countable Choice (), The Axiom of Choice). Fix , put and let . For let denote the first interaction-picture Dyson term of the model with initial vector , as in Vacuum emission Dyson convergence clause (b). Then:
(a) (single-vertex emission vector) the component of in the one-photon sector at level is with the single-vertex emission vector of Spectral-transition readings of the coupled model: dipole coefficients, the single-vertex photon density and ideal energy-window detection clause (d) and The first-order emitted-photon energy law: factorised kernel, normalisation, concentration at the transition energy and positivity on positive-measure windows; consequently the single-vertex emission coefficient of the model is
(b) (exact model probability up to the Dyson tail) let and let be the model's probability of the spectral value of the assigned sharp observable in the evolved preparation of at time (the reading of P2, Observable and probability postulate P2: self-adjoint observables, spectral probability and finite unsharp outcomes, Assigned sharp observables and the outcome law of the framework). Then for , in particular the exact probability equals the single-vertex coefficient up to the explicit Dyson tail, which is not asserted to be small;
(c) (absorption mirror) let be a unit vector, let be the first interaction-picture Dyson term with initial vector , defined as a norm integral using the finite-photon-sector creation/contraction action, and define the physical transition amplitudes with the output vector in the first slot, Then for every , and hence This compares the reverse transitions for the same level pair, the same unit one-photon vector and the same real coupling , retaining arbitrary complex Hermitian dipole matrices and transverse mode vectors;
(d) (scope) clauses (a)-(c) are statements about the model's first-order Dyson terms and about one projection probability of the exact model evolution. No rate, exponential decay, linewidth, environment, sampling model or measurement record is asserted; the identification of a laboratory preparation with and of a laboratory detector with the observable is a tested identification with uncertainty under P7 (Preparation and apparatus postulate P7: declared preparations, isolation and sampling assumptions); and no value of , , or is asserted.
Facts & Assumptions
Given: the model data , the upward level pair with and the page coefficients , the operators , the interval , the constant , the tail , the initial vectors and , and the projections and .
Self-adjointness and Dyson hypotheses. is self-adjoint on (the case of Cutoff dipole relative bound clause (c)); is symmetric on that domain with -bound zero, and is self-adjoint there and bounded below (Cutoff dipole relative bound clauses (a)-(c)); with , , and on the one-photon sector by the finite-sector creation/contraction bounds (Closed adjoint sector domains clauses (a),(c),(d), Transverse continuum free Fock Hamiltonian).
Dyson expansion and tail. With and the iterated integrals of Vacuum emission Dyson convergence clause (b), the series converges in the graph norm of uniformly for in compact sets, for every , and for , , (Vacuum emission Dyson convergence clauses (b)-(d)); in particular, applying and taking , for , where .
Spectral block of the free evolution. , and for , , and real , ; moreover and , because , and is Hermitian (The declared finite-level matter model and its cutoff dipole coupling to the transverse radiation sector clauses (b),(d), Real and complex inner product spaces, with the inner product linear in the first argument, Orthonormal families, complete orthonormal systems and Hilbert bases).
One-photon sector and pairing. is the orthogonal projection of onto the one-photon sector, the one-photon sector at level in is , whose level- part is ; a vector with is paired by (Fock sector projections, Hilbert space, Real and complex inner product spaces, with the inner product linear in the first argument).
Kernel and coefficient. for and (The first-order emitted-photon energy law: factorised kernel, normalisation, concentration at the transition energy and positivity on positive-measure windows clause (a), Golden-rule coefficient approximate identity clauses (ii),(iii)).
Projection probability comparison. For arbitrary vectors of a complex Hilbert space and an orthogonal projection , ; and the model reads the probability of the spectral value of in a unit vector as (Observable and probability postulate P2: self-adjoint observables, spectral probability and finite unsharp outcomes, Assigned sharp observables and the outcome law of the framework, Declared ideal measurements and instruments of the framework, Real and complex inner product spaces, with the inner product linear in the first argument).
Framework readings. Times and energies are read in seconds and joules as in Dimensions, SI unit conventions and quantity types of the framework; is the unitary multiplication action of the one-particle energy on (Transverse continuum free Fock Hamiltonian, A bounded linear operator between normed spaces, The operator norm as the least bound and as the unit-sphere or unit-ball supremum).
Proof
Given: The data of the statement and [F1]-[F7].
[The first Dyson term in the one-photon sector at level ] By [F1] and [F2], with . The free initial phase is , and . In the linear-first convention, the coefficient of in is by [F3]. Consequently . The bounded projection passes through the vector integral, giving by the definition of . Equivalently, for every , , with all coefficients in the linear first slot.
[The coefficient] Clause (a) of The first-order emitted-photon energy law: factorised kernel, normalisation, concentration at the transition energy and positivity on positive-measure windows with gives , which is . This proves (a).
[Absorption mirror] For a unit , the first Dyson term with initial vector is well defined as a norm integral: the free evolution preserves the one-photon sector, and the creation/contraction bounds [F1] bound each vertex uniformly from that sector to the vacuum plus two-photon sectors. The sector maps are bounded and free evolution is strongly continuous, giving a norm-continuous integrand; these sector formulas supply the extension even when . No full Dyson-series assertion for this initial vector is used. Set . The vacuum component of is in the linear-first convention. The coefficient of in is by [F3]; thus . Integrating with in the first slot gives the displayed absorption amplitude. Step 1.1 and unitarity give . Since is real, conjugating this scalar integral proves and equal moduli, including or . This proves (c) for the full complex couplings.
[Exact projection probability] Since commutes with (both are diagonal in the level basis and is the degree-one Fock-sector projection and the free field group preserves every particle-number sector, [F1], [F4]), [F2] gives , so by unitarity. By [F2], , and because has no photons ([F4]), so . [F6] and step 1.1 then give since and . This proves (b).
[Scope and assembly] Steps 1.1 and 2.1 prove (a), step 3.1 proves (b) and step 2.2 proves (c). Only the model's first-order Dyson terms, one projection probability and the finite interval entered; neither a rate, a decay, a linewidth, an environment nor a sampling model was formed, and no laboratory identification was made, which is (d).
Remarks
- Why the exact probability is not identified with the coefficient. The projection annihilates the vacuum and every sector of photon number different from one, but the Dyson terms of odd order can return to the one-photon sector; clause (b) therefore controls the exact probability by the tail rather than asserting equality. This is the explicit sense in which the single-vertex coefficient is a first-order model quantity.
- The mirror is an algebraic identity, not a detailed-balance theorem. Clause (c) relates the reverse first-order amplitudes of the same level pair and the same one-photon vector by . It assumes nothing about populations, temperatures or equilibrium; equality of moduli follows from the Hermitian coupling and the linear-first amplitude convention.
Depends on
The declared finite-level matter model and its cutoff dipole coupling to the transverse radiation sector
Spectral-transition readings of the coupled model: dipole coefficients, the single-vertex photon density and ideal energy-window detection
The first-order emitted-photon energy law: factorised kernel, normalisation, concentration at the transition energy and positivity on positive-measure windows
Vacuum emission Dyson convergence
Cutoff dipole relative bound
Golden-rule coefficient approximate identity
Transverse continuum free Fock Hamiltonian
Closed adjoint sector domains
State and composition postulate P1: Hilbert spaces, preparations and composite systems
Observable and probability postulate P2: self-adjoint observables, spectral probability and finite unsharp outcomes
Autonomous dynamics postulate P4: self-adjoint generators and unitary evolution
Ideal conditional measurement postulate P3: the projective Lueders update and discarded outcomes
The state space of the framework: preparations, pure rays and density operators
The state space: density operators, pure and mixed states, and purity
Assigned sharp observables and the outcome law of the framework
Declared ideal measurements and instruments of the framework
Dimensions, SI unit conventions and quantity types of the framework
Hilbert space
Real and complex inner product spaces, with the inner product linear in the first argument
Orthonormal families, complete orthonormal systems and Hilbert bases
The operator norm as the least bound and as the unit-sphere or unit-ball supremum
A bounded linear operator between normed spaces
Symmetric, self-adjoint and essentially self-adjoint operators
The Axiom of Countable Choice ()
The Axiom of Choice
Preparation and apparatus postulate P7: declared preparations, isolation and sampling assumptions
Fock sector projections
Dependency tree · 2 levels
Sources
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, Section 9.3.2 printed pages 215-218 (PDF pages 223-226): the first-order transition amplitude induced by a classical wave, the squared dipole matrix element, and stimulated emission and absorption at equal rates
- R. Fitzpatrick, Quantum Mechanics (University of Texas at Austin, author-hosted course text), Chapter 13 Sections 13.5-13.9 pp. 175-190 (the Dyson expansion, first-order amplitudes and spontaneous-emission coefficient)
- S. Pratt, Lecture Notes on Quantum Mechanics (Michigan State University, PHY 851/852; Internet Archive snapshot of 2024-04-21), Chapter 14 Section 14.3 printed page 221: coupling to a classical current that does not change state, contrasted with emission by an atom that changes state