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.
Rindler and rigid rotating bath domains
Rindler right wedge and rigidly rotating Minkowski domain inside its light cylinder; arbitrary positive classical reference temperature; differential rotation and one-mode trace restrictions kept distinct.
Example
Rindler right wedge. Let be an acceleration in , use coordinates with , and take the open domain with metric
The selected Killing field has lapse and observer acceleration , so the physical proper-acceleration magnitude is . The selected stationary-bath model gives
At the reference point , and . Any is allowed by this classical geometric model; the metric and temperature relation do not select the Unruh value.
Rigid rotation in Minkowski spacetime. In cylindrical coordinates let
where is a constant angular velocity in . For , use the annular domain ; for , is timelike throughout Minkowski space. On the rotating domain,
The radial acceleration component is , directed inward, with physical magnitude , where . At the light cylinder , becomes null and the normalized stationary observer does not exist. A differential-rotation field is not Killing when : its metric Lie derivative has .
One-mode trace check. If an additional model specifies a single bosonic mode with lab Hamiltonian and angular momentum , then its rotating generator is . Its Gibbs trace is finite exactly when . This is the separate one-mode spectral condition of Rotating mode Gibbs obstruction; it does not prove a continuum-field trace obstruction or describe every rotating equilibrium state.
Domain sketches
The left panel uses dimensionless Minkowski coordinates for a fixed length and the exact Rindler embedding
It maps onto the right wedge ; the red curve is the constant-Rindler-position orbit , which obeys . The right panel is a fixed- cross-section of the rotating timelike domain. Its dashed circle is the excluded null boundary , and the shaded open disk is where . The sketches show domains only; every lapse, acceleration, and temperature claim is established by the coordinate calculations in Verification.
Facts & Assumptions
Given: The displayed Rindler and Minkowski metrics, the constant parameters and , and a selected stationary bath only where its stated Killing field is future timelike.
Conditional Tolman–Ehrenfest relation: on a selected connected stationary bath, and for the chosen future timelike Killing field. Its physical conclusion is conditional on the postulated bath, not a universal thermometer law.
Rotating mode Gibbs obstruction: for a single bosonic occupation mode with , integer mode number, in , and positive inverse temperature, the diagonal partition sum is finite exactly when . The proposition explicitly constructs no continuum field state.
The Rindler metric and the rotating Minkowski metric are the exact model geometries used in this example; and are the explicitly selected Killing generators on their respective timelike domains.
The Rindler and rotating temperature fields are conditional classical bath assumptions. No equilibrium state is constructed, and no Unruh or Hawking temperature is inferred.
The one-mode trace paragraph applies only when the additional Hamiltonian and angular-momentum assignments displayed in the Example are adopted.
Verification
The Rindler metric is independent of , so is Killing. Its norm is on , hence . Differentiating gives , whose metric norm is .
In the rotating Minkowski metric, and are Killing fields and is constant, so their displayed linear combination is Killing. Its squared norm is , which is negative exactly for when ; therefore .
For a nonconstant angular velocity, the coordinate formula for the Lie derivative gives . Thus if , this field is not Killing and the selected stationary theorem does not apply.
By [F1] and [A2], the selected Rindler bath has and physical proper acceleration . The point has , so it provides the stated reference normalization.
Applying [F1] on that selected timelike domain yields . Differentiating gives . Since , its physical magnitude is . At the light cylinder the norm tends to zero and the timelike-field hypothesis of [F1] fails.
Under [A3], the mode generator has coefficient in the exact occupation model of [F2]. Applying [F2] gives a finite trace exactly for . This condition is logically separate from the geometric timelike-domain condition in step 1.2 and supplies no continuum-field conclusion.