Alphabeta Math
Physics theoremStatement: AI-adaptedProof: AI-generatedPipeline-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.

Constrained entropy criticality yields scoped TOV and Tolman–Klein relations

Physical scope

First-variation equivalence on the supplied fixed-radius, positive-b, compatible C2 state chart with fixed mass-energy and particle number and the stated boundary clock; no entropy maximum, global equilibrium existence, vacuum matching, arbitrary EOS, empirical observation, or dynamical stability.

Statement

Assume the model preparation Supplied thermodynamic chart and gravitational entropy variation model, including a positive even C2 profile pair with compact state-chart range, fixed R>0, b≥b∗>0, fixed constraints E,Nb, and boundary normalization ϕ(R)=12log⁡b(R). Use the exact ZF+ACω convention of Constrained entropy criticality, Tolman–Klein equivalence and TOV consequence. An admissible profile curve is C1 in the sup-norm space C0([0,R])2 on an open interval about zero, takes values in the even C2 positive-b profile domain with range in a compact subset of the open state chart, and has a smooth derivative at zero compactly supported in (0,R) and extended evenly at the center. Define constrained stationarity to mean that S has zero derivative at the base profile along every such curve preserving both E and Nb. Then constrained stationarity is equivalent to the existence of constants α,ΘK,μK such that on (0,R) μΘ=α,Θeϕ=ΘK,μeϕ=μK, and the pressure obeys P′=−(ε+P)ϕ′=−G(ε+P)(M+4πr3P/c2)c2r2b. Here ΘK=Θ(R)b(R) and μK=μ(R)b(R). This is a conditional first-variation result in the adopted model, not a claim that nature selects such a profile or that it is an entropy maximum.

Facts & Assumptions

Given: The compatible thermodynamic chart and its profiles, R>0, the positive lower bound on b, the fixed E,Nb constraints, the stated boundary lapse, and the exact mathematical convention ZF+ACω.

[F1]

Supplied thermodynamic chart and gravitational entropy variation model adopts the local state chart, the proper S,Nb, the spherical mass-energy E, positive-b profiles, fixed-radius constrained variations, the static Λ=0 model, and boundary normalization eϕ(R)=b(R).

[F2]

Constrained entropy criticality, Tolman–Klein equivalence and TOV consequence: under a compatible C2 chart and the same profile, positive-b, fixed-radius, and boundary hypotheses, constrained stationarity is equivalent to constant μ/Θ, Θeϕ, and μeϕ, and implies the displayed TOV pressure equation; the result is first variation only and assumes ZF+ACω.

[A1]

The state chart, Einstein mass constraint, and thermodynamic preparation in [F1] are adopted assumptions; the physical theorem does not derive them from observations.

Proof

1.1givenA1F1F2

The state functions, proper functionals, fixed constraints, positive-b profile domain, and boundary clock in [F1] match the hypotheses of [F2]; the mathematical supplier's profile curves are exactly the admissible variations in this Statement. Its inherited foundation is the declared ZF+ACω convention.

2.1F1F2step 1.1algebra

Applying the two directions of [F2] gives the stated equivalence and the pressure equation with M,b from the supplied functional definition. The boundary values follow by substituting eϕ(R)=b(R) into the Tolman and Klein products.

3.1A1F1F2step 2.1∎

The result establishes a first-variation criticality condition within the adopted model only; neither a second-variation sign nor a maximizing-profile existence conclusion occurs in [F2], so neither is inferred here.

Depends on

Dependency tree · 2 levels

Sources