Abstract
We consider a situation where an N-level system (NLS) is coupled to a heat bath without being necessarily thermalized. For this situation, we derive general Jarzynski-type equations and conclude that heat and entropy is flowing from the hot bath to the cold NLS and, vice versa, from the hot NLS to the cold bath. The Clausius relation between increase of entropy and transfer of heat divided by a suitable temperature assumes the form of two inequalities which have already been considered in the literature. Our approach is illustrated by an analytical example.
1 Introduction
The study of nonequilibrium thermodynamics of systems in contact with a thermal reservoir (“heat bath”) of different temperatures has a long history. As an example of the approach via a Master equation and its weak coupling limit, we mention the work of Lebowitz and Spohn [1], which actually considers a finite number of reservoirs. During the last decades, new methods have been devised, in particular, the approach via fluctuation theorems [2]. The famous Jarzynski equation represents one of the rare exact results of nonequilibrium statistical mechanics. It is a statement about the expectation value of the exponential of the work
Interestingly, one can derive from the Jarzynski equation certain inequalities that resemble the second law, see, e.g., [14]. However, a closer inspection shows that these inequalities are not exactly statements about the non-decrease of entropy. But the entropy balance is not the problem: the total von Neumann entropy is constant during unitary time evolution and non-decreasing during projective measurements, see [17] or Theorem 11.9 in [18]. The problem is rather that in the quantum case, the entropy balance is not sufficient to cover all aspects of the second law.
To explain the latter, consider classical thermodynamics where there are several equivalent formulations of the second law. For example, from the non-decrease in total entropy, it can be deduced that heat (and entropy) always flows from the hotter to the colder body. The elementary argument goes as follows: If the hotter body with inverse temperature β transfers the infinitesimal heat δQ (of whatever sign) to the colder body with inverse temperature β0 > β, then its entropy decrease will be dS1 = βδQ, according to the Clausius equality. On the other hand, the colder body receives the heat δQ and its entropy increases by dS2 = β0δQ. The total entropy increase will be dS = dS2 − dS1 = (β0 − β)δQ. Since (β0 − β) > 0, we obtain dS ≥ 0 ⇔ δQ ≥ 0.
In the quantum case, this elementary argument breaks down. Between the two sequential measurements, the transferred heat ΔQ and entropy ΔS can no longer be considered as infinitesimal and the Clausius equality has to be replaced by two inequalities. Moreover, the energy increase of the first system is not exactly equal to the energy decrease of the second system. This holds only approximately if the interaction Hamiltonian can be neglected, which will not be the case for small ΔQ. (Strictly speaking, the latter objection already applies to the classical case.)
We will try here to modify the classical argument for the “correct” heat flow for quantum mechanics. To this end, we will adopt another approach to the problem of the direction of the heat flow that focuses on the N-level quantum system and describes the influence of the heat bath solely in terms of a transition matrix T. T is only a (left) stochastic matrix and can no longer be assumed to be bi-stochastic (in the strict or modified sense) and hence, the usual assumptions leading to a Jarzynski-type equation, see [15], are no longer satisfied. But it is possible to derive a more general J-equation that is only based on (left) stochasticity of T. Thus, we can find arguments for the “correct” flow of heat and entropy that only rely on the assumption that T leaves invariant some Gibbs state with inverse temperature β0, see Section 2. β0 is interpreted as the inverse temperature of the heat bath. In this sense, we derive the second law of thermodynamics from a form of the zeroth law. For this derivation, we combine known results that appear in various places in the literature, see [19–23], but are sometimes only proved under assumptions that are stronger than those we will assume in the present work. We will present the relationship of these references to our results in more detail in Section 4.
The structure of the paper is as follows. The general definitions and main results on the heat flow between the system and the heat bath are given in Section 2. These results are based on a Jarzynski-type equation (19), which is proved in a more general setting in Appendix C. Here, we also comment on the possibility to relax the usual assumption of an initial product state. Close to the equilibrium point, the entropy increase ΔS and the absorbed heat over temperature βΔQ have a common tangent, see Figure 1, with a positive slope, as proved in Appendix B. The analogous result on the entropy flow is formulated in Section 3. It depends on two “Clausius inequalities”, see Eq. (67), the second one of which again follows from the Jarzynski-type equation. The bi-stochastic limit is shortly considered in Section 4. The next Section 5 contains an analytically solvable example. We close with a summary and outlook in Section 6.
2 Main results on heat flow
We consider an N-level system (NLS) described by a finite index set
where the partition function Z is defined by
and
Here, the “transition matrix” T is an N × N (left) stochastic matrix, i.e., satisfying
The entries of T will be sometimes written as conditional probabilities Tmn = P(m ← n) with self-explaining notation. We do not make any assumptions concerning thermalization and hence, the final probabilities qm will, in general, not be of Gibbs type.
The usual Jarzynski equation is based on the property of T being a bi-stochastic matrix, i.e., additionally satisfying, in the non-degenerate case of dn ≡ 1,
or, in the general case,
see Eq. (25) in [15]. This property holds if the system is closed and only subject to external forces performing work upon the system. But bi-stochasticity is no longer guaranteed for systems coupled to other ones (heat baths). However, if this is the case and if no external forces are applied, we may relax the (modified) bi-stochasticity of T to the following:
Assumption 1
There exists a Gibbs state with probabilities
and
that is left fixed by T, i.e.,
In this case, the transition matrix T, satisfying (4), (5) and (10), will be called a “Gibbs matrix” with temperature
Recall that every (left) stochastic matrix T has an eigenvector p(0) with non-negative entries corresponding to the eigenvalue 1, although p(0) is generally not unique. If the entries
Physically, the property (10) appears plausible if T represents the transition matrix due to the interaction with a heat bath of temperature τ0. If the NLS already has the same temperature τ0, its state should not change. This is not trivial since, in general, the Gibbs state of the combined system, NLS plus heat bath, with temperature τ0 does not commute with the interaction Hamiltonian. However, it can be shown that (10) holds exactly for some analytically solvable examples [24], and in other cases, the real situation can be expected to be represented by (10) to an excellent approximation.
Next, we will recall some probabilistic framework concepts for the Jarzynski-type equation, see [15]. Let
defined for elementary events is given by
Analogously to the case of the ordinary Jarzynski equation, we consider random variables
An example is
defined by
This can be interpreted as the “heat” transferred to the NLS during the interaction with the heat bath since we have assumed that no external forces are active that could perform work on the NLS.
Another example is the random variable “entropy increase”
defined by
Its expectation value agrees with the familiar expression for entropy decrease, as will be shown in Section 3, see Eqs. (35)–(37).
Sometimes, instead of (13), we will also use the sloppy notation ⟨Y(m, n)⟩ for the expectation value.
Then we can state the following Jarzynski-type equation that follows from the general “J-equation” considered in Appendix C.
Theorem 1
If T is a Gibbs matrix with inverse temperature β0 and
then, under the preceding conditions, the following holds:
For the proof see Appendix C, where (19) is obtained as a special case.
The Jarzynski-type equation (19) is more of a template that can be used to generate further equations by choosing a special form of the general probability distribution
and further, using
and (15), the following equation:
This equation was also derived in [19] under stronger assumptions. As pointed out in [19], Eq. (23) implies that the probability of events where heat flows in the “wrong” direction, i.e., where
As for the original Jarzynski equation, we may derive an inequality by invoking Jensen’s inequality (JI). Note that x ↦ −log x is a convex function. Hence
Thus, we have proven:
Theorem 2
If the temperature τ of the NLS is lower than the temperature τ0 of the heat bath, then β − β0 ≥ 0 and hence, by means of (26),
3 Clausius inequalities
We adopt the notation of Section 2 but for the next steps will not need Assumption 1. Further define (sometimes skipping the expectation brackets ⟨…⟩ if no misunderstanding can occur):
Note that (1) implies the familiar identity
To show the consistency of (33) with the definition (17), we calculate the expectation value of the corresponding random variable
which agrees with (33).
Then, we can show the following:
Theorem 3
Under the preceding conditions, the “first Clausius inequality”
holds.
This inequality has also be obtained in [20] by considering two systems with weak interaction and using the fact that the Gibbs state minimizes the free energy. This statement, in turn, can also be proven by the Gibbs inequality used below.
Proof of Theorem 3
For any two probability distributions
see, e.g., Theorem 11.1 in [18]. From this, we obtain
and further
which concludes the Proof of Theorem 3. □
Interestingly, the first Clausius inequality can be sharpened to a Clausius equality in the weak coupling limit.
Proposition 1
If the transition matrix T is of the form
where t denotes some N × N-matrix with necessarily vanishing column sums, then
The proof can be found in Appendix A.
Next, we assume the situation of a “heat process” as in Section 2 together with Assumption 1 and hence, can interpret the energy difference ⟨ΔE⟩ as the heat ⟨ΔQ⟩ transferred to the NLS. We consider both sides of (38), β⟨ΔQ⟩ and ⟨ΔS⟩, as functions of the inverse temperature β. Both functions vanish at the inverse temperature β0 of the heat bath and, due to (38), must have a common tangent at β = β0, see Figure 1. We will calculate its slope a using the intermediate results
This yields
using Eq. (5) in (60). According to Theorem 1, it is clear that the slope of the tangent cannot be negative, a ≥ 0. Nevertheless, this will be checked independently, see Appendix B.
The linear part of the Taylor series of β⟨ΔQ⟩ w.r.t. (β − β0) can be used to re-write ⟨ΔQ⟩ as a function of the dimensionless temperature
resembles the Fourier law or its precursor, Newton’s law of cooling [25], stating that the rate of heat loss of a body is directly proportional to the difference in the temperatures between the body and its surroundings. We further remark that the explicit form (60) of the “heat conduction coefficient” a β0 in (61) is reminiscent of the fluctuation–dissipation theorems mentioned in [7] in connection with the Jarzynski equation, see also Appendix B.2.
The above result that
Next, we turn to a second Clausius inequality that can be obtained from the Jarzynski-type equation (19) by choosing
As above, we may invoke Jensen’s inequality (JI) and the fact that x ↦ −log x is a convex function:
where we have suitably expanded the fraction (63) with the factors dn and dm. Together with (38), we have thus proven the following
Theorem 4
The second Clausius inequality β0⟨ΔQ⟩ ≤ ⟨ΔS⟩ has also been obtained in [21], Eq. (4.4), under the same conditions corresponding to our Assumption 1 and using the “monotonicity of the Kullback–Leibler (KL) divergence”. This proof is closely related to ours, since the said monotonicity is also a consequence of the general J-equation, see Appendix C.
Recall that according to Theorem 2, heat is always flowing from the hotter body to the colder one. According to the first Clausius inequality (38), the analogous statement for the entropy flow can only be shown in the case of 0 ≤ β ≤ β0, i.e., where the NLS has initially a larger temperature than the heat bath. This follows since β − β0 ≤ 0 implies ⟨ΔQ⟩ ≤ 0 by Theorem 2 and hence,
Theorem 5
Under the preceding conditions and for non-negative inverse temperatures of the NLS, i.e., β ≥ 0 there holds
4 Bi-stochastic limit case
As remarked in Section 2, in the limit case β0 = 0 and if dn = 1 for all
In particular, we consider the “Clausius inequalities” (67) and re-write them as
For β ≥ 0, it implies ⟨w⟩ ≥ 0, a result that could also have been derived from the usual Jarzynski equation, see, e.g., [27].
Another consequence of (69) is ⟨ΔS⟩ ≥ 0 (in contrast to ⟨ΔS⟩ = 0 for classical adiabatic work processes). This result can be independently proven as follows: every bi-stochastic matrix T can be written as a convex sum of permutational matrices. This is the Birkhoff–von Neumann theorem, see [28], [29]. The Shannon entropy is invariant under permutations, but increases under a convex sum of probability distributions. The latter is due to the concavity of the Shannon entropy, see, e.g., Ex. 11.21 in [18].
5 Analytical example
As an example where the transition matrix T can be exactly calculated, we consider a single spin with spin quantum number s = 1 coupled to a harmonic oscillator that serves as a heat bath. Hence, we have a three-level system,
where
Here
The Hamiltonian (70)–(73) strongly resembles the Jaynes–Cummings model [30], which describes the interaction of a two-level system with a quantized radiation field. The extension to three-level systems has also been considered [31–33], but always assumes non-uniform level spacings and two radiation modes.
This system is analytically solvable since H12 commutes with H1 + H2. The eigenspaces of H1 + H2 are, hence, left invariant under H. They are of the following form: either the singlet spanned by
and the corresponding eigenvalues
Let π denote a Gibbs state of the harmonic oscillator, such that
We choose as an initial mixed state
with an arbitrary probability distribution p. After the time t, this state will evolve into
To simplify the following calculation, we will consider the time average
The time averaged probability of finally occupying the state
The latter equation follows since qr is a linear function of p and defines the transition matrix T. From what has been said above it is clear that T will be obtained by a summation over all eigenspaces of H1 + H2. It proves to be independent of λ due to time averaging. After some computer-algebraic calculations, we obtain
Here
invariant that corresponds to a Gibbs state with inverse temperature β0. It follows that Assumption 1 is satisfied and hence the results derived in Sections 2 and 3 hold for our example. We illustrate this by showing the three functions βΔQ, ΔS, and β0ΔQ for −5β0 ≤ β ≤ 5β0 in Figure 3 satisfying the Clausius inequalities (67). For this example, we make the following observation, which seems to be typical for NLS coupled to a heat bath: If the three-level system is initially hotter than the heat bath, 0 < β < β0, the maximal heat transfer |ΔQ| results for β → 0, as expected. In contrast, the entropy transfer |ΔS| takes its maximum at a positive inverse temperature βmax, see Figure 3. This is remarkable in the sense that one might naively think that in nonequilibrium thermodynamics the identity ΔS = β0ΔQ, which holds for linear thermodynamics, could be weakened to a monotonic relation between ΔS and β0ΔQ. However, this is not correct: if one increases the temperature above 1/βmax, the reduced heat transfer
6 Summary and outlook
In this paper, we have presented an approach to the time-honored problem of the second law for a finite quantum system coupled to a heat bath. We have re-derived several known partial results, in part under weaker assumptions, and integrated them into a theory based on general J-equations. These resemble the famous Jarzynski equation and imply certain second law-like inequalities. It will be in order to provide a general survey that shows their logical dependencies, see Figure 4.
The most general J-equation is (C5), the central (red) equation of Figure 4. It holds for two sequential measurements under rather general assumptions, see Theorem 6, and contains two undetermined probability distributions
For “work processes” performed on closed systems that are only marginally touched in this paper, the transition matrix T is bi-stochastic in the modified sense of Eq. (7). This entails the J-equation (27) in [15] (the upper blue equation in Figure 4) that can be further specialized according to the choice of
By contrast, the “heat processes” performed on systems without external forces but under contact with a heat bath are characterized by T p(0) = p(0) and lead to another special J-equation (19) (the lower green equation in Figure 4) that is of central importance for this work. Again, there are two further options. The choice
For the analogous statement (68) about the average flow of entropy, we additionally required the two Clausius inequalities. The first one, ΔS ≤ βΔQ, is a simple consequence of the Gibbs inequality (GI). The second one, β0ΔQ ≤ ΔS, follows via (JI) from the mentioned J-equation (19) and the choice
In the following, we will relate our results to similar statements found in the relevant literature.
Jarzynski and Wójcik [19] consider two systems which initially have different temperatures, then interact weakly and finally (in the quantum case) are subjected to a separate energy measurement for both systems. They derive a Crooks-like equality, and from this a Jarzynski-type equation, Eq. (18) in [19] that corresponds to our Eq. (23). Important assumptions are: neglect of the interaction between both systems for the heat balance and microreversibility. In contrast, we will focus on the 1st system and describe the second one only in a general way by the transition matrix T. Our assumptions are weaker: T leaves invariant some Gibbs state without neglecting the interaction; time reversal invariance is not needed (and actually will be violated for the example presented in Section 5).
Jennings and Rudolph [20] also consider two systems, which, however, can also be initially entangled. The special case, which is interesting for our purposes, is that both systems are uncorrelated at the beginning and have different temperatures. A first Clausius inequality, corresponding to our (38), is derived from the property that the Gibbs state minimizes the free energy. From this directly, without using a Jarzynski-type equation, the heat flow inequality, Eq. (3) in [20], follows, which corresponds to our Eq. (26), but again assuming, as in [19], that the amount of heat emitted by the first system is exactly absorbed by the second one.
The second Clausius inequality that appears in our (67), can also be found in Chapter 4.1 of [21], and is proved there via the “monotonicity of the KL divergence”. This proof is closely related to ours, since the said monotonicity follows from the general J-equation, see Appendix C. The following statements in [21] interpreting the second Clausius inequality as a form of the second law of stochastic thermodynamics should be taken with some caution, see the discussion above.
Another related result has been proven already in 1978 by Spohn [22]: for an open quantum mechanical system described by a quantum dynamical semigroup that leaves invariant a certain state ρ0, the entropy production is non-negative. The latter is defined as the time derivative of the KL divergence between ρt and ρ0. This result has been recently reformulated in [23] in a way compatible with our approach; Eqs. (16) and (17) of that reference immediately imply the second Clausius inequality.
Summarizing the state of research, partial formulations of the second law for the coupling of an NLS to a heat bath can be found to a sufficient extent in recent years, but they have to be integrated into a unified theory and proved under conditions as weak as possible. This has been attempted in the present work.
Moreover, we have presented an analytically solvable example illustrating our approach. It consists of a three-level system (a spin with s = 1) coupled to a harmonic oscillator. For this example, our central Assumption 1, saying that the transition matrix has a fixed point of Gibbs type, is exactly satisfied. It would be a task for the future to investigate the conditions under which this assumption holds exactly or approximately.
Funding source: Deutsche Forschungsgemeinschaft (DFG)
Award Identifier / Grant number: GE 1657/3-1
Award Identifier / Grant number: SCHN 615/25-1
Acknowledgment
We sincerely thank the members of the DFG Research Unit FOR2692 for fruitful discussions.
Author contribution: All the authors have accepted responsibility for the entire content of this submitted manuscript and approved submission.
Research funding: This work was funded by the Deutsche Forschungsgemeinschaft (DFG) Grants No. SCHN 615/25-1 and GE 1657/3-1.
Conflict of interest statement: The authors declare no conflicts of interest regarding this article.
Appendix A: Proof of Proposition 1
First, we will calculate the energy increase in the weak coupling limit:
Recall that the (left) stochasticity of T implies
Further,
and hence,
Finally,
which completes the proof of Proposition 1. □
Appendix B: Proof of a≥ 0
We will present two proofs of the fact that the slope a of β0⟨ΔQ⟩ considered as a function of β will be non-negative at β = β0.
B.1 First proof
We write a as double sum according to (60) and add the same sum but with n and m interchanged. This yields
Using
and the analogous expression for
The first term in (B4) is non-negative and the second one vanishes according to
and
Here, we have used T that is left stochastic, see (5), and leaves p(0) fixed, see (10), according to Assumption 1. □
B.2 Second proof
The second proof is based on the cumulant expansion for a random variable X, see, e.g., 26.1.12 in [35],
defining the cumulants
In our case, we set X = ΔQ and t = −(β − β0) and use Eq. (23) to obtain
Hence,
This proves that
Appendix C: General J-equation
We will sketch the general probabilistic framework, analogous to that in [15] and already used in Section 2 for a special case. It deals with two sequential measurements and the corresponding general J-equation. We have two sets of outcomes,
of the form
where T is a (left) stochastic matrix and
For simplicity, we assume that
Then, the following holds.
Theorem 6
(General J-equation)
Proof
□
The general J-equation (C5) is more of a template that can be used to generate further equations by choosing a special form of the general probability distribution
The J-equation (27) in [15] follows for the choice of
As for every Jarzynski-type equation, the application of Jensen’s inequality (JI) using the concave function x ↦ log x yields a second law-like inequality. In the case of (C5), this inequality turns out to be equivalent to the “monotonicity of the KL divergence”, see [21], if we set
We further obtain
and
hence,
Analogously,
and hence, (C10) is equivalent to the monotonicity of the KL-divergence written as
As mentioned in Section 1, the general J-equation belongs to the framework of stochastic thermodynamics and is as such neither quantum nor classical. Nevertheless, it will be instructive to sketch realizations of the framework in these two domains.
We begin with the quantum domain. Consider a finite-dimensional system Σ1 initially described by a statistical operator with spectral decomposition ρ1 = ∑ixiPi such that
In the example studied in this paper, the Pi would be the eigenprojections of the Hamiltonian H and the xi the corresponding eigenvalues of
A first projective measurement corresponding to the complete family of mutually orthogonal projections
It is straightforward to check that the matrix T defined by (C20) is (left) stochastic using
We note that it is not necessary to take the total initial state as a product state ρ1 ⊗ ρ2, although this is usually assumed in the literature on the second law, e.g., in p. 113 of [1], or pp. 230602−3 of [19], and also in this paper, see Section 2. But if we assume an arbitrary total initial state ρ and perform the first projective measurement according to the family
analogously to (C20).
In the classical case, we work with a phase space
The phase space is decomposed according to the finite partition
where
and χi is the characteristic function of
It is straightforward to check that the matrix T defined by (C26) is (left) stochastic.
References
[1] H. Spohn and J. L. Lebowitz, “Irreversible thermodynamics for quantum systems weakly coupled to thermal reservoirs,” in Advances in Chemical Physics: For Ilya Prigogine, Vol. 38, S. A. Rice, Ed., Hoboken, New Jersey, John Wiley & Sons, 1987.10.1002/9780470142578.ch2Search in Google Scholar
[2] J. L. Lebowitz and H. Spohn, “A Gallavotti–Cohen-type symmetry in the large deviation functional for stochastic dynamics,” J. Stat. Phys., vol. 95, nos. 1/2, pp. 333–365, 1999. https://doi.org/10.1023/a:1004589714161.10.1023/A:1004589714161Search in Google Scholar
[3] C. Jarzynski, “Nonequilibrium equality for free energy differences,” Phys. Rev. Lett., vol. 78, no. 17, p. 2690, 1997. https://doi.org/10.1103/physrevlett.78.2690.Search in Google Scholar
[4] J. Kurchan, “A quantum fluctuation theorem,” 2000, arXiv:0007360v2 [cond-mat.stat-mech].Search in Google Scholar
[5] H. Tasaki, “Jarzynski relations for quantum systems and some applications,” 2000, arXiv:0000244v2 [cond-mat.stat-mech].Search in Google Scholar
[6] S. Mukamel, “Quantum extension of the Jarzynski relation: analogy with stochastic dephasing,” Phys. Rev. Lett., vol. 90, no. 17, p. 170604, 2003. https://doi.org/10.1103/physrevlett.90.170604.Search in Google Scholar PubMed
[7] P. Talkner, M. Morillo, J. Yi, and P. Hänggi, “Statistics of work and fluctuation theorems for microcanonical initial states,” New J. Phys., vol. 15, 2013, Art no. 095001. https://doi.org/10.1088/1367-2630/15/9/095001.Search in Google Scholar
[8] T. Schmiedl and U. Seifert, “Stochastic thermodynamics of chemical reaction networks,” J. Chem. Phys., vol. 126, 2007, Art no. 044101. https://doi.org/10.1063/1.2428297.Search in Google Scholar PubMed
[9] K. Saito and Y. Utsumi, “Symmetry in full counting statistics, fluctuation theorem, and relations among nonlinear transport coefficients in the presence of a magnetic field,” Phys. Rev. B, vol. 78, p. 115429, 2008. https://doi.org/10.1103/physrevb.78.115429.Search in Google Scholar
[10] D. Andrieux, P. Gaspard, T. Monnai, and S. Tasaki, “The fluctuation theorem for currents in open quantum systems,” New J. Phys., vol. 11, 2009, Art no. 043014. Erratum in: New J. Phys. 11, 109802 (2009).10.1088/1367-2630/11/4/043014Search in Google Scholar
[11] J. Yi, P. Talkner, and M. Campisi, “Nonequilibrium work statistics of an Aharonov–Bohm flux,” Phys. Rev. E, vol. 84, 2011, Art no. 011138. https://doi.org/10.1103/PhysRevE.84.011138.Search in Google Scholar PubMed
[12] M. Esposito, “Stochastic thermodynamics under coarse graining,” Phys. Rev. E, vol. 85, 2012, Art no. 041125. https://doi.org/10.1103/physreve.85.041125.Search in Google Scholar PubMed
[13] J. Yi, Y. W. Kim, and P. Talkner, “Work fluctuations for Bose particles in grand canonical initial states,” Phys. Rev. E, vol. 85, 2012, Art no. 051107. https://doi.org/10.1103/PhysRevE.85.051107.Search in Google Scholar PubMed
[14] M. Campisi, P. Hänggi, and P. Talkner, “Colloquium: quantum fluctuation relations: foundations and applications,” Rev. Mod. Phys., vol. 83, pp. 771–791, 2011. Erratum: Rev. Mod. Phys. 83, 1653 (2011).10.1103/RevModPhys.83.771Search in Google Scholar
[15] H.-J. Schmidt and J. Gemmer, “A framework for sequential measurements and general Jarzynski equations,” Z. Naturforsch., vol. 75, no. 3, pp. 265–284, 2020. https://doi.org/10.1515/zna-2019-0272.Search in Google Scholar
[16] H.-J. Schmidt and J. Gemmer, “Sequential measurements and entropy,” J. Phys.: Conf. Ser., vol. 1638, 2020, Art no. 012007. https://doi.org/10.1088/1742-6596/1638/1/012007.Search in Google Scholar
[17] J. von Neumann, Mathematische Grundlagen der Quantenmechanik, Berlin, Springer-Verlag, 1932. English translation: Mathematical Foundations of Quantum Mechanics, Princeton, Princeton University Press, 1955.Search in Google Scholar
[18] M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, Cambridge, Cambridge University Press, 2000.Search in Google Scholar
[19] C. Jarzynski and D. K. Wójcik, “Classical and quantum fluctuation theorems for heat exchange,” Phys. Rev. Lett., vol. 92, no. 23, p. 230602, 2004. https://doi.org/10.1103/physrevlett.92.230602.Search in Google Scholar PubMed
[20] D. Jennings and T. Rudolph, “Entanglement and the thermodynamic arrow of time,” Phys. Rev. E, vol. 81, 2010, Art no. 061130. https://doi.org/10.1103/PhysRevE.81.061130.Search in Google Scholar PubMed
[21] T. Sagawa, “Entropy, divergence, and majorization in classical and quantum thermodynamics,” 2020, arXiv:2007.09974v3 [quant-ph].Search in Google Scholar
[22] H. Spohn, “Entropy production for quantum dynamical semigroups,” J. Math. Phys., vol. 19, no. 5, pp. 1227–1230, 1978. https://doi.org/10.1063/1.523789.Search in Google Scholar
[23] T. Aoki, Y. Matsuzaki, and H. Hakoshima, “Total thermodynamic entropy production rate of an isolated quantum system can be negative for the GKSL-type Markovian dynamics of its subsystem,” 2021, 2103.05308v1 [quant-ph].10.1103/PhysRevA.103.052208Search in Google Scholar
[24] H.-J. Schmidt and J. Schnack, “Analytical results on the thermalization of a large spin system,” 2021, in preparation.Search in Google Scholar
[25] Anonymous, “Scala graduum caloris. Calorum descriptiones & signa,” Phil. Trans., vol. 22, no. 270, pp. 824–829, 1701.10.1098/rstl.1700.0082Search in Google Scholar
[26] C. E. Shannon, “A mathematical theory of communication,” Bell System Tech. J., vol. 27, no. 3, pp. 379–423, 1948. https://doi.org/10.1002/j.1538-7305.1948.tb01338.x.Search in Google Scholar
[27] H.-J. Schmidt, “Periodic thermodynamics of a two spin Rabi model,” J. Stat. Mech., vol. 2020, 2020, Art no. 043204.10.1088/1742-5468/ab7812Search in Google Scholar
[28] G. Birkhoff, “Three observations on linear algebra,” Univ. Nac. Tucumán Rev. Ser. A, vol. 5, pp. 147–151, 1946.Search in Google Scholar
[29] J. von Neumann, “A certain zero-sum two-person game equivalent to an optimal assignment problem,” Ann. Math. Stud., vol. 28, pp. 5–12, 1953. https://doi.org/10.1515/9781400881970-002.Search in Google Scholar
[30] E. T. Jaynes and F. W. Cummings, “Comparison of quantum and semiclassical radiation theories with application to the beam maser,” Proc. IEEE, vol. 51, no. 1, pp. 89–109, 1963. https://doi.org/10.1109/proc.1963.1664.Search in Google Scholar
[31] C. C. Gerry and J. H. Eberly, “Dynamics of a Raman coupled model interacting with two quantized cavity fields,” Phys. Rev. A, vol. 42, no. 11, pp. 6805–6815, 1990. https://doi.org/10.1103/physreva.42.6805.Search in Google Scholar PubMed
[32] M. Alexanian and S. K. Bose, “Unitary transformation and the dynamics of a three-level atom interacting with two quantized field modes,” Phys. Rev. A, vol. 52, no. 3, pp. 2218–2224, 1995. https://doi.org/10.1103/physreva.52.2218.Search in Google Scholar PubMed
[33] B. T. Torosov, S. Longhia, and G. D. Vallea, “Mixed Rabi Jaynes–Cummings model of a three-level atom interacting with two quantized fields,” Opt. Commun., vol. 346, pp. 110–114, 2015. https://doi.org/10.1016/j.optcom.2015.02.035.Search in Google Scholar
[34] F. W. J. Olver, A. B. O. Daalhuis, D. W. Lozier, et al.., Eds., NIST Digital Library of Mathematical Functions, 2021. Available at: http://dlmf.nist.gov/, Release 1.1.1 of 2021-03-15.Search in Google Scholar
[35] M. Abramowitz and I. A. Stegun, Eds. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, 9th printing, New York, Dover, 1972.Search in Google Scholar
© 2021 Heinz-Jürgen Schmidt et al., published by De Gruyter, Berlin/Boston
This work is licensed under the Creative Commons Attribution 4.0 International License.