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.
The golden-rule limit of the single-vertex emission coefficient and its reading as a model rate coefficient
The limit, as the time parameter of the single-vertex emission coefficient of the declared finite-level cutoff dipole model grows, of that coefficient divided by the time; the reading of the limit as a model rate coefficient under a declared continuous positive mode density; and the explicit exclusion of the cases in which the transition energy exceeds the cutoff or equals it. The theorem asserts no exact exponential decay, no lifetime, no linewidth, no weak-coupling or Markov property of the model's evolution, no environment, no detector and no measured rate.
Statement
Adopt the model, the declared upward level pair and the page data of The declared finite-level matter model and its cutoff dipole coupling to the transverse radiation sector and Spectral-transition readings of the coupled model: dipole coefficients, the single-vertex photon density and ideal energy-window detection, and the single-vertex emission coefficient of 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 clause (a). Assume the Axioms of Countable Choice and of Choice (The Axiom of Countable Choice (), The Axiom of Choice) and the density hypothesis: for a declared Lebesgue-measurable representative of an class, with -almost everywhere on , continuous at . All point values below refer to this representative; continuity means that for every there is such that whenever . Two representatives of the same class that are continuous at have the same value there: otherwise continuity of their difference gives a nonzero difference throughout a neighborhood of positive measure, contradicting equality almost everywhere. Then:
(a) (resonant limit) if and , then
(b) (above-cutoff limit) if , then ; the boundary case is not asserted;
(c) (rate reading) the theorem declares the model rate coefficient read in by the unit convention of the model (the interaction term is read in joules), as the model's reading of the limit in (a); the identification of the mode density , the cutoff or the coupling with laboratory data is a tested identification with uncertainty under P7 (Preparation and apparatus postulate P7: declared preparations, isolation and sampling assumptions);
(d) (scope) clauses (a)-(c) concern the limit of the explicit single-vertex coefficient per unit time. They assert no exact exponential decay of any population, no lifetime or linewidth, no weak-coupling, Markov or environmental property of the model's exact evolution, no all-time validity of a rate law and no measured rate; in particular is a property of the declared model together with its declared mode density, not an observed decay constant.
Facts & Assumptions
Given: the model data and level pair of the statement, the density with its continuity and positivity at , the single-vertex coefficient and the model rate coefficient .
Coefficient identity. For every , , and (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 clause (a), 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 limit. For and as in the model, if with the declared measurable integrable representative, -a.e. on and continuous at , then when , and the same limit equals when ; the boundary case is excluded (Golden-rule coefficient approximate identity clause (iii)).
Density and units. A measure with density is given by ; energies and times are read in joules and seconds as in Dimensions, SI unit conventions and quantity types of the framework, and the interaction convention of The declared finite-level matter model and its cutoff dipole coupling to the transverse radiation sector clause (c) fixes the units of and of the (The measure with density relative to , The space as the quotient by null functions).
Model and outcome readings. The readings of P1, P2 and P7 and of Assigned sharp observables and the outcome law of the framework are those adopted in the model; the coefficient is a defined model quantity of Spectral-transition readings of the coupled model: dipole coefficients, the single-vertex photon density and ideal energy-window detection clause (d).
Proof
Given: The data of the statement and [F1]-[F4].
[Resonant limit] By [F1], for ; substituting the density by [F3] and applying the first case of [F2] gives . This is (a).
[Above-cutoff limit] With the same identity and the second case of [F2], when ; the cited item excludes , so no statement is made there. This is (b).
[Rate reading and scope] Clause (c) names the limit of (a) the model rate coefficient, with the model's unit convention recorded in [F3]; by [F4] it is a model quantity, and the laboratory identification of the density, cutoff or coupling is a tested identification under P7. Nothing in steps 1.1-1.2 formed an exponential decay law, a lifetime, a linewidth, a Markov or weak-coupling property or an observed rate: the limit is of the single-vertex coefficient divided by the time, and the exact-model probability is controlled only by the Dyson tail of 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 clause (b). This proves (c) and (d).
Remarks
- What the limit is not. The limit in clause (a) is a limit of for the single-vertex coefficient; it is not derived from the exact evolution, and its interpretation as a rate law over a time window requires the separate physical assumptions of a weak-coupling window and a mode-density model, which this pair states but does not prove.
- Cutoff behaviour. Clause (b) records the model's cutoff: a transition whose energy exceeds the declared cutoff has single-vertex coefficient per unit time tending to zero in the limit, because the photon density vanishes above ; the boundary case is left unasserted rather than assigned a value.
Depends on
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 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
Golden-rule coefficient approximate identity
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
Preparation and apparatus postulate P7: declared preparations, isolation and sampling assumptions
Assigned sharp observables and the outcome law of the framework
Dimensions, SI unit conventions and quantity types of the framework
The measure with density relative to
The space as the quotient by null functions
The Axiom of Countable Choice ()
The Axiom of Choice
Dependency tree · 2 levels
Sources
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, Section 9.3.1 printed pages 214-215 (PDF pages 222-223): Fermi's golden rule as a long-time approximation with a continuum of final states and a density of states, and the warning that rates cannot remain linear probabilities for arbitrarily large times
- S. Pratt, Lecture Notes on Quantum Mechanics (Michigan State University, PHY 851/852; Internet Archive snapshot of 2024-04-21), Chapter 6 Sections 6.8-6.9 printed pages 95-97: time-dependent perturbation theory and the golden-rule rate
- R. Fitzpatrick, Quantum Mechanics (University of Texas at Austin, author-hosted course text), Chapter 13 Sections 13.5-13.9 pp. 175-190: the first-order emission coefficient and its long-time behaviour