pith. sign in

arxiv: 2604.08349 · v2 · submitted 2026-04-09 · 🪐 quant-ph · gr-qc

Thermal Time and Irreversibility from Non-Commuting Observables in Accelerated Quantum Systems

Marcello Rotondo This is my paper

Pith reviewed 2026-05-10 18:15 UTC · model grok-4.3

classification 🪐 quant-ph gr-qc
keywords Unruh effectKMS conditiondetector modelsquantum relative entropynon-commuting observablesthermal timeaccelerated trajectoriesirreversibility
0
0 comments X

The pith

Accelerated detectors distinguish the order of non-commuting interactions because the vacuum acts as a thermal KMS state.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

A time label by itself does not make different sequences of operations physically distinguishable in relativistic quantum field theory. Distinguishability requires that the field state satisfy the KMS condition and that the detector couple through non-commuting observables. Uniformly accelerated two-level detectors see the Minkowski vacuum as a thermal state at the Unruh temperature; when they interact sequentially with distinct observables, the final reduced detector state already differs at second order in perturbation theory, with the difference controlled by the KMS parameter. This ordering asymmetry is measured by quantum relative entropy, and in a minimal model the relevant states are a family of non-commuting Gibbs states that share the same spectrum but have different generators.

Core claim

When the detector couples through non-commuting observables to a field state obeying the KMS condition, the reduced detector state after two sequential interactions depends on the order of the couplings already at second perturbative order, with the dependence fixed by the KMS parameter; this yields a closed-form expression for the quantum relative entropy that depends only on the dimensionless ratio of temperature to detector energy gap.

What carries the argument

Non-commuting coupling observables acting on a KMS thermal state, which produce an ordering-dependent second-order reduced density matrix for the detector.

If this is right

  • The quantum relative entropy that quantifies the ordering asymmetry is fixed by the single dimensionless combination of Unruh temperature and detector energy gap.
  • The final states belong to a family of non-commuting Gibbs states that share identical spectra but are generated by different operators.
  • Temporal ordering acquires operational meaning precisely when both the KMS condition and non-commutativity of the couplings are present.
  • The effect appears at second order without requiring higher-order terms in the interaction.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same ordering asymmetry may appear for any detector coupled to a KMS state, not only accelerated ones.
  • This mechanism supplies a concrete way to test whether thermal time can be given operational content through local measurements.
  • Equivalent effects should be observable in analog systems that reproduce a thermal bath without actual acceleration.

Load-bearing premise

The restriction of the Minkowski vacuum to the accelerated trajectory is a KMS thermal state, and the detector interactions are sequential couplings through distinct non-commuting observables.

What would settle it

Explicitly compute the second-order reduced detector state for two reversed orderings of non-commuting couplings; the states must coincide when the KMS parameter vanishes or when the observables commute.

read the original abstract

We investigate when temporal ordering becomes operationally meaningful in relativistic quantum field theory using localized detector models. A time parameter alone does not ensure that different sequences of operations are physically distinguishable. We show that distinguishability arises when the state satisfies the Kubo--Martin--Schwinger (KMS) condition and the detector couples through non-commuting observables. We consider uniformly accelerated two-level detectors interacting with a quantum field in the Minkowski vacuum. The restriction of the vacuum to the detector trajectory induces a thermal response characterized by the Unruh temperature and the Tolman profile. For sequential couplings through distinct observables, the reduced detector state depends on the ordering of interactions already at second order, with a dependence controlled by the KMS parameter. This asymmetry is quantified using quantum relative entropy. In a minimal model, the relevant states form a family of non-commuting Gibbs states with identical spectra and different generators, yielding a closed-form expression depending only on the dimensionless combination of temperature and detector energy scale.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript investigates when temporal ordering becomes operationally meaningful in relativistic QFT using localized detector models. It claims that distinguishability of interaction sequences arises when the field state satisfies the KMS condition (induced by restricting the Minkowski vacuum to an accelerated trajectory, yielding the Unruh temperature) and the detector couples through non-commuting observables. For uniformly accelerated two-level detectors with sequential couplings, the reduced detector state depends on ordering already at second order in the Dyson series, with this dependence controlled by the KMS parameter. In a minimal model, the resulting states form a family of non-commuting Gibbs states sharing identical spectra but different generators, yielding a closed-form expression for the quantum relative entropy that depends only on the dimensionless combination of temperature and detector energy gap.

Significance. If the central derivation holds, the work supplies a concrete operational realization of thermal time and irreversibility in the Unruh effect: non-commutativity of detector observables renders ordering distinguishable in a manner controlled solely by the KMS parameter, without additional free parameters. The closed-form relative-entropy expression in the minimal model and the reliance on standard KMS two-point functions plus perturbative detector coupling constitute clear strengths, furnishing falsifiable predictions for detector response asymmetries.

major comments (1)
  1. [§4] §4 (Minimal Model) and the derivation leading to Eq. (the closed-form relative entropy): the assertion that the second-order reduced detector states exactly realize a family of non-commuting Gibbs states with identical spectra is load-bearing for the parameter-free claim. The skeptic concern is valid to check: after tracing the field following time-ordered couplings to non-commuting observables, the perturbative operator must be shown to be of the form exp(−βG)/Z with spectrum independent of ordering. Please supply the explicit second-order reduced density matrix and demonstrate the eigenvalue invariance (or the KMS-induced cancellations that enforce it); this is not an automatic consequence of the KMS condition on the field correlators alone.
minor comments (2)
  1. [§2] Notation: the Tolman profile and Unruh temperature are invoked without a brief reminder of their relation to the proper acceleration; a one-sentence recap in §2 would aid readers.
  2. [Figure 1] Figure 1 (schematic of sequential couplings): the labels on the non-commuting observables σ_x and σ_y should be made consistent with the text definitions in §3.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive summary, the recognition of the operational significance of the result, and the constructive request for greater explicitness in the minimal model. We address the single major comment below.

read point-by-point responses

  1. Referee: [§4] §4 (Minimal Model) and the derivation leading to Eq. (the closed-form relative entropy): the assertion that the second-order reduced detector states exactly realize a family of non-commuting Gibbs states with identical spectra is load-bearing for the parameter-free claim. The skeptic concern is valid to check: after tracing the field following time-ordered couplings to non-commuting observables, the perturbative operator must be shown to be of the form exp(−βG)/Z with spectrum independent of ordering. Please supply the explicit second-order reduced density matrix and demonstrate the eigenvalue invariance (or the KMS-induced cancellations that enforce it); this is not an automatic consequence of the KMS condition on the field correlators alone.

    Authors: We agree that an explicit verification of the spectral invariance is necessary to make the load-bearing claim fully transparent. In the minimal model the second-order Dyson expansion, after tracing the field with the KMS Wightman functions, produces a reduced density operator whose matrix elements in the detector basis are of the form ρ = (1/Z) exp(−β G), where the effective generator G depends on the ordering of the two non-commuting observables but the eigenvalues of ρ remain identical for both orderings. The invariance follows from the KMS relation, which forces the real and imaginary parts of the relevant two-point correlators to cancel in the trace and in the determinant of the 2×2 matrix. In the revised manuscript we will insert the explicit 2×2 reduced density matrices for both time orderings (AB and BA) immediately after Eq. (the closed-form relative entropy), together with the direct computation of their characteristic polynomials, confirming that the eigenvalues are independent of ordering. This addition does not alter any conclusions but removes any ambiguity about the origin of the parameter-free relative entropy. revision: yes

Circularity Check

0 steps flagged

Derivation self-contained from standard KMS/Unruh assumptions with no reduction to inputs

full rationale

The paper computes the second-order reduced detector state via the Dyson series for sequential non-commuting couplings to a field whose restriction to the accelerated trajectory satisfies the KMS condition (standard Unruh effect). The relative entropy is then evaluated on the resulting family of states. No parameter is fitted to a subset of data and renamed as a prediction; the KMS temperature enters directly as an input from the vacuum two-point function rather than being derived or adjusted within the paper. No self-citation chain, uniqueness theorem, or ansatz is invoked to force the central claim. The derivation therefore remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the ledger is necessarily incomplete; the KMS condition is invoked as background.

axioms (1)
  • domain assumption The Minkowski vacuum restricted to a uniformly accelerated trajectory satisfies the KMS condition at the Unruh temperature.
    Standard result from the Unruh effect, used to characterize the detector's thermal response.

pith-pipeline@v0.9.0 · 5466 in / 1265 out tokens · 38698 ms · 2026-05-10T18:15:11.073004+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    We show that distinguishability arises when the state satisfies the Kubo–Martin–Schwinger (KMS) condition and the detector couples through non-commuting observables... the reduced detector state depends on the ordering of interactions already at second order, with a dependence controlled by the KMS parameter.

  • IndisputableMonolith/Foundation/ArrowOfTime.lean arrow_from_z echoes
    ?
    echoes

    ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

    The arrow of thermal time can therefore be interpreted as not imposed by the external proper-time parameter alone, but selected by the KMS state through the monotonicity of relative entropy.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages

  1. [1]

    W. G. Unruh, Phys. Rev. D14, 870 (1976)

    work page 1976

  2. [2]

    P. C. W. Davies, J. Phys. A8, 609 (1975)

    work page 1975

  3. [3]

    L. C. B. Crispino, A. Higuchi, and G. E. A. Matsas, Rev. Mod. Phys.80, 787 (2008)

    work page 2008

  4. [4]

    Haag,Local Quantum Physics, Springer (1996)

    R. Haag,Local Quantum Physics, Springer (1996)

    work page 1996

  5. [5]

    Bratteli and D

    O. Bratteli and D. W. Robinson,Operator Algebras and Quantum Statistical Mechanics, Springer (1997)

    work page 1997

  6. [6]

    J. J. Bisognano and E. H. Wichmann, J. Math. Phys.16, 985 (1975)

    work page 1975

  7. [7]

    J. J. Bisognano and E. H. Wichmann, J. Math. Phys.17, 303 (1976)

    work page 1976

  8. [8]

    B. S. DeWitt, inGeneral Relativity: An Einstein Centenary Survey, Cambridge (1979)

    work page 1979

  9. [9]

    N. D. Birrell and P. C. W. Davies,Quantum Fields in Curved Space, Cambridge (1982)

    work page 1982

  10. [10]

    Takagi, Prog

    S. Takagi, Prog. Theor. Phys. Suppl.88, 1 (1986)

    work page 1986

  11. [11]

    Louko and A

    J. Louko and A. Satz, Class. Quantum Grav.23, 6321 (2006)

    work page 2006

  12. [12]

    Petz, Linear Algebra Appl.244, 81 (1996)

    D. Petz, Linear Algebra Appl.244, 81 (1996)

    work page 1996

  13. [13]

    Schlicht, Class

    S. Schlicht, Class. Quantum Grav.21, 4647 (2004). 9

    work page 2004