Alphabeta Math
Pipeline-generated
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

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

PostulateStatement: Literature-sourcedProof: Not applicableprecheck passOpen item page →

Finite regulated Newtonian gravitational canonical preparation

Physical scope

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 G in m3 kg−1 s−2, common particle mass m in kg, positions qi in m, momenta pi in kg m s−1, energy H in joules, Boltzmann constant kB in J K−1, and inverse-energy parameter β>0 in J−1. Fix an action reference h∗>0 in J s; it is a phase-counting convention, not an assertion that h∗ 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 N≥2, take a bounded measurable confining region B⊂R3 with 0<∣B∣<∞ and adopt the ordered phase space ΓN=BN×R3N and identical-particle reference measure dνN=d3Nq d3Np/(N!h∗3N) of Finite gravitational phase and entropy reference. Fix a softening length a>0 in metres and adopt the Hamiltonian HN,a(q,p)=∑i=1N∣pi∣22m−∑1≤i<j≤NGm2∣qi−qj∣2+a2, which is the model defined in Finite softened gravitational Hamiltonian and domain. The preparation assigns canonical weight e−βHN,a relative to νN. Its normalizer is ZB(β):=∫BN×R3Ne−βHN,adνN. To check finiteness for this general region, enclose B in a bounded cube Q and apply Finite gravitational Gibbs normalization and differentiable moments on Q with the same parameters and Hamiltonian formula. Restriction of its nonnegative integral gives ZB≤ZQ<∞. Moreover, the integrand is strictly positive everywhere, and BN times any positive-volume bounded momentum cube has positive measure, so ZB>0. Thus the density pβ=ZB−1e−βHN,a 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, N,m,G,a,B,h∗ and β are fixed model/preparation inputs. The displayed HN,a is the defined effective Hamiltonian; ZN, 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.

Physics theoremStatement: Literature-sourcedProof: AI-adaptedprecheck passOpen item page →

Constructed finite canonical gravitational equilibrium

Physical scope

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 N≥2, a bounded measurable box B⊂R3 with 0<∣B∣<∞, m,G,a,kB,h∗>0, a>0, and β>0. Adopt the physical preparation in Finite regulated Newtonian gravitational canonical preparation with its fixed Hamiltonian HN,a and reference measure νN. 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 ZN(β)=∫e−βHN,adνN is finite and positive, and pβ=ZN−1e−βHN,a is a normalized density.

For a measurable function g with finite expectation, write ⟨g⟩ρ:=∫gρ dνN and ⟨g⟩β:=∫gpβ dνN; define Var⁡β(HN,a):=∫(HN,a−⟨HN,a⟩β)2pβ dνN. For every measurable probability density ρ relative to νN with 0log⁡0:=0, ∫∣ρlog⁡ρ∣dνN<∞, and ∫∣HN,a∣ρdνN<∞, its reference-relative entropy S(ρ)=−kB∫ρlog⁡ρdνN satisfies S(ρ)−kBβ⟨HN,a⟩ρ≤kBlog⁡ZN. Equality holds exactly at ρ=pβ almost everywhere; among densities with the same mean energy as pβ, this is the unique entropy maximizer. With TK=(kBβ)−1 and the Hamiltonian, box, and regulator held fixed, CK:=d⟨HN,a⟩βdTK=kBβ2Var⁡β(HN,a)≥0. 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, β>0, and the fixed-parameter temperature convention TK=(kBβ)−1.

[A1]

The physical model adopts N≥2, equal positive masses, a bounded finite-positive-volume box, softening a>0, and the fixed Hamiltonian/reference measure stated in the Postulate. (Finite regulated Newtonian gravitational canonical preparation)

[F1]

For these hypotheses and every β>0, 0<ZN(β)<∞ and pβ=ZN−1e−βHN,a is positive and normalized; all energy moments are finite. (Finite gravitational Gibbs normalization and differentiable moments)

[F2]

In the stated density class, the relative-entropy inequality is sharp exactly at pβ, giving the unique equal-mean-energy entropy maximizer. (Unique finite gravitational Gibbs variational optimum)

[F3]

For a fixed softened Hamiltonian, CK=kBβ2Var⁡β(HN,a)≥0. (Nonnegative fixed-Hamiltonian canonical heat capacity)

Proof

1.1givenA1F1

The hypotheses in [A1] are those required by [F1]. Therefore ZN(β) is finite and strictly positive and pβ=ZN−1e−βHN,a defines a normalized probability density relative to νN. This normalization is a mathematical deduction for the adopted finite model.

1.2givenF1F2algebra

For every ρ in the density class of the Statement, [F2] gives S(ρ)−kBβ⟨HN,a⟩ρ≤kBlog⁡ZN, with equality only if ρ=pβ almost everywhere. Restricting to densities with ⟨HN,a⟩ρ=⟨HN,a⟩β makes the left side differ from S(ρ) by the same constant; hence pβ is the unique entropy maximizer in that class.

2.1F1F3algebra∎

Since [F1] supplies the finite moments and differentiable partition function and [F3] gives the fixed-Hamiltonian response identity, the canonical response is CK=kBβ2Var⁡β(HN,a). A variance is an expectation of a nonnegative square, and kBβ2>0, so CK≥0.

PostulateStatement: Literature-sourcedProof: Not applicableprecheck passjudge pass (gpt-6-luna)Open item page →

Distinct unregulated point-gravity attempted sampling

Physical scope

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 m1,m2>0 in kg, positions q1,q2 in a bounded box B⊂R3 with nonempty interior, momenta p1,p2 in kg m s−1, and G>0 in m3 kg−1 s−2. Fix h∗>0 in J s as the phase-action reference and β>0 in J−1, 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 Γ12=B2×R6 with reference measure dν12=h∗−6 d3q1 d3q2 d3p1 d3p2. On the off-diagonal domain q1≠q2, adopt the unregulated point Hamiltonian H12pt(q,p)=∣p1∣22m1+∣p2∣22m2−Gm1m2∣q1−q2∣. Attempt canonical sampling with weight e−βH12pt, but do not assume its integral is finite or that the normalized probability law exists. If m1=m2, the identical-particle reference measure of Finite gravitational phase and entropy reference is dν12/2; this constant convention does not alter whether the integral converges.

The masses, G, box, action reference and β are fixed inputs of this attempted model; H12pt 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 a 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.

PostulateStatement: Literature-sourcedProof: Not applicableprecheck passOpen item page →

Relative-shell canonical comparison preparation

Physical scope

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 m1,m2 in kg, reduced mass μ=m1m2/(m1+m2), A=Gm1m2>0 in J m, relative position q∈R3 in metres, relative momentum p∈R3 in kg m s−1, and action reference h∗>0 in J s. Fix r0>0 and R>16r0. Adopt the relative phase region and Hamiltonian of Regulated relative Kepler phase volume and shell law: Γrel={(q,p):r0≤∣q∣≤R, p∈R3},dνrel=h∗−3d3q d3p,h(q,p)=∣p∣22μ−A∣q∣. There are no center-of-mass variables and no identical-particle factor in this relative phase convention. Adopt a canonical preparation at inverse energy β>0 with TK=(kBβ)−1 and density pβ(q,p)=Zrel(β)−1e−βh(q,p) relative to dνrel on all of Γrel. Its finite positive normalizer and normalized density follow from Exact relative-shell canonical normalization and response. Since h 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 m1,m2,G,r0,R,h∗ and β are fixed inputs; the reduced mass μ, coupling product A, and Hamiltonian h 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.

PostulateStatement: Literature-sourcedProof: Not applicableprecheck passOpen item page →

Confined relative Kepler shell and volume entropy preparation

Physical scope

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 r0≤∣q∣≤R, parameters μ,A,r0,R,h∗, phase-volume function Ω(E), and shell measure from Regulated relative Kepler phase volume and shell law. For E=−e in the branch AR<e≤A16r0,δ:=er0A∈(0,1/16], adopt the normalized energy-shell probability PE=ΣE/Ω′(E), whose total mass and support on h=E are established by Finite regulated Kepler shell measure is normalized. Adopt the Gibbs-volume entropy convention SG(E)=kBlog⁡Ω(E), define 1/TG=dSG/dE where this derivative is positive, and define CG=dE/dTG 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 0<δNR≪1 and 2Aμr0c2≤δNR. On the adopted negative-energy shell, ∣p∣/μ 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, G, r0, R, h∗, selected energy E, and any δNR tolerance are fixed inputs. The reduced mass μ, A=Gm1m2, 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.

Physics theoremStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6-luna)Open item page →

Regulated gravitational preparations have different responses

Physical scope

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 μ,A,r0,R,h∗ and fixed Hamiltonian h(q,p)=∣p∣2/(2μ)−A/∣q∣ for both preparations in Confined relative Kepler shell and volume entropy preparation and Relative-shell canonical comparison preparation. Let R>32r0, choose E=−e=−A/(32r0), and assume the microcanonical physical applicability condition 2Aμr0c2≤δNR≪1. Then the Gibbs-volume microcanonical response satisfies CG(E)<0, while the separate canonical preparation has CK(β)≥0 for every β>0. For its density pβ, define ⟨g⟩β:=∫gpβ dνrel and Var⁡β(h):=∫(h−⟨h⟩β)2pβ dνrel. 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 μ,A,r0,R,h∗ and fixed relative Hamiltonian; R>32r0; E=−A/(32r0); and the stated δNR condition.

[A1]

The microcanonical preparation adopts the finite energy shell, Gibbs-volume entropy, and CG=dE/dTG convention. (Confined relative Kepler shell and volume entropy preparation)

[A2]

The canonical preparation uses the same fixed relative Hamiltonian and shell, canonical β>0, and TK=(kBβ)−1. (Relative-shell canonical comparison preparation)

[A3]

Its relative density is pβ=Zrel−1e−βh on r0≤∣q∣≤R and all p∈R3, with Zrel>0. (Relative-shell canonical comparison preparation)

[L1]

The canonical expectation and variance in the Statement are integrals relative to the normalized density pβ and measure dνrel.

[F1]

On the mathematical branch E=−e, A/R<e≤A/(16r0), the Gibbs-volume heat capacity is strictly negative. (Negative Gibbs-volume capacity in a finite regulated shell)

[F2]

For the same relative Hamiltonian with the canonical preparation, Zrel is positive and finite and CK=kBβ2Var⁡β(h)≥0 for every β>0. (Exact relative-shell canonical normalization and response)

Proof

1.1givenA1F1algebra

Set e=A/(32r0). Since R>32r0, A/R<A/(32r0)=e, while e<A/(16r0), so [F1] applies with δ=er0/A=1/32. It gives CG(E)<0 for the adopted Gibbs-volume convention.

2.1givenA1step 1.1algebra

On the microcanonical energy surface h=−e, ∣p∣2/(2μ)=A/∣q∣−e≤A/r0. Hence (∣p∣/μ)2≤2A/(μr0)≤δNRc2. Thus the selected microcanonical branch has the uniform slow-speed qualification stated in the theorem.

2.2A2F2L1step 1.1algebra

The canonical preparation keeps the same h and shell fixed while varying β. By [F2], its response is CK=kBβ2Var⁡β(h)≥0. This sign uses the canonical variance [L1] and the TK convention, not the Gibbs-volume derivative.

3.1A3F2constructstep 2.2algebra∎

To check the support qualification, fix any momentum threshold P∗>0 and width Δp>0. The shell Q={q:r0≤∣q∣≤R} and momentum annulus A={p:P∗<∣p∣<P∗+Δp} both have positive finite Lebesgue measure. On Q×A, h(q,p)≤(P∗+Δp)2/(2μ), so [A3] gives pβ(q,p)≥Zrel−1e−β(P∗+Δp)2/(2μ)>0. Therefore this annulus has positive canonical probability for every P∗; the momentum support is unbounded. The two response signs use distinct preparations and do not entail equality of response functions.

LemmaStatement: AI-adaptedProof: AI-adaptedprecheck passjudge pass (gpt-6-luna)Open item page →

Finite static fermion-mode trace and occupation identity

Statement

Let M≥0 be an integer, let E1,…,EM∈R, β>0, and μ∈R. Define the finite index set NM={0,1}M and the finite-dimensional Hilbert space HM=CNM with orthonormal basis ∣n1,…,nM⟩. Define diagonal operators H and N on this basis by H∣n⟩=(∑j=1MEjnj)∣n⟩,N∣n⟩=(∑j=1Mnj)∣n⟩. For a matrix on HM, trace means the finite sum of its diagonal entries in this basis. Then Ξ=Tr⁡e−β(H−μN)=∏j=1M(1+e−β(Ej−μ))∈(0,∞). The normalized diagonal state with weights Ξ−1e−β(∑jEjnj−μ∑jnj) has, for each 1≤j≤M, occupation mean ⟨nj⟩=1eβ(Ej−μ)+1. For M=0, the empty product and trace are 1, 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 {1,…,M}, their real energies Ej, and finite parameters β>0 and μ∈R.

[A1]

The occupation basis is indexed by bit strings n∈{0,1}M; H and N are the diagonal operators defined in the Statement. The trace is the finite diagonal sum in that basis.

Proof

1.1givenA1algebra

Put qj=e−β(Ej−μ). Each qj is a finite positive real number. Expanding the finite trace over bit strings and factoring a finite sum gives Ξ=∑(n1,…,nM)∈{0,1}M∏j=1Mqjnj=∏j=1M(1+qj). Every factor lies in (1,∞), so the product is finite and positive; for M=0 both sides equal 1.

2.1A1step 1.1algebra∎

Dividing each diagonal weight by the positive finite Ξ gives a normalized probability distribution on the finite basis. For 1≤j≤M, summing over the other bits factors their terms and yields ⟨nj⟩=qj∏k≠j(1+qk)∏k(1+qk)=qj1+qj=1eβ(Ej−μ)+1. The same calculation establishes the marginal directly and does not invoke a countable product or any axiom of choice.

PostulateStatement: Literature-sourcedProof: Not applicableprecheck passjudge pass (gpt-6-luna)Open item page →

Fixed static ideal gas or finite fermion regulator preparation

Physical scope

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 Ix0×B‾, where Ix0⊂R is an open interval and B⊂R3 is an open bounded coordinate box with compact closure and positive volume: g=−N(x)2(dx0)2+hij(x)dxidxj,x0=ct. Here hij is a smooth positive-definite spatial metric whose eigenvalues are bounded above and away from zero, and the dimensionless lapse satisfies 0<N0≤N(x)≤N1<∞. The static chart and observer congruence are distinct objects: with ξ=∂x0, the static unit observer is u=N−1ξ, satisfying g(u,u)=−1, 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 m>0 in kilograms, c>0 in metres per second, orthonormal momentum p^∈R3 in kg m s−1, and adopt the massive-particle dispersion function E(p^)=m2c4+c2∣p^∣2 in joules as a model input. The Killing energy is the derived function HK(x,p^)=N(x)E(p^), and the action reference h∗>0 is in joule-seconds. For a classical ideal gas with no interparticle potential and inverse Killing-energy parameter βK>0 in inverse joules, choose exactly one of these alternatives: (i) a fixed-particle canonical branch with an integer M≥1 and the 1/M! phase-counting convention; or (ii) a grand-canonical branch with dimensionless fugacity z>0, in which particle number is summed using the same 1/M! 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 μK in joules is used for the classical gas, it belongs to the grand-canonical branch and is related by z=eβKμK; 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 J={1,…,M}, M≥0, positive dimensionless lapse values Nj, and momenta p^j∈R3. Adopt mode energies Ej=Njm2c4+c2∣p^j∣2, canonical parameter βK>0 in inverse joules, and chemical-potential parameter μK∈R in joules, together with the finite occupation basis nj∈{0,1}. 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 hij, lapse N, region, m,c,h∗, 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.

Physics theoremStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6-luna)Open item page →

Constructed static gas redshift and hydrostatics

Physical scope

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 Z1(βK)=∫B∫R3e−βKN(x)E(p^)dVh(x) d3p^h∗3,dVh=det⁡(hij(x)) d3x. Then 0<Z1<∞. In the fixed-particle canonical branch, for the selected integer M≥1, the normalizer is ZM=Z1M/M!. In the grand-canonical branch, for dimensionless fugacity z>0, the normalizer is Ξ=ezZ1.

For either classical branch, define its coefficient α by α=M/Z1 in the fixed-particle branch and α=z in the grand-canonical branch. Its proper local expected particle phase-space density is fα(x,p^)=αh∗−3e−βKN(x)E(p^). Define proper local number density n=∫fα d3p^, energy density ε=∫Efα d3p^, and isotropic pressure P=13∫p^⋅∇p^E fα d3p^. With TK=(kBβK)−1, both branches satisfy Tloc(x)=TKN(x),P=nkBTloc,∂iP=−(ε+P)∂ilog⁡N. Only in the grand-canonical branch, if z=eβKμK for a Killing-normalized chemical parameter μK∈R measured in joules, rewriting the local weight as e−βKN(E−μloc) gives μloc=μK/N.

In the finite fermion-mode branch, let Ej=Njϵj with ϵj=m2c4+c2∣p^j∣2, Nj>0, βK>0, and μK∈R. The normalized diagonal state has ⟨nj⟩=1eβK(Ej−μK)+1=1eβj(ϵj−μj)+1,βj=βKNj,μj=μKNj. 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.

[A1]

The Postulate supplies g=−N2(dx0)2+hijdxidxj, 0<N0≤N≤N1, the classical local energy E(p^) and either fixed particle count M or grand fugacity z, or the separate finite mode energies and occupancy basis. (Fixed static ideal gas or finite fermion regulator preparation)

[F1]

For the bounded-lapse static metric and classical gas, the one-particle integral is finite and positive; the fixed-particle branch has ZM=Z1M/M!, and the grand-canonical branch has Ξ=ezZ1 with fz=zh∗−3e−βKNE. Its local identities include Tloc=TK/N, P=nkBTloc, ∂iP=−(ε+P)∂ilog⁡N, and, when z=eβKμK, μloc=μK/N. (Static relativistic finite gas normalization and hydrostatics)

[F2]

For a finite bit-string occupation basis and finite real energies, the trace is ∏j(1+e−β(Ej−μ)) and each occupation marginal is (eβ(Ej−μ)+1)−1. (Finite static fermion-mode trace and occupation identity)

Proof

1.1givenA1F1algebra

The metric, positive lapse bounds, compact finite-volume region, and positive parameters in [A1] meet the hypotheses of [F1], which gives 0<Z1<∞ and the normalizer for whichever classical branch is selected. In the fixed-particle branch, put dλ1=dVh d3p^/h∗3. The normalized M-particle Gibbs density relative to dλ1⊗M/M! is M!Z1−M∏a=1Me−βKN(xa)E(p^a). Its one-particle marginals are Z1−1e−βKNEdλ1, so summing their densities gives fM=(M/Z1)h∗−3e−βKNE. For comparison only, choose any z0>0 in the grand-canonical result [F1] and set fz0=z0h∗−3e−βKNE; then fM=(M/(z0Z1))fz0. This positive constant scales n, ε, P, and ∂iP equally, while Tloc is unchanged because it depends only on βKN. Therefore the pressure and hydrostatic identities from [F1] hold for fM too. The comparison does not introduce fugacity into the fixed-particle preparation.

1.2A1F2

For the finite mode set, apply [F2] with the finite real values Ej=Njϵj, β=βK, and μ=μK. This gives a positive finite trace, a normalized diagonal state, and ⟨nj⟩=(eβK(Njϵj−μK)+1)−1.

2.1A1F1step 1.1algebra

In the grand-canonical branch only, z=eβKμK makes ze−βKNE=e−βKN(E−μK/N), so the local chemical parameter is μloc=μK/N.

3.1step 1.2algebra∎

The definitions βj=βKNj and μj=μK/Nj imply βj(ϵj−μj)=βK(Njϵj−μK). Substitution yields the stated local-parameter occupation exactly for each supplied mode.

5 · Examples, experiments and counterexamples

None yet.

Sources