The entropy production for thermal operations

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

Recently, study on thermodynamic behavior of quantum mechanical systems has attracted much attention. In fact, providing a clear understanding about the fundamental concepts such as work and heat, and obtaining a deep knowledge of thermodynamics laws in quantum world, have been the main topic of many researches [1][2][3][4][5][6][7][8][9][10][11] . To understand the foundations of quantum thermodynamics, one can consider it as a resource theory. There are different models for the resource theories of thermodynamics [12][13][14] , which vary mostly on the set of allowed operations. One of the most important models is the resource theory of thermal operations (TOs). TOs were introduced in ref. 15 and applied later in refs. [16][17][18][19] .
The set of TOs, {ε T }, consists of all maps acting on the state of a system as [15][16][17] :

S T S B SB
in which Tr B is partial trace over the bath, and ρ ′ SB is the state of the composite system after the evolution, i.e.,

SB SB S B
eq SB where 1. U SB is an energy-preserving unitary operator applied to the system and the bath satisfying

SB S B
here, H S and H B are Hamiltonians of the system and the bath, respectively. 2. ρ B eq is a thermal state of the bath at some fixed temperature, Regarding the first law of thermodynamics and this fact that the thermal bath is an incoherent mixture of energy states, Eq. (4) indicates conservation of energy. Equation (5) expresses that it is impossible to change a thermal state without doing any work. This means that there cannot exist any machine working in a cycle and converting thermal energy into work completely. This is actually the physical meaning of the second law of thermodynamics.
The conservation of energy in thermodynamic systems is the topic of the first law of thermodynamics, which states that every increase in the internal energy of a system is due to the following two ways: (a) the work performed on the system and/or (b) the heat absorbed by the system. Irreversible processes are described by the second law of thermodynamics. According to this law, the entropy production is always non-negative; it is zero only when the system and the environment are in thermal equilibrium. Regarding the first and second laws of thermodynamics, one can derive microscopic expressions for the non-equilibrium entropy production in quantum systems [22][23][24][25][26][27]45 .
Recently, a new definition of heat has been provided in which the authors introduced heat by properly referring to the information flow and thereby restoring Landauer's erasure principle 28 . Here, the effect of the definition on the expression of the entropy production for TOs is determined. Since microscopic expression of the non-equilibrium entropy production depends on the definition of heat, one can expect that any new definition of it might change the expression of the entropy production. It is also shown that TOs cannot generate quantum correlation from incoherent input states, however, if the initial state of a system is a coherent Gibbs state, correlation between the system and the bath is quantum correlation.
In the following, firstly, free energy definition and heat definitions are presented. Secondly, using the heat definitions, the corresponding expressions of non-equilibrium entropy production are obtained. Finally, the role of quantum coherence in the entropy production for TOs is studied.

preliminary
The non-equilibrium free energy for a system in a state ρ S with Hamiltonian H S , which interacts with a thermal bath at temperature T, is defined as:

S S S
where E S = tr(H S ρ S ) is internal energy and S(ρ S ) = −tr(ρ S ln(ρ S )) is the von Neumann entropy of the system. If one uses H ln ln Z ( ( ) ( )) S S eq S 1 ρ = − + β , the non-equilibrium free energy can be written as is the free energy in thermal equilibrium, and ρ ρ S( ) S S eq is the relative entropy. It is worth mentioning that ρ ≥ F F ( ) S eq due to the non-negativity of the relative entropy. Usually, heat is defined as the change in the internal energy of the bath 29,31 , Although many researchers have used this definition in their works 24,29,31 , it has been recently shown that it is not a perfect definition for heat 28 . To provide a more proper definition, one can assume that there is a thermal bath whose state is initially given by a thermal state ρ B eq and it is subject to Hamiltonian H B at temperature T. In a process, where the bath state ρ B eq transforms to ρ ′ B under the condition that the Hamiltonian H B is remained unchanged, heat is defined as 28 eq is the change in the free energy of the bath which is stored in the bath as the extract- is the change in the von Neumann entropy of the bath due to the state transformation. Since in this approach heat is expressed in terms of the entropy difference of the bath, one can say that there is an explicit relation between heat and information flow to or from the bath. This is consistent with Landauer's erasure principle 30 . According to Eq. (9), heat is also responsible for the change in the internal energy of the bath. However, the bath internal energy can be varied through other form of energy flow on the condition that entropy is preserved. This form of energy flow is stored as extractable work. Comparing Eq. (8) with Eq. (9), one has Since ΔF B is always non-negative (due to this fact that the initial state of the bath is thermal and the free energy for this state has its minimum value), one comes to Δ ≥ Δ . Q Q (11) If the bath deviates from thermal equilibrium by small variation through a TO, 2 which goes to zero in the limit of large bath. Therefore, both definitions are consistent.

New entropy production for thermal operations
When a system experiences a dynamical process, the change in its entropy, ΔS S , includes a reversible and an irreversible contribution. The reversible contribution is due to the heat flow, which can be addressed as the entropy , and the irreversible one is called entropy production ΔS irr . Therefore, one can write Regarding the usual definition of heat, Eq. (8), and the total change in the entropy of a system, Eq. (12), one can obtain the entropy production for TOs, which is the familiar form of the entropy production for TOs 23,35 (see Methods for more detail). ΔS irr is always non-negative due to the contraction of the quantum relative entropy 32 . As a result S meaning that free energy of the system is decreasing under TOs 18,20 . According to the definition of TO, Eq. (13) can be written as 24,25 : SB is the mutual information between the system and the bath. Equation (15) shows that the change in the state of the bath along with the mutual information is responsible for the entropy production variation. Now, let us obtain an expression for the entropy production for TOs based on the new definition of heat presented in the previous section. If one uses Eq. (9) in Eq. (12), one obtains which is the new form of the entropy production for TOs, more detail can be found in Methods. Considering the definition of TO, Eq. (16) can be rewritten as irr SB Since ρ ′ I( ) SB is always non-negative, one comes to ΔS irr ≥ 0. As can be seen in Eq. (17), it is just the mutual information which determines the entropy production; there is no term showing the change of bath state. It is important to note that for entropy-preserving operations 28 if the initial state of the composite system SB is factorized, Eq. (17) is also true (see Methods).
Regarding the non-negativity of ΔS irr together with Eq. (16), one obtains

S B
which means that sum of the system and the bath free energies is decreasing under TOs. Equation (18) can be rewritten as S B which introduces an upper bound for ΔF S . As can be seen, unlike Eq. (14), this upper bound depends on the change in the free energy of the bath. Also, it is tighter than Eq. (14), due to the positivity of ΔF B .

Quantum coherence and entropy production
Quantum coherence is one of the most important concepts in quantum physics. Recently, the role of the quantum coherence in determining the behavior of the entropy production has been investigated 35 . It has been shown that the non-equilibrium free energy of a system can be written as 20,35,36 : www.nature.com/scientificreports www.nature.com/scientificreports/ is a dephasing map acting on density matrix ρ S and removing all coherences in the energy basis |E ({ }) i , (see Methods). According to Eq. (20), the entropy production is divided into two parts: classical and quantum 35,36 , is the classical part, and Q irr S S is the quantum one. Since the diagonal elements of a density matrix are transformed independently of the off-diagonal ones in state-to-state transformation under TOs, ΔS C irr is non-negative. Also, ΔS Q irr is positive because TO is incoherent 33 . A quantum operation is coherence-preserving if and only if it is unitary and incoherent 37 . Therefore, the unitary operator U SB , introduced in the definition of TO, is a coherence-preserving operator. Thus, the total coherence of system+bath remains unchanged under the operation of U SB , which is due to this fact that the relative entropy of coherence is additive on tensor product states and ρ B eq is an incoherent state. Substituting Eq. (25) into Eq. (24), one obtains 35 B is called correlated coherence 38,39 . One can repeat the above procedure to obtain the classical and quantum parts of the entropy production for the new expression, Eq. (16). As was seen before, the entropy production can be divided into two parts, is the classical part, and is the quantum one. As can be seen, the new definition of heat results in that only the correlated coherence appears in the entropy production expression with no coherence of subsystems, in spite of what is mentioned in ref. 35 . Using relative entropy of coherence, one obtains 39 hence, the classical and quantum parts of the new entropy production can be written, respectively, as . ΔS Q irr is also non-negative due to the data-processing inequality related to strong-subadditivity of the von Neumann entropy leading to this fact that mutual information decreases subject to local operations 40 www.nature.com/scientificreports www.nature.com/scientificreports/ which depends on the basis and is established on the concept of local projective measurements detecting the quantumness of correlations 42,43 .
It should be mentioned that if the initial state of the system is diagonal in the energy basis, meaning that C(ρ S ) = 0, one comes to which indicates that the system and the bath states remain diagonal subject to time evolution. Also as can be seen, only the classical part appears. Hence, one can say that if the initial state of the system is diagonal in the energy basis, it is impossible to create a quantum correlation between the system and the bath by applying TOs (see Fig. 1). However, if the initial state of the system is the coherent Gibbs state 20,44 , . From Eq. (32) and this fact that ΔS C irr is a non-negative quantity, one can conclude that Δ = S 0 C irr . Hence, for this case, there is no classical part in the entropy production expression, which is in contrast to the previous case, Eq. (36), (see Fig. 1). It should be mentioned that the above results are true for the entropy production introduced in Eq. (22); if the initial state of the system is incoherent, one obtains Δ = S 0 Q irr , meaning that only the classical part appears in the entropy production expression, and if the system is initially in a coherent Gibbs state, one arrives at Δ = S 0 C irr , meaning that only the quantum part is left.

example
To illustrate the above-mentioned results, let us consider a two-level system whose Hamiltonian is given by where ω a > ω b (Fig. 2). The bath is assumed to be a huge reservoir out of which one can freely and repeatedly, in each run of the protocol, pick one copy of a virtual or ancillary two-level system (qubit) which is on resonance with the system [45][46][47] . The bath Hamiltonian is , where ω 1 > ω 0 , and H redu B is the Hamiltonian describing the dynamical behavior of the rest of the bath. The initial state of the bath is assumed to be a thermal state, therefore, the state of the virtual qubit can be expressed as www.nature.com/scientificreports www.nature.com/scientificreports/ . Also, the resonance condition is assumed to be The "thermal contact" between the system and the bath is described by the interaction Hamiltonian, int where γ is coupling strength, and it is assumed that = 1  . The time evolution of the total system is then governed by the unitary operator = − i nt . After an infinitesimal time δt the state of the total system evolves to

SB t SB t
where the initial state ρ SB (0) is a direct product of the system and the bath initial states. Let us examine the above example for two different initial states of the system. Firstly, the initial state of the system is assumed to be an incoherent state, S where ≤ ≤ p 0 1 . In Fig. 3, entropy production, its classical and quantum parts for this state are plotted versus the parameter p. The plots show that the quantum contribution of the entropy production is zero, hence, the entropy production is the same as the classical part. Secondly, let us assume that the initial state of the system is pure and has coherence in the energy basis, Fig. 4, the same three quantities as in Fig. 3 for this state are plotted versus the parameter p. As can be seen, when the initial state of the system is the coherent Gibbs state, p = 0.35, the classical contribution of the entropy production is zero, which is consistent to what is mentioned before.
Discussion. In this paper, using the new definition of heat 28 , the corresponding expression for entropy production was obtained. The difference between this expression and the old one is a term which goes to zero in the limit of large baths, meaning that both expressions come close to each other in this limit.
Furthermore, it was shown that the new definition of heat leads to this fact that the entropy production is the same as mutual information between a system and a bath for TOs; it is also true for entropy-preserving operations provided that the initial state of the system-bath is a tensor product state. www.nature.com/scientificreports www.nature.com/scientificreports/ It was also shown that the upper bound of the free energy change of a system under TOs is tighter due to this new definition of heat.
Finally, the role of quantum coherence in the new expression of entropy production was studied and it was realized that if the initial state of a system is diagonal in the energy basis, one cannot create a quantum correlation between the system and its bath, subject to TO. On the other hand, it turned out that the correlation between a system and a bath is quantum correlation if the initial state of the system is a coherent Gibbs state.

Derivation of eq. (16).
The approach is similar to the one used to obtain Eq. (13), the only difference is that here Eq. (9) is considered as the definition of heat. Starting with Eq. (12) and considering the definition of heat according to Eq. (9), one comes to