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.
Reduced exponential current and defined spectral detector adoption
1 · Prerequisites
- Abelian Categories
- Absolute and Conditional Convergence; Rearrangement; Products
- 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
- Chain Complexes and Homology
- 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
- 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
- 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
- Em Minkowski Mathematical Prerequisites
- Euclidean Ordinary Differential Equations with Smooth Dependence
- Exterior Powers, Orientation and Hodge Duality
- 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
- 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
- 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
- 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
- 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
- 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
- Regular Surfaces and Surface Integrals
- Relations, Functions, and Quotients
- Rest fluid state, frame and geometric current definitions
- 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 stationary thermal equilibrium
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- 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 Partitions of Unity and Exhaustions
- Smooth Vector Bundles and Sections
- Spacetime Primitives
- Specified bosonic scalar and CAR Dirac model adoption
- Spectral Measures and Borel Functional Calculus
- 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 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 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
- 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 one-dimensional exponential-coordinate chiral-current model and a separate massless Minkowski-vacuum acceleration model with explicit two-state rate rules. The reduced reference temperature follows conditionally from the contour spectrum and the adopted rate equation; the local proper-temperature comparison requires a separately selected stationary bath and a matched reference. The acceleration theorem uses the constructed temporal field smearing, states the finite-switch coefficient bound, and keeps its effective temperature distinct from an exact all-order detector probability or an observed reading.
3 · Logical flowchart
4 · Definitions, postulates, theorems and proofs
Reduced exponential current and defined spectral detector adoption
Two selected effective models only: a one-dimensional exponential-coordinate chiral current and a massless Minkowski scalar sampled along a uniformly accelerated timelike curve. The adopted two-state rates are model inputs; this is not a general horizon, KMS, detector-transition, or empirical thermometer claim.
Postulate
Assume Countable Choice () as defined in The Axiom of Countable Choice (). This is the mathematical context for the tested-current, Fourier and temporally smeared field constructions used below.
Use the length-coordinate, unit, and reference conventions of Thermodynamics-GR fields, currents, reference normalization and units. Adopt two distinct model branches.
Reduced exponential-current branch. Choose a constant in inverse metres and a smooth Killing field on a declared domain in the TGR framework. The real parameter , measured in metres, is the selected flow parameter for ; the reference event and normalization of this flow are fixed as part of the model. Set the exponential coordinate . Adopt the positive-chiral-current vacuum and tested current constructed in Positive chiral current and exponential test-coordinate model. Its mathematical two-point covariance is the tested boundary there; use its angular-frequency spectrum and detailed-balance convention exactly as stated in Single-pole thermal contour and exact detailed balance. The exponential ray map and the choice of are model inputs. If and are identified with a generator and geometric surface gravity of a particular horizon, that identification is an additional physical assumption; no collapse geometry, four-dimensional horizon restriction, scattering factor, or backreaction is derived here.
Massless acceleration branch. Adopt the massless scalar and Minkowski vacuum of Specified bosonic scalar and CAR Dirac model adoption. Use the actually defined temporal smearing along the smooth proper-time hyperbola and its tested covariance from Constructed timelike smear and massless accelerated spectrum. The curve-smeared field is not a sharp-point field. Its accelerated spectrum and finite-switch coefficient are used only with the conditional hypotheses recorded in that lemma and in Exact defined Markov thermometer and switched coefficient bound.
For either branch, select an energy gap joules and define a two-state, continuous-time rate model with ground state , excited state , and model-time parameter measured in seconds. In the reduced branch, no identification of with proper time along a spacetime curve is assumed. In the acceleration branch, take along the proper-time hyperbola supplied by Constructed timelike smear and massless accelerated spectrum. In the reduced branch let have units metres per second and set and . In the acceleration branch let have units square metres per square second and set and . Here is metres per second, is joule-seconds, and the frequency arguments have units inverse metres and inverse seconds, respectively. These choices make both rates inverse seconds. The adopted population of state is the solution of with supplied . This differential equation is the entire effective two-state model; the rates are adopted inputs, not exact QFT transition probabilities.
Only when a selected construction also supplies a density state and a normalized finite measurement instrument may an outcome be read using Physical interpretation of a supplied constructed quantum model. No such state, instrument, detector apparatus, or observed outcome is supplied here. The postulate asserts no general thermalization, exact all-order transition probability, KMS state, or experimental temperature reading.
Reduced quantum horizon temperature calibration
Reference temperature calibration in the selected reduced exponential-current and two-state Markov model. A local stationary temperature formula applies only after the stated equilibrium assumption and reference match; no general Hawking or KMS theorem is asserted.
Statement
Assume Countable Choice () as defined in The Axiom of Countable Choice (). Use the reduced branch of Reduced exponential current and defined spectral detector adoption with in inverse metres. Let be an energy in joules, in joule-seconds, in metres per second, in joules per kelvin, and in metres per second. Put and use the adopted rates and in that postulate's two-state model. The unique stationary excited-state probability and its ratio are
Define the model's effective reference temperature by . Then
Let be the same selected reference Killing field and its length flow parameter from Reduced exponential current and defined spectral detector adoption. For the horizon interpretation, additionally supply a smooth embedded null hypersurface in the domain of , require to be a nonzero tangent null generator with the same length-flow normalization, and assume on in the sense of Thermodynamics-GR fields, currents, reference normalization and units. Under these additional identifications of both generator and constant geometric surface gravity, is the reference temperature of that reduced horizon model. If, in addition, is future timelike on a connected open domain , a selected stationary equilibrium of Selected stationary thermal equilibrium is adopted there with this same , a reference event has Killing lapse , and its local reference temperature is identified with , then its local proper-temperature field obeys on . These are conditional model deductions; the theorem establishes no horizon formation, general Hawking radiation, KMS state, detector thermalization, or empirical reading.
Facts & Assumptions
Given: Countable Choice and the reduced branch and rate equation of Reduced exponential current and defined spectral detector adoption, with and the units stated above.
Reduced exponential current and defined spectral detector adoption adopts , , and the differential equation for ; the rates are model inputs.
Selected stationary thermal equilibrium adopts a smooth positive proper-temperature field on a connected domain with a selected future-timelike Killing field and Killing inverse-temperature vector . The optional use here additionally identifies that selected field with the reduced branch's reference field.
For the optional local-temperature clause, additionally take , identify the selected bath's proper temperature there with , and normalize . This is an explicit model identification, not a deduction from the rate equation.
Single-pole thermal contour and exact detailed balance states that for , and , with as a continuous value. This mathematical supplier, its prerequisite Positive chiral current and exponential test-coordinate model, and that item's prerequisite Positive smooth damping preserves the double-pole boundary currently have status draft; the exact chiral spectrum input is conditional on these statements and their proofs, with no independent proof acceptance claimed.
Thermodynamics-GR fields, currents, reference normalization and units fixes length coordinates, in joules per kelvin, in joule-seconds, , and the conditional definition of by on a supplied smooth null hypersurface.
The current draft Killing temperature normalization and rigidity states and proves that on the connected stationary carrier, the Killing condition on gives for one positive constant; this optional use remains conditional on that draft result.
The current draft Conditional Tolman–Ehrenfest relation applies that carrier and states , with the reference value for . This optional use remains conditional on that draft result.
The mean value theorem, as the case of Cauchy's: for continuous on with and differentiable on there is with implies that a differentiable function with zero derivative on an interval is constant there.
The exponential is positive and satisfies gives for every real . Together with [F5], this makes the derivative of positive; [F6] then implies that the exponential is strictly increasing.
For the horizon interpretation only, supply and identify its generator with , with the same length-flow normalization and . These are additional model assumptions; equality of surface-gravity values alone does not identify the generators.
Assume Countable Choice The Axiom of Countable Choice (), retaining the hypothesis of the mathematical spectral and tested-field suppliers used here.
Proof
Under the Countable Choice assumption [A4], since , . By [F1], both and are positive and their ratio is . Multiplying by the same gives and .
Put and . Then , and satisfies the adopted equation and initial condition by [F5]. Since , [F5] and [F7] give for ; hence is a probability. For any other differentiable solution, has zero derivative by the rate equation and [F5]; [F6] makes constant on every compact time interval, so the displayed solution is unique. Its stationary value is therefore .
From and , we have by step 1.1. By [F5] and [F7], the exponential has positive derivative, so [F6] makes it strictly increasing; comparison with the defining Boltzmann ratio gives . Since , solving yields , which has kelvin units. Under [A5], the generator and its constant geometric surface gravity are exactly those of the selected reduced branch, so this reference scale has the stated reduced-horizon interpretation.
Under the optional assumptions [A2]–[A3], [F3]–[F4] give on . Evaluating at and using and [A3] sets . Substitution gives . The result is conditional on the separately adopted bath and reference match.
Free-vacuum effective acceleration thermometer
Effective temperature in the selected massless Minkowski-vacuum, temporally smeared scalar and two-state Markov model for uniform proper acceleration. The optional Rindler equilibrium comparison requires an explicit reference match; no point-field, all-order detector, empirical, or general Hawking claim is made.
Statement
Assume Countable Choice () as defined in The Axiom of Countable Choice (). Use the massless acceleration branch of Reduced exponential current and defined spectral detector adoption with proper acceleration in metres per square second, gap in joules, in metres per second, in joule-seconds, in joules per kelvin, and in square metres per square second. The adopted rates are and . The unique stationary excited-state probability of the defined two-state model and its effective temperature are
For any nonzero real and switching duration seconds, let and , with the definitions in Exact defined Markov thermometer and switched coefficient bound. For every , the leading switched coefficient obeys . This is a coefficient estimate and does not assert an all-order transition probability.
On the Minkowski right Rindler wedge , use length coordinates , metric , , and the boost Killing field with in inverse metres. Its lapse is . The orbit at fixed has proper acceleration , so the effective model temperature there is . With reference event on , and , hence . On the future Rindler horizon , direct differentiation gives , so the generator's is under the definition of Thermodynamics-GR fields, currents, reference normalization and units. Rescaling by rescales and by while leaving the proper model temperature unchanged.
If a selected stationary bath of Selected stationary thermal equilibrium is additionally adopted on with its selected Killing field identified with this same , and its reference proper temperature is identified with , then the bath's local proper temperature agrees with by Conditional Tolman–Ehrenfest relation. Both identifications are extra model assumptions. No general Unruh-state, KMS, horizon-formation, Hawking-radiation, or empirical thermometer claim follows.
Facts & Assumptions
Given: Countable Choice and the acceleration branch, its coupling and two-state rate equation from Reduced exponential current and defined spectral detector adoption, with and the stated units.
Reduced exponential current and defined spectral detector adoption adopts the massless acceleration branch and rates proportional to the two spectral values. It also states that these are effective rate-model inputs, not exact QFT transition probabilities.
Selected stationary thermal equilibrium adopts a smooth positive proper-temperature field on a connected domain with a selected future-timelike Killing field and Killing inverse-temperature vector.
For the optional Rindler bath comparison, identify the selected bath's Killing field with and its reference proper temperature at with . These are additional physical model identifications.
Constructed timelike smear and massless accelerated spectrum defines the massless field by temporal smearing of a future-directed proper-time hyperbola and gives the tested covariance and its conditional spectrum , its continuous value at zero, and for . Its actual Statement makes the spectral conclusion conditional on the batch-74 draft suppliers Single-pole thermal contour and exact detailed balance and Positive chiral current and exponential test-coordinate model; the latter also depends on draft Positive smooth damping preserves the double-pole boundary. No proof-acceptance claim is made for this chain.
The current mathematical draft Exact defined Markov thermometer and switched coefficient bound proves the exact acceleration-branch two-state solution and temperature, and the finite-switch coefficient estimate above, under the stated Fourier hypotheses. Its accelerated conclusions remain conditional on the draft spectrum input recorded in [F1].
Thermodynamics-GR fields, currents, reference normalization and units uses length coordinates and defines only on a supplied smooth null hypersurface and generator satisfying .
The current draft Killing temperature normalization and rigidity gives when the inverse-temperature field of a connected stationary carrier is Killing; this optional use remains conditional on that draft result.
The current draft Conditional Tolman–Ehrenfest relation gives the consequent local relation and its constant-rescaling convention; this optional use remains conditional on that draft result.
The exponential function is smooth and gives , which yields the derivatives of the hyperbolic functions used below.
Assume Countable Choice The Axiom of Countable Choice (), retaining the hypothesis of the mathematical spectral and tested-field suppliers used here.
Proof
Under the Countable Choice assumption [A4], the acceleration construction in [F1] uses the stated smooth future-directed timelike hyperbola and its actual tested field; the spectrum clause is conditional on the exact current batch-74 contour and exponential-current interfaces in [F1]. Applying [F2] to the rates from [A1] gives the stationary probability , the Boltzmann ratio , and . The same supplier gives the stated bound for every declared switch.
For define . Differentiation using [F6] gives and , so the curve is future timelike, parametrized by proper seconds, with acceleration magnitude . On , implies , so ; its norm is , hence it is future timelike and . Since is constant in this chart, . Its only nonzero terms are and , which cancel; thus is Killing by the definition in [F3]. Substituting into step 1.1 yields with the stated reference normalization.
Let . The map , , is a smooth embedding onto , and its nonzero conormal is null since ; thus is a smooth embedded null hypersurface. On it is tangent because , nonzero because , and null because . Thus it is a generator in the exact sense of [F3]. Since has constant components in this chart, its Levi-Civita coefficients vanish; with and , this gives and . On this equals , verifying under [F3]. Replacing by multiplies by , so their ratio at every fixed orbit is unchanged.
Under the additional bath and reference-match assumptions [A2]–[A3], its lapse is the of step 2.1 because its Killing field is . Then [F4]–[F5] give the bath temperature and . Therefore throughout the connected wedge. This is the explicitly assumed comparison of two model constructions.
5 · Examples, experiments and counterexamples
None yet.