Recognition: 2 theorem links
· Lean TheoremThermodynamic Recycling of Algorithmic Failure Branches: Quantum-Computer Demonstration with Quantum Error Correction
Pith reviewed 2026-05-16 15:08 UTC · model grok-4.3
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.
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
- 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
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.
Referee Report
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)
- [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.
- [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)
- Clarify the precise definition of 'heat dissipation' used in both the derivation and the experiment, including units and any assumptions about the bath temperature.
- 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
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
-
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
-
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
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
axioms (2)
- domain assumption Thermodynamic trade-off relations dictate fundamental limits on performance through costs such as heat dissipation
- ad hoc to paper An athermal bath is naturally generated during the resetting of a failure branch
invented entities (1)
-
athermal bath from failure-branch resetting
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
By coupling this bath to a target system prior to relaxation, thermodynamic tasks can be performed beyond conventional thermodynamic limits... Q_ath(ΔS_S;T_0,ρ_ath^B)=Q_tight(ΔS_S;T_0)−G(ΔS_S;T_0,ρ_ath^B) with G=ΔE(ρ_ath^B,ρ_th^B(T_0))−∫T(s+ΔS_S)ds
-
IndisputableMonolith/Foundation/BlackBodyRadiationDeep.leanblackBodyRadiationDeepCert unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We demonstrate thermodynamic recycling on IBM’s superconducting quantum processor by using the HHL algorithm... reducing the heat dissipated in erasing syndrome information... below the Landauer limit
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
-
[1]
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 ...
work page 2000
-
[2]
A. W. Harrow, A. Hassidim, and S. Lloyd, Quantum al- gorithm for linear systems of equations, Phys. Rev. Lett. 103, 150502 (2009)
work page 2009
-
[3]
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)
work page 2019
-
[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)
work page 2021
-
[5]
S. Bravyi and A. Kitaev, Universal quantum computa- tion with ideal Clifford gates and noisy ancillas, Phys. Rev. A71, 022316 (2005)
work page 2005
-
[6]
S. Bravyi and J. Haah, Magic-state distillation with low overhead, Phys. Rev. A86, 052329 (2012)
work page 2012
-
[7]
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
-
[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
work page 1996
-
[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)
work page 2014
-
[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)
work page internal anchor Pith review Pith/arXiv arXiv 2024
-
[11]
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)
work page 2022
-
[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)
work page 2025
-
[13]
M. S. Blok and G. T. Landi, Quantum thermodynamics for quantum computing, Nat. Phys.21, 187 (2025)
work page 2025
-
[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)
work page 2020
-
[15]
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)
work page 2022
-
[16]
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]
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)
work page 2024
-
[18]
S. Simbierowicz, M. Borrelli, V. Monarkha, V. Nuuti- nen, and R. E. Lake, Inherent thermal-noise problem in addressing qubits, PRX Quantum5, 030302 (2024)
work page 2024
-
[19]
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)
work page 2019
-
[20]
M. Bilokur, S. Gopalakrishnan, and S. Majidy, Thermo- dynamic limitations on fault-tolerant quantum comput- ing, arXiv:2411.12805 (2024)
-
[21]
IBM, IBM Quantum, https://quantum.ibm.com/, ac- cessed: 2025-12-1
work page 2025
-
[22]
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)
work page 2012
- [23]
-
[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)
work page 2021
-
[25]
L. Bassman Oftelie, A. De Pasquale, and M. Campisi, Dynamic cooling on contemporary quantum computers, PRX Quantum5, 030309 (2024)
work page 2024
-
[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)
work page 2019
- [27]
- [28]
- [29]
-
[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
work page 2024
-
[31]
A. Mari and J. Eisert, Cooling by heating: very hot ther- mal light can significantly cool quantum systems, Phys. Rev. Lett.108, 120602 (2012)
work page 2012
-
[32]
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)
work page 2014
-
[33]
M. Konopik, A. Friedenberger, N. Kiesel, and E. Lutz, Nonequilibrium information erasure below kTln2, Euro- phys. Lett.131, 60004 (2020)
work page 2020
-
[34]
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)
work page 2023
-
[35]
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)
work page 2017
-
[36]
R. Landauer, Irreversibility and heat generation in the computing process, IBM Journal of Research and Devel- opment5, 183 (1961)
work page 1961
-
[37]
M. Esposito, K. Lindenberg, and C. Van den Broeck, Entropy production as correlation between system and reservoir, New J. Phys.12, 013013 (2010)
work page 2010
-
[38]
D. Reeb and M. M. Wolf, An improved Landauer princi- ple with finite-size corrections, New J. Phys.16, 103011 (2014)
work page 2014
-
[39]
A. M. Timpanaro, J. P. Santos, and G. T. Landi, Lan- dauer’s principle at zero temperature, Phys. Rev. Lett. 124, 240601 (2020)
work page 2020
-
[40]
M. A. Nielsen and I. L. Chuang,Quantum Computa- tion and Quantum Information: 10th Anniversary Edi- tion(Cambridge University Press, 2010)
work page 2010
-
[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
work page 2023
- [42]
-
[43]
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)
work page 2024
-
[44]
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)
work page 2024
-
[45]
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)
work page 2017
-
[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)
work page 2019
-
[47]
A. Solfanelli, A. Santini, and M. Campisi, Experimen- tal verification of fluctuation relations with a quantum computer, PRX Quantum2, 030353 (2021)
work page 2021
-
[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)
work page 2012
-
[49]
N. Ishida and Y. Hasegawa, Quantum-computer-based verification of quantum thermodynamic uncertainty re- lation, Phys. Rev. E.112, 034124 (2025)
work page 2025
-
[50]
N. Ishida and Y. Hasegawa, Energy inference of black- box quantum computers using quantum speed limit, arXiv:2512.15472 (2025)
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.