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
- Abelian Categories
- Absolute and Conditional Convergence; Rearrangement; Products
- Absolute Continuity and the Sharp Fundamental Theorem of Calculus
- Actual photon box trace and Planck energy/entropy flux
- Algebraic Closure, Embeddings, and Separability
- Algebraic Extensions, Extension Degree, and Finite Fields
- Analyticity of Holomorphic Functions; Liouville and Morera
- Approximation and Compactness in C(K)
- Arc Length and Rectifiable Curves
- Areas of Elementary Plane Figures
- Banach Alaoglu Goldstine and Krein Milman
- Banach Algebras Spectrum and Holomorphic Functional Calculus
- Banach Valued Integration and the Radon Nikodym Property
- Banach-Space Differential Calculus and Banach Manifolds
- Binary Operations, Monoids, Groups and Subgroups
- Bounded Linear Operators and Quotient Spaces
- Bounded Variation and the Riemann–Stieltjes Integral
- Categories, Functors and Natural Transformations
- Causal And Initial Value Boundaries
- Chain Complexes and Homology
- Classical first-law product leaves entropy-temperature calibration free
- Cm Math Continuum
- Compact Operators and Riesz Schauder Theory
- Compact Self Adjoint Hilbert Schmidt and Trace Class Operators
- Compactness
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Complex Coordinate and Path Transport
- Complex Differentiability and the Cauchy–Riemann Equations
- Complex Lp Spaces and Test-Function Conventions
- Complex Norms and Realification
- Complex Power Series and Analytic Functions
- Complex Subspace Realification
- Complexification, Realification and Real Structures
- Composition Series, the Jordan–Hölder Theorem and Solvable Groups
- Congruences, the Integers Modulo n and the Chinese Remainder Theorem
- Connectedness
- Connections And Free Fall
- Connections Levi Civita and Parallel Transport
- Constant Rank, Submersions, Immersions and Regular Level Sets
- Constructed timelike smear and massless accelerated spectrum
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Continuous Functional Calculus for Self Adjoint and Normal Operators
- Contour Integration
- Convergence: Nets and Filters
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Countability Axioms and Cardinal Functions
- Curvature And Tides
- Cyclic Groups and Direct Products
- Darboux, L'Hôpital, and Taylor's Theorem
- Density Separability and Convolution in Lᵖ
- Determinants of Matrices over a Commutative Ring
- Diagonalisation and the Minimal Polynomial
- Differentiation of Monotone Functions and the Vitali Covering Theorem
- Dirac Clifford matrices and energy projections
- Distributions Integral Manifolds and the Frobenius Theorem
- Distributions Test Functions and Differentiation
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Divisibility, Greatest Common Divisors and Bézout's Identity
- Dual Spaces Adjoint Operators and Annihilators
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Eigenvalues, Eigenvectors and the Characteristic Polynomial
- Einstein And Matter
- Einstein–Maxwell primitive quantities and SI conventions
- Electrovacuum tensor Cauchy system
- Em Minkowski Mathematical Prerequisites
- Ensembles And Limits
- Euclidean Ordinary Differential Equations with Smooth Dependence
- Euclidean Surface Measure, Divergence, and Green Identities
- Explicit diagonal Fock domains and occupation trace
- Exterior Powers, Orientation and Hodge Duality
- Fibrations Fiber Bundles and Homotopy Exact Sequences
- Filters and Ultrafilters
- Finite bounded instruments normalize measurement probabilities
- Finite Counting, Factorials and Binomial Coefficients
- Finite Dimensional Normed Spaces and Riesz Lemma
- Finite Killing energy current and reference normalization
- Finite Probability and the Probabilistic Method
- Finite Probability Spaces and Random Variables
- Finite spacelike slab and normal flux charge
- Forces and Continuum
- Foundations of the Real Numbers for Analysis
- Fourier Transform Convolution and Approximate Identities
- Framework And Geometry
- Fredholm Elliptic Problems and the Elliptic Spectrum
- Free Modules, Exact Sequences, Projective and Injective Modules
- Fubini and Change of Variables
- Function Space Topologies and the Exponential Law
- Fundamental Trigonometric Identities
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Gelfand Theory and Commutative C Star Algebras
- Geodesics, the Exponential Map, Completeness, and Hopf–Rinow
- Geometric electrovac equations and flux normalization
- Goursat's Theorem and Cauchy's Theorem in a Convex Domain
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group Homomorphisms and the Isomorphism Theorems
- Harmonic Functions and Mean Values in Rn
- Hausdorff via the Diagonal
- Hereditary and Productive Behaviour of the Separation Axioms
- Hilbert Space Geometry and Riesz Representation
- Homotopy and Homotopy Equivalence
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Improper and Parameter-Dependent Multiple Integrals
- Improper Integrals
- Independent equation-based Einstein–Maxwell coupling
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Integration of Forms and the General Stokes Theorem
- Lebesgue Measure on Euclidean Space
- Lebesgue-Stieltjes Measures and Distribution Functions
- Limits and Colimits
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Line Integrals and the Gradient Theorem
- Linear Algebra Methods in Combinatorics
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Local potentials and smooth circle-bundle connection data
- Lorentz covariant formulation
- Lorentz Transformations
- Manifolds with Boundary Collars and Orientations
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Measurable Functions and Simple Approximation
- Measures and Their Basic Properties
- Metric Spaces
- Mixed Partials, Taylor Formulae, and Extrema
- Modes of Convergence Egorov and Lusin
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Morse Critical Points Hessians and Indices
- Normal Subgroups and Quotient Groups
- Normed and Banach Spaces
- Norming and Separation under Hahn–Banach
- Observer Measurements
- Order, Zorn's Lemma, and the Axiom of Choice
- Oriented Lorentzian fields, observers and coordinate conventions
- Orthonormal Bases, Parseval and Fourier Series
- Outer Measure and the Caratheodory Extension Theorem
- Partitions of Unity and Paracompactness
- pi: the Equivalent Characterizations
- Picard-Lindelöf and First-Order Ordinary Differential Equations
- Pointwise Extended-Real Function Products
- Polynomial Rings, the Division Algorithm and Roots
- Positive chiral current and exponential test-coordinate model
- Power Series and Real-Analytic Functions
- Preadditive and Additive Categories and Biproducts
- Primes, Euclid's Lemma and the Fundamental Theorem of Arithmetic
- Primitives and postulates
- Product Measures and the Fubini Tonelli Theorems
- Properties of the Integral and the Working FTC
- Qm Math Composites
- Qm Math Controlled Dynamics
- Qm Math Orbital And Spin
- Qm Math Oscillator
- Quantum field quantities and compatible SI normalizations
- Radon Measures and the Riesz Markov Kakutani Theorem
- Rank Theorems and Embedded Submanifolds
- Reduced exponential current and defined spectral detector adoption
- Regular Surfaces and Surface Integrals
- Relations, Functions, and Quotients
- Rest fluid state, frame and geometric current definitions
- Restricted reversible horizon entropy bridge
- Restricted smooth horizon Einstein/NEC adoption
- Riemann Curvature and Riemannian Submanifolds
- Riemannian Metrics Length Distance and Volume
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Scalar future mass-shell measure and test restriction
- Schwartz Space and the Plancherel Theorem
- Schwartz/distribution spaces and Hilbert Fock conventions
- Selected ingoing RN extension and time orientation
- Selected stationary thermal equilibrium
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- SI and geometric solution parameter identifications
- Sigma Algebras and Borel Sets
- Signed and Complex Measures Hahn and Jordan
- Simple Field Extensions and the Construction of the Complex Numbers
- Simplicial Complexes and Simplicial Homology
- Simply Connected Plane Domains: the Grand Equivalence
- Sine, Cosine, and the Definition of Pi
- Singular Chains and Singular Homology
- Singular Cochains Mayer Vietoris and Smooth Singular Comparison
- Singular Cohomology and Coefficient Theorems
- Smooth Approximation and Sobolev Extension
- Smooth Manifolds and Smooth Maps
- Smooth null screen and KN parameter family
- Smooth Partitions of Unity and Exhaustions
- Smooth Vector Bundles and Sections
- Sourced Maxwell sign and current conservation
- Spacetime Primitives
- Specified bosonic scalar and CAR Dirac model adoption
- Spectral Measures and Borel Functional Calculus
- Spherical Vacuum Model
- Splitting Fields
- Stationary thermal geometric data
- Stone–Weierstrass in General
- Strongly Continuous Semigroups and Hille Yosida
- Subspaces, Products, and Quotients
- Suprema and Infima
- Sylow's Theorems, p-Groups and Nilpotent Groups
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tangent Cotangent and the Differential
- Tempered Distributions and the Fourier Transform
- Tempered time-ordered scalar two-point carrier
- Tensor Fields Exterior Algebra and Differential Forms
- Tensor Products of Modules
- Tensors And Observers
- The Analytic Hahn Banach Theorem
- The Baire Principles of Functional Analysis
- The Cantor Set, Baire Category, and Measure Zero in ℝ
- The Complex Exponential and Euler's Formula
- The De Rham Complex Homotopy and Mayer Vietoris
- The de Rham Theorem and Degree
- The Derivative and the Mean Value Theorems
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Divergence Theorem and Classical Stokes
- The Exponential Function
- The Exterior Derivative and Cartan Calculus
- The Field of Fractions and Localisation
- The Fundamental Theorem of Algebra
- The Fundamental Theorem of Finite Abelian Groups
- The Fundamental Theorems of Calculus
- The Galois Correspondence
- The Inverse and Implicit Function Theorems
- The Inverse Function Theorem Completed
- The Lebesgue and Riemann Integrals Compared
- The Lebesgue Integral and the Convergence Theorems
- The Logarithm and General Powers
- The Lᵖ Spaces Holder Minkowski and Riesz Fischer
- The Maximal Function and Lebesgue Differentiation
- The Radon Nikodym Theorem and Lebesgue Decomposition
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Spectral Theorem, Positive Operators and Singular Value Decomposition
- The Topology of Euclidean Space
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Thermodynamics-GR fields, currents, reference normalization and units
- Topological Spaces and Continuity
- Topology of ℝ
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Unbounded Self Adjoint Operators and Stones Theorem
- Uniform Spaces: the Three Definitions
- Urysohn's Lemma and the Tietze Extension Theorem
- Vector Fields Flows and Lie Derivatives
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Volumes of Elementary Solids and Solids of Revolution
- Weak Derivatives and Sobolev Spaces
- Worldlines And Clocks
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
Quasistatic diagnostic for the ideal emitter model
Definition
Assume as defined by The Axiom of Countable Choice () and use the fixed-reference mathematical emitter model of Exact ideal emitter mass ODE and entropy accounting, with positive constants , a positive mass function , and the model horizon radius . Here is measured in seconds, in kilograms, in metres, in , and in . For each , including the positive-mass cutoff endpoint supplied by the model, where , define the selected crossing-time scale and dimensionless fractional-change diagnostic by
Thus has units of seconds and is dimensionless. This is a diagnostic defined from the adopted mass ODE and the chosen length scale ; 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.
Exact quasistatic and finite-interval mass-change bounds
Statement
Assume as defined by The Axiom of Countable Choice (). Let be the relevant constants and initial/cutoff data of Exact ideal emitter mass ODE and entropy accounting, with and . Let
be the positive solution and cutoff supplied by that proposition. Use the diagnostic of Quasistatic diagnostic for the ideal emitter model. Then
For any , the condition therefore implies throughout .
There is also an exact finite-interval bound. If and
then
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: , the fixed-reference ODE, its positive solution, the cutoff and constants of Exact ideal emitter mass ODE and entropy accounting, with , , and .
The Axiom of Countable Choice (): means every countable family of nonempty sets has a choice function; this is the exact choice assumption carried by the mathematical photon-flux supplier.
Exact ideal emitter mass ODE and entropy accounting: its Statement defines , , and the exact positive solution until .
Quasistatic diagnostic for the ideal emitter model: and ; the latter is a dimensionless ODE diagnostic only.
The mean value theorem, as the case of Cauchy's: for continuous on with and differentiable on there is with : 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 of the stated ODE on , positive , and the definitions in [F1]–[F2].
Differentiate the exact solution in [F1] on ; since , this gives . Also [F1] gives , so substituting these identities and into [F2] yields
All factors are positive on the interval.
From [F1], . Divide by the positive and take positive cube roots to get .
Since , one has . The formula in step 1.1 gives the uniform upper bound; if , multiplying by the positive denominator yields .
If , step 1.2 gives a ratio of one and the bound is equality. If , is continuous on , differentiable on its interior, and satisfies . Apply [F3] on this nondegenerate interval and use to obtain . Step 1.2 gives the claimed ratio bound.
Ideal photon reservoir and active-area mass-balance model
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 in , in , in , and in . In Exact ideal emitter mass ODE and entropy accounting, the mathematical constant is identified with this same .
For each fixed mass 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 in metres. In the Schwarzschild exterior use coordinates , in metres, , and metric
where is the unit-sphere metric. The asymptotic generator is , with at infinity. The selected stationary-family radius, area, and geometric surface gravity are
Thus is in metres, in , and in , 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:
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 is the value of the stationary-family state function on each Schwarzschild member; evaluating that family function along a changing parameter 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 from The Axiom of Countable Choice (). Its energy density , coarse diagonal-mode entropy density , 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 , a constant dimensionless active-area fraction, an initial mass , and a positive cutoff . Let be on an interval containing its first cutoff time , with , and let be measured in seconds by the fixed asymptotic time parameter. Define in joules and the effective far-field emitting area
Adopt zero incoming flux, the power law in watts, the balance equation
and the coarse exported entropy rate , with . Here 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 , , the model conventions scale , , , and leave 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.
Conditional ideal Planck emission and entropy accounting
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 as defined by The Axiom of Countable Choice (). Use 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 denote that state-function value at the stationary Schwarzschild member of mass , and put
For the fixed-reference effective-area model,
The model exports energy joules, and its coarse photon entropy satisfies
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,
Thus implies for any . The finite-interval bound in Exact quasistatic and finite-interval mass-change bounds also applies whenever its stated condition holds.
The Stefan closure is tied to the fixed reference: under , power scales as , while scales as 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 assumption.
Ideal photon reservoir and active-area mass-balance model: on the selected Schwarzschild stationary family , , and ; it adopts , , , , and coarse entropy rate until . These are model assumptions.
Actual photon box trace and Planck energy/entropy flux: under its zero-mode-excluded two-polarization Gibbs trace and isotropic ray model, , , and ; its trace and Fourier/Riemann arguments use .
Exact ideal emitter mass ODE and entropy accounting: for the same , fixed reference, and adopted ODE, the exact positive solution, cutoff time, energy export, and coarse entropy formula with hold.
Quasistatic diagnostic for the ideal emitter model: and , as internal ODE definitions only.
Exact quasistatic and finite-interval mass-change bounds: the exact formula, positive-cutoff upper bound, threshold criterion, and finite-interval mass-ratio bound stated above follow from the ODE.
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, . 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.
The geometric mass length for the Schwarzschild specialization is , ; hence it lies in the strict subextremal family. The model mass schedule is not asserted to solve the Einstein equations.
The Axiom of Countable Choice (): 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: , the model assumptions of [F1], the mathematical flux relation of [F2], the exact ODE result [F3], and the conditional family interface [L1].
The outgoing one-sided flux in [F2] and the adopted area/temperature in [F1] give . Substituting , , and yields . The adopted balance equation is therefore with .
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 , , and energy export. No continuation to is used.
Put , . Since , this point lies in the strict subextremal domain of [L1]; the selected Schwarzschild horizon area is the same used by [F1] and [F3]. Therefore [L1] gives , while [F3] gives . Their constant offsets may differ, but subtracting the values at and cancels each offset and gives , because . The assumption [A2] is carried for the reduced-spectrum input in [L1].
The definition [F4] and ODE of [F3] give . Since , the supremum is the displayed positive-cutoff value; the threshold follows by multiplying by . The exact finite-interval ratio and bound are [F5]. These are internal properties of the stipulated ODE.
By [F3], . Step 1.3 replaces this difference by . Thus , and . This is the stated coarse model entropy accounting only.
Under the rescaling , the postulate's model conventions give , , and , with and the same mass history. Define the positive emitted power in the rescaled variables by . Differentiating the rescaled energy with respect to the rescaled time and using the stipulated balance equation gives . The temperature formula in [F1] gives , so the Stefan expression would instead scale as , with unchanged area and coefficient. Since , these scalings agree at the fixed normalization but not for arbitrary ; the closure in [F1] is therefore not a reference-independent luminosity law.
5 · Examples, experiments and counterexamples
None yet.
Sources
- Robert M. Wald, The Thermodynamics of Black Holes, Living Reviews in Relativity 4 (2001), 6
- Pietro Benetti Genolini, Introduction to black hole thermodynamics, lecture notes for the Roberto Salmeron School in Mathematical Physics (2025), arXiv:2512.24929v1
- Mehran Kardar, MIT OpenCourseWare 8.333 Statistical Mechanics I, Lecture 20
- University of Mississippi PHY 727 course notes, Lecture 18: The Photon Gas