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.
Fixed static ideal gas or finite fermion regulator preparation
Fixed-particle canonical or grand-canonical classical ideal gas on a prescribed smooth static finite region with lapse bounded strictly above zero, or a separately declared finite-mode exclusion regulator. The metric is fixed input, not an Einstein solution sourced by the gas; no generic curved-space quantum spectrum or observed equilibrium is asserted.
Postulate
For the classical branch, prescribe a smooth static metric on a neighborhood of , where is an open interval and is an open bounded coordinate box with compact closure and positive volume: Here is a smooth positive-definite spatial metric whose eigenvalues are bounded above and away from zero, and the dimensionless lapse satisfies . The static chart and observer congruence are distinct objects: with , the static unit observer is , satisfying , under the conventions of Thermodynamics-GR fields, currents, reference normalization and units. This geometry is prescribed and is not assumed to solve an Einstein equation with gas stress as source.
Take particle mass in kilograms, in metres per second, orthonormal momentum in , and adopt the massive-particle dispersion function in joules as a model input. The Killing energy is the derived function , and the action reference is in joule-seconds. For a classical ideal gas with no interparticle potential and inverse Killing-energy parameter in inverse joules, choose exactly one of these alternatives: (i) a fixed-particle canonical branch with an integer and the phase-counting convention; or (ii) a grand-canonical branch with dimensionless fugacity , in which particle number is summed using the same convention. The finite proper-phase one-particle integral and the corresponding fixed-particle and grand-canonical normalizers are supplied by Static relativistic finite gas normalization and hydrostatics. If a Killing-normalized chemical parameter in joules is used for the classical gas, it belongs to the grand-canonical branch and is related by ; the fixed-particle branch has no fugacity parameter. There is no interaction term or gas-induced change of the metric in either branch.
As a distinct finite quantum regulator, one may instead specify a finite mode set , , positive dimensionless lapse values , and momenta . Adopt mode energies , canonical parameter in inverse joules, and chemical-potential parameter in joules, together with the finite occupation basis . The associated finite trace and occupation identity are given by Finite static fermion-mode trace and occupation identity. This is an explicitly supplied spectral cutoff, not a claim that arbitrary curved spacetime has these modes. Neither branch reports an observation or asserts actual thermalization.
The metric , lapse , region, , canonical parameters and (in the finite-mode branch) the mode list are supplied inputs. The local energy, Killing-energy weight, partition functions, normalized state, local densities and response identities are derived constructions under the stated mathematical results; no universal equation of state or metric backreaction is assumed.
Depends on
Dependency tree · 2 levels
Sources
- Pierre-Henri Chavanis, Statistical mechanics of self-gravitating systems in general relativity: II. The classical Boltzmann gas
- David Tong, Statistical Physics, complete author-hosted lecture notes
- Pierre-Henri Chavanis, Statistical mechanics of self-gravitating systems in general relativity: I. The quantum Fermi gas