Thermodynamic completeness in quantum and classical Markovian dynamics

This contribution presents a thermodynamic completeness test for quantum and classical Markovian dynamics and demonstrates that state trajectories alone are insufficient to reconstruct thermodynamic observables such as heat or particle currents, since distinct thermodynamic records can give rise to identical state evolutions due to hidden geometric and topological degrees of freedom.

The Gist

Imagine you are trying to understand how a complex machine works, such as a car engine or a computer processor. Normally, you observe the state of the machine: Is the engine running? Is the car moving forward? Is the computer screen turned on?

In the world of physics, specifically in thermodynamics (the study of heat and energy), scientists often attempt to predict the behavior of a system by merely observing how its state changes over time. They watch the "film" of the system's state.

This work, titled "Thermodynamic Completeness in Quantum and Classical Markov Dynamics," argues that simply watching the film of the state is often not enough. You are missing the "soundtrack" and the "background material."

Here is a breakdown of the main ideas of the work using simple analogies:

1. The Missing Soundtrack: State versus Record

Imagine you are watching a silent film about a busy airport.

• The State Trajectory: You see planes taking off and landing. You see the number of planes on the tarmac increasing and decreasing. You can calculate how quickly the airport handles planes on average.
• The Thermodynamic Record: This is the actual list of every single plane that took off, which airline it was, how much fuel it burned, and how many passengers boarded.

The work claims that if you only look at the number of planes on the tarmac (the state), you cannot accurately determine how much fuel was burned or which specific airlines were involved. Two different airports could land and take off exactly the same number of planes every minute, yet one could burn twice as much fuel as the other due to hidden details in the "record."

In physical terms:

• State: The density matrix (Quantum Mechanics) or probability distribution (Classical).
• Record: The specific measurements of heat, particle transfer, or photon counts that occurred along the way.

2. The "Ghost" Currents

The authors introduce a concept called Thermodynamic Completeness. They ask: Can we reconstruct the full history of energy and heat solely by looking at the state?

Their answer is: Sometimes yes, but often no.

They have found that there are "ghost currents" flowing through a system that alter the energy or heat statistics without changing the state at all.

• Analogy: Imagine a river flowing in a perfect circle (a whirlpool). If you stand on the bank and simply count how many water molecules are in a specific bucket (the state), the number remains constant. But if you look at the flow (the moving water), you see a great deal of energy and motion.
• In a quantum system, you might have "circulating" energy flows that make the system look exactly the same, yet generate heat or noise that you cannot detect merely by observing the system's state.

3. The "Completeness Test"

The work offers a mathematical "test" to see if you are missing information.

• The Test: If you can distort the "hidden currents" (the record) without changing the "state" (the film), then any measurement that depends on these hidden currents is invisible to the state.
• The Result: If a measurement (such as heat flow or particle number) changes when you distort these hidden currents, then you cannot calculate it from the state alone. You need the additional "record" data.

4. Quantum Mechanics versus Classical: The Same Problem

The work shows that this occurs in both Quantum Mechanics (tiny particles) and Classical Physics (large things like gases or circuits).

• In Quantum Systems: Merely knowing the "unconditional" rules of how a particle evolves (the GKLS generator) is not enough to tell you how much heat it exchanged or how many photons it emitted. You must know how the measurement was performed (the "instrument"). Two different measurement setups can produce exactly the same particle behavior but lead to completely different heat statistics.
• In Classical Systems: In a network of chemical reactions or traffic flows, you might see the same number of cars at an intersection, but the "hidden" traffic loops (cars driving in circles) could burn different amounts of fuel.

5. Why Does This Happen? (Geometry and Loops)

The authors explain why this happens using geometry and topology (shapes and loops).

• The Geometry: Think of the "state" as a shadow cast by a 3D object (the complete thermodynamic reality). The shadow (state) loses information about depth (hidden currents).
• The Loops: In a network, if there are loops (like a roundabout), you can drive around the roundabout forever without ever changing your position on the map. These "loop currents" transport energy and generate noise but leave no traces on the map of positions (the state).

The Main Conclusion

The work concludes that thermodynamic models are often incomplete if they consider only the state.

If you want to know the full history of heat, work, or particle transfer, you cannot look only at the "before-and-after" pictures of the system. You must also keep a detailed log (the record) of every exchange, measurement, or jump that occurred. Without this log, you are missing the "soundtrack" to the film, and you might think two very different physical processes are actually the same.

In short: The state tells you where the system is. The record tells you what it did to get there. You need both to understand the complete thermodynamic story.

Technical Summary

Technical Conclusion: Thermodynamic Completeness in Quantum and Classical Markovian Dynamics

Problem Statement
The article addresses a fundamental reconstruction problem in both quantum and classical Markovian thermodynamics: Which thermodynamic observables can be uniquely derived solely from state trajectories, and which require additional data regarding current flows or measurement protocols? While state trajectories (e.g., the evolution of the density matrix or changes in probability density) determine relaxation, covariance, and linear susceptibility, the authors argue that they frequently fail to determine heat flows, particle transfers, photon counting statistics, or cycle currents. This ambiguity arises because different thermodynamic models can share the same state generator and the same stationary state yet differ in their underlying current protocols. The central question is to establish a necessary and sufficient criterion to determine when a reduced state description is thermodynamically complete.

Methodology
The authors develop a path-space action formulation that treats the state trajectory and the thermodynamic protocol (current or measurement outcome) as distinct components of a Markovian trajectory. The framework unifies quantum mechanical and classical descriptions:

1. Quantum Mechanical Representation: The state is a density matrix $\rho_t$. The protocol is specified by a quantum instrument (e.g., jump operators or diffusive measurement protocols), which defines the unconditional GKLS generator and the associated thermodynamic increments (heat, particle number, etc.) for each protocol outcome.
2. Classical Representation: The state is a probability vector or density. The protocol is an explicit current (edge, reaction, or transport) constrained by a continuity equation.

The central mathematical tool is the local action $L(x, j)$, which represents the information cost of prescribing a current $j$ in state $x$. The typical dynamics correspond to the current-free current $\bar{j}(x)$ with zero cost. The authors define a state-current mapping $\Gamma_x$, which projects the explicit current space $W_x$ onto the velocity space of the state $T_x Z$. The "state action" is obtained by minimizing the path-space action over currents that yield a specific state velocity.

Main Contributions and Results

• Test for Thermodynamic Completeness: The article derives a rigorous test (Theorem 1) to determine whether a thermodynamic observable is reconstructible from state data. A current observable (probe) $q$ is fixed by state trajectories if and only if it annihilates the kernel of the state-current mapping ($\ker \Gamma_x$). Equivalently, $q$ must lie in the image of the adjoint mapping $\Gamma_x^*$.

  • If $q \in \text{ran } \Gamma_x^*$, the observable is determined by the state action.
  • If $q \notin \text{ran } \Gamma_x^*$, perturbations exist in the current space (specifically in $\ker \Gamma_x$) that leave the state trajectory unchanged but alter the mean or noise of the observable $q$.

• Quantum Mechanical Implications: The authors show that an unconditional GKLS generator is insufficient to define heat flow, particle transfer, photon counting, or continuous measurement statistics. Two distinct quantum instruments can generate the same unconditional density matrix evolution (the same state generator, stationary state, and linear response) but yield different thermodynamic current statistics. The specific decomposition of jump operators and the assignment of thermodynamic increments to protocol outcomes are essential components of the thermodynamic model.

• Classical Implications: In classical systems, the test identifies "hidden" exchange, reaction, transport, and kinetic current protocols that are eliminated when projecting onto the state trajectory. For example, in finite networks, circulating currents around closed loops or currents through specific reservoir channels can vary without changing state probabilities, thereby altering entropy production and current noise.

• Geometric and Topological Origins: The article attributes this incompleteness to the geometry and topology of the current space:

  • Geometric: The state geometry (e.g., Fisher, Kubo-Mori, or Wasserstein metrics) is a quotient of the current space geometry. The projection $\Gamma_x$ removes directions in the current space that do not change the state. Consequently, state metrics cannot recover fluctuations in the "invisible" directions (the kernel).
  • Topological: In discrete systems, $\ker \Gamma_x$ corresponds to the cycle space of the transition graph. In continuous systems, it corresponds to divergence-free currents (identified via Hodge decomposition). These directions can carry affinities and noise without influencing the instantaneous state velocity.

• Classification of Regimes: The completeness test is applied to three distinct thermodynamic regimes:

  1. Detailed Balance/Reversible: The state geometry determines local relaxation and covariance, but exchange current noise remains undetermined by the state alone.
  2. Driven Non-Equilibrium: Persistent currents (e.g., cycle currents) can exist in $\ker \Gamma_x$ and sustain entropy production and noise that are invisible to state trajectories.
  3. Hamiltonian/Kinetic Motion: Coherent or reversible transport alters response spectra (poles) but does not constitute a source of sustained dissipation; it differs from dissipative current statistics.

Significance and Claims
The article claims to provide a practical criterion for deciding which thermodynamic observables require additional current or measurement protocols. It reframes thermodynamic model reduction as a reconstruction problem and demonstrates that "state-only" descriptions are inherently incomplete for characterizing thermodynamic flows and fluctuations in many scenarios.

The authors emphasize that this is not merely a change in notation but a fundamental limitation:

• In quantum systems, knowledge of the unconditional master equation does not determine the statistics of heat, particles, or photons; the instrument defining the protocol is a necessary component of the thermodynamic model.
• In classical systems, state equations cannot determine cycle affinities or the noise of hidden currents.

The formulation transforms the identification of thermodynamic completeness into an operational test based on the kernel of the state-current mapping. The article concludes that while local Hessians of the action can reconstruct Gaussian fluctuations and linear response, global features such as metastable switching costs require the full quasipotential landscape and path-space minimization, further distinguishing local reconstruction from global thermodynamic behavior.