Alphabeta Math
Physics theoremStatement: AI-adaptedProof: AI-adaptedPipeline-generated
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

Physical scope

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 (a,b) and the page data cj,M,νb,Ab 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 γb(t) 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 (ACω), The Axiom of Choice) and the density hypothesis: νb=Jbλ for a declared Lebesgue-measurable representative Jb:R→[0,∞) of an L1(λ) class, with Jb=0 λ-almost everywhere on R∖(0,Λ], continuous at Δ. All point values below refer to this representative; continuity means that for every ϵ>0 there is δ>0 such that ∣Jb(E)−Jb(Δ)∣<ϵ whenever ∣E−Δ∣<δ. 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 0<Δ<Λ and Jb(Δ)>0, then lim⁡t→∞γb(t)t=2πη02ℏ Jb(Δ);

(b) (above-cutoff limit) if Δ>Λ, then lim⁡t→∞γb(t)/t=0; the boundary case Δ=Λ is not asserted;

(c) (rate reading) the theorem declares the model rate coefficient Γb:=2πη02ℏ Jb(Δ)(0<Δ<Λ), read in s−1 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 Jb, the cutoff Λ or the coupling η0 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 Γb 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 Jb with its continuity and positivity at Δ, the single-vertex coefficient γb(t) and the model rate coefficient Γb.

[F1]
[F2]

Golden-rule limit. For Ab and νb as in the model, if νb=Jbλ with Jb:R→[0,∞) the declared measurable integrable representative, Jb=0 λ-a.e. on R∖(0,Λ] and Jb continuous at Δ, then lim⁡t→∞1t∥Ab(⋅,t)∥h2=2πη02ℏJb(Δ) when 0<Δ<Λ, and the same limit equals 0 when Δ>Λ; the boundary case Δ=Λ is excluded (Golden-rule coefficient approximate identity clause (iii)).

[F3]

Density and units. A measure with density Jb is given by νb(B)=∫BJb dλ; 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 η0 and of the gj (The measure with density f relative to μ, The space Lp(μ) as the quotient by null functions).

[F4]

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 γb 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

technique · direct; divide the model's coefficient identity by $t$ and apply the cited golden-rule limit, then read the result as a model coefficient

Given: The data of the statement and [F1]-[F4].

1.1F1F2F3algebra

[Resonant limit] By [F1], γb(t)/t=η02∫RKt(E−Δ)dνb(E) for t>0; substituting the density Jb by [F3] and applying the first case of [F2] gives lim⁡tγb(t)/t=η02⋅2πℏJb(Δ). This is (a).

1.2F1F2algebra

[Above-cutoff limit] With the same identity and the second case of [F2], γb(t)/t→0 when Δ>Λ; the cited item excludes Δ=Λ, so no statement is made there. This is (b).

2.1F1F2F3F4step 1.1step 1.2∎

[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 γb(t)/t 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

Dependency tree · 2 levels

Sources