Alphabeta Math
PostulateStatement: Literature-sourcedProof: Not applicablePipeline-generatedjudge 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.

Smooth perfect local material balance model

Physical scope

Fixed-composition, C2 local-equilibrium material on a smooth region with a perfect stress and conserved marker current; no universal equation of state, microscopic derivation, global gravitating additivity, or solution-existence claim.

Postulate

Let O be an open region of a smooth, oriented, time-oriented Lorentzian four-manifold (M,g) of signature (−,+,+,+), with its metric-compatible torsion-free connection ∇. Use the local material-state and unit conventions of Rest fluid state, frame and geometric current definitions and Thermodynamics-GR fields, currents, reference normalization and units: a smooth future-directed unit timelike observer-congruence field u has g(u,u)=−1; a C2 state map (v,σp):O→X takes values in a nonempty open X⊂(0,∞)×R; and a supplied e∈C2(X,R) defines n=1/v>0, s=nσp, ε=ne, T=∂σpe, and p=−∂ve. Adopt the selected fixed-composition material branch of Restricted local equilibrium parcel with adopted material state function, including its stipulated local-equilibrium regime and T>0.

For this branch, adopt the perfect-fluid matter model Ja:=nua,Tab:=εuaub+pΔab,Δab:=gab+uaub, with local balances ∇aJa=0 and ∇aTab=0 on O. Here Ja is the selected material-marker current and Tab is the symmetric stress-energy tensor; the perfect branch adopts zero spatial marker diffusion and isotropic rest-space stress. The balances are physical model assumptions in the stated smooth regime, not conclusions from the state function or from geometry. They may be used on a prescribed background or together with an explicitly specified coupled Einstein model; this postulate does not assert a solution exists for arbitrary initial data or an arbitrary equation of state.

The marker receives its material-particle interpretation from the fixed-composition premise. No microscopic equation of state, universal material applicability, nonzero external force, dissipative flux, global self-gravitating energy additivity, or empirical observation is asserted.

Depends on

Dependency tree · 2 levels

Sources