Catalytic transformations for thermal operations

What are the fundamental limits and advantages of using a catalyst to aid thermodynamic transformations between quantum systems In this paper, we answer this question by focusing on transformations between energy-incoherent states under the most general energy-conserving interactions among the system, the catalyst, and a thermal environment. The sole constraint is that the catalyst must return unperturbed and uncorrelated with the other subsystems. More precisely, we first upper bound the set of states to which a given initial state can thermodynamically evolve (the catalyzable future) or from which it can evolve (the catalyzable past) with the help of a strict catalyst. Secondly, we derive lower bounds on the dimensionality required for the existence of catalysts under thermal process, along with bounds on the catalyst's state preparation. Finally, we quantify the catalytic advantage in terms of the volume of the catalyzable future and demonstrate its utility in an exemplary task of generating entanglement and cooling a quantum system using thermal resources.