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 — Examples
1 · Prerequisites
- Absolute and Conditional Convergence; Rearrangement; Products
- Binary Operations, Monoids, Groups and Subgroups
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Connectedness
- 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
- Determinants of Matrices over a Commutative Ring
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Finite gravitational phase and entropy reference
- Finite Probability and the Probabilistic Method
- Foundations of the Real Numbers for Analysis
- Fubini and Change of Variables
- Fundamental Trigonometric Identities
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Improper and Parameter-Dependent Multiple Integrals
- Improper Integrals
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Measurable Functions and Simple Approximation
- Measures and Their Basic Properties
- Metric Spaces
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- 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
- Product Measures and the Fubini Tonelli Theorems
- Properties of the Integral and the Working FTC
- Relations, Functions, and Quotients
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- 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
- Sine, Cosine, and the Definition of Pi
- Subspaces, Products, and Quotients
- Suprema and Infima
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- The Derivative and the Mean Value Theorems
- The Exponential Function
- The Inverse and Implicit Function Theorems
- The Lebesgue Integral and the Convergence Theorems
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Vector Spaces, Linear Subspaces, Span and Direct Sums
2 · Summary
These examples and counterexamples check the finite softened normalization, point-particle collapse, softened and hard-core nonextensivity, finite regulated negative Gibbs-volume capacity, entropy-convention dependence, and finite-bath stabilization under a separately stated exchange law.
3 · Logical flowchart
4 · Definitions, postulates, theorems and proofs
None yet.
5 · Examples, experiments and counterexamples
Bound relative Kepler entropies give different heat capacities
Statement refuted
For the six-dimensional bound relative Kepler model defined below, the Gibbs-volume and fixed-width surface-density entropy conventions give the same heat capacity at every bound energy .
Facts & Assumptions
Given: The relative phase space , with in metres and in , and relative point-Kepler Hamiltonian where is in kilograms, in , and in . Its dimensionless phase measure is , with no center-of-mass factor or . For , define and, where , set and for fixed in joules. Where and are positive, define and ; where the temperature derivatives are nonzero, define and . Thus the two conventions are explicitly applied to this relative measure, rather than inferred from the -particle measure in Finite gravitational phase and entropy reference.
The phase reference defines and, when , the distinct convention for fixed . (Finite gravitational phase and entropy reference)
Radial integrals on bounded shells satisfy for continuous . (Radial integration over a bounded Euclidean shell)
Increasing nonnegative measurable functions pass to their pointwise limit under the integral. (Monotone convergence for the integral)
Tonelli identifies the nonnegative phase integral with its iterated momentum and position integrals. (Tonelli's theorem for nonnegative measurable functions on a sigma-finite product)
Counterexample
Fix and take the sequence , . For each cutoff domain , the momentum sublevel at radius is the ball for . Applying [F2] to the momentum ball and the position shell and using [F4] gives As , these sublevel sets increase to the full relative phase sublevel because every allowed position has ; [F3] therefore gives . With this is The integral is finite and positive because its integrand is bounded by near zero and by near one.
Since , differentiation gives . The Gibbs-volume entropy therefore has and .
For any fixed , the surface-density entropy has , so and . Both temperatures are positive under their declared conventions, but .
This explicit six-dimensional relative model contradicts convention-independent finite-system heat capacity. Its bound-energy phase volume is finite at each ; no canonical normalizability, finite outer box, or empirical preparation is claimed.
Finite softened two-body box
Example
Let with , choose , mass , regulator , action reference , and inverse temperature . Use the softened Hamiltonian on with measure .
Facts & Assumptions
Given: The finite softened model, a positive-volume box, .
Every finite softened model on a positive finite-volume box has a finite positive Gibbs partition function and a normalized density for each . (Finite gravitational Gibbs normalization and differentiable moments)
Verification
For every , the pair attraction is between and , so the Hamiltonian has the exact form covered by [F1]. The box has volume and finite, so all hypotheses apply.
By [F1], and is a probability density relative to the stated dimensionless phase measure. This verifies the finite softened two-body preparation for every ; it makes no claim about the distinct point model or dynamical equilibration.
Finite box fails to cure point gravitational collapse
Statement refuted
A finite enclosing box by itself guarantees a finite canonical partition function for a two-particle Newtonian point-attraction model.
Facts & Assumptions
Given: In SI units, let with finite in metres. Let be positions, momenta in , a mass in , in , in , and a fixed action reference in . On , define the point Hamiltonian in joules by and its dimensionless canonical partition integral by , using product Lebesgue measure. The collision diagonal is excluded, with no positive minimum separation imposed.
For two equal positive masses and the stated point Hamiltonian in a bounded three-dimensional box with nonempty interior, the canonical partition integral with the dimensionless phase reference is infinite for every . (Point collapse and unscaled gravity nonextensivity, clause 1)
Counterexample
The box is bounded and has nonempty interior since each . The phase variables, two equal positive masses, point Hamiltonian and reference measure are exactly those of [F1]; no short-distance cutoff is imposed.
By [F1], for this finite box and every . This contradicts the refuted universal finiteness claim, so a finite outer box alone does not cure point collapse.
Fixed softening does not guarantee finite extensive free energy
Statement refuted
Fix . For each box , let , let be its canonical partition function, and set . The per-particle free-energy density is (in joules), and the per-volume free-energy density is (in joules per cubic metre). Here a “finite extensive free-energy density” means that the chosen normalized sequence has a finite real thermodynamic-limit value. The claim refuted is that a fixed positive softening length guarantees such a finite limit for every sequence of unscaled self-gravitating boxes whose volumes are bounded above and below by positive multiples of . The counterexample below has both and .
Facts & Assumptions
Given: The softened Newtonian pair potential with fixed and the growing-box hypotheses in Point collapse and unscaled gravity nonextensivity.
For boxes containing a fixed positive-volume cube, the softened unscaled model has along the concentration sequence, so its free energy per particle tends to . (Point collapse and unscaled gravity nonextensivity)
Counterexample
Fix , take , and set for every integer . Then , , and , so this is a bounded-box sequence satisfying the softened concentration hypotheses in [F1].
Clause 2 of [F1] gives , hence . Since , also . Neither normalization has a finite real thermodynamic-limit value along this sequence, contradicting the claimed guarantee.
Hard-core exclusion does not guarantee a finite unscaled-gravity limit
Statement refuted
Fix and consider the fixed-density sequence indexed by . Let be the box volume, the canonical partition function, and . The per-particle free-energy density is (in joules), and the per-volume free-energy density is (in joules per cubic metre). Here a “finite extensive free-energy density” means that the chosen normalized sequence has a finite real thermodynamic-limit value as . The claim refuted is that a fixed hard-core exclusion distance and fixed particle density guarantee this for the unscaled Newtonian long-range attraction.
Facts & Assumptions
Given: The unscaled point attraction , a positive hard-core separation, and boxes with side proportional to .
For , a cubic packing with fixed minimum separation still has interaction energy at most on positive-volume position sets, and its canonical free energy per particle tends to . (Point collapse and unscaled gravity nonextensivity)
Counterexample
Fix a grid spacing larger than the hard-core radius and take particles, one in each small cube around the cubic grid sites. The enclosing box has side proportional to and the product of the small cubes is an admissible positive-volume position set, matching [F1].
By [F1], . Here , so . Neither normalization has a finite real thermodynamic-limit value, contradicting the claimed guarantee.
Regulated Kepler branch has negative volume response
Example
Choose relative parameters , , , and . Set , so and . This is an interior point of the finite regulated shell branch.
Facts & Assumptions
Given: The regulated relative shell, , and the Gibbs-volume and canonical temperature conventions.
On every regulated shell energy with , the Gibbs-volume heat capacity is strictly negative. (Negative Gibbs-volume capacity in a finite regulated shell)
For the same fixed relative Hamiltonian under a separate canonical preparation, the response is . (Exact relative-shell canonical normalization and response)
Verification
Since , ; also . Thus the branch assumptions hold and .
Applying [F1] gives for the explicit Gibbs-volume entropy convention. Applying [F2] to the same relative Hamiltonian but its canonical preparation gives . These are different preparations and response definitions, so the two signs do not contradict one another.
Finite bath can stabilize negative heat capacity exchange
Example
Take a negative-capacity subsystem at an interior energy with Gibbs-volume temperature and capacity , as in Finite-bath entropy curvature and specified exchange stability. Set . For any energy offset in joules, reference temperature in kelvin, and additive entropy constant in , take and choose . The argument of the logarithm is dimensionless.
Facts & Assumptions
Given: A negative-capacity finite subsystem at common temperature and the selected finite-bath exchange model.
For the specified finite-bath entropy and exchange law, gives strict negative combined-entropy curvature and local exponential attraction under . (Finite-bath entropy curvature and specified exchange stability)
Verification
Differentiating the displayed bath entropy gives , so and . The chosen makes .
Since , the reciprocal-capacity sum is . At the matched-temperature critical point, [F1] gives Thus the combined entropy has a strict local maximum in this exchange direction.
The selected effective law has nonnegative entropy production and exponentially attracts this local maximum by [F1]. This is a constructed mathematical reservoir model, not empirical data or a generic gravitational stability conclusion.
Sources
- Joseph Katz, Thermodynamics and Self-Gravitating Systems, Foundations of Physics 33 (2003), author manuscript
- David Tong, Statistical Physics, complete author-hosted lecture notes
- Terence Tao, An Introduction to Measure Theory, complete author-hosted text
- Pierre-Henri Chavanis, Statistical mechanics of self-gravitating systems in general relativity: II. The classical Boltzmann gas