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.
Dimension bookkeeping for the quantities and laws of the framework
A worked application of the dimension and unit conventions of the framework to the quantities and displayed laws of this page: coordinates, wave function, position and momentum operators, the canonical commutator, the kinetic and potential terms of the Hamiltonian, the Schroedinger equation, the probability current and the candidate dimensionless exponent that could be used as a boost phase in a separately specified model. The item checks conventions only, asserts no frame-transformation law, and makes no empirical claim.
Example
Apply the dimension conventions of Dimensions, SI unit conventions and quantity types of the framework to the quantities of the framework: the time and space coordinates of an inertial frame of Inertial frames of the framework and the class of frame changes, a position wave function of the one-particle model, the position and momentum operators and their canonical commutator of Canonical commutation relations of position and momentum on the Schwartz core, the kinetic and potential terms of the Hamiltonian and the Schroedinger equation of Kinematics and massive-particle model postulate P5: Newtonian frames and one-particle operators and Autonomous dynamics postulate P4: self-adjoint generators and unitary evolution, the probability density and current of the continuity calculation, and the candidate phase exponent if used in a separately specified boost model.
Facts & Assumptions
Given: The dimension symbols with the product, quotient and derivative rules of Dimensions, SI unit conventions and quantity types of the framework; the readings , , for a position wave function in three spatial dimensions, , , , and .
Position and momentum acts: and for one component, with the Schwartz core and the canonical commutator (Kinematics and massive-particle model postulate P5: Newtonian frames and one-particle operators, Canonical commutation relations of position and momentum on the Schwartz core).
Hamiltonian and evolution: for and a real bounded measurable potential in three spatial dimensions, on componentwise. Its unitary evolution is for every initial vector; the norm derivative and the equation are asserted exactly when , in which case this domain is invariant under the evolution (Kinematics and massive-particle model postulate P5: Newtonian frames and one-particle operators, Autonomous dynamics postulate P4: self-adjoint generators and unitary evolution).
Probability current of a smooth solution: (Smooth local continuity equation and its integrated forms).
Frame parameters: , and ; conditionally, if a separately specified model uses as a phase exponent, these units make that exponent dimensionless (Inertial frames of the framework and the class of frame changes, Dimensions, SI unit conventions and quantity types of the framework).
Verification
The coordinates have and , so a three-dimensional position wave function has , its squared modulus has , and the product is dimensionless, as required of a probability density.
For the operators of [L1], gives , and gives ; the commutator identity is consistent, since .
For the Hamiltonian of [L2], the kinetic term acts as , and the potential term satisfies with ; both terms therefore carry the dimension of energy times wave function, as required for their sum to define an operator.
The Schroedinger equation is dimensionally consistent: , and the phase of the evolution operator is dimensionless because .
The current of [L3] has , which is for : a probability flux per unit area and time, not a charge current.
The expression in [L4] is dimensionless, . Thus it can serve as a dimensionless argument if a separately specified model assigns it as a phase; this dimensional calculation alone proves no frame-transformation or covariance law. Combining with steps 1.1-1.5, every quantity and displayed law checked here is dimensionally consistent under the stated conventions.
Remarks
- The check is bookkeeping inside the conventions of Dimensions, SI unit conventions and quantity types of the framework: it verifies dimensional consistency and nothing else. It contains no measured value, tests no physical equation against data and makes no claim about the applicability of the model.
- The internal index of the spin factor is dimensionless and does not enter these computations; the spin label and the factor of Identical-particle and spin assignments P6: permutation sectors and finite-spin representations carry no length, duration or mass dimension, and the spin operators have the dimension of action, as fixed in the conventions.
Depends on
Dimensions, SI unit conventions and quantity types of the framework
The Newtonian spacetime arena of the framework
Inertial frames of the framework and the class of frame changes
Autonomous dynamics postulate P4: self-adjoint generators and unitary evolution
Kinematics and massive-particle model postulate P5: Newtonian frames and one-particle operators
Identical-particle and spin assignments P6: permutation sectors and finite-spin representations
Canonical commutation relations of position and momentum on the Schwartz core
Smooth local continuity equation and its integrated forms
Dependency tree · 2 levels
Sources
- BIPM, The International System of Units (SI), 9th edition 2019, Chapter 2 pp. 15-25 and Table 2: the SI base and derived units
- D. Tong, Quantum Mechanics (author-hosted lecture set), Sections 1.2 and 1.2.1, printed pages 9-14 (PDF pages 12-17): the Hamiltonian, the probability density and the probability current of the wave function