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
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 with 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 is not an instance of the Robertson relation, and the symbol 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 that is into the graph norm of a self-adjoint , stays in (and in where stated), has unit norm and satisfies . Under those hypotheses, with and , the timescale satisfies With the energy, the Heisenberg-picture theorem identifies with the derivative of the mean of the representative observable when is bounded and preserves the energy domain, (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 , the graph-domain theorem still gives the Schroedinger-picture derivative stated above, but no Heisenberg-picture identification is asserted here. The spreads and 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 the quotient supplies no timescale at all.
What is not claimed. The timescale depends on the chosen observable 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 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
Assigned energy observable, unitary flow and the two pictures of autonomous evolution
Preparation variance and spread of an assigned sharp observable
Autonomous dynamics postulate P4: self-adjoint generators and unitary evolution
Observable and probability postulate P2: self-adjoint observables, spectral probability and finite unsharp outcomes
The Heisenberg picture: equivalent predictions and the domain-qualified equation of motion
The Robertson relation for preparation spreads of assigned sharp observables
Graph-domain Ehrenfest identities and the conditional timescale bound
Dependency tree · 2 levels
Sources
- B. Zwiebach, MIT 8.05 Quantum Physics II (Fall 2013), Chapter 5 'Uncertainty Principle and Compatible Observables', Section 3, printed pages 6-9: time is a parameter, not an operator; the timescale Delta t_Q := Delta Q / |d<Q>/dt| and the inequality Delta H Delta t_Q >= hbar/2 for time-independent Q
- B. Zwiebach, MIT 8.05 Quantum Physics II (Fall 2013), Chapter 6 'Quantum Dynamics', Sections 3.1-3.3, printed pages 18-24: the Heisenberg equation of motion and the reading of d<Q>/dt through the commutator with the Hamiltonian
- D. Tong, Quantum Mechanics (author-hosted lecture set), Section 3.4.1, printed pages 86-87 (PDF pages 89-90): the heuristic photon-recoil discussion of the uncertainty principle, presented as a heuristic and following the exact position-momentum inequality