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
1 · Prerequisites
- Abelian Categories
- Absolute and Conditional Convergence; Rearrangement; Products
- Banach-Space Differential Calculus and Banach Manifolds
- Binary Operations, Monoids, Groups and Subgroups
- Bounded Linear Operators and Quotient Spaces
- Categories, Functors and Natural Transformations
- Chain Complexes and Homology
- Cm Math Continuum
- Compactness
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Complex Norms and Realification
- Complexification, Realification and Real Structures
- Connectedness
- Connections And Free Fall
- Connections Levi Civita and Parallel Transport
- Constant Rank, Submersions, Immersions and Regular Level Sets
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Countability Axioms and Cardinal Functions
- Determinants of Matrices over a Commutative Ring
- Distributions Integral Manifolds and the Frobenius Theorem
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Einstein And Matter
- Euclidean Ordinary Differential Equations with Smooth Dependence
- Exterior Powers, Orientation and Hodge Duality
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Finite Dimensional Normed Spaces and Riesz Lemma
- Finite gravitational phase and entropy reference
- Finite Killing energy current and reference normalization
- Finite Probability and the Probabilistic Method
- Finite spacelike slab and normal flux charge
- Foundations of the Real Numbers for Analysis
- Framework And Geometry
- Free Modules, Exact Sequences, Projective and Injective Modules
- Fubini and Change of Variables
- Fundamental Trigonometric Identities
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Geodesics, the Exponential Map, Completeness, and Hopf–Rinow
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group Homomorphisms and the Isomorphism Theorems
- Hereditary and Productive Behaviour of the Separation Axioms
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Improper and Parameter-Dependent Multiple Integrals
- Improper Integrals
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Integration of Forms and the General Stokes Theorem
- Limits and Colimits
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Lorentz Transformations
- Manifolds with Boundary Collars and Orientations
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Measurable Functions and Simple Approximation
- Measures and Their Basic Properties
- Metric Spaces
- Mixed Partials, Taylor Formulae, and Extrema
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Normed and Banach Spaces
- Observer Measurements
- Order, Zorn's Lemma, and the Axiom of Choice
- Picard-Lindelöf and First-Order Ordinary Differential Equations
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Preadditive and Additive Categories and Biproducts
- Product Measures and the Fubini Tonelli Theorems
- Properties of the Integral and the Working FTC
- Rank Theorems and Embedded Submanifolds
- Relations, Functions, and Quotients
- Rest fluid state, frame and geometric current definitions
- Riemann Curvature and Riemannian Submanifolds
- Riemannian Metrics Length Distance and Volume
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Sigma Algebras and Borel Sets
- Simple Field Extensions and the Construction of the Complex Numbers
- Simplicial Complexes and Simplicial Homology
- Sine, Cosine, and the Definition of Pi
- Singular Chains and Singular Homology
- Singular Cochains Mayer Vietoris and Smooth Singular Comparison
- Singular Cohomology and Coefficient Theorems
- Smooth Manifolds and Smooth Maps
- Smooth Partitions of Unity and Exhaustions
- Smooth Vector Bundles and Sections
- Spacetime Primitives
- Subspaces, Products, and Quotients
- Suprema and Infima
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tangent Cotangent and the Differential
- Tensor Fields Exterior Algebra and Differential Forms
- Tensor Products of Modules
- Tensors And Observers
- The De Rham Complex Homotopy and Mayer Vietoris
- The de Rham Theorem and Degree
- The Derivative and the Mean Value Theorems
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Exponential Function
- The Exterior Derivative and Cartan Calculus
- The Fundamental Theorems of Calculus
- The Inverse and Implicit Function Theorems
- The Inverse Function Theorem Completed
- The Lebesgue Integral and the Convergence Theorems
- The Logarithm and General Powers
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Topology of Euclidean Space
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Thermodynamics-GR fields, currents, reference normalization and units
- Topological Spaces and Continuity
- Topology of ℝ
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Vector Fields Flows and Lie Derivatives
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Volumes of Elementary Solids and Solids of Revolution
- Worldlines And Clocks
2 · Summary
This page develops three explicitly different finite model preparations: a softly regulated finite Newtonian canonical gas, a confined relative Kepler model under canonical and Gibbs-volume microcanonical conventions, and a finite ideal gas on a prescribed static relativistic background. The model assumptions are kept separate from the mathematical normalization and response results. Every response claim retains its preparation, entropy convention, regulator, and physical applicability limits; no result here asserts thermalization, an observed gravitational system, or generic self-consistent gravitational stability.
3 · Logical flowchart
4 · Definitions, postulates, theorems and proofs
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.
Constructed finite canonical gravitational equilibrium
Conditional on the finite equal-mass softened Newtonian model with bounded positive-volume box and fixed a>0; proves normalization, the stated Gibbs variational optimum, and nonnegative fixed-Hamiltonian canonical response, not thermalization or stability of a changing/self-consistent background.
Statement
Fix , a bounded measurable box with , , , and . Adopt the physical preparation in Finite regulated Newtonian gravitational canonical preparation with its fixed Hamiltonian and reference measure . Conditional on the exact current mathematical interfaces in Finite gravitational Gibbs normalization and differentiable moments, Unique finite gravitational Gibbs variational optimum, and Nonnegative fixed-Hamiltonian canonical heat capacity, the partition function is finite and positive, and is a normalized density.
For a measurable function with finite expectation, write and ; define . For every measurable probability density relative to with , , and , its reference-relative entropy satisfies Equality holds exactly at almost everywhere; among densities with the same mean energy as , this is the unique entropy maximizer. With and the Hamiltonian, box, and regulator held fixed, These are deductions about the specified model and density class. They do not assert dynamical equilibration, a self-consistent relativistic solution, or a thermodynamic limit.
Facts & Assumptions
Given: The finite regulated Newtonian preparation, , and the fixed-parameter temperature convention .
The physical model adopts , equal positive masses, a bounded finite-positive-volume box, softening , and the fixed Hamiltonian/reference measure stated in the Postulate. (Finite regulated Newtonian gravitational canonical preparation)
For these hypotheses and every , and is positive and normalized; all energy moments are finite. (Finite gravitational Gibbs normalization and differentiable moments)
In the stated density class, the relative-entropy inequality is sharp exactly at , giving the unique equal-mean-energy entropy maximizer. (Unique finite gravitational Gibbs variational optimum)
For a fixed softened Hamiltonian, . (Nonnegative fixed-Hamiltonian canonical heat capacity)
Proof
The hypotheses in [A1] are those required by [F1]. Therefore is finite and strictly positive and defines a normalized probability density relative to . This normalization is a mathematical deduction for the adopted finite model.
For every in the density class of the Statement, [F2] gives , with equality only if almost everywhere. Restricting to densities with makes the left side differ from by the same constant; hence is the unique entropy maximizer in that class.
Since [F1] supplies the finite moments and differentiable partition function and [F3] gives the fixed-Hamiltonian response identity, the canonical response is . A variance is an expectation of a nonnegative square, and , so .
Distinct unregulated point-gravity attempted sampling
Two labelled positive Newtonian point masses in a bounded box with interior and no short-distance cutoff; canonical weight is attempted without assuming a finite normalization. Collision configurations lie outside any asserted controlled weak-field model.
Postulate
In SI units, take two labelled masses in , positions in a bounded box with nonempty interior, momenta in , and in . Fix in as the phase-action reference and in , with the unit conventions of Thermodynamics-GR fields, currents, reference normalization and units and Finite gravitational phase and entropy reference. The labelled-pair phase space is with reference measure On the off-diagonal domain , adopt the unregulated point Hamiltonian Attempt canonical sampling with weight , but do not assume its integral is finite or that the normalized probability law exists. If , the identical-particle reference measure of Finite gravitational phase and entropy reference is ; this constant convention does not alter whether the integral converges.
The masses, , box, action reference and are fixed inputs of this attempted model; is defined by the formula. A finite partition function or probability law is not a primitive input and is not postulated.
This is a distinct unregulated model, not the softened preparation with set to zero after normalization. Arbitrarily small separations are not asserted to remain in a controlled Newtonian weak-field regime. The attempted weight is a model specification, not a reported physical preparation or an assertion of successful thermalization.
Relative-shell canonical comparison preparation
Effective Newtonian relative two-body Hamiltonian on the fixed hard radial shell r0≤|q|≤R with canonical β>0 preparation; the center-of-mass mode is absent and the unbounded canonical momentum tail has no uniform slow-speed guarantee.
Postulate
Use positive masses in , reduced mass , in , relative position in metres, relative momentum in , and action reference in . Fix and . Adopt the relative phase region and Hamiltonian of Regulated relative Kepler phase volume and shell law: There are no center-of-mass variables and no identical-particle factor in this relative phase convention. Adopt a canonical preparation at inverse energy with and density relative to on all of . Its finite positive normalizer and normalized density follow from Exact relative-shell canonical normalization and response. Since is finite throughout this domain, the density is positive for arbitrarily large momentum magnitudes. This is a fixed relative-shell effective Newtonian model, distinct from the microcanonical preparation and Gibbs-volume entropy convention in Confined relative Kepler shell and volume entropy preparation.
Here and are fixed inputs; the reduced mass , coupling product , and Hamiltonian are the specified derived constructions. The partition function, density, temperature parameter and response are derived within this selected preparation.
Because canonical momenta are unbounded, this preparation does not have the whole-ensemble slow-motion bound imposed on the separate bounded-energy microcanonical branch. The postulate makes no claim that either distribution is dynamically reached or empirically observed.
Confined relative Kepler shell and volume entropy preparation
Effective Newtonian relative two-body shell with r0>0 and R>16r0, energy A/R<e≤A/(16r0), explicit Gibbs-volume entropy convention, and optional stated uniform slow-motion restriction; no center-of-mass response or empirical thermalization claim.
Postulate
Adopt the relative Hamiltonian, shell , parameters , phase-volume function , and shell measure from Regulated relative Kepler phase volume and shell law. For in the branch adopt the normalized energy-shell probability , whose total mass and support on are established by Finite regulated Kepler shell measure is normalized. Adopt the Gibbs-volume entropy convention , define where this derivative is positive, and define where the derivative exists. These are the selected finite-system preparation and temperature conventions; they are not asserted to be universal operational identifications.
For a physical Newtonian slow-motion regime, additionally require a stated dimensionless tolerance and On the adopted negative-energy shell, then has the corresponding uniform speed bound. This condition restricts the microcanonical branch only; it is not imposed by or transferred to the distinct canonical preparation. No center-of-mass degree of freedom, dynamical wall law, empirical thermalization, or self-consistent relativistic field is included.
The masses, , , , , selected energy , and any tolerance are fixed inputs. The reduced mass , , relative Hamiltonian, phase-volume function, and entropy/temperature/response quantities are defined constructions of this model; none is asserted to be universal across gravitational frameworks.
Regulated gravitational preparations have different responses
Same fixed relative Kepler Hamiltonian and radial shell, with Gibbs-volume microcanonical versus canonical preparation. At E=−A/(32r0), R>32r0, and 2A/(μr0c²)≤δNR≪1, the microcanonical branch is slow-motion and has CG<0; the canonical model has CK≥0 but retains unbounded momentum tails. No equivalence or thermalization is asserted.
Statement
Use the same positive relative parameters and fixed Hamiltonian for both preparations in Confined relative Kepler shell and volume entropy preparation and Relative-shell canonical comparison preparation. Let , choose , and assume the microcanonical physical applicability condition Then the Gibbs-volume microcanonical response satisfies , while the separate canonical preparation has for every . For its density , define and . The microcanonical energy lies on the strictly negative-capacity branch and obeys the stated uniform slow-speed bound. The canonical model has unbounded momentum support, so this theorem makes no whole-ensemble slow-speed claim about it. The signs concern different finite-system preparations and do not contradict one another; neither sign establishes that nature realizes the model or that either preparation is dynamically attained.
Facts & Assumptions
Given: The two adopted preparations use the same and fixed relative Hamiltonian; ; ; and the stated condition.
The microcanonical preparation adopts the finite energy shell, Gibbs-volume entropy, and convention. (Confined relative Kepler shell and volume entropy preparation)
The canonical preparation uses the same fixed relative Hamiltonian and shell, canonical , and . (Relative-shell canonical comparison preparation)
Its relative density is on and all , with . (Relative-shell canonical comparison preparation)
The canonical expectation and variance in the Statement are integrals relative to the normalized density and measure .
On the mathematical branch , , the Gibbs-volume heat capacity is strictly negative. (Negative Gibbs-volume capacity in a finite regulated shell)
For the same relative Hamiltonian with the canonical preparation, is positive and finite and for every . (Exact relative-shell canonical normalization and response)
Proof
Set . Since , , while , so [F1] applies with . It gives for the adopted Gibbs-volume convention.
On the microcanonical energy surface , . Hence . Thus the selected microcanonical branch has the uniform slow-speed qualification stated in the theorem.
The canonical preparation keeps the same and shell fixed while varying . By [F2], its response is . This sign uses the canonical variance [L1] and the convention, not the Gibbs-volume derivative.
To check the support qualification, fix any momentum threshold and width . The shell and momentum annulus both have positive finite Lebesgue measure. On , , so [A3] gives . Therefore this annulus has positive canonical probability for every ; the momentum support is unbounded. The two response signs use distinct preparations and do not entail equality of response functions.
Finite static fermion-mode trace and occupation identity
Statement
Let be an integer, let , , and . Define the finite index set and the finite-dimensional Hilbert space with orthonormal basis . Define diagonal operators and on this basis by For a matrix on , trace means the finite sum of its diagonal entries in this basis. Then The normalized diagonal state with weights has, for each , occupation mean For , the empty product and trace are , and there are no occupation marginals. This is a finite-dimensional algebraic identity and uses no choice principle, curved-space spectrum, or gravitational field equation.
Facts & Assumptions
Given: A finite set of modes indexed by , their real energies , and finite parameters and .
The occupation basis is indexed by bit strings ; and are the diagonal operators defined in the Statement. The trace is the finite diagonal sum in that basis.
Proof
Put . Each is a finite positive real number. Expanding the finite trace over bit strings and factoring a finite sum gives Every factor lies in , so the product is finite and positive; for both sides equal .
Dividing each diagonal weight by the positive finite gives a normalized probability distribution on the finite basis. For , summing over the other bits factors their terms and yields The same calculation establishes the marginal directly and does not invoke a countable product or any axiom of choice.
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.
Constructed static gas redshift and hydrostatics
Exact classical ideal-gas normalization, redshifted local thermodynamic parameters, pressure and hydrostatic identity on the prescribed bounded-lapse static background, plus the separate finite-mode trace identity. No Einstein backreaction, generic curved-space mode spectrum, self-gravitating star, or empirical equilibrium assertion.
Statement
Assume the prescribed static background in Fixed static ideal gas or finite fermion regulator preparation and consider its two alternative classical branches. Let Then . In the fixed-particle canonical branch, for the selected integer , the normalizer is . In the grand-canonical branch, for dimensionless fugacity , the normalizer is .
For either classical branch, define its coefficient by in the fixed-particle branch and in the grand-canonical branch. Its proper local expected particle phase-space density is Define proper local number density , energy density , and isotropic pressure . With , both branches satisfy Only in the grand-canonical branch, if for a Killing-normalized chemical parameter measured in joules, rewriting the local weight as gives .
In the finite fermion-mode branch, let with , , , and . The normalized diagonal state has Both conclusions are conditional model deductions on the fixed background or finite supplied mode set. They assert no Einstein equation, gas backreaction, arbitrary curved-space spectrum, or observed equilibrium.
Facts & Assumptions
Given: The compact finite spatial region, smooth static metric/lapse bounds, positive particle mass and canonical parameters, and exactly one selected preparation: fixed-particle canonical, grand-canonical, or the separate finite-mode branch.
The Postulate supplies , , the classical local energy and either fixed particle count or grand fugacity , or the separate finite mode energies and occupancy basis. (Fixed static ideal gas or finite fermion regulator preparation)
For the bounded-lapse static metric and classical gas, the one-particle integral is finite and positive; the fixed-particle branch has , and the grand-canonical branch has with . Its local identities include , , , and, when , . (Static relativistic finite gas normalization and hydrostatics)
For a finite bit-string occupation basis and finite real energies, the trace is and each occupation marginal is . (Finite static fermion-mode trace and occupation identity)
Proof
The metric, positive lapse bounds, compact finite-volume region, and positive parameters in [A1] meet the hypotheses of [F1], which gives and the normalizer for whichever classical branch is selected. In the fixed-particle branch, put . The normalized -particle Gibbs density relative to is . Its one-particle marginals are , so summing their densities gives . For comparison only, choose any in the grand-canonical result [F1] and set ; then . This positive constant scales , , , and equally, while is unchanged because it depends only on . Therefore the pressure and hydrostatic identities from [F1] hold for too. The comparison does not introduce fugacity into the fixed-particle preparation.
For the finite mode set, apply [F2] with the finite real values , , and . This gives a positive finite trace, a normalized diagonal state, and .
In the grand-canonical branch only, makes , so the local chemical parameter is .
The definitions and imply . Substitution yields the stated local-parameter occupation exactly for each supplied mode.
5 · Examples, experiments and counterexamples
None yet.
Sources
- Joseph Katz, Thermodynamics and Self-Gravitating Systems, Foundations of Physics 33 (2003), author manuscript
- 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
- Pierre-Henri Chavanis, Statistical mechanics of self-gravitating systems in general relativity: II. The classical Boltzmann gas