Alphabeta Math
PostulateStatement: Literature-sourcedProof: Not applicablePipeline-generatedprecheck passjudge pass (gpt-6-luna)
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

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.

Depends on

Dependency tree · 2 levels

Sources