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

Depends on

Dependency tree · 2 levels

Sources