Trading athermality for nonstabiliserness
Pith reviewed 2026-05-17 21:19 UTC · model grok-4.3
The pith
A necessary and sufficient condition determines when thermal contact with a heat bath can generate nonstabiliserness from stabilizer states.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Under minimal thermodynamic assumptions, a necessary and sufficient condition is derived for when thermal processes can generate nonstabiliserness from stabilizer states. This yields an analytic characterisation of all nonstabiliser qubit states reachable through such thermal processes, together with explicit bounds on their nonstabiliserness. Optimal regimes for generating this resource are identified, including the Hamiltonians that maximise nonstabiliserness and the critical temperatures at which it emerges. Beyond the qubit case, a general trade-off is established between the nonstabiliserness attainable under thermal operations and the initial nonequilibrium free energy of the system.
What carries the argument
The necessary and sufficient condition, derived from minimal thermodynamic assumptions, that governs when thermal operations on stabilizer states produce nonstabiliserness.
Load-bearing premise
The interaction between the system and the heat bath is fully captured by the minimal thermodynamic operations used to derive the necessary and sufficient condition.
What would settle it
An experiment that produces a nonstabiliser qubit state from a stabilizer state via thermal contact while violating the derived necessary and sufficient condition, or that fails to produce nonstabiliserness when the condition is satisfied.
Figures
read the original abstract
Quantum advantage arises from quantum states that cannot be efficiently simulated on a classical computer. Such states are characterised by a property known as nonstabiliserness. In this work, we investigate whether nonstabiliserness can be generated by placing an initially stabiliser state in contact with a heat bath. Under minimal thermodynamic assumptions, we derive a necessary and sufficient condition for when this is possible. This yields an analytic characterisation of all nonstabiliser qubit states reachable through such thermal processes, together with explicit bounds on their nonstabiliserness. This, in turn, allows us to identify optimal regimes for generating this resource, including the Hamiltonians that maximise nonstabiliserness and the critical temperatures at which it emerges. Beyond the qubit case, we establish a general trade-off between the nonstabiliserness attainable under thermal operations and the initial nonequilibrium free energy of the system.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript investigates whether nonstabiliserness can be generated from an initially stabiliser state by contact with a heat bath. Under minimal thermodynamic assumptions it derives a necessary and sufficient condition for this to occur, yielding an analytic characterisation of all reachable nonstabiliser qubit states together with explicit bounds on their nonstabiliserness. It further identifies optimal Hamiltonians and critical temperatures, and establishes a general trade-off between attainable nonstabiliserness under thermal operations and the system's initial nonequilibrium free energy.
Significance. If the central derivation is correct, the work supplies a quantitative bridge between athermality (a thermodynamic resource) and nonstabiliserness (a resource for quantum advantage). The explicit qubit characterisation, bounds, and free-energy trade-off are concrete enough to be tested experimentally and to guide further resource-theoretic investigations.
major comments (2)
- [Abstract and the paragraph introducing the minimal assumptions] The necessary-and-sufficient condition is stated to hold under 'minimal thermodynamic assumptions,' yet the manuscript does not provide an explicit list or justification of those assumptions (e.g., whether the allowed operations are strictly energy-preserving unitaries on system plus Gibbs bath, or whether catalysis and initial correlations are excluded). This is load-bearing for the central claim because relaxing any of these restrictions could enlarge the set of reachable states, rendering the stated condition sufficient but not necessary.
- [The qubit-characterisation section] The analytic characterisation of reachable qubit states and the explicit bounds on nonstabiliserness are derived from the necessary-and-sufficient condition; therefore any ambiguity in the scope of the thermal operations directly affects the tightness of those bounds and the identification of optimal Hamiltonians and critical temperatures.
minor comments (2)
- Define the nonstabiliserness measure (or measures) employed and state whether the bounds are independent of the choice of measure.
- Number all displayed equations and ensure every equation referenced in the text carries an explicit label.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for the positive overall assessment. We agree that greater explicitness regarding the minimal thermodynamic assumptions is needed to support the central claims. We have revised the manuscript to address this and respond point by point below.
read point-by-point responses
-
Referee: [Abstract and the paragraph introducing the minimal assumptions] The necessary-and-sufficient condition is stated to hold under 'minimal thermodynamic assumptions,' yet the manuscript does not provide an explicit list or justification of those assumptions (e.g., whether the allowed operations are strictly energy-preserving unitaries on system plus Gibbs bath, or whether catalysis and initial correlations are excluded). This is load-bearing for the central claim because relaxing any of these restrictions could enlarge the set of reachable states, rendering the stated condition sufficient but not necessary.
Authors: We agree that an explicit enumeration and justification of the assumptions strengthens the manuscript. In the revised version we have inserted a dedicated paragraph (immediately after the abstract and again in Section II) that lists the minimal thermodynamic assumptions as follows: (i) interactions occur exclusively via energy-preserving unitaries on the joint system-plus-bath Hilbert space (standard thermal operations with no external work source); (ii) the bath is prepared in a Gibbs state at fixed inverse temperature β; (iii) the system and bath are initially uncorrelated; and (iv) catalysis is disallowed. These are the weakest operations that remain thermodynamically consistent without introducing additional resources. We have added brief justifications with references to the resource-theory literature. With this clarification the necessary-and-sufficient condition is both necessary and sufficient precisely under the stated operations. While we acknowledge that allowing catalysis or initial correlations could enlarge the reachable set, our claims are scoped to the minimal case, which is now stated unambiguously. revision: yes
-
Referee: [The qubit-characterisation section] The analytic characterisation of reachable qubit states and the explicit bounds on nonstabiliserness are derived from the necessary-and-sufficient condition; therefore any ambiguity in the scope of the thermal operations directly affects the tightness of those bounds and the identification of optimal Hamiltonians and critical temperatures.
Authors: We concur that the qubit characterisation, bounds, optimal Hamiltonians and critical temperatures inherit their validity from the precise scope of the allowed operations. Following the addition of the explicit assumption list described above, we have inserted a clarifying sentence in Section III stating that the analytic characterisation and all derived bounds apply strictly under the listed minimal thermal operations. We have also added a short remark noting that the identified optimal Hamiltonians and critical temperatures are optimal within this class. These changes remove any residual ambiguity while preserving the original derivations. revision: yes
Circularity Check
Derivation self-contained under standard thermodynamic principles with no reduction to self-citation or fitted inputs
full rationale
The paper derives a necessary and sufficient condition for generating nonstabiliserness from stabilizer states via thermal processes under minimal thermodynamic assumptions, yielding qubit characterizations, bounds, and a free-energy trade-off. No equations or steps in the abstract or described claims reduce by construction to prior self-citations, fitted parameters renamed as predictions, or ansatzes smuggled via author overlap. The central results are presented as following from energy-preserving unitaries on system plus bath in Gibbs state, without evidence that the condition is defined in terms of the target nonstabiliserness or that uniqueness is imported from unverified self-work. This is the common case of an independent derivation grounded in external thermodynamic definitions.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Minimal thermodynamic assumptions
Forward citations
Cited by 2 Pith papers
-
Quantum speed limit for measurement probabilities
The evolution speed of quantum measurement probabilities is bounded by their inherent quantum fluctuations, providing a correlation witness and a bound on transformation times to non-equilibrium states.
-
Every Little Thing Heat Does Is Magic
Energy and heat measurements provide witnesses that certify quantum magic without full state tomography.
Reference graph
Works this paper leans on
-
[1]
Gottesman, Stabilizer codes and quantum error cor- rection, arXiv:9705052 (1997)
D. Gottesman, Stabilizer codes and quantum error cor- rection, arXiv:9705052 (1997)
work page 1997
-
[2]
D. Aharonov and M. Ben-Or, Fault-tolerant quantum computation with constant error, in Proceedings of the twenty-ninth annual ACM symposium on Theory of com- puting - STOC ’97 , STOC ’97 (ACM Press, 1997) p. 176–188
work page 1997
-
[3]
Gottesman, The heisenberg representation of quan- tum computers, arXiv:9807006 (1998)
D. Gottesman, The heisenberg representation of quan- tum computers, arXiv:9807006 (1998)
work page 1998
-
[4]
S. Aaronson and D. Gottesman, Improved simulation of stabilizer circuits, Phys. Rev. A 70, 052328 (2004)
work page 2004
-
[5]
Van den Nest, Universal quantum computation with little entanglement, Phys
M. Van den Nest, Universal quantum computation with little entanglement, Phys. Rev. Lett. 110, 060504 (2013)
work page 2013
-
[6]
P. Shor, Fault-tolerant quantum computation, in Pro- ceedings of 37th Conference on Foundations of Computer Science (1996) pp. 56–65
work page 1996
-
[7]
Gottesman, Theory of fault-tolerant quantum compu- tation, Phys
D. Gottesman, Theory of fault-tolerant quantum compu- tation, Phys. Rev. A 57, 127 (1998)
work page 1998
-
[8]
Kitaev, Fault-tolerant quantum computation by anyons, Annals of Physics 303, 2–30 (2003)
A. Kitaev, Fault-tolerant quantum computation by anyons, Annals of Physics 303, 2–30 (2003)
work page 2003
-
[9]
R. Raussendorf and J. Harrington, Fault-tolerant quan- tum computation with high threshold in two dimensions, Phys. Rev. Lett. 98, 190504 (2007)
work page 2007
- [10]
-
[11]
M. Howard and E. Campbell, Application of a resource theory for magic states to fault-tolerant quantum com- puting, Phys. Rev. Lett. 118, 090501 (2017)
work page 2017
-
[12]
E. Chitambar and G. Gour, Quantum resource theories, Rev. Mod. Phys. 91, 025001 (2019)
work page 2019
-
[13]
E. T. Campbell and D. E. Browne, Bound states for magic state distillation in fault-tolerant quantum com- putation, Phys. Rev. Lett. 104, 030503 (2010)
work page 2010
- [14]
-
[15]
C. Mukhopadhyay, Generating steady quantum coher- ence and magic through an autonomous thermodynamic machine by utilizing a spin bath, Phys. Rev. A 98, 012102 (2018)
work page 2018
-
[16]
N. Koukoulekidis and D. Jennings, Constraints on magic 6 state protocols from the statistical mechanics of wigner negativity, npj Quantum Information 8 (2022)
work page 2022
-
[17]
A. de Oliveira Junior, J. Son, J. Czartowski, and N. H. Y. Ng, Entanglement generation from athermality, Phys. Rev. Res. 6, 033236 (2024)
work page 2024
-
[18]
S. D. Bartlett, T. Rudolph, and R. W. Spekkens, Refer- ence frames, superselection rules, and quantum informa- tion, Rev. Mod. Phys. 79, 555 (2007)
work page 2007
-
[19]
M. Lostaglio, D. Jennings, and T. Rudolph, Description of quantum coherence in thermodynamic processes re- quires constraints beyond free energy, Nature Communi- cations 6 (2015)
work page 2015
-
[20]
M. Lostaglio, K. Korzekwa, D. Jennings, and T. Rudolph, Quantum coherence, time-translation symmetry, and thermodynamics, Phys. Rev. X 5, 021001 (2015)
work page 2015
-
[21]
P. Ćwikliński, M. Studziński, M. Horodecki, and J. Op- penheim, Limitations on the evolution of quantum coher- ences: Towards fully quantum second laws of thermody- namics, Phys. Rev. Lett. 115, 210403 (2015)
work page 2015
-
[22]
I. Marvian, Coherence distillation machines are impos- sible in quantum thermodynamics, Nature Communica- tions 11 (2020)
work page 2020
-
[23]
R. Takagi and H. Tajima, Universal limitations on im- plementing resourceful unitary evolutions, Phys. Rev. A 101, 022315 (2020)
work page 2020
-
[24]
R. Takagi and N. Shiraishi, Correlation in catalysts enables arbitrary manipulation of quantum coherence, Phys. Rev. Lett. 128, 240501 (2022)
work page 2022
- [25]
-
[26]
M. Heinrich and D. Gross, Robustness of magic and symmetries of the stabiliser polytope, Quantum 3, 132 (2019)
work page 2019
-
[27]
D. Janzing, P. Wocjan, R. Zeier, R. Geiss, and T. Beth, Thermodynamic cost of reliability and low temperatures: Tightening landauer’s principle and the second law, Int. J. Theor. Phys. 39, 2717 (2000)
work page 2000
-
[28]
M. Horodecki and J. Oppenheim, Fundamental limita- tions for quantum and nanoscale thermodynamics, Nat. Commun. 4, 2059 (2013)
work page 2059
-
[29]
F. G. S. L. Brandão, M. Horodecki, J. Oppenheim, J. M. Renes, and R. W. Spekkens, Resource theory of quantum states out of thermal equilibrium, Phys. Rev. Lett. 111, 250404 (2013)
work page 2013
-
[30]
G. Gour, D. Jennings, F. Buscemi, R. Duan, and I. Mar- vian, Quantum majorization and a complete set of en- tropic conditions for quantum thermodynamics, Nature Communications 9 (2018)
work page 2018
-
[31]
A. de Oliveira Junior, J. Czartowski, K. Życzkowski, and K. Korzekwa, Geometric structure of thermal cones, Phys. Rev. E 106, 064109 (2022)
work page 2022
-
[32]
F. vom Ende and G. Dirr, The d-majorization polytope, Linear Algebra Its Appl. 649, 152–185 (2022)
work page 2022
-
[33]
S. Bravyi and A. Kitaev, Universal quantum computa- tion with ideal clifford gates and noisy ancillas, Phys. Rev. A 71, 022316 (2005)
work page 2005
- [34]
-
[35]
P. Lipka-Bartosik, H. Wilming, and N. H. Y. Ng, Cataly- sis in quantum information theory, Rev. Mod. Phys. 96, 025005 (2024)
work page 2024
-
[36]
J. Czartowski, A. de Oliveira Junior, and K. Korzekwa, Thermal recall: Memory-assisted markovian thermal processes, PRX Quantum 4, 040304 (2023)
work page 2023
- [37]
- [38]
-
[39]
J. Czartowski and A. de Oliveira Junior, Catalytic trans- formations for thermal operations, Phys. Rev. Res. 6, 033203 (2024)
work page 2024
- [40]
-
[41]
A. B. P. Junior, S. Zamora, R. A. Macêdo, T. S. Sarubi, J. M. Varela, G. W. C. Rocha, D. A. Moreira, and R. Chaves, Geometric analysis of the stabilizer polytope for few-qubit systems, arXiv:2504.12518 (2025)
work page internal anchor Pith review Pith/arXiv arXiv 2025
- [42]
-
[43]
A. de Oliveira Junior, J. B. Brask, and P. Lipka-Bartosik, Heat as a witness of quantum properties, Phys. Rev. Lett. 134, 050401 (2025)
work page 2025
-
[44]
L. M. K. Vandersypen and I. L. Chuang, Nmr techniques for quantum control and computation, Rev. Mod. Phys. 76, 1037 (2005)
work page 2005
- [45]
-
[46]
A. d. O. Junior, M. Perarnau-Llobet, N. Brunner, and P. Lipka-Bartosik, Quantum catalysis in cavity quantum electrodynamics, Phys. Rev. Res. 6, 023127 (2024)
work page 2024
-
[47]
T. B. Batalhão, A. M. Souza, L. Mazzola, R. Auccaise, R. S. Sarthour, I. S. Oliveira, J. Goold, G. De Chiara, M. Paternostro, and R. M. Serra, Experimental recon- struction of work distribution and study of fluctuation relations in a closed quantum system, Phys. Rev. Lett. 113, 140601 (2014)
work page 2014
-
[48]
P. A. Camati, J. P. S. Peterson, T. B. Batalhão, K. Mi- cadei, A. M. Souza, R. S. Sarthour, I. S. Oliveira, and R. M. Serra, Experimental rectification of entropy pro- duction by maxwell’s demon in a quantum system, Phys. Rev. Lett. 117, 240502 (2016)
work page 2016
- [49]
-
[50]
K. Micadei, J. P. S. Peterson, A. M. Souza, R. S. Sarthour, I. S. Oliveira, G. T. Landi, T. B. Batalhão, R. M. Serra, and E. Lutz, Reversing the direction of heat flow using quantum correlations, Nat. Commun 10 (2019)
work page 2019
-
[51]
M. A. Nielsen and I. L. Chuang, Quantum computation and quantum information (Cambridge university press, 2010)
work page 2010
-
[52]
M. Lostaglio, A. M. Alhambra, and C. Perry, Elementary thermal operations, Quantum 2, 52 (2018)
work page 2018
-
[53]
N. Shiraishi and R. Takagi, Recovery of the second law in fully quantum thermodynamics, arXiv:2510.05642 (2025). 7 Appendix A: General theoretical recap In order to make the work self-contained, in this appendix we provide a compact review of the two frameworks used in the paper: Stabiliser theory (see Ref [ 51] for a detailed discussion) & Thermal operat...
-
[54]
Stabiliser theory in a nutshell The starting point is the n-qubit Pauli group Pn = f 1, ig f /x31, X, Y, Zg n, whose elements are tensor products of single-qubit Pauli operators. A stabiliser state on n-qubits is a pure state that is the joint +1 eigenstate of an abelian subgroup S P n of size jS j = 2n. For a single qubit, pure stabiliser states are prec...
-
[55]
Thermal operations in a nutshell In this appendix we provide a review of technical details on the characterisation of states reachable under thermal operations. We follow the the convention as set in the main text: a system with Hamiltonian H initially in state ρ, a bath with Hamiltonian HE prepared in a Gibbs state γE = exp(βHE) at inverse temperature β,...
-
[56]
Necessary & Sufficient condition We begin with a geometric reformulation that characterises when the future thermal cone lies entirely within the stabiliser polytope. By rotating into the Hamiltonian-aligned frame, we may restrict our considerations to circular cross-sections of the Bloch sphere without loss of generality, thus reducing the problem to a su...
-
[57]
Operational and thermodynamic meanings of the magic witness The magic-generation witness M(p, β) provides a sharp boundary between stabiliser and non-stabiliser states achiev- able via thermal processes, with magic generation occurring precisely when M(p, β) > 1. While this binary condition determines whether magic states can be generated, examining how t...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.