pith. sign in

arxiv: 2511.13839 · v2 · submitted 2025-11-17 · 🪐 quant-ph

Trading athermality for nonstabiliserness

Pith reviewed 2026-05-17 21:19 UTC · model grok-4.3

classification 🪐 quant-ph
keywords nonstabilisernessthermal operationsstabilizer statesquantum thermodynamicsresource theoryqubit statesnonequilibrium free energy
0
0 comments X

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.

This paper investigates whether nonstabiliserness, a property required for quantum computational advantage, can arise when an initial stabilizer state is placed in contact with a heat bath. Under minimal thermodynamic assumptions, it derives a necessary and sufficient condition for when such thermal processes succeed in creating nonstabiliserness. For qubits the work supplies an analytic characterization of every reachable nonstabiliser state together with explicit upper bounds on the nonstabiliserness that can be obtained. Optimal Hamiltonians and the critical temperatures at which nonstabiliserness first appears are identified. For systems of any dimension a general trade-off is shown between the nonstabiliserness that thermal operations can produce and the initial nonequilibrium free energy of the system.

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

Figures reproduced from arXiv: 2511.13839 by A. de Oliveira Junior, Jakub Czartowski, Jonatan Bohr Brask, Rafael A. Macedo, Rafael Chaves.

Figure 1
Figure 1. Figure 1: FIG. 1 [PITH_FULL_IMAGE:figures/full_fig_p001_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2 [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4 [PITH_FULL_IMAGE:figures/full_fig_p004_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5 [PITH_FULL_IMAGE:figures/full_fig_p008_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: FIG. 6 [PITH_FULL_IMAGE:figures/full_fig_p009_6.png] view at source ↗
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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

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)
  1. [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.
  2. [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)
  1. Define the nonstabiliserness measure (or measures) employed and state whether the bounds are independent of the choice of measure.
  2. Number all displayed equations and ensure every equation referenced in the text carries an explicit label.

Simulated Author's Rebuttal

2 responses · 0 unresolved

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
  1. 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

  2. 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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

The work relies on standard concepts from quantum thermodynamics and resource theory but introduces no new free parameters, invented entities, or ad-hoc axioms beyond the stated minimal thermodynamic assumptions.

axioms (1)
  • domain assumption Minimal thermodynamic assumptions
    Invoked in the abstract to derive the necessary and sufficient condition for nonstabiliserness generation under thermal processes.

pith-pipeline@v0.9.0 · 5455 in / 1213 out tokens · 45101 ms · 2026-05-17T21:19:16.082859+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Quantum speed limit for measurement probabilities

    quant-ph 2026-04 unverdicted novelty 7.0

    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.

  2. Every Little Thing Heat Does Is Magic

    quant-ph 2026-04 unverdicted novelty 7.0

    Energy and heat measurements provide witnesses that certify quantum magic without full state tomography.

Reference graph

Works this paper leans on

57 extracted references · 57 canonical work pages · cited by 2 Pith papers · 1 internal anchor

  1. [1]

    Gottesman, Stabilizer codes and quantum error cor- rection, arXiv:9705052 (1997)

    D. Gottesman, Stabilizer codes and quantum error cor- rection, arXiv:9705052 (1997)

  2. [2]

    Aharonov and M

    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

  3. [3]

    Gottesman, The heisenberg representation of quan- tum computers, arXiv:9807006 (1998)

    D. Gottesman, The heisenberg representation of quan- tum computers, arXiv:9807006 (1998)

  4. [4]

    Aaronson and D

    S. Aaronson and D. Gottesman, Improved simulation of stabilizer circuits, Phys. Rev. A 70, 052328 (2004)

  5. [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)

  6. [6]

    Shor, Fault-tolerant quantum computation, in Pro- ceedings of 37th Conference on Foundations of Computer Science (1996) pp

    P. Shor, Fault-tolerant quantum computation, in Pro- ceedings of 37th Conference on Foundations of Computer Science (1996) pp. 56–65

  7. [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)

  8. [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)

  9. [9]

    Raussendorf and J

    R. Raussendorf and J. Harrington, Fault-tolerant quan- tum computation with high threshold in two dimensions, Phys. Rev. Lett. 98, 190504 (2007)

  10. [10]

    Veitch, S

    V. Veitch, S. H. Mousavian, D. Gottesman, and J. Emer- son, The resource theory of stabilizer quantum computa- tion, New Journal of Physics 16, 013009 (2014)

  11. [11]

    Howard and E

    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)

  12. [12]

    Chitambar and G

    E. Chitambar and G. Gour, Quantum resource theories, Rev. Mod. Phys. 91, 025001 (2019)

  13. [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)

  14. [14]

    Bakshi, A

    A. Bakshi, A. Liu, A. Moitra, and E. Tang, High- temperature gibbs states are unentangled and efficiently preparable, in 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS) (IEEE, 2024) pp. 1027–1036

  15. [15]

    Mukhopadhyay, Generating steady quantum coher- ence and magic through an autonomous thermodynamic machine by utilizing a spin bath, Phys

    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)

  16. [16]

    Koukoulekidis and D

    N. Koukoulekidis and D. Jennings, Constraints on magic 6 state protocols from the statistical mechanics of wigner negativity, npj Quantum Information 8 (2022)

  17. [17]

    de Oliveira Junior, J

    A. de Oliveira Junior, J. Son, J. Czartowski, and N. H. Y. Ng, Entanglement generation from athermality, Phys. Rev. Res. 6, 033236 (2024)

  18. [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)

  19. [19]

    Lostaglio, D

    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)

  20. [20]

    Lostaglio, K

    M. Lostaglio, K. Korzekwa, D. Jennings, and T. Rudolph, Quantum coherence, time-translation symmetry, and thermodynamics, Phys. Rev. X 5, 021001 (2015)

  21. [21]

    Ćwikliński, M

    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)

  22. [22]

    Marvian, Coherence distillation machines are impos- sible in quantum thermodynamics, Nature Communica- tions 11 (2020)

    I. Marvian, Coherence distillation machines are impos- sible in quantum thermodynamics, Nature Communica- tions 11 (2020)

  23. [23]

    Takagi and H

    R. Takagi and H. Tajima, Universal limitations on im- plementing resourceful unitary evolutions, Phys. Rev. A 101, 022315 (2020)

  24. [24]

    Takagi and N

    R. Takagi and N. Shiraishi, Correlation in catalysts enables arbitrary manipulation of quantum coherence, Phys. Rev. Lett. 128, 240501 (2022)

  25. [25]

    Veitch, C

    V. Veitch, C. Ferrie, D. Gross, and J. Emerson, Negative quasi-probability as a resource for quantum computation, New Journal of Physics 14, 113011 (2012)

  26. [26]

    Heinrich and D

    M. Heinrich and D. Gross, Robustness of magic and symmetries of the stabiliser polytope, Quantum 3, 132 (2019)

  27. [27]

    Janzing, P

    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)

  28. [28]

    Horodecki and J

    M. Horodecki and J. Oppenheim, Fundamental limita- tions for quantum and nanoscale thermodynamics, Nat. Commun. 4, 2059 (2013)

  29. [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)

  30. [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)

  31. [31]

    de Oliveira Junior, J

    A. de Oliveira Junior, J. Czartowski, K. Życzkowski, and K. Korzekwa, Geometric structure of thermal cones, Phys. Rev. E 106, 064109 (2022)

  32. [32]

    vom Ende and G

    F. vom Ende and G. Dirr, The d-majorization polytope, Linear Algebra Its Appl. 649, 152–185 (2022)

  33. [33]

    Bravyi and A

    S. Bravyi and A. Kitaev, Universal quantum computa- tion with ideal clifford gates and noisy ancillas, Phys. Rev. A 71, 022316 (2005)

  34. [34]

    Datta, T

    C. Datta, T. V. Kondra, M. Miller, and A. Streltsov, Catalysis of entanglement and other quantum resources, Rep. Prog. Phys. 86, 116002 (2023)

  35. [35]

    Lipka-Bartosik, H

    P. Lipka-Bartosik, H. Wilming, and N. H. Y. Ng, Cataly- sis in quantum information theory, Rev. Mod. Phys. 96, 025005 (2024)

  36. [36]

    Czartowski, A

    J. Czartowski, A. de Oliveira Junior, and K. Korzekwa, Thermal recall: Memory-assisted markovian thermal processes, PRX Quantum 4, 040304 (2023)

  37. [37]

    Son and N

    J. Son and N. H. Y. Ng, Catalysis in action via elemen- tary thermal operations, New J. Phys. 26, 033029 (2024)

  38. [38]

    Son and N

    J. Son and N. H. Y. Ng, A hierarchy of thermal pro- cesses collapses under catalysis, Quantum Sci. Technol. 10, 015011 (2024)

  39. [39]

    Czartowski and A

    J. Czartowski and A. de Oliveira Junior, Catalytic trans- formations for thermal operations, Phys. Rev. Res. 6, 033203 (2024)

  40. [40]

    R. A. Macedo, P. Andriolo, S. Zamora, D. Poderini, and R. Chaves, Witnessing magic with bell inequalities, arXiv:2503.18734 (2025)

  41. [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)

  42. [42]

    Zamora, R

    S. Zamora, R. A. Macêdo, T. S. Sarubi, M. Alves, D. Poderini, and R. Chaves, Semi-device-independent nonstabilizerness certification in the prepare-and- measure scenario, Phys. Rev. A 112, 042410 (2025)

  43. [43]

    de Oliveira Junior, J

    A. de Oliveira Junior, J. B. Brask, and P. Lipka-Bartosik, Heat as a witness of quantum properties, Phys. Rev. Lett. 134, 050401 (2025)

  44. [44]

    L. M. K. Vandersypen and I. L. Chuang, Nmr techniques for quantum control and computation, Rev. Mod. Phys. 76, 1037 (2005)

  45. [45]

    Blais, A

    A. Blais, A. L. Grimsmo, S. M. Girvin, and A. Wallraff, Circuit quantum electrodynamics, Rev. Mod. Phys. 93, 025005 (2021)

  46. [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)

  47. [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)

  48. [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)

  49. [49]

    Cottet, S

    N. Cottet, S. Jezouin, L. Bretheau, P. Campagne-Ibarcq, Q. Ficheux, J. Anders, A. Auffèves, R. Azouit, P. Rou- chon, and B. Huard, Observing a quantum maxwell de- mon at work, Proc. Natl. Acad. Sci. U.S.A. 114, 7561 (2017)

  50. [50]

    Micadei, J

    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)

  51. [51]

    M. A. Nielsen and I. L. Chuang, Quantum computation and quantum information (Cambridge university press, 2010)

  52. [52]

    Lostaglio, A

    M. Lostaglio, A. M. Alhambra, and C. Perry, Elementary thermal operations, Quantum 2, 52 (2018)

  53. [53]

    Shiraishi and R

    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. [54]

    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

    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. [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. [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. [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...