Alphabeta Math
PostulateStatement: Literature-sourcedProof: Not applicablePipeline-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

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.

Depends on

Dependency tree · 2 levels

Sources