To what extent do thermodynamic resource theories capture physically relevant constraints? Inspired by quantum computation, we define a set of elementary thermodynamic gates that only act on 2 energy levels of a system at a time. We show that this theory is well reproduced by a Jaynes-Cummings interaction in rotating wave approximation and draw a connection to standard descriptions of thermalisation. We then prove that elementary thermal operations present tighter constraints on the allowed transformations than thermal operations. Mathematically, this illustrates the failure at finite temperature of fundamental theorems by Birkhoff and Muirhead-Hardy-Littlewood-Polya concerning stochastic maps. Physically, this implies that stronger constraints than those imposed by single-shot quantities can be given if we tailor a thermodynamic resource theory to the relevant experimental scenario. We provide new tools to do so, including necessary and sufficient conditions for a given change of the population to be possible. As an example, we describe the resource theory of the Jaynes-Cummings model. Finally, we initiate an investigation into how our resource theories can be applied to Heat Bath Algorithmic Cooling protocols.
To what extent do thermodynamic resource theories capture physically relevant constraints? Inspired by quantum computation, we define a set of elementary thermodynamic gates that only act on 2 energy levels of a system at a time. We show that this theory is well reproduced by a Jaynes-Cummings interaction in rotating wave approximation and draw a connection to standard descriptions of thermalisation. We then prove that elementary thermal operations present tighter constraints on the allowed transformations than thermal operations. Mathematically, this illustrates the failure at finite temperature of fundamental theorems by Birkhoff and Muirhead-Hardy-Littlewood-Polya concerning stochastic maps. Physically, this implies that stronger constraints than those imposed by single-shot quantities can be given if we tailor a thermodynamic resource theory to the relevant experimental scenario. We provide new tools to do so, including necessary and sufficient conditions for a given change of the population to be possible. As an example, we describe the resource theory of the Jaynes-Cummings model. Finally, we initiate an investigation into how our resource theories can be applied to Heat Bath Algorithmic Cooling protocols.
To what extent is the resource theory approach to thermodynamics relevant for realistic experimental scenarios? We deconstruct this framework, showing that each transition among incoherent states allowed in the theory can be obtained by sequentially applying elementary thermal operations. These only couple the bath to single transitions in the system and satisfy detailed balance. We show that most of them can be realised within one of the simplest thermodynamic models, a resonant Jaynes-Cummings interaction with a single mode bosonic bath, and discuss the link to thermalisation models. No external control of the Hamiltonian or ancillae are needed. We also present an extension of Birkhoff's theorem for bistochastic matrices to thermodynamics, and discuss its consequences for the problem of simulating arbitrary thermal processes. Finally, we show that the constraints found within thermal operations for transitions among incoherent states are to a large extent \emph{universal}, i.e. they apply to a broad class consisting of very different thermodynamic frameworks.
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.
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.
Thermodynamics imposes fundamental constraints on the evolution of quantum systems. These constraints and their dynamical consequences have been formulated within distinct paradigms, including axiomatic approaches based on quantum master equations, microscopic descriptions of open-system dynamics, and operational formulations rooted in resource theories. While each perspective has yielded important insights into thermodynamically consistent quantum dynamics, their precise relationship has remained unresolved. Here we establish the exact equivalence of these three paradigms in the Markovian regime. We prove that thermal Lindbladians satisfying Markovianity, time-translation symmetry, and quantum detailed balance are precisely those admitting a microscopic realisation as an energy-conserving thermal collision model and, equivalently, those generating Markovian thermal operations. This unifies the existing approaches to Markovian quantum thermodynamics and identifies its dynamical underpinnings. We further provide an explicit microscopic protocol for simulating thermal Markovian processes with controlled finite-time simulation errors. We illustrate its applicability by providing faithful thermal collision-model implementations of a qubit thermalising in a bosonic environment and of a three-level autonomous thermal machine. In the latter case, the protocol gives rise to a finite-stroke thermal engine that not only reproduces the continuous-time dynamics but also its steady-state thermodynamic performance. As a whole, these results establish a unified foundation for Markovian quantum thermodynamics, showing that its axiomatic, microscopic, and operational formulations are exactly equivalent and providing a universal protocol for implementing thermal processes and machines.
In this paper we aim to push the analogy between thermodynamics and quantum resource theories one step further. Previous inspirations were based predominantly on thermodynamic considerations concerning scenarios with a single heat bath, neglecting an important part of thermodynamics that studies heat engines operating between two baths at different temperatures. Here, we investigate the performance of resource engines, which replace the access to two heat baths at different temperatures with two arbitrary constraints on state transformations. The idea is to imitate the action of a two–stroke heat engine, where the system is sent to two agents (Alice and Bob) in turns, and they can transform it using their constrained sets of free operations. We raise and address several questions, including whether or not a resource engine can generate a full set of quantum operations or all possible state transformations, and how many strokes are needed for that. We also explain how the resource engine picture provides a natural way to fuse two or more resource theories, and we discuss in detail the fusion of two resource theories of thermodynamics with two different temperatures, and two resource theories of coherence with respect to two different bases.
We develop a resource-theoretic framework that allows one to bridge the gap between two approaches to quantum thermodynamics based on Markovian thermal processes (which model memoryless dynamics) and thermal operations (which model arbitrarily non-Markovian dynamics).Our approach is built on the notion of memory-assisted Markovian thermal processes, where memoryless thermodynamic processes are promoted to non-Markovianity by explicitly modeling ancillary memory systems initialized in thermal equilibrium states.Within this setting, we propose a family of protocols composed of sequences of elementary two-level thermalizations that approximate all transitions between energy-incoherent states accessible via thermal operations.We prove that, as the size of the memory increases, these approximations become arbitrarily good for all transitions in the infinite temperature limit, and for a subset of transitions in the finite temperature regime.Furthermore, we present solid numerical evidence for the convergence of our protocol to any transition at finite temperatures.We also explain how our framework can be used to quantify the role played by memory effects in thermodynamic protocols such as work extraction.Finally, our results show that elementary control over two energy levels at a given time is sufficient to generate all energy-incoherent transitions accessible via thermal operations if one allows for ancillary thermal systems.