Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generatedprecheck pendingjudge 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.

Restricted reversible horizon entropy identification

Physical scope

An additional reversible heat and entropy-state-function identification on the selected connected, strictly subextremal, zero-magnetic-flux stationary Kerr–Newman family, conditional on matching each member's reduced exponential-current branch parameter and Killing flow at each family point to that member's positive geometric surface gravity and generator normalization. It asserts no entropy microstate count, general Hawking or KMS result, dynamical-process law, or empirical reading.

Postulate

Use the connected strict subextremal parameter domain P:={(m,a,q)∈R3:m>0, m2>a2+q2}, with its physical Kerr–Newman family and SI conversion as in Physical KN family work and constancy. Fix positive constants GN in m3 kg−1 s−2, c in m s−1, ℏ in J s, and kB in J K−1. Write Epar:P→J, AH:P→m2, JSI:P→kg m2 s−1, Qe:P→C, ΩSI:P→s−1, and ΦSI:P→V for the smooth parameter functions supplied by Physical KN family work and constancy.

Define the work-subtracted reversible heat one-form on P by δQrev:=dEpar−ΩSI dJSI−ΦSI dQe. Here a one-form assigns a linear functional to each tangent direction in the family parameter domain; each term has units of joules. Let SH:P→R be a C1 function with values measured in J K−1. It is a state function here in the explicit sense that its value is assigned to each family parameter point and does not depend on a path used to reach that point.

Assume the mathematical premise ACω of The Axiom of Countable Choice (ACω) required by the selected spectral supplier. This is not a physical postulate.

For x=(m,a,q)∈P, define s(x):=m2−a2−q2,r+(x):=m+s(x),D(x):=r+(x)2+a2. On the selected smooth ingoing Kerr–Newman spacetime belonging to the family member x, write χx for the selected horizon generator with the length-flow parameter and reference normalization of Physical KN family work and constancy. Let ∇(x) denote the Levi-Civita connection of that member's metric. By that supplier and the conditional geometric definition in Thermodynamics-GR fields, currents, reference normalization and units, ∇χx(x)χx=κgeom(x)χx,κgeom:P→(0,∞),κgeom(x):=s(x)D(x), where the connection is taken on the spacetime indexed by the family point, not on the parameter domain P. This is a smooth positive family map with values in m−1. Put κacc(x):=c2κgeom(x), in m s−2, as in the SI family theorem.

For each fixed x∈P, use a reduced exponential-current branch instance of Reduced quantum horizon temperature calibration whose Killing flow field is identified with χx and whose length-flow normalization is the family member's. The reference event is fixed within that instance as required by the PHS02 branch model. The branch instance satisfies the supplier's positive energy-gap, positive γred, and two-state-rate hypotheses; its scalar inverse-length parameter is held constant at κ=κgeom(x). Let Tred(x) denote that instance's effective reference temperature. The supplier gives Tred(x)=ℏcκgeom(x)2πkB. Adopt the additional reference-temperature identification TK:P→(0,∞), TK(x):=Tred(x), so TK(x)=ℏcκgeom(x)2πkB=ℏκacc(x)2πckB. Thus TK is a smooth family map with values in kelvins. At a fixed family point x, the unparameterized symbol TK denotes the value TK(x). It names only the selected reference scale in the reversible relation; it is not a local proper-temperature field and does not assert a stationary bath, a KMS state, or an observed detector reading.

Adopt the reversible thermodynamic identification δQrev=TK dSH as an equality of one-forms on P: at each x∈P and v∈TxP, it means δQrev(x)[v]=TK(x) dSH(x)[v]. This physical identification is an additional assumption. The geometric family identity and the reduced effective-temperature model do not by themselves assert it. No global entropy zero or identification with a quantum-gravity microstate count or an unrenormalized outside-state entropy is adopted.

Depends on

Dependency tree · 2 levels

Sources