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
Scope of the companion examples page: an inventory of the exact computations and conditional warnings it contains and of the physical questions it does not address. The remark asserts no dynamics and records no empirical data.
Three worked items
The Gaussian packet. The Gaussian position and momentum packet of the massive model computes, in the spin-zero massive model, the normalized Gaussian , shows that its momentum representative is again a normalized Gaussian with width , and evaluates the position and momentum outcome densities of the model together with their variances and and the product . This verifies the model's sharp laws of Position and momentum outcome laws of the massive spin-s model on a family of Schwartz preparations; it computes no dynamics, no measurement and no general uncertainty statement.
The plane wave as a generalized functional. The plane wave as a generalized momentum eigenfunctional defines the conjugate-linear functional on Schwartz classes, proves the eigenrelation , and proves that no class represents . This is the precise sense in which the plane wave is a generalized momentum eigenfunction: it diagonalizes the momentum action on the test space while carrying no state or probability density. The framework's state assignment excludes it as a preparation, in agreement with the model's atomless sharp laws.
The boundary warning. A confined model with Dirichlet walls: the naive interval momentum is not a sharp observable shows, in a hypothetical confined-model extension, that the formal interval momentum on the Dirichlet domain is symmetric but not self-adjoint, that no self-adjoint extension keeps the Dirichlet domain, and that the Dirichlet functions are not momentum eigenfunctions of any self-adjoint extension. Its explicit twisted-periodic extensions are on the domains . The companion counterexample No bounded operators satisfy the canonical commutation relation with a nonzero commutator shows that the canonical commutation relation cannot hold as an identity of bounded operators at all, so the core relation of Canonical commutation relations on the component-valued core and commutation with the internal factor is genuinely a relation on a dense core of unbounded operators rather than a bounded operator identity.
What the page does not establish
None of the items is an experiment: no counts, calibration, resolution, efficiency, background, uncertainty or data comparison appears anywhere on the page, and no value of , or any model parameter is measured. The Gaussian computation is a single family of preparations; the plane-wave item is a distributional statement without a state; the boundary warning and the bounded-commutator counterexample are conditional mathematical statements about hypothetical or bounded models, not claims about apparatuses. In particular, no item asserts that confined models, twisted-periodic momenta or any self-adjoint realization describe a laboratory device, and no item draws conclusions about decoherence, measurement disturbance or relativistic effects, which belong to other model pages.
Depends on
No bounded operators satisfy the canonical commutation relation with a nonzero commutator
The Gaussian position and momentum packet of the massive model
The plane wave as a generalized momentum eigenfunctional
Canonical commutation relations on the component-valued core and commutation with the internal factor
Position and momentum outcome laws of the massive spin-s model
A confined model with Dirichlet walls: the naive interval momentum is not a sharp observable
Dependency tree · 2 levels
Sources
- D. Tong, Quantum Mechanics (author-hosted lecture set), Sections 2.1.3 and 3.2.3, printed pages 27-29 and 75-76 (PDF pages 30-32 and 78-79): the Gaussian wavepacket, momentum eigenstates and the Fourier transform
- B. Zwiebach, MIT 8.05 Quantum Physics II (Fall 2013), Chapter 1 'Wave Mechanics', Section 6, printed pages 22-25 (PDF pages 22-25): momentum eigenstates, the momentum representation and the position operator in the momentum representation
- G. Teschl, Mathematical Methods in Quantum Mechanics, 1st edition 2009, Section 9.1, printed pages 181-188 (PDF pages 193-200): Sturm-Liouville operators and the parametrization of self-adjoint boundary conditions (the contrast case for the interval momentum warning)