Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-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 declared prescribed dipole-drive model and its long-wavelength regime

Physical scope

The declared prescribed dipole-drive model of the finite-level Coulomb pair: a continuous prescribed electric field family E_ext on a compact time interval read in V m^-1, the bounded norm-continuous Hamiltonian H(t) = H_a - sum_j E_ext,j(t) D_j on the declared finite-dimensional matter factor, its norm-continuous bounded propagator, and the declared long-wavelength regime in which the phase variation of the field across the matter is neglected. The field is prescribed and unaffected by the matter; the definition asserts no Maxwell equation, no back-reaction, no propagation, no quantized field, no photon number, no detector, no spontaneous emission and no rate.

Definition

(a) Adopted readings. Adopt the state and composition postulate P1, the observable and probability postulate P2 and the autonomous-dynamics postulate P4 (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) and the static finite-level dipole postulate Static finite-level electric-dipole coupling: compressed dipole of the declared two-body Coulomb model in a uniform field clauses (i)-(iv), in the state and outcome readings of The state space of the framework: preparations, pure rays and density operators, The state space: density operators, pure and mixed states, and purity and Assigned sharp observables and the outcome law of the framework and in the units of Dimensions, SI unit conventions and quantity types of the framework. Assume the Axiom of Countable Choice and the Axiom of Choice (The Axiom of Countable Choice (ACω), The Axiom of Choice). Read the finite-level matter data of The declared finite-level matter model and its cutoff dipole coupling to the transverse radiation sector clause (b): the subspace W≃Cd, the compressed matter energy Ha (joules) and the compressed dipole matrices D1W,D2W,D3W (C m).

(b) Prescribed field and its regime. Fix a nonempty compact interval I=[t0,t1]⊂R of physical times (seconds) and a prescribed electric field family t↦Eext(t)=(Eext,1(t),Eext,2(t),Eext,3(t)), a continuous map I→R3 whose components are read in V m−1. The field is prescribed: no Maxwell equation, source model, propagation, back-reaction or feedback of the matter on the source is assumed, and no claim is made that a laboratory arrangement realizes it.

(c) The drive Hamiltonian. The declared dipole-drive model is the finite-dimensional family Hd(t):=Ha−∑j=13Eext,j(t) DjW,t∈I, read as the model's energy in joules, on the matter factor W≃Cd; its control is the bounded self-adjoint family V(t):=−∑jEext,j(t)DjW with ∥V(t)∥≤(∑j=13∣Eext,j(t)∣2)1/2(∑j=13∥DjW∥2)1/2<∞, so t↦Hd(t) is norm-continuous on I (The operator norm as the least bound and as the unit-sphere or unit-ball supremum, A bounded linear operator between normed spaces). The model therefore declares the driven model of The declared driven model: prescribed time-dependent energy families, propagator evolution and the two-level drive models clause (b)(i) in its bounded norm-continuous class, with propagator U(t,s) the unique norm-continuous solution of the integral equation U(t,s)=I−iℏ∫stHd(r)U(r,s) dr,U(s,s)=I, constructed by the Dyson series of Norm Dyson series and uniqueness. If t0<t1, it satisfies iℏ∂tU(t,s)=Hd(t)U(t,s) in operator norm, with one-sided derivatives at the endpoints. If t0=t1, the evolution declaration is only U(t0,t0)=I and asserts no time derivative; state and outcome readings are those of clauses (d)-(e) of the driven model, with level populations read through the eigenbasis of Ha.

(d) Long-wavelength regime. Declare a characteristic matter length L>0 (metres), a reference point x0∈R3 (metres), a wavevector k∈R3 (inverse metres), and a dimensionless tolerance 0<δ<1 as model data. A prescribed spatial phase template for the field of clause (b) is the continuous map Esp:R3×I→R3,Esp(x,t):=Re⁡(Eext(t)eik⋅(x−x0)), with components in V m−1, so Esp(x0,t)=Eext(t). This template specifies a spatial phase without assuming Maxwell dynamics or a dispersion relation. The long-wavelength (electric-dipole) regime at tolerance δ means ∣k∣L≤δ: for ∣x−x0∣≤L, the phase obeys ∣k⋅(x−x0)∣≤δ. The model adopts the neglect of this spatial phase and uses the reference-point field in the interaction −∑jEext,j(t)DjW of clause (c). The case k=0 is the spatially uniform template. The length L is a declared scale, not a compact-support assertion for the matter wavefunctions. The notation ∣k∣L≪1 denotes choosing a small declared tolerance; no universal tolerance or error estimate for the induced quantum dynamics is asserted. This regime is an adopted model assumption, and identifications of L, k and the field with laboratory data are tested identifications with uncertainty under P7.

(e) Scope. Clauses (b)-(d) are adopted model data and readings of a declared finite-dimensional matter model with a prescribed classical field. The model yields stimulated transition calculations through clause (c) and the mathematics of the driven model; it contains no quantized field, no photon number, no vacuum state and no detector, and a prescribed field of this kind does not by itself supply spontaneous emission: the prescribed source is unaffected by the matter's transitions, in contrast to the quantized light-matter model of The declared finite-level matter model and its cutoff dipole coupling to the transverse radiation sector, where the field's vacuum and the matter's change of level are one coupled model. No rate, lifetime, linewidth, decay or empirical result is asserted.

Depends on

Dependency tree · 2 levels

Sources