Branch selection, including postselection, is a standard method for implementing nonunitary transformations in quantum algorithms. Conventionally, states associated with unsuccessful branches are discarded and treated as useless. Here we propose a generic framework that reuses these failure branches as thermodynamic resources. The central element is an athermal bath that is naturally generated during the reset of a failure branch. By coupling this bath to a target system prior to relaxation, useful thermodynamic tasks can be performed, enabling performance beyond conventional thermodynamic limits. As an application, we analyze information erasure and derive the resulting gain analytically. We further demonstrate the framework by implementing the Harrow-Hassidim-Lloyd algorithm on IBM's superconducting quantum processor. Despite substantial noise and errors in current hardware, our method achieves erasure with heat dissipation below the Landauer limit. These results establish a practical connection between quantum computing and quantum thermodynamics and suggest a route toward reducing thermodynamic costs in future large-scale quantum computers.
Branch selection, including postselection, is a standard method for implementing nonunitary transformations in quantum algorithms. Conventionally, states associated with unsuccessful branches are discarded and treated as useless. Here we propose a generic framework that reuses these failure branches as thermodynamic resources. The central element is an athermal bath that is naturally generated during the reset of a failure branch. By coupling this bath to a target system prior to relaxation, useful thermodynamic tasks can be performed, enabling performance beyond conventional thermodynamic limits. As an application, we analyze information erasure and derive the resulting gain analytically. We further demonstrate the framework by implementing the Harrow-Hassidim-Lloyd algorithm on IBM's superconducting quantum processor. Despite substantial noise and errors in current hardware, our method achieves erasure with heat dissipation below the Landauer limit. These results establish a practical connection between quantum computing and quantum thermodynamics and suggest a route toward reducing thermodynamic costs in future large-scale quantum computers.
The standard Landauer bound W≥kBTln2 sets the fundamental thermodynamic cost for information erasure under ideal conditions: weak system-bath coupling, quasistatic operation, and equilibrium reservoirs. However, realistic quantum error correction (QEC) operates in a profoundly different regime-finite-time syndrome extraction, strong coupling to cryogenic environments, and non-equilibrium dynamics. Here, we develop a unified thermodynamic framework for fault-tolerant quantum computing that incorporates corrections beyond the ideal Landauer limit. We derive a generalized bound on the heat dissipation per QEC cycle: Qmin≥kBTln2+kBTΔISB+ℏτ, and scaling this result to large-scale quantum computers, we find that the total heat load grows polynomially with code distance but remains in the nanowatt range for million-qubit systems-well within the cooling power of modern dilution refrigerators. Applying our model to superconducting qubit architectures, we show that while strong coupling can add up to ∼20% to the ideal cost, finite-time effects contribute approximately 0.55% at 100 ns and 5.5% at 10 ns reset operations. Our results establish that the true thermodynamic cost of fault tolerance, while exceeding the naive Landauer estimate, does not pose a fundamental obstacle to scalability; the dominant engineering challenges lie in the heat load of control electronics and wiring, not in the fundamental dissipation of qubit reset.
We investigate the thermodynamic limits on scaling fault-tolerant quantum computers due to heating from quantum error correction (QEC). Quantum computers require error correction, which accounts for 99.9% of the qubit demand and generates heat through information-erasing processes. This heating increases the error rate, necessitating more rounds of error correction. We introduce a dynamical model that characterizes heat generation and dissipation for arrays of qubits weakly coupled to a refrigerator and identify a dynamical phase transition between two operational regimes: a bounded-error phase, where temperature stabilizes and error rates remain below fault-tolerance thresholds, and an unbounded-error phase, where rising temperatures drive error rates beyond sustainable levels, making fault tolerance infeasible. Applying our model to a superconducting qubit system performing Shor's algorithm to factor 2048-bit RSA integers, we find that current experimental parameters place the system in the bounded-error phase. Our results indicate that, while inherent heating can become significant, this thermodynamic constraint should not limit scalable fault tolerance if current hardware capabilities are maintained as systems scale.
Cooling techniques are essential to understand fundamental thermodynamic questions of the low-energy states of physical systems, furthermore they are at the core of practical applications of quantum information science. In quantum computing, this controlled preparation of highly pure quantum states is required from the state initialization of most quantum algorithms to a reliable supply of ancilla qubits that satisfy the fault-tolerance threshold for quantum error correction. Heat-bath algorithmic cooling has been shown to purify qubits by controlled redistribution of entropy and multiple contact with a bath, not only for ensemble implementations but also for technologies with strong but imperfect measurements. In this paper, we show that correlated relaxation processes between the system and environment during rethermalization when we reset hot ancilla qubits, can be exploited to enhance purification. We show that a long standing upper bound on the limits of algorithmic cooling Schulman et al (2005 Phys. Rev. Lett. 94 , 120501) can be broken by exploiting these correlations. We introduce a new tool for cooling algorithms, which we call 'state-reset', obtained when the coupling to the environment is generalized from individual-qubits relaxation to correlated-qubit relaxation. Furthermore, we present explicit improved cooling algorithms which lead to an increase of purity beyond all the previous work, and relate our results to the Nuclear Overhauser Effect.
The field of quantum information has inspired new methods for cooling physical systems at the quantum scale by manipulating entropy in an algorithmic way, such as heat-bath algorithmic cooling (HBAC). These methods not only provide fundamental insight into quantum thermodynamics, but they are also at the core of practical applications in quantum science and quantum technologies. Arguably, the most promising practical applications are in quantum computing, for the preparation of pure states. The ability to prepare highly pure states is required both for initializing qubits in most quantum algorithms and for supplying reliable low-noise ancilla qubits that satisfy the fault-tolerance threshold for quantum error correction (achieving the high levels of purity required represents one of the major challenges not only for ensemble implementations but also for technologies with strong but not perfect projective measurements). \n \n \nThe heat bath algorithmic cooling protocols have inspired the work within this thesis, which examines and proposes powerful new techniques that significantly enhance cooling by taking advantage of classical and quantum correlations. These new methods go beyond the limits of conventional cooling techniques, providing a novel way to cool that allows a generalized interaction of the system with the environment, which has not been taken into account in previous work. Concretely, I have contributed to elucidating our understanding of these algorithmic cooling mechanisms by using techniques from quantum information theory and quantum thermodynamics. First, I found the analytical solution of the maximum achievable cooling of these algorithmic cooling methods, which had been a longstanding problem that remained open for almost 15 years. Then, I showed how to circumvent the cooling limits of the conventional algorithmic cooling – which were widely believed to be optimal –, creating novel methods that show how correlations can be used to significantly improve cooling. On the one hand, we fundamentally changed the way previous methods considered the interactions between the system and environment and showed how correlated relaxation processes can be essential for enhancing cooling. On the other hand, we demonstrated that correlations present in the initial state due to internal interactions can be exploited to improve cooling. Finally, we showed how, by using ideas and concepts from resource theory, it is possible to find the optimal entropy compression required for HBAC by studying the n-to-1 distillation of athermality of two level systems.
We consider two bottlenecks in quantum computing: limited memory size and noise caused by heat dissipation. Trying to optimize both, we investigate ``on-the-go erasure'' of quantum registers that are no longer needed for a given algorithm: freeing up auxiliary qubits as they stop being useful would facilitate the parallelization of computations. We study the minimal thermodynamic cost of erasure in these scenarios, applying results on the Landauer erasure of entangled quantum registers. For the class of algorithms solving the Abelian hidden subgroup problem, we find optimal on-the-go erasure protocols. We conclude that there is a trade-off: if we have enough partial information about a problem to build efficient on-the-go erasure, we can use it to instead simplify the algorithm, so that fewer qubits are needed to run the computation in the first place. We provide explicit protocols for these two approaches.
The aim of quantum error correction (QEC) is to counteract the decoherence of qubits,which arises from their unavoidable interaction with the environment. In this work, westudy the lower bound of entropy production in quantum error correction, asking the cen-tral question: Is it possible to fight decoherence in a reversible way?A previous work established that ideal quantum error correction can, in principle,be performed reversibly. In this work, however, we consider fault-tolerant quantum errorcorrection, which explicitly accounts for faults occurring during the correction processitself. We show that when noise affects the circuit during the error-correcting operations,quantum error correction can no longer be reversible, because of unused correlations thatmust be dissipated at each correction cycle.This result can be better understood by drawing an analogy with Maxwell’s demon.In quantum error correction, the goal is to remove entropy from the data qubits. Ancillaryqubits are used to record the occurrence of errors (syndrome diagnosis), and this infor-mation is then employed to correct them (recovery operation). At the end of each cycle,the ancillary qubits are reset in order to start a new cycle. This is closely analogous to aMaxwell demon, which uses a memory to store information about a system, exploits thatinformation to reduce the system’s entropy, and finally resets its memory, dissipating heatinto the environment in accordance with Landauer’s principle.In this analogy, the demon’s memory corresponds to the ancillary qubits, while thesystem corresponds to the data qubits. During syndrome diagnosis, information aboutthe errors is recorded in the ancillary qubits, creating some correlations between dataand ancillary qubits. In the recovery operation, these correlations are used to correctthe errors on the data qubits and thus reduce their entropy. At the end of the cycle, theancillary qubits are reset to |0⟩, which generates a heat flow to the environment as dictatedby Landauer’s principle.For ideal quantum error correction, this process can, in principle, be performed re-versibly, thereby reaching equality in Landauer’s bound.However, when errors occur on the ancillary qubits during the QEC process (in the lan-guage of Maxwell’s demon, when faults affect the demon’s memory before the feedbackstep) these errors propagate to the data qubits, creating unwanted correlations betweendata and ancillas. Such correlations generate an additional finite heat flow to the bath,that prevents reaching equality in Landauer’s principle.