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.
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.
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 purity of quantum states is a key requirement for many quantum applications. Improving the purity is limited by fundamental laws of thermodynamics. Here, we are probing the fundamental limits for a natural approach to this problem, namely, heat-bath algorithmic cooling (HBAC). The existence of the cooling limit for HBAC techniques was proved by Schulman, Mor, and Weinstein. A bound for this value was found by Elias et al. and numerical testing supported the hypothesis that their bound may be the actual limit. A proof or disproof of whether their bound was the actual limit remained open for the past decade. Here, for the first time, we prove this limit. In the context of quantum thermodynamics, this corresponds to the maximum extractable work from the quantum system. We also establish, in the case of higher dimensional reset systems, how the performance of HBAC depends on the energy spectrum of the reset system.
Heat-bath algorithmic cooling provides algorithmic ways to improve the purity of quantum states. These techniques are complex iterative processes that change from each iteration to the next and this poses a significant challenge to implementing these algorithms. Here, we introduce a new technique that on a fundamental level, shows that it is possible to do algorithmic cooling and even reach the cooling limit without any knowledge of the state and using only a single fixed operation, and on a practical level, presents a more feasible and robust alternative for implementing heat-bath algorithmic cooling. We also show that our new technique converges to the asymptotic state of heat-bath algorithmic cooling and that the cooling algorithm can be efficiently implemented; however, the saturation could require exponentially many iterations and remains impractical. This brings heat-bath algorithmic cooling to the realm of feasibility and makes it a viable option for realistic application in quantum technologies.
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.
Quantum technologies require pure states, which are often generated by extreme refrigeration. Heat-bath algorithmic cooling is the theoretically optimal refrigeration technique: it shuttles entropy from a multiparticle system to a thermal bath, thereby generating a quantum state with a high degree of purity. Here, we show how to surpass this hitherto-optimal technique by taking advantage of indefinite causal order. Our protocol can create arbitrary numbers of pure quantum states without any residual mixedness by using a recently-discovered device known as a quantum switch, thereby fulfilling the dream of algorithmic cooling.
Abstract Quantum technologies require pure states, which are often generated by extreme refrigeration. Heat-bath algorithmic cooling is the theoretically optimal refrigeration technique: it shuttles entropy from a multiparticle system to a thermal bath, thereby generating a quantum state with a high degree of purity. Here, we show how to surpass this hitherto-optimal technique by taking advantage of a single binary-outcome measurement. Our protocols can create arbitrary numbers of pure quantum states without any residual mixedness by using a recently discovered device known as a quantum switch to put two operations in superposition, with postselection certifying the complete purification.