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:1403.8143 · Scientific Reports

Quantum resources for purification and cooling: fundamental limits and opportunities

Francesco Ticozzi, Lorenza Viola

Published Jun 5, 2014• 49 citations
arXivHTMLPDF

Abstract

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.

DOI
10.1038/srep05192

Related papers

Universal quantum state purification under energy-preserving constraints

Xing-Chen Guo, Benchi Zhao, Xin Wang

Pure quantum states are a fundamental resource for quantum information processing, but unavoidable noise degrades their purity and limits the performance of quantum tasks. Quantum state purification attempts to restore purity by jointly processing several noisy copies of an unknown state, typically in a probabilistic way. Whether purification is possible, and how much it can achieve, depends strongly on the set of operations that are physically allowed. In this work, we study universal purification under \textit{energy-preserving operations}, which cannot exchange energy with an external environment. We identify exactly when the energy-preserving constraint forbids any universal purification advantage, and we provide concrete examples in which an advantage available to unrestricted operations disappears under energy conservation. When energy-preserving purification remains possible, we determine its optimal fidelity and success probability and construct the corresponding protocols. The framework includes unrestricted purification as a special case and extends naturally to purification assisted by an external energy resource.

quant-pharXiv:2604.15228•Apr 17, 2026•0 citations

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

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

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.

arXiv:1210.4394•Scientific Reports•May 10, 2013•41 citations

No Universal Purification in Quantum Mechanics

Zhenhuan Liu, Du, Zhenyu, Eisert, Jens +2 more

Many central tasks in fundamental physics and quantum information processing are possible only insofar as mixed quantum states can be made purer. In this work, we prove that the linearity and positivity of quantum mechanics impose general restrictions on quantum purification, unveiling a new fundamental principle of quantum information processing. We first establish that no quantum operation can transform a finite number of copies of an unknown quantum state or channel into an exactly pure output that depends non-trivially on the input, thereby ruling out an important form of universal purification in both static and dynamical settings. Building on this, we show that, upon relaxing the requirement of exact purity, one can establish quantitative sample-complexity lower bounds for approximate purification that hold for arbitrary physically allowed strategies, whose scaling matches the performance of purification-related tasks across several different areas of quantum information processing. Moreover, this lower bound leads to a generalized standard quantum limit for learning arbitrary functions of a quantum state, greatly extending earlier results based on quantum Fisher information and revealing a deep connection between purification and quantum learning. Extending this principle to other important settings, we establish, for the first time, an exponential sample-complexity lower bound for approximate pure dilation state preparation and a no-go theorem for approximate bosonic Gaussian state purification with passive Gaussian operations, establishing much more stringent limitations under practical operational constraints.

arXiv:2509.21111•Sep 25, 2025•0 citations

No-go Theorem of Purification

Sadegh Raeisi

The Shannon's bound for compression is one of the key restrictions for the compression of quantum information. Here we show that the unitarity of the compression operation imposes new bounds on the compression that are more limiting than Shannon's compression bound. This translates to a no-go theorem for the purification of quantum states. For a specific case of a two-qubit system, our results indicate that it is not possible to distill purity beyond the maximum of the individual purities. We show that this restriction results in the cooling limit of the heat-bath algorithmic cooling techniques. We formalize the limitations imposed by the unitarity of the compression operation in two theorems and use the theorems to show that the limitations of unitarity lead to the cooling limit of heat-bath algorithmic cooling. To this end, we introduce a new optimal cooling technique and show that without the limitations of the unitary operations, the new cooling technique would have exceeded the limit of Heat-bath algorithmic cooling. This work opens up new avenues to understanding the limits of dynamic cooling.

arXiv:2003.01885•Mar 4, 2020•0 citations

Restrictions on initial system-environment correlations based on the dynamics of an open quantum system

Eric Chitambar, Ali Abu-Nada, Russell R. Ceballos +1 more

The dynamics of an open quantum system is often modeled by introducing a bath initially in a product state with the system, letting the system and bath evolve unitarily together, and then tracing over the bath. However, often this model may not accurately reflect a particular experimental situation. Here, we provide some restrictions on one's ability to model an open quantum system using an initial product state when some information about the system-bath interaction is known. For instance, when certain symmetries exist in the system-bath interaction, we compute limitations on how much the system's purity can be increased if the bath is initially uncorrelated white noise. Furthermore, when the system and bath are qubits, we find that effectively only swap and product unitaries always generate system dynamics capable of being modeled using an initial product state. Finally, we show how any initial correlations between the system and environment are detectable, in principle, by observing the system transformation alone during certain joint evolutions. Our results have application in experimental quantum control and quantum computing where the system and environment are often assumed to be initially uncorrelated.

Physical Review A•Nov 16, 2015•13 citations

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
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.
Pure quantum states are a fundamental resource for quantum information processing, but unavoidable noise degrades their purity and limits the performance of quantum tasks. Quantum state purification attempts to restore purity by jointly processing several noisy copies of an unknown state, typically in a probabilistic way. Whether purification is possible, and how much it can achieve, depends strongly on the set of operations that are physically allowed. In this work, we study universal purification under \textit{energy-preserving operations}, which cannot exchange energy with an external environment. We identify exactly when the energy-preserving constraint forbids any universal purification advantage, and we provide concrete examples in which an advantage available to unrestricted operations disappears under energy conservation. When energy-preserving purification remains possible, we determine its optimal fidelity and success probability and construct the corresponding protocols. The framework includes unrestricted purification as a special case and extends naturally to purification assisted by an external energy resource.
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.
Many central tasks in fundamental physics and quantum information processing are possible only insofar as mixed quantum states can be made purer. In this work, we prove that the linearity and positivity of quantum mechanics impose general restrictions on quantum purification, unveiling a new fundamental principle of quantum information processing. We first establish that no quantum operation can transform a finite number of copies of an unknown quantum state or channel into an exactly pure output that depends non-trivially on the input, thereby ruling out an important form of universal purification in both static and dynamical settings. Building on this, we show that, upon relaxing the requirement of exact purity, one can establish quantitative sample-complexity lower bounds for approximate purification that hold for arbitrary physically allowed strategies, whose scaling matches the performance of purification-related tasks across several different areas of quantum information processing. Moreover, this lower bound leads to a generalized standard quantum limit for learning arbitrary functions of a quantum state, greatly extending earlier results based on quantum Fisher information and revealing a deep connection between purification and quantum learning. Extending this principle to other important settings, we establish, for the first time, an exponential sample-complexity lower bound for approximate pure dilation state preparation and a no-go theorem for approximate bosonic Gaussian state purification with passive Gaussian operations, establishing much more stringent limitations under practical operational constraints.
The Shannon's bound for compression is one of the key restrictions for the compression of quantum information. Here we show that the unitarity of the compression operation imposes new bounds on the compression that are more limiting than Shannon's compression bound. This translates to a no-go theorem for the purification of quantum states. For a specific case of a two-qubit system, our results indicate that it is not possible to distill purity beyond the maximum of the individual purities. We show that this restriction results in the cooling limit of the heat-bath algorithmic cooling techniques. We formalize the limitations imposed by the unitarity of the compression operation in two theorems and use the theorems to show that the limitations of unitarity lead to the cooling limit of heat-bath algorithmic cooling. To this end, we introduce a new optimal cooling technique and show that without the limitations of the unitary operations, the new cooling technique would have exceeded the limit of Heat-bath algorithmic cooling. This work opens up new avenues to understanding the limits of dynamic cooling.
The dynamics of an open quantum system is often modeled by introducing a bath initially in a product state with the system, letting the system and bath evolve unitarily together, and then tracing over the bath. However, often this model may not accurately reflect a particular experimental situation. Here, we provide some restrictions on one's ability to model an open quantum system using an initial product state when some information about the system-bath interaction is known. For instance, when certain symmetries exist in the system-bath interaction, we compute limitations on how much the system's purity can be increased if the bath is initially uncorrelated white noise. Furthermore, when the system and bath are qubits, we find that effectively only swap and product unitaries always generate system dynamics capable of being modeled using an initial product state. Finally, we show how any initial correlations between the system and environment are detectable, in principle, by observing the system transformation alone during certain joint evolutions. Our results have application in experimental quantum control and quantum computing where the system and environment are often assumed to be initially uncorrelated.
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.