Alphabeta Math
RemarkRemark: 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.

What the worked oscillator examples establish

Physical scope

The scope reading of the worked examples of the oscillator companion page: the ground-state Gaussian with its position and momentum laws, the low-level ladder norms and eigenstate outcome laws of the assigned dimensionless excitation-number observable in unit 1/count and the energy observable, and the coherent-state trajectory with its period, phase-space ellipse and constant spreads; together with the limits of what those conditional computations establish.

What the worked items establish

Ground state. The Gaussian ground state: position and momentum laws and the saturated bound fixes the explicit Gaussian representative ψ0(x)=ℓ−1/2π−1/4e−x2/(2ℓ2) of the ground vector, its unit norm, the eigenvalue equation H1ψ0=ℏω2ψ0, the position law with density ℓ−1π−1/2e−x2/ℓ2 and variance ℓ2/2, the momentum law with density ℓℏπe−ℓ2p2/ℏ2 and variance ℏ2/(2ℓ2), and the saturation Δψ0Q Δψ0P=ℏ/2 of the model's position-momentum relation.

Ladder and excitation structure. Ladder norms and excitation statistics of the oscillator eigenstates computes the first ladder images and their norms, the ladder matrix elements ⟨ψm,aψψn⟩=n δm,n−1 and ⟨ψm,aψ†ψn⟩=n+1 δm,n+1, and the excitation-number and energy laws μψnNψ({n})=1, μψnH1({En})=1 of the eigenstate preparations; the number coordinate is read by the assigned observable (Nψ,1/count), and aψ and aψ† are not assigned sharp observables.

Coherent motion. A coherent-state trajectory: period, phase-space ellipse and constant spreads shows that a nonzero-label coherent preparation is periodic with period 2π/ω, that its mean pair traces the invariant phase-space ellipse x22ℓ2+ℓ2p22ℏ2=∣z∣2 with the quarter-period values x(π2ω)=p0mω, p(π2ω)=−mωx0, and that the position and momentum spreads and their product ℏ/2 are constant along the motion.

What they do not establish

Every computation above is conditional on the adopted oscillator model of The quadratic-potential oscillator model of the framework and on the postulates P1, P2, P4 and P5 read through it; none of them reports a measurement. In particular: no numerical value of m, ω or ℏ is extracted; no laboratory state is identified with ψ0, with an eigenstate ψn or with a coherent state; the mean functions x(t),p(t) are preparation means of the model's observables under the evolving preparation and are not the coordinates of a measured trajectory; and the periodicity of clause (a) of the coherent-trajectory example is a statement about the pure preparation (a ray), not about a measured signal. The harmonic approximation's range, anharmonic corrections, damping, driving, time-dependent parameters and coupling to electromagnetic fields or radiation are outside the examples, as is the displacement-operator presentation of the coherent family. The formal non-normalizable solution of the ground-state equation is authored on the mathematical companion examples page as its formal solution example, and is linked there rather than duplicated here.

Depends on

Dependency tree · 2 levels

Sources