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.
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.
Cooling quantum systems with finite resources is a central task in quantum technologies and has been extensively explored in discrete-variable settings. As continuous-variable (CV) platforms play an increasingly important role in quantum information processing, it becomes crucial to understand the fundamental limitations of cooling bosonic systems. In this work, we develop a general framework for cooling CV systems, identifying both the constraints imposed by Gaussianity and the advantages enabled by non-Gaussian interactions. We derive a reachable bound on the cooling performance of Gaussian operations that applies to arbitrary cooling architectures. By optimizing over all protocols saturating this bound, we further identify the most efficient scheme, which minimizes dissipated energy for a given number of ancilla modes. Beyond Gaussian operations, we show that p-excitation exchange exploits non-Gaussian resources to achieve a p-fold enhancement of the cooling limit. Our results establish the fundamental limits of CV heat-bath algorithmic cooling and reveal the crucial role of non-Gaussianity in surpassing Gaussian cooling barriers.
Heat-Bath Algorithmic Cooling is a technique for producing pure quantum systems by utilizing a surrounding heat-bath. Here we connect the study of these cooling techniques to the resource theory of thermal operations, enabling us to derive provably optimal cooling protocols under a variety of experimental restrictions on the available control. For qubit systems, we find that a surprisingly simple, optimal protocol consisting of repeated application of a Pauli X unitary and a thermal operation can achieve purity converging exponentially quickly to one. What is more, this thermal operation can be well approximated using a Jaynes Cummings interaction between the system and a single thermal bosonic mode and we consider experimental implementations of this. In addition, we investigate the role of quantum coherence and non-Markovianity in cooling protocols and extend our results to higher dimensional systems. Finally, by considering the role of correlations with auxiliary systems in cooling, we show that purity arbitrary close to one can be achieved in a fixed number of operations. Our results serve to find practical applications for the resource theoretic approach to quantum thermodynamics and suggest relevant experimental implementations.
Heat-Bath Algorithmic Cooling is a set of techniques for producing highly pure quantum systems by utilizing a surrounding heat-bath and unitary interactions. These techniques originally used the thermal environment only to fully thermalize ancillas at the environment temperature. Here we extend HBAC protocols by optimizing over the thermalization strategy. We find, for any d -dimensional system in an arbitrary initial state, provably optimal cooling protocols with surprisingly simple structure and exponential convergence to the ground state. Compared to the standard ones, these schemes can use fewer or no ancillas and exploit memory effects to enhance cooling. We verify that the optimal protocols are robusts to various deviations from the ideal scenario. For a single target qubit, the optimal protocol can be well approximated with a Jaynes-Cummings interaction between the system and a single thermal bosonic mode for a wide range of environmental temperatures. This admits an experimental implementation close to the setup of a micromaser, with a performance competitive with leading proposals in the literature. The proposed protocol provides an experimental setup that illustrates how non-Markovianity can be harnessed to improve cooling. On the technical side we 1. introduce a new class of states called maximally active states and discuss their thermodynamic significance in terms of optimal unitary control, 2. introduce a new set of thermodynamic processes, called β-permutations , whose access is sufficient to simulate a generic thermalization process, 3. show how to use abstract toolbox developed within the resource theory approach to thermodynamics to perform challenging optimizations, while combining it with open quantum system dynamics tools to approximate optimal solutions within physically realistic setups.
We study the energy exchange between two bosonic systems that interact via bilinear transformations in the mode operators. The first mode is considered as the thermodynamic system, while the second is regarded as the bath. This work finds its roots in a very recent formulation of quantum thermodynamics [Bera et al., Quantum 3, 121 (2019)] which allows one to consider baths that are not described by the usual Boltzmann-Gibbs canonical form. Baths can possess quantum properties, such as squeezing or coherence, and can be initially correlated with the system, even through entanglement. We focus mainly on the case of Gaussian states, by quantifying the relation between their defining parameters, namely the mean values of the quadratures and the covariance matrix, and relevant thermodynamical quantities such as the heat exchanged and the work performed during the interaction process. We fully solve the case of initially uncorrelated Gaussian states and provide the most general form of the first law of thermodynamics in this case. We also discuss the case of initially correlated states by considering a number of relevant examples, studying how correlations can assist some phenomena, e.g., work extraction or anomalous heat flows. Finally, we present an information-theoretic approach based on the Renyi entropy of order two for clarifying more generally the role of correlations on heat exchanges.
Understanding how quantum systems equilibrate is a fundamental question with implications for quantum technologies, such as state preparation for quantum computing. However, linear response theory fails to explain the thermal relaxation of far-from-equilibrium classical and quantum systems. In this context, recent studies have reported a relaxation asymmetry, where heating is faster than cooling for initial states that are thermodynamically equidistant from equilibrium, but understanding how quantum resources affect this asymmetry is still an open question. In this work, we investigate the heating and cooling asymmetry in discrete and continuous-variable quantum systems. For the discrete case, we study two interacting qubits coupled to a global bosonic bath, focusing on the effects of initial coherences, steady state correlations generated by the dynamics and local non-Markovianity. For the continuous case, we consider Gaussian states and compare the thermal relaxation asymmetry of displaced and squeezed states. Our results for the discrete case indicate that non-Markovianity may accelerate thermal relaxation, while the initial coherences do not change the equilibration time. In Gaussian systems, applying the displacement operator in the initial states does not affect the asymmetry, but applying the squeezing operator reduces the asymmetry. Additionally, we show an invertion of the asymmetry, making cooling faster than heating, by squeezing the hotter state and displacing the cooler state.
We study the limitations on coherence evolutions under the constraints of thermodynamic laws, and focus on the optimal thermal operations (TO) reaching the bounds. For the qubit case, we prove that the TO that preserves maximal coherence can be reproduced by thermal operations involving only a single-mode reservoir, which we call single-mode thermal operations (STO). For higher dimensional systems, we derive tight limitations on coherence merging which are allowed by TO, and find that these bounds can also be reached by STO. By applying the coherence merging bounds to a two-qubit system, we observe that for some states, it is impossible to erase correlations while preserving the marginal states by TO. Our results reveal the strong ability of STO in coherence processing. Because interactions between quantum systems and single-mode reservoirs are realizable under recent techniques, our theoretical results are helpful to experimentally demonstrate the limitations of thermodynamic laws.