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.

Ideal photon reservoir and active-area mass balance

1 · Prerequisites

2 · Summary

This page combines a zero-mode-excluded ideal photon Gibbs/ray model with a restricted Schwarzschild stationary-family entropy input and an adopted fixed-asymptotic-reference mass balance. The positive-cutoff mass ODE, coarse entropy export, and internal quasistatic diagnostic are exact conditional model results. The diagnostic is not an error bound against an exact Einstein–quantum backreaction solution; the effective area is not a material patch on the null horizon, and no Hawking-collapse theorem, measured flux, or universal generalized second law is claimed.

3 · Logical flowchart

4 · Definitions, postulates, theorems and proofs

DefinitionDefinition: AI-adaptedProof: Not applicableOpen item page →

Quasistatic diagnostic for the ideal emitter model

Definition

Assume ACω as defined by The Axiom of Countable Choice (ACω) and use the fixed-reference mathematical emitter model of Exact ideal emitter mass ODE and entropy accounting, with positive constants G,c, a positive mass function M(t∞), and the model horizon radius rH(M)=2GM/c2. Here t∞ is measured in seconds, M in kilograms, rH in metres, G in m3 kg−1 s−2, and c in m s−1. For each t∞∈[0,τ], including the positive-mass cutoff endpoint supplied by the model, where M(τ)=Mmin⁡>0, define the selected crossing-time scale and dimensionless fractional-change diagnostic by

tcross(t∞):=rH(M(t∞))c,ϵqs(t∞):=∣M′(t∞)∣ tcross(t∞)M(t∞).

Thus tcross has units of seconds and ϵqs is dimensionless. This is a diagnostic defined from the adopted mass ODE and the chosen length scale rH/c; it is not a measured crossing time, an estimate of error against a time-dependent Einstein solution, or a proof that the ideal model approximates such a solution.

LemmaStatement: AI-adaptedProof: AI-adaptedprecheck passjudge pass (gpt-6-luna)Open item page →

Exact quasistatic and finite-interval mass-change bounds

Statement

Assume ACω as defined by The Axiom of Countable Choice (ACω). Let G,c,ℏ,η,M0,Mmin⁡>0 be the relevant constants and initial/cutoff data of Exact ideal emitter mass ODE and entropy accounting, with 0<η≤1 and 0<Mmin⁡<M0. Let

M(t∞)=(M03−3αt∞)1/3,α=ηℏc415360πG2,τ=M03−Mmin⁡33α

be the positive solution and cutoff supplied by that proposition. Use the diagnostic of Quasistatic diagnostic for the ideal emitter model. Then

ϵqs(t∞)=2Gαc3M(t∞)2≤2Gαc3Mmin⁡2.

For any ϵ0>0, the condition Mmin⁡2≥2Gα/(c3ϵ0) therefore implies ϵqs(t∞)≤ϵ0 throughout [0,τ].

There is also an exact finite-interval bound. If 0≤t∞≤t∞+Δt≤τ and

δ:=3αΔtM(t∞)3≤12,

then

M(t∞+Δt)M(t∞)=(1−δ)1/3,∣M(t∞+Δt)M(t∞)−1∣≤22/33 δ.

Both bounds are exact internal consequences of the adopted ODE. They give no error bound between that ODE and an unconstructed Einstein–quantum backreaction solution.

Facts & Assumptions

Given: ACω, the fixed-reference ODE, its positive solution, the cutoff and constants of Exact ideal emitter mass ODE and entropy accounting, with 0<Mmin⁡<M0, 0<η≤1, and α>0.

[A1]

The Axiom of Countable Choice (ACω): ACω means every countable family of nonempty sets has a choice function; this is the exact choice assumption carried by the mathematical photon-flux supplier.

[F1]

Exact ideal emitter mass ODE and entropy accounting: its Statement defines rH=2GM/c2, α=ηℏc4/(15360πG2), and the exact positive solution M(t∞)=(M03−3αt∞)1/3 until Mmin⁡>0.

[F2]

Quasistatic diagnostic for the ideal emitter model: tcross=rH(M(t∞))/c and ϵqs=∣M′∣tcross/M; the latter is a dimensionless ODE diagnostic only.

[F3]

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 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.

Proof

Given: A positive solution M of the stated ODE on [0,τ], positive G,c,α, and the definitions in [F1]–[F2].

1.1givenA1F1F2algebra

Differentiate the exact solution in [F1] on 0≤t∞≤τ; since M(t∞)>0, this gives M′=−α/M2. Also [F1] gives rH=2GM/c2, so substituting these identities and tcross=rH/c into [F2] yields

ϵqs=(α/M2)(2GM/c3)M=2Gαc3M2.

All factors are positive on the interval.

1.2givenA1F1algebra

From [F1], M(t∞+Δt)3=M(t∞)3−3αΔt. Divide by the positive M(t∞)3 and take positive cube roots to get M(t∞+Δt)/M(t∞)=(1−δ)1/3.

2.1givenA1step 1.1algebra

Since M(t∞)≥Mmin⁡>0, one has M(t∞)−2≤Mmin⁡−2. The formula in step 1.1 gives the uniform upper bound; if Mmin⁡2≥2Gα/(c3ϵ0), multiplying by the positive denominator yields ϵqs≤ϵ0.

3.1givenA1F3step 1.2algebra∎

If δ=0, step 1.2 gives a ratio of one and the bound is equality. If 0<δ≤1/2, h(x)=(1−x)1/3 is continuous on [0,δ], differentiable on its interior, and satisfies ∣h′(x)∣=13(1−x)−2/3≤22/3/3. Apply [F3] on this nondegenerate interval and use h(0)=1 to obtain ∣h(δ)−1∣≤(22/3/3)δ. Step 1.2 gives the claimed ratio bound.

PostulateStatement: AI-adaptedProof: Not applicableprecheck passOpen item page →

Ideal photon reservoir and active-area mass-balance model

Physical scope

An adopted zero-mode-excluded ideal photon reservoir and isotropic ray model attached to the positive-mass Schwarzschild stationary family with one fixed asymptotic time and energy normalization. The emitter area is the phenomenological far-field value eta A_H, incoming flux is zero, and the model stops at a strictly positive mass cutoff. The statement is not a time-dependent Einstein solution, a Hawking collapse derivation, a material null-horizon emitter, a measured flux, or a generalized second law.

Postulate

Use SI constants GN>0 in m3 kg−1 s−2, c>0 in m s−1, ℏ>0 in J s, and kB>0 in J K−1. In Exact ideal emitter mass ODE and entropy accounting, the mathematical constant G is identified with this same GN.

For each fixed mass M>0 in kilograms, take the zero-angular-momentum, zero-charge member of the selected Kerr–Newman stationary family Physical KN family work and constancy, with geometric mass length m=GNM/c2 in metres. In the Schwarzschild exterior use coordinates (x0,r,ϑ,φ), x0=ct∞ in metres, r>2m, and metric

ds2=−(1−2mr)(dx0)2+(1−2mr)−1dr2+r2dΩ22,

where dΩ22 is the unit-sphere metric. The asymptotic generator is ξ=∂x0, with g(ξ,ξ)→−1 at infinity. The selected stationary-family radius, area, and geometric surface gravity are

rH(M)=2m=2GNMc2,AH(M)=4πrH(M)2,κgeom(M)=14m=c24GNM.

Thus rH is in metres, AH in m2, and κgeom in m−1, using the length-normalized generator convention of Thermodynamics-GR fields, currents, reference normalization and units.

Adopt the selected reduced-model reference temperature from Restricted reversible horizon entropy identification on this Schwarzschild subfamily:

T∞(M):=TK=Tred=ℏcκgeom(M)2πkB=ℏc38πGNMkB>0.

This is an adopted model identification for one fixed asymptotic reference. It is not a local proper-temperature field and does not assert a general Hawking state. The reversible entropy state SH is the value of the stationary-family state function on each Schwarzschild member; evaluating that family function along a changing parameter M(t∞) is bookkeeping in this model, not a claim that the changing family is an exact spacetime solution.

Adopt the zero-mode-excluded, zero-point-subtracted, two-polarization photon Gibbs model and isotropic freely streaming ray convention of Actual photon box trace and Planck energy/entropy flux, under ACω from The Axiom of Countable Choice (ACω). Its energy density u, coarse diagonal-mode entropy density s, and one-sided fluxes are those of that theorem. This identification is an ideal reservoir assumption; no photon-wall equilibration theorem or physical preparation is asserted.

Fix 0<η≤1, a constant dimensionless active-area fraction, an initial mass M0>0, and a positive cutoff 0<Mmin⁡<M0. Let M(t∞)>0 be C1 on an interval containing its first cutoff time τ, with M(0)=M0, and let t∞ be measured in seconds by the fixed asymptotic time parameter. Define E∞(t∞)=M(t∞)c2 in joules and the effective far-field emitting area

Aeff(M):=ηAH(M).

Adopt zero incoming flux, the power law P∞=AeffσT∞4 in watts, the balance equation

dE∞dt∞=c2M′(t∞)=−P∞(t∞),

and the coarse exported entropy rate Srad′=(4/3)P∞/T∞, with Srad(0)=0. Here Srad is the entropy carried by the ideal Gibbs/ray model, not an outside von Neumann entropy. The effective area is not a material patch of the null horizon and η is not a frequency-independent greybody factor applied separately to entropy.

The model holds only for the fixed normalization ξ. Under ξ↦bξ, b>0, the model conventions scale Eξ↦bEξ, tξ↦tξ/b, κgeom↦bκgeom, and leave AH unchanged. The Stefan closure above is therefore not stipulated as a reference-independent luminosity law. No experiment, coupled backreaction solution, physical extinction event, or universal generalized second law is adopted.

Physics theoremStatement: AI-adaptedProof: AI-adaptedprecheck passOpen item page →

Conditional ideal Planck emission and entropy accounting

Physical scope

Conditional exact conclusion in the zero-mode-excluded Planck/Gibbs ray model and fixed-asymptotic-reference positive-cutoff Schwarzschild effective-area ODE. The area entropy input is restricted to the stationary family interface, and the explicit AC_omega assumption is carried. The quasistatic ratio is an internal diagnostic, not an error bound against a dynamic Einstein solution. No actual Hawking flux, coupled backreaction, empirical observation, reference-independent Stefan law, or universal generalized second law is asserted.

Statement

Assume the ideal model and fixed asymptotic normalization of Ideal photon reservoir and active-area mass-balance model, and explicitly assume ACω as defined by The Axiom of Countable Choice (ACω). Use G=GN between the mathematical ODE input and the physical Schwarzschild family. Also assume the conditional family-entropy interface stated by Conditional area entropy coefficient with free offset with its actual hypotheses. Let SH(M) denote that state-function value at the stationary Schwarzschild member of mass M, and put

ΔSH:=SH(M0)−SH(Mmin⁡).

For the fixed-reference effective-area model,

P∞(M)=ηℏc615360πGN2M2,α=ηℏc415360πGN2,M(t∞)=(M03−3αt∞)1/3,τ=M03−Mmin⁡33α.

The model exports energy c2(M0−Mmin⁡) joules, and its coarse photon entropy satisfies

SH(M)=4πkBGNM2ℏc+s∗,s∗∈R constant on the stationary family, Srad(τ)=43ΔSH>0,Δ(SH+Srad)=13ΔSH>0.

The absolute entropy offsets in the mathematical ODE model and the stationary-family state function need not be identified; their differences agree because both have the same area coefficient on this branch.

For the diagnostic of Quasistatic diagnostic for the ideal emitter model,

ϵqs(t∞)=2GNαc3M(t∞)2,sup⁡0≤t∞≤τϵqs=2GNαc3Mmin⁡2.

Thus Mmin⁡2≥2GNα/(c3ϵ0) implies ϵqs≤ϵ0 for any ϵ0>0. The finite-interval bound in Exact quasistatic and finite-interval mass-change bounds also applies whenever its stated δ≤1/2 condition holds.

The Stefan closure is tied to the fixed reference: under ξ↦bξ, power scales as b2, while Tξ4 scales as b4 and area is unchanged. This is an exact conditional model calculation, not a Hawking-radiation theorem, a time-dependent Einstein solution, a backreaction error estimate, an observed evaporation history, or a universal generalized second law.

Facts & Assumptions

Given: The positive constants, fixed asymptotic reference, zero-mode-excluded photon/ray model, adopted effective area and mass balance, and positive cutoff of Ideal photon reservoir and active-area mass-balance model, together with the explicit ACω assumption.

[F1]

Ideal photon reservoir and active-area mass-balance model: on the selected Schwarzschild stationary family rH=2GNM/c2, AH=4πrH2, and κgeom=c2/(4GNM); it adopts T∞=ℏcκgeom/(2πkB), Aeff=ηAH, P∞=AeffσT∞4, c2M′=−P∞, and coarse entropy rate Srad′=(4/3)P∞/T∞ until Mmin⁡>0. These are model assumptions.

[F2]

Actual photon box trace and Planck energy/entropy flux: under its zero-mode-excluded two-polarization Gibbs trace and isotropic ray model, F=σT4, FS=(4/3)F/T, and σ=π2kB4/(60ℏ3c2); its trace and Fourier/Riemann arguments use ACω.

[F3]

Exact ideal emitter mass ODE and entropy accounting: for the same G,c,ℏ,kB,η,M0,Mmin⁡, fixed reference, and adopted ODE, the exact positive solution, cutoff time, energy export, and coarse entropy formula with SB(M)=4πkBGM2/(ℏc)+S0 hold.

[F4]

Quasistatic diagnostic for the ideal emitter model: tcross=rH/c and ϵqs=∣M′∣tcross/M, as internal ODE definitions only.

[F5]

Exact quasistatic and finite-interval mass-change bounds: the exact ϵqs formula, positive-cutoff upper bound, threshold criterion, and finite-interval mass-ratio bound stated above follow from the ODE.

[L1]

Conditional area entropy coefficient with free offset currently states that on the connected, strictly subextremal, zero-magnetic-flux stationary Kerr–Newman family, conditional on the reversible-heat identification and selected reduced temperature, SH=kBc3AH/(4GNℏ)+s∗. Its explicit Countable Choice premise, reversible-heat adoption and same-generator reduced-temperature identification are retained here. The current reduced-temperature Statement also explicitly carries Countable Choice. This use is only the selected stationary-family interface, not an inference of a dynamical spacetime or microscopic entropy.

[A1]

The geometric mass length for the Schwarzschild specialization is m=GNM/c2>0, a=q=0; hence it lies in the strict subextremal family. The model mass schedule is not asserted to solve the Einstein equations.

[A2]

The Axiom of Countable Choice (ACω): ACω means that every countable family of nonempty sets has a choice function. This is the exact set-theoretic hypothesis of the cited photon-spectrum chain; no full Axiom of Choice is assumed.

Proof

Given: ACω, the model assumptions of [F1], the mathematical flux relation of [F2], the exact ODE result [F3], and the conditional family interface [L1].

1.1givenF1F2A2algebra

The outgoing one-sided flux in [F2] and the adopted area/temperature in [F1] give P∞=ηAHσT∞4. Substituting AH=16πGN2M2/c4, T∞=ℏc3/(8πGNMkB), and σ=π2kB4/(60ℏ3c2) yields P∞=ηℏc6/(15360πGN2M2). The adopted balance equation is therefore M′=−αM−2 with α=ηℏc4/(15360πGN2)>0.

1.2givenF1F3A2

The hypotheses of [F3] match the fixed-reference area, temperature, outgoing flux, mass-balance law, and strictly positive cutoff in [F1]. Its exact solution gives the displayed M(t∞), τ, and energy export. No continuation to M=0 is used.

1.3givenF1F3L1A1A2algebra

Put m=GNM/c2, a=q=0. Since m>0, this point lies in the strict subextremal domain of [L1]; the selected Schwarzschild horizon area is the same AH=16πGN2M2/c4 used by [F1] and [F3]. Therefore [L1] gives SH(M)=kBc3AH(M)/(4GNℏ)+s∗, while [F3] gives SB(M)=kBc3AH(M)/(4GNℏ)+S0. Their constant offsets may differ, but subtracting the values at M0 and Mmin⁡ cancels each offset and gives SH(M0)−SH(Mmin⁡)=SB(M0)−SB(Mmin⁡)>0, because M0>Mmin⁡>0. The ACω assumption [A2] is carried for the reduced-spectrum input in [L1].

1.4F3F4F5A2algebra

The definition [F4] and ODE of [F3] give ϵqs=∣M′∣(2GNM/c3)/M=2GNα/(c3M2). Since M≥Mmin⁡, the supremum is the displayed positive-cutoff value; the threshold follows by multiplying by Mmin⁡2>0. The exact finite-interval ratio and bound are [F5]. These are internal properties of the stipulated ODE.

2.1F3step 1.3A2algebra

By [F3], Srad(τ)=(4/3)[SB(M0)−SB(Mmin⁡)]. Step 1.3 replaces this difference by ΔSH. Thus Srad(τ)=(4/3)ΔSH, and SH(Mmin⁡)+Srad(τ)−SH(M0)=−(ΔSH)+(4/3)ΔSH=(1/3)ΔSH>0. This is the stated coarse model entropy accounting only.

3.1F1algebra∎

Under the rescaling ξb=bξ, the postulate's model conventions give Eb(tb)=bE∞(t∞), tb=t∞/b, and κb=bκgeom, with b>0 and the same mass history. Define the positive emitted power in the rescaled variables by Pb:=−dEb/dtb. Differentiating the rescaled energy with respect to the rescaled time and using the stipulated balance equation dE∞/dt∞=−P∞ gives Pb=b2P∞. The temperature formula in [F1] gives Tb=ℏcκb/(2πkB)=bT∞, so the Stefan expression would instead scale as AeffσTb4=b4AeffσT∞4, with unchanged area and coefficient. Since P∞>0, these scalings agree at the fixed normalization b=1 but not for arbitrary b; the closure in [F1] is therefore not a reference-independent luminosity law.

5 · Examples, experiments and counterexamples

None yet.

Sources