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.
Independent redshifted finite cells
An exact two-cell finite-dimensional Gibbs/KMS construction at two points of a Rindler stationary domain, conditional on the adopted bath and the specified neutral whole-shell stationarity input; no measured realization or interacting/infinite-volume state.
Example
Let be a length in metres and a reference temperature in kelvins. On the connected open Rindler domain , use length coordinates and the metric
Choose the future direction of increasing and the Killing field . The selected lapse is . Define in joules and adopt the stationary-bath temperature field , so the inverse-temperature vector is . For the global-stationarity input of Constructed independent cell Gibbs states, use an auxiliary neutral species with rest mass , charge , chemical potential , global potential , and compensator . This auxiliary kinetic sector is a supplier hypothesis for the finite-cell construction; it is not identified with the two quantum cells.
Set , and place the cells at , as in the placement map of Actually constructed Gibbs/KMS preparation. For , define Here is the Killing-flow parameter in seconds and is proper time in seconds. Each is a smooth future-directed timelike integral curve of through ; since is constant on it, and . Thus is the proper-time relation on the two worldlines. For each take with an orthonormal basis , let , and set
Set for the cells and use . Then , , , and . With , the exact local partition functions and states are
The total state and Killing-time generator are
This is a positive normalized finite-dimensional state. It is -KMS for the Killing-time dynamics and its th cell state is -KMS for the local proper-time dynamics of Conditional local KMS clock temperature. The equality is exact within this constructed model; no observation, material-realization claim, infinite-volume limit, or interaction between cells is asserted.
Facts & Assumptions
Given: The displayed Rindler metric and stationary bath, , the two noninteracting two-level cells, and the auxiliary neutral kinetic-sector inputs.
Thermodynamics-GR fields, currents, reference normalization and units fixes the signature , length coordinates , and dimensionless lapse for a length-normalized Killing field.
Global electrochemical redshift from charged Liouville stationarity: for smooth , , a future timelike Killing field, and the charged exponential ansatz, whole-future-shell stationarity is equivalent to Killing and ; with a global compensator it yields the required constants. Its proof carries through the smooth-geometry suppliers.
Constructed independent cell Gibbs states constructs the finite product density and proves its KMS property when the cells are finite-dimensional, noninteracting, , and the common stationary/gauge/whole-shell hypotheses hold.
Conditional local KMS clock temperature proves the orbitwise rescaling from the constructed -KMS cell state to a -KMS proper-time state, with width seconds.
Selected stationary thermal equilibrium is adopted for this selected comoving bath only; the geometry does not imply that every material admits the bath.
Actually constructed Gibbs/KMS preparation adopts the constructed finite density as this model's state assignment; it does not claim thermalization or a generic curved-spacetime state.
The cells are uncoupled and have . The auxiliary kinetic species is neutral, , , , and ; it supplies the theorem's stationarity condition and is not a cell degree of freedom.
The auxiliary future massive shell, charged transport, and exponential ansatz use the exact formulation in Charged particle and Liouville data on a stationary Lorentzian domain.
The Axiom of Countable Choice () is the inherited assumption of [F2] and [F3].
Verification
The metric is smooth and has signature on . The coordinate transformation , gives , so this is the Rindler wedge. The metric coefficients are independent of , hence is Killing, and gives . Moreover , so is future directed.
With , gives , a Killing field. By [A3]–[A4], the auxiliary inputs have , , and , so in the exact transport formulation. The forward direction of [F2] therefore gives whole-future-shell stationarity and the global compensator condition required by [F3].
At and , step 1.1 gives and . The adopted field has , and the two cells satisfy , , and . Thus the finite-cell hypotheses of [F3] hold with and . Applying [F3] gives the positive finite partition sums and the product state in the Example. The construction is conditional on [F5], inherited through [F2].
The eigenvalues of in the displayed basis are and , so their traces are and the normalized diagonal densities are exactly the displayed . Since , their tensor product equals .
Apply [F4] separately to the two cells. Their Killing-time KMS parameter is ; the constant lapse rescalings give local parameters and , equal to and . This establishes the stated model prediction only and reports no experiment.
Depends on
Selected stationary thermal equilibrium
Actually constructed Gibbs/KMS preparation
Conditional local KMS clock temperature
Thermodynamics-GR fields, currents, reference normalization and units
Charged particle and Liouville data on a stationary Lorentzian domain
Global electrochemical redshift from charged Liouville stationarity
Constructed independent cell Gibbs states
The Axiom of Countable Choice ()