Asymptotic bound for heat-bath algorithmic 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.