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.

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

Physical scope

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 d, Ha, Djch, Λ, gj, η0, and a declared upward level pair (a,b) with transition energy Δ=Ea−Eb>0 and page coefficients cj=⟨Djchva,vb⟩, mode vector M and photon density νb of Spectral-transition readings of the coupled model: dipole coefficients, the single-vertex photon density and ideal energy-window detection clauses (b),(c). Write H0:=Ha⊗I+I⊗Hf and B:=η0∑jDjch⊗ϕ(gj), so that HLM=H0+B on Cd⊗D(Hf). Assume the Axioms of Countable Choice and of Choice (The Axiom of Countable Choice (ACω), The Axiom of Choice). Fix T>0, put C:=2ℏ∑j=1J∥Djch∥ ∥gj∥h,ε2(t):=∑n≥2(∣η0∣Ct)nn!(0≤t≤T), and let Ψ0:=va⊗Ω. For t≥0 let Ψ1(t) denote the first interaction-picture Dyson term of the model with initial vector Ψ0, as in Vacuum emission Dyson convergence clause (b). Then:

(a) (single-vertex emission vector) the component of Ψ1(t) in the one-photon sector at level b is vb⊗Ab(⋅,t), with Ab(⋅,t) 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(t)=η02 t∫RKt(E−Δ) dνb(E)(t>0);

(b) (exact model probability up to the Dyson tail) let Qb:=∣vb⟩⟨vb∣⊗Π1 and let pb(t):=∥Qb e−itHLM/ℏΨ0∥2 be the model's probability of the spectral value 1 of the assigned sharp observable (Qb,1) in the evolved preparation of Ψ0 at time t (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 0≤t≤T, ∣pb(t)−γb(t)∣≤ε2(t)(2∥Ab(⋅,t)∥h+ε2(t)); 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 g∈h be a unit vector, let Ψ1g(t) be the first interaction-picture Dyson term with initial vector Φ0=vb⊗g, 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, αem(t):=⟨Ψ1(t),vb⊗g⟩,αabs(t):=⟨Ψ1g(t),va⊗Ω⟩. Then for every t≥0, αem(t)=−iη0ℏ∫0te−iΔs/ℏ⟨M,e−isε/ℏg⟩h ds,αabs(t)=−iη0ℏ∫0te+iΔs/ℏ⟨M,e−isε/ℏg⟩h‾ ds, and hence αabs(t)=−αem(t)‾,∣αabs(t)∣=∣αem(t)∣. This compares the reverse transitions for the same level pair, the same unit one-photon vector g and the same real coupling η0, 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 Ψ0 and of a laboratory detector with the observable Qb is a tested identification with uncertainty under P7 (Preparation and apparatus postulate P7: declared preparations, isolation and sampling assumptions); and no value of η0, Djch, gj or Λ is asserted.

Facts & Assumptions

Given: the model data d,Ha,Djch,Λ,gj,η0, the upward level pair (a,b) with Δ>0 and the page coefficients cj,M,νb, the operators H0,B,HLM, the interval [0,T], the constant C, the tail ε2(⋅), the initial vectors Ψ0=va⊗Ω and Φ0=vb⊗g, and the projections Qb and Π1.

[F1]

Self-adjointness and Dyson hypotheses. H0 is self-adjoint on Cd⊗D(Hf) (the case η0=0 of Cutoff dipole relative bound clause (c)); B is symmetric on that domain with H0-bound zero, and HLM is self-adjoint there and bounded below (Cutoff dipole relative bound clauses (a)-(c)); ϕ(g)=A−(g)+A+(g) with A+(g)=A−(g)∗, ϕ(g)Ω=g, and on the one-photon sector ∥ϕ(g)h∥≤22∥g∥∥h∥ by the finite-sector creation/contraction bounds (Closed adjoint sector domains clauses (a),(c),(d), Transverse continuum free Fock Hamiltonian).

[F2]

Dyson expansion and tail. With V(t):=eitH0/ℏBe−itH0/ℏ and the iterated integrals Ψn(t) of Vacuum emission Dyson convergence clause (b), the series ∑n≥0Ψn(t) converges in the graph norm of Hf uniformly for t in compact sets, e−itH0/ℏ∑n≥0Ψn(t)=e−itHLM/ℏΨ0 for every t≥0, and for 0≤t≤T, N≥1, ∥e−itHLM/ℏΨ0−e−itH0/ℏ∑n=0N−1Ψn(t)∥≤∑n≥N(∣η0∣Ct)nn! (Vacuum emission Dyson convergence clauses (b)-(d)); in particular, applying eitH0/ℏ and taking N=2, ∥Ψ(t)−(Ψ0+Ψ1(t))∥≤ε2(t) for 0≤t≤T, where Ψ(t):=eitH0/ℏe−itHLM/ℏΨ0.

[F3]

Spectral block of the free evolution. H0(va⊗Ω)=Ea(va⊗Ω), and for u∈Cd, h∈h, j and real s, eisH0/ℏ(Djchu⊗gj)=eisHa/ℏDjchu⊗eisε/ℏgj; moreover ⟨eisHa/ℏDjchva,vb⟩=eisEb/ℏcj and ⟨eisHa/ℏDjchvb,va⟩=eisEa/ℏcj‾, because Hava=Eava, Havb=Ebvb and Djch 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).

[F4]

One-photon sector and pairing. Π1 is the orthogonal projection of F(h) onto the one-photon sector, the one-photon sector at level d in Cd⊗F(h) is Cd⊗ran⁡Π1, whose level-b part is Cvb⊗h; a vector vb⊗f with f∈h is paired by ⟨vb⊗f,vb⊗f′⟩=⟨f,f′⟩h (Fock sector projections, Hilbert space, Real and complex inner product spaces, with the inner product linear in the first argument).

[F5]

Kernel and coefficient. γb(t)=∥Ab(⋅,t)∥h2=η02t∫Kt(E−Δ)dνb(E) for t>0 and Ab(⋅,t)∈h (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)).

[F6]

Projection probability comparison. For arbitrary vectors ψ,φ of a complex Hilbert space and an orthogonal projection P, ∣∥Pψ∥2−∥Pφ∥2∣≤∥P(ψ−φ)∥ (∥Pψ∥+∥Pφ∥)≤∥ψ−φ∥(∥Pψ∥+∥Pφ∥); and the model reads the probability of the spectral value 1 of (Qb,1) in a unit vector ψ as ∥Qbψ∥2 (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).

[F7]

Framework readings. Times and energies are read in seconds and joules as in Dimensions, SI unit conventions and quantity types of the framework; u↦eisε/ℏu is the unitary multiplication action of the one-particle energy on h (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

technique · direct; evaluate the first interaction-picture Dyson term against the level-$b$ one-photon sector, compare the exact one-photon projection probability with the first-order coefficient through the Dyson tail, and compute the reverse-direction amplitude by the same expansion

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

1.1F1F2F3F4F7algebra

[The first Dyson term in the one-photon sector at level b] By [F1] and [F2], Ψ1(t)=−(i/ℏ)∫0tV(s)Ψ0 ds with V(s)=eisH0/ℏBe−isH0/ℏ. The free initial phase is e−isH0/ℏΨ0=e−isEa/ℏΨ0, and BΨ0=η0∑jDjchva⊗gj. In the linear-first convention, the coefficient of vb in eisHa/ℏDjchva is ⟨eisHa/ℏDjchva,vb⟩=eisEb/ℏcj by [F3]. Consequently QbV(s)Ψ0=vb⊗η0e−isΔ/ℏeisε/ℏM. The bounded projection passes through the vector integral, giving QbΨ1(t)=vb⊗[−(iη0/ℏ)∫0te−isΔ/ℏeisε/ℏM ds]=vb⊗Ab(⋅,t) by the definition of Ab. Equivalently, for every f∈h, ⟨Ψ1(t),vb⊗f⟩=⟨Ab(⋅,t),f⟩, with all coefficients in the linear first slot.

2.1F5step 1.1algebra

[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 t>0 gives ∥Ab(⋅,t)∥h2=η02t∫Kt(E−Δ)dνb(E), which is γb(t). This proves (a).

2.2F1F3F4F7step 1.1algebra

[Absorption mirror] For a unit g∈h, the first Dyson term with initial vector Φ0=vb⊗g 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 g∉D(ε). No full Dyson-series assertion for this initial vector is used. Set hs=e−isε/ℏg. The vacuum component of ϕ(gj)hs is ⟨hs,gj⟩Ω in the linear-first convention. The coefficient of va in eisHa/ℏDjchvb is eisEa/ℏcj‾ by [F3]; thus ⟨V(s)Φ0,va⊗Ω⟩=η0eisΔ/ℏ∑jcj‾⟨hs,gj⟩=η0eisΔ/ℏ⟨M,hs⟩‾. Integrating with −i/ℏ in the first slot gives the displayed absorption amplitude. Step 1.1 and unitarity give αem=−(iη0/ℏ)∫0te−isΔ/ℏ⟨eisε/ℏM,g⟩ds=−(iη0/ℏ)∫0te−isΔ/ℏ⟨M,hs⟩ds. Since η0 is real, conjugating this scalar integral proves αabs=−αem‾ and equal moduli, including t=0 or η0=0. This proves (c) for the full complex couplings.

3.1F2F4F6step 1.1step 2.1algebra

[Exact projection probability] Since H0 commutes with Qb (both are diagonal in the level basis and Π1 is the degree-one Fock-sector projection and the free field group preserves every particle-number sector, [F1], [F4]), [F2] gives Qbe−itHLM/ℏΨ0=Qbe−itH0/ℏΨ(t)=e−itH0/ℏQbΨ(t), so ∥Qbe−itHLM/ℏΨ0∥=∥QbΨ(t)∥ by unitarity. By [F2], ∥Ψ(t)−(Ψ0+Ψ1(t))∥≤ε2(t), and QbΨ0=0 because Ψ0 has no photons ([F4]), so ∥QbΨ(t)−QbΨ1(t)∥≤ε2(t). [F6] and step 1.1 then give ∣pb(t)−γb(t)∣≤ε2(t)(2∥Ab(⋅,t)∥h+ε2(t)), since ∥QbΨ1(t)∥=∥Ab(⋅,t)∥ and ∥QbΨ(t)∥≤∥Ab(⋅,t)∥+ε2(t). This proves (b).

4.1step 1.1step 2.1step 2.2step 3.1∎

[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 [0,T] 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 Qb annihilates the vacuum and every sector of photon number different from one, but the Dyson terms of odd order n≥3 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 αabs=−αem‾. It assumes nothing about populations, temperatures or equilibrium; equality of moduli follows from the Hermitian coupling and the linear-first amplitude convention.

Depends on

Dependency tree · 2 levels

Sources