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.

Reduced exponential current and defined spectral detector adoption

1 · Prerequisites

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

PostulateStatement: Literature-sourcedProof: Not applicableOpen item page →

Reduced exponential current and defined spectral detector adoption

Physical scope

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 (ACω) as defined in The Axiom of Countable Choice (ACω). 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 κ>0 in inverse metres and a smooth Killing field ξ on a declared domain in the TGR framework. The real parameter u, 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 Uκ(u)=−κ−1e−κu. Adopt the positive-chiral-current vacuum and tested current jκ constructed in Positive chiral current and exponential test-coordinate model. Its mathematical two-point covariance is the tested boundary Cκ there; use its angular-frequency spectrum Sκ 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 E>0 joules and define a two-state, continuous-time rate model with ground state g, excited state e, and model-time parameter t≥0 measured in seconds. In the reduced branch, no identification of t with proper time along a spacetime curve is assumed. In the acceleration branch, take t=τ≥0 along the proper-time hyperbola supplied by Constructed timelike smear and massless accelerated spectrum. In the reduced branch let γred>0 have units metres per second and set r↑=γredSκ(E/(ℏc)) and r↓=γredSκ(−E/(ℏc)). In the acceleration branch let γacc>0 have units square metres per square second and set r↑=γaccSa(E/ℏ) and r↓=γaccSa(−E/ℏ). Here c>0 is metres per second, ℏ>0 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 p(t) of state e is the solution of p′(t)=r↑(1−p(t))−r↓p(t) with supplied p(0)∈[0,1]. 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.

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

Reduced quantum horizon temperature calibration

Physical scope

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 (ACω) as defined in The Axiom of Countable Choice (ACω). Use the reduced branch of Reduced exponential current and defined spectral detector adoption with κ>0 in inverse metres. Let E>0 be an energy in joules, ℏ>0 in joule-seconds, c>0 in metres per second, kB>0 in joules per kelvin, and γred>0 in metres per second. Put ν=E/(ℏc) and use the adopted rates r↑=γredSκ(ν) and r↓=γredSκ(−ν) in that postulate's two-state model. The unique stationary excited-state probability and its ratio are

p∗=11+e2πE/(ℏcκ),p∗1−p∗=e−2πE/(ℏcκ).

Define the model's effective reference temperature Tred>0 by p∗/(1−p∗)=e−E/(kBTred). Then

Tred=ℏcκ2πkB.

Let ξ be the same selected reference Killing field and u its length flow parameter from Reduced exponential current and defined spectral detector adoption. For the horizon interpretation, additionally supply a smooth embedded null hypersurface H in the domain of ξ, require χ:=ξ∣H to be a nonzero tangent null generator with the same length-flow normalization, and assume ∇χχ=κχ on H in the sense of Thermodynamics-GR fields, currents, reference normalization and units. Under these additional identifications of both generator and constant geometric surface gravity, Tred is the reference temperature of that reduced horizon model. If, in addition, ξ is future timelike on a connected open domain O, a selected stationary equilibrium of Selected stationary thermal equilibrium is adopted there with this same ξ, a reference event xref∈O has Killing lapse Nξ(xref)=1, and its local reference temperature is identified with Tred, then its local proper-temperature field obeys T(x)=Tred/Nξ(x) on O. 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 κ,E,ℏ,c,kB,γred>0 and the units stated above.

[A1]

Reduced exponential current and defined spectral detector adoption adopts r↑=γredSκ(E/(ℏc)), r↓=γredSκ(−E/(ℏc)), and the differential equation for p(t); the rates are model inputs.

[A2]

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.

[A3]

For the optional local-temperature clause, additionally take xref∈O, identify the selected bath's proper temperature there with Tred, and normalize Nξ(xref)=1. This is an explicit model identification, not a deduction from the rate equation.

[F1]

Single-pole thermal contour and exact detailed balance states that for ν>0, Sκ(ν)>0 and Sκ(−ν)=e2πν/κSκ(ν), with Sκ(0)=κ/(4π) 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.

[F2]

Thermodynamics-GR fields, currents, reference normalization and units fixes x0=ct length coordinates, kB in joules per kelvin, ℏ in joule-seconds, Nξ=−g(ξ,ξ), and the conditional definition of κgeom by ∇χχ=κgeomχ on a supplied smooth null hypersurface.

[F3]

The current draft Killing temperature normalization and rigidity states and proves that on the connected stationary carrier, the Killing condition on β gives NξT=TK for one positive constant; this optional use remains conditional on that draft result.

[F4]

The current draft Conditional Tolman–Ehrenfest relation applies that carrier and states T(x)=TK/Nξ(x), with the reference value TK=Nξ(xref)T(xref) for xref∈O. This optional use remains conditional on that draft result.

[F7]

The exponential is positive and satisfies exp⁡(−x)=1/exp⁡(x) gives ex>0 for every real x. Together with [F5], this makes the derivative of x↦ex positive; [F6] then implies that the exponential is strictly increasing.

[A5]

For the horizon interpretation only, supply H and identify its generator with χ=ξ∣H, with the same length-flow normalization and ∇χχ=κχ. These are additional model assumptions; equality of surface-gravity values alone does not identify the generators.

[A4]

Assume Countable Choice The Axiom of Countable Choice (ACω), retaining the hypothesis of the mathematical spectral and tested-field suppliers used here.

Proof

1.1A4A1F1givenalgebra

Under the Countable Choice assumption [A4], since E,ℏ,c,κ>0, ν=E/(ℏc)>0. By [F1], both Sκ(ν) and Sκ(−ν) are positive and their ratio is Sκ(−ν)/Sκ(ν)=e2πν/κ. Multiplying by the same γred>0 gives r↑,r↓>0 and r↓/r↑=e2πE/(ℏcκ).

2.1A1F5F6F7step 1.1algebra

Put R=r↑+r↓ and p∗=r↑/R. Then 0<p∗<1, and p(t)=p∗+(p(0)−p∗)e−Rt satisfies the adopted equation and initial condition by [F5]. Since R>0, [F5] and [F7] give 0<e−Rt≤1 for t≥0; hence p(t)=e−Rtp(0)+(1−e−Rt)p∗ is a probability. For any other differentiable solution, q(t)=eRt(p(t)−p∗) has zero derivative by the rate equation and [F5]; [F6] makes q constant on every compact time interval, so the displayed solution is unique. Its stationary value is therefore p∗.

3.1A5F2F1step 1.1step 2.1F5F6F7algebra

From p∗=r↑/R and 1−p∗=r↓/R, we have p∗/(1−p∗)=r↑/r↓=e−2πE/(ℏcκ) 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 E/(kBTred)=2πE/(ℏcκ). Since E>0, solving yields Tred=ℏcκ/(2πkB), 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.

4.1A2A3F2F3F4step 3.1algebra∎

Under the optional assumptions [A2]–[A3], [F3]–[F4] give T(x)=TK/Nξ(x) on O. Evaluating at xref and using Nξ(xref)=1 and [A3] sets TK=Tred. Substitution gives T(x)=Tred/Nξ(x). The result is conditional on the separately adopted bath and reference match.

Physics theoremStatement: Literature-sourcedProof: AI-adaptedprecheck passOpen item page →

Free-vacuum effective acceleration thermometer

Physical scope

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 (ACω) as defined in The Axiom of Countable Choice (ACω). Use the massless acceleration branch of Reduced exponential current and defined spectral detector adoption with proper acceleration a>0 in metres per square second, gap E>0 in joules, c>0 in metres per second, ℏ>0 in joule-seconds, kB>0 in joules per kelvin, and γacc>0 in square metres per square second. The adopted rates are r↑=γaccSa(E/ℏ) and r↓=γaccSa(−E/ℏ). The unique stationary excited-state probability of the defined two-state model and its effective temperature are

p∗=11+e2πcE/(aℏ),Teff=ℏa2πckB.

For any nonzero real h∈Cc∞(R) and switching duration T>0 seconds, let QT(a)(ν)=RT(Ca)(ν)/(T∥h∥22) and Kh=(2π∥h∥22)−1∫R∣z∣∣h^(z)∣2dz, with the definitions in Exact defined Markov thermometer and switched coefficient bound. For every ν∈R, the leading switched coefficient obeys ∣QT(a)(ν)−Sa(ν)∣≤Lip⁡(Sa)Kh/T. This is a coefficient estimate and does not assert an all-order transition probability.

On the Minkowski right Rindler wedge WR={(x0,x1,x2,x3):x1>∣x0∣}, use length coordinates x0=ct, metric η=diag⁡(−1,1,1,1), ρ=(x1)2−(x0)2>0, and the boost Killing field χκ=κ(x1∂x0+x0∂x1) with κ>0 in inverse metres. Its lapse is N=−η(χκ,χκ)=κρ. The orbit at fixed ρ has proper acceleration a(ρ)=c2/ρ, so the effective model temperature there is TU(ρ)=ℏc/(2πkBρ). With reference event on ρ0=κ−1, N(ρ0)=1 and TKacc:=TU(ρ0)=ℏcκ/(2πkB), hence TU(ρ)=TKacc/N(ρ). On the future Rindler horizon x0=x1>0, direct differentiation gives ∇χκχκ=κχκ, so the generator's κgeom is κ under the definition of Thermodynamics-GR fields, currents, reference normalization and units. Rescaling χκ by b>0 rescales N and TKacc by b while leaving the proper model temperature unchanged.

If a selected stationary bath of Selected stationary thermal equilibrium is additionally adopted on WR with its selected Killing field identified with this same χκ, and its reference proper temperature is identified with TU(ρ0), then the bath's local proper temperature agrees with TU(ρ) 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 a,E,c,ℏ,kB,γacc>0 and the stated units.

[A1]

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.

[A2]

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.

[A3]

For the optional Rindler bath comparison, identify the selected bath's Killing field with χκ and its reference proper temperature at ρ0=κ−1 with TU(ρ0). These are additional physical model identifications.

[F1]

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 Ca and its conditional spectrum Sa(ν)=ν/[2πc2(e2πcν/a−1)], its continuous value at zero, and Sa(−ν)=e2πcν/aSa(ν) for ν>0. 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.

[F2]

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

[F3]

Thermodynamics-GR fields, currents, reference normalization and units uses length coordinates and defines κgeom only on a supplied smooth null hypersurface and generator satisfying ∇χχ=κgeomχ.

[F4]

The current draft Killing temperature normalization and rigidity gives NξT=TK when the inverse-temperature field of a connected stationary carrier is Killing; this optional use remains conditional on that draft result.

[F5]

The current draft Conditional Tolman–Ehrenfest relation gives the consequent local relation T=TK/Nξ and its constant-rescaling convention; this optional use remains conditional on that draft result.

[F6]

The exponential function is smooth and (exp⁡)′=exp⁡ gives (ex)′=ex, which yields the derivatives of the hyperbolic functions used below.

[A4]

Assume Countable Choice The Axiom of Countable Choice (ACω), retaining the hypothesis of the mathematical spectral and tested-field suppliers used here.

Proof

1.1A4A1F1F2given

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 p∗=1/(1+e2πcE/(aℏ)), the Boltzmann ratio p∗/(1−p∗)=e−E/(kBTeff), and Teff=ℏa/(2πckB). The same supplier gives the stated Kh/T bound for every declared switch.

2.1F3F6step 1.1givenalgebra

For ρ>0 define γρ(τ)=(ρsinh⁡(cτ/ρ),ρcosh⁡(cτ/ρ),0,0). Differentiation using [F6] gives η(γ˙ρ,γ˙ρ)=−c2 and η(γ¨ρ,γ¨ρ)=c4/ρ2, so the curve is future timelike, parametrized by proper seconds, with acceleration magnitude c2/ρ. On WR, x1>∣x0∣ implies x1>0, so χκ0=κx1>0; its norm is −κ2ρ2<0, hence it is future timelike and N=κρ. Since ημν is constant in this chart, (Lχκη)μν=∂μχκν+∂νχκμ. Its only nonzero terms are ∂0χκ1=κ and ∂1χκ0=−κ, which cancel; thus χκ is Killing by the definition in [F3]. Substituting a=c2/ρ into step 1.1 yields TU(ρ)=ℏc/(2πkBρ)=TKacc/N with the stated reference normalization.

3.1F3step 2.1algebra

Let H+:={x0=x1>0}. The map ι:(0,∞)×R2→R4, ι(s,y,z)=(s,s,y,z), is a smooth embedding onto H+, and its nonzero conormal d(x0−x1) is null since η−1(d(x0−x1),d(x0−x1))=−1+1=0; thus H+ is a smooth embedded null hypersurface. On it χκ is tangent because χκ(x0−x1)=κ(x1−x0)=0, nonzero because x0=x1>0, and null because η(χκ,χκ)=κ2((x0)2−(x1)2)=0. Thus it is a generator in the exact sense of [F3]. Since η has constant components in this chart, its Levi-Civita coefficients vanish; with χ0=κx1 and χ1=κx0, this gives (∇χχ)0=κ2x0 and (∇χχ)1=κ2x1. On H+ this equals κχ, verifying κgeom=κ under [F3]. Replacing χ by bχ multiplies κ,N,TKacc by b, so their ratio at every fixed orbit is unchanged.

4.1A2A3F4F5step 2.1∎

Under the additional bath and reference-match assumptions [A2]–[A3], its lapse is the N of step 2.1 because its Killing field is χκ. Then [F4]–[F5] give the bath temperature Tbath(ρ)=TKbath/N(ρ) and TKbath=Tbath(ρ0)=TU(ρ0)=TKacc. Therefore Tbath(ρ)=TU(ρ) throughout the connected wedge. This is the explicitly assumed comparison of two model constructions.

5 · Examples, experiments and counterexamples

None yet.

Sources