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
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 (), 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 , the compressed matter energy (joules) and the compressed dipole matrices ().
(b) Prescribed field and its regime. Fix a nonempty compact interval of physical times (seconds) and a prescribed electric field family , a continuous map whose components are read in . 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 read as the model's energy in joules, on the matter factor ; its control is the bounded self-adjoint family with so is norm-continuous on (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 the unique norm-continuous solution of the integral equation constructed by the Dyson series of Norm Dyson series and uniqueness. If , it satisfies in operator norm, with one-sided derivatives at the endpoints. If , the evolution declaration is only 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 .
(d) Long-wavelength regime. Declare a characteristic matter length (metres), a reference point (metres), a wavevector (inverse metres), and a dimensionless tolerance as model data. A prescribed spatial phase template for the field of clause (b) is the continuous map with components in , so . This template specifies a spatial phase without assuming Maxwell dynamics or a dispersion relation. The long-wavelength (electric-dipole) regime at tolerance means : for , the phase obeys . The model adopts the neglect of this spatial phase and uses the reference-point field in the interaction of clause (c). The case is the spatially uniform template. The length is a declared scale, not a compact-support assertion for the matter wavefunctions. The notation 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 , 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
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
Static finite-level electric-dipole coupling: compressed dipole of the declared two-body Coulomb model in a uniform field
Dimensions, SI unit conventions and quantity types of the framework
The state space of the framework: preparations, pure rays and density operators
The state space: density operators, pure and mixed states, and purity
Assigned sharp observables and the outcome law of the framework
The declared driven model: prescribed time-dependent energy families, propagator evolution and the two-level drive models
Norm Dyson series and uniqueness
Hilbert space
A bounded linear operator between normed spaces
The operator norm as the least bound and as the unit-sphere or unit-ball supremum
Symmetric, self-adjoint and essentially self-adjoint operators
Real and complex inner product spaces, with the inner product linear in the first argument
The Axiom of Countable Choice ()
The Axiom of Choice
The declared finite-level matter model and its cutoff dipole coupling to the transverse radiation sector
Dependency tree · 2 levels
Sources
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, Section 9.3.2 printed pages 215-217 (PDF pages 223-225): the perturbation of an atom by a classical electromagnetic wave, the long-wavelength expansion of the phase factor and the electric-dipole interaction of the field with the atomic dipole
- S. Pratt, Lecture Notes on Quantum Mechanics (Michigan State University, PHY 851/852; Internet Archive snapshot of 2024-04-21), Chapter 14 Section 14.3 printed page 221: coupling of a quantum field to an external classical current that is unaffected by the emission, with the contrast to an atom that changes state when it emits