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 items of the companion page establish

Physical scope

Scope of the companion examples page: an inventory of the finite model computations it contains and of the physical questions it does not address. The remark asserts no dynamics and records no empirical data.

What the page establishes

Two-level precession. Precession of a two-level preparation: exact phases, probabilities and a Bloch-vector rotation computes, on the explicit two-dimensional state space, the spectral measure and flow of the assigned energy observable E1Tu1,u1+E2Tu2,u2 with E1≠E2, the exact phases of an evolved preparation, the outcome probabilities and expectations of three bounded observables, and the rotation of the expectation-value triple about the third axis with angular frequency ω=(E2−E1)/ℏ. The computation verifies the flow and law of Assigned energy observable, unitary flow and the two pictures of autonomous evolution and Assigned sharp observables and the outcome law of the framework on finite data, and it confirms the energy conservation of Energy conservation, conserved sharp observables and the stationary eigenrays clause (a) in the model. No apparatus realization, detector resolution or measured frequency is asserted.

Finite superpositions. A finite superposition of energy eigenrays: exact phases, laws and return times computes the evolution of a nonzero finite superposition of orthogonal energy eigenrays, the trigonometric-polynomial form of the outcome laws of a bounded assigned sharp observable, the exact return-time criterion (λm−λn)T/ℏ∈2πZ for m,n in the support of the coefficients, the existence criterion for a positive return time via a common frequency, and the two-energy specialization with least return time 2πℏ/∣λ1−λ2∣. These are exact model statements under the flow of The Schroedinger-picture flow: unitarity, domain invariance and the domain-qualified equation.

A failed universal claim. A superposition of distinct energy eigenrays need not be stationary refutes the informal universal statement that every superposition of energy eigenrays with distinct eigenvalues is stationary: on the two-level model with ψ0=(u1+u2)/2 the outcome law of the flip observable takes the values 1 at t=0 and 0 at t=π/∣ω∣. The refutation isolates the relative phase as the mechanism and is consistent with the exact stationarity criterion of Energy conservation, conserved sharp observables and the stationary eigenrays clause (c): the individual eigenrays are stationary, while their equal-weight superposition is not when their eigenvalues differ. Distinct eigenrays with a common eigenvalue are not covered by this refutation: every nonzero superposition of their representatives is again an eigenvector with that eigenvalue and hence represents a stationary preparation, as in A finite superposition of energy eigenrays: exact phases, laws and return times clause (i).

What the page does not establish

None of the three items is an experiment: no counts, calibration, resolution, efficiency, background, uncertainty or data comparison appears anywhere on the page, and no energy value is measured. The two-level system is an abstract model and is not identified with a spin, a magnetic moment, a photon polarization or any other species; the coupling of spin to a magnetic field belongs to the corresponding model pages, and driven or resonant dynamics is deferred to the driven-dynamics development, which adopts its own time-dependent assumptions. The return-time and precession results are statements about the model's flow and outcome law, not about the stability, decoherence or control of any laboratory preparation.

Depends on

Dependency tree · 2 levels

Sources