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
- Abelian Categories
- Absolute and Conditional Convergence; Rearrangement; Products
- Absolute Continuity and the Sharp Fundamental Theorem of Calculus
- 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
- Euclidean Ordinary Differential Equations with Smooth Dependence
- 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 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 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 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
- 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 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
Restricted reversible horizon entropy identification
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 with its physical Kerr–Newman family and SI conversion as in Physical KN family work and constancy. Fix positive constants in , in , in , and in . Write , , , , , and for the smooth parameter functions supplied by Physical KN family work and constancy.
Define the work-subtracted reversible heat one-form on by Here a one-form assigns a linear functional to each tangent direction in the family parameter domain; each term has units of joules. Let be a function with values measured in . 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 of The Axiom of Countable Choice () required by the selected spectral supplier. This is not a physical postulate.
For , define On the selected smooth ingoing Kerr–Newman spacetime belonging to the family member , write for the selected horizon generator with the length-flow parameter and reference normalization of Physical KN family work and constancy. Let 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, where the connection is taken on the spacetime indexed by the family point, not on the parameter domain . This is a smooth positive family map with values in . Put , in , as in the SI family theorem.
For each fixed , use a reduced exponential-current branch instance of Reduced quantum horizon temperature calibration whose Killing flow field is identified with 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 , and two-state-rate hypotheses; its scalar inverse-length parameter is held constant at . Let denote that instance's effective reference temperature. The supplier gives Adopt the additional reference-temperature identification , , so Thus is a smooth family map with values in kelvins. At a fixed family point , the unparameterized symbol denotes the value . 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 as an equality of one-forms on : at each and , it means . 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.
Conditional area entropy coefficient with free offset
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 with its current SI parameter map and selected horizon conventions from Physical KN family work and constancy. Assume as defined in The Axiom of Countable Choice (), the mathematical premise used by the current Kerr–Newman and reduced spectral supplier proofs. Let be the entropy state function adopted in Restricted reversible horizon entropy identification, measured in . Assume that postulate's reversible-heat identity on . Also assume its pointwise temperature identification: for each , the reduced branch parameter is held fixed at , and the smooth reference-temperature field is with . Then there is a constant , with units , such that throughout The deduction determines the area coefficient within this adopted model and leaves the entropy zero unselected. It does not identify 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.
Thermodynamics-GR fields, currents, reference normalization and units: have the stated SI units, and on a supplied null generator , with in and in . The entropy formula defines explicitly.
Physical KN family work and constancy: on the selected strict subextremal, zero-magnetic-flux physical family, with fixed, the exact SI identity is where is in joules, in , in , in coulombs, in , and in volts; on this strict domain.
Verified Kerr-Newman family first law and Smarr identity: on , with , , , , and , the mathematical family differential is
The Axiom of Countable Choice (): every sequence of nonempty sets has a choice function with for every . The full current spectrum supplier explicitly assumes this axiom.
Reduced quantum horizon temperature calibration: for each reduced exponential-current branch with , constant parameter , positive , and the adopted two-state rates, the effective reference temperature defined by the stationary excited-to-ground ratio is . At each , the postulate uses the branch instance whose Killing flow and reference normalization match , with branch parameter fixed at ; it yields the pointwise field . 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.
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.
The chain rule for total derivatives: : for totally differentiable maps between Euclidean spaces, the derivative of a composite is the composite of the derivatives.
The mean value theorem, as the case of Cauchy's: for continuous on with and differentiable on there is with : 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.
Restricted reversible horizon entropy identification: on , the one-form satisfies , where and, at every , the reduced branch parameter is held fixed at and .
Proof
Under the mathematical premise [A2], by [F2], the work-subtracted one-form defined in [A1] is exactly on : 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 and . Hence This is conditional on the selected stationary-family and thermodynamic assumptions.
For each , apply [L1] to the reduced branch whose constant parameter is , as specified in [A1]. Thus . By [F1], , so at every family point.
At each , evaluate the one-form equality in step 1.1 on an arbitrary tangent vector and divide by the positive scalar from step 1.2. Using [F1] gives the one-form identity The coefficient has units , so the right-hand side has entropy units .
For arbitrary and in , put with its Euclidean norm and let for . Since , for every such , Thus the segment stays in . Set ; step 2.1 gives . The path is smooth; since is open, it maps a neighborhood of every into . The chain rule [F5] gives . Also is continuous on and differentiable on , so [F6] yields .
Since were arbitrary, has one constant value on the connected family , proving the displayed formula. No reference value of 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 is a microscopic state count.
5 · Examples, experiments and counterexamples
None yet.