⚛️ quantum physics

Fluctuation theorems for thermally isolated driven quantum systems: nonadiabaticity, excess work and strong inequalities

This paper extends C. Jarzynski's work on thermodynamic inequalities to thermally isolated driven quantum systems by deriving detailed and integral fluctuation theorems that physically interpret stochastic quantities as nonadiabaticity and excess work, thereby establishing stronger inequalities related to irreversibility and the Second Law.

Original authors: J. V. M. Steimetz, M. Campisi, M. V. S. Bonança

Published 2026-07-13

📖 8 min read🧠 Deep dive

CC BY 4.0

Original authors: J. V. M. Steimetz, M. Campisi, M. V. S. Bonança

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you have a tiny, invisible quantum machine—a single atom or a small chain of spins—sitting in a perfect, silent room. This machine is "thermally isolated," meaning it's wrapped in a super-insulating blanket; no heat can get in or out. Now, imagine you grab a knob on this machine and turn it from position A to position B. You do this quickly, maybe even frantically. Because you moved the knob so fast, the machine gets "jittery." It doesn't just settle into a new, calm state; it vibrates, wobbles, and ends up in a messy, excited condition. This is what physicists call non-adiabaticity.

In a famous 2020 paper, a scientist named Chris Jarzynski tried to write down a rule to measure exactly how much "mess" (or wasted energy) you created by turning that knob too fast. He found a mathematical formula, but he had to invent two strange, ghostly numbers, which he called X and Y, to make the math work. The problem? No one knew what these ghosts actually were. They were just placeholders in an equation.

This new paper, written by Jo˜ao Steimetz, Michele Campisi, and Marcus Bonan¸ca, finally catches these ghosts and gives them real names and jobs. They prove that X and Y aren't just random math tricks; they are the keys to understanding how much energy is wasted when you drive a quantum system too fast.

The Two Ghosts Revealed

The authors show that these two mysterious numbers correspond to two very physical things:

The "Non-Adiabaticity Parameter" (The Messiness Score):
The first ghost, X, turns out to be a measure of how far the system is from being "perfectly smooth." In physics, a "smooth" process is called adiabatic. Imagine sliding a heavy box across a floor so slowly that it never jiggles; that's adiabatic. If you yank it, it shakes. The paper proves that the average value of X tells you exactly how much the system "shook" or deviated from that perfect, slow path.

The authors call this deviation the non-adiabaticity parameter. They show it is mathematically equal to the "distance" (a concept called relative entropy) between where the system actually ended up and where it would have ended up if you had moved the knob infinitely slowly.
- The Big Surprise: They connect this to a concept called Thomson's formulation of the Second Law. This law says you can't get free energy out of a cycle. The authors show that if you imagine taking your system, driving it fast, and then magically driving it back to the start infinitely slowly, the total work you'd have to put in is directly proportional to this "messiness score" (X). In other words, the more you mess up the process, the more energy you are forced to absorb. It's like trying to push a swing: if you push it at the wrong time (fast and messy), you have to push harder to get it back to where it started.
The "Excess Work" (The Extra Effort):
The second ghost, Y, is even more practical. It turns out to be the excess work. This is the extra energy you had to spend because you didn't move the knob slowly enough.

Think of it like driving a car. If you drive to the store at a steady, slow speed (adiabatic), you use a certain amount of gas. If you speed up, brake hard, and race there (non-adiabatic), you use more gas. The difference between the gas you used and the gas you would have used if you drove slowly is the excess work. The paper proves that the average value of Y is exactly this extra energy cost.

The "Strong" Inequality: Why the Old Rules Were Too Weak

For a long time, physicists used a famous rule called the Jarzynski equality to say, "On average, the work you do is at least as big as the change in free energy." It's a true statement, but the authors argue it's a bit of a weak safety net. It's like saying, "You will definitely spend at least $10 to buy a sandwich." That's true, but it doesn't tell you that you might actually spend $50 because you were in a rush.

The paper derives a stronger inequality. They show that for thermally isolated systems, the "excess work" (the extra energy you waste) must always be greater than or equal to zero.

What this means: You can never get away with spending less energy than the absolute minimum required for a slow, perfect process. If you try to be clever and fast, you will always pay a penalty. The paper proves this using a new "Integral Fluctuation Theorem" involving their ghost Y. It's a mathematical guarantee that nature charges a fee for speed.

What They Ruled Out (and What They Didn't)

It's important to know what this paper doesn't say.

No Magic Reversibility: The paper explicitly argues against the idea that a fast, messy process can be easily reversed without cost. They show that the "adiabatic state" (the state you get if you go infinitely slow) is not the same as the "equilibrium state" (the state you get if you let the system sit and relax with a heat bath). This is a crucial distinction. In many textbooks, people assume that if you go slow, you end up in a nice, calm equilibrium. The authors show that for a system that is isolated (no heat bath), the "slow" state is actually a weird, non-equilibrium state that looks nothing like the standard equilibrium state.
No "Free Lunch": They rule out the possibility that you can extract work from a cyclic process (going from A to B and back to A) if you start in a calm state. The math proves that the average work you get out is always negative (you have to put work in).

How Sure Are They?

The authors are very confident in their math. They didn't just guess; they proved these relationships using the fundamental laws of quantum mechanics (specifically, the Schrödinger equation and the rules of probability).

The Proofs: They derived detailed mathematical theorems (called "Detailed Fluctuation Theorems") that link the probabilities of forward and backward processes. These are rigorous proofs, not just guesses.
The Simulations: To make sure their math works in the real world, they ran computer simulations. They modeled a chain of 4 spins (like tiny magnets) and a larger chain of 12 spins. They programmed a "non-integrable" system (a system that is chaotic and doesn't follow simple, predictable patterns) and watched how it behaved when they turned the knob.
- The Results: The simulations matched their equations perfectly. When they plotted the data, the lines fit the predicted slopes exactly. For the 4-spin chain, they verified the "Detailed Fluctuation Theorem" for both X and Y. For the 12-spin chain, they showed that the "messiness score" (non-adiabaticity) matched the work absorbed, just as the theory predicted.

The "Cyclic Counterpart" Analogy

To make sense of the "messiness score" (X), the authors use a clever mental trick. Imagine you drive your car from home to the store (the forward process). Then, instead of just parking, you imagine a "ghost driver" who takes your car back home, but this ghost driver drives infinitely slowly and perfectly smoothly.

The work you did driving fast plus the work the ghost did driving slow equals the total work of a "cyclic" trip.
The paper proves that the "messiness" of your fast drive is directly proportional to the total energy you had to spend on this imaginary round trip. If your drive was messy, the ghost has to work harder to undo it.

The Bottom Line

This paper takes two mysterious numbers from a 2020 study and says, "Hey, these aren't just math symbols. One is a measure of how much you messed up the system (non-adiabaticity), and the other is the extra energy you wasted (excess work)."

They prove that for isolated quantum systems, there is a strict, unbreakable rule: You cannot drive a system fast without paying a penalty. The faster you go, the more energy you waste, and this waste is measured by the "non-adiabaticity parameter."

While they have proven this mathematically and confirmed it with computer simulations, they admit that for very large systems (like a real-world engine), the difference between the "slow" state and the "equilibrium" state might be so tiny that it's hard to notice. But for the tiny, quantum world, this distinction is huge, and this paper has finally given us the tools to measure it.

Technical Summary: Fluctuation Theorems for Thermally Isolated Driven Quantum Systems

Problem Statement
The paper addresses the challenge of deriving thermodynamic inequalities stronger than those implied by the Jarzynski equality ( $W \ge \Delta F$ ) for thermally isolated quantum systems. While the Jarzynski equality provides a bound on average work, it is known to be a weak bound for such systems, as it cannot generally be saturated even for quasistatic processes. Previous work by Jarzynski (Physica A 552, 122077, 2020) introduced stochastic quantities $X$ and $Y$ to attempt deriving a stronger bound via an integral fluctuation theorem (IFT), but these quantities lacked a clear physical interpretation, and the derivation of the strong inequality was only partially successful. This work aims to resolve these ambiguities within the quantum setting by deriving detailed fluctuation theorems (DFT), providing physical interpretations for $X$ and $Y$ , and connecting their averages to fundamental thermodynamic concepts like nonadiabaticity and excess work.

Methodology
The authors restrict their analysis to thermally isolated quantum systems driven by a time-dependent external parameter $\lambda_t$ from $t=0$ to $t=\tau$ . The system begins in a Gibbs state $\Pi_\beta(\lambda_0)$ . The methodology employs the two-point measurement (TPM) scheme:

Forward Process: A projective measurement of the initial Hamiltonian $H(\lambda_0)$ yields energy $E_{n_i}(\lambda_0)$ . The system evolves unitarily under $H(\lambda_t)$ to time $\tau$ , followed by a projective measurement of $H(\lambda_\tau)$ yielding $E_{n_f}(\lambda_\tau)$ .
Stochastic Quantities: Two stochastic variables are defined based on these measurements and the known energy spectrum:
- $X \equiv E_{n_f}(\lambda_0) - E_{n_i}(\lambda_0)$
- $Y \equiv E_{n_f}(\lambda_\tau) - E_{n_i}(\lambda_\tau)$
Time-Reversed Process: A time-reversed protocol is constructed using the time-reversal operator $\Theta$ . Crucially, the initial state of the time-reversed process is defined not as a Gibbs state, but as the time-reversal of the adiabatically evolved state of the forward process: $\tilde{\rho}(0) = \Theta \rho_{ad}(\lambda_\tau) \Theta^\dagger$ .
Derivations: The authors derive Integral and Detailed Fluctuation Theorems for $X$ and $Y$ using the properties of the unitary evolution operator and the time-reversal operator. They then relate the ensemble averages $\langle X \rangle$ and $\langle Y \rangle$ to the nonadiabaticity parameter (quantum relative entropy) and excess work, respectively.

Key Contributions and Results

Physical Interpretation of $X$ and $Y$ :
- $X$ and Nonadiabaticity: The authors show that $\beta \langle X \rangle$ equals the nonadiabaticity parameter $A \equiv D[\rho(\tau) \| \rho_{ad}(\lambda_\tau)]$ , where $D$ is the quantum relative entropy. $A$ measures the distinguishability between the actual final state $\rho(\tau)$ and the state $\rho_{ad}(\lambda_\tau)$ that would result from an infinitely slow (adiabatic) process.
- $Y$ and Excess Work: The authors demonstrate that $\langle Y \rangle$ equals the excess work $W_{ex} \equiv W - W_{ad}$ , where $W$ is the average work done in the finite-time process and $W_{ad}$ is the work done in the adiabatic limit.
Derivation of Fluctuation Theorems:
- DFT for $X$ : The paper derives the detailed fluctuation theorem $p(X=x)/\tilde{p}(\tilde{X}=-x) = e^{\beta x}$ . This is interpreted physically by constructing an "imaginary cyclic counterpart" to the original process. In this cycle, the parameter is returned to $\lambda_0$ adiabatically. $X$ is shown to be equivalent to the work $w_c$ done during this cyclic counterpart.
- DFT for $Y$ : A second detailed fluctuation theorem involving $Y$ (and a related variable $Y'$ ) is derived, connecting to existing results in the literature but offering new insights into the structure of the probability distributions.
Connection to Irreversibility and the Second Law:
- Thomson's Formulation: The work absorbed in the imaginary cyclic counterpart, $W_c = \langle X \rangle$ , is shown to be proportional to the nonadiabaticity parameter ( $W_c = \beta^{-1} A$ ). Since $W_c \ge 0$ (Thomson's formulation), this establishes $A$ as a quantifier of irreversibility for thermally isolated systems. The paper argues that $A$ is a more appropriate irreversibility measure than dissipated work ( $W - \Delta F$ ) for isolated systems because it compares the final state to the adiabatic state (which is physically achievable via unitary dynamics) rather than a Gibbs state (which may not be reachable without thermal contact).
- Minimal Work Principle: The paper distinguishes between two formulations of the minimal work principle:
  - $W_{ex} \ge 0$ : The work is minimal for the adiabatic process.
  - $W_{ex}^{th} \ge 0$ : The work is minimal for an isentropic quasistatic process leading to a Gibbs state ($Wise$).
- Using the derived IFTs, the authors prove the thermodynamic minimal work principle ( $W_{ex}^{th} \ge 0$ ) directly. However, they show that the standard minimal work principle ( $W_{ex} \ge 0$ ) is not the sharpest bound derivable from their fluctuation theorems; the sharpest bound is $W_{ex}^{th} \ge 0$ . The difference between $W_{ex}$ and $W_{ex}^{th}$ is proportional to the relative entropy between the adiabatic state and the isentropic Gibbs state.
Numerical Verification:
The theoretical results are verified numerically using a non-integrable Ising chain with transverse and longitudinal fields. The simulations confirm the linear relationships predicted by the DFTs for $X$ and $Y$ and validate the equality $\beta W_c = A$ .

Significance and Claims
The paper claims to provide the first clear physical interpretation of the stochastic quantities $X$ and $Y$ introduced in prior literature, linking them directly to the nonadiabaticity parameter and excess work. A central result is the derivation of the relation $W_c = \beta^{-1} D[\rho(\tau) \| \rho_{ad}(\lambda_\tau)]$ , which connects the work absorbed in a cyclic process to the relative entropy between the actual and adiabatic states.

The authors argue that the nonadiabaticity parameter $A$ serves as a robust quantifier of irreversibility for thermally isolated driven systems, particularly because it accounts for both coherence generation and population mismatches relative to the physically realizable adiabatic state. Furthermore, the work clarifies the hierarchy of work bounds, demonstrating that the "thermodynamic excess work" ( $W_{ex}^{th}$ ) is the quantity directly constrained by the derived fluctuation theorems, rather than the standard excess work ( $W_{ex}$ ). This distinction highlights the subtle difference between quantum mechanical adiabatic evolution (which preserves the density matrix structure in the eigenbasis) and thermodynamic isentropic processes (which assume the system settles into a Gibbs state).

The paper concludes modestly, suggesting that while $A$ is a promising irreversibility quantifier, further research is needed to define a non-equilibrium entropy whose variation equals $A$ and to investigate the generalization of these results to systems with energy level crossings.