Quantum unital Otto heat engines: using Kirkwood-Dirac quasi-probability for the engine's coherence to stay alive

This paper investigates quantum unital Otto heat engines by utilizing Kirkwood-Dirac quasi-probabilities to derive analytical expressions for work statistics and demonstrate how specific projective measurements and non-adiabatic transitions can enhance work extraction, reliability, and efficiency while preserving quantum coherence.

The Gist

Imagine a tiny, microscopic engine built not from gears and pistons, but from a single atom (specifically, a "qubit"). This is a Quantum Otto Heat Engine. Just like a car engine burns fuel to move a car, this engine tries to turn heat into useful work (energy) by following a specific four-step cycle.

The paper you provided explores a very specific question: What happens if we let the engine's internal "quantum magic" (coherence) survive, versus if we smash it with a measurement?

Here is the breakdown of their findings using simple analogies:

1. The Two Types of Engines: The "Blind" vs. The "Aware"

The researchers compare two versions of this engine:

• The Dephased Engine (The "Blind" Engine): In this version, after every step of the cycle, the scientists perform a "projective measurement." Think of this like a strict referee blowing a whistle and forcing the engine to reset its internal state to a known, boring position. It's like checking a spinning coin and forcing it to land on "Heads" before you let it spin again. This destroys the "quantum coherence" (the delicate, wave-like superposition of states).
• The Undephased Engine (The "Aware" Engine): Here, the scientists let the engine run without checking on it between steps. The engine keeps its "quantum coherence," meaning it stays in a fuzzy, superposition state where it can be in multiple energy levels at once.

2. The Problem with "Checking" the Engine

In the "Blind" engine, the constant checking (measurement) kills the quantum magic. The paper shows that for this engine, the best performance happens only when the engine changes its energy levels very slowly and smoothly (the "adiabatic" regime). If you try to change things too fast (non-adiabatic), the engine gets "friction" and performs poorly. It's like trying to drive a car with the parking brake on; the faster you try to go, the worse it gets.

3. The Surprise: Quantum Coherence is a Superpower

The big discovery of this paper is about the "Aware" engine. When they let the quantum coherence survive, they found something counter-intuitive:

• Fast is sometimes better: In the "Blind" engine, moving fast (non-adiabatic transitions) was bad. But in the "Aware" engine, moving fast can actually help the engine produce more work. The quantum "fuzziness" acts like a buffer that absorbs the shock of moving fast, turning what would be a mistake into an advantage.
• Breaking the Rules: Usually, physics says you can't get work out of an engine if the energy levels are the same (or if the "non-adiabatic" parameter is too high). The "Blind" engine obeys this strictly. The "Aware" engine, however, can still produce work even in these "forbidden" zones. It's like a car that can still drive uphill even if the engine is technically stalled, because it's using a hidden quantum battery.

4. The "Kirkwood-Dirac" Map

To understand how the "Aware" engine works, the authors had to invent a new way of doing math. Standard probability (like rolling dice) says a number must be between 0 and 1. But because the "Aware" engine is in a quantum state, the math they used (called Kirkwood-Dirac quasi-probability) allows for numbers that are negative or even imaginary.

Think of it like a map. A normal map shows you where you are. This new "quasi-map" shows you where you could be, including places that seem impossible (negative probabilities) but are actually necessary to explain how the quantum engine moves. It's the only way to keep the "coherence" alive in the calculations.

5. The Best Way to Measure (If You Must)

The paper also asks: "If we do have to measure the engine to get work out of it, what is the best angle to look at it?"
They found that the "Blind" engine works best if you measure it in a specific way (the "yz-plane" on a quantum sphere). However, for the "Aware" engine, the best angle depends on how fast you are running the engine. Sometimes, measuring it in the "xz-plane" yields the most work. It's like finding that a specific angle of sunlight makes a solar panel work better, but only if the wind is blowing a certain way.

Summary of the Main Takeaways

• Coherence is Good: Keeping the quantum engine "unobserved" (undephased) allows it to extract more work and be more reliable than an engine that is constantly checked.
• Speed isn't the Enemy: In the quantum world, moving fast (non-adiabatic) isn't always bad. With the right quantum setup, it can actually boost performance.
• New Math is Needed: You can't use standard probability to describe these engines; you need "quasi-probabilities" that allow for negative and complex numbers to account for quantum coherence.
• Reliability: The "Aware" engine can be just as reliable as the "Blind" one, but it achieves this while operating in regimes where the "Blind" engine would fail completely.

In short, the paper argues that if you want to build the most efficient tiny quantum engine, don't peek at it while it's working. Let its quantum nature do the heavy lifting, and you might get more energy out than classical physics would ever predict.

Technical Summary

Technical Summary: Quantum Unital Otto Heat Engines Using Kirkwood-Dirac Quasi-Probability

Problem Statement
This work addresses the thermodynamic performance of quantum Otto heat engines, specifically focusing on the role of quantum coherence when the working medium is not continuously monitored (undephased). While previous studies (e.g., Refs. [32, 41]) have analyzed "monitored" engines where projective measurements between strokes erase coherence, the fate of thermodynamic bounds and the potential for coherence to enhance performance in "undephased" engines remained an open question. The authors investigate how to compute the cumulants of thermodynamic quantities (work and heat) in the presence of coherence and whether non-adiabatic transitions, often considered detrimental, can be leveraged to improve work extraction, reliability, and efficiency. The study specifically considers engines fueled by unital channels, with a case study on quantum projective measurements.

Methodology
The authors employ a theoretical framework based on the quantum Otto cycle with a single qubit working medium. The cycle consists of two adiabatic strokes (unitary evolution) and two isochoric strokes (interaction with a unital channel).

1. Dephased vs. Undephased Engines: The study contrasts two scenarios:
   • Dephased (Monitored): Projective measurements are performed between strokes, collapsing the state and erasing coherence. Thermodynamic quantities are derived using standard Two-Point Measurement (TPM) schemes.
   • Undephased (Unmonitored): No intermediate measurements are made. Coherence generated during the first adiabatic stroke is preserved.
2. Quasi-Probability Formalism: To handle the undephased engine, the authors utilize the Kirkwood-Dirac (KD) quasi-probability distribution. They demonstrate that the characteristic function (CF) for the undephased engine can be derived by removing the dephasing channel from the monitored engine's CF. This leads to a quasiprobability distribution that can be complex-valued and non-positive, allowing for the calculation of cumulants (averages and variances) that account for quantum coherence.
3. Analytical Derivation: The authors derive analytical expressions for the first and second cumulants (averages and variances) of work ($W$), absorbed heat ($Q_M$), and released heat ($Q_C$) for arbitrary unitaries and unital channels. These expressions are compressed into functions of six transition probabilities ($\delta', \theta, \zeta, \theta_c, \zeta_c$).
4. Case Study: A specific qubit model is analyzed where the Hamiltonians are $H_1 = \nu_1 \sigma_z$ and $H_2 = \nu_2 \sigma_x$. The unital channel is modeled as a quantum projective measurement defined by angles $\alpha$ and $\chi$. The influence of parameters including inverse temperature ($\beta$), energy gaps ($\nu_1, \nu_2$), non-adiabaticity ($\delta$), and measurement angles is systematically investigated.

Key Contributions and Results

• Derivation of Cumulants via KD Quasi-Probability: The paper provides a method to derive cumulants for undephased engines using the KD quasi-probability. It shows that while the first cumulants (averages) of the undephased engine can be obtained by simply removing the dephasing channel from the monitored engine's characteristic function, higher-order cumulants require the full quasiprobability formalism.
• Analytical Expressions: Compact analytical formulas for averages and variances of work and heat are provided in terms of transition probabilities, independent of specific Hamiltonian details.
• Impact of Coherence and Non-Adiabaticity:
  • Contrary to common wisdom, the authors show that non-adiabatic transitions are not always detrimental. In the undephased engine, increasing the non-adiabatic parameter $\delta$ can increase average work, efficiency, and reliability, a behavior not observed in the dephased engine.
  • The undephased engine can function as a heat engine even when $\delta \geq 1/2$, a regime where the dephased engine fails to extract work. This is attributed to the coherence term in the heat absorption equation, which allows the system to populate higher energy levels more effectively than a thermal bath would.
• Optimal Measurement Bases:
  • For the dephased engine, the optimal measurement basis for maximizing work, efficiency, and reliability is in the yz-plane (specifically the y-basis, where $\chi = \pi/2$).
  • For the undephased engine, the optimal basis depends on the phase $\phi$ and non-adiabaticity. When $\phi=0$, the xz-plane yields the highest work. When $\phi=\pi/2$, the xy-plane is optimal.
  • The paper demonstrates that not all bases within a plane (e.g., the yz-plane) are equivalent for the undephased engine, unlike the dephased case.
• Thermodynamic Bounds and Reliability:
  • The study proves that the engine cannot operate as a refrigerator for unital channels, regardless of dimension.
  • A new upper bound for work reliability ($R_W \leq 1$) is established for the undephased engine, which holds even when the standard thermodynamic uncertainty relation bound ($2/\langle \Sigma \rangle - 1$) becomes negative or undefined at low temperatures.
  • The ratio of work fluctuations to heat fluctuations is shown to be bounded by 1 in the heat engine region, even with coherence present.
• Efficiency Limits: The efficiency of the undephased engine is bounded by 1 (unit efficiency), which can be approached when the ratio of heat released to heat absorbed vanishes. However, achieving unit efficiency with non-zero work requires $\nu_2 \gg \nu_1$, which the authors note may be experimentally challenging.

Significance
The authors claim that their results are significant for heat engines fueled by quantum measurements. By utilizing the Kirkwood-Dirac quasi-probability, they provide a rigorous framework to analyze engines where coherence is preserved. The work challenges the conventional view that non-adiabatic transitions are purely detrimental, showing instead that they can be harnessed to enhance thermodynamic performance in the presence of coherence. Furthermore, the derivation of a robust upper bound for work reliability ($R_W \leq 1$) that remains valid in low-temperature regimes offers a more reliable metric for assessing engine performance than previous bounds that fail when entropy production is high. The paper concludes that these analytical results provide a foundation for understanding how to engineer reliable quantum thermal machines and suggests future directions, such as extending these results to higher-dimensional systems (e.g., coupled spins) and investigating experimental implementations under external noise.