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.

Restricted reversible horizon entropy bridge

1 · Prerequisites

2 · Summary

This page adopts a restricted reversible-heat identification for the selected strictly subextremal stationary family. At each family point, its reduced exponential-current branch has a constant parameter equal to that point's positive geometric surface-gravity coefficient; this gives a smooth reference-temperature field for the family. The conditional theorem combines that field with the exact SI family differential. The result fixes the area coefficient within the adopted model while leaving the entropy zero free; it asserts no general Hawking law or microscopic state count.

3 · Logical flowchart

4 · Definitions, postulates, theorems and proofs

PostulateStatement: AI-adaptedProof: Not applicableprecheck pendingjudge pass (gpt-6-luna)Open item page →

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.

Physics theoremStatement: AI-adaptedProof: AI-generatedprecheck pendingjudge pass (gpt-6-luna)Open item page →

Conditional area entropy coefficient with free offset

Physical scope

Conditional deduction on the selected connected, strictly subextremal, zero-magnetic-flux stationary Kerr–Newman family, using the exact SI family differential, the explicitly adopted reversible heat and entropy state function, and the pointwise reduced exponential-current reference-temperature field obtained by matching each branch parameter to that member's same-normalized geometric surface gravity. It does not assert a general Hawking or KMS theorem, a dynamical-process first law, an empirical temperature, a microstate count, or an absolute entropy zero.

Statement

Use the physical Kerr–Newman family parameterized by the connected strict subextremal domain P:={(m,a,q)∈R3:m>0, m2>a2+q2}, with its current SI parameter map and selected horizon conventions from Physical KN family work and constancy. Assume ACω as defined in The Axiom of Countable Choice (ACω), the mathematical premise used by the current Kerr–Newman and reduced spectral supplier proofs. Let SH:P→R be the C1 entropy state function adopted in Restricted reversible horizon entropy identification, measured in J K−1. Assume that postulate's reversible-heat identity δQrev=dEpar−ΩSIdJSI−ΦSIdQe=TKdSH on P. Also assume its pointwise temperature identification: for each x=(m,a,q)∈P, the reduced branch parameter is held fixed at κ=κgeom(x)=s(x)/D(x)>0, and the smooth reference-temperature field is TK:P→(0,∞) with TK(x)=Tred(x)=ℏcκgeom(x)/(2πkB). Then there is a constant s∗∈R, with units J K−1, such that throughout P SH=kB4ℓP2AH+s∗=kBc34GNℏAH+s∗,ℓP2:=GNℏc3. The deduction determines the area coefficient within this adopted model and leaves the entropy zero unselected. It does not identify SH with a statistical microstate count or an outside-state entropy.

Facts & Assumptions

Given: The connected strict subextremal family, its exact physical and mathematical first-law interfaces, and the additional thermodynamic and reduced-temperature assumptions stated below.

[F1]

Thermodynamics-GR fields, currents, reference normalization and units: GN,c,ℏ,kB>0 have the stated SI units, and on a supplied null generator κacc=c2κgeom, with κgeom in m−1 and κacc in m s−2. The entropy formula defines ℓP2:=GNℏ/c3 explicitly.

[F2]

Physical KN family work and constancy: on the selected strict subextremal, zero-magnetic-flux physical family, with GN,c,μ0 fixed, the exact SI identity is dEpar=κaccc28πGN dAH+ΩSI dJSI+ΦSI dQe, where Epar is in joules, AH in m2, JSI in kg m2 s−1, Qe in coulombs, ΩSI in s−1, and ΦSI in volts; κacc>0 on this strict domain.

[F3]

Verified Kerr-Newman family first law and Smarr identity: on P, with A=4π(r+2+a2), j=ma, κKN=m2−a2−q2/(r+2+a2), ΩKN=a/(r+2+a2), and ΦKN=qr+/(r+2+a2), the mathematical family differential is dm=κKN8π dA+ΩKN dj+ΦKN dq.

[A2]

The Axiom of Countable Choice (ACω): every sequence (Xn)n∈N of nonempty sets has a choice function f with f(n)∈Xn for every n. The full current spectrum supplier explicitly assumes this axiom.

[L1]

Reduced quantum horizon temperature calibration: for each reduced exponential-current branch with E>0, constant parameter κ>0, positive γred, and the adopted two-state rates, the effective reference temperature defined by the stationary excited-to-ground ratio is Tred=ℏcκ/(2πkB). At each x∈P, the postulate uses the branch instance whose Killing flow and reference normalization match χx, with branch parameter fixed at κ=κgeom(x); it yields the pointwise field TK(x)=ℏcκgeom(x)/(2πkB). The supplier's Statement explicitly assumes Countable Choice, retained here in [A2], as required by its cited spectrum supplier. This use retains the selected reduced model, positive gap, positive rate, same-generator identification and reference normalization; it does not use the supplier's optional stationary-bath clause.

[F4]

Classical first-law product leaves entropy-temperature calibration free: a connected mathematical family first-law product does not select a unique positive temperature scale or absolute entropy offset; every stated offset leaves the differential unchanged.

[F5]

The chain rule for total derivatives: D(g∘f)(a)=Dg(f(a))∘Df(a): for totally differentiable maps between Euclidean spaces, the derivative of a composite is the composite of the derivatives.

[F6]

The mean value theorem, as the case g(x)=x of Cauchy's: for f continuous on [a,b] with a<b and differentiable on (a,b) there is c∈(a,b) with f(b)−f(a)=f′(c)(b−a): if a real function is continuous on a closed interval and differentiable in its interior, its endpoint difference equals its derivative at an interior point times the interval length.

[A1]

Restricted reversible horizon entropy identification: on P, the one-form δQrev=dEpar−ΩSIdJSI−ΦSIdQe satisfies δQrev=TK dSH, where TK:P→(0,∞) and, at every x∈P, the reduced branch parameter is held fixed at κ=κgeom(x) and TK(x)=Tred(x)=ℏcκgeom(x)/(2πkB).

Proof

1.1givenA2F2A1algebra

Under the mathematical premise [A2], by [F2], the work-subtracted one-form δQrev defined in [A1] is exactly κaccc28πGNdAH on P: the angular-momentum and electric-charge work terms cancel with the same terms in its definition. The physical postulate [A1] identifies this one-form with the product of the family field TK and dSH. Hence TK dSH=κaccc28πGN dAH. This is conditional on the selected stationary-family and thermodynamic assumptions.

1.2givenA2F1L1A1algebra

For each x∈P, apply [L1] to the reduced branch whose constant parameter is κ=κgeom(x), as specified in [A1]. Thus TK(x)=Tred(x)=ℏcκgeom(x)/(2πkB). By [F1], κacc(x)=c2κgeom(x)>0, so TK(x)=ℏκacc(x)/(2πckB)>0 at every family point.

2.1step 1.1step 1.2F1algebra

At each x∈P, evaluate the one-form equality in step 1.1 on an arbitrary tangent vector and divide by the positive scalar TK(x) from step 1.2. Using [F1] gives the one-form identity dSH=c2κacc8πGN2πckBℏκacc dAH=kBc34GNℏ dAH=kB4ℓP2 dAH. The coefficient has units J K−1 m−2, so the right-hand side has entropy units J K−1.

3.1F3step 2.1F5F6construct

For arbitrary x0=(m0,a0,q0) and x1=(m1,a1,q1) in P, put vi=(ai,qi) with its Euclidean norm and let γ(t)=(1−t)x0+tx1 for 0≤t≤1. Since mi>∥vi∥2, for every such t, m(t)=(1−t)m0+tm1>(1−t)∥v0∥2+t∥v1∥2≥∥(1−t)v0+tv1∥2=a(t)2+q(t)2. Thus the segment stays in P. Set R:=SH−kB4ℓP2AH; step 2.1 gives dR=0. The path γ is smooth; since P is open, it maps a neighborhood of every t∈(0,1) into P. The chain rule [F5] gives (R∘γ)′(t)=dRγ(t)(x1−x0)=0. Also R∘γ is continuous on [0,1] and differentiable on (0,1), so [F6] yields R(x1)=R(x0).

4.1A1F4step 3.1∎

Since x0,x1 were arbitrary, R has one constant value s∗ on the connected family P, proving the displayed formula. No reference value of SH was adopted; adding any constant to it leaves [A1] unchanged, in accord with the mathematical calibration freedom [F4]. This fixes the conditional area coefficient but not an entropy zero.

Remarks

The reduced-temperature result is used only at its specified effective-model interface, including its explicit Countable Choice premise. The separate reversible heat identification is essential: the theorem makes no claim that the reduced model describes every black hole or that the postulated SH is a microscopic state count.

5 · Examples, experiments and counterexamples

None yet.

Sources