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.
A two-level dipole-drive model: identification, resonant first-order coefficient and its comparison with the exact Rabi probability
A conditional two-level instance of the declared dipole-drive model: Pauli matter data realized by explicit Coulomb and Cartesian-dipole compressions of two Gaussian functions, with a real dipole entry, a monochromatic spatially uniform prescribed field along one axis, with declared matter length L > 0 and wavevector k = 0 satisfying the phase tolerance, the identification with the declared linear two-level drive model, the resonant co-rotating first-order amplitude and its agreement at small times with the exact averaged Rabi probability of the driven-dynamics page. The example asserts no laboratory atom or field, no damping, no spontaneous emission, no measurement record and no empirical value.
Example
Adopt the prescribed dipole-drive model The declared prescribed dipole-drive model and its long-wavelength regime with the following realized two-level matter data. For any declared () and (), use the positive framework constant of The declared Coulomb and two-body hydrogen model: one-centre operator, relative problem, reduced mass and scope exclusions clause (d) and define These have units , , and , respectively. Declare the charged pair of Static finite-level electric-dipole coupling: compressed dipole of the declared two-body Coulomb model in a uniform field with , charges and relative-coordinate energy on ; is the sum of the three second weak coordinate derivatives. Its dipoles are , on . Here consists of Lebesgue square-integrable classes, and consists of those classes whose weak coordinate derivatives through order two also belong to : is a weak derivative when for every smooth compactly supported test function . Here , and denotes that sequence of classical coordinate derivatives. In this relative-coordinate space put The verification below proves that this is an orthonormal pair in and that the actual compressions , have the following matrices. Identify with the coordinate basis of , using the Pauli matrices of Finite spin matrices clause (e): where are the arbitrary positive parameters fixed above. The two vectors are eigenvectors of the compression, not asserted to be Coulomb eigenfunctions; invariance of under the uncompressed operators is unnecessary. Declare the field with in and in , and in seconds; declare in metres, , in inverse metres, and a dimensionless phase tolerance . Use the spatially uniform template of the dipole-drive definition (d), so for every . These are declared prescribed-field data, with no Maxwell dispersion relation; the temporal frequency does not determine in this model. Let , , so that , and . Write for the detuning frequency, distinct from the energy . Then:
(a) (identification) with so the model is exactly the declared linear 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 splitting frequency and transverse coupling ;
(b) (resonance and first-order coefficient) at resonance the co-rotating first-order amplitude of Stimulated dipole-drive transitions of the finite-level model: first-order amplitudes, equal emission and absorption coefficients, and the exact two-level identification clause (b) for the transition from time to time has modulus and the co-rotating component coefficient is ; the counter-rotating term is bounded by at resonance. The full first-order interaction-picture amplitude is including interference of both components; is an unnormalized first-order approximation, not a normalized-state Born law;
(c) (comparison with the exact averaged Rabi probability) by The linearly driven two-level model: rotating-wave approximation with an explicit finite-time error contract and the averaged Rabi populations clause (c) the averaged down-population of the initial up-state at resonance is , whose small- expansion begins with ; the co-rotating coefficient of clause (b) is therefore the leading term of the exact averaged Rabi probability, and the rotating-wave error contract of the cited item bounds the difference between the exact linear-model population and this averaged probability by with ;
(d) (scope) the example is a conditional computation in the declared two-level drive model. The identification of a laboratory two-level atom, molecule or field with the declared data is a tested identification with uncertainty under P7; the model has no quantized field, no vacuum, no spontaneous emission, no damping, no measurement record and no empirical value, and the exact circular and linear families of the driven-dynamics page are models with their own scope.
Facts & Assumptions
Given: the explicit subspace , the constructed parameters , the declared two-level matter data , the field , the parameters , the pair and the cited suppliers.
Identification supplier. The declared linear 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 has the family with splitting frequency , transverse coupling and drive frequency , read as the model's energy in the bounded norm-continuous class (The declared driven model: prescribed time-dependent energy families, propagator evolution and the two-level drive models clauses (b)(i),(f), Finite spin matrices).
First-order supplier. Write for the perturbation matrix called in the supplier, keeping it distinct from the matter subspace. For a monochromatic field and , the first-order amplitude decomposes into co- and counter-rotating parts with for and at , while the counter-rotating part is bounded by when (Stimulated dipole-drive transitions of the finite-level model: first-order amplitudes, equal emission and absorption coefficients, and the exact two-level identification clause (b)).
Averaged Rabi supplier. Under the stated hypotheses the linear model's exact down-population obeys with , and at resonance the averaged probability is (The linearly driven two-level model: rotating-wave approximation with an explicit finite-time error contract and the averaged Rabi populations clauses (b),(c)).
Pauli data and pairing. The Pauli matrices of Finite spin matrices clause (e) act on the declared orthonormal basis with , so and with modulus ; the pairing is linear in the first argument (Real and complex inner product spaces, with the inner product linear in the first argument, Orthonormal families, complete orthonormal systems and Hilbert bases).
Framework readings. Times, energies and field values are read in , and as in Dimensions, SI unit conventions and quantity types of the framework, and the laboratory identification of a preparation or field with the declared data is a tested identification with uncertainty under P7 (Preparation and apparatus postulate P7: declared preparations, isolation and sampling assumptions, Assigned sharp observables and the outcome law of the framework).
Coulomb realization and domains. The declared two-body model has reduced mass and equal-charge coupling ; its relative energy has the stated weak differential action on (The declared Coulomb and two-body hydrogen model: one-centre operator, relative problem, reduced mass and scope exclusions clauses (b),(d)). The finite-level postulate uses and the actual compressions on any declared finite-dimensional common-domain subspace (Static finite-level electric-dipole coupling: compressed dipole of the declared two-body Coulomb model in a uniform field clauses (ii)-(iv)). Classical derivatives of a function are its weak derivatives (Classical derivatives agree with weak derivatives with ).
Gaussian integration. For , , and all polynomial-Gaussian moments are absolutely integrable (Euclidean Gaussian transform with the 2π normalization, with zero Fourier argument and ). Nonnegative Gaussian product moments may be integrated successively by Tonelli's theorem for nonnegative measurable functions on a sigma-finite product on the sigma-finite Euclidean Lebesgue spaces. Polar integration in three dimensions is (Polar coordinates decompose Lebesgue measure into r^{n-1} dr d sigma). Integration by parts on a line is valid for factors with integrable derivative products and vanishing boundary products (Complex integration by parts on intervals and decaying lines); all uses below have Gaussian decay.
Verification
Given: the explicit subspace , the constructed parameters , the declared two-level matter data , the field , the parameters and the cited suppliers.
[Common domain and normalization] Write . By [F7], ; integrating on the line gives , so , and oddness in gives their orthogonality. Every classical derivative of either vector through order two and every coordinate multiple is polynomial times a Gaussian and lies in by [F7]. By [F6] those derivatives are weak derivatives, so both vectors lie in and every . Thus the displayed is a valid two-dimensional compression subspace.
[Exact Coulomb and dipole compressions] All off-diagonal energy entries vanish by oddness in , since the Laplacian and radial Coulomb multiplier preserve that parity. The derivative identity , integration by parts from [F7], and the Gaussian moments give and . Explicitly ; the line recurrence obtained by integrating gives , while product integration gives , which yields the second gradient value. Polar integration gives and : spherical symmetry assigns one third of to , and the radial integrals follow by substituting . Therefore and . The declared parameters satisfy , so these values are and . Every diagonal dipole entry vanishes by coordinate parity, and ; its reverse equals it by real symmetry. The cross entries for are zero by oddness in . Thus the actual compressions are exactly , , .
[Identification] Since and , the interaction term is , so with ; this is the linear family of [F1].
[Resonant first-order amplitude] At resonance one has , so the co-rotating quotient is and ; by [F4] this is , so the co-rotating coefficient is . Integrating the full interaction-picture entry gives , which contains both components and their interference. The quotient tends to at small , so , with leading coefficient four times that of ; the counter-rotating bound of [F2] at is .
[Exact averaged comparison] By [F3] at the averaged down-population is , whose power series begins with , the co-rotating coefficient of step 4.1; the difference between the exact linear-model population and this averaged probability is at most with the displayed .
[Scope] The computation used only the declared two-level data, the prescribed field and the cited driven-dynamics results; no quantized field, vacuum, spontaneous emission, damping or record entered, and the laboratory identifications are P7-tested by [F5]. This is clause (d).
Remarks
- First order versus exact. The co-rotating component coefficient of clause (b) is the leading term of the exact averaged Rabi oscillation of clause (c) only at small ; the full linear-drive first-order coefficient is and has four times that leading small-time coefficient, so no averaging of the full model is silently assumed; the exact linear model differs from the averaged model by the rotating-wave error, and the exact circular model of the driven-dynamics page is a different declared family, not an approximation proved here.
- No spontaneous emission. The example is stimulated: the field is prescribed and unaffected by the transition, and the model contains no vacuum. Spontaneous emission is treated only in the quantized cutoff dipole model of this pair, under the additional vacuum-preparation assumption of the postulate item.
Depends on
Stimulated dipole-drive transitions of the finite-level model: first-order amplitudes, equal emission and absorption coefficients, and the exact two-level identification
The declared prescribed dipole-drive model and its long-wavelength regime
The declared finite-level matter model and its cutoff dipole coupling to the transverse radiation sector
The linearly driven two-level model: rotating-wave approximation with an explicit finite-time error contract and the averaged Rabi populations
The circularly driven two-level model: exact rotating-frame reduction, Rabi populations, resonance and inversion times
The declared driven model: prescribed time-dependent energy families, propagator evolution and the two-level drive models
Finite spin matrices
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
Assigned sharp observables and the outcome law of the framework
Dimensions, SI unit conventions and quantity types of the framework
Hilbert space
Real and complex inner product spaces, with the inner product linear in the first argument
Orthonormal families, complete orthonormal systems and Hilbert bases
The Axiom of Countable Choice ()
The Axiom of Choice
Preparation and apparatus postulate P7: declared preparations, isolation and sampling assumptions
The declared Coulomb and two-body hydrogen model: one-centre operator, relative problem, reduced mass and scope exclusions
Static finite-level electric-dipole coupling: compressed dipole of the declared two-body Coulomb model in a uniform field
Euclidean Gaussian transform with the 2π normalization
Polar coordinates decompose Lebesgue measure into r^{n-1} dr d sigma
Complex integration by parts on intervals and decaying lines
Classical derivatives agree with weak derivatives
Tonelli's theorem for nonnegative measurable functions on a sigma-finite product
Dependency tree · 2 levels
Sources
- B. Zwiebach, MIT 8.05 Quantum Physics II (Fall 2013), Chapter 7 'Two State Systems', Sections 4-6 chapter pages 7-19 (PDF pages 7-19): the oscillating-field two-state model, its resonance and its rotating-frame treatment
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, Section 9.3.2 printed pages 216-217 (PDF pages 224-225): the first-order transition probability of a classically described wave and the resonant growth of the transition amplitude