The laws of thermodynamics are usually formulated under the assumption of infinitely large environments. While this idealization facilitates theoretical treatments, real physical systems are always finite and their interaction range is limited. These constraints have consequences for important tasks such as cooling, not directly captured by the second law of thermodynamics. Here, we study catalytic transformations that cannot be achieved when a system exclusively interacts with a finite environment. Our core result consists of constructive conditions for these transformations, which include the corresponding global unitary operation and the explicit states of all the systems involved. From this result we present various findings regarding the use of catalysts for cooling. First, we show that catalytic cooling is always possible if the dimension of the catalyst is sufficiently large. In particular, the cooling of a qubit using a hot qubit can be maximized with a catalyst as small as a three-level system. We also identify catalytic enhancements for tasks whose implementation is possible without a catalyst. For example, we find that in a multiqubit setup catalytic cooling based on a three-body interaction outperforms standard (non-catalytic) cooling using higher order interactions. Another advantage is illustrated in a thermometry scenario, where a qubit is employed to probe the temperature of the environment. In this case, we show that a catalyst allows to surpass the optimal temperature estimation attained only with the probe.
The laws of thermodynamics are usually formulated under the assumption of infinitely large environments. While this idealization facilitates theoretical treatments, real physical systems are always finite and their interaction range is limited. These constraints have consequences for important tasks such as cooling, not directly captured by the second law of thermodynamics. Here, we study catalytic transformations that cannot be achieved when a system exclusively interacts with a finite environment. Our core result consists of constructive conditions for these transformations, which include the corresponding global unitary operation and the explicit states of all the systems involved. From this result we present various findings regarding the use of catalysts for cooling. First, we show that catalytic cooling is always possible if the dimension of the catalyst is sufficiently large. In particular, the cooling of a qubit using a hot qubit can be maximized with a catalyst as small as a three-level system. We also identify catalytic enhancements for tasks whose implementation is possible without a catalyst. For example, we find that in a multiqubit setup catalytic cooling based on a three-body interaction outperforms standard (non-catalytic) cooling using higher order interactions. Another advantage is illustrated in a thermometry scenario, where a qubit is employed to probe the temperature of the environment. In this case, we show that a catalyst allows to surpass the optimal temperature estimation attained only with the probe.
Quantum catalysis, the ability to enable previously impossible transformations by using auxiliary systems without degrading them, has emerged as a powerful tool in various resource theories. Although catalytically enabled state transformations have been formally characterized by the monotonic behavior of entropic quantifiers (e.g., the von Neumann entropy or nonequilibrium free energy), such characterizations often rely on unphysical assumptions, namely, the ability of using catalysts of infinitely large dimension. This approach offers very limited insights into the practical significance of using catalysis for quantum information processing. Here, we address this problem across a broad class of quantum resource theories. Leveraging quantum information tools beyond the asymptotic regime, we establish sufficient conditions for the existence of catalytic transformations with finite-size catalysts. We further unveil connections between finite-size catalysis and multicopy transformations. Notably, we discover a phenomenon of catalytic resonance: by carefully tailoring the catalysts's state, one can drastically reduce the required dimension of the catalyst, thus enabling efficient catalytic transformations with minimal resources. Finally, we illustrate our findings with examples from the resource theories of entanglement and thermodynamics, as well in the context of catalytic unitary transformations.
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.
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
The preparation of quantum states, especially cooling, is a fundamental technology for nanoscale devices. The past decade has seen important results related to both the limits of state transformation and the limits to their efficiency -- the quantum versions of the third and second law of thermodynamics. The limiting cases always involve an infinite resource cost, typically machine complexity or time. Realistic state preparation takes into account both a finite size of the machine and constraints on the operations we can perform. In this work, we determine in full generality the optimal operation for a predominant quantum paradigm: state transformation under a single unitary operation upon a finite system, in the case where the observables corresponding to the target (such as ground state probability) and cost (such as dissipation) commute. We then extend this result to the case of having a third, commuting, globally conserved quantity (such as total energy). The results are demonstrated with the paradigmatic example of ground state cooling, for both arbitrary and energy-preserving unitary operations.
Catalysis refers to the possibility of performing an otherwise impossible local state transformation by sharing an additional state, i.e. a catalyst, which is returned at the end of the protocol. There is a stronger version, known as supercatalysis, in which the borrowed catalyst is returned in an enhanced form, i.e. more entangled. However, this phenomenon has remained little explored. In this work we introduce the supercatalytic entanglement gain as a figure of merit taking values in [0,1] that quantifies the performance of the protocol (with 0 corresponding to the standard case of catalysis and 1 representing the maximal possible gain) and we study in which cases it can be greater than zero and which strategies can maximize it. While it turns out that every catalytic transformation can be implemented in a supercatalytic fashion with entanglement gain equal to 1 if the state that is borrowed is chosen appropriately, other choices can make the gain strictly less than 1 and even 0. In fact, we prove that a large class of catalytic transformations are not fully supercatalyzable, i.e. there is at least one choice of catalyst for which the entanglement gain vanishes. On the other hand, the construction that shows that supercatalysis is always possible with maximal gain uses artificially highly entangled catalysts. For this reason, we also study minimal supercatalysis, where the entanglement content of the borrowed state is constrained in a precise and natural way. While we consider a scenario where we prove it is impossible to have entanglement gain equal to 1 in this case, we show that there exist minimal supercatalytic transformations with gain as close to 1 as desired. We also explore several examples and observe that, although choosing a catalyst with the least possible entanglement is often an optimal strategy for minimal supercatalysis, this is not necessarily always the case.
We investigate the fundamental constraint on amplifying the asymmetry in quantum states with correlating catalysts. Here a correlating catalyst is a finite-dimensional auxiliary, which exactly preserves its reduced state while allowed to become correlated with the quantum system. Interestingly, we prove that under translationally invariant operations, uncorrelating catalysts in pure states are useless in any state transformation, while with a correlating catalyst, one can extend the set of accessible states from an initially asymmetric state. Moreover, we show that the power of a catalyst increases with its dimension, and further, with a large enough catalyst, a qubit state with an arbitrarily small amount of asymmetry can be converted to any mixed qubit state. In doing so, we build a bridge between two important results concerning the restrictions on coherence conversion, the no-broadcasting theorem and the catalytic coherence. Our results may also apply to the constraints on coherence evolution in quantum thermodynamics and to the distribution of timing information between quantum clocks.