Fluctuation Theorem and an Operator First Law

A good work operator must respect the fluctuation theorems. For a system prepared in a thermal state at inverse temperature β, the paper proves a quantum fluctuation theorem:

   ⟨ e^(−β Ŵ(t,t₀)) ⟩ = e^(−β ΔF) + Δ(t,t₀)

where ΔF is the change in equilibrium free energy, and Δ(t,t₀) a correction term. This term has a decisive property:

   Δ ≥ 0
   Δ = 0  ⟺  [ Û†(t,t₀) Ĥ_S(t) Û(t,t₀) ,  Ĥ_S(t₀) ] = 0     (the Hamiltonians commute)

When the Hamiltonians at different times commute — the classical regime — the correction vanishes and we recover exactly the Jarzynski equality, a cornerstone of nonequilibrium thermodynamics. When they do not commute, Δ measures the deviation: this is not a failure of the theory, but the signature of genuinely quantum dynamics, carried by noncommutativity.

This result circumvents a famous no-go theorem that claimed no consistent fluctuating work could be defined. The trick: do not impose agreement with the two-measurement (TPM) scheme as the definition of the classical case, but derive the classical limit from the absence of noncommutativity. On energy-diagonal states, the work operator and TPM in fact give the same mean and the same variance; they differ only in higher-order moments. There is no need for a projective measurement, whose energy cost often exceeds the scale of the system under study.

Finally, by extending the framework to open systems, we obtain an operator first law: work, heat and change in internal energy are three distinct operators on the reduced system.

   dÊ_internal = δŴ (work) + δQ̂ (heat)      (first law, operator version)

The conclusion settles an old debate: yes, work is a quantum observable — provided the controller is included in the description, instead of being treated as external.