Quantum thermodynamics with uncertain equilibrium
Pith reviewed 2026-05-10 13:12 UTC · model grok-4.3
The pith
Uncertain equilibrium states impose a no-go theorem on athermality purification in quantum thermodynamics.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors prove that under a generic geometric condition on the set of possible equilibrium states, athermality purification—converting an uncertain athermality resource into a definite target—is either trivial or impossible, allowing no tradeoff. They introduce clean and dirty battery models for work tasks and provide exact one-shot characterizations using min- and max-relative entropies along with subspace-constrained versions. Asymptotically, they demonstrate strong irreversibility, including examples where in the clean model work is needed to form a state but cannot be extracted from it, and in the dirty model work extraction is possible but formation costs infinite work, effects that
What carries the argument
The set of candidate equilibrium states reflecting uncertainty in the Hamiltonian and bath temperature, which under a generic geometric condition enables the no-go theorem limiting athermality purification and supports the entropic characterizations of work.
If this is right
- One-shot work extraction and formation are exactly characterized by standard min- and max-relative entropies and their subspace-constrained variants for both battery models.
- In the asymptotic regime both clean and dirty battery models exhibit strong thermodynamic irreversibility.
- Explicit states exist in the clean-battery model that require work to form yet yield no extractable work.
- In the dirty-battery model work can be extracted from certain states while their formation requires infinite work cost.
- All irreversibility phenomena persist even when equilibrium uncertainty is made arbitrarily small.
Where Pith is reading between the lines
- The no-go result implies that experimental attempts at thermodynamic resource conversion must incorporate uncertainty in the reference state to avoid overestimating achievable work yields.
- The clean versus dirty battery distinction offers a way to design controlled tests in quantum simulators by adding tunable noise to the equilibrium reference and measuring resulting work costs.
- Similar no-go theorems may apply to other quantum resource theories when the reference state or channel is uncertain, though this extension is left open.
Load-bearing premise
The generic geometric condition on the set of candidate equilibrium states that enables the no-go theorem for athermality purification.
What would settle it
A concrete counterexample in which a non-trivial conversion from an uncertain athermality resource to a definite target succeeds under the stated geometric condition on the candidate equilibria.
Figures
read the original abstract
The resource-theoretic approach to quantum thermodynamics assumes complete knowledge of the thermal equilibrium against which thermodynamic resources are defined. In practice, however, this state is determined by the system Hamiltonian and the bath temperature, neither of which is known with perfect precision. We develop a framework in which the equilibrium reference is specified by a set of candidate states reflecting this uncertainty. Under a generic geometric condition, we prove a no-go theorem that sharply limits athermality ``purification'': conversion from an uncertain athermality resource to a definite target is either trivial or impossible, with no room for tradeoff. We then introduce two complementary battery models: a clean battery with a precisely known equilibrium state and a dirty battery with an uncertain one. For both models, we derive exact one-shot entropic characterizations of work extraction and work of formation in terms of standard min- and max-relative entropies and new subspace-constrained variants. In the asymptotic regime, both models exhibit a strong form of thermodynamic irreversibility. In particular, we give a simple and explicit example in which, in the clean-battery model, work is required to form a state but no work can be extracted from it, in direct analogy with bound entanglement, whereas in the dirty-battery model, work can be extracted but formation requires infinite work cost. These phenomena persist even under arbitrarily small uncertainty, showing that equilibrium uncertainty is not a minor perturbation of the standard theory but a qualitatively new ingredient that reshapes the fundamental limits of thermodynamic resource interconversion.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops a resource-theoretic framework for quantum thermodynamics where the equilibrium reference is uncertain and given by a convex set of candidate states. Under a generic geometric condition on this set, it proves a no-go theorem that athermality purification (conversion of an uncertain resource to a definite target) is either trivial or impossible with no tradeoff. It introduces clean (precise equilibrium) and dirty (uncertain equilibrium) battery models, derives exact one-shot characterizations of work extraction and formation via standard and subspace-constrained min/max-relative entropies, and shows strong asymptotic irreversibility including bound-entanglement-like phenomena that survive arbitrarily small uncertainty.
Significance. If the results hold, this is a significant contribution: it shows equilibrium uncertainty is a qualitatively new ingredient that reshapes thermodynamic limits rather than a small perturbation, with exact entropic formulas and explicit irreversibility examples (including the clean-battery bound-entanglement analogue and dirty-battery infinite-cost formation). The framework extends standard quantum thermodynamics in a physically motivated direction and supplies falsifiable distinctions between the two battery models.
major comments (3)
- [No-go theorem statement] The no-go theorem (main text, statement following the framework section) invokes a 'generic geometric condition' on the convex set of candidate equilibria to conclude that purification is either trivial or impossible. The precise mathematical definition of this condition, a proof that it is generic/dense in the space of physically relevant uncertainty sets, and verification against standard models (e.g., bounded Hamiltonian eigenvalue uncertainty plus temperature interval) are not supplied. This condition is load-bearing for the central claim of 'no room for tradeoff'.
- [Asymptotic clean-battery example] In the asymptotic-regime analysis for the clean-battery model (example of a state that requires work to form yet yields no extractable work), it is not shown that the chosen uncertainty set satisfies the geometric condition. If the condition fails, the no-go does not apply and non-trivial purification protocols may exist, undermining the claimed analogy to bound entanglement.
- [Dirty-battery characterizations] The dirty-battery claim that work extraction is possible while formation costs infinite work rests on the subspace-constrained max-relative entropy diverging. The exact definition of these new entropies and the step-by-step reduction showing infinity (versus the finite standard max-relative entropy) must be exhibited explicitly to confirm the derivation is not circular or post-hoc.
minor comments (2)
- [Preliminaries / notation] The subspace-constrained min- and max-relative entropies are introduced without a self-contained preliminary definition or comparison table to the unconstrained versions; a short dedicated subsection would improve readability before their use in the one-shot formulas.
- [Abstract and introduction] The abstract and introduction refer to 'new subspace-constrained variants' without a one-sentence indication of the constraint (e.g., support restriction or projection onto a subspace); adding this would clarify the novelty for readers unfamiliar with the construction.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for the constructive comments, which have helped us identify points that require clarification. We address each major comment in turn below. We will revise the manuscript accordingly to strengthen the presentation while preserving the core results.
read point-by-point responses
-
Referee: [No-go theorem statement] The no-go theorem (main text, statement following the framework section) invokes a 'generic geometric condition' on the convex set of candidate equilibria to conclude that purification is either trivial or impossible. The precise mathematical definition of this condition, a proof that it is generic/dense in the space of physically relevant uncertainty sets, and verification against standard models (e.g., bounded Hamiltonian eigenvalue uncertainty plus temperature interval) are not supplied. This condition is load-bearing for the central claim of 'no room for tradeoff'.
Authors: We agree that the geometric condition requires a more explicit treatment to support the central claim. The condition is introduced in the framework section as the requirement that the convex set of candidate equilibria has nonempty interior relative to its affine hull and is not contained in any proper face of the state space; however, to address the referee's concern we will add a dedicated paragraph providing the formal definition, a short proof that the condition holds densely (via openness in the Hausdorff topology on compact convex sets), and an explicit verification that it is satisfied by the standard model of bounded Hamiltonian eigenvalue uncertainty combined with a temperature interval, provided the uncertainty radius is positive but finite. These additions will be placed immediately before the no-go theorem statement. revision: yes
-
Referee: [Asymptotic clean-battery example] In the asymptotic-regime analysis for the clean-battery model (example of a state that requires work to form yet yields no extractable work), it is not shown that the chosen uncertainty set satisfies the geometric condition. If the condition fails, the no-go does not apply and non-trivial purification protocols may exist, undermining the claimed analogy to bound entanglement.
Authors: We acknowledge that an explicit check is needed to ensure the analogy to bound entanglement is rigorous. In the revised manuscript we will insert a short paragraph immediately preceding the asymptotic example that verifies the specific uncertainty set (a small ball around a fixed thermal state) satisfies the generic geometric condition by direct computation of its relative interior. The verification uses the same definition supplied in response to the first comment and confirms that the set is not contained in any proper face, thereby ensuring the no-go theorem applies and the claimed irreversibility holds. revision: yes
-
Referee: [Dirty-battery characterizations] The dirty-battery claim that work extraction is possible while formation costs infinite work rests on the subspace-constrained max-relative entropy diverging. The exact definition of these new entropies and the step-by-step reduction showing infinity (versus the finite standard max-relative entropy) must be exhibited explicitly to confirm the derivation is not circular or post-hoc.
Authors: The definitions of the subspace-constrained min- and max-relative entropies appear in the dirty-battery section as the standard quantities restricted to states whose support lies inside a fixed subspace determined by the uncertain equilibrium. The divergence of the constrained max-relative entropy for formation follows because the target state has a component orthogonal to that subspace, rendering the quantity infinite while the unconstrained version remains finite. To make the argument fully explicit we will add a short appendix containing the precise definitions together with a line-by-line derivation of the infinity result, including the supporting lemma that the constrained quantity is infinite precisely when the support condition is violated. This appendix will be referenced from the main-text claim. revision: yes
Circularity Check
No significant circularity detected in derivation chain
full rationale
The paper introduces a framework for quantum thermodynamics with an uncertain equilibrium reference given by a convex set of candidate thermal states. The central no-go theorem for athermality purification is explicitly conditioned on a stated generic geometric property of that set (independent of the target conversion result) and is proved from first principles within the resource-theoretic setting. Work extraction and formation are characterized via standard min- and max-relative entropies together with newly defined subspace-constrained variants; these quantities are defined directly from the uncertainty set and do not presuppose or reduce to the no-go statement by construction. Asymptotic irreversibility examples are constructed explicitly rather than obtained by fitting or renaming prior results. No self-citations appear as load-bearing premises, and the derivations remain self-contained against external benchmarks such as standard thermo-majorization and relative-entropy resource theories.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Thermal equilibrium reference is specified by a set of candidate states reflecting uncertainty in Hamiltonian and bath temperature.
- domain assumption Standard assumptions of the resource-theoretic approach to quantum thermodynamics hold as the base theory.
invented entities (3)
-
Clean battery model
no independent evidence
-
Dirty battery model
no independent evidence
-
Subspace-constrained min- and max-relative entropies
no independent evidence
Forward citations
Cited by 1 Pith paper
-
Operational interpretation of the reverse sandwiched Renyi divergences in composite quantum hypothesis testing
The reverse sandwiched Renyi divergence for alpha in (0,1) exactly equals the optimal Hoeffding exponent for discriminating a thermal equilibrium state from a probe with unknown dephasing in the energy basis.
Reference graph
Works this paper leans on
-
[1]
, " * write output.state after.block = add.period write newline
") INTEGERS output.state before.all mid.sentence after.sentence after.block FUNCTION init.state.consts #0 'before.all := #1 'mid.sentence := #2 'after.sentence := #3 'after.block := STRINGS s t FUNCTION output.nonnull 's := output.state mid.sentence = ", " * write output.state after.block = add.period write newline " " write output.state before.all = 'wri...
-
[2]
" write newline "" before.all 'output.state := FUNCTION fin.entry add.period write newline FUNCTION new.block output.state before.all = 'skip after.block 'output.state := if FUNCTION new.sentence output.state after.block = 'skip output.state before.all = 'skip after.sentence 'output.state := if if FUNCTION not #0 #1 if FUNCTION and 'skip pop #0 if FUNCTIO...
-
[3]
\'A . M. Alhambra, J. Oppenheim, and C. Perry. Fluctuating states: What is the probability of a thermodynamical transition? Physical Review X , 6(4):041016, 2016
work page 2016
-
[4]
F. Berritta, J. Benestad, L. Pahl, M. Mathews, J. A. Krzywda, R. Assouly, Y. Sung, D. K. Kim, B. M. Niedzielski, K. Serniak, M. E. Schwartz, J. L. Yoder, A. Chatterjee, J. A. Grover, J. Danon, W. D. Oliver, and F. Kuemmeth. Efficient qubit calibration by binary-search hamiltonian tracking. PRX Quantum , 6(3):030335, August 2025
work page 2025
-
[5]
D. Bluvstein, A. A. Geim, S. H. Li, S. J. Evered, J. P. Bonilla Ataides, G. Baranes, A. Gu, T. Manovitz, M. Xu, M. Kalinowski, S. Majidy, C. Kokail, N. Maskara, E. C. Trapp, L. M. Stewart, S. Hollerith, H. Zhou, M. J. Gullans, S. F. Yelin, M. Greiner, V. Vuleti \'c , M. Cain, and M. D. Lukin. A fault-tolerant neutral-atom architecture for universal quantu...
work page 2026
-
[6]
F. Brandao, M. Horodecki, N. Ng, J. Oppenheim, and S. Wehner. The second laws of quantum thermodynamics. Proceedings of the National Academy of Sciences , 112(11):3275--3279, 2015
work page 2015
-
[7]
F. G. S. L. Brand \ a o. Resource theory of quantum states out of thermal equilibrium. Physical Review Letters , 111(25), 2013
work page 2013
-
[8]
E. Chitambar and G. Gour. Quantum resource theories. Reviews of Modern Physics , 91(2):025001, 2019
work page 2019
-
[9]
P. \'C wikli \'n ski, M. Studzi \'n ski, M. Horodecki, and J. Oppenheim. Limitations on the evolution of quantum coherences: Towards fully quantum second laws of thermodynamics. Physical Review Letters , 115(21):210403, November 2015
work page 2015
-
[10]
K. Capannelli, B. Undseth, I. Fern \'a ndez de Fuentes , E. Raymenants, F. K. Unseld, O. Pietx-Casas , S. G. J. Philips, M. T. M a dzik, S. V. Amitonov, L. Tryputen, G. Scappucci, and L. M. K. Vandersypen. Tracking spin qubit frequency variations over 912 days. npj Quantum Information , 11(1):192, December 2025
work page 2025
-
[11]
N. Datta. Min-and max-relative entropies and a new entanglement monotone. IEEE Transactions on Information Theory , 55(6):2816--2826, 2009
work page 2009
- [12]
- [13]
-
[14]
K. Fang and Z.-W. Liu. No-go theorems for quantum resource purification. Physical Review Letters , 125(6):060405, 2020
work page 2020
-
[15]
K. Fang and Z.-W. Liu. No-go theorems for quantum resource purification: New approach and channel theory. PRX Quantum , 3(1):010337, 2022
work page 2022
- [16]
-
[17]
P. Faist and R. Renner. Fundamental work cost of quantum processes. Physical Review X , 8(2):021011, April 2018
work page 2018
-
[18]
K. Fang, X. Wang, M. Tomamichel, and R. Duan. Non-asymptotic entanglement distillation. IEEE Transactions on Information Theory , 65(10):6454--6465, 2019
work page 2019
-
[19]
I. George and E. Chitambar. Cone-restricted information theory. Journal of Physics A: Mathematical and Theoretical , 2024
work page 2024
-
[20]
G. Gour, D. Jennings, F. Buscemi, R. Duan, and I. Marvian. Quantum majorization and a complete set of entropic conditions for quantum thermodynamics. Nature Communications , 9(1):5352, December 2018
work page 2018
-
[21]
V. Giovannetti, S. Lloyd, and L. Maccone. Advances in quantum metrology. Nature Photonics , 5(4):222--229, April 2011
work page 2011
-
[22]
L. Gerster, F. Mart \'i nez-Garc \'i a , P. Hrmo, M. W. van Mourik , B. Wilhelm, D. Vodola, M. M \"u ller, R. Blatt, P. Schindler, and T. Monz. Experimental bayesian calibration of trapped-ion entangling operations. PRX Quantum , 3(2):020350, June 2022
work page 2022
-
[23]
Quantum error correction below the surface code threshold
Google Quantum AI and Collaborators . Quantum error correction below the surface code threshold. Nature , 638(8052):920--926, February 2025
work page 2025
-
[24]
G. Gour. Role of quantum coherence in thermodynamics. PRX Quantum , 3:040323, Nov 2022
work page 2022
-
[25]
M. Horodecki, P. Horodecki, and R. Horodecki. Mixed-state entanglement and distillation: Is there a ``bound'' entanglement in nature? Physical Review Letters , 80(24):5239--5242, June 1998
work page 1998
-
[26]
M. Horodecki and J. Oppenheim. Fundamental limitations for quantum and nanoscale thermodynamics. Nature Communications , 4(1):2059, June 2013
work page 2059
-
[27]
D. Hangleiter, I. Roth, J. Fuksa, J. Eisert, and P. Roushan. Robustly learning the hamiltonian dynamics of a superconducting quantum processor. Nature Communications , 15(1):9595, November 2024
work page 2024
- [28]
-
[29]
D. Janzing, P. Wocjan, R. Zeier, R. Geiss, and Th . Beth. Thermodynamic cost of reliability and low temperatures: Tightening landauer's principle and the second law. International Journal of Theoretical Physics , 39(12):2717--2753, December 2000
work page 2000
-
[30]
P. Lipka-Bartosik, C. T. Chubb, J. M. Renes, M. Tomamichel, and K. Korzekwa. Quantum dichotomies and coherent thermodynamics beyond first-order asymptotics. PRX Quantum , 5:020335, May 2024
work page 2024
-
[31]
Z.-W. Liu, K. Bu, and R. Takagi. One-shot operational quantum resource theory. Physical Review Letters , 123:020401, Jul 2019
work page 2019
- [32]
-
[33]
M. Lostaglio, D. Jennings, and T. Rudolph. Description of quantum coherence in thermodynamic processes requires constraints beyond free energy. Nature Communications , 6(1):6383, 2015
work page 2015
-
[34]
M. Lostaglio, K. Korzekwa, D. Jennings, and T. Rudolph. Quantum coherence, time-translation symmetry, and thermodynamics. Physical Review X , 5(2):021001, April 2015
work page 2015
- [35]
-
[36]
I. Marvian. Coherence distillation machines are impossible in quantum thermodynamics. Nature Communications , 11(1):25, 2020
work page 2020
-
[37]
I. Marvian. Operational interpretation of quantum fisher information in quantum thermodynamics. Physical Review Letters , 129(19):190502, 2022
work page 2022
-
[38]
W.-K. Mok, K. Bharti, L.-C. Kwek, and A. Bayat. Optimal probes for global quantum thermometry. Communications Physics , 4(1):62, March 2021
work page 2021
-
[39]
K. Matsumoto and M. Hayashi. Universal distortion-free entanglement concentration. Physical Review A , 75(6):062338, June 2007
work page 2007
-
[40]
V. Montenegro, C. Mukhopadhyay, R. Yousefjani, S. Sarkar, U. Mishra, M. G. A. Paris, and A. Bayat. Review: Quantum metrology and sensing with many-body systems. Physics Reports , 1134:1--62, July 2025
work page 2025
-
[41]
T. Proctor, M. Revelle, E. Nielsen, K. Rudinger, D. Lobser, P. Maunz, R. Blume-Kohout , and K. Young. Detecting and tracking drift in quantum information processors. Nature Communications , 11(1):5396, October 2020
work page 2020
- [42]
-
[43]
J. M. Renes. Relative submajorization and its use in quantum resource theories. Journal of Mathematical Physics , 57(12), 2016
work page 2016
- [44]
-
[45]
B. Regula and R. Takagi. One-shot manipulation of dynamical quantum resources. Physical Review Letters , 127(6):060402, August 2021
work page 2021
-
[46]
F. Sapienza, F. Cerisola, and A. J. Roncaglia. Correlations as a resource in quantum thermodynamics. Nature Communications , 10(1):2492, June 2019
work page 2019
-
[47]
D. S afr \'a nek, D. Rosa, and F. C. Binder. Work extraction from unknown quantum sources. Physical Review Letters , 130(21):210401, 2023
work page 2023
-
[48]
N. Shiraishi and T. Sagawa. Quantum thermodynamics of correlated-catalytic state conversion at small scale. Physical Review Letters , 126(15):150502, April 2021
work page 2021
-
[49]
P. Skrzypczyk, A. J. Short, and S. Popescu. Work extraction and thermodynamics for individual quantum systems. Nature Communications , 5(1):4185, June 2014
work page 2014
-
[50]
H. Tajima and R. Takagi. Gibbs-preserving operations requiring infinite amount of quantum coherence. Physical Review Letters , 134(17):170201, 2025
work page 2025
- [51]
-
[52]
H. Umegaki. Conditional expectation in an operator algebra. Tohoku Mathematical Journal, Second Series , 6(2-3):177--181, 1954
work page 1954
-
[53]
K. Watanabe and R. Takagi. Black box work extraction and composite hypothesis testing. Physical Review Letters , 133(25):250401, 2024
work page 2024
-
[54]
K. Watanabe and R. Takagi. Universal work extraction in quantum thermodynamics. Nature Communications , 17(1):1857, March 2026
work page 2026
-
[55]
X. Wang and M. M. Wilde. Resource theory of asymmetric distinguishability. Physical Review Research , 1(3):033170, December 2019
work page 2019
-
[56]
X. Yuan, B. Regula, R. Takagi, and M. Gu. Virtual quantum resource distillation. Physical Review Letters , 132(5):050203, 2024
work page 2024
-
[57]
C. Zhu, Y. Mo, Y.-A. Chen, and X. Wang. Reversing unknown quantum processes via virtual combs for channels with limited information. Physical Review Letters , 133(3):030801, 2024
work page 2024
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.