No-Go Theorem for Quantum Heat Engines Powered Purely by Quantum Measurements in the Steady Regime
Pith reviewed 2026-05-08 11:52 UTC · model grok-4.3
The pith
Quantum engines powered only by measurements cannot extract work once they reach steady operation.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
On the basis of a Poincaré-like recurrence theorem for general quantum channels, we prove a no-go result for work extraction from such an engine in the steady regime. In the steady regime, quantum measurements become nondisturbing and do not inject energy into the working substance. Consequently, no work can be extracted. This result reveals the necessity of an entropy-decreasing process, such as feedback control or thermal contact, for work extraction in steady-cycle measurement-powered engines.
What carries the argument
The Poincaré-like recurrence theorem for general quantum channels, which shows that repeated measurements drive the system to a fixed point at which backaction and energy injection both vanish.
If this is right
- No net work can be extracted in the steady regime without an added entropy-decreasing mechanism.
- Bare measurements cease to inject energy once the quantum channel reaches its fixed point.
- Any steady-cycle measurement-powered engine requires feedback control or thermal contact to produce work.
- The no-go holds for arbitrary finite-dimensional working substances under pure measurement driving.
Where Pith is reading between the lines
- Work extraction might still occur during the transient approach to steady state before the fixed point is reached.
- The same recurrence argument could rule out work extraction in other steady quantum thermodynamic cycles that lack an entropy sink.
- An experiment could monitor the long-time energy input from measurements on a trapped ion or superconducting qubit to check whether it drops to zero.
Load-bearing premise
The engine truly reaches and stays in a steady regime under repeated bare measurements alone, so the describing quantum channel attains a fixed point where backaction disappears.
What would settle it
Demonstrating sustained positive net work output over many full cycles from a finite-dimensional system driven only by bare measurements that have settled into a steady state without feedback or thermal contact.
Figures
read the original abstract
We study the thermodynamics of a quantum measurement-powered engine that converts energy injected by measurement backaction into work. We consider an engine with a finite-dimensional working substance, driven purely by quantum measurements, i.e., by bare quantum measurements, without feedback control or thermal contact in the thermodynamic cycle. On the basis of a Poincar\'e-like recurrence theorem for general quantum channels, we prove a no-go result for work extraction from such an engine in the steady regime. In the steady regime, quantum measurements become nondisturbing and do not inject energy into the working substance. Consequently, no work can be extracted. This result reveals the necessity of an entropy-decreasing process, such as feedback control or thermal contact, for work extraction in steady-cycle measurement-powered engines.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to prove a no-go theorem for work extraction in quantum heat engines powered purely by bare quantum measurements (no feedback or thermal contact) in the steady regime. For a finite-dimensional working substance, a Poincaré-like recurrence theorem for general quantum channels is invoked to show that repeated measurements drive the system to a fixed point of the measurement channel; at this point the state is invariant, measurements are nondisturbing, and no net energy is injected, so no work can be extracted. The result is presented as demonstrating the necessity of an entropy-decreasing process for steady-cycle operation.
Significance. If the central derivation is gap-free, the result is significant for quantum thermodynamics: it supplies a parameter-free, channel-theoretic argument that measurement back-action alone cannot sustain work extraction in steady state. The explicit use of recurrence theorems on quantum channels, rather than ad-hoc assumptions, is a methodological strength that makes the no-go falsifiable and general within the stated scope (finite dimension, bare measurements, no external driving).
minor comments (2)
- [Main text, proof of the no-go result] The abstract states that the recurrence theorem implies measurements become nondisturbing at the fixed point, but the main text should include an explicit step showing that the average energy change vanishes identically once the state lies in the support of the fixed point (rather than leaving this as an immediate corollary).
- [Introduction and model definition] The assumption that the cycle consists solely of repeated bare measurements without any intermediate unitary or thermal step is load-bearing; a short paragraph clarifying why this excludes all standard engine cycles would improve readability.
Simulated Author's Rebuttal
We thank the referee for their positive assessment, accurate summary of our central result, and recommendation of minor revision. The referee's description correctly captures the scope and the Poincaré-recurrence argument for the no-go theorem in the steady regime. No specific technical objections or requested modifications were raised.
Circularity Check
No significant circularity detected
full rationale
The paper's central derivation applies an external Poincaré-like recurrence theorem for general quantum channels to establish that repeated bare measurements drive the finite-dimensional working substance to a fixed point of the measurement channel. At this fixed point the state is invariant, backaction vanishes on average, and no net energy is injected, precluding work extraction in the steady regime. The theorem is invoked as an independent mathematical result rather than derived from or defined in terms of the engine's work output or fitted parameters. The steady regime is characterized directly by the channel's fixed-point property under the paper's assumptions (no feedback, no thermal contact, bare measurements only), without circular reduction. No self-citations are load-bearing for the no-go claim, no ansatzes are smuggled, and no empirical patterns are renamed as derivations. The argument remains self-contained against the stated external theorem and assumptions.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Poincaré-like recurrence theorem for general quantum channels
Forward citations
Cited by 1 Pith paper
-
Optimal work extraction in measurement-based quantum Otto engines: Non-adiabaticity and generalized measurements can be beneficial
Measurement-based quantum Otto engines with POVMs and non-adiabatic operation extract more net work than conventional or PVM-based engines in specific regimes, even after reset costs.
Reference graph
Works this paper leans on
-
[1]
We do not retain the outcome of the measurement
We perform a measurement on the working sub- stance to inject energy through the backaction of the measurement. We do not retain the outcome of the measurement. Such a nonselective quan- tum measurement is described by a completely pos- itive and trace-preserving (CPTP) mapρ→˜ρ (1) = M(1)(ρ)
-
[2]
Under this control, the working substance evolves unitarily as ˜ρ(1) →ρ (1) =U (1)(˜ρ(1))
We drive the HamiltonianH→H (1) by an external force to extract work from the engine. Under this control, the working substance evolves unitarily as ˜ρ(1) →ρ (1) =U (1)(˜ρ(1))
-
[3]
We repeat these operationsKtimes, with a fixed sequence of measurement and driving. At thekth step, we perform a measurementM (k) onρ (k−1), followed by a drivingH (k−1) →H (k) inducing a unitaryU (k). 3 ω(n,0) ω(n,1) ω(n,K→1)ω(n→1,K→1) ω(n+1,0) FIG. 2. The cycle (2.1) of a quantum engine poweredpurelyby quantum measurements. In each cycle,Kpairs of nonse...
-
[4]
To close the cycle, we bring the Hamiltonian back to its initial oneH (K) =Hby the lastKth driving. The evolution of the working substance per cycle is de- scribed by the CPTP map E=U (K) ◦ M(K) ◦ · · · ◦ U (1) ◦ M(1).(2.1) Repeated application of this cycle is described byE n with n= 1,2, . . . Here, we restrictM (k) (k= 1, . . . , K) tobarequan- tum mea...
-
[5]
K. Maruyama, F. Nori, and V. Vedral, The physics of Maxwell’s demon and information, Rev. Mod. Phys.81, 1 (2009)
work page 2009
-
[6]
J. M. R. Parrondo, J. M. Horowitz, and T. Sagawa, Ther- modynamics of information, Nat. Phys.11, 131 (2015)
work page 2015
- [7]
-
[8]
D. Abreu and U. Seifert, Extracting work from a single heat bath through feedback, Europhys. Lett.94, 10001 (2011)
work page 2011
-
[9]
T. Sagawa and M. Ueda, Second Law of Thermodynamics with Discrete Quantum Feedback Control, Phys. Rev. Lett.100, 080403 (2008)
work page 2008
-
[10]
Y. Morikuni and H. Tasaki, Quantum Jarzynski-Sagawa- Ueda Relations, J. Stat. Phys.143, 1 (2011)
work page 2011
-
[11]
K. Funo, Y. Watanabe, and M. Ueda, Integral quantum fluctuation theorems under measurement and feedback control, Phys. Rev. E88, 052121 (2013)
work page 2013
-
[12]
P. Strasberg, G. Schaller, T. Brandes, and M. Esposito, Quantum and Information Thermodynamics: A Unifying Framework Based on Repeated Interactions, Phys. Rev. X7, 021003 (2017)
work page 2017
-
[13]
K. Koshihara and K. Yuasa, Necessity of feedback control for the quantum Maxwell demon in a finite-time steady feedback cycle, Phys. Rev. E106, 024134 (2022)
work page 2022
-
[14]
T. Fu, Y. Wang, J. Chen, J. Du, J. Chen, C. Uchiyama, and S. Su, Finite-time quantum measurement cooling beyond the Carnot limit, J. Appl. Phys.134, 024402 (2023)
work page 2023
-
[15]
C. Elouard, D. A. Herrera-Mart´ ı, M. Clusel, and A. Auff` eves, The role of quantum measurement in stochastic thermodynamics, npj Quant. Inf.3, 9 (2017)
work page 2017
-
[16]
C. Elouard, D. Herrera-Mart´ ı, B. Huard, and A. Auff` eves, Extracting Work from Quantum Measurement in Maxwell’s Demon Engines, Phys. Rev. Lett.118, 260603 (2017)
work page 2017
-
[17]
M. H. Mohammady and J. Anders, A quantum Szilard engine without heat from a thermal reservoir, New J. Phys.19, 113026 (2017)
work page 2017
-
[18]
C. Elouard and A. N. Jordan, Efficient Quantum Mea- surement Engines, Phys. Rev. Lett.120, 260601 (2018)
work page 2018
-
[19]
L. Bresque, P. A. Camati, S. Rogers, K. Murch, A. N. Jordan, and A. Auff` eves, Two-Qubit Engine Fueled by Entanglement and Local Measurements, Phys. Rev. Lett. 126, 120605 (2021)
work page 2021
-
[20]
S. K. Manikandan, C. Elouard, K. W. Murch, A. Auff` eves, and A. N. Jordan, Efficiently fueling a quan- tum engine with incompatible measurements, Phys. Rev. 9 E105, 044137 (2022)
work page 2022
-
[21]
K. Wang, R. Xia, L. Bresque, and P. Xue, Experimental demonstration of a quantum engine driven by entangle- ment and local measurements, Phys. Rev. Research4, L032042 (2022)
work page 2022
-
[22]
A. Rodin, Advantages of non-Hookean coupling in a measurement-fueled two-oscillator engine, arXiv:2311.04446 [quant-ph] (2023)
-
[23]
J. Yi, P. Talkner, and Y. W. Kim, Single-temperature quantum engine without feedback control, Phys. Rev. E 96, 022108 (2017)
work page 2017
-
[24]
X. Ding, J. Yi, Y. W. Kim, and P. Talkner, Measurement- driven single temperature engine, Phys. Rev. E98, 042122 (2018)
work page 2018
- [25]
- [26]
-
[27]
M. F. Anka, T. R. de Oliveira, and D. Jonathan, Measurement-based quantum heat engine in a multilevel system, Phys. Rev. E104, 054128 (2021)
work page 2021
-
[28]
Z. Lin, S. Su, J. Chen, J. Chen, and J. F. G. Santos, Suppressing coherence effects in quantum-measurement- based engines, Phys. Rev. A104, 062210 (2021)
work page 2021
- [29]
-
[30]
C. Purkait and A. Biswas, Measurement-based quan- tum Otto engine with a two-spin system coupled by anisotropic interaction: Enhanced efficiency at finite times, Phys. Rev. E107, 054110 (2023)
work page 2023
-
[31]
B. Bhandari, R. Czupryniak, P. A. Erdman, and A. N. Jordan, Measurement-Based Quantum Thermal Ma- chines with Feedback Control, Entropy25, 204 (2023)
work page 2023
-
[32]
´E. Jussiau, L. Bresque, A. Auff` eves, K. W. Murch, and A. N. Jordan, Many-body quantum vacuum fluctuation engines, Phys. Rev. Research5, 033122 (2023)
work page 2023
-
[33]
A. El Makouri, A. Slaoui, and R. Ahl Laamara, Moni- tored nonadiabatic and coherent-controlled quantum uni- tal Otto heat engines: First four cumulants, Phys. Rev. E108, 044114 (2023)
work page 2023
-
[34]
Behzadi, Quantum engine based on general measure- ments, J
N. Behzadi, Quantum engine based on general measure- ments, J. Phys. A: Math. Theor.54, 015304 (2021)
work page 2021
-
[35]
V. F. Lisboa, P. R. Dieguez, J. R. Guimar˜ aes, J. F. G. Santos, and R. M. Serra, Experimental investigation of a quantum heat engine powered by generalized measure- ments, Phys. Rev. A106, 022436 (2022)
work page 2022
-
[36]
P. R. Dieguez, V. F. Lisboa, and R. M. Serra, Thermal devices powered by generalized measurements with in- definite causal order, Phys. Rev. A107, 012423 (2023)
work page 2023
-
[37]
This engine works even with a single reservoir, which effectively acts as a cold bath that absorbs heat. Since no feedback control is applied, the standard Clausius in- equalityβQ≤0 holds for the heatQand the inverse temperatureβof the reservoir. See Ref. [9]
-
[38]
A. N. Jordan, C. Elouard, and A. Auff` eves, Quantum measurement engines and their relevance for quantum interpretations, Quantum Stud. Math. Found.7, 203 (2020)
work page 2020
-
[39]
H. M. Wiseman, Using feedback to eliminate back-action in quantum measurements, Phys. Rev. A51, 2459 (1995)
work page 1995
-
[40]
C. A. Fuchs and K. Jacobs, Information-tradeoff relations for finite-strength quantum measurements, Phys. Rev. A 63, 062305 (2001)
work page 2001
-
[41]
K. Jacobs, Second law of thermodynamics and quantum feedback control: Maxwell’s demon with weak measure- ments, Phys. Rev. A80, 012322 (2009)
work page 2009
-
[42]
M. M. Wolf, Quantum Channels & Op- erations: Guided Tour, 2012, URL: https://mediatum.ub.tum.de/node?id=1701036
work page 2012
- [43]
-
[44]
Banaszek, Fidelity Balance in Quantum Operations, Phys
K. Banaszek, Fidelity Balance in Quantum Operations, Phys. Rev. Lett.86, 1366 (2001)
work page 2001
-
[45]
H. Barnum, Information-disturbance tradeoff in quantum measurement on the uniform ensemble and on the mutu- ally unbiased bases, arXiv:quant-ph/0205155 (2002)
-
[46]
A. E. Rastegin, Non-equilibrium equalities with unital quantum channels, J. Stat. Mech.2013, P06016 (2013)
work page 2013
-
[47]
J. Goold and K. Modi, Fluctuation theorem for nonunital dynamics, AVS Quant. Sci.3, 045001 (2021)
work page 2021
-
[48]
A. Solfanelli, L. Buffoni, A. Cuccoli, and M. Campisi, Maximal energy extraction via quantum measurement, J. Stat. Mech.2019, 094003 (2019)
work page 2019
-
[49]
K. Koshihara and K. Yuasa, Quantum ergotropy and quantum feedback control, Phys. Rev. E107, 064109 (2023)
work page 2023
-
[50]
L. Buffoni, A. Solfanelli, P. Verrucchi, A. Cuccoli, and M. Campisi, Quantum Measurement Cooling, Phys. Rev. Lett.122, 070603 (2019)
work page 2019
-
[51]
K. Jacobs,Quantum Measurement Theory and Its Appli- cations(Cambridge University Press, Cambridge, 2014)
work page 2014
-
[52]
H. M. Wiseman and G. J. Milburn,Quantum Measure- ment and Control(Cambridge University Press, Cam- bridge, 2010)
work page 2010
-
[53]
Ozawa, Quantum measuring processes of continuous observables, J
M. Ozawa, Quantum measuring processes of continuous observables, J. Math. Phys.25, 79 (1984)
work page 1984
-
[54]
M. Hayashi, S. Ishizaka, A. Kawachi, G. Kimura, and T. Ogawa,Introduction to Quantum Information Science (Springer, Berlin, 2015)
work page 2015
-
[55]
D. Burgarth, P. Facchi, H. Nakazato, S. Pascazio, and K. Yuasa, Quantum Zeno Dynamics from General Quantum Operations, Quantum4, 289 (2020)
work page 2020
-
[56]
This is because every CPTP map is, as a consequence of the Russo-Dye theorem, contractive with respect to the trace norm [77–79]
-
[57]
W. Pusz and S. L. Woronowicz, Passive states and KMS states for general quantum systems, Commun. Math. Phys.58, 273 (1978)
work page 1978
-
[58]
Lenard, Thermodynamical proof of the Gibbs formula for elementary quantum systems, J
A. Lenard, Thermodynamical proof of the Gibbs formula for elementary quantum systems, J. Stat. Phys.19, 575 (1978)
work page 1978
-
[59]
Alicki, The quantum open system as a model of the heat engine, J
R. Alicki, The quantum open system as a model of the heat engine, J. Phys. A: Math. Gen.12, L103 (1979)
work page 1979
-
[60]
J. Anders and V. Giovannetti, Thermodynamics of dis- crete quantum processes, New J. Phys.15, 033022 (2013)
work page 2013
-
[61]
In general, any unital CPTP map Φ, satisfying the uni- tality condition Φ(11) = 11, does not decrease the von Neumann entropyS(ρ). See e.g. Refs. [58, 62, 80]
-
[62]
R. Alicki and M. Fannes,Quantum Dynamical Systems (Oxford University Press, Oxford, 2001)
work page 2001
-
[63]
M. A. Nielsen and I. L. Chuang,Quantum Computation and Quantum Information, 10th anniversary ed. (Cam- 10 bridge University Press, Cambridge, 2010)
work page 2010
-
[64]
M. M. Wilde,Quantum Information Theory, 2nd ed. (Cambridge University Press, Cambridge, 2017)
work page 2017
-
[65]
correlation) between the measured system and a “memory” system [9]
The quantityχ ms is the quantum mutual information (i.e. correlation) between the measured system and a “memory” system [9]. For classical systems, it is just the acquired information [81]. For quantum systems, on the other hand, the backaction of quantum measurement re- duces the acquired information, and the total informa- tion gain is given byI ms =χ m...
-
[66]
T. Sagawa,Entropy, Divergence, and Majorization in Classical and Quantum Thermodynamics(Springer, Sin- gapore, 2022)
work page 2022
-
[67]
Note that this holds for bare quantum measurements, but not for all unital quantum measurements. Consider, for instance, a unital (but not bare) quantum measure- mentM unital(ρ) =P 0ρP0 +σ (12) x (11−P 0)ρ(11−P 0)σ(12) x for a three-level system, whereP 0 =|0⟩⟨0|andσ (12) x = |1⟩⟨2|+|2⟩⟨1|. This measurementM unital disturbs pure statesρ=|1⟩⟨1|andρ=|2⟩⟨2|w...
-
[68]
B. Bhandari and A. N. Jordan, Continuous measurement boosted adiabatic quantum thermal machines, Phys. Rev. Research4, 033103 (2022)
work page 2022
-
[69]
T. Yamamoto, Y. Tokura, and T. Kato, Heat transport through a two-level system under continuous quantum measurement, Phys. Rev. B106, 205419 (2022)
work page 2022
- [70]
-
[71]
T. F. Havel, Robust procedures for converting among Lindblad, Kraus and matrix representations of quantum dynamical semigroups, J. Math. Phys.44, 534 (2003)
work page 2003
-
[72]
Vectorization of quantum operations and its use
A. Gilchrist, D. R. Terno, and C. J. Wood, Vectoriza- tion of quantum operations and its use, arXiv:0911.2539 [quant-ph] (2009)
work page Pith review arXiv 2009
-
[73]
C. J. Wood, J. D. Biamonte, and D. G. Cory, Tensor net- works and graphical calculus for open quantum systems, Quant. Inf. Comp.15, 0759 (2015)
work page 2015
-
[74]
Watrous,The Theory of Quantum Information(Cam- bridge University Press, Cambridge, 2018)
J. Watrous,The Theory of Quantum Information(Cam- bridge University Press, Cambridge, 2018)
work page 2018
-
[75]
A. Hahn, D. Burgarth, and K. Yuasa, Unification of ran- dom dynamical decoupling and the quantum Zeno effect, New J. Phys.24, 063027 (2022)
work page 2022
-
[76]
We haveM 2(X) = M(X) =p 0|0⟩⟨0|+p 1|1⟩⟨1| ̸=X, while∥M(X)∥ 2 HS = (X|M 2(X)) = (X|M(X))
Consider, for instance, a projective measurement M(X) =P 0XP 0 +P 1XP 1 for a two-level system, with P0 =|0⟩⟨0|andP 1 =|1⟩⟨1|, and apply it toX= p0|0⟩⟨0|+p 1|1⟩⟨1|+c|0⟩⟨1|+c ∗|1⟩⟨0|. We haveM 2(X) = M(X) =p 0|0⟩⟨0|+p 1|1⟩⟨1| ̸=X, while∥M(X)∥ 2 HS = (X|M 2(X)) = (X|M(X)). Equality in the first inequal- ity in (A5) holds, whileXis not a fixed point ofMand e...
-
[77]
J. Wen, Z. Gong, and T. Sagawa, Symmetry and Topol- ogy of Successive Quantum Feedback Control, Phys. Rev. Lett.136, 090802 (2026)
work page 2026
-
[78]
D. P´ erez-Garc´ ıa, M. M. Wolf, D. Petz, and M. B. Ruskai, Contractivity of positive and trace-preserving maps un- derL p norms, J. Math. Phys.47, 083506 (2006)
work page 2006
- [79]
-
[80]
C. O’Meara and R. Pereira, Self-dual maps and symmet- ric bistochastic matrices, Linear Multilinear Algebra61, 23 (2013)
work page 2013
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.