Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1210.4394 · Scientific Reports

No-go theorem for ground state cooling given initial system-thermal bath factorization

Lian-Ao Wu, Dvira Segal, Paul W. Brumer

Published May 10, 2013• 41 citations
arXivHTMLPDF

Abstract

Ground-state cooling and pure state preparation of a small object that is embedded in a thermal environment is an important challenge and a highly desirable quantum technology. This paper proves, with two different methods, that a fundamental constraint on the cooling dynamic implies that it is impossible to cool, via a unitary system-bath quantum evolution, a system that is embedded in a thermal environment down to its ground state, if the initial state is a factorized product of system and bath states. The latter is a crucial but artificial assumption included in numerous tools that treat system-bath dynamics, such as master equation approaches and Kraus operator based methods. Adopting these approaches to address ground state and even approximate ground state cooling dynamics should therefore be done with caution, considering the fundamental theorem exposed in this work.

DOI
10.1038/srep01824

Related papers

Fundamental Limitation on Cooling under Classical Noise

Jun Jing, Ravindra W. Chhajlany, Lian-Ao Wu

We prove a general theorem that the action of arbitrary classical noise or random unitary channels can not increase the maximum population of any eigenstate of an open quantum system, assuming initial system-environment factorization. Such factorization is the conventional starting point for descriptions of open system dynamics. In particular, our theorem implies that a system can not be ideally cooled down unless it is initially prepared as a pure state. The resultant inequality rigorously constrains the possibility of cooling the system solely through temporal manipulation, i.e., dynamical control over the system Hamiltonian without resorting to measurement based cooling methods. It is a substantial generalization of the no-go theorem claiming that the exact ground state cooling is forbidden given initial system-thermal bath factorization, while here we prove even cooling is impossible under classical noise.

arXiv:1609.02224•Scientific Reports•Mar 8, 2017•3 citations

Beyond Lindblad Approximation: Rigorous Guarantees for Thermal and Ground State Preservation under System-Bath Interactions

Ke Wang, Zhiyan Ding

We establish rigorous guarantees for quantum thermal and ground state preparation via system-bath interactions beyond the Lindblad approximation regime. In contrast to existing analyses, we show that the system-bath coupling strength need not vanish with the target accuracy: even when the coupling strength is chosen independently of the desired precision, the induced quantum channel admits the target thermal and ground states as approximate fixed points with arbitrarily small error. Our analysis develops new techniques to control all orders of the Dyson expansion and the associated multidimensional operator Fourier transforms, thereby going beyond the leading-order Lindbladian description. Building on these estimates, we derive an improved end-to-end complexity analysis and provide rigorous guarantees for thermalization and cooling outside the conventional Lindblad approximation regime. Numerical simulations further demonstrate the robustness of the system-bath interaction framework over a broad range of coupling strengths, including regimes where the Lindblad approximation is no longer accurate.

quant-pharXiv:2512.03457•Dec 4, 2025•0 citations

Quantum resources for purification and cooling: fundamental limits and opportunities

Francesco Ticozzi, Lorenza Viola

Preparing a quantum system in a pure state is ultimately limited by the nature of the system's evolution in the presence of its environment and by the initial state of the environment itself. We show that, when the system and environment are initially uncorrelated and arbitrary joint unitary dynamics is allowed, the system may be purified up to a certain (possibly arbitrarily small) threshold if and only if its environment, either natural or engineered, contains a "virtual subsystem" which has the same dimension and is in a state with the desired purity. Beside providing a unified understanding of quantum purification dynamics in terms of a "generalized swap process," our results shed light on the significance of a no-go theorem for exact ground-state cooling, as well as on the quantum resources needed for achieving an intended purification task.

arXiv:1403.8143•Scientific Reports•Jun 5, 2014•49 citations

Novel Heat-Bath Algorithmic Cooling methods

Nayeli A. Rodríguez-Briones

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.

•Aug 20, 2020•2 citations

Bath-assisted cooling without resets

Xie-Hang Yu, Zherui Chen, Lin Lin

Cooling an arbitrary mixed state to a pure ground state requires transferring its entropy to an environment. Can a single coherent bath contact accomplish this without repeated bath resets? We develop a new cooling mechanism that transfers the input information into bath degrees of freedom that subsequently decouple, while the system and the remaining bath follow a ground-state path. The bath is discarded only at the end, and the system Hamiltonian remains on and unmodified throughout. We rigorously realize this mechanism for a class of weakly interacting, gapped fermionic systems with local interactions. Starting from any mixed state, our protocol prepares the interacting ground state in total physical time polylogarithmic in the system size and inverse global trace-norm error. It uses two initially empty bath modes per system mode and a single pulse shared across all onsite system--bath couplings. The same pulse prepares each admissible system's own ground state without knowledge of its microscopic parameters. The guarantees follow directly from a non-Markovian system--bath dynamics without an effective Lindbladian description.

quant-pharXiv:2609.40328•Oct 1, 2026•0 citations

No-go theorem behind the limit of the heat-bath algorithmic cooling

Sadegh Raeisi

Algorithmic cooling techniques provide tools to increase the purity of quantum states. It is known that the cooling with these techniques is limited. However, the physical root of the limit is still unclear. Here we show that the unitarity of the compression operation imposes the cooling limit of heat-bath algorithmic cooling. Specifically, we prove that the unitarity of the compression operation does not allow increasing the purity beyond the maximum of the individual purities. We formalize the limitations imposed by the unitarity of the compression operation in two theorems. We then introduce an optimal cooling technique and show that without the limitations of the unitary operations the cooling technique would exceed the limit of heat-bath algorithmic cooling. We also show that the limitations of unitarity lead to the exact cooling limit of algorithmic cooling. This work opens up new avenues to understanding the limits of dynamic cooling.

Physical Review A•Jun 28, 2021•8 citations
Ground-state cooling and pure state preparation of a small object that is embedded in a thermal environment is an important challenge and a highly desirable quantum technology. This paper proves, with two different methods, that a fundamental constraint on the cooling dynamic implies that it is impossible to cool, via a unitary system-bath quantum evolution, a system that is embedded in a thermal environment down to its ground state, if the initial state is a factorized product of system and bath states. The latter is a crucial but artificial assumption included in numerous tools that treat system-bath dynamics, such as master equation approaches and Kraus operator based methods. Adopting these approaches to address ground state and even approximate ground state cooling dynamics should therefore be done with caution, considering the fundamental theorem exposed in this work.
We prove a general theorem that the action of arbitrary classical noise or random unitary channels can not increase the maximum population of any eigenstate of an open quantum system, assuming initial system-environment factorization. Such factorization is the conventional starting point for descriptions of open system dynamics. In particular, our theorem implies that a system can not be ideally cooled down unless it is initially prepared as a pure state. The resultant inequality rigorously constrains the possibility of cooling the system solely through temporal manipulation, i.e., dynamical control over the system Hamiltonian without resorting to measurement based cooling methods. It is a substantial generalization of the no-go theorem claiming that the exact ground state cooling is forbidden given initial system-thermal bath factorization, while here we prove even cooling is impossible under classical noise.
We establish rigorous guarantees for quantum thermal and ground state preparation via system-bath interactions beyond the Lindblad approximation regime. In contrast to existing analyses, we show that the system-bath coupling strength need not vanish with the target accuracy: even when the coupling strength is chosen independently of the desired precision, the induced quantum channel admits the target thermal and ground states as approximate fixed points with arbitrarily small error. Our analysis develops new techniques to control all orders of the Dyson expansion and the associated multidimensional operator Fourier transforms, thereby going beyond the leading-order Lindbladian description. Building on these estimates, we derive an improved end-to-end complexity analysis and provide rigorous guarantees for thermalization and cooling outside the conventional Lindblad approximation regime. Numerical simulations further demonstrate the robustness of the system-bath interaction framework over a broad range of coupling strengths, including regimes where the Lindblad approximation is no longer accurate.
Preparing a quantum system in a pure state is ultimately limited by the nature of the system's evolution in the presence of its environment and by the initial state of the environment itself. We show that, when the system and environment are initially uncorrelated and arbitrary joint unitary dynamics is allowed, the system may be purified up to a certain (possibly arbitrarily small) threshold if and only if its environment, either natural or engineered, contains a "virtual subsystem" which has the same dimension and is in a state with the desired purity. Beside providing a unified understanding of quantum purification dynamics in terms of a "generalized swap process," our results shed light on the significance of a no-go theorem for exact ground-state cooling, as well as on the quantum resources needed for achieving an intended purification task.
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.
Cooling an arbitrary mixed state to a pure ground state requires transferring its entropy to an environment. Can a single coherent bath contact accomplish this without repeated bath resets? We develop a new cooling mechanism that transfers the input information into bath degrees of freedom that subsequently decouple, while the system and the remaining bath follow a ground-state path. The bath is discarded only at the end, and the system Hamiltonian remains on and unmodified throughout. We rigorously realize this mechanism for a class of weakly interacting, gapped fermionic systems with local interactions. Starting from any mixed state, our protocol prepares the interacting ground state in total physical time polylogarithmic in the system size and inverse global trace-norm error. It uses two initially empty bath modes per system mode and a single pulse shared across all onsite system--bath couplings. The same pulse prepares each admissible system's own ground state without knowledge of its microscopic parameters. The guarantees follow directly from a non-Markovian system--bath dynamics without an effective Lindbladian description.
Algorithmic cooling techniques provide tools to increase the purity of quantum states. It is known that the cooling with these techniques is limited. However, the physical root of the limit is still unclear. Here we show that the unitarity of the compression operation imposes the cooling limit of heat-bath algorithmic cooling. Specifically, we prove that the unitarity of the compression operation does not allow increasing the purity beyond the maximum of the individual purities. We formalize the limitations imposed by the unitarity of the compression operation in two theorems. We then introduce an optimal cooling technique and show that without the limitations of the unitary operations the cooling technique would exceed the limit of heat-bath algorithmic cooling. We also show that the limitations of unitarity lead to the exact cooling limit of algorithmic cooling. This work opens up new avenues to understanding the limits of dynamic cooling.