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.
Regular full-shell or finite-band preparation
Fixed-N classical models with a nonempty compact regular energy shell or a finite compact regular energy band under the declared phase reference; the shell branch carries its exact full-AC mathematical premise, and neither branch infers ergodicity or equilibration.
Postulate
For the full-shell branch, assume the Axiom of Choice required by the mathematical supplier Coarea and invariant probability on compact regular phase shells. Let have a coordinate representative in every canonical cotangent chart. Require for every and every within-species permutation with the cotangent action specified by Classical particle counting and physical observables. This symmetry condition applies to both the shell and finite-band branches; ambient almost-everywhere symmetry alone would not specify a law on an individual zero-volume shell. Suppose there is an open interval on which and for which is compact whenever is compact. For a nonempty regular shell , the cited theorem gives finite positive coarea mass ; adopt the microcanonical state as the probability law for the specified preparation. Here is the shell measure disintegrating the declared phase reference over energy; its construction and hypotheses are exactly those in that theorem. The constant in the mathematical reference is chosen to match the fixed- physical reference of Classical particle counting and physical observables; the normalization defining also cancels a common positive rescaling of that reference.
For a physical application, choose fixed conjugate reference scales in each cotangent chart, of the respective coordinate and conjugate-momentum units, with the same action scale for all . For Cartesian positions these units are m and kg m s; other generalized coordinates have their own declared conjugate units. Put , and . These coordinates are dimensionless, while and remain in J. The actual reference Jacobian gives Use this transformed constant in the shell theorem; in particular has units J. The weighted shell area and gradient are computed in these dimensionless coordinates, not by adding squares of SI position and momentum derivatives of different dimensions. The canonical forms pull back to and . Thus physical time in seconds obeys Equivalently the Hamiltonian for the normalized mathematical two-form and the same time is , in s. If one also chooses an energy reference in J, then only with and do the fully dimensionless equations become and . This is an explicit reexpression of the same trajectories and physical clock. It changes neither the adopted shell or band preparation nor the physical Hamiltonian. For dimensionless shell energy , the shell measures transform as so that the coarea integral is unchanged.
Alternatively, for a specified compact regular energy band with one may adopt the normalized restricted physical reference for each measurable phase event . Here is the declared fixed- reference of Classical particle counting and physical observables, and is its coarea measure; choosing this physical positive constant in Classical configuration, cotangent phase and reference measures scales both measures in the coarea identity equally. This is a distinct finite-band preparation, uniform relative to phase volume in the band. Restricting either law to a dynamically accessible invariant subset or imposing further conserved quantities defines another preparation and requires a separately specified measure. Neither law nor ergodicity is deduced from deterministic Hamiltonian evolution.