Quantum Thermodynamics of Correlated-Catalytic State Conversion at Small Scale

The class of possible thermodynamic conversions can be extended by introducing an auxiliary system called catalyst, which assists in state conversion while its own state remains unchanged. We reveal a complete characterization of catalytic state conversion in quantum and single-shot thermodynamics by allowing an infinitesimal correlation between the system and the catalyst. Specifically, we prove that a single thermodynamic potential, which provides the necessary and sufficient condition for the correlated-catalytic state conversion, is given by the standard nonequilibrium free energy defined with the Kullback-Leibler divergence. This resolves the conjecture raised by Wilming, Gallego, and Eisert [Entropy 19, 241 (2017)ENTRFG1099-430010.3390/e19060241] and by Lostaglio and Müller [Phys. Rev. Lett. 123, 020403 (2019)PRLTAO0031-900710.1103/PhysRevLett.123.020403] in the positive. Moreover, we show that, with the aid of the work storage, any quantum state can be converted into another by paying the work cost equal to the nonequilibrium free energy difference. Our result would serve as a step towards establishing resource theories of catalytic state conversion in the fully quantum regime.