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.

Stimulated dipole-drive transitions of the finite-level model: first-order amplitudes, equal emission and absorption coefficients, and the exact two-level identification

Physical scope

Stimulated transitions of the declared dipole-drive model: the first-order transition amplitude between two declared levels of the compressed matter energy under a continuous prescribed field with the explicit Dyson remainder, the co-rotating and counter-rotating terms of a monochromatic drive with the linear resonant growth, the equality of the first-order stimulated emission and absorption coefficients at opposite detunings, and the identification of declared two-level Pauli matter data with the exact circular and linear two-level drive models. The theorem is conditional on the prescribed classical field and the declared finite-level model; it asserts no quantized field, no photon, no spontaneous emission, no decay, no measurement record and no empirical result.

Statement

Adopt the prescribed dipole-drive model of The declared prescribed dipole-drive model and its long-wavelength regime with its matter data W≃Cd, Ha, D1W,D2W,D3W and its compact interval I=[t0,t1], the driven model of The declared driven model: prescribed time-dependent energy families, propagator evolution and the two-level drive models clause (b)(i) and the framework readings of P1, P2 and P7 (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). Assume the Axioms of Countable Choice and of Choice (The Axiom of Countable Choice (ACω), The Axiom of Choice). Let vi,vk be orthonormal eigenvectors of Ha with Havi=Eivi, Havk=Ekvk, put Δ:=Ek−Ei, take s,t∈I with s≤t, put τ:=t−s and let Aki(t,s)=eiEkτ/ℏ⟨U(t,s)vi,vk⟩ be the model's transition amplitude of clause (e) of the driven model with U(t,s) the propagator of the drive family Hd(r)=Ha−∑jEext,j(r)DjW. Then:

(a) (first-order amplitude and remainder) with Aki(1)(t,s)=iℏ∑j=13∫steiΔ(r−s)/ℏ Eext,j(r) ⟨DjWvi,vk⟩ dr, one has Aki(t,s)=δik+Aki(1)(t,s)+Rki(t,s) with ∣Rki(t,s)∣≤eKτ(Kτ)2/2, where K:=sup⁡r∈I∥V(r)∥/ℏ with V(r):=−∑jEext,j(r)DjW; in particular the first-order amplitude is the model's exact amplitude up to the displayed Dyson remainder;

(b) (monochromatic co- and counter-rotating terms) if Eext(r)=E0cos⁡(ωr+ϑ) with E0∈R3, ω,ϑ∈R and W:=−∑jE0,jDjW (a bounded self-adjoint operator on W), then V(r)=Wcos⁡(ωr+ϑ) and Aki(1)=a++a−,a±=−i2ℏ⟨Wvi,vk⟩e∓iϑ0ei(Δ∓ℏω)τ/ℏ−1i(Δ∓ℏω)/ℏ,ϑ0:=ωs+ϑ, with the value τ for the quotient when Δ∓ℏω=0; consequently the co-rotating term satisfies ∣a+∣=∣⟨Wvi,vk⟩∣ ∣sin⁡((Δ−ℏω)τ/(2ℏ))∣∣Δ−ℏω∣(Δ≠ℏω),∣a+∣=∣⟨Wvi,vk⟩∣τ2ℏ(Δ=ℏω), and the counter-rotating term satisfies ∣a−∣≤∣⟨Wvi,vk⟩∣/∣Δ+ℏω∣ whenever Δ+ℏω≠0;

(c) (equal stimulated coefficients) for the two-level case d=2 with orthonormal eigenvectors v↑,v↓, Hav↑=E↑v↑, Hav↓=E↓v↓ and Δ=E↑−E↓>0, the actual upward and downward first-order amplitudes under the same real prescribed field obey A↓↑(1)(t,s)=−A↑↓(1)(t,s)‾. In particular their squared moduli, the model's first-order stimulated emission and absorption coefficients, are equal. For the monochromatic field of (b), the upward co-rotating component at detuning Δ−ℏω and the reverse downward component at the opposite detuning ℏω−Δ have equal moduli as well; reversing the transition conjugates its matrix element and swaps the two exponential components, with the same overall minus-conjugation relation;

(d) (exact two-level identifications) if d=2 with the orthonormal basis (e↑,e↓) and the Pauli matrices of Finite spin matrices clause (e), if Ha=ℏω02σz,D1W=d σx,D2W=d σy,D3W=0 for some real d of unit C m, and if the prescribed field is Eext(r)=E0(cos⁡(ωr),sin⁡(ωr),0) with E0∈R, then Hd(r) is exactly the declared circular two-level drive model of clause (f) of The declared driven model: prescribed time-dependent energy families, propagator evolution and the two-level drive models with transverse coupling Ω1:=−2dE0/ℏ, so the exact Rabi populations of The circularly driven two-level model: exact rotating-frame reduction, Rabi populations, resonance and inversion times clause (b) are the model's level populations; if instead Eext(r)=E0(cos⁡(ωr),0,0) and D1W=dσx, D2W=D3W=0, then Hd(r) is the declared linear two-level drive model with the same Ω1 and the rotating-wave error contract of The linearly driven two-level model: rotating-wave approximation with an explicit finite-time error contract and the averaged Rabi populations clauses (b),(c) applies to it when ω≠0. For ω=0 the linear model is the constant Hamiltonian H∗=(ℏ/2)(ω0σz+Ω1σx) with exact propagator cos⁡(qτ/2)I−isin⁡(qτ/2)(ω0σz+Ω1σx)/q for q=ω02+Ω12>0, and I when q=0;

(e) (scope) clauses (a)-(d) concern the prescribed classical drive model. The field is unaffected by the matter's transitions; the model contains no quantized field, no photon number and no vacuum, so no spontaneous emission, no emission rate and no photon count is supplied by it. The identifications of Ha,DjW,d,Eext with a laboratory atom and field and of the initial preparation with an eigenvector of Ha are tested identifications with uncertainty under P7, and no value of ω0, d, E0, ω or Ω1 is asserted.

Facts & Assumptions

Given: the matter data and drive family of the model, the eigenvectors vi,vk and their energies, the elapsed time τ, the propagator U(t,s) and the amplitude Aki; where clauses (b)-(d) apply, the monochromatic data E0,ω,ϑ,W, the two-level Pauli data, and the assertion of the choice axioms.

[F1]

Driven model and its mathematics. The finite-dimensional family Hd(r)=Ha+V(r) with V(r)=−∑jEext,j(r)DjW belongs to the norm-continuous class and also to the bounded-control class of the driven model, with K=sup⁡I∥V(r)∥/ℏ; their propagators agree by uniqueness. Its amplitude is Aki=eiEkτ/ℏ⟨U(t,s)vi,vk⟩ as in clause (e) of The declared driven model: prescribed time-dependent energy families, propagator evolution and the two-level drive models satisfies the supplier's expansion Aki=δik+Aki(1)+Rki with ∣Rki∣≤eKτ(Kτ)2/2 and the stated sinusoidal decomposition, co-rotating value and counter-rotating bound (First-order transition amplitudes for a bounded control: Dyson remainder, the sinusoidal drive with its co- and counter-rotating parts, and the outcome-probability error clauses (a),(b); The declared prescribed dipole-drive model and its long-wavelength regime clauses (b),(c); The declared driven model: prescribed time-dependent energy families, propagator evolution and the two-level drive models clauses (b)(i),(c)).

[F2]

Pairing and Hermiticity. ⟨DjWvi,vk⟩ is the matrix element of the Hermitian matrix DjW, so ⟨DjWvi,vk⟩‾=⟨DjWvk,vi⟩; the pairing is linear in the first argument and conjugate-linear in the second, and ∣⟨u,v⟩∣≤∥u∥∥v∥ (Real and complex inner product spaces, with the inner product linear in the first argument, The declared finite-level matter model and its cutoff dipole coupling to the transverse radiation sector clause (b), Orthonormal families, complete orthonormal systems and Hilbert bases).

[F3]

Exact two-level families. The circular family Hc(t)=ℏ2(ω0σz+Ω1(cos⁡(ωt)σx+sin⁡(ωt)σy)) has the exact rotating-frame reduction and Rabi populations of The circularly driven two-level model: exact rotating-frame reduction, Rabi populations, resonance and inversion times clauses (a)-(c); the linear family Hl(t)=ℏ2(ω0σz+Ω1cos⁡(ωt)σx) has the rotating-wave error contract of The linearly driven two-level model: rotating-wave approximation with an explicit finite-time error contract and the averaged Rabi populations clauses (b),(c), whose hypotheses include ω≠0; the Pauli matrices and their products are those of Finite spin matrices clause (e); both families are declared models of The declared driven model: prescribed time-dependent energy families, propagator evolution and the two-level drive models clause (f).

[F4]

Framework readings. The model's state, outcome and preparation readings are those of P1, P2 and P7 with Assigned sharp observables and the outcome law of the framework, The state space: density operators, pure and mixed states, and purity and Dimensions, SI unit conventions and quantity types of the framework; the drive family and its parameters are read as energies in joules and angular frequencies in s−1 (The declared prescribed dipole-drive model and its long-wavelength regime clauses (b)-(d)).

Proof

technique · direct; instantiate the supplier's first-order amplitude and sinusoidal evaluation for the drive family, obtain the equal-coefficient statement from Hermiticity of the drive operator, and verify the two-level identifications by comparing the declared families term by term

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

1.1F1F2algebra

[First-order amplitude] Clause (a) is the supplier's expansion First-order transition amplitudes for a bounded control: Dyson remainder, the sinusoidal drive with its co- and counter-rotating parts, and the outcome-probability error clause (a) with V(r)=−∑jEext,j(r)DjW and ⟨V(r)vi,vk⟩=−∑jEext,j(r)⟨DjWvi,vk⟩, so Aki(1)=−iℏ∫steiΔ(r−s)/ℏ⟨V(r)vi,vk⟩dr is exactly the displayed expression; the remainder bound is the supplier's.

1.2F1F2algebra

[Sinusoidal terms] With Eext(r)=E0cos⁡(ωr+ϑ) the perturbation is V(r)=Wcos⁡(ωr+ϑ) with W=−∑jE0,jDjW, which is self-adjoint and bounded; the supplier's clause (b) with this W gives the decomposition, the co-rotating modulus with its resonant value ∣⟨Wvi,vk⟩∣τ/(2ℏ), and the counter-rotating bound. This proves (b).

1.3F3algebra

[Two-level identifications] Under the hypotheses of (d) one has −∑jEext,j(r)DjW=−E0d(cos⁡(ωr)σx+sin⁡(ωr)σy) in the circular case, so Hd(r)=ℏ2(ω0σz+Ω1(cos⁡(ωr)σx+sin⁡(ωr)σy)) with Ω1=−2dE0/ℏ, which is the circular family of [F3]; in the linear case the same computation with Eext=E0(cos⁡(ωr),0,0) gives the linear family with the same Ω1. The exact Rabi populations and, when ω≠0, the rotating-wave contract are therefore the supplier's clauses quoted in [F3]. At ω=0 the matrix A=ω0σz+Ω1σx obeys A2=q2I by the Pauli products in [F3]; separating even and odd terms in its finite-matrix exponential gives the displayed constant propagator for q>0, while q=0 means A=0 and the propagator is I. This proves (d), including the zero-frequency branch without a division by ω.

2.1F2step 1.1step 1.2algebra

[Equal stimulated coefficients] Let w(r):=⟨V(r)v↓,v↑⟩. The real prescribed field and Hermitian DjW make V(r) Hermitian, so [F2] gives ⟨V(r)v↑,v↓⟩=w(r)‾. Step 1.1 gives A↑↓(1)=−(i/ℏ)∫steiΔ(r−s)/ℏw(r)dr and A↓↑(1)=−(i/ℏ)∫ste−iΔ(r−s)/ℏw(r)‾dr=−A↑↓(1)‾, proving equal squared moduli for arbitrary complex Hermitian couplings. In the monochromatic decomposition of step 1.2, conjugation exchanges the positive and negative drive exponentials, so the upward a+ and downward a− have equal moduli at opposite detunings, including their resonant limits. This proves (c).

3.1F4step 1.1step 1.2step 1.3step 2.1∎

[Scope and assembly] Steps 1.1 and 1.2 prove (a) and (b), step 2.1 proves (c) and step 1.3 proves (d). Every clause is a statement about the prescribed classical drive model: the field is an external datum, no quantized field, photon number, vacuum, decay or detector entered, and the laboratory identifications are P7-tested as recorded in [F4]; this is (e).

Remarks

  • Stimulated, not spontaneous. The equal-coefficient statement of clause (c) is the model's first-order version of the equality of stimulated emission and absorption coefficients; the model has no vacuum field and therefore contains no spontaneous emission. The quantized model and its vacuum-initiated emission are separate items of this page, and the relation between the two model classes is an identification, not a derivation.
  • What the exact Rabi result adds. Clause (d) shows that for the declared two-level data the model's evolution is exactly the circular or linear two-level family of the driven-dynamics page, The circular family has an exact Rabi population solution; the linear family is compared with its averaged Rabi solution through the stated rotating-wave error bound. Neither comparison asserts an all-time transition rate.

Depends on

Dependency tree · 2 levels

Sources