Thermodynamic Resource Theories Research Articles

Autonomous Quantum Devices: When Are They Realizable without Additional Thermodynamic Costs?

The resource theory of quantum thermodynamics has been a very successful theory and has generated much follow-up work in the community. It requires energy-preserving unitary operations to be implemented over a system, bath, and catalyst as part of its paradigm. So far, such unitary operations have been considered a "free" resource in the theory. However, this is only an idealization of a necessarily inexact process. Here, we include an additional auxiliary control system which can autonomously implement the unitary by turning an interaction "on or off". However, the control system will inevitably be degraded by the backaction caused by the implementation of the unitary. We derive conditions on the quality of the control device so that the laws of thermodynamics do not change and prove - by utilizing a good quantum clock - that the laws of quantum mechanics allow the backreaction to be small enough so that these conditions are satisfiable. Our inclusion of nonidealized control into the resource framework also raises interesting prospects, which were absent when considering idealized control. Among other things, the emergence of a third law without the need for the assumption of a light cone. Our results and framework unify the field of autonomous thermal machines with the thermodynamic quantum resource-theoretic one, and lay the groundwork for all quantum processing devices to be unified with fully autonomous machines.

Thermodynamically free quantum measurements

Thermal channels—the free processes allowed in the resource theory of quantum thermodynamics—are generalised to thermal instruments, which we interpret as implementing thermodynamically free quantum measurements; a Maxwellian demon using such measurements never violates the second law of thermodynamics. Further properties of thermal instruments are investigated and, in particular, it is shown that they only measure observables commuting with the Hamiltonian, and they thermalise the measured system when performing a complete measurement, the latter of which indicates a thermodynamically induced information-disturbance trade-off. The demarcation of measurements that are not thermodynamically free paves the way for a resource-theoretic quantification of their thermodynamic cost.

Resource Theory of Heat and Work with Non-commuting Charges

We consider a theory of quantum thermodynamics with multiple conserved quantities (or charges). To this end, we generalize the seminal results of Sparaciari et al. (Phys. Rev. A 96:052112, 2017) to the case of multiple, in general non-commuting charges, for which we formulate a resource theory of thermodynamics of asymptotically many non-interacting systems. To every state we associate the vector of its expected charge values and its entropy, forming the phase diagram of the system. Our fundamental result is the Asymptotic Equivalence Theorem, which allows us to identify the equivalence classes of states under asymptotic approximately charge-conserving unitaries with the points of the phase diagram. Using the phase diagram of a system and its bath, we analyze the first and the second laws of thermodynamics. In particular, we show that to attain the second law, an asymptotically large bath is necessary. In the case that the bath is composed of several identical copies of the same elementary bath, we quantify exactly how large the bath has to be to permit a specified work transformation of a given system, in terms of the number of copies of the “elementary bath” systems per work system (bath rate). If the bath is relatively small, we show that the analysis requires an extended phase diagram exhibiting negative entropies. This corresponds to the purely quantum effect that at the end of the process, system and bath are entangled, thus permitting classically impossible transformations (unless the bath is enlarged). For a large bath, or many copies of the same elementary bath, system and bath may be left uncorrelated and we show that the optimal bath rate, as a function of how tightly the second law is attained, can be expressed in terms of the heat capacity of the bath. Our approach solves a problem from earlier investigations about how to store the different charges under optimal work extraction protocols in physically separate batteries.

Role of Quantum Coherence in Thermodynamics

We find necessary and sufficient conditions to determine the inter-convertibility of quantum systems under time-translation covariant evolution, and use it to solve several problems in quantum thermodynamics both in the single-shot and asymptotic regimes. It is well known that the resource theory of quantum athermality is not reversible, but in PRL 111, 250404 (2013) it was claimed that the theory becomes reversible ``provided a sublinear amount of coherent superposition over energy levels is available". Here we show that if a sublinear amount of coherence among energy levels were considered free, then the resource theory of athermality would become trivial. Instead, we show that by considering a sublinear amount of energy to be free, the theory of athermality becomes reversible for the pure-state case. A proof of the same claim for the mixed-state case is still lacking.

Characterizing Symmetry-Protected Thermal Equilibrium by Work Extraction

The second law of thermodynamics states that work cannot be extracted from thermal equilibrium, whose quantum formulation is known as complete passivity; a state is called completely passive if work cannot be extracted from any number of copies of the state by any unitary operations. It has been established that a quantum state is completely passive if and only if it is a Gibbs ensemble. In physically plausible setups, however, the class of possible operations is often restricted by fundamental constraints such as symmetries imposed on the system. In the present work, we investigate the concept of complete passivity under symmetry constraints. Specifically, we prove that a quantum state is completely passive under a symmetry constraint described by a connected compact Lie group, if and only if it is a generalized Gibbs ensemble including conserved charges associated with the symmetry. Remarkably, our result applies to noncommutative symmetry such as SU(2) symmetry, suggesting an unconventional extension of the notion of generalized Gibbs ensemble. Furthermore, we consider the setup where a quantum work storage is explicitly included, and prove that the characterization of complete passivity remains unchanged. Our result extends the notion of thermal equilibrium to systems protected by symmetries, and would lead to flexible design principles of quantum heat engines and batteries. Moreover, our approach serves as a foundation of the resource theory of thermodynamics in the presence of symmetries.Received 2 August 2021Revised 7 February 2022Accepted 17 February 2022DOI:https://doi.org/10.1103/PhysRevX.12.021013Published by the American Physical Society under the terms of the Creative Commons Attribution 4.0 International license. Further distribution of this work must maintain attribution to the author(s) and the published article’s title, journal citation, and DOI.Published by the American Physical SocietyPhysics Subject Headings (PhySH)Research AreasQuantum statistical mechanicsQuantum thermodynamicsResource theoriesQuantum InformationStatistical Physics

Quantum Refrigeration with Indefinite Causal Order.

We propose a thermodynamic refrigeration cycle which uses indefinite causal orders to achieve nonclassical cooling. The cycle cools a cold reservoir while consuming purity in a control qubit. We first show that the application to an input state of two identical thermalizing channels of temperature T in an indefinite causal order can result in an output state with a temperature not equal to T. We investigate the properties of the refrigeration cycle and show that thermodynamically, the result is compatible with unitary quantum mechanics in the circuit model but could not be achieved classically. We believe that this cycle could be implemented experimentally using tabletop photonics. Our result suggests the development of a new class of thermodynamic resource theories in which operations are allowed to be performed in an indefinite causal order.

Quantum work statistics close to equilibrium

We study the statistics of work, dissipation, and entropy production of a quantum quasi-isothermal process, where the system remains close to the thermal equilibrium along the transformation. We derive a general analytic expression for the work distribution and the cumulant generating function. All work cumulants split into a classical (non-coherent) and quantum (coherent) term, implying that close to equilibrium there are two independent channels of dissipation at all levels of the statistics. For non-coherent or commuting protocols, only the first two cumulants survive, leading to a Gaussian distribution with its first two moments related through the classical fluctuation-dissipation relation. On the other hand, quantum coherence leads to positive skewness and excess kurtosis in the distribution, and we demonstrate that these non-Gaussian effects are a manifestation of asymmetry in relation to the resource theory of thermodynamics. Furthermore, we also show that the non-coherent and coherent contributions satisfy independently the Evans-Searles fluctuation theorem, which sets strong bounds on the statistics, with negative values of the dissipation being exponentially suppressed. Our findings are illustrated in a driven two-level system and an Ising chain, where quantum signatures of the work distribution in the macroscopic limit are discussed.

The entropy production for thermal operations

According to the first and second laws of thermodynamics and the definitions of work and heat, microscopic expressions for the non-equilibrium entropy production have been achieved. Recently, a redefinition of heat has been presented in [Nature Communications volume 8, Article number: 2180 (2017)]. Since thermal operations play an important role in the resource theory of thermodynamics, it would be very interesting to find out the effect of the above-mentioned definition on the expression of the entropy production for these kind of operations. This is one of the aims of the present paper. Using the new definition of heat, it is shown that the entropy production is the same as the mutual information between a system and a bath both for thermal operations and, if the system-bath initial state is factorized, for entropy-preserving operations. It is also discussed that how one can recognize the type of the correlation between a system and a bath through knowledge of the initial state of the system only. It is shown that if the initial state of a system is diagonal in the energy basis, the thermal operations cannot create a quantum correlation between the system and the bath, however, if the system initial state is coherent Gibbs state, there cannot be classical correlation due to the thermal operations.

Fundamental limitations on photoisomerization from thermodynamic resource theories

Small, out-of-equilibrium, and quantum systems defy simple thermodynamic expressions. Such systems are exemplified by molecular switches, which exchange heat with a bath. These molecules can photoisomerize, or change conformation, or switch, upon absorbing light. The photoisomerization probability depends on kinetic details that couple the molecule's energetics to its dissipation. Therefore, a simple, general, thermodynamic-style bound on the photoisomerization probability seems out of reach. We derive such a bound using a resource theory. The resource-theory framework is a set of mathematical tools, developed in quantum information theory, used to generalize thermodynamics to small and quantum settings. From this toolkit has been derived a generalization of the second law, the thermomajorization preorder. We use thermomajorization to upper-bound the photoisomerization probability. Then, we compare the bound with an equilibrium prediction and with a Lindbladian model. We identify a realistic parameter regime in which the Lindbladian evolution saturates the thermomajorization bound. We also quantify the energy coherence in the electronic degree of freedom, and we argue that this coherence cannot promote photoisomerization. This work illustrates how quantum-information-theoretic thermodynamics can elucidate complex quantum processes in nature, experiments, and synthetics.

Macroscopic Thermodynamic Reversibility in Quantum Many-Body Systems.

The resource theory of thermal operations, an established model for small-scale thermodynamics, provides an extension of equilibrium thermodynamics to nonequilibrium situations. On a lattice of any dimension with any translation-invariant local Hamiltonian, we identify a large set of translation-invariant states that can be reversibly converted to and from the thermal state with thermal operations and a small amount of coherence. These are the spatially ergodic states, i.e., states that have sharp statistics for any translation-invariant observable, and mixtures of such states with the same thermodynamic potential. As an intermediate result, we show for a general state that if the gap between the min- and the max-relative entropies to the thermal state is small, then the state can be approximately reversibly converted to and from the thermal state with thermal operations and a small source of coherence. Our proof provides a quantum version of the Shannon-McMillan-Breiman theorem for the relative entropy and a quantum Stein's lemma for ergodic states and local Gibbs states. Our results provide a strong link between the abstract resource theory of thermodynamics and more realistic physical systems as we achieve a robust and operational characterization of the emergence of a thermodynamic potential in translation-invariant lattice systems.

Unifying paradigms of quantum refrigeration: Fundamental limits of cooling and associated work costs.

In classical thermodynamics the work cost of control can typically be neglected. On the contrary, in quantum thermodynamics the cost of control constitutes a fundamental contribution to the total work cost. Here, focusing on quantum refrigeration, we investigate how the level of control determines the fundamental limits to cooling and how much work is expended in the corresponding process. We compare two extremal levels of control: first, coherent operations, where the entropy of the resource is left unchanged, and, second, incoherent operations, where only energy at maximum entropy (i.e., heat) is extracted from the resource. For minimal machines, we find that the lowest achievable temperature and associated work cost depend strongly on the type of control, in both single-cycle and asymptotic regimes. We also extend our analysis to general machines. Our work provides a unified picture of the different approaches to quantum refrigeration developed in the literature, including algorithmic cooling, autonomous quantum refrigerators, and the resource theory of quantum thermodynamics.

Thermal operations involving a single-mode bosonic bath

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 qubit case, we find a thermal operation involving only a single-mode reservoir (STO) which maintains the maximum coherence allowed by general TO. For higher dimensions, we derive general bounds on coherence merging under TO, and find STO to reach the bounds. By applying the bound to a two-qubit system, we prove that erasing correlations while preserving the marginal states is not free in the resource theory of thermodynamics. Due to the simple structure of STO and its strong ability in coherence processing, our results shed light on both theoretical and experimental studies in the field of thermodynamics for small quantum systems.

Elementary Thermal Operations

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.

Beyond heat baths II: framework for generalized thermodynamic resource theories

Thermodynamics, which describes vast systems, has been reconciled with small scales, relevant to single-molecule experiments, in resource theories. Resource theories have been used to model exchanges of energy and information. Recently, particle exchanges were modeled; and an umbrella family of thermodynamic resource theories was proposed to model diverse baths, interactions, and free energies. This paper motivates and details the family’s structure and prospective applications. How to model electrochemical, gravitational, magnetic, and other thermodynamic systems is explained. Szilárd’s engine and Landauer’s Principle are generalized, as resourcefulness is shown to be convertible not only between information and gravitational energy, but also among diverse degrees of freedom. Extensive variables are associated with quantum operators that might fail to commute, introducing extra nonclassicality into thermodynamic resource theories. An early version of this paper partially motivated the later development of noncommutative thermalization. This generalization expands the theories’ potential for modeling realistic systems with which small-scale statistical mechanics might be tested experimentally.

Resource theory for work and heat

Several recent results on thermodynamics have been obtained using the tools of quantum information theory and resource theories. So far, the resource theories utilised to describe thermodynamics have assumed the existence of an infinite thermal reservoir, by declaring that thermal states at some background temperature come for free. Here, we propose a resource theory of quantum thermodynamics without a background temperature, so that no states at all come for free. We apply this resource theory to the case of many non-interacting systems, and show that all quantum states are classified by their entropy and average energy, even arbitrarily far away from equilibrium. This implies that thermodynamics takes place in a two-dimensional convex set that we call the energy-entropy diagram. The answers to many resource-theoretic questions about thermodynamics can be read off from this diagram, such as the efficiency of a heat engine consisting of finite reservoirs, or the rate of conversion between two states. This allows us to consider a resource theory which puts work and heat on an equal footing, and serves as a model for other resource theories.

Beyond heat baths: Generalized resource theories for small-scale thermodynamics.

Thermodynamics has recently been extended to small scales with resource theories that model heat exchanges. Real physical systems exchange diverse quantities: heat, particles, angular momentum, etc. We generalize thermodynamic resource theories to exchanges of observables other than heat, to baths other than heat baths, and to free energies other than the Helmholtz free energy. These generalizations are illustrated with "grand-potential" theories that model movements of heat and particles. Free operations include unitaries that conserve energy and particle number. From this conservation law and from resource-theory principles, the grand-canonical form of the free states is derived. States are shown to form a quasiorder characterized by free operations, d majorization, the hypothesis-testing entropy, and rescaled Lorenz curves. We calculate the work distillable from-and we bound the work cost of creating-a state. These work quantities can differ but converge to the grand potential in the thermodynamic limit. Extending thermodynamic resource theories beyond heat baths, we open diverse realistic systems to modeling with one-shot statistical mechanics. Prospective applications such as electrochemical batteries are hoped to bridge one-shot theory to experiments.

Entropy, majorization and thermodynamics in general probabilistic theories

In this note we lay some groundwork for the resource theory of thermodynamics in general probabilistic theories (GPTs). We consider theories satisfying a purely convex abstraction of the spectral decomposition of density matrices: that every state has a decomposition, with unique probabilities, into perfectly distinguishable pure states. The spectral entropy, and analogues using other Schur-concave functions, can be defined as the entropy of these probabilities. We describe additional conditions under which the outcome probabilities of a fine-grained measurement are majorized by those for a spectral measurement, and therefore the "spectral entropy" is the measurement entropy (and therefore concave). These conditions are (1) projectivity, which abstracts aspects of the Lueders-von Neumann projection postulate in quantum theory, in particular that every face of the state space is the positive part of the image of a certain kind of projection operator called a filter; and (2) symmetry of transition probabilities. The conjunction of these, as shown earlier by Araki, is equivalent to a strong geometric property of the unnormalized state cone known as perfection: that there is an inner product according to which every face of the cone, including the cone itself, is self-dual. Using some assumptions about the thermodynamic cost of certain processes that are partially motivated by our postulates, especially projectivity, we extend von Neumann's argument that the thermodynamic entropy of a quantum system is its spectral entropy to generalized probabilistic systems satisfying spectrality.