Abstract We examine the problem of state transformations in the framework of Gaussian thermal resource theory in the presence of catalysts. To this end, we introduce an expedient parametrisation of covariance matrices in terms of principal mode temperatures and asymmetries, and consider both weak and strong catalytic scenarios. We show that strong catalysts (where final correlations with the system are forbidden) are useless for the single mode case, in that they do not expand the set of states reachable from a given initial state through Gaussian thermal operations. We then go on to prove that weak catalysts (where final correlations with the system are allowed) are instead capable of reaching more final system states, and determine exact conditions for state transformations of a single mode in their presence. Next, we derive necessary conditions for Gaussian thermal state transformations holding for any number of modes, for strong catalysts and approximate transformations, and for weak catalysts with and without the addition of a thermal bath. We discuss the implications of these results for devices operating with Gaussian elements.
Abstract We examine the problem of state transformations in the framework of Gaussian thermal resource theory in the presence of catalysts. To this end, we introduce an expedient parametrisation of covariance matrices in terms of principal mode temperatures and asymmetries, and consider both weak and strong catalytic scenarios. We show that strong catalysts (where final correlations with the system are forbidden) are useless for the single mode case, in that they do not expand the set of states reachable from a given initial state through Gaussian thermal operations. We then go on to prove that weak catalysts (where final correlations with the system are allowed) are instead capable of reaching more final system states, and determine exact conditions for state transformations of a single mode in their presence. Next, we derive necessary conditions for Gaussian thermal state transformations holding for any number of modes, for strong catalysts and approximate transformations, and for weak catalysts with and without the addition of a thermal bath. We discuss the implications of these results for devices operating with Gaussian elements.
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. Published by the American Physical Society 2024
Determining whether a given state can be transformed into a target state using free operations is one of the fundamental questions in the study of resource theories. Free operations in resource theories can be enhanced by allowing for a catalyst system that assists the transformation and is returned unchanged, but potentially correlated, with the target state. While this has been an active area of recent research, very little is known about the necessary properties of such catalysts. Here, we prove fundamental limits applicable to a large class of correlated catalytic transformations by showing that a small residual correlation between a catalyst and target state implies that the catalyst needs to be highly resourceful. In fact, the resource required diverge in the limit of vanishing residual correlation. In addition, we establish that in imperfect catalysis a small error generally implies a highly resourceful embezzling catalyst. We develop our results in a general resource theory framework and discuss its implications for the resource theory of athermality, the resource theory of coherence, and entanglement theory.
Thermal operations are a generic description for allowed state transitions under thermodynamic restrictions. However, the quest for simpler methods to encompass all these processes remains unfulfilled. We resolve this challenge through the catalytic use of thermal baths, which are assumed to be easily accessible. We select two sets of simplified operations: elementary thermal operations and Markovian thermal operations. They are known for their experimental feasibility, but fail to capture the full extent of thermal operations due to their innate Markovianity. We nevertheless demonstrate that this limitation can be overcome when the operations are enhanced by ambient-temperature Gibbs state catalysts. In essence, our result indicates that free states within thermal operations can act as catalysts that provide the necessary non-Markovianity for simpler operations. Furthermore, we prove that when any catalyst can be employed, different thermal processes (thermal operations, elementary thermal operations, and Markovian thermal operations) converge. Notably, our results extend to scenarios involving initial states with coherence in the energy eigenbasis, a notoriously difficult process to characterise.
The study of thermal operations allows one to investigate the ultimate possibilities of quantum states and of nanoscale thermal machines. Whilst fairly general, these results typically do not apply to continuous variable systems and do not take into account that, in many practically relevant settings, system-environment interactions are effectively bilinear. Here we tackle these issues by focusing on Gaussian quantum states and channels. We provide a complete characterization of the most general Gaussian thermal operation acting on an arbitrary number of bosonic modes, which turn out to be all embeddable in a Markovian dynamics, and derive necessary and sufficient conditions for state transformations under such operations in the single-mode case, encompassing states with nonzero coherence in the energy eigenbasis (i.e., squeezed states). Our analysis leads to a no-go result for the technologically relevant task of algorithmic cooling: We show that it is impossible to reduce the entropy of a system coupled to a Gaussian environment below its own or the environmental temperature, by means of a sequence of Gaussian thermal operations interspersed by arbitrary (even non-Gaussian) unitaries. These findings establish fundamental constraints on the usefulness of Gaussian resources for quantum thermodynamic processes.
Abstract Thermal operations (TO) are a generic description for allowed state transitions under thermodynamic restrictions. However, the quest for simpler methods to encompass all these processes remains unfulfilled. We resolve this challenge through the catalytic use of thermal baths, which are assumed to be easily accessible. We select two sets of simplified operations: elementary TO (ETO) and Markovian TO (MTO). They are known for their experimental feasibility, but fail to capture the full extent of TO due to their innate Markovianity. We nevertheless demonstrate that this limitation can be overcome when the operations are enhanced by ambient-temperature Gibbs state catalysts. In essence, our result indicates that free states within TO can act as catalysts that provide the necessary non-Markovianity for simpler operations. Furthermore, we prove that when any catalyst can be employed, different thermal processes (TO, ETO, and MTO) converge. Notably, our results extend to scenarios involving initial states with coherence in the energy eigenbasis, a notoriously difficult process to characterise.
The generalized second laws of quantum thermodynamics are usually formulated in terms of Rényi divergences and the associated family of generalized free energies. In catalytic thermal transformations, this framework typically certifies the existence of a suitable catalyst but does not make the catalytic contribution explicit in the resulting system-level inequalities. Here we develop a complementary formulation based on non-additive divergences, whose pseudo-additive structure yields a family of generalized free energies with an explicit catalyst-dependent correction term. For uncorrelated catalytic thermal transformations, we show that this leads to non-additive second-law relations providing nontrivial constraints on admissible catalysts when the catalyst is returned only approximately. We also analyze correlated catalytic thermal transformations and show, through explicit finite-dimensional examples, that reduced-state data are generally insufficient to characterize thermodynamic accessibility: the thermo-majorization behavior of the joint transformation can change while the system and catalyst marginals remain fixed, and even states with identical marginals and the same mutual information can exhibit different thermo-majorization accessibility.