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.
Finite gravitational phase and entropy reference
Definition
Use SI dimensions for the numerical model parameters: Newton constant has units , each mass has units , each position has units , each momentum has units , energy has units , Boltzmann constant has units , and inverse energy has units . Fix an action reference in ; it is a normalization convention and is not identified with Planck's constant.
For an integer , any Lebesgue measurable position region , and equal particle mass , define the ordered phase space with coordinates . This phase space and measure are allowed even when is unbounded or has infinite volume; finite canonical preparations separately require a positive finite partition integral. The dimensionless reference measure for identical classical particles is For a measurable real Hamiltonian and with , define the canonical density relative to . A probability density relative to is a measurable function with . Set . For such a density with , define its reference-relative entropy by
When is fixed and the Gibbs-volume function satisfies , define the Gibbs-volume entropy by . Where , define the distinct surface-entropy convention, for a fixed energy width measured in the same units as , by . Since and are dimensionless, has units inverse to energy and is dimensionless. For either , where is differentiable and , define ; where also , define . These are finite-system conventions, and their temperatures and capacities need not agree.
The measure is dimensionless because and have the same units. The definition supplies no physical assertion that the chosen Hamiltonian describes nature and no mechanism of dynamical equilibration.
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.