Abstract
One of the principal objectives of quantum thermodynamics is to explore quantum effects and their potential beneficial role in thermodynamic tasks like work extraction or refrigeration. So far, even though several papers have already shown that quantum effect could indeed bring quantum advantages, a global and deeper understanding is still lacking. Here, we extend previous models of autonomous machines to include quantum batteries made of arbitrary systems of discrete spectrum. We establish their actual efficiency, which allows us to derive an efficiency upper bound, called maximal achievable efficiency, shown to be always achievable, in contrast with previous upper bounds based only on the Second Law. Such maximal achievable efficiency can be expressed simply in term of the apparent temperature of the quantum battery. This important result appears to be a powerful tool to understand how quantum features like coherence but also manybody correlations and nonthermal population distribution can be harnessed to increase the efficiency of thermal machines.
Introduction
Quantum machines aim to attend to technological and experimental needs^{1,2} of nanoscale noninvasive devices capable of cooling or loading energy in single quantum systems (e.g. nanoresonators, cantilevers, atoms). A parallel objective is to explore to which extent genuine quantum effects can assist or enhance the performance of such machines like they do for quantum computation and quantum metrology. Some of the most notorious quantum and nonequilibrium characteristics, quantum coherence and correlations, where shown in^{3} to turn quantum thermodynamics intrinsically different from its classical counterpart. It is therefore essential to investigate what is their impact on quantum machines. Following this objective, several papers on cyclic machines investigate the effect of quantum coherence^{4,5,6,7,8,9}, manybody correlations^{9,10,11,12,13,14,15,16,17,18,19,20}, and other nonthermal characteristics (mainly squeezing)^{21,22,23,24,25,26} on thermodynamic tasks (refrigeration or work/energy extraction). Similarly, studies investigated the effects of coherence^{27} and correlations^{28} on semiclassical continuous machines (simultaneous and continuous interaction with both the cold and hot baths) driven by external controls (Fig. 1, panel a).
However, such cyclic or semiclassical machines require timedependent external controls, raising questions regarding the energetic cost of such operations^{29} and doubts about the overall energetic balance of the machines. Moreover, contacts with classical systems (necessary for external controls) make them not wellfitted for noninvasive and local applications. Above all, the study of quantum effects in such machines often requires baths in very unprobable nonthermal states (and very demanding energetically and experimentally to prepare). A more viable alternative to baths is offered by the collisional model. Nevertheless, its requirement of short and repeated interactions together with a high number of reinitializations or preparations of identical systems also represents experimental difficulties.
One promising alternative avoiding the above drawbacks is autonomous machines. Differently from cyclic and semiclassical machines (shown to be equivalent^{30}), autonomous machines operate autonomously with no need of external work or controls (which ensures that all energetic and entropic contributions are taken into account). The absence of external controls makes them more suitable for nanoscale and noninvasive operations. Most studies focus on autonomous machines involving three thermal baths, sometimes called absorption refrigerators (Fig. 1, panel b), where one of the bath plays the role of the energy source of the machine^{31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49}.
Nevertheless, there is an other type of autonomous machines whose source of energy comes from a quantum battery, namely an ancillary system of finite size (i.e. not a bath) (Fig. 1, panel c). The quantum battery interacts continuously with the machine, offering naturally a platform more adapted and convenient than baths to explore quantum and nonthermal effects. Such machines are more challenging theoretically than semiclassical machines or than absorption refrigerators due to the continuous interaction with the quantum battery which cannot be treated as a bath. Methods used for cyclic machines cannot be applied for these autonomous machines. Instead, one has to establish the dissipative dynamics of the working media together with the quantum battery, which becomes a particularly complex task since their total Hamiltonian is not necessarily diagonalisable (due to their interaction). Such machines received little attention so far. Indeed, it is still unclear whether quantum and nonthermal effects can bring advantages to autonomous thermal machines. Previous studies, pioneered in^{50} and continued in^{51,52,53} already started to address this problem and provided a general upper bound. However, such upper bound gives little information about the specific role of coherence and correlations. Moreover, its attainability is not certain and not discussed.
Here, we study in details the impact of quantum and nonthermal features on the performance of autonomous thermal machines in a broadly extended framework. After establishing the actual efficiency we provide the maximal achievable efficiency. Interestingly, it can be expressed simply in term of the concept of apparent temperature introduced in^{3}. This allows us to investigate straightforwardly the impact on autonomous thermal machines of three nonthermal features: quantum coherence, manybody correlations, and nonthermal population distribution.
Results
The model
The aim of a thermal machine is to reverse the natural heat flow between two thermal baths C and H of different temperature T_{C} and T_{H}, respectively, or to extract work (or energy) from them. This is achieved by introducing a system S interacting with both C and H. Even though we could realise refrigeration or energy extraction with only one single system, traditionally S is used as a connection between the baths and a quantum battery (an ancillary system) which provides or stores energy. We denotes such quantum battery by R. The connecting system S is often called working medium. For semiclassical or cyclic machines, R is not included in the physical description and thus behaves as a classical system. By contrast, in autonomous thermal machines, R is included in the physical description and the ensemble SRCH is assumed to evolve unitarily through a timeindependent Hamiltonian (ensuring no external source of work). Although no coupling is considered between R and the baths, they end up interacting indirectly (through S). The global Hamiltonian is H_{global} = H_{S} + H_{R} + H_{B} + V_{SR} + V_{SB}, where H_{X}, X = S, R, B are free Hamiltonians of the corresponding subsystems and B collectively denotes the two baths C and H. V_{SR} (V_{SB}) is the coupling Hamiltonian between S and R (B). In the following we regroup the terms H_{S}, H_{R} and V_{SR} under the notation \({H}_{SR}\,:\,={H}_{S}+{H}_{R}+{V}_{SR}\).
From the point of view of the Second Law, expressed and discussed in Methods (‘Upper bound from the Second Law’), it might seem that one just needs to inject energy and/or entropy in order to realise a thermal machine. However, it is no so simple. One has to design a device whose dynamics actually inverts the natural heat flow. The second law only provides limits on the performance, but gives no clue about how to realise such machines. Our model is an extension of the one introduced in^{52,53}. One of the key feature is that S and R are dispersively coupled through an Hamiltonian of the form V_{SR} = gN_{S}A_{R} (ħ = 1) where g characterises the strength of the coupling, A_{R} is an observable of R, and N_{S} = αH_{S} with α a positive constant. We justify the use of a dispersive coupling in Methods (‘Why dispersive coupling?’) showing that it seems to be the only universal coupling allowing for refrigeration or energy extraction for any working media. In order to avoid heat leaks and optimise the efficiency the working medium S has to be resonant with only one of the two baths (otherwise energy will flow directly through S from the hot bath to the cold). The other bath has to be resonant with SR in order to get R involved in the dynamics. Thermal machines with multiple resonances with the baths are possible although more complex, therefore we focus on the simpler design with only one resonant transition per bath. Then, we assume that C is resonant with S, denoting by ω_{0} the corresponding transition frequency, and H is resonant with SR at the frequency ω_{0} + ν_{0} (see Fig. 2), where ν_{0} is a transition frequency of R (the choice H resonant with ω_{0} and C with ω_{0} − ν_{0} yields equivalent dynamics).
One should note that R can have other transitions. If so, the width of the bath spectral density G_{H} (G_{C}) of the hot (cold) bath (defined in (34) and (35)) might need to be reduced in order to avoid resonance with these other transitions. Such baths, if not available directly, can be obtained through filtering or coupling to an intermediary twolevel system^{35,39,42,47,52,53,54}. Consequently, instead of a harmonic oscillator as quantum battery (as in^{51,52,53}) we can consider a large class of systems, namely arbitrary system of discrete spectrum (such that the resonance conditions can be satisfied through bath engineering when necessary). In principle, the same is valid for S. However, in order to simplify the derivation of the main results we restrict S to be either a twolevel system (as in^{52,53}) or a harmonic oscillator, which provides more flexibility and possibilities for experimental realisations.
The coupling with the baths are considered of the following general form V_{SB} = A_{S}A_{B}, where A_{S}, A_{B} = λ_{H}A_{H} + λ_{C}A_{C} are observables of S, H, and C respectively, and the constant λ_{H} (λ_{C}) characterises the strength of the coupling between S and H (C). In the following, such constant are included in A_{C} and A_{H}, respectively.
Dynamics
Assuming a weak coupling with the baths (λ_{H} and λ_{C} much smaller than the inverse of the bath correlation times) we use the BornMarkov approximation and the formalism of^{55} to derive corrections to the local approach^{56} of the master equation of SR. The exact global approach^{57,58} is intractable in general. The main steps of the derivation are described in Methods ‘Expression of the baths’ dissipative operators’. The effects of V_{SR} are taken into account up to second order in g/ν_{0} for weak coupling \(g\ll {\nu }_{0}\) and \(g\ll {\lambda }_{C}\), λ_{H}. Under such conditions R evolves slowly through the (indirect) influence of the bath H, at a timescale \({\tau }_{R}\,:\,={({G}_{C}({\omega }_{0})\frac{{g}^{2}}{\nu {}^{2}})}^{1}\). τ_{R} is much larger than the timescale \({\tau }_{es}\,:\,={[{G}_{C}({\omega }_{0})]}^{1}\) under which S is brought to a quasi steady state (thermal state at temperature T_{C} with corrections of order g/ν_{0}) due to its resonant interaction with C. Moreover, defining the internal energy of the subsystem X = R, S, or RS as \({E}_{X}\,:\,={\langle {H}_{X}\rangle }_{{\rho }_{SR}}\) (using the notation \({\langle {\mathscr{O}}\rangle }_{\rho }\) to denote \({\rm{Tr}}\rho {\mathscr{O}}\) the expectation value of the operator \({\mathscr{O}}\) in the state ρ), one can show that \({\dot{E}}_{S}={\mathscr{O}}({g}^{3}/{\nu }_{0}^{3})\) for times much larger than τ_{es}. It means that S can be regarded as “energetically in steady state” so that the energy (in form of quanta ν_{0}) slowly provided by R is transferred to H together with energy taken from C (in form of quanta ω_{0}) in order to satisfy the resonance condition of H (ω_{0} + ν_{0}). This leads to the refrigeration of C and happens only if the condition (5) is fulfilled. Eventually, after long times (much larger than τ_{R}) R reaches a steady state and the machine stops working. This is the price to pay for using finite size quantum batteries. In the remainder of the paper we consider the above regime of \(t\gg {\tau }_{es}\).
The heat flow from the bath j = H, C to the ensemble SR is defined as^{59}
where \({\rho }_{SR}^{I}\) denotes the density matrix in the interaction picture with respect to H_{SR}, and the dissipator \({ {\mathcal L} }_{j}\) corresponds to the action of the bath j = H, C on SR. According to the above definitions the following equality holds (First Law) \({\dot{E}}_{SR}={\dot{Q}}_{SR/H}+{\dot{Q}}_{SR/C}\). For times much larger than τ_{es}, the heat flow leaving the cold bath, obtained by introducing the expression of \({ {\mathcal L} }_{C}\) in (1), is (see details in Methods and Supplementary Information)
The above expression is a generalisation of the one obtained in^{52,53,60} for harmonic oscillators (the Boltzmann constant is set equal to 1). A_{R}(ν_{0}) and \({A}_{R}^{\dagger }({\nu }_{0})\) are the eigenoperators for the transition energy ν_{0}, defined by \({A}_{R}({\nu }_{0})={\sum }_{\varepsilon ^{\prime} \varepsilon ={\nu }_{0}}\,{\rm{\Pi }}(\varepsilon ){A}_{R}{\rm{\Pi }}(\varepsilon ^{\prime} )\) (and the hermitian conjugate for \({A}_{R}^{\dagger }({\nu }_{0})\)), with Π(ε) being the projector onto the eigenspace of H_{R} associated to the eigenenergy ε. Moreover, the following relations hold for \(t\gg {\tau }_{es}\),
Actual (universal) efficiency
We focus firstly on refrigeration. The energy extraction regime will be treated in a second time. The efficiency refrigeration η_{r} is defined as the ratio of the heat extracted from C, accounted by \({\dot{Q}}_{SR/C}\), by the energy invested (and provided by R), accounted by −\({\dot{E}}_{R}\), \({\eta }_{r}\,:=\frac{{\dot{Q}}_{SR/C}}{{\dot{E}}_{R}}\). From the above relation (3) we deduce that
Remarkably, the efficiency is constant and independent from the initial state of R. This is contrasting with the intuition created by the Second Law and its associated upper bound (19). Equation (4) extends to quantum batteries of discrete spectrum in any state the result already known for thermal twolevel systems or thermal baths^{38,46,54}. However, one should note that even though the actual efficiency does not depend on the initial state of R, the power of the machine does depend on it, but also the operating regime (refrigeration or energy extraction). Alternatively, for a given state of R, one can ask what is the maximum achievable efficiency (adjusting parameters of the setup like the resonance ω_{0}). This is the object of the next paragraph.
Maximal achievable efficiency
From (4) one can see that in order to increase the efficiency one only needs to increase ω_{0}. However, if ω_{0} is too large, the refrigerator may stop refrigerating. Then, the value of ω_{0} has to be subjected to the constraint that (2) should remain positive, \({\dot{Q}}_{SR/C}\ge 0\). According to (3) this happens simultaneously with \({\dot{E}}_{R}\le 0\), meaning that R is powering the machine. This leads to the following necessary and sufficient condition for refrigeration,
where \({{\mathscr{T}}}_{R}\) is the apparent temperature of R, defined as
and introduced in^{3}. The above Eq. (5) leads straightforwardly to the maximal achievable efficiency η_{ac} (achieved at zero power, as usual),
The apparent temperature was shown to determine the heat flows between outofequilibrium quantum systems and general reservoir (bath or collisional model)^{3}, appearing as a quantifier of a system’s tendency to cede packets of quantised energy. For thermal states it coincides with the usual temperature (appearing in the Boltzmann distribution). It is therefore remarkable that the maximal achievable efficiency can be expressed in term of the apparent temperature of R. This brings a physically meaningful upper bound: when R is in a thermal state, the achievable upper bound is given by the usual Carnot bound, and when R is in a nonthermal state, the achievable maximal efficiency is simply given by substituting the temperature by the apparent temperature. Furthermore, this reenforces and extends the relevance of the concept of apparent temperature beyond its original framework.
Finally, this result is important for two more reasons. First, it provides an achievable maximal efficiency, which is not provided by previous upper bounds derived from the Second Law. The main reason is that the upper bound (19) deduced from the second law is expressed in term of \(\dot{S}({\rho }_{R})\), the entropy change rate of R. On the other hand, this upper bound is supposed to be reached when the entropy production rate \({\dot{{\rm{\Sigma }}}}_{R}\) (always positive) is equal to zero (sometimes also called the reversibility condition^{61}). However, when \({\dot{{\rm{\Sigma }}}}_{R}\) is equal to zero, \(\dot{S}({\rho }_{R})\) is smaller. In other words, when the upper bound is supposed to be saturated the value of \(\dot{S}({\rho }_{R})\) has changed, bringing doubts whether the upper bound (19) can ever be reached. Moreover, it is not guaranteed that one can ever engineer a machine such that \({\dot{{\rm{\Sigma }}}}_{R}=0\). Such problematics regarding upper bounds were recently discussed in^{61} (for cyclic machines). From an other perspective, the upper bound (19) gives the misleading idea that the efficiency can be increased by increasing the entropy change rate \(\dot{S}({\rho }_{R})\). This is not true in general. The actual efficiency can indeed be expressed as \({\eta }_{r}=\frac{{T}_{C}}{{T}_{H}{T}_{C}}(1+{T}_{H}\frac{{\dot{S}}_{{\rm{fl}}}({\rho }_{R})}{\,{\dot{E}}_{R}})\), obtained by substituting in (19) the entropy change rate \(\dot{S}({\rho }_{R})\) by the flow of entropy \({\dot{S}}_{{\rm{fl}}}({\rho }_{R})\,:\,=\dot{S}({\rho }_{R}){\dot{{\rm{\Sigma }}}}_{R}\). Then, increasing \(\dot{S}({\rho }_{R})\) is not a guarantee of increase of \({\dot{S}}_{{\rm{fl}}}({\rho }_{R})\) and therefore of the efficiency. It has been noted for instance that coherences between nondegenerate levels increase the entropy production but do not affect the flow of entropy^{62}.
Secondly, using the framework introduced in^{3} the result (7) provides crucial information on how quantum and nonequilibrium effects can be harnessed to boost quantum thermal machines. This is detailed in the following paragraphs.
Recovering known results
We first show that the maximum achievable efficiency (7) provides the usual results for the known situations. As already mentioned above, when R is in a thermal state, \({{\mathscr{T}}}_{R}\) coincides with the usual temperature (appearing in the Boltzmann distribution)^{3} and the usual Carnot bound^{34,35,37,38,39,45} is recovered from (7). In the limit of classical batteries, the ladder operators commute, \([{A}_{R}({\nu }_{0}),{A}_{R}^{\dagger }({\nu }_{0})]=0\), and then the associated apparent temperature is \({{\mathscr{T}}}_{R}=+\,\infty \), implying that R behaves as a pure work reservoir. We recover the wellknown observation that classical work reservoirs correspond to infinitetemperature thermal baths^{63}. Finally, if R is a harmonic oscillator in a squeezed thermal state, its apparent temperature can be expressed in terms of the temperature of the thermal excitation T_{R} and the squeezing factor r as (see Supplementary Information), \({{\mathscr{T}}}_{R}={\nu }_{0}\,{[{\rm{l}}{\rm{n}}{\textstyle \tfrac{{\tanh }^{2}r+{e}^{{\nu }_{0}/{T}_{R}}}{{{e}^{{\nu }_{0}/{T}_{R}}\tanh }^{2}r+1}}]}^{1}\), so that when substituting in (7) the maximal achievable efficiency is the analogue of the upper bound derived in^{26,38} for machines powered by squeezed thermal baths.
Effects of coherence
We now combine the framework and results from^{3} to (7). Only levels taking part in transitions of energy ν_{0} contribute to the heat flows (due to the resonance condition). Then, if R has (N + 1) energy levels involved in such transitions, we denote them by n, k〉 with n ∈ [0; N] and k is the degeneracy index running from 1 to l_{n} ≥ 1, l_{n} being the number of degeneracy of the level n (see Fig. 3). In other words, H_{R}n, k〉 = nν_{0}n, k〉 with n ∈ [0; N] and k ∈ [1; l_{n}]. The ladder operator A_{R}(ν_{0}) can be expressed as (using the expression mentioned after (2)),
with \({\alpha }_{n1,n,k,k^{\prime} }\,:\,=\langle n1,k{A}_{R}n,k^{\prime} \rangle \). We assume that all transitions amplitudes α_{n−1,n,k,k′} are equal as it does not change the nature of the results and simplify the expressions. The situation where R is an infinitelevel system (harmonic oscillator) is treated in the following. From the definition (6) we find for the apparent temperature^{3}
where \({\rho }_{n}\,:\,={\sum }_{k=1}^{{l}_{n}}\,\langle n,k{\rho }_{R}n,k\rangle \) is the sum of the populations of the degenerate levels of energy nω, and \({c}_{n}\,:\,={\sum }_{k\ne k^{\prime} \in [1,{l}_{n}]}\,\langle n,k{\rho }_{R}n,k^{\prime} \rangle \) is the sum of the coherences between these same degenerate levels. The corresponding maximal achievable efficiency can be rewritten as
where \({{\mathscr{T}}}_{0}\,:\,={\nu }_{0}{(\mathrm{ln}{\rho }^{}/{\rho }^{+})}^{1}\) is the apparent temperature of R without coherence (that is all c_{n} equal to 0), and we defined \({{\mathscr{C}}}^{+}\,:\,={\sum }_{n=1}^{N}\,{l}_{n1}{c}_{n}\), \({\rho }^{+}\,:\,={\sum }_{n=1}^{N}\,{l}_{n1}{\rho }_{n}\), \({{\mathscr{C}}}^{}\,:\,={\sum }_{n=1}^{N}\,{l}_{n}{c}_{n1}\), and \({\rho }^{}\,:\,={\sum }_{n=1}^{N}\,{l}_{n}{\rho }_{n1}\).
The result (10) is important as it provides how coherence affects the efficiency. In particular, it is important to note that coherences between levels of different energy do not affect the apparent temperature and therefore do not confer possibilities of efficiency increase. The core mechanism relies on the fact that heat exchanges are controlled by the quantities \({\langle {A}_{R}({\nu }_{0}){A}^{\dagger }({\nu }_{0})\rangle }_{{\rho }_{R}}\) and \({\langle {A}_{R}^{\dagger }({\nu }_{0})A({\nu }_{0})\rangle }_{{\rho }_{R}}\) determined by the populations but also by coherences between degenerated states of R which ends up affecting the apparent temperature^{3} and the achievable efficiency (see Fig. 3). The overall balance, which is not always beneficial for the efficiency, is reflected in (10). Coherences increase the maximal achievable efficiency if and only if
Moreover, \({{\mathscr{C}}}^{\pm }\) can take value close to ρ^{±} (with the restriction of positivity and \({{\mathscr{C}}}^{+}+{\rho }^{+}\ge 0\) and \({{\mathscr{C}}}^{}+{\rho }^{}\ge 0\)), which can generate great increase of achievable efficiency.
As an example we mention the phaseonium^{4,5}, which is a threelevel system with exited state a〉 and two (quasi)degenerated ground states b〉 and c〉 (sometimes referred as the Λconfiguration). For such system, \({{\mathscr{C}}}^{+}=0\), \({{\mathscr{C}}}^{}={c}_{0}=\langle b{\rho }_{R}c\rangle +\langle c{\rho }_{R}b\rangle \), and ρ^{−} = ρ_{0} = 〈bρ_{R}b〉 + 〈cρ_{R}c〉, so that the maximal achievable efficiency would be \({\eta }_{{\rm{ac}}}=\tfrac{{T}_{C}}{{T}_{H}{T}_{C}}\,[1\tfrac{{{\mathscr{T}}}_{H}}{{{\mathscr{T}}}_{0}}\tfrac{{T}_{H}}{{\nu }_{0}}\,\mathrm{ln}(1+{c}_{0}/{\rho }_{0})]\). Then, one finds that the coherence in the phaseonium increases the maximal achievable efficiency if and only if c_{0} < 0, yielding large increases when c_{0} takes values close to −ρ_{0}.
Conversely, if the system used is a threelevel system in the Vconfiguration (a〉 is the ground state, b〉 and c〉 are the degenerated excited states), the maximal achievable efficiency takes the form, \({\eta }_{{\rm{ac}}}=\tfrac{{T}_{C}}{{T}_{H}{T}_{C}}\)\([1\tfrac{{T}_{H}}{{{\mathscr{T}}}_{0}}+\tfrac{{T}_{H}}{{\nu }_{0}}\,\mathrm{ln}(1+{c}_{1}/{\rho }_{1})]\), with c_{1} = 〈bρ_{R}c〉 + 〈cρ_{R}b〉 and ρ_{1} = 〈bρ_{R}b〉 + 〈cρ_{R}c〉. The conclusion is opposite to the previous one: coherence increases the maximal achievable efficiency if and only if c_{1} > 0.
Effects of correlations
In this paragraph we assume that R is an ensemble of N noninteracting subsystems (not necessarily identical neither with finite number of levels) of same transition energy ν_{0} (Fig. 4). We require the following important condition that all the N subsystems appear indistinguishable to S (which usually requires confinement in a volume smaller than typical length scales of S). Upon the above conditions the N subsystems interact collectively with S and the ladder operator A_{R}(ν_{0}) is a collective ladder operator, \({A}_{R}({\nu }_{0})={\sum }_{i=1}^{N}\,{A}_{i}({\nu }_{0})\), where A_{i}(ν_{0}) is the ladder operator of the subsystem i (with the same properties as above). Then, applying definition (6), the apparent temperature of the ensemble R is,
where c is the sum of the correlations (and product of local coherences, see^{3}), \(c\,:\,={\sum }_{i\ne j=1}^{m}\,{\langle {A}_{i}({\nu }_{0}){A}_{j}^{\dagger }({\nu }_{0})\rangle }_{{\rho }_{R}}\) = \({\sum }_{i\ne j=1}^{m}\,{\langle {A}_{i}^{\dagger }({\nu }_{0}){A}_{j}({\nu }_{0})\rangle }_{{\rho }_{R}}\). As previously with coherence, correlations act as populations, and their impact on the apparent temperature can be significant, enabling high efficiency increases. The maximal achievable efficiency is
where \({{\mathscr{T}}}_{0}\,:\,={\nu }_{0}{(\mathrm{ln}{n}^{}/{n}^{+})}^{1}\) is the apparent temperature in the absence of correlation, and we defined \({n}^{}\,:\,={\sum }_{i=1}^{m}\,{\langle {A}_{i}({\nu }_{0}){A}_{i}^{\dagger }({\nu }_{0})\rangle }_{{\rho }_{R}}\), and \({n}^{+}\,:\,={\sum }_{i=1}^{m}\,{\langle {A}_{i}^{\dagger }({\nu }_{0}){A}_{i}({\nu }_{0})\rangle }_{{\rho }_{R}}\).
The same comments made in the previous paragraph on the role of coherence are valid here as well. The achievable efficiency is increased if and only if
or in other words if and only if c ≥ 0 when \({{\mathscr{T}}}_{0}\ge 0\) (and the opposite when \({{\mathscr{T}}}_{0}\le 0\)).
As illustrative example we mention N twolevel systems in Dicke states (Fig. 4), \(N,{n}_{e}\rangle \,:\,=\)\(\sqrt{\frac{{n}_{e}!}{N!{n}_{g}!}}{({\sum }_{i=1}^{N}{\sigma }_{i}^{})}^{{n}_{g}}{\otimes }_{i=1}^{N}e{\rangle }_{i}\)^{64,65}, where n_{e} represents the number of delocalised excitations and \({n}_{g}\,:\,=N{n}_{e}\) is the number of ground states. The corresponding maximal achievable efficiency is \({\eta }_{{\rm{ac}}}=\frac{{T}_{C}}{{T}_{H}{T}_{C}}[1\frac{{T}_{H}}{{{\mathscr{T}}}_{0}}\frac{{T}_{H}}{{\nu }_{0}}\,\mathrm{ln}\,\frac{1+{n}_{e}}{1+{n}_{g}}]\), where \({{\mathscr{T}}}_{0}\,:\,={\nu }_{0}{(\mathrm{ln}\frac{{n}_{g}}{{n}_{e}})}^{1}\). It appears then that the correlations present in the Dicke state increase the maximal achievable efficiency only for noninverted states (n_{g} ≥ n_{e}), equivalent to \({{\mathscr{T}}}_{0}\ge 0\). As a comparison, we consider harmonic oscillators in a collective excitation state (analogue to Dicke states), and we obtain \({\eta }_{{\rm{ac}}}=\frac{{T}_{C}}{{T}_{H}{T}_{C}}[1\frac{{T}_{H}}{{{\mathscr{T}}}_{0}}\frac{{T}_{H}}{{\nu }_{0}}\,\mathrm{ln}\,\frac{{n}_{e}}{{n}_{e}+N}]\), where as previously n_{e} stands for the number of collective excitations and N is the number of harmonic oscillators. Interestingly, although the correlations increase with the number of excitations n_{e}, the impact on the apparent temperature shrinks away with n_{e} (but the power is increased).
Effect of nonthermal population distribution
No benefit from the above results can be obtained if R is a nondegenerated single system. However, alternative nonthermal features can be found to increase the apparent temperature and therefore the maximal achievable efficiency of the machine. For thermal states, temperature and mean energy are in onetoone correspondence. By contrast, as long as H_{R} is not proportional to \({A}_{R}^{\dagger }({\nu }_{0}){A}_{R}({\nu }_{0})\), the apparent temperature is not determined by the average energy E_{R}. This implies that, differently from thermal states, nonthermal states of same energy E_{R} can have different apparent temperature. Then, nonthermal population distributions can appear hotter (lower inverse apparent temperature) than thermal states of same energy E_{R}, providing therefore a higher efficiency (see Fig. 5). For a system of N + 1 levels (of transition energy ν_{0}), the apparent temperature can be rewritten as \({{\mathscr{T}}}_{R}={\nu }_{0}{(\mathrm{ln}\frac{1{\rho }_{N}}{1{\rho }_{0}})}^{1}\), where ρ_{N} and ρ_{0} denote the populations in the most excited state and in the ground state, respectively, yielding a maximal achievable efficiency of
As an example, for a 3level system, one can exhibit nonthermal states with values of \({{\mathscr{T}}}_{R}/{\nu }_{0}\) up to 50% higher than the temperature of thermal states of same average energy E_{R}. For N ≥ 4 this is even more drastic since one can find nonthermal states with \({{\mathscr{T}}}_{R}\) equal to infinity or even negative while their thermal state counterparts of same energy have positive and finite temperatures (see Supplementary Information).
We look now at the most common infinitelevel system, the harmonic oscillator (of frequency ν_{0}). The eigenoperators are the usual operator of creation and annihilation, a = A_{R}(ν_{0}) and \({a}^{\dagger }={A}_{R}^{\dagger }({\nu }_{0})\). Then, H_{R} is proportional to \({A}_{R}^{\dagger }({\nu }_{0}){A}_{R}({\nu }_{0})={a}^{\dagger }a\), which implies that the apparent temperature and the maximal achievable efficiency are completely determined by E_{R}. In other words, there is no special effects from nonthermal states. This points out that no matter under which form the energy is stored in R, it powers the refrigerator with the same efficiency. In particular, the same increase of efficiency achieved by squeezing can be achieved with temperature increase by investing the same amount of energy: squeezed states are as efficient as thermal states.
Energy Extraction
The above considerations can be straightforwardly extended to energy extraction regime. Such machines operate with opposite heat flows as compared with the above refrigerators, and thus the extracting conditions are found to be opposite to the refrigeration condition (5),
The efficiency η_{e} of the energy extraction process is naturally defined by the amount of extracted energy, accounted by \({\dot{E}}_{R}\), divided by the energy invested, accounted by \({\dot{Q}}_{SR/H}\), \({\eta }_{e}\,:\,={\dot{E}}_{R}/{\dot{Q}}_{SR/H}\). From (3) one obtains the following expression for the efficiency, \({\eta }_{e}={\nu }_{0}/({\omega }_{0}+{\nu }_{0})+{\mathscr{O}}({g}^{3}/{\nu }_{0}^{3})\), which, as for the refrigeration regime, is constant. The corresponding upper bound follows directly from (16),
and is determined again by the apparent temperature of R (assumed larger than T_{C}, otherwise the energy extraction is trivial). The above results and comments valid for refrigeration are also applicable in the energy extraction regime. Moreover, R is expected to reach a steady state characterised by \({\dot{E}}_{R}=0\) which corresponds to an apparent temperature equal to ν_{0}[(ω_{0} + ν_{0})/T_{H} − ω_{0}/T_{C}]^{−1} (taking value outside of the interval [T_{C}; T_{H}]). Therefore, one can see that the higher the efficiency, the lower the steady state apparent temperature and the sooner the machine stops extracting energy (and conversely). This effect together with the interplay with bathinduced coherences and correlations in the steady state deserves further investigations.
Discussion
We explore autonomous machines, a platform naturally adapted to investigate quantum effects in thermodynamic tasks. The existing designs of autonomous thermal machines are broadly extended (from quantum batteries made of single harmonic oscillators to arbitrary system of single energy transition or even discrete spectrum). In order to inspect more deeply perspectives of quantum boosts potentially hidden in previous upper bounds based on the Second Law we establish the actual efficiency of autonomous machines. This enables us to determine the maximal achievable efficiency. Thanks to the apparent temperature introduced in^{3}, it takes a simple an physically meaningful expression: the maximal achievable efficiency corresponds to the Carnot bound substituting the usual temperature by the apparent temperature of the quantum battery. Beyond increasing the validity and relevance of the apparent temperature, this happens to be an enlightening tool to understand the role of coherence, manybody correlations, and additional nonthermal characteristics in autonomous machines. Namely, as shown in^{3}, coherence and correlations contribute to heat flows together with the populations. Consequently, the usual population balance is modified which results in affecting the apparent temperature. The overall balance on the achievable efficiency is given in (10) and (13), providing conditions for coherence and correlations to be beneficial, but also quantifying the resulting advantages. These results together with the broad validity of our model is expected to be fundamental in the realisation of autonomous thermal machines boosted by quantum and nonthermal effects.
Methods
Upper bound from the Second Law
We detail in this paragraph the performances that can be ideally expected from such machines according to the Second Law of Thermodynamics. Under the Markovian approximation and following^{59,63,66} the Second Law applied to the ensemble SR interacting with baths C and H takes the form of Spohn’s inequality^{67},
where S(ρ_{SR}) = −Tr{ρ_{SR} ln ρ_{SR}} is the von Neumann entropy of the state ρ_{SR}, and T_{H} and T_{C} are the temperatures of H and C, respectively. For S in a steady state (as required for a continuous machines^{35,47,52,53,66}), we derive from the energy conservation (First Law) and from the Second Law (18) the following upper bound for the efficiency,
where \({\rho }_{R}\,:\,={{\rm{Tr}}}_{S}{\rho }_{SR}\).
Interestingly, this expression shows explicitly the decoupling of entropy and energy for nonthermal states. The two usual situations can also be recovered from (19). Namely, when R provides energy without any entropy cost, corresponding to \(\dot{S}({\rho }_{R})=0\) and usually identified as work (Fig. 1, panel a), and when R is a thermal bath, where energy and entropy are bound by the relation \(\dot{S}({\rho }_{R})={\dot{E}}_{R}/{T}_{R}\), which corresponds to the absorption refrigerator (Fig. 1, panel b). In both situations the corresponding Carnot bound is recovered from (19). The present study goes beyond these two usual situations (Fig. 1, panel c) and shows how quantum coherence, manybody correlations, and nonthermal population distribution can be exploited to boost autonomous thermal machines. The upper bound (19) was already derived in^{51,52,53}. However, its attainability is not proven, and as discussed in the main text, there are several reasons to believe that it is not achievable.
Why dispersive coupling?
We consider the action of the baths H and C denoted collectively by B on the ensemble SR and adapt the formalism of Breuer and Petruccione’s book^{55} to derive corrections to the local approach of the master equation of the reduced dynamic of ρ_{SR}^{56}. Assuming the bath couplings are weak (λ_{C} and λ_{H} much smaller than the inverse of the bath correlation times), we start from the Redfield equation incremented with Markov approximation. This corresponds to Eq. (3.118) in^{55}, (setting ħ = 1),
where the superscript I denotes the interaction picture with respect to H_{SR} + H_{B}, namely \({\rho }_{SR}^{I}(t)\,:\,={e}^{i{H}_{SR}t}{\rho }_{SR}{e}^{i{H}_{SR}t}\), \({V}_{SB}^{I}(t)\,:\,={e}^{i({H}_{SR}+{H}_{B})t}{V}_{SB}{e}^{i({H}_{SR}+{H}_{B})t}\) = \({A}_{S}^{I}(t){\tilde{A}}_{B}(t)\), with \({A}_{S}^{I}(t)\,:\,={e}^{i{H}_{SR}t}{A}_{S}{e}^{i{H}_{SR}t}\). We introduced the different notation of operators bearing tilde to denote interaction picture with respect to the free Hamiltonian of the corresponding subsystems, so that \({\tilde{A}}_{B}(t)\,:\,={e}^{i{H}_{B}t}{A}_{B}{e}^{i{H}_{B}t}\). In the following we consider that λ_{H} (λ_{C}) is included in A_{H} (A_{C}). We define the rate of change of \({\rho }_{SR}^{I}\) only due to the interaction with the bath j as
where ρ_{j} denotes the density matrix of the bath j and \({V}_{Sj}^{I}(ts)\) denotes the operator \({V}_{Sj}\,:\,={A}_{S}{A}_{j}\) (with λ_{j} included within A_{j}) in the interaction picture defined above. One should note that since the baths are assumed to be thermal (and to remain independent), the following equality holds,
We are ultimately interested in the heat flow from the bath j = H, C entering SR defined in (1). Injecting the above expression (21) of \({\dot{\rho }}_{SR{}_{j}}^{I}\) in (1) one obtains,
In the reminder of the Supplementary Material (as well as in the main text), we use the notation \({\langle {\mathscr{O}}\rangle }_{\rho }\) to denote the expectation value of the operator \({\mathscr{O}}\) in the state ρ. Interestingly, the commutator appearing in the above expression can be calculated as follow,
Then, it appears that if N_{S} (the observable realising the coupling between S and R) commutes with A_{S} (the observable involved in the coupling between S and the baths), the heat flows between SR and the baths do not involve actively R. In other words one would have \({\dot{Q}}_{SR/j}={\dot{Q}}_{S/j}\), meaning that the energy contained in R and the correlations V_{SR} is constant, which does not seem very promising for a thermal machine powered by R. More generally, if [N_{S}, A_{S}] = \(\kappa {\mathbb{I}}\), where \({\mathbb{I}}\) stands for the identity and κ is a complex number, the heat flow becomes
In the second term of the righthand side, contributions of first and second order in g are rapidly oscillating (at combinations of frequencies ω_{0} and ν) so that they cancel out on average (secular approximation). Consequently, we obtain \({\dot{Q}}_{SR/j}={\dot{Q}}_{S/j}+{\mathscr{O}}({g}^{3}/\nu {}^{3})\), which again is problematic for a thermal machine. For each kind of system S (in particular for S a twolevel system or a harmonic oscillator), there are several possible choices for N_{S} to avoid \([{N}_{S},{A}_{S}]=\kappa {\mathbb{I}}\). However, the only choice that avoid the problem simultaneously for both harmonic oscillators and twolevel systems (and therefore for any other systems) is N_{S} = αH_{S} where α is a real number. For this reason we choose such coupling (dispersive coupling) between S and R.
Expression of the bath dissipative operators
The derivation of the reduced dynamics of SR (following^{55}) requires the decomposition of \({A}_{S}^{I}(t)\) in the form \({A}_{S}^{I}(t)={\sum }_{{\rm{\Omega }}}\,{e}^{i{\rm{\Omega }}t}{\mathscr{A}}({\rm{\Omega }})\) where the operators \({\mathscr{A}}({\rm{\Omega }})\) are eigenoperators of H_{SR} (also called ladder operators) verifying the relation \([{H}_{SR},{\mathscr{A}}({\rm{\Omega }})]=\,{\rm{\Omega }}{\mathscr{A}}({\rm{\Omega }})\), and the sum runs over an ensemble of frequencies Ω generated by combinations of the transition frequencies ω and ν of S and R, respectively. The difficulty here comes from the interaction term V_{SR} which turns the Hamiltonian H_{SR} nondiagonalisable. As a consequence such eigenoperator decomposition is only approximately accessible through an expansion in term of the coupling strength g between S and R. We detail in the following the main steps leading to such decomposition. We start with
where \({\mathscr{T}}\) and \(\bar{{\mathscr{T}}}\) denote the time ordering and antichronological ordering operators respectively (and \({\tilde{A}}_{R}(u)\,:\,={e}^{i{H}_{R}u}{A}_{R}{e}^{i{H}_{R}u}\)). For the system X = S, R, we decompose A_{X} in a sum of eigenoperators A_{X}(ν)^{55} as introduced after (2), so that \({\tilde{A}}_{X}(u)={\sum }_{\nu \in { {\mathcal E} }_{X}}\,{A}_{X}(\nu ){e}^{i\nu u}\), the sum running over the authorised transition frequencies of X, denoted by the ensemble \({ {\mathcal E} }_{X}\). The eigenoperators verify [H_{X}, A_{X}(ν)] = −νA_{X}(ν) and \({A}_{R}(\,\,\nu )={A}_{R}^{\dagger }(\nu )\) (Hermicity of A_{R}) which implies that if ν belongs to \({ {\mathcal E} }_{R}\) then, −ν too.
To obtain the final expression of the heat flow (2) we restrict S to be a twolevel system or a harmonic oscillator but for now we continue with the general case as simplify the notations. Then, assuming \(g/\nu \ll 1\) for all \(\nu \in { {\mathcal E} }_{R}\) and retaining only contributions up to second order in g/ν, \({A}_{S}^{I}(t)\) can be rewritten as
The operator N_{S} being proportional to H_{S}, the commutator of N_{S} with A_{S}(ω) is [N_{S}, A_{S}(ω)] = −αωA_{S}(ω). Rearranging (27) we finally have a form resembling the eigenoperator decomposition we are looking for,
where for \(\omega \in { {\mathcal E} }_{S}\),
and for \(\omega \in { {\mathcal E} }_{S}\) and \(\nu \in { {\mathcal E} }_{R}\),
One can verify the following identities, \({\mathscr{A}}(\,\,\omega )={{\mathscr{A}}}^{\dagger }(\omega )\), \({\mathscr{C}}(\,\,\omega )={{\mathscr{C}}}^{\dagger }(\omega )\), and \({\mathscr{A}}(\,\,\omega \nu )={{\mathscr{A}}}^{\dagger }(\omega +\nu )\). Terms of second order in g/ν have already been dropped in Eqs (28) and (31) since they generate in the master equation only terms of order 3 and 4. The injection of the decomposition (28) into Eq. (20) brings the following master equation which takes into account the SR coupling up to second order processes,
where the secular approximation^{55} was performed for the terms involving operators \({{\mathscr{A}}}_{S}\), leading to the first two lines of (32). However, for terms involving \({\mathscr{C}}(\omega )t\) the secular approximation is not valid due to the time dependence. The resulting map is denoted by Λ_{t} and is given by
where the complex function Γ(ω) is defined by \({\rm{\Gamma }}(\omega )\,:\,={{\rm{\Gamma }}}_{C}(\omega )+{{\rm{\Gamma }}}_{H}(\omega )\) and
is of second order in the coupling coefficient λ_{j}, for j = C, H. We also define the spectral density of the bath j,
and, \(G(\omega )\,:\,={G}_{H}(\omega )+{G}_{C}(\omega )\). We mention the following useful identity valid for thermal baths (k_{B} = 1),
One should note the presence of the factor t in the second line of (33). Its linear growth in time can end up dominating the loworder terms. We show in the following that its contribution to the energy flow cancels out. However, one could wonder what happen if similar factors appear in higher order terms. Firstly, similar cancellation may happen (however showing it systematically is a challenging task). Secondly, one can easily show that terms of third order grow at most as \(\frac{{g}^{3}}{\nu {}^{3}}\nu t\). Assuming the coupling between S and R smaller than the coupling with the baths, \(g\ll {G}_{C}({\omega }_{0})\), such third order terms might become significant only for times much larger than \({\tau }_{R}\,:\,={({G}_{C}({\omega }_{0})\frac{{g}^{2}}{\nu {}^{2}})}^{1}\) which is the evolution timescale of R and of the energy flows. Similar reasoning can be repeated for higher orders. As a consequence, the contribution from higher orders might become relevant only after R delivered (or stored) a significant amount of energy. Finally, on a more physical ground, one can observe that higher order terms in (27) should be relevant if S and R were interacting in a close dynamics, without the presence of the baths. However, the decohering action of the baths limits the coherence of S and therefore limits also the correlation time between S and R. For weak coupling \(g\ll {\lambda }_{C},\,{\lambda }_{H}\), this dissipates high order processes between S and R. Under these conditions, we limit ourselves to expansions of second order in g/ν_{0}. Considering that all transition energies ν of R are of same order of magnitude, we write \({\mathscr{O}}(\frac{{g}^{3}}{{\nu }_{0}^{3}})\) instead of \({\mathscr{O}}(\frac{{g}^{3}}{\nu {}^{3}})\) (valid also for Section “Results”).
From (32) and the decomposition of Γ(ω) in contributions from each bath one can rewrite the above master equation as
where \({ {\mathcal L} }_{j}\) is the dissipative operator of the bath j, obtained from (32) and (33) by substituting Γ(ω) by Γ_{j}(ω).
Heat flows
We define the heat flow from the bath j = C, H to the system S, R, or SR, denoted by X in the following, as
When X = SR we recover the definition (1). The heat flows are computed by injecting the expression of the bath dissipative operators in the above heat flow definition (38). The calculation leading to (2) is not complex but very cumbersome. The full detail can be found in the Supplementary Information. The main idea guiding the derivation is that S is brought in a time interval of the order \({\tau }_{es}\,:\,={[{G}_{C}({\omega }_{0})]}^{1}\) to a thermal state at temperature T_{C} (up to corrections of order g/ν_{0}) due to its resonant and direct interaction with C. This timescale τ_{es} is much smaller than \({\tau }_{R}={[{G}_{C}({\omega }_{0}){g}^{2}/{\nu }_{0}^{2}]}^{1}\) the evolution timescale of R and of the energy flows. Then, it is legitimate to approximate \({\rho }_{S}^{I}(t)\) by a thermal state at temperature T_{C} in terms of second order in g/ν_{0}. However, the expectation value \({\langle {A}_{S}({\omega }_{0}){A}_{S}^{\dagger }({\omega }_{0})\rangle }_{{\rho }_{S}^{I}(t)}\) appears in the expansion of the expression of the heat flow (38) and is not of second order in g/ν_{0}. Substituting \({\rho }_{S}^{I}(t)\) by the thermal state at the temperature T_{C} is therefore not legitimate. We determine the expectation value \({\langle {A}_{S}({\omega }_{0}){A}_{S}^{\dagger }({\omega }_{0})\rangle }_{{\rho }_{S}^{I}(t)}\) up to second order in g/ν_{0} when S is a harmonic oscillator or a twolevel system (see Supplementary Information). When S is a harmonic oscillator, the resulting expression for the heat flow from the cold bath C is (for \(t\gg {\tau }_{es}\))
For a twolevel system the expression is the same expect for the denominator of the prefactor which is change to G_{C}(ω_{0}) + G_{C}(−ω_{0}) instead of G_{C}(ω_{0}) − G_{C}(−ω_{0}). For both systems the following identity holds,
Furthermore, the rate of variation of E_{S} is \({\dot{E}}_{S}={\mathscr{O}}({g}^{3}/{\nu }_{0}^{3})\) for \(t\gg {\tau }_{es}\) for both systems.
References
 1.
Mohammady, M. H. et al. Lowcontrol and robust quantum refrigerator and applications with electronic spins in diamond. Phys. Rev. A 97, 042124 (2018).
 2.
Silveri, M., Grabert, H., Masuda, S., Tan, K. Y. & Mottonen, M. Theory of quantumcircuit refrigeration by photonassisted electron tunneling. Phys. Rev. B 96, 094524 (2017).
 3.
Latune, C. L., Sinayskiy, I. & Petruccione, F. Apparent temperature: demystifying the relation between quantum coherence, correlations, and heat flows. Quantum Sci. Technol (2018).
 4.
Scully, M. O., Zubairy, M. S., Agarwal, G. S. & Walther, H. Extracting Work from a Single Heat Bath via Vanishing Quantum Coherence. Science 299, 862–864 (2003).
 5.
Scully, M. O. Extracting Work from a Single Heat Bath via Vanishing Quantum Coherence II: Microscopic Model. AIP Conference Proceedings 643, 83–91 (2002).
 6.
Brandner, K., Bauer, M. & Seifert, U. Universal CoherenceInduced Power Losses of Quantum Heat Engines in Linear Response. Phys. Rev. Lett. 119, 170602 (2017).
 7.
Mehta, V. & Johal, R. S. Quantum Otto engine with exchange coupling in the presence of level degeneracy. Phys. Rev. E 96, 032110 (2017).
 8.
Türkpençe, D. & Müstecaplıoǧlu, Ö. E. Quantum fuel with multilevel atomic coherence for ultrahigh specific work in a photonic Carnot engine. Phys. Rev. E 93, 012145 (2016).
 9.
Türkpençe, D., Altintas, F., Paternostro, M. & Müstecaplıoǧlu, Ö. E. A photonic Carnot engine powered by a spinstar network. EPL 117, 50002 (2017).
 10.
Zhang, T., Liu, W.T., Chen, P.X. & Li, C.Z. Fourlevel entangled quantum heat engines. Phys. Rev. A 75, 062102 (2007).
 11.
Wang, H., Liu, S. & He, J. Thermal entanglement in twoatom cavity QED and the entangled quantum Otto engine. Phys. Rev. E 79, 041113 (2009).
 12.
Dillenschneider, R. & Lutz, E. Energetics of quantum correlations. EPL 88, 50003 (2009).
 13.
Hardal, A. Ü. C. & Müstecaplıoǧlu, Ö. E. Superradiant Quantum Heat Engine. Scientific Reports 5, 12953 (2015).
 14.
Altintas, F., Hardal, A. Ü. C. & Müstecaplıoǧlu, Ö. E. Quantum correlated heat engine with spin squeezing. Phys. Rev. E 90, 032102 (2014).
 15.
Altintas, F., Hardal, A. Ü. C. & Müstecaplıoǧlu, Ö. E. Rabi model as a quantum coherent heat engine: From quantum biology to superconducting circuits. Phys. Rev. A 91, 023816 (2015).
 16.
Hardal, A. Ü. C., Paternostro, M. & Müstecaplıoǧlu, Ö. E. Phasespace interference in extensive and nonextensive quantum heat engines. Phys. Rev. E 97, 042127 (2018).
 17.
Doyeux, P., Leggio, B., Messina, R. & Antezza, M. Quantum thermal machine acting on a manybody quantum system: Role of correlations in thermodynamic tasks. Phys. Rev. E 93, 022134 (2016).
 18.
Li, H. et al. Quantum coherence rather than quantum correlations reflect the effects of a reservoir on a system’s work capability. Phys. Rev. E 89, 052132 (2014).
 19.
Jaramillo, J., Beau, M. & Campo, A. D. Quantum supremacy of manyparticle thermal machines. New J. Phys. 18, 075019 (2016).
 20.
Mueller, M. P. Correlating thermal machines and the second law at the nanoscale. arXiv: 1707.03451 [condmat, physics:quantph] (2017).
 21.
Gardas, B. & Deffner, S. Thermodynamic universality of quantum Carnot engines. Phys. Rev. E 92, 042126 (2015).
 22.
Leggio, B. & Antezza, M. Otto engine beyond its standard quantum limit. Phys. Rev. E 93, 022122 (2016).
 23.
Abah, O. & Lutz, E. Efficiency of heat engines coupled to nonequilibrium reservoirs. EPL 106, 20001 (2014).
 24.
Roßnagel, J., Abah, O., SchmidtKaler, F., Singer, K. & Lutz, E. Nanoscale Heat Engine Beyond the Carnot Limit. Phys. Rev. Lett. 112, 030602 (2014).
 25.
Manzano, G., Galve, F., Zambrini, R. & Parrondo, J. M. R. Entropy production and thermodynamic power of the squeezed thermal reservoir. Phys. Rev. E 93, 052120 (2016).
 26.
Huang, X. L., Wang, T. & Yi, X. X. Effects of reservoir squeezing on quantum systems and work extraction. Phys. Rev. E 86, 051105 (2012).
 27.
Niedenzu, W., GelbwaserKlimovsky, D. & Kurizki, G. Performance limits of multilevel and multipartite quantum heat machines. Phys. Rev. E 92, 042123 (2015).
 28.
GelbwaserKlimovsky, D., Niedenzu, W., Brumer, P. & Kurizki, G. Power enhancement of heat engines via correlated thermalization in a threelevel “working fluid”. Scientific Reports 5, 14413 (2015).
 29.
Clivaz, F. et al. Unifying paradigms of quantum refrigeration: how resourcecontrol determines fundamental limits. arXiv: 1710.11624 [condmat, physics:quantph] (2017).
 30.
Uzdin, R., Levy, A. & Kosloff, R. Equivalence of Quantum Heat Machines, and QuantumThermodynamic Signatures. Phys. Rev. X 5, 031044 (2015).
 31.
Brunner, N. et al. Entanglement enhances cooling in microscopic quantum refrigerators. Phys. Rev. E 89, 032115 (2014).
 32.
Brask, J. B. & Brunner, N. Small quantum absorption refrigerator in the transient regime: Time scales, enhanced cooling, and entanglement. Phys. Rev. E 92, 062101 (2015).
 33.
Mitchison, M. T., Woods, M. P., Prior, J. & Huber, M. Coherenceassisted singleshot cooling by quantum absorption refrigerators. New J. Phys. 17, 115013 (2015).
 34.
Palao, J. P., Kosloff, R. & Gordon, J. M. Quantum thermodynamic cooling cycle. Phys. Rev. E 64, 056130 (2001).
 35.
Levy, A. & Kosloff, R. Quantum Absorption Refrigerator. Phys. Rev. Lett. 108, 070604 (2012).
 36.
Venturelli, D., Fazio, R. & Giovannetti, V. Minimal SelfContained Quantum Refrigeration Machine Based on Four Quantum Dots. Phys. Rev. Lett. 110, 256801 (2013).
 37.
Correa, L. A., Palao, J. P., Adesso, G. & Alonso, D. Performance bound for quantum absorption refrigerators. Phys. Rev. E 87, 042131 (2013).
 38.
Correa, L. A., Palao, J. P., Alonso, D. & Adesso, G. Quantumenhanced absorption refrigerators. Scientific Reports 4, 3949 (2014).
 39.
Correa, L. A., Palao, J. P., Adesso, G. & Alonso, D. Optimal performance of endoreversible quantum refrigerators. Phys. Rev. E 90, 062124 (2014).
 40.
Correa, L. A. Multistage quantum absorption heat pumps. Phys. Rev. E 89, 042128 (2014).
 41.
Hofer, P. P. et al. Autonomous quantum refrigerator in a circuit QED architecture based on a Josephson junction. Phys. Rev. B 94, 235420 (2016).
 42.
Mitchison, M. T., Huber, M., Prior, J., Woods, M. P. & Plenio, M. B. Realising a quantum absorption refrigerator with an atomcavity system. Quantum Sci. Technol. 1, 015001 (2016).
 43.
He, Z.C., Huang, X.Y. & Yu, C.S. Enabling the selfcontained refrigerator to work beyond its limits by filtering the reservoirs. Phys. Rev. E 96, 052126 (2017).
 44.
Mari, A. & Eisert, J. Cooling by Heating: Very Hot Thermal Light Can Significantly Cool Quantum Systems. Phys. Rev. Lett. 108, 120602 (2012).
 45.
Linden, N., Popescu, S. & Skrzypczyk, P. How Small Can Thermal Machines Be? The Smallest Possible Refrigerator. Phys. Rev. Lett. 105, 130401 (2010).
 46.
Skrzypczyk, P., Brunner, N., Linden, N. & Popescu, S. The smallest refrigerators can reach maximal efficiency. J. Phys. A: Math. Theor. 44, 492002 (2011).
 47.
Kosloff, R. & Levy, A. Quantum Heat Engines and Refrigerators: Continuous Devices. Annu. Rev. Phys. Chem. 65, 365–393 (2014).
 48.
Maslennikov, G. et al. Quantum Absorption Refrigerator with Trapped Ions. In 2017 European Conference on Lasers and ElectroOptics and European Quantum Electronics Conference (2017) (Optical Society of America, 2017).
 49.
Du, J.Y. & Zhang, F.L. Nonequilibrium quantum absorption refrigerator. New J. Phys. 20, 063005 (2018).
 50.
Tonner, F. & Mahler, G. Autonomous quantum thermodynamic machines. Phys. Rev. E 72, 066118 (2005).
 51.
Boukobza, E. & Ritsch, H. Breaking the Carnot limit without violating the second law: A thermodynamic analysis of offresonant quantum light generation. Phys. Rev. A 87, 063845 (2013).
 52.
GelbwaserKlimovsky, D. & Kurizki, G. Heatmachine control by quantumstate preparation: From quantum engines to refrigerators. Phys. Rev. E 90, 022102 (2014).
 53.
GelbwaserKlimovsky, D. & Kurizki, G. Work extraction from heatpowered quantized optomechanical setups. Scientific Reports 5, 7809 (2015).
 54.
Geusic, J. E., SchulzDuBios, E. O. & Scovil, H. E. D. Quantum Equivalent of the Carnot Cycle. Phys. Rev. 156, 343–351 (1967).
 55.
Breuer, H.P. & Petruccione, F. The Theory of Open Quantum Systems (Oxford University Press, 2007).
 56.
Trushechkin, A. S. & Volovich, I. V. Perturbative treatment of intersite couplings in the local description of open quantum networks. EPL 113, 30005 (2016).
 57.
Levy, A. & Kosloff, R. The local approach to quantum transport may violate the second law of thermodynamics. EPL 107, 20004 (2014).
 58.
González, J. O. et al. Testing the Validity of the ‘Local’ and ‘Global’ GKLS Master Equations on an Exactly Solvable Model. Open Syst. Inf. Dyn. 24, 1740010 (2017).
 59.
Alicki, R. The quantum open system as a model of the heat engine. J. Phys. A: Math. Gen. 12, L103 (1979).
 60.
Ghosh, A., Latune, C. L., Davidovich, L. & Kurizki, G. Catalysis of heattowork conversion in quantum machines. PNAS 114, 12156–12161 (2017).
 61.
Niedenzu, W., Mukherjee, V., Ghosh, A., Kofman, A. G. & Kurizki, G. Quantum engine efficiency bound beyond the second law of thermodynamics. Nature Communications 9, 165 (2018).
 62.
Santos, J. P., Céleri, L. C., Landi, G. T. & Paternostro, M. The role of quantum coherence in nonequilibrium entropy production. arXiv:1707.08946 [quantph] (2017).
 63.
Strasberg, P., Schaller, G., Brandes, T. & Esposito, M. Quantum and Information Thermodynamics: A Unifying Framework Based on Repeated Interactions. Phys. Rev. X 7, 021003 (2017).
 64.
Dicke, R. H. Coherence in Spontaneous Radiation Processes. Phys. Rev. 93, 99–110 (1954).
 65.
Gross, M. & Haroche, S. Superradiance: An essay on the theory of collective spontaneous emission. Physics Reports 93, 301–396 (1982).
 66.
Kosloff, R. Quantum Thermodynamics: A Dynamical Viewpoint. Entropy 15, 2100–2128 (2013).
 67.
Spohn, H. Entropy production for quantum dynamical semigroups. Journal of Mathematical Physics 19, 1227–1230 (1978).
Acknowledgements
This work is based upon research supported by the South African Research Chair Initiative of the Department of Science and Technology and National Research Foundation. C.L.L. acknowledges the support of the College of Agriculture, Engineering and Science of the UKZN.
Author information
Affiliations
Contributions
C.L.L. wrote the main manuscript text and I.S. and F.P. reviewed the manuscript.
Corresponding author
Ethics declarations
Competing Interests
The authors declare no competing interests.
Additional information
Publisher’s note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary information
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Latune, C.L., Sinayskiy, I. & Petruccione, F. Quantum coherence, manybody correlations, and nonthermal effects for autonomous thermal machines. Sci Rep 9, 3191 (2019). https://doi.org/10.1038/s41598019393004
Received:
Accepted:
Published:
Further reading

Groundstate cooling of mechanical resonators by quantum reservoir engineering
Communications Physics (2021)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.