Abstract
The laws of thermodynamics, despite their wide range of applicability, are known to break down when systems are correlated with their environments. Here we generalize thermodynamics to physical scenarios which allow presence of correlations, including those where strong correlations are present. We exploit the connection between information and physics, and introduce a consistent redefinition of heat dissipation by systematically accounting for the information flow from system to bath in terms of the conditional entropy. As a consequence, the formula for the Helmholtz free energy is accordingly modified. Such a remedy not only fixes the apparent violations of Landauer’s erasure principle and the second law due to anomalous heat flows, but also leads to a generally valid reformulation of the laws of thermodynamics. In this informationtheoretic approach, correlations between system and environment store work potential. Thus, in this view, the apparent anomalous heat flows are the refrigeration processes driven by such potentials.
Introduction
Thermodynamics is one of the most successful physical theories ever formulated. Though it was initially developed to deal with steam engines and, in particular, the problem of conversion of heat into mechanical work, it has survived even after the scientific revolutions of relativity and quantum mechanics. Inspired by resource theories, recently developed in quantum information, a renewed effort has been made to understand the foundations of thermodynamics in the quantum domain^{1,2,3,4,5,6,7,8,9,10,11}, including its connections to statistical mechanics^{12,13,14} and information theory^{15,16,17,18,19,20,21,22,23,24,25}. However, all these approaches assume that the system is initially uncorrelated from the bath. In fact, in the presence of correlations, the laws of thermodynamics can be violated. In particular, when there are intersystem correlations, phenomena such as anomalous heat flows from cold to hot baths^{26}, and memory erasure accompanied by work extraction instead of heat dissipation^{24} become possible. These two examples indicate a violation of the second law in its Clausius formulation, and the Landauer’s principle of information erasure^{15} respectively. Due to the interrelation between the different laws of thermodynamics, the zeroth law and the first law can also be violated (see Supplementary Note 4 for simple and explicit examples of these violations).
The theory of thermodynamics can be summarized in its three main laws. The zeroth law introduces the notion of thermal equilibrium as an equivalence relation of states, where temperature is the parameter that labels the different equivalence classes. In particular, the transitive property of the equivalence relation implies that if a body A is in equilibrium with a body B, and B is with a third body C, then A and C are also in equilibrium. The first law assures energy conservation. It states that in a thermodynamic process not all of energy changes are of the same nature and distinguishes between work, the type of energy that allows for “useful” operations as raising a weight, and its complement heat, any energy change which is not work. Finally, the second law establishes an arrow of time. It has several formulations and perhaps the most common one is the Clausius statement, which reads: No process is possible whose sole result is the transfer of heat from a cooler to a hotter body. Such a restriction not only introduces the fundamental limit on how and to what extent various forms of energy can be converted to accessible mechanical work, but also implies the existence of an additional state function, the entropy, which has to increase. There is also the third law of thermodynamics; we shall, however, leave it out of the discussion, as it is beyond immediate context of the physical scenarios considered here.
Although the laws of thermodynamics were developed phenomenologically, they have profound implications in information theory. The paradigmatic example is the Landauer erasure principle, which states: “Any logically irreversible manipulation of information, such as the erasure of a bit or the merging of two computation paths, must be accompanied by a corresponding entropy increase in noninformationbearing degrees of freedom of the information processing apparatus or its environment”^{17}. Therefore, an erasing operation is bound to be associated with a heat flow to the environment.
An important feature in the microscopic regime is that the quantum particles can exhibit nontrivial correlations, such as entanglement^{27} and other quantum correlations^{28}. Thermodynamics in the presence of correlations has been considered only in limited physical situations. It is assumed, in nearly all cases of thermodynamical processes, that system and bath are initially uncorrelated, although correlations may appear in the course of the process. In fact, it has been noted that in the presence of such correlations, Landauer’s erasure principle could be violated^{15}. Even more strikingly, with strong quantum correlation between two thermal baths of different temperatures, heat could flow from the colder bath to the hotter one^{26,29,30}.
The impact of intersystem correlations resulting from a strong systembath coupling and its role in thermodynamics has been studied for some specific solvable models^{31,32,33}, and for general classical systems^{34,35}. It has been noted that the presence of correlations requires certain adjustments of work and heat to fulfil the second law and the Landauer principle. Also, from an information theoretic perspective, both extractable work from correlations and work cost to create correlations have been studied^{25,36,37,38}. However, in all these works, there is no explanation of how to deal with general correlated scenarios irrespective of where the correlations come from and in systems away from thermal equilibrium.
Here we show that the violations of the laws of thermodynamics (Supplementary Note 4) indicate that correlations between two systems, irrespective of the corresponding marginals being thermal states or not, manifest outofequilibrium phenomena. In order to reestablish the laws of thermodynamics, one not only has to look at the local marginal systems, but also the correlations between them. In particular, we start by redefining the notions of heat and work, then establish a generalized Landauer’s principle and introduce the generalized Helmholtz free energy. The resulting laws are general in the sense that they rely on the least set of assumptions to formulate thermodynamics: a system, a considerably large thermal bath at well defined temperature, and separable initial and final Hamiltonians. The first two assumptions are obvious. The third assumption is basically required for system’s and bath’s energies to be well defined (see Supplementary Note 2 for details).
Results
Definition of heat
To reformulate thermodynamics, we start with redefining heat by properly accounting for the information flow and thereby restoring Landauer’s erasure principle. In general, heat is defined as the flow of energy from the environment, normally considered as a thermal bath at certain temperature, to a system, in some way different from work. Work, on the other hand, is quantified as the flow of energy, say to a bath or to an external agent, that could be extractable (or accessible). Consider a thermal bath with Hamiltonian H _{B} and at temperature T represented by the Gibbs state \(\rho _{\mathrm{B}} = \tau _{\mathrm{B}} = \frac{1}{{Z_{\mathrm{B}}}}{\kern 1pt} {\mathrm{exp}}{\kern 1pt} \left( {\frac{{  H_{\mathrm{B}}}}{{kT}}} \right)\), where k is the Boltzmann constant, and \(Z_{\mathrm{B}} = {\mathrm{Tr}}{\kern 1pt} \left[ {{\mathrm{exp}}\left( {\frac{{  H_{\mathrm{B}}}}{{kT}}} \right)} \right]\) is the partition function. The degrees of freedom in B are considered to be a part of a large thermal superbath, at temperature T. Then, for a process that transforms the thermal bath \(\rho _{\mathrm{B}} \to {\rho \prime} _{\mathrm{B}} \) with the fixed Hamiltonian H _{ B }, the heat transfer to the bath is quantified (see Supplementary Note 1) as
where \({\mathrm{\Delta }}{\cal S}_{\mathrm{B}} = {\cal S}\left( {{\rho \prime}_{\mathrm{B}} } \right)  {\cal S}\left( {\rho _{\mathrm{B}}} \right)\) is the change in bath’s von Neumann entropy, \({\cal S}\left( {\rho _{\mathrm{B}}} \right) =  {\mathrm{Tr}}{\kern 1pt} \left[ {\rho _{\mathrm{B}}{\kern 1pt} {\mathrm{log}}_2{\kern 1pt} \rho _{\mathrm{B}}} \right]\). Note that \({\rho \prime}_{\mathrm{B}} \) is not in general thermal. In fact, the work stored in the bath is ΔF _{B}, where \(F\left( {\rho _{\mathrm{B}}} \right) = E\left( {\rho _{\mathrm{B}}} \right)  kT{\kern 1pt} {\cal S}\left( {\rho _{\mathrm{B}}} \right)\) is the Helmholtz free energy, with E(ρ _{B}) = Tr(H _{B} ρ _{B}). Heat expressed in Eq. (1) is the correct quantification of heat (for further discussion see Supplementary Note 1), which can be justified in two ways. First, it has a clear information theoretic interpretation, which accounts for the information flow to the bath. Second, it is the flow of energy to the bath other than work and, with the condition of entropy preservation, any other form of energy flow to the bath will be stored as extractable work, and thus will not converted into heat. The processdependent character of heat as defined here can be seen from the fact that it cannot be written as a difference of state functions of the system. In the Supplementary Note 1, this issue is discussed and the sources of irreversibility, i.e., the reasons for not saturating the Clausius inequality, are reexamined.
The transformations considered in our framework are entropypreserving operations. More explicitly, given a systembath setting initially in a state ρ _{SB}, in which the reduced state of the system ρ _{S} is arbitrary while ρ _{B} is thermal, we consider transformations \({\rho \prime}_{{\mathrm{SB}}} = {\mathrm{\Lambda }}\left( {\rho _{{\mathrm{SB}}}} \right)\) such that the von Neumann entropy is unchanged, i.e., \(S\left( {\rho \prime_{{\mathrm{SB}}} } \right) = S\left( {\rho _{{\mathrm{SB}}}} \right)\). The Hamiltonians of the system and the bath are the same before and after the transformation Λ(·). Note that we do not demand energy conservation, rather assuming that a suitable battery takes care of that. In fact, the work cost of such an operation Λ(·) is quantified by the global internal energy change ΔW = ΔE _{S} + ΔE _{B}. Another comment to make is that we implicitly assume a bath of unbounded size; namely, it consists of the part ρ _{B} of which we explicitly track the correlations with S, but also of arbitrarily many independent degrees of freedom. Also, we are implicitly considering always the asymptotic scenario of n → ∞ copies of the state in question (“thermodynamic limit”). These operations are general and include any process and situation in standard thermodynamics involving a single bath. It is the result of abstracting the essential elements of thermodynamic processes: existence of a thermal bath and global entropy preservation operations.
In extending thermodynamics in correlated scenarios and linking thermodynamics with information, we consider the quantum conditional entropy as the natural quantity to represent information content in the system as well as in the correlations. For a joint systembath state ρ _{SB}, the information content in the system S, given all the information available in the bath B at temperature T, is quantified by the conditional entropy \({\cal S}\left( {{\mathrm{S}}{\mathrm{B}}} \right) = {\cal S}\left( {\rho _{{\mathrm{SB}}}} \right)  {\cal S}\left( {\rho _{\mathrm{B}}} \right)\). It vanishes when the joint systemenvironment state is perfectly classically correlated and can even become negative in the presence of entanglement.
Generalized second law of information
With quantum conditional entropy, the generalized second law of information can be stated as follows. For an entropypreserving operation \({\rho \prime}_{{\mathrm{SB}}} = {\mathrm{\Lambda }}^{{\mathrm{SB}}}\left( {\rho _{{\mathrm{SB}}}} \right)\), with the reduced states before (after) the evolution denoted ρ _{S} \(\left( {{\rho \prime}_{\mathrm{S}} } \right)\) and ρ _{B} \(\left( {{\rho \prime}_{\mathrm{B}} } \right)\), respectively, we have
where \({\mathrm{\Delta }}{\cal S}_{\mathrm{B}} = {\cal S}\left( {{\rho \prime}_{\mathrm{B}} } \right)  {\cal S}\left( {\rho _{\mathrm{B}}} \right)\) is the change in (von Neumann) entropy of the bath, and \({\mathrm{\Delta }}{\cal S}\left( {{\mathrm{S}}{\mathrm{B}}} \right) = {\cal S}\left( {S\prime B{\prime}} \right)  {\cal S}\left( {{\mathrm{S}}{\mathrm{B}}} \right)\) is the change in conditional entropy of the system. Note that in the presence of initial correlations, the informational second law could be violated if one considers only system entropy (see Supplementary Note 3).
Let us point out that the conditional entropy of the system for a given bath is also used in ref. 24 in the context of erasing. There, it is shown that the conditional entropy quantifies the amount of work necessary to erase quantum information. The formalism in ref. 24 considers energy preserving but nonentropypreserving operations and that perfectly enables to quantify work. In contrast, in our formalism, as we attempt to quantify heat in connection with information flow, it is absolutely necessary to guarantee information conservation, thereby restrict ourselves to entropypreserving operations. This leads us to quantify heat in terms of conditional entropy. Both approaches are different and complement each other. In one, the conditional entropy quantifies work, and on the other, it quantifies heat.
Generalized Landauer’s principle
The Landauer principle is required to be expressed in terms of conditional entropy of the system, rather than its local entropy. Therefore, the dissipated heat associated to information erasure of a system S connected to a bath B at temperature T by an entropypreserving operation \({\rho \prime}_{{\mathrm{SB}}} = {\mathrm{\Lambda }}^{{\mathrm{SB}}}\left( {\rho _{{\mathrm{SB}}}} \right)\), is equal to
Note that, in complete information erasure, the final conditional entropy vanishes, then \({\mathrm{\Delta }}Q =  kT{\kern 1pt} {\cal S}\left( {{\mathrm{S}}{\mathrm{B}}} \right)\).
Generalized Helmholtz free energy
We address extraction of work from a system S possibly correlated to a bath B at temperature T. Without loss of generality, we assume that the system Hamiltonian H _{s} is unchanged in the process. Note that the extractable work has two contributions: one comes from systembath correlations (cf. ref. 25) and the other from the local system alone, irrespective of its correlations with the bath. Here we consider these two contribution separately.
By extracting work from the correlation, we mean any process that returns the system and the bath in the original reduced states, ρ _{S} and ρ _{B} = τ _{B}. The maximum extractable work solely from the correlation, using entropypreserving operations, is given by
where \({\cal I}\left( {{\mathrm{S}}:{\mathrm{B}}} \right) = {\cal S}_{\mathrm{S}} + {\cal S}_{\rm B}  {\cal S}_{{\mathrm{SB}}}\) is the mutual information. This is illustrated in Fig. 1. The proof is given by the protocol described below.
Protocol 1: work extraction from correlations. Addition of an ancillary system: We attach to ρ _{SB} an ancillary system A with trivial Hamiltonian H _{A} = 0, consisting of \({\cal I}\left( {{\mathrm{S}}:{\mathrm{B}}} \right)\) qubits in the maximally mixed state \(\tau _{\mathrm{A}} = \left( {\frac{{{\Bbb I}_2}}{2}} \right)^{ \otimes {\cal I}\left( {{\mathrm{S}}:{\mathrm{B}}} \right)}\) (which is thermal!).
Removing the correlations between S and B: By using a global entropypreserving operation, we make a transformation \(\tau _{\mathrm{A}} \otimes \rho _{{\mathrm{SB}}} \to {\tau \prime}_{\mathrm{A}} \otimes \rho _{\mathrm{S}} \otimes \rho _{\mathrm{B}}\), where
and thereby turning the additional state into a pure state \({\tau \prime} _{\mathrm{A}} = \left \phi \right\rangle \left\langle \phi \right\) of A, while leaving the marginal system and bath states unchanged. Clearly, the extractable work stored in the correlation is now transferred to the new additional system state \({\tau \prime}_{\mathrm{L}} \).
Work extraction: Work is extracted from \({\tau \prime}_{\mathrm{L}} \) at temperature T, equal to \(W_C = {\cal I}\left( {{\mathrm{S}}:{\mathrm{B}}} \right)_{\rho _{{\mathrm{SB}}}}{\kern 1pt} kT\).
Disregarding the correlations with a bath at temperature T, the maximum extractable work from a state ρ _{s} is given by ΔW _{L} = F(ρ _{S}) − F(τ _{S}), where \(\tau _{\mathrm{S}} = \frac{1}{{Z_{\mathrm{S}}}}{\kern 1pt} {\mathrm{exp}}{\kern 1pt} \left[ {  \frac{{H_{\mathrm{S}}}}{{kT}}} \right]\) is the corresponding thermal state of the system in equilibrium with the bath. Now, in addition to this “local work”, we have the work due to correlations, and so the total extractable work \({\mathrm{\Delta }}W_{\mathrm{S}} = {\mathrm{\Delta }}W_{\rm L} + kT{\kern 1pt} {\cal I}\left( {{\mathrm{S}}:{\mathrm{B}}} \right)_{\rho _{{\mathrm{SB}}}}\). Note that, for the system alone, the Helmholtz free energy \(F\left( {\rho _{\mathrm{S}}} \right) = E_{\mathrm{S}}  kT{\kern 1pt} {\cal S}_{\mathrm{S}}\). However, in the presence of correlations, it is modified to generalized Helmholtz free energy, by adding \(kT{\kern 1pt} {\cal I}\left( {{\mathrm{S}}:{\mathrm{B}}} \right)_{\rho _{{\mathrm{SB}}}}\) to F(ρ _{S}), as
Unlike the traditional free energy, the generalized free energy is not only a state function of the system S, but also of those degrees of freedom of the bath correlated with it. This is an unavoidable feature of the generalized formalism. Therefore, for a systembath state ρ _{SB}, maximum extractable work from the system can be given as \({\mathrm{\Delta }}W_{\mathrm{S}} = {\cal F}\left( {\rho _{{\mathrm{SB}}}} \right)  {\cal F}\left( {\tau _{\mathrm{S}} \otimes \tau _{\mathrm{B}}} \right)\), where \({\cal F}\left( {\tau _{\mathrm{S}} \otimes \tau _{\mathrm{B}}} \right) = F\left( {\tau _{\mathrm{S}}} \right)\). Then, for a transformation, for which initial and final states are ρ _{SB} and σ _{SB}, respectively, the maximum extractable work from the system, is \({\mathrm{\Delta }}W_{\mathrm{S}} =  {\mathrm{\Delta }}{\cal F} = {\cal F}\left( {\rho _{{\mathrm{SB}}}} \right)  {\cal F}\left( {\sigma _{{\mathrm{SB}}}} \right)\). We observe that all this is of course consistent with what we know from situations with an uncorrelated bath. Indeed, we can simply make the conceptual step of calling SB “the system”, allowing for arbitrary correlations between S and B, with a suitable infinite bath B’ that is uncorrelated from SB. Then, the free energy as we know it is \(F\left( {\rho _{{\mathrm{SB}}}} \right) = E_{\mathrm{S}}  kT{\kern 1pt} {\cal S}\left( {{\mathrm{S}}{\mathrm{B}}} \right) + E_{\mathrm{B}}  kT{\cal S}\left( {\tau _{\mathrm{B}}} \right)\), where the first term is the modified free energy in Eq. (6), and the second term is the free energy of the bath in its thermal state. As the latter cannot become smaller in any entropypreserving operation, the maximum extractable work is \(  {\mathrm{\Delta }}{\cal F}\).
Generalized laws of thermodynamics
Now, equipped with the proper definition of heat (as in Eq. (3)) and work (based on generalized free energy in Eq. (6)) in the presence of correlations, we put forward the generalized laws of thermodynamics.
We start with generalized first law, which states: given an entropypreserving operation \(\rho _{{\mathrm{SB}}} \to \rho _{{\mathrm{SB}}}^\prime \), the distribution of the change in the system’s internal energy into work and heat satisfies
where the heat dissipated to the bath is given by \({\mathrm{\Delta }}Q =  kT{\kern 1pt} {\mathrm{\Delta }}{\cal S}\left( {{\mathrm{S}}{\mathrm{B}}} \right)\), the maximum extractable work from the system is \({\mathrm{\Delta }}W_{\mathrm{S}} =  \left( {{\mathrm{\Delta }}E_{\mathrm{S}}  kT{\kern 1pt} {\mathrm{\Delta }}{\cal S}\left( {{\mathrm{S}}{\mathrm{B}}} \right)} \right)\), and the work performed on the bath is \({\mathrm{\Delta }}F_{\mathrm{B}} = {\mathrm{\Delta }}E_{\mathrm{B}}  kT {\mathrm{\Delta }}{\cal S}_{\mathrm{B}} \, \geqslant \, 0\).
The quantity \({\mathrm{\Delta }}W_{\mathrm{S}} =  \left( {{\mathrm{\Delta }}E_{\mathrm{S}}  kT {\mathrm{\Delta }}{\cal S}\left( {{\mathrm{S}}{\mathrm{B}}} \right)} \right)\) was shown to be the maximum extractable work, as it is equal to \(  {\mathrm{\Delta }}{\cal F}_{\mathrm{S}}\). The maximum work ΔW _{S} is extracted by thermodynamically reversible processes. Irreversible processes require that some work is performed on the bath ΔF _{B} > 0 followed by an equilibration process, which happens due to spontaneous relaxation of the bath. Such amount of work is transformed into heat and hence cannot be accessed any more. Note that such an equilibration process is not entropy preserving^{12} which is not allowed in our setup. The entropy production of such relaxation is precisely ΔF _{B}/T, and in that case heat flow from the bath is exactly equal to the decrease of its internal energy.
In this new approach, the second law is also modified. The Clausius statement of the generalized second law states that no process is possible whose sole result is the transfer of heat from a cooler to a hotter body, where the work potential stored in the correlations, as defined in Eq. (4), does not decrease. To prove it, consider a state transformation \({\rho \prime}_{{\mathrm{AB}}} = {\mathrm{\Lambda }}^{{\mathrm{AB}}}\left( {\rho _{{\mathrm{AB}}}} \right)\) where Λ^{AB} is an entropypreserving and an energynonincreasing operation. As the thermal state minimizes the free energy, the final reduced states \({\rho \prime}_{\mathrm{S}} \) and \({\rho \prime}_{\mathrm{B}} \) have increased their free energy, i.e., \({\mathrm{\Delta }}E_{\mathrm{A}}  kT_{\mathrm{A}}{\mathrm{\Delta }}{\cal S}_{\mathrm{A}}\, \geqslant \, 0\) and \({\mathrm{\Delta }}E_{\mathrm{B}}  kT_{\mathrm{B}}{\mathrm{\Delta }}{\cal S}_{\mathrm{B}}\, \geqslant \, 0\), where T _{A/B}, ΔE _{A/B} and \({\mathrm{\Delta }}{\cal S}_{{\mathrm{A}}/{\mathrm{B}}}\) are the initial temperatures, changes in internal energy and entropy of the baths, respectively. By adding the former inequalities and considering energy nonincreasing, we get \(T_{\mathrm{A}}{\mathrm{\Delta }}{\cal S}_{\mathrm{A}} + T_{\mathrm{B}}{\mathrm{\Delta }}{\cal S}_{\mathrm{B}} \, \leqslant \, 0\). Due to the conservation of total entropy, the change in mutual information is simply \({\mathrm{\Delta }}{\cal I}\left( {{\mathrm{A}}:{\mathrm{B}}} \right) = {\mathrm{\Delta }}{\cal S}_{\mathrm{A}} + {\mathrm{\Delta }}{\cal S}_{\mathrm{B}}\), with \({\cal I}\left( {{\mathrm{A}}:{\mathrm{B}}} \right) = {\cal S}_{\mathrm{A}} + {\cal S}_{\mathrm{B}}  {\cal S}_{{\mathrm{AB}}}\). This allows us to conclude
which implies Clausius statement of the generalized second law.
Note that if the initial state ρ _{AB} is correlated, then the change in mutual information could be negative, \({\mathrm{\Delta }}{\cal I}\left( {{\mathrm{A}}:{\mathrm{B}}} \right)\, \leqslant \, 0\), and \(  {\mathrm{\Delta }}Q_{\mathrm{A}}\left( {T_{\mathrm{B}}  T_{\mathrm{A}}} \right) \, \leqslant \, 0\). Note that for \(T_{\mathrm{A}}\, \leqslant \, T_{\mathrm{B}}\) and \({\mathrm{\Delta }}{\cal I}\left( {{\mathrm{A}}:{\mathrm{B}}} \right)\, \leqslant \, 0\), there could be a heat flow from the cold to the hot bath \({\mathrm{\Delta }}Q_{\mathrm{A}}\, \geqslant \, 0\), i.e., an apparent anomalous heat flow. From our new perspective, we interpret the anomalous heat flow as a refrigeration driven by the work potential stored in correlations. In this case, it is interesting to determine its coefficient of performance η _{cop}, that from Eq. (8) leads, with the work performed on the hot bath ΔW _{ C }(T _{B}) = −kT _{B}Δ\({\cal I}\)(A:B), to
which is nothing else than the Carnot coefficient of performance (Fig. 2). Note that we have taken the work value of the correlations W _{C} with respect to the hot bath T _{B}. This is due to the fact that for this refrigeration process the hot bath is the one acting as a reservoir.
Equation (9) is a nice reconciliation with traditional thermodynamics. The Carnot coefficient of performance is a consequence of the fact that reversible processes are optimal, otherwise the perpetual mobile could be build by concatenating a “better” process and a reversed reversible one. Hence, it is natural that the refrigeration process driven by the work stored in the correlations preserves Carnot statement of second law.
Now, we reconstruct the zeroth law which can be violated in the presence of correlations as shown in Fig. 3. To do this, we redefine the notion of equilibrium beyond an equivalence relation when correlations between systems are present. Thus, the generalized zeroth law states that, a collection {ρ _{ X }}_{ X } of states is said to be in mutual thermal equilibrium with each other if and only if no work can be extracted from any of their combinations under entropypreserving operations. This is the case if and only if all the parties X are uncorrelated and each of them is in a thermal state with the same temperature.
Discussion
Landauer exorcised Maxwell’s demon and saved the second law of thermodynamics by taking into account the work potential of information. In this work, we extend this idea to include also the information about the system that is stored in its correlations with the environment. With this approach, we easily resolve the apparent violations of thermodynamics in correlated scenarios, and generalize it by reformulating its zeroth, first, and second laws.
An important remark is that, our generalized thermodynamics is formulated in the asymptotic limit of many copies. A relevant question is how the laws of thermodynamics are expressed for a single system. In our forthcoming paper, we will address these questions by discussing consistent notions of oneshot heat, oneshot Landauer erasure, and of oneshot work extraction from correlations.
Data availability
Data sharing not applicable to this article as no data sets were generated or analyzed during the current study.
References
 1.
Brandão, F. G. S. L., Horodecki, M., Oppenheim, J., Renes, J. M. & Spekkens, R. W. Resource theory of quantum states out of thermal equilibrium. Phys. Rev. Lett. 111, 250404 (2013).
 2.
Horodecki, M. & Oppenheim, J. Fundamental limitations for quantum and nanoscale thermodynamics. Nat. Commun. 4, 2059 (2013).
 3.
Aberg, J. Truly worklike work extraction via a singleshot analysis. Nat. Commun. 4, 1925 (2013).
 4.
Faist, P., Dupuis, F., Oppenheim, J. & Renner, R. The minimal work cost of information processing. Nat. Commun. 6, 7669 (2015).
 5.
Skrzypczyk, P., Short, A. J. & Popescu, S. Work extraction and thermodynamics for individual quantum systems. Nat. Commun. 5, 4185 (2014).
 6.
Brandao, F. G. S. L., Horodecki, M., Ng, N., Oppenheim, J. & Wehner, S. The second laws of quantum thermodynamics. Proc. Natl Acad. Sci. USA 112, 3275–3279 (2015).
 7.
Ćwikliński, P., Studziński, M., Horodecki, M. & Oppenheim, J. Limitations on the evolution of quantum coherences: Towards fully quantum second laws of thermodynamics. Phys. Rev. Lett. 115, 210403 (2015).
 8.
Lostaglio, M., Korzekwa, K., Jennings, D. & Rudolph, T. Quantum coherence, timetranslation symmetry, and thermodynamics. Phys. Rev. X 5, 021001 (2015).
 9.
Lostaglio, M., Jennings, D. & Rudolph, T. Description of quantum coherence in thermodynamic processes requires constraints beyond free energy. Nat. Commun. 6, 6383 (2015).
 10.
Dahlsten, O. C. O., Renner, R., Rieper, E. & Vedral, V. Inadequacy of von neumann entropy for characterizing extractable work. New J. Phys. 13, 053015 (2011).
 11.
Egloff, D., Dahlsten, O. C. O., Renner, R. & Vedral, V. A measure of majorization emerging from singleshot statistical mechanics. New J. Phys. 17, 073001 (2015).
 12.
Gogolin, C. & Eisert, J. Equilibration, thermalisation, and the emergence of statistical mechanics in closed quantum systems. Rep. Prog. Phys. 79, 056001 (2016).
 13.
Short, A. J. Equilibration of quantum systems and subsystems. New J. Phys. 13, 053009 (2011).
 14.
Popescu, S., Short, A. J. & Winter, A. Entanglement and the foundations of statistical mechanics. Nat. Phys. 2, 745–758 (2006).
 15.
Reeb, D. & Wolf, M. M. An improved landauer principle with finitesize corrections. New J. Phys. 16, 103011 (2014).
 16.
Maruyama, K., Nori, F. & Vedral, V. Colloquium : The physics of maxwell’s demon and information. Rev. Mod. Phys. 81, 1–23 (2009).
 17.
Bennett, C. H. The thermodynamics of computation—a review. Int. J. Theor. Phys. 21, 905–940 (1982).
 18.
Parrondo, J. M. R., Horowitz, J. M. & Sagawa, T. Thermodynamics of information. Nat. Phys. 11, 131–139 (2015).
 19.
Leff, H. S. & Rex, A. F. Maxwell’s Demon: Entropy, Information, Computing. (Taylor and Francis, London, 1990).
 20.
Leff, H. S. & Rex, A. F. Maxwell’s Demon 2: Entropy, Classical and Quantum Information, Computing. (Taylor and Francis, London, 2002).
 21.
Landauer, R. Irreversibility and heat generation in the computing process. IBM J. Res. Dev. 5, 183–191 (1961).
 22.
Szilard, L. Über die Entropieverminderung in einem thermodynamischen System bei Eingriffen intelligenter Wesen. Z. für Phys. 53, 840–856 (1929).
 23.
Goold, J., Huber, M., Riera, A., del Rio, L. & Skrzypczyk, P. The role of quantum information in thermodynamicsa topical review. J. Phys. A 49, 143001 (2016).
 24.
del Rio, L., Aberg, J., Renner, R., Dahlsten, O. C. O. & Vedral, V. The thermodynamic meaning of negative entropy. Nature 474, 61–63 (2011).
 25.
PerarnauLlobet, M., Hovhannisyan, K. V., Huber, M., Skrzypczyk, P., Brunner, N. & Acín, A. Extractable work from correlations. Phys. Rev. X 5, 041011 (2015).
 26.
Jennings, D. & Rudolph, T. Entanglement and the thermodynamic arrow of time. Phys. Rev. E 81, 061130 (2010).
 27.
Horodecki, R., Horodecki, P., Horodecki, M. & Horodecki, K. Quantum entanglement. Rev. Mod. Phys. 81, 865–942 (2009).
 28.
Modi, K., Brodutch, A., Cable, H., Paterek, T. & Vedral, V. The classicalquantum boundary for cor relations: discord and related measures. Rev. Mod. Phys. 84, 1655–1707 (2012).
 29.
Jevtic, S., Jennings, D. & Rudolph, T. Maximally and minimally correlated states attainable within a closed evolving system. Phys. Rev. Lett. 108, 110403 (2012).
 30.
Partovi, M. H. Entanglement versus Stosszahlansatz: Disappearance of the thermodynamic arrow in a highcorrelation environment. Phys. Rev. E 77, 021110 (2008).
 31.
Allahverdyan, A. E. & Nieuwenhuizen, Th. M. Extraction of work from a single thermal bath in the quantum regime. Phys. Rev. Lett. 85, 1799–1802 (2000).
 32.
Ford, G. W. & O’Connell, R. F. A quantum violation of the second law? Phys. Rev. Lett. 96, 020402 (2006).
 33.
Hilt, S., Shabbir, S., Anders, J. & Lutz, E. Landauer’s principle in the quantum regime. Phys. Rev. E 83, 030102 (2011).
 34.
Seifert, U. First and second law of thermodynamics at strong coupling. Phys. Rev. Lett. 116, 020601 (2016).
 35.
Jarzynski, C. Stochastic and macroscopic thermodynamics of strongly coupled systems. Phys. Rev. X 7, 011008 (2017).
 36.
Huber, M., PerarnauLlobet, M., Hovhannisyan, K. V., Skrzypczyk, P., Klöckl, C., Brunner, N. & Acín, A. Thermodynamic cost of creating correlations. New J. Phys. 17, 065008 (2015).
 37.
Bruschi, D. E., PerarnauLlobet, M., Friis, N., Hovhannisyan, K. V. & Huber, M. Thermodynamics of creating correlations: Limitations and optimal protocols. Phys. Rev. E 91, 032118 (2015).
 38.
Friis, N., Huber, M. & PerarnauLlobet, M. Energetics of correlations in interacting systems. Phys. Rev. E 93, 042135 (2016).
Acknowledgements
We thank R. Alicki, R. B. Harvey, K. Gawedzki, P. Grangier, J. Kimble, V. Pellegrini, R. Quidant, D. Reeb, F. SchmidtKaler, P. Walther and H. Weinfurter for useful discussions and comments in both theoretical and experimental aspects of our work. We acknowledge financial support from the European Commission (FETPRO QUIC (H2020FETPROACT2014 No. 641122), STREP EQuaM and STREP RAQUEL), the European Research Council (AdG OSYRIS and AdG IRQUAT), the Spanish MINECO (grants nos FIS200801236, FIS201346768P FOQUS, FISICATEAMO FIS201679508P and Severo Ochoa Excellence Grant SEV20150522) with the support of FEDER funds, the Generalitat de Catalunya (grants nos SGR 874, 875 and 966), CERCA Program/Generalitat de Catalunya and Fundació Privada Cellex. AR also thanks support from the CELLEXICFOMPQ fellowship.
Author information
Affiliations
Contributions
All authors discussed the results and contributed to the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing financial interests.
Additional information
Publisher's note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Electronic supplementary material
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 Commonslicense, unless indicated otherwise in a credit line to the material. If material is not included in the article’sCreative 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
Bera, M.N., Riera, A., Lewenstein, M. et al. Generalized laws of thermodynamics in the presence of correlations. Nat Commun 8, 2180 (2017). https://doi.org/10.1038/s4146701702370x
Received:
Accepted:
Published:
Further reading

The entropy production for thermal operations
Scientific Reports (2020)

NonMarkovian dynamics of a quantum heat engine: outofequilibrium operation and thermal coupling control
New Journal of Physics (2020)

Quantum Jarzynski Equality in Open Quantum Systems from the OneTime Measurement Scheme
Physical Review Letters (2020)

Ideal Projective Measurements Have Infinite Resource Costs
Quantum (2020)

Fluctuation theorem for entropy production at strong coupling
Chinese Physics B (2020)
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.