pith. machine review for the scientific record. sign in

arxiv: 2601.07522 · v2 · submitted 2026-01-12 · 🪐 quant-ph

Recognition: 2 theorem links

· Lean Theorem

Thermodynamic Recycling of Algorithmic Failure Branches: Quantum-Computer Demonstration with Quantum Error Correction

Authors on Pith no claims yet

Pith reviewed 2026-05-16 15:08 UTC · model grok-4.3

classification 🪐 quant-ph
keywords thermodynamic recyclingquantum error correctionLandauer limitinformation erasureHarrow-Hassidim-Lloyd algorithmquantum thermodynamicssuperconducting qubitsfailure branch reset
0
0 comments X

The pith

Quantum algorithm failure branches can be recycled as athermal baths to erase information with heat below the Landauer limit.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proposes thermodynamic recycling, a method that treats the non-equilibrium states created when resetting discarded failure branches in quantum algorithms as usable resources rather than waste. By coupling the athermal bath from such a reset to a target system before relaxation occurs, the framework performs tasks like information erasure while dissipating less heat than standard thermodynamic bounds allow. An analytic derivation shows how the recycled bath reduces the heat cost of erasure, and the approach is tested on IBM superconducting hardware by running the Harrow-Hassidim-Lloyd algorithm together with three-qubit quantum error correction to erase syndrome bits. The experiment reports erasure heat below the Landauer limit of kT ln 2 per bit even under realistic device noise. The result links routine quantum-computing operations to thermodynamic efficiency by turning algorithmic waste into a thermodynamic asset.

Core claim

Thermodynamic recycling exploits the athermal bath naturally generated when a failure branch is reset. Coupling this bath to the target system before relaxation enables information erasure with heat dissipation reduced below the conventional Landauer bound, as derived analytically and shown experimentally on a superconducting processor using the HHL algorithm plus three-qubit error correction.

What carries the argument

The athermal bath generated during reset of an algorithmic failure branch, which is coupled to the target system prior to relaxation to reduce dissipation in erasure.

If this is right

  • Heat dissipated while erasing syndrome information can be lowered analytically by recycling the bath from discarded branches.
  • Three-qubit quantum error correction can be combined with the recycling step to make the method viable on noisy hardware.
  • The operational link between algorithmic failure branches and thermodynamic tasks extends resource accounting in quantum processors.
  • Erasure of any information tied to error-correction outcomes can achieve sub-Landauer heat costs when the recycled bath is used.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same recycling step could be applied to other quantum algorithms that generate measurable failure branches, potentially lowering total energy cost per useful output.
  • If the athermal bath can be harvested repeatedly, quantum processors might treat error events as an internal energy source rather than pure overhead.
  • The framework suggests a general route to close the loop between computation and thermodynamics by converting non-equilibrium states produced inside the algorithm into work or reduced dissipation.

Load-bearing premise

The athermal bath created by resetting a failure branch can be coupled to the target system before it relaxes, without hidden thermodynamic costs or law violations.

What would settle it

A direct calorimetric or energy-balance measurement on the same HHL-plus-QEC circuit that shows the total heat released during syndrome erasure is not lower than kT ln 2 per bit.

Figures

Figures reproduced from arXiv: 2601.07522 by Nobumasa Ishida, Yoshihiko Hasegawa.

Figure 1
Figure 1. Figure 1: FIG. 1. Illustration of thermodynamic recycling. During the reset of a failure branch state after running an algorithm, the bath [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. Circuit sketch of the demonstration protocol. The [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4. Information-erasure results on ibm [PITH_FULL_IMAGE:figures/full_fig_p005_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5. Dependence of heat dissipation ∆ [PITH_FULL_IMAGE:figures/full_fig_p008_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: FIG. 6. Execution time of the circuits composed of (a) X [PITH_FULL_IMAGE:figures/full_fig_p008_6.png] view at source ↗
read the original abstract

Thermodynamic trade-off relations dictate fundamental limits on the performance of thermodynamic tasks through costs such as heat dissipation. Here, we propose a framework called thermodynamic recycling to circumvent these limits in quantum processors by exploiting failure branches of quantum algorithms, which are usually discarded. The key component is an athermal bath naturally generated during the resetting of a failure branch. By coupling this bath to a target system prior to relaxation, thermodynamic tasks can be performed beyond conventional thermodynamic limits. We apply this framework to information erasure and derive the reduction in heat dissipation analytically. As a demonstration, we implement our framework on IBM's superconducting quantum processor by combining the Harrow--Hassidim--Lloyd algorithm with three-qubit quantum error correction, thereby reducing the heat dissipated in erasing syndrome information. Despite substantial noise and errors in current hardware, our method achieves erasure with heat dissipation below the Landauer limit. This work establishes an operational connection between quantum computing and quantum thermodynamics for resource-efficient quantum computation.

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 paper proposes a 'thermodynamic recycling' framework that exploits athermal baths generated during the reset of failure branches in quantum algorithms to perform tasks such as information erasure with reduced heat dissipation. It derives an analytical reduction in heat below the Landauer limit and demonstrates the approach experimentally on IBM superconducting hardware by combining the HHL algorithm with three-qubit quantum error correction, claiming sub-Landauer erasure despite hardware noise.

Significance. If the analytical derivation is independent of heat-measurement conventions and the experimental heat accounting isolates the recycled-bath contribution without hidden offsets from QEC or reset operations, the work would establish a concrete operational link between algorithmic failure modes and thermodynamic resource savings, enabling quantum computation beyond conventional limits. The parameter-free character of the derivation (if confirmed) and the use of existing hardware for the demonstration would be notable strengths.

major comments (2)
  1. [Experimental demonstration] Abstract and experimental demonstration section: the claim that erasure is achieved with heat dissipation below the Landauer limit on noisy hardware requires explicit reporting of how total dissipated heat is measured, how contributions from syndrome extraction, correction gates, and reset operations are bounded or subtracted, and what baseline (standard erasure without recycling) is used. Without this accounting, the below-Landauer result cannot be attributed to the athermal-bath coupling mechanism rather than unaccounted noise or protocol costs.
  2. [Analytical framework] Analytical derivation: the reduction in heat dissipation is stated as derived from coupling the athermal bath prior to relaxation, but the manuscript must show that this reduction is independent of the precise definition and measurement protocol for heat (including any work costs of the coupling step itself). If the derivation relies on the ad-hoc assumption that the failure-branch reset produces a usable athermal bath with no offsetting dissipation, this must be stated as an axiom and tested against the experimental noise model.
minor comments (2)
  1. Clarify the precise definition of 'heat dissipation' used in both the derivation and the experiment, including units and any assumptions about the bath temperature.
  2. Add a short discussion of how the three-qubit QEC code interacts with the thermodynamic recycling protocol, particularly whether syndrome measurements introduce additional entropy that must be accounted for.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the constructive and detailed comments. We address each major point below and will revise the manuscript accordingly to improve clarity and rigor.

read point-by-point responses
  1. Referee: [Experimental demonstration] Abstract and experimental demonstration section: the claim that erasure is achieved with heat dissipation below the Landauer limit on noisy hardware requires explicit reporting of how total dissipated heat is measured, how contributions from syndrome extraction, correction gates, and reset operations are bounded or subtracted, and what baseline (standard erasure without recycling) is used. Without this accounting, the below-Landauer result cannot be attributed to the athermal-bath coupling mechanism rather than unaccounted noise or protocol costs.

    Authors: We agree that explicit heat accounting is required to substantiate the claim. In the revised manuscript we will add a dedicated subsection in the experimental demonstration that reports: (i) the precise protocol used to extract total dissipated heat from the IBM hardware (including calibration of qubit energies and readout), (ii) quantitative bounds on the heat contributions from syndrome extraction, correction gates, and reset operations obtained from separate calibration runs and the device noise model, and (iii) a direct side-by-side comparison with the baseline protocol of standard erasure performed without coupling to the recycled athermal bath. These additions will isolate the contribution of the recycling mechanism. revision: yes

  2. Referee: [Analytical framework] Analytical derivation: the reduction in heat dissipation is stated as derived from coupling the athermal bath prior to relaxation, but the manuscript must show that this reduction is independent of the precise definition and measurement protocol for heat (including any work costs of the coupling step itself). If the derivation relies on the ad-hoc assumption that the failure-branch reset produces a usable athermal bath with no offsetting dissipation, this must be stated as an axiom and tested against the experimental noise model.

    Authors: The derivation employs the standard quantum-thermodynamic definitions of heat (energy exchange with the bath) and work. We will revise the analytical section to prove explicitly that the reported reduction holds under both the Clausius and stochastic-thermodynamic conventions, including the work cost of the coupling operation. We will also state the assumption that the failure-branch reset generates a usable athermal bath as an explicit axiom and compare its validity against the measured noise model of the IBM superconducting processor used in the experiment. revision: yes

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper proposes thermodynamic recycling by using failure-branch resets to generate an athermal bath, then analytically derives a reduction in heat dissipation for erasure and demonstrates it experimentally via HHL plus three-qubit QEC on superconducting hardware. The central analytical step is presented as a first-principles consequence of coupling the athermal bath prior to relaxation, without reducing to a fitted parameter, self-citation chain, or redefinition of the target quantity. No load-bearing step equates the claimed sub-Landauer savings to the input definitions or to costs internal to the recycling protocol itself; the experimental claim is framed as an observed outcome amid noise rather than a forced identity. The derivation therefore remains self-contained against external thermodynamic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The framework rests on the existence of an athermal bath generated by failure-branch resetting and on standard thermodynamic trade-off relations; no free parameters or invented entities with independent evidence are detailed in the abstract.

axioms (2)
  • domain assumption Thermodynamic trade-off relations dictate fundamental limits on performance through costs such as heat dissipation
    Invoked in the opening sentence as the limits to be circumvented.
  • ad hoc to paper An athermal bath is naturally generated during the resetting of a failure branch
    Presented as the key component enabling the recycling.
invented entities (1)
  • athermal bath from failure-branch resetting no independent evidence
    purpose: To serve as a resource for performing thermodynamic tasks beyond conventional limits when coupled to a target system
    Introduced as the central new resource; no independent falsifiable prediction outside the framework is given in the abstract

pith-pipeline@v0.9.0 · 5467 in / 1458 out tokens · 31591 ms · 2026-05-16T15:08:37.205851+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

50 extracted references · 50 canonical work pages · 1 internal anchor

  1. [1]

    gate-time amplification

    Using the fact that the initial entropy is given by S(ρS) +S(ρ ath B ) and that the von Neumann entropy is invariant under unitary evolution, we have ∆SB ≥∆S S, where ∆SB =S(ρ ′ B)−S(ρ ath B ) is the change in the bath entropy. Therefore, to erase an entropy ∆S S from the system, the bath entropy must increase by at least ∆S S. We consider the case where ...

  2. [2]

    A. W. Harrow, A. Hassidim, and S. Lloyd, Quantum al- gorithm for linear systems of equations, Phys. Rev. Lett. 103, 150502 (2009)

  3. [3]

    Gily´ en, Y

    A. Gily´ en, Y. Su, G. H. Low, and N. Wiebe, Quantum singular value transformation and beyond: exponential improvements for quantum matrix arithmetics, inPro- ceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing(ACM, New York, NY, USA, 2019)

  4. [4]

    J. M. Martyn, Z. M. Rossi, A. K. Tan, and I. L. Chuang, 9 Grand unification of quantum algorithms, PRX Quan- tum2, 040203 (2021)

  5. [5]

    Bravyi and A

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

  6. [6]

    Bravyi and J

    S. Bravyi and J. Haah, Magic-state distillation with low overhead, Phys. Rev. A86, 052329 (2012)

  7. [7]

    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)

  8. [8]

    L. K. Grover, A fast quantum mechanical algorithm for database search, inProceedings of the twenty-eighth an- nual ACM symposium on Theory of computing - STOC ’96(ACM Press, New York, New York, USA, 1996) p. 212

  9. [9]

    D. W. Berry, A. M. Childs, R. Cleve, R. Kothari, and R. D. Somma, Exponential improvement in precision for simulating sparse Hamiltonians, inProceedings of the forty-sixth annual ACM symposium on Theory of com- puting(ACM, New York, NY, USA, 2014)

  10. [10]

    Magic state cultivation: growing T states as cheap as CNOT gates

    C. Gidney, N. Shutty, and C. Jones, Magic state cul- tivation: growing T states as cheap as CNOT gates, arXiv:2409.17595 (2024)

  11. [11]

    Buffoni, S

    L. Buffoni, S. Gherardini, E. Zambrini Cruzeiro, and Y. Omar, Third Law of Thermodynamics and the Scaling of Quantum Computers, Phys. Rev. Lett.129, 150602 (2022)

  12. [12]

    M. A. Aamir, P. Jamet Suria, J. A. Mar´ ın Guzm´ an, C. Castillo-Moreno, J. M. Epstein, N. Yunger Halpern, and S. Gasparinetti, Thermally driven quantum refriger- ator autonomously resets a superconducting qubit, Nat. Phys.21, 318 (2025)

  13. [13]

    M. S. Blok and G. T. Landi, Quantum thermodynamics for quantum computing, Nat. Phys.21, 187 (2025)

  14. [14]

    G. T. Landi, A. L. Fonseca de Oliveira, and E. Buksman, Thermodynamic analysis of quantum error-correcting en- gines, Phys. Rev. A101, 042106 (2020)

  15. [15]

    Danageozian, M

    A. Danageozian, M. M. Wilde, and F. Buscemi, Thermo- dynamic Constraints on Quantum Information Gain and Error Correction: A Triple Trade-Off, PRX Quantum3, 020318 (2022)

  16. [16]

    Campbell, I

    S. Campbell, I. D’Amico, M. A. Ciampini, J. Anders, N. Ares, S. Artini, A. Auff` eves, L. B. Oftelie, L. P. Bettmann, M. V. S. Bonan¸ ca, T. Busch, M. Campisi, M. F. Cavalcante, L. A. Correa, E. Cuestas, C. B. Dag, S. Dago, S. Deffner, A. del Campo, A. Deutschmann- Olek, S. Donadi, E. Doucet, C. Elouard, K. Ensslin, P. Erker, N. Fabbri, F. Fedele, G. Fius...

  17. [17]

    ´Smierzchalski, Z

    T. ´Smierzchalski, Z. Mzaouali, S. Deffner, and B. Gar- das, Efficiency optimization in quantum computing: bal- ancing thermodynamics and computational performance, Sci. Rep.14, 4555 (2024)

  18. [18]

    Simbierowicz, M

    S. Simbierowicz, M. Borrelli, V. Monarkha, V. Nuuti- nen, and R. E. Lake, Inherent thermal-noise problem in addressing qubits, PRX Quantum5, 030302 (2024)

  19. [19]

    Krinner, S

    S. Krinner, S. Storz, P. Kurpiers, P. Magnard, J. Hein- soo, R. Keller, J. L¨ utolf, C. Eichler, and A. Wallraff, Engineering cryogenic setups for 100-qubit scale super- conducting circuit systems, EPJ Quantum Technol.6, 2 (2019)

  20. [20]

    Bilokur, S

    M. Bilokur, S. Gopalakrishnan, and S. Majidy, Thermo- dynamic limitations on fault-tolerant quantum comput- ing, arXiv:2411.12805 (2024)

  21. [21]

    IBM, IBM Quantum, https://quantum.ibm.com/, ac- cessed: 2025-12-1

  22. [22]

    Rist` e, C

    D. Rist` e, C. C. Bultink, K. W. Lehnert, and L. DiCarlo, Feedback control of a solid-state qubit using high-fidelity projective measurement, Phys. Rev. Lett.109, 240502 (2012)

  23. [23]

    Krantz, M

    P. Krantz, M. Kjaergaard, F. Yan, T. P. Orlando, S. Gus- tavsson, and W. D. Oliver, A quantum engineer’s guide to superconducting qubits, Appl. Phys. Rev.6, 021318 (2019)

  24. [24]

    Y. Zhou, Z. Zhang, Z. Yin, S. Huai, X. Gu, X. Xu, J. Allcock, F. Liu, G. Xi, Q. Yu, H. Zhang, M. Zhang, H. Li, X. Song, Z. Wang, D. Zheng, S. An, Y. Zheng, and S. Zhang, Rapid and unconditional parametric reset pro- tocol for tunable superconducting qubits, Nat. Commun. 12, 5924 (2021)

  25. [25]

    Bassman Oftelie, A

    L. Bassman Oftelie, A. De Pasquale, and M. Campisi, Dynamic cooling on contemporary quantum computers, PRX Quantum5, 030309 (2024)

  26. [26]

    P. Das, S. S. Tannu, P. J. Nair, and M. Qureshi, A Case for Multi-Programming Quantum Computers, inPro- ceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture(ACM, New York, NY, USA, 2019)

  27. [27]

    Dou and L

    X. Dou and L. Liu, A new qubits mapping mechanism for multi-programming quantum computing, inProceedings of the ACM International Conference on Parallel Archi- tectures and Compilation Techniques(ACM, New York, NY, USA, 2020)

  28. [28]

    Niu and A

    S. Niu and A. Todri-Sanial, Enabling multi-programming mechanism for quantum computing in the NISQ era, Quantum7, 925 (2023)

  29. [29]

    Niu and A

    S. Niu and A. Todri-Sanial, Multi-programming cross platform benchmarking for quantum computing hard- ware, arXiv:2206.03144 (2022)

  30. [30]

    Accelerate quantum programs with paral- lel execution! Now available via the quan- tum computer cloud service of The Univer- sity of Osaka (in Japanese), https://resou.osaka- u.ac.jp/ja/research/2024/20241015 2, accessed: 2026-1- 12

  31. [31]

    Mari and J

    A. Mari and J. Eisert, Cooling by heating: very hot ther- mal light can significantly cool quantum systems, Phys. Rev. Lett.108, 120602 (2012)

  32. [32]

    Roßnagel, O

    J. Roßnagel, O. Abah, F. Schmidt-Kaler, K. Singer, and E. Lutz, Nanoscale heat engine beyond the Carnot limit, Phys. Rev. Lett.112, 030602 (2014)

  33. [33]

    Konopik, A

    M. Konopik, A. Friedenberger, N. Kiesel, and E. Lutz, Nonequilibrium information erasure below kTln2, Euro- phys. Lett.131, 60004 (2020)

  34. [34]

    Zhang, Z.-X

    Q. Zhang, Z.-X. Man, Y.-J. Zhang, W.-B. Yan, and Y.-J. Xia, Quantum thermodynamics in nonequilibrium reser- 10 voirs: Landauer-like bound and its implications, Phys. Rev. A107, 042202 (2023)

  35. [35]

    Campbell, G

    S. Campbell, G. Guarnieri, M. Paternostro, and B. Vac- chini, Nonequilibrium quantum bounds to Landauer’s principle: Tightness and effectiveness, Phys. Rev. A96, 042109 (2017)

  36. [36]

    Landauer, Irreversibility and heat generation in the computing process, IBM Journal of Research and Devel- opment5, 183 (1961)

    R. Landauer, Irreversibility and heat generation in the computing process, IBM Journal of Research and Devel- opment5, 183 (1961)

  37. [37]

    Esposito, K

    M. Esposito, K. Lindenberg, and C. Van den Broeck, Entropy production as correlation between system and reservoir, New J. Phys.12, 013013 (2010)

  38. [38]

    Reeb and M

    D. Reeb and M. M. Wolf, An improved Landauer princi- ple with finite-size corrections, New J. Phys.16, 103011 (2014)

  39. [39]

    A. M. Timpanaro, J. P. Santos, and G. T. Landi, Lan- dauer’s principle at zero temperature, Phys. Rev. Lett. 124, 240601 (2020)

  40. [40]

    M. A. Nielsen and I. L. Chuang,Quantum Computa- tion and Quantum Information: 10th Anniversary Edi- tion(Cambridge University Press, 2010)

  41. [41]

    IBM, IBM debuts next-generation quantum pro- cessor & IBM Quantum System Two, extends roadmap to advance era of quantum utility, https://newsroom.ibm.com/2023-12-04-IBM-Debuts- Next-Generation-Quantum-Processor-IBM-Quantum- System-Two,-Extends-Roadmap-to-Advance-Era-of- Quantum-Utility, accessed: 2015-12-1

  42. [42]

    D. C. McKay, I. Hincks, E. J. Pritchett, M. Carroll, L. C. G. Govia, and S. T. Merkel, Benchmarking quan- tum processor performance at scale, arXiv:2311.05933 (2023)

  43. [43]

    B¨ aumer, V

    E. B¨ aumer, V. Tripathi, D. S. Wang, P. Rall, E. H. Chen, S. Majumder, A. Seif, and Z. K. Minev, Efficient long- range entanglement using dynamic circuits, PRX Quan- tum5, 030339 (2024)

  44. [44]

    B¨ aumer, V

    E. B¨ aumer, V. Tripathi, A. Seif, D. Lidar, and D. S. Wang, Quantum Fourier transform using dynamic cir- cuits, Phys. Rev. Lett.133, 150602 (2024)

  45. [45]

    Zheng, C

    Y. Zheng, C. Song, M.-C. Chen, B. Xia, W. Liu, Q. Guo, L. Zhang, D. Xu, H. Deng, K. Huang, Y. Wu, Z. Yan, D. Zheng, L. Lu, J.-W. Pan, H. Wang, C.-Y. Lu, and X. Zhu, Solving systems of linear equations with a su- perconducting quantum processor, Phys. Rev. Lett.118, 210504 (2017)

  46. [46]

    Y. Lee, J. Joo, and S. Lee, Hybrid quantum linear equa- tion algorithm and its experimental test on IBM Quan- tum Experience, Sci. Rep.9, 4778 (2019)

  47. [47]

    Solfanelli, A

    A. Solfanelli, A. Santini, and M. Campisi, Experimen- tal verification of fluctuation relations with a quantum computer, PRX Quantum2, 030353 (2021)

  48. [48]

    J. A. Smolin, J. M. Gambetta, and G. Smith, Efficient method for computing the maximum-likelihood quantum state from measurements with additive Gaussian noise, Phys. Rev. Lett.108, 070502 (2012)

  49. [49]

    Ishida and Y

    N. Ishida and Y. Hasegawa, Quantum-computer-based verification of quantum thermodynamic uncertainty re- lation, Phys. Rev. E.112, 034124 (2025)

  50. [50]

    Ishida and Y

    N. Ishida and Y. Hasegawa, Energy inference of black- box quantum computers using quantum speed limit, arXiv:2512.15472 (2025)