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 regulated Newtonian gravitational canonical preparation
Finite N≥2, bounded measurable positive-volume confining region, equal classical masses, fixed positive softening length and inverse-energy parameter; effective Newtonian weak-field/slow-motion model only, with no thermalization or dynamical stability claim.
Postulate
Work in SI units. Adopt positive Newton constant in , common particle mass in , positions in , momenta in , energy in joules, Boltzmann constant in , and inverse-energy parameter in . Fix an action reference in ; it is a phase-counting convention, not an assertion that equals Planck's constant. These conventions follow Thermodynamics-GR fields, currents, reference normalization and units and Finite gravitational phase and entropy reference.
For an integer , take a bounded measurable confining region with and adopt the ordered phase space and identical-particle reference measure of Finite gravitational phase and entropy reference. Fix a softening length in metres and adopt the Hamiltonian which is the model defined in Finite softened gravitational Hamiltonian and domain. The preparation assigns canonical weight relative to . Its normalizer is . To check finiteness for this general region, enclose in a bounded cube and apply Finite gravitational Gibbs normalization and differentiable moments on with the same parameters and Hamiltonian formula. Restriction of its nonnegative integral gives . Moreover, the integrand is strictly positive everywhere, and times any positive-volume bounded momentum cube has positive measure, so . Thus the density is normalized. These are mathematical consequences of the specified weight, not proofs of the physical preparation. For box instances, the further variational and response conclusions are stated in Constructed finite canonical gravitational equilibrium. Confinement specifies the finite position region; no wall regularity or wall dynamics is used in this calculation.
Within this formulation, and are fixed model/preparation inputs. The displayed is the defined effective Hamiltonian; , the normalized density, mean energy, entropy and response are derived mathematical quantities. Their definition does not make them universal properties of gravitating matter.
This is an adopted effective Newtonian statistical model in a stated weak-field, slow-motion regime. The unbounded momentum domain is part of the canonical mathematical preparation and does not give a uniform speed bound on every point in its support. The postulate asserts neither dynamical equilibration, an observed gravitating gas, nor stability of a self-consistently gravitating relativistic solution.