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.

Time is not an observable of the framework: the conditional timescale bound

Physical scope

A scope and reading remark on energy-time statements in the framework: time is a real parameter of the dynamical evolution and not a self-adjoint observable, so the Robertson relation does not apply to a pair of energy and time; the only relation recorded here is the conditional timescale bound of the graph-domain Ehrenfest theorem, under its stated curve, domain and normalization hypotheses, with the timescale defined from the mean of a chosen observable. No universal time observable, no universal energy-time inequality, no linewidth model and no empirical claim is made.

Why there is no energy-time Robertson pair

Time is a parameter, not an observable. The framework's evolution postulate P4 assigns to an isolated system a self-adjoint energy operator and the flow U(t)=exp⁡(−itH/ℏ) with t a real parameter of the curve (Autonomous dynamics postulate P4: self-adjoint generators and unitary evolution, Assigned energy observable, unitary flow and the two pictures of autonomous evolution). The framework's assigned sharp observables are self-adjoint operators with spectral projection-valued measures and outcome laws (Observable and probability postulate P2: self-adjoint observables, spectral probability and finite unsharp outcomes); time is not among them: there is no assigned self-adjoint time operator whose outcome law would enter the Robertson relation of The Robertson relation for preparation spreads of assigned sharp observables, and this page introduces none. Consequently the expression ΔH Δt is not an instance of the Robertson relation, and the symbol Δt has no definition until a timescale constructed from observables is specified.

The conditional timescale bound

What the framework does support. The graph-domain Ehrenfest theorem Graph-domain Ehrenfest identities and the conditional timescale bound is a conditional mathematical statement about a curve ψ:I→H that is C1 into the graph norm of a self-adjoint A, stays in D(AK) (and in D(KA) where stated), has unit norm and satisfies ψ′=−iℏKψ. Under those hypotheses, with f(t):=⟨Aψ(t),ψ(t)⟩ and f′(t0)≠0, the timescale τA(t0):=ΔA(t0)/∣f′(t0)∣ satisfies ΔK(t0) τA(t0)≥ℏ2. With K=H the energy, the Heisenberg-picture theorem identifies f′(t0) with the derivative of the mean of the representative observable when A is bounded and preserves the energy domain, AD(Hop)⊆D(Hop) (The Heisenberg picture: equivalent predictions and the domain-qualified equation of motion clause (c)). Boundedness alone does not imply this domain-invariance condition. For a domain-qualified, possibly unbounded A, the graph-domain theorem still gives the Schroedinger-picture derivative stated above, but no Heisenberg-picture identification is asserted here. The spreads ΔA(t0) and ΔK(t0) are preparation spreads in the sense of Preparation variance and spread of an assigned sharp observable, and the theorem's clause (d) records that when f′(t0)=0 the quotient supplies no timescale at all.

What is not claimed. The timescale τA depends on the chosen observable A and on the state: different choices give different numbers, and no universal "lifetime" or "duration" of the system is defined. No time operator, no energy-time Robertson inequality, no claim that an energy uncertainty is a linewidth and no relation such as γE≈ℏΓ is asserted by P1-P6; such statements require additional model assumptions (an apparatus or clock model, a decay model or an analytic continuation) that are outside this page. The heuristic accounts of measurement disturbance in the literature are not identities of the framework and are not used as premises here.

Remarks

  • Relation to the preparation-spread results. The timescale bound is a Robertson-type estimate applied to the pair (energy, chosen observable) along a curve; it does not weaken or strengthen the preparation-spread relation of The Robertson relation for preparation spreads of assigned sharp observables, which concerns a single preparation and two observables.
  • No empirical content. No measured lifetime, linewidth or energy uncertainty is recorded here, and no comparison with data is attempted.

Depends on

Dependency tree · 2 levels

Sources