Quantum Thermodynamics: A Dynamical Viewpoint

Ronnie Kosloff

Institute of Chemistry, The Hebrew University, Jerusalem 91904, Israel

Entropy2013,15(6), 2100-2128;https://doi.org/10.3390/e15062100

Submission received: 26 March 2013 /Revised: 21 May 2013 /Accepted: 23 May 2013 /Published: 29 May 2013

(This article belongs to the Special IssueQuantum Information 2012)

Downloadkeyboard_arrow_down

Browse Figures

Versions Notes

Abstract

Quantum thermodynamics addresses the emergence of thermodynamic laws from quantum mechanics. The viewpoint advocated is based on the intimate connection of quantum thermodynamics with the theory of open quantum systems. Quantum mechanics inserts dynamics into thermodynamics, giving a sound foundation to finite-time-thermodynamics. The emergence of the 0-law, I-law, II-law and III-law of thermodynamics from quantum considerations is presented. The emphasis is on consistency between the two theories, which address the same subject from different foundations. We claim that inconsistency is the result of faulty analysis, pointing to flaws in approximations.

Keywords:

thermodynamics;open quantum systems;heat engines;refrigerators;quantum devices;finite time thermodynamics

1. Introduction

Quantum thermodynamics is the study of thermodynamic processes within the context of quantum dynamics. Thermodynamics preceded quantum mechanics; consistency with thermodynamics led to Planck’s law, the dawn of quantum theory. Following the ideas of Planck on black body radiation, Einstein (1905) quantized the electromagnetic field [1]. Quantum thermodynamics is devoted to unraveling the intimate connection between the laws of thermodynamics and their quantum origin, requiring consistency. For many decades, the two theories developed separately. An exception is the study of Scovilet al. [2,3], which showed the equivalence of the Carnot engine [4] with the three level Maser, setting the stage for new developments.

With the establishment of quantum theory, the emergence of thermodynamics from quantum mechanics becomes a key issue. The two theories address the same subject from different viewpoints. This requires a consistent view of the state and dynamics of matter. Despite its name, dynamics is absent from most thermodynamic descriptions. The standard theory concentrates on systems close to equilibrium. This is also the prevailing view in quantum statistical mechanics, which is outside the scope of this thesis. Quantum mechanics has been used to reintroduce dynamical processes into thermodynamics. In particular, the theory of quantum open systems supplies the framework to separate the system from its environment. The Markovian master equation pioneered by Lindblad and Gorini-Kossakowski-Sudarshan (LGKS generator) [5,6] is one of the key elements of the theory of quantum thermodynamics [7,8]. The dynamical framework allows one to reinterpret and justify the theory of finite time thermodynamics [9,10,11], which addresses thermodynamic processes taking place in finite time.

A thermodynamic tradition is learning by example. The model of a heat engine by Carnot [4] led to generalizations; the first and second law of thermodynamics. A quantum mechanical model of heat engines and refrigerators allows us to incorporate dynamics into thermodynamics. Two types of devices have been studied: reciprocating engines utilizing the Otto and Carnot cycle and continuous engines resembling lasers and laser cooling devices. A reciprocating cycle is partitioned typically into four segments, two adiabats, where the working system is isolated from the environment, and two heat transfer segments, either isotherms for the Carnot cycle [12,13,14,15,16,17] or isochores for the Otto cycle [18,19,20,21,22,23,24,25,26,27,28,29,30,31]. The same cycles were then used as models for refrigerators [19,32,33,34,35].

In quantum thermodynamics, adiabats are modeled by time-dependent Hamiltonians. Typically, the external control Hamiltonian does not commute with the internal Hamiltonian. Infinitely slow operation is the prerequisite for the quantum and thermodynamic adiabatic conditions. Under these conditions, the engine’s cycle has zero power. To generate finite power, the speed of operation has to be increased. Empirically, it is known that faster motion leads to losses, due to friction. The quantum description identifies the source of friction in the inability of the system to stay diagonal in the instantaneous energy frame [27,36,37,38,39]. Once energy is accounted for, which in an engine cycle, occurs on the heat transfer segments, the off-diagonal elements are wiped out. This loss leads to the phenomenon of friction [27,38]. For special cases when the dynamics can be described by a closed set of observables, the friction can be reduced or eliminated by requiring that only at the initial and final points of the adiabatic state, the systems are diagonal in energy. This phenomena has been termed “shortcut to adiabaticity" [32,40,41,42,43,44].

In quantum thermodynamics, the heat transfer segments are described by a system-bath interaction modeled by open quantum system techniques. The LGKS generator [5,6] is typically employed [12,15,17,18]. For finite power operation, the thermal transfer process is never allowed to reach equilibrium with the heat bath, which would take an infinite amount of time. Finally, maximum power output is obtained by optimizing the time allocation on each of the segments of the cycle. The efficiency of the engine at maximum power can then be compared to the well studied results of finite-time thermodynamics [9,10,11,45,46,47,48,49]. In the limit of high temperature, the quantum model converges to the finite-time thermodynamic result [12,27,50].

The prime example of a continuous quantum engine is a three-level laser, which has been shown to be limited by Carnot efficiency [2,3]. Power optimization leads to efficiency at maximum power identical to finite-time thermodynamics [8]. Many dynamical models have been introduced for different types of continuous quantum engines, all consistent with the laws of thermodynamics [7,8,13,20,24,25,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65]. The prime example of a continuous refrigerator is laser cooling. In this context, it is obtained by reversing the operation of a three-level laser [51,52,66,67,68,69,70,71,72,73,74,75,76,77,78]. A quantum absorption refrigerator has also been studied, which is a refrigerator with heat as its power source [53,70,79,80]. An example could be a refrigerator driven by sunlight [81].

Amazingly, in all these examples, a thermodynamic description is appropriate up to the level of a single open quantum system [8,35,62,82]. The common assumption that thermodynamics applies solely to macroscopic systems is only true in classical mechanics.

There are alternative approaches to the emergence of thermodynamic phenomena, for example, based on the complexity of the spectrum of large quantum systems [83,84,85,86]. For such systems, the closed system dynamics of global observables is indistinguishable from dynamics generated by LGKS generators [87,88]. The term quantum thermodynamics has been introduced by Partovi to describe a particle interacting with a heat reservoir and its rate of approach to equilibrium.[89].

Two contemporary fields of research—ultra cold matter and quantum information processing—are closely related to quantum thermodynamics. Cooling mechanical systems unravel their quantum character. As the temperature decreases, degrees of freedom freeze out, leaving a simplified dilute effective Hilbert space. Ultracold quantum systems contributed significantly to our understanding of basic quantum concepts. In addition, such systems form the basis for emerging quantum technologies. The necessity to reach ultra-low temperatures requires focus on the cooling process itself,i.e., quantum refrigeration. A key theme in quantum information processes is error correction. The resource for these operations are cold ancilla qubits [90]. It is therefore expected that a quantum computer will be intimately connected to a quantum refrigerator.

The present review follows the manifestation of the laws of thermodynamics in their quantum dynamical context.

The 0-law of thermodynamics deals with the partition of the system from the bath.
I-law: The first law of thermodynamics is a statement of conservation of energy.
II-law: The second law is a statement on the irreversibility of dynamics: the breakup of time reversal symmetry. An empirical definition: heat will flow spontaneously from a hot source to a cold sink. These statements are translated to quantum definitions of positive entropy generation.
III-law: We will analyze two formulations. The first is that the entropy of any pure substance in thermodynamic equilibrium approaches zero as the temperature approaches absolute zero. The second formulation is a dynamical one, known as the unattainability principle: it is impossible by any procedure, no matter how idealized, to reduce any assembly to absolute zero temperature in a finite number of operations.

2. Quantum Open Systems

Quantum thermodynamics is based on a series of idealizations in similar fashion to the ideal gas model, which serves classical thermodynamics. The theory of quantum open systems is the inspiration for many of these idealizations. The primary goal of open quantum systems theory is to develop a local dynamical description of the dynamics of a system coupled to an environment termed “reduced dynamics". The variables of the theory are defined by local system observables. These observables constitute the quantum thermodynamic description. To account for possible system-bath entanglement, the system has to be described by a mixed state,

{\hat{ρ}}_{S}

. Observables are obtained from:

〈 \hat{O} 〉 = Tr {{\hat{ρ}}_{S} \hat{O}}

[91].

It is customary to assume that the entire world is a large closed system, and therefore, time evolution is governed by a unitary transformation generated by a global Hamiltonian. For the combined system bath scenario, the global Hamiltonian can be decomposed into:

\hat{H} = {\hat{H}}_{S} + {\hat{H}}_{B} + {\hat{H}}_{S B}

(1)

where

{\hat{H}}_{S}

is the system’s Hamiltonian,

{\hat{H}}_{B}

the bath Hamiltonian and

{\hat{H}}_{S B}

the system-bath interaction. Formally, the state of the system can be obtained from a partial trace over the combined system:

{\hat{ρ}}_{S} (t) = {Tr}_{B} {{\hat{ρ}}_{S B} (t)} = {Tr}_{B} {\hat{U} {\hat{ρ}}_{S B} (0) {\hat{U}}^{†}}

where

\hat{U}

is generated by the total Hamiltonian:

\hat{U} = e^{- \frac{i}{ℏ} \hat{H} t}

. Reduced dynamics is an equivalent description utilizing only systems operators. The desired outcome is to obtain a local dynamical theory.

There are two major strategies to derive such equations. The first is based on the weak system-bath coupling expansion, which leads to an integro-differential equation for the systems state,

{\hat{ρ}}_{S}

[92]:

\frac{d}{d t} {\hat{ρ}}_{S} (t) = - \frac{i}{ℏ} [{\hat{H}}_{S}, {\hat{ρ}}_{S} (t)] + \int_{0}^{t} K (t, t^{'}) {\hat{ρ}}_{S} (t^{'}) d t^{'}

(2)

where

K

is the memory kernel, and an additional assumption that at

t = 0

, the system and bath are uncorrelated:

\hat{ρ} = {\hat{ρ}}_{S} \otimes {\hat{ρ}}_{B}

(3)

Assuming the bath dynamics is fast, Equation (2) is reduced to a differential form [93,94]:

\frac{d}{d t} {\hat{ρ}}_{S} = - \frac{i}{ℏ} [{\hat{H}}_{S}, {\hat{ρ}}_{S}] + L_{D} {\hat{ρ}}_{S}

(4)

where

L_{D}

is the generator of dissipative dynamics.

The alternative approach to reduced dynamics searches for the most general form of the generator of Markovian dynamics or, in more technical terms, a completely positive quantum dynamical semigroup [92,95]. Kraus has shown [96] that starting from an uncorrelated initial system and bath state in Equation (3), a reduced map,

Λ_{S} (t)

, to the final time always has the structure:

{\hat{ρ}}_{S} (t) = Λ_{S} (t) {\hat{ρ}}_{S} (0) = \sum_{j} {\hat{K}}_{j} (t) {\hat{ρ}}_{S} (0) {\hat{K}}_{j}^{†} (t)

(5)

where

\hat{K}

are system operators and

\sum_{j} {\hat{K}}_{j} {\hat{K}}_{j}^{†} = \hat{I}

. When adding a Markovian assumption,

Λ_{S} (t) = e^{L t}

, the differential generator,

L

, of the map becomes [5,6]:

\frac{d}{d t} {\hat{ρ}}_{S} = L {\hat{ρ}}_{S} = - \frac{i}{ℏ} [{\hat{H}}_{S}, {\hat{ρ}}_{S}] + \sum_{j} ({\hat{V}}_{j} {\hat{ρ}}_{S} {\hat{V}}_{j}^{†} - \frac{1}{2} {{\hat{V}}_{j}^{†} {\hat{V}}_{j}, {\hat{ρ}}_{S}})

(6)

where

\hat{V}

are system operators and

{\hat{H}}_{S}

is a renormalized system Hamiltonian. Equation (6) is the Lindblad-Gorini-Kossakowski-Sudarshan (LGKS)-semi-group generator [5,6]. In the LGKS derivation, the operators,

{\hat{V}}_{j}

, are unrestricted system operators. Explicit derivations, such as in Equation (23), relate the operators,

{\hat{V}}_{j}

, to system-bath coupling terms. The Markovian dynamics implies also that Equation (3) is true for all times [97]. The completely positive construction assures that the dynamics can be generated from a non-unique Hamiltonian model of some large system.

The Heisenberg representation supplies a direct link to quantum thermodynamic observables. The dynamics of an observable represented by the operator,

\hat{O}

, has the form:

\frac{d}{d t} \hat{O} = L^{*} \hat{O} = + \frac{i}{ℏ} [{\hat{H}}_{S}, \hat{O}] + \sum_{j} ({\hat{V}}_{j} \hat{O} {\hat{V}}_{j}^{†} - \frac{1}{2} {{\hat{V}}_{j} {\hat{V}}_{j}^{†}, \hat{O}}) + \frac{\partial \hat{O}}{\partial t}

(7)

where the possibility that the operator,

\hat{O}

, which is explicitly time-dependent, is included. Equation (7) allows one to follow, in time, thermodynamic observables, such as energy, for a desired process.

3. The 0-Law

The zero law of thermodynamics is typically stated as:If A and C are each in thermal equilibrium with B, A is also in equilibrium with C. A thermodynamic description is based on idealized partitions between subsystems. An isothermal partition, for example, allows heat to flow from the system to the bath, maintaining the integrity of the subsystems. Consistency with quantum mechanics due to the global structure of the theory is therefore a non-trivial statement.

3.1. System Bath Partition

Quantum thermodynamics idealizes that the system can be fully described by local operators, which is equivalent to the condition:

\hat{ρ} \approx {\hat{ρ}}_{S} \otimes {\hat{ρ}}_{B}

(8)

In Equation (8), there is no system-bath entanglement, which is also true for Markovian dynamics. Thermodynamically, the local description of the system is equivalent to the extensivity of its observables. We conclude that the dynamics represented by the LGKS generator in Equation (6) is closely linked to a thermodynamic framework.

3.2. Thermal Equilibrium

An equilibrium state, in general, is defined as stationary and stable. This assumption is used to derive the Kubo-Martin-Schwinger stability criterion for thermal equilibrium [98,99]. This criterion will imply that in equilibrium, there is no energy current between the system and bath. If we extend the description to a network of baths connected by systems:

\hat{H} = {\hat{H}}_{S_{1}} + {\hat{H}}_{B_{a}} + {\hat{H}}_{S_{1} B_{a}} + {\hat{H}}_{S_{2}} + {\hat{H}}_{S_{2} B_{b}} + {\hat{H}}_{B_{b}} + {\hat{H}}_{S_{1} B_{b}} + {\hat{H}}_{S_{2} B_{a}} . . .

(9)

then the KMS condition for a tensor product state of subsystems implies the 0-law for a network of coupled systems.

4. The I-Law

The I-law is devoted to the elusive concept of energy conservation. If the universe is closed and passive, meaning there are no source terms, then its energy is conserved. This implies that the total evolution is unitary, where the dynamics are generated by a total Hamiltonian,

\hat{H}

, cf. Equations (1) and (9). As a result, the total energy expectation,

〈 \hat{H} 〉

, is constant.

Quantum thermodynamics focuses on the balance of energy of systems coupled to a bath. The local change is the sum of the heat currents in and out of the system: heat flow from the environments and power from an external source. The time derivative of the system’s energy balance becomes:

\frac{d E_{S}}{d t} = \sum_{j}^{N} J_{j} + P

(10)

where

J_{j}

is the heat current from thejth bath and

P

is the external power. The quantum thermodynamic version of the I-law is obtained by inserting the system Hamiltonian,

{\hat{H}}_{S}

, into Equation (7), leading to:

\frac{d E_{S}}{d t} = 〈 \frac{\partial {\hat{H}}_{S}}{\partial t} 〉 + 〈 L_{D} ({\hat{H}}_{S}) 〉 = 〈 \frac{\partial {\hat{H}}_{S}}{\partial t} 〉 + \sum_{j}^{N} J_{j}

(11)

Since

[{\hat{H}}_{S}, {\hat{H}}_{S}] = 0

, only the dissipative part of

L

appears. The heat currents,

J_{j}

, can be identified as:

J_{j} = 〈 {\hat{V}}_{j} {\hat{H}}_{S} {\hat{V}}_{j}^{†} - \frac{1}{2} {{\hat{V}}_{j} {\hat{V}}_{j}^{†}, {\hat{H}}_{S}} 〉

(12)

and the power becomes:

P = 〈 \frac{\partial H_{S}}{\partial t} 〉

(13)

Equations (12) and (13) are the dynamical versions of the I-law based on Markovian dynamics [8,100,101].

The criticism of relying exclusively on LGKS generators is that they are not unique. In addition, such reliance may violate the II-law. The non-uniqueness is caused by the substitution,

\hat{V} \to \hat{V} + i γ \hat{I}

and

{\hat{H}}_{S} \to {\hat{H}}_{S} + \frac{γ}{2} (\hat{V} + {\hat{V}}^{†})

, which maintains the dynamics generated by the Equation (7) invariant. In contradiction, the heat current,

L_{D} ({\hat{H}}_{S})

, is not invariant to this transformation. The origin of this fuzziness of the definition stems from the arbitrariness of accounting for the system bath interaction energy in

{\hat{H}}_{S}

. To obtain a consistent definition of the I-law, additional restrictions must be imposed.

4.1. The Dynamical Generator in the Weak System-Bath Coupling Limit

A unique and consistent approach is obtained by deriving the generator,

L_{D}

, in the weak system-bath coupling limit. In this limit, the interaction energy can be neglected. This approach represents a thermodynamic idealization: it allowes energy transfer, while keeping a tensor product separation between the system and bath,i.e., a quantum version of an isothermal partition.

Consider a system and a reservoir (bath), with a “bare" system Hamiltonian,

{\hat{H}}_{S}

, and the bath Hamiltonian,

{\hat{H}}_{B}

, interacting via the Hamiltonian,

λ {\hat{H}}_{i n t} = λ \hat{S} \otimes \hat{B}

. Here,λ is the coupling strength. It is assumed that the bath is stationary:

[{\hat{ρ}}_{B}, {\hat{H}}_{B}] = 0, Tr {{\hat{ρ}}_{B} \hat{B}} = 0

(14)

The reduced, system-only dynamics in the interaction picture map are defined by a partial trace over the bath:

{\hat{ρ}}_{S} (t) = Λ (t, 0) {\hat{ρ}}_{S} \equiv {Tr}_{B} \{{\hat{U}}_{λ} (t, 0) {\hat{ρ}}_{S} \otimes {\hat{ρ}}_{B} {\hat{U}}_{λ} {(t, 0)}^{†}\}

(15)

where the unitary propagator in the interaction picture is described by the time-ordered exponential:

{\hat{U}}_{λ} (t, 0) = T exp \{\frac{- i λ}{ℏ} \int_{0}^{t} \hat{S} (s) \otimes \hat{B} (s) d s\}

(16)

where:

\hat{S} (t) = e^{(i / ℏ) {\hat{H}}_{S}^{'} t} \hat{S} e^{- (i / ℏ) {\hat{H}}_{S}^{'} t}, \hat{B} (t) = e^{(i / ℏ) {\hat{H}}_{B} t} \hat{B} e^{- (i / ℏ) {\hat{H}}_{B} t}

(17)

\hat{S} (t)

is defined with respect to the renormalized, physical

{\hat{H}}_{S}^{'}

and not

{\hat{H}}_{S}

, which can be expressed as:

{\hat{H}}_{S}^{'} = {\hat{H}}_{S} + λ^{2} {\hat{H}}_{1}^{corr} + \dots

(18)

The re-normalizing terms containing powers ofλ are Lamb-shift corrections due to the interaction with the bath. The lowest order (Born) approximation with respect to the coupling constant,λ, yields

{\hat{H}}_{1}^{corr}

A convenient tool to represent the reduced map is a cumulant expansion:

\hat{Λ} (t, 0) = exp \sum_{n = 1}^{\infty} [λ^{n} K^{(n)} (t)]

(19)

One finds that

K^{(1)} = 0

and the weak coupling limit consist of terminating the cumulant expansion at

n = 2

; hence, we denote the generator,

K^{(2)} \equiv K

\hat{Λ} (t, 0) = exp [λ^{2} K (t) + \hat{O} (λ^{3})]

(20)

One obtains:

K (t) {\hat{ρ}}_{S} = \frac{1}{ℏ^{2}} \int_{0}^{t} d s \int_{0}^{t} d u F (s - u) \hat{S} (s) {\hat{ρ}}_{S} \hat{S} {(u)}^{†} + (similar terms)

(21)

where

F (s) = Tr {{\hat{ρ}}_{B} \hat{B} (s) \hat{B}}

. The similar terms in Equation (21) are of the form

{\hat{ρ}}_{S} \hat{S} (s) \hat{S} {(u)}^{†}

and

\hat{S} (s) \hat{S} {(u)}^{†} {\hat{ρ}}_{S}

The Markov approximation (in the interaction picture) means that for a sufficiently long time, the generator in Equation (19) becomes:

K (t) ≃ t L

(22)

where

L

is a Linblad-Gorini-Kossakowski-Sudarshan (LGKS) generator [5,6]. To find its form, the effective system coupling term,

\hat{S} (t)

, is decomposed into its Fourier components:

\hat{S} (t) = \sum_{{ω}} e^{i ω t} {\hat{S}}_{ω}, {\hat{S}}_{- ω} = {\hat{S}}_{ω}^{†}

(23)

where the set,

{ω}

, containsBohr frequencies

ω = ϵ_{k} - ϵ_{l}

of the Hamiltonian:

{\hat{H}}_{S}^{'} = \sum_{k} ϵ_{k} | k 〉 〈 k |,

(24)

Then, Equation (21) can be written as:

K (t) {\hat{ρ}}_{S} = \frac{1}{ℏ^{2}} \sum_{ω, ω^{'}} {\hat{S}}_{ω} {\hat{ρ}}_{S} {\hat{S}}_{ω^{'}}^{†} \int_{0}^{t} e^{i (ω - ω^{'}) u} d u \int_{- u}^{t - u} F (τ) e^{i ω τ} d τ + (similar terms)

(25)

with the use of two crucial approximations:

\int_{0}^{t} e^{i (ω - ω^{'}) u} d u \approx t δ_{ω ω^{'}}, \int_{- u}^{t - u} F (τ) e^{i ω τ} d τ \approx G (ω) = \int_{- \infty}^{\infty} F (τ) e^{i ω τ} d τ \geq 0

(26)

This condition works for

t ≫ max {1 / (ω - ω^{'})}

. These two approximations lead to

K (t) {\hat{ρ}}_{S} = (t / ℏ^{2}) \sum_{ω} {\hat{S}}_{ω} {\hat{ρ}}_{S} {\hat{S}}_{ω}^{†} G (ω) + (similar terms)

, and hence, it follows from Equation (22) that

L_{D}

is a special case of the LGKS generator [ Equation (6) ] derived for the first time by Davies [93]. Returning to the Schrödinger picture, one obtains the following Markovian master equation:

\begin{matrix} \frac{d {\hat{ρ}}_{S}}{d t} & = & - \frac{i}{ℏ} [{\hat{H}}_{S}^{'}, {\hat{ρ}}_{S}] + L_{D} {\hat{ρ}}_{S} \end{matrix}

(27)

\begin{matrix} L_{D} {\hat{ρ}}_{S} & \equiv & \frac{λ^{2}}{2 ℏ^{2}} \sum_{{ω}} G (ω) ([{\hat{S}}_{ω}, {\hat{ρ}}_{S} {\hat{S}}_{ω}^{†}] + [{\hat{S}}_{ω} {\hat{ρ}}_{S}, {\hat{S}}_{ω}^{†}]) \end{matrix}

(28)

The positivity,

G (ω) \geq 0

, follows from Bochner’s theorem and is a necessary condition for the complete positivity of the Markovian master equation.

The absence of off-diagonal terms in Equation (28), compared to Equation (25), is the crucial property of the Davies generator, which can be interpreted as coarse-graining in time of fast oscillating terms. It implies also the commutation of

L_{D}

with the Hamiltonian part,

[{\hat{H}}_{S}^{'}, •]

. This fixes the ambiguity in Equation (7) of the partition between the Hamiltonian and dissipative parts. Markovian behavior involves a rather complicated cooperation between system and bath dynamics. This means that in phenomenological treatments, one cannot combine arbitrary system Hamiltonians,

{\hat{H}}_{S}

, with a given LGKS generator. This observation is particularly important in the context of quantum thermodynamics, where it is tempting to study Markovian dynamics with an arbitrary control Hamiltonian. Erroneous derivations of the quantum master equation can easily lead to a violation of the laws of thermodynamics, cf. next section.

For a bath at thermal equilibrium, the additional Kubo-Martin-Schwinger (KMS) [98,99] condition holds:

G (- ω) = exp (- \frac{ℏ ω}{k_{B} T}) G (ω)

(29)

whereT is the bath’s temperature. As a consequence of Equation (29), the Gibbs state:

{\hat{ρ}}_{β} = Z^{- 1} e^{- β {\hat{H}}_{S}^{'}}, β = \frac{1}{k_{B} T}

(30)

is a stationary solution of Equation (28). Under mild conditions (e.g., the only system operators commuting with

{\hat{H}}_{S}^{'}

and

\hat{S}

are scalars), the Gibbs state is a unique stationary state, and any initial state relaxes towards equilibrium, which is consistent with the 0-th law of thermodynamics. The corresponding thermal generator in Heisenberg form becomes:

L_{D}^{*} \hat{O} = \sum_{{ω \geq 0}} γ (ω) (({\hat{S}}_{ω}, \hat{O} {\hat{S}}_{ω}^{†} - \frac{1}{2} {{\hat{S}}_{ω} {\hat{S}}_{ω}^{†}, \hat{O}}) + e^{- ℏ β ω} ({\hat{S}}_{ω}^{†}, \hat{O} {\hat{S}}_{ω} - \frac{1}{2} {{\hat{S}}_{ω}^{†} {\hat{S}}_{ω}, \hat{O}}))

(31)

where, finally, the kinetic coefficients become Fourier transforms of the bath autocorrelation functions:

γ (ω) = \frac{λ^{2}}{ℏ^{2}} \int_{- \infty}^{+ \infty} Tr \{{\hat{ρ}}_{B} e^{i {\hat{H}}_{B} t / ℏ} \hat{B} e^{- i {\hat{H}}_{B} t / ℏ} \hat{B}\} e^{- i ω t} d t

(32)

The weak system bath coupling is the quantum version of the thermodynamic isothermal partition between the system and bath. It preserves the autonomy of the system’s observables, allowing energy flow across the boundary, thus restoring the definition of the heat flow,

J

, in Equation (12) and power in Equation (13).

4.2. Thermal Generators for Periodic Driving Fields

An external perturbation modifying the Hamiltonian of the system will also modify the heat flow. As a result, the LGKS generator has to be renormalized. For a slow change, one can adopt the adiabatic approach and use the instantaneous system’s Hamiltonian to derive

L_{D}

. In general, the temporal changes in the system’s Hamiltonian have to be incorporated in the derivation of the dissipative generator. This task is difficult, since fast changes may alter the Markovian assumption. An important class of problems in quantum thermodynamics is periodically driven systems. Periodic heat engines and power-driven refrigerators fall into this class.

A derivation of the dissipative generator,

L_{D}

, limited to a periodically driven time-dependent Hamiltonian, [ cf. Equation (13)], is sketched.

(1): The system’s renormalized Hamiltonian is now periodic in time:
${\hat{H}}_{S} (t) = {\hat{H}}_{S} (t + τ), \hat{U} (t, 0) \equiv T exp \{- \frac{i}{ℏ} \int_{0}^{t} {\hat{H}}_{S} (s) d s\}$
(33)
The role of the constant Hamiltonian is played by an effective Hamiltonian ${\hat{H}}_{e f f}$ defined by the spectrum of the periodic propagator:
${\hat{H}}_{e f f} = \sum_{k} ϵ_{k} | k 〉 〈 k |, \hat{U} (τ, 0) = e^{- i \frac{1}{ℏ} {\hat{H}}_{e f f} τ}$
(34)
the $ϵ_{k}$ are called “quasi-energies".
(2): The Fourier decomposition (23) is replaced by a double Fourier decomposition:
$\hat{U} {(t, 0)}^{†} \hat{S} \hat{U} (t, 0) = \sum_{q \in Z} \sum_{{ω}} e^{i (ω + q Ω) t} {\hat{S}}_{ω q}$
(35)
where $Ω = 2 π / τ$ and ${ω} = {ϵ_{k} - ϵ_{l}}$ . The decomposition above follows from Floquet theory.
(3): The generator in the interaction picture is the sum of its Fourier components:
$L = \sum_{q \in Z} \sum_{{ω}} = L_{ω q}$
(36)
where:
$L_{ω q} {\hat{ρ}}_{S} = \frac{1}{2} γ (ω + q Ω) \{([{\hat{S}}_{ω q}, {\hat{ρ}}_{S} {\hat{S}}_{ω q}^{†}] + [{\hat{S}}_{ω q} {\hat{ρ}}_{S}, {\hat{S}}_{ω q}^{†}]) + e^{- ℏ β (ω + q Ω)} ([{\hat{S}}_{ω q}^{†}, {\hat{ρ}}_{S} {\hat{S}}_{ω q}] + [{\hat{S}}_{ω q}^{†} {\hat{ρ}}_{S}, {\hat{S}}_{ω q}])\}$
(37)

Returning to the Schrödinger picture, we obtain the following master equation:

\frac{d {\hat{ρ}}_{S} (t)}{d t} = - \frac{i}{ℏ} [{\hat{H}}_{S} (t), {\hat{ρ}}_{S} (t)] + L_{D} (t) {\hat{ρ}}_{S} (t), t \geq 0

(38)

where:

L (t) = L (t + τ) = U (t, 0) L U {(t, 0)}^{†}, U (t, 0) \cdot = U (t, 0) \cdot U {(t, 0)}^{†}

(39)

In particular, one can represent the solution of Equation (38) in the form:

ρ (t) = U (t, 0) e^{L t} ρ (0), t \geq 0

(40)

Any state, satisfying

L \tilde{ρ} = 0

, defines a periodic steady state (limit cycle):

\tilde{ρ} (t) = U (t, 0) \tilde{ρ} = \tilde{ρ} (t + τ), t \geq 0

(41)

Finally, one should notice that in the case of multiple couplings and multiple heat baths, the generator,

L

, can be always represented as an appropriate sum of the terms, such as Equation (31).

4.3. Heat Flows and Power for Periodically Driven Open Systems

The heat currents for periodic systems break up to a sum of Fourier components for each bath labeled by index,j. Then, the generator in the interaction picture becomes:

L = \sum_{j = 1}^{M} \sum_{q \in Z} \sum_{{ω \geq 0}} L_{ω q}^{j}

(42)

where any single

L_{ω q}^{j}

has a structure of Equation (37) with the appropriate

γ_{j} (ω)

. The corresponding time-dependent objects satisfy:

L_{q ω}^{j} (t) {\tilde{ρ}}_{q ω}^{j} (t) = 0, L_{q ω}^{j} (t) = U (t, 0) L_{q ω}^{j} U {(t, 0)}^{†}, {\tilde{ρ}}_{q ω}^{j} (t) = U (t, 0) {\tilde{ρ}}_{q ω}^{j} = {\tilde{ρ}}_{q ω}^{j} (t + τ)

(43)

Using the decomposition in Equation (42), one can define a local heat current, which corresponds to the exchange of energy,

ω + q Ω

, with thej-th heat bath for any initial state:

J_{q ω}^{j} (t) = \frac{ω + q Ω}{ω} Tr \{(L_{q ω}^{j} (t) ρ (t)) {\tilde{H}}_{S} (t)\}, {\tilde{H}}_{S} (t) = U (t, 0) {\hat{H}}_{S}

(44)

The heat current associated with thej-th bath is a sum of the corresponding local ones:

J^{j} (t) = \sum_{q \in Z} \sum_{{ω \geq 0}} J_{q ω}^{j} (t)

(45)

where the sum is over multiples of Floquet frequency and Bohr frequencies of the effective Hamiltonian.

We emphasize in this section a dynamical version of the I-law based on examining energy currents between the system and baths. This derivation for a periodically driven system is also consistent with the II-law of thermodynamics [51,80,102].

5. The II-Law

The second law is a statement on the irreversibility of dynamics or, alternatively, the breakup of time reversal symmetry. This should be consistent with the empirical direct definition: heat will flow spontaneously from a hot source to a cold sink. In classical thermodynamics, this statement is equivalent to the statement that the change in entropy of the universe is positive:

Δ S \geq 0

. In addition, the entropy generation is additive. There is considerable confusion in the adaptation of the second-law in quantum mechanics, where static and dynamical viewpoints are employed.

From a static viewpoint, for a closed quantum system, the II-law of thermodynamics is a consequence of the unitary evolution [103]. In this approach, one accounts for the entropy change before and after a change in the entire system. A dynamical viewpoint is based on local accounting for the entropy changes in the subsystems and the entropy generated in the baths.

5.1. Entropy

In thermodynamics, entropy is related to a concrete process. In quantum mechanics, this translates to the ability to measure and manipulate the system based on the information gathered by measurement [104]. An example is the case of Maxwell’s demon, which has been resolved by Szilard [105,106,107,108]. There is a close relationship between the theory of quantum measurement and filtering out an outcome [91,109]. Gathered information can be employed to extract work from a single bath [54]. This means that the gathered information depends on the particular measurement; therefore, for the same system, different entropies appear, depending on the observable being measured. The entropy of an observable is associated with the complete projective measurement of an observable,

\hat{A}

, where the operator,

\hat{A}

, has a spectral decomposition:

\hat{A} = \sum_{i} α_{i} {\hat{P}}_{i}

and

{\hat{P}}_{i} = | α_{i} 〉 〈 α_{i} |

. The probability of the outcome is, therefore,

p_{i} = t r {\hat{ρ} {\hat{P}}_{i}}

. The entropy associated with the observable,

\hat{A}

, is the Shannon entropy with respect to the possible outcomes [37]:

S_{A} = - \sum_{i} p_{i} ln p_{i}

(46)

where dimensionless units are chosen for entropyi.e.,

k_{B} = 1

. The most significant observable in thermodynamics is the energy represented by the Hamiltonian operator,

\hat{H}

, and its associated energy entropy,

S_{E}

[110].

von Neumann suggested to single out the most informative observable to characterize the entropy of the system. This invariant is obtained by minimizing the entropy with respect to all possible observables. The most informative observable operator commutes with the state of the system,

[\hat{V}, \hat{ρ}] = 0

. The entropy of this observable is termed the von Neumann entropy [91] and is equal to:

S_{v n} = - t r {\hat{ρ} ln \hat{ρ}}

(47)

As a consequence,

S_{A} \geq S_{v n}

for all observables,

\hat{A} \neq \hat{V}

S_{v n}

is invariant to a unitary transformation changing the state,

\hat{ρ}

. The invariance is a consequence of the entropy being a function of the eigenvalues of

\hat{ρ}

. A unitary transformation does not change these eigenvalues.

The von Neumann entropy

S_{v n}

is additive only for a system state that is composed of a tensor product of its subsystems,

\hat{ρ} = \prod_{j} \otimes {\hat{ρ}}_{j}

. In the general case, the subsystems are entangled. If local measurements are only accessible, then the observable entropy relates to a product of local observables,

\hat{O} = \prod_{j} \otimes {\hat{O}}_{j}

. Since this is a restricted class of operators, the associated entropy, which is the sum of the entropies of the subdivision, is always larger than the total von Neumann entropy,

\sum_{j} {S_{v n}}_{j} \geq S_{v n}

. The extreme example is an entangled pure state, where for the bipartite case:

S_{v n} = 0

and

{S_{v n}}_{1} = {S_{v n}}_{2} > 0

. This observation is the base for using the reduced state entropy as a measure of entanglement [111,112,113]. Consider an uncorrelated initial state: once an interaction Hamiltonian turns on, the dynamics will cause the sum of local entropies to increase [114]. A local structure imposed on the total system by thermodynamic partitions is the source of local entropy increase. In general, entropy in quantum mechanics is not additive. Once a tensor product partition is imposed, the quantum entropy becomes additive. Alternative sources for entropy increase have been suggested. For example, in a scattering event, the correlation generated by the interaction is lost when the scattering partners reach indefinite distance [39]. Quantum complexity can also lead to quantum thermalization [85,86] and entropy increase [110].

5.2. Quantum Networks and Quantum Devices

A quantum network is defined as a collection of interconnected quantum systems and baths at different temperatures, cf.Figure 1 andFigure 2. This network can be decomposed into two elementary segments: a wire and a junction. The wire is a transport line between two segments. In the most simple form, it connects two baths. The junction is a tricycle; a system combining three currents. A heat engine is a tricycle connected to three baths; a work bath and a hot and cold bath. More complex networks can be constructed from these two basic elements, cf.Figure 2. A linear network composed of linearly coupled harmonic oscillators can be decomposed to wires only [115].

Figure 1. The tricycle on the left and the wire on the right; elementary components in a quantum network. The tricycle combines three energy currents. The tricycle in the figure is connected to three heat baths, demonstrating a heat-driven refrigerator. The wire combines two energy currents. The wire in the figure is connected to a hot and cold bath. The I-law and II-law are indicated.

Quantum networks are subject to the Clausius version of the II-law [116]:

Figure 2. An example of a quantum thermodynamic network composed of wires and tricycles.

No process is possible whose sole result is the transfer of heat from a body of lower temperature to a body of higher temperature.

This statement can be generalized to N-coupled heat baths in steady state:

\sum_{j}^{N} \frac{J_{j}}{T_{j}} \leq 0

(48)

A dynamical version of the II-law can be proven, based on Spohn’s inequality [117]:

Tr \{[L ρ] [ln ρ - ln \tilde{ρ}]\} \leq 0

(49)

which is valid for any LGKS generator,

L

, with a stationary state,

\tilde{ρ}

Computing the time derivative of the von Neumann entropy,

S_{v n} (t) = - Tr {\hat{ρ} (t) ln \hat{ρ} (t)}

, and applying Equation (49), one obtains the II-law in the form:

\frac{d}{d t} S_{v n} (t) - \sum_{j = 1}^{M} \frac{J^{j} (t)}{T_{j}} \geq 0

(50)

where:

S_{v n} (t) = - Tr \{\hat{ρ} (t) ln \hat{ρ} (t)\}

The heat currents in the steady state for a periodically driven system,

\tilde{ρ} (t)

, are time-independent and given by:

\tilde{J^{j}} = - T_{j} \sum_{q \in Z} \sum_{{ω \geq 0}} Tr \{(L_{q ω}^{j} \tilde{ρ}) ln {\tilde{ρ}}_{q ω}^{j})\}

(51)

In steady-state, they satisfy the II-law in the form:

\sum_{j = 1}^{M} \frac{{\tilde{J}}^{j}}{T_{j}} \leq 0

(52)

while, according to the I-law:

- \sum_{j = 1}^{M} \tilde{J^{j}} = - \tilde{J} = \bar{P}

(53)

is the averaged power (negative, when the system acts as a heat engine). In the case of a single heat bath, the heat current is always strictly positive, except for the case of no-driving, when it is equal to zero. For the constant Hamiltonian, these formulas are also applicable after removing the index,q, which implies also that

\sum_{j = 1}^{M} \tilde{J^{j}} = 0

. In a linear quantum system composed of linearly coupled harmonic oscillators, this statement can be derived directly [115].

External power carries with it zero entropy generation. This is also the case of entropy generation originating from a bath with infinite temperature,

\dot{S} = - J / (T \to \infty) = 0

. Furthermore, power obtained from pure Gaussian white noise carries with it zero entropy generation. Another source of zero entropy is a weak quantum measurement [118,119]. It seems counterintuitive, but a refrigerator driven by external power, a high temperature bath, by white noise or by quantum measurements is all equivalent from a thermodynamic standpoint [71]. An illuminating example is of work converted to heat in a driven two-level-system coupled to a bath. Work is a zero entropy source; therefore, it will generate a current flowing to the bath at any finite temperature. Consistency with the second law demand that the work will be dissipated to heat in the bath. In 1946, Bloch proposed to describe the motion of the components of the macroscopic nuclear polarization,

M

, subject to an external, time-dependent magnetic field [120]. The Bloch equations have been extended to the optical regime, becoming the workhorse of spectroscopy [121]. The Bloch equations have been derived and re-derived based on the weak system-bath coupling limit [122]. Their form has the LGKS structure. Surprisingly, these sets of equations for strong driving fields violate the II-law [102]. The reason for this violation is that in these derivations, the energy levels of the system are not dressed by the external driving field. A derivation of a generalized master equation within the Floquet theory restores the II-law [102,123].

A similar problem arises for the tricycle case. The three-level laser is such an example. The equivalence of the three-level laser with the Carnot engine was first derived by Scovilet al. [2,3]. A dynamical set of equations for the laser, known as Lamb’s equation [124], also violates the II-law [51]. Again, the remedy is a dressed state framework for deriving the dissipative LGKS generator [51,80]. An interesting case is a tricycle driven by Poissonian noise. Such noise has a unitary component, which effectively modifies the Hamiltonian of the system. As a result, the detailed balance conditions of the hot and cold baths are modified [70]. Only this procedure saves the II-law of thermodynamics.

The warning emerging from these examples is that a careful derivation of the LGKS generator is required in order to be consistent with the II-law of thermodynamics. Examples of violations have been published [125], which could be traced to a flaw in the master equation.

5.3. Approach to Steady State: Limit Cycle

In a quantum network, the quantum thermodynamic framework leads to a steady state solution: the limit cycle. The monotonic approach to steady state can be proven for an evolution generated by a completely positive map, Λ.

{\hat{ρ}}_{f} = Λ {\hat{ρ}}_{i}

(54)

For such a map, the conditional entropy:

S (\hat{ρ} | {\hat{ρ}}_{f}) = T r {\hat{ρ} (log \hat{ρ} - log {\hat{ρ}}_{f})}

(55)

is always decreasing [126]:

S (Λ \hat{ρ} | Λ {\hat{ρ}}_{f}) \leq S (\hat{ρ} | {\hat{ρ}}_{f})

(56)

{\hat{ρ}}_{f}

is an invariant of the map, Λ, then repeated application of the map will lead to a limit,

\hat{ρ} \to {\hat{ρ}}_{f}

[127,128]. A quantum network whose generator is a sum of LGKS generators will reach steady state. A reciprocating quantum engine can be described by a completely positive map,

U

, which is the product of the maps of each segment; for example, a map of the Otto refrigerators,

U = U_{h} U_{h c} U_{c} U_{c h}

[26,129]. The above argument means that such cycles will reach a limit cycle of operation [26].

5.4. The Quantum and Thermodynamic Adiabatic Conditions and Quantum Friction

Thermodynamic adiabatic processes have no entropy change. Typically, an external control modifies the state. A quantum version of an adiabatic process can be modeled by an externally controlled time-dependent Hamiltonian

\hat{H} (t)

. If the system is isolated, the dynamics are unitary, and therefore,

S_{v n}

is a constant. For this reason, the relevant entropy measure for quantum adiabatic processes is the energy entropy,

S_{E}

, cf. Equation (46). A quantum adiabatic process is defined by the

S_{E}

constant. Taking the time derivative leads to:

\frac{d S_{E}}{d t} = - \sum_{j} {\dot{p}}_{j} log p_{j}

(57)

where

p_{j}

is the expectation of the projection on the instantaneous energy level,

ϵ_{j} (t)

. The adiabatic condition is therefore equivalent to no net change in the population of the instantaneous energy levels. This implies that the Hamiltonian should commute with itself at different times:

[\hat{H} (t), \hat{H} (t^{'})] = 0

A generic control Hamiltonian used to modify the system from an initial to a final state is typically constructed from a static “drift" Hamiltonian,

{\hat{H}}_{0}

, and a time-dependent control part,

{\hat{H}}_{C} (t)

\hat{H} (t) = {\hat{H}}_{0} + {\hat{H}}_{C} (t)

(58)

Typically,

[{\hat{H}}_{0}, {\hat{H}}_{C} (t)] \neq 0

; therefore, also,

[\hat{H} (t), \hat{H} (t^{'})] \neq 0

, and time ordering corrections mean that strictly adiabatic processes are impossible. Approximate adiabatic dynamics require, therefore, a slow change of the control Hamiltonian,

{\hat{H}}_{C} (t)

. These conditions are defined by the adiabatic parameter,

μ = \sum_{i j} | {\dot{ω}}_{i j} / ω_{i j}^{2} | ≪ 1

, where

ω_{i j} = ℏ (ϵ_{i} - ϵ_{j})

are the instantaneous Bohr frequencies [130].

The adiabatic condition is an important idealization in thermodynamics. For example, if the initial state is the ground state, then the adiabatic conditions define the path that will require minimum work to reach the final value of the control, which will be the ground state of the modified Hamiltonian. This statement can be generalized for an initial thermal state of a harmonic oscillator and a two-level system (TLS), which will commute with

\hat{H} (t)

and maintain a thermal state at all times [32].

When the adiabatic conditions are not fulfilled, additional work is required to reach the final control value. For an isolated system, this work is recoverable, since the dynamics is unitary and can be reversed. The coherences stored in the off-diagonal elements of the density operator carry the required information to recover the extra energy cost and reverse the dynamics. Typically, this energy is not recoverable, due to interaction with a bath that causes energy dephasing. The bath, in this case, acts like a measuring apparatus of energy. This lost energy is the quantum version of friction [27,36,37]. The deviation form adiabatic behavior can be related to the difference between the energy entropy and the von Neumann entropy [129].

There are several strategies to minimize the effect of quantum friction. One possibility, termed quantum lubrication, is to force the state of the system to commute with the instantaneous Hamiltonian,

[\hat{ρ} (t), \hat{H} (t)] = 0

. This can be achieved by adding an external source of phase noise [38]. It was found that lubrication could be achieved in a small window of control parameters. Outside this window, the noise caused additional heating of the system. In the case of quantum refrigerators, this noise was always harmful, leading to a minimum temperature that the refrigerator can reach [33,131].

Is it possible to find non-adiabatic control solutions with an initial and final state diagonal in the energy representation,

[{\hat{ρ}}_{i}, \hat{H} (0)] = 0

[{\hat{ρ}}_{f}, \hat{H} (t_{f})] = 0

? This possibility, which relies on special dynamical symmetries, has been termed shortcut to adiabaticity [32,40,41,42,43,44,132]. The idea is to optimize the scheduling function,

f (t)

, of the control,

{\hat{H}}_{C} (t) = {\hat{V}}_{C} f (t)

, in such a way that in the shortest time, the frictionless transformation from an initial value of the control function to a final value is achieved.

6. The III-Law

Two independent formulations of the III-law of thermodynamics exist, both originally stated by Nernst [133,134,135]. The first is a purely static (equilibrium) one, also known as the “Nernst heat theorem", phrased:

The entropy of any pure substance in thermodynamic equilibrium approaches zero as the temperature approaches zero.

The second formulation is dynamical, known as the unattainability principle:

It is impossible by any procedure, no matter how idealized, to reduce any assembly to absolute zero temperature in a finite number of operations [135,136].

There is an ongoing debate on the relations between the two formulations and their relation to the II-law regarding which, if at all, one of these formulations implies the other [137,138,139,140]. Quantum considerations can illuminate these issues.

At steady state, the second law implies that the total entropy production is non-negative, cf. Equation (52). When the cold bath approaches absolute zero temperature, it is necessary to eliminate the entropy production divergence at the cold side. The entropy production at the cold bath when

T_{c} \to 0

scales as:

{\dot{S}}_{c} \sim - T_{c}^{α}, α \geq 0

(59)

For the case when

α = 0

, the fulfillment of the second law depends on the entropy production of the other baths, which should compensate for the negative entropy production of the cold bath. The first formulation of the III-law slightly modifies this restriction. Instead of

α \geq 0

, the III-law imposes

α > 0

, guaranteeing that at absolute zero temperature, the entropy production at the cold bath is zero:

{\dot{S}}_{c} = 0

. This requirement leads to the scaling condition of the heat current,

J_{c} \sim T_{c}^{α + 1}

The second formulation is a dynamical one, known as the unattainability principle; no refrigerator can cool a system to absolute zero temperature at finite time. This formulation is more restrictive, imposing limitations on the system bath interaction and the cold bath properties when

T_{c} \to 0

[71]. The rate of temperature decrease of the cooling process should vanish, according to the characteristic exponent,ζ:

\frac{d T_{c} (t)}{d t} \sim - T_{c}^{ζ}, T_{c} \to 0

(60)

Solving Equation (60) leads to:

T_{c} {(t)}^{1 - ζ} = T_{c} {(0)}^{1 - ζ} - c t, ζ < 1

(61)

wherec is a positive constant. From Equation (61), the cold bath is cooled to zero temperature at finite time for

ζ < 1

. The III-law requires, therefore,

ζ \geq 1

. In order to evaluate Equation (60), the heat current can be related to the temperature change:

J_{c} (T_{c} (t)) = - c_{V} (T_{c} (t)) \frac{d T_{c} (t)}{d t}

(62)

This formulation takes into account the heat capacity,

c_{V} (T_{c})

, of the cold bath.

c_{V} (T_{c})

is determined by the behavior of the degrees of freedom of the cold bath at low temperature. Therefore, the scaling exponents can be related,

ζ = 1 + α - η

, where

c_{V} \sim T_{c}^{η}

, when

T_{c} \to 0

To get additional insight, specific cases are examined. The quantum refrigerator models differ in their operational mode, being either continuous or reciprocating. When

T_{c} \to 0

, the refrigerators have to be optimized, adjusting to the decreasing temperature. The receiving mode of the refrigerator has to become occupied to transfer energy. The rate of this process is proportional to a Boltzmann term,

ω_{c}^{γ} exp [- \frac{ℏ ω_{c}}{k_{B} T_{c}}]

. When optimized for maximum cooling rate, the energy difference of the receiving mode should scale linearly with temperature,

ω_{c} \sim T_{c}

[32,52,53,70,71]. Once optimized, the cooling power of all refrigerators studied have the same dependence on the coupling to the cold bath. This means that the III-law depends on the scaling properties of the heat conductivity,

γ_{c} (T_{c})

, and the heat capacity,

c_{V} (T_{c})

, as

T_{c} \to 0

6.1. Harmonic Oscillator Cold Heat Bath

The harmonic heat bath is a generic type of quantum bath. It includes the electromagnetic field: (a photon bath), or a macroscopic piece of solid; (a phonon bath), or Bogoliubov excitations in a Bose-Einstein condensate. The model assumes linear coupling of the refrigerator to the bath. The standard form of the bath’s Hamiltonian is:

H_{i n t} = (b + b^{†}) (\sum_{k} (g (k) a (k) + \bar{g} (k) a^{†} (k))), H_{B} = \sum_{k} ω (k) a^{†} (k) a (k)

(63)

where

a (k), a^{†} (k)

are annihilation and creation operators for a mode,k. For this model, the weak coupling limit procedure leads to the LGKS generator with the cold bath relaxation rate given by:

γ_{c} \equiv γ_{c} (ω_{c}) = π \sum_{k} {| g (k) |}^{2} δ (ω (k) - ω_{c}) {[1 - e^{- \frac{ℏ ω (k)}{k_{B} T_{c}}}]}^{- 1}

(64)

For the bosonic field ind-dimensional space, with the linear low-frequency dispersion law (

ω (k) \sim | k |

), the following scaling properties for the cooling rate at low frequencies are obtained:

γ_{c} \sim ω_{c}^{κ} ω_{c}^{d - 1} {[1 - e^{- ℏ ω_{c} / k_{B} T_{c}}]}^{- 1}

(65)

where

ω_{c}^{κ}

represents the scaling of the coupling strength,

{| g (ω) |}^{2}

, and

ω_{c}^{d - 1}

the scaling of the density of modes. It implies the following scaling relation for the cold current:

J_{c} \sim T_{c}^{d + κ} {[\frac{ω_{c}}{T_{c}}]}^{d + κ} \frac{1}{e^{ℏ ω_{c} / k_{B} T_{c}} - 1}

(66)

Optimization of Equation (66) with respect to

ω_{c}

leads to the frequency tuning,

ω_{c} \sim T_{c}

, and the final current scaling:

J_{c}^{o p t} \sim T_{c}^{d + κ}

(67)

At low temperatures, the heat capacity of the bosonic systems scales like:

c_{V} (T_{c}) \sim T_{c}^{d}

(68)

which produces the scaling of the dynamical equation, [ Equation (60) ]:

\frac{d T_{c} (t)}{d t} \sim - {(T_{c})}^{κ}

(69)

Similarly, the same scaling [ Equation (69)] achieved for the periodically driven refrigerator, with the optimization tuning,

ω_{c}, λ \propto T_{c}

The III-law implies a constraint on the form of interaction with a bosonic bath:

κ \geq 1

(70)

For standard systems, like electromagnetic fields or acoustic phonons with the linear dispersion law,

ω (k) = v | k |

, and the formfactor,

g (k) \sim | k | / \sqrt{ω (k)}

, the parameter,

κ = 1

; as for lowω,

{| g (ω) |}^{2} \sim | k |

. However, the condition in Equation (70) excludes exotic dispersion laws,

ω (k) \sim {| k |}^{α}

with

α < 1

, which produce infinite group velocity forbidden by relativity theory anyway. Moreover, the popular choice of Ohmic coupling is excluded for systems in dimension

d > 1

. The condition in Equation (70) can also be compared with the condition:

κ > 2 - d

(71)

which is necessary to assure the existence of the ground state for the bosonic field interacting by means of the Hamiltonian in Equation (63). The third law loses its validity if the cold bath does not have a ground state. For a harmonic bath, this could happen if even one of the effective oscillators has an inverted potential.

6.2. The Existence of a Ground State

A natural physical stability condition, which should be satisfied by any model of an open quantum system, is that its total Hamiltonian should be bounded from below and should possess a ground state. In the quantum degenerate regime, even a mixture of isotopes will segregate and lead to a unique ground state. In the case of systems coupled linearly to bosonic heat baths, it implies the existence of the ground state for the following bosonic Hamiltonian (compare with [63]):

H_{b o s} = \sum_{k} \{ω (k) a^{†} (k) a (k) + (g (k) a (k) + \bar{g} (k) a^{†} (k))\}

(72)

Introducing a formal transformation to a new set of bosonic operators:

a (k) \mapsto b (k) = a (k) + \frac{\bar{g} (k)}{ω (k)}

(73)

we can write:

H_{b o s} = \sum_{k} ω (k) b^{†} (k) b (k) - E_{0}, E_{0} = \sum_{k} \frac{{| g (k) |}^{2}}{ω (k)}

(74)

with the formal ground state

| 0 〉

satisfying:

b (k) | 0 〉 = 0, for all k

(75)

For the interesting case of an infinite set of modes,

{k}

, labeled by thed-dimensional wave vectors, two problems can appear:

(1) The ground state energy,

E_{0}

, can be infinite,i.e., it does not satisfy:

\sum_{k} \frac{{| g (k) |}^{2}}{ω (k)} < \infty

(76)

(2) The transformation in Equation (73) can be implemented by a unitary one,i.e.,

b (k) = U a (k) U^{†}

, if and only if:

\sum_{k} \frac{{| g (k) |}^{2}}{ω {(k)}^{2}} < \infty

(77)

Non-existence of such a unitary implies non-existence of the ground state (75) (in the Fock space of the bosonic field) and is called the van Hove phenomenon [141].

While the divergence of the sums Equations (76) and (77) (or integrals for the infinite volume case) for large

| k |

can be avoided by placing an ultra-violet cutoff, the stronger condition in Equation (77) imposes restrictions on the form of

g (k)

at low frequencies. Assuming that

ω (k) = v | k |

and

g (k) \equiv g (ω)

, the condition in Equation (77) is satisfied for the following low-frequency scaling in thed-dimensional case:

{| g (ω) |}^{2} \sim ω^{κ}, κ > 2 - d

(78)

These conditions on the dispersion relation of the cold bath required for a ground state are identical to the conditions for the III-law Equation (71). Consistency with the III-law ensures the existence of the ground state.

6.3. Ideal Bose/Fermi Gas Cold Heat Bath

An important generic cold bath consists of a degenerate quantum gas composed of ideal Bose or Fermi gas. The model refrigerator consists of the working medium of (infinitely) heavy particles with the internal structure approximated (at least at low temperatures) by a two-level system (TLS) immersed in the low density gas at the temperature,

T_{c}

. Insight into the III-law comes from realizing that the degenerate gas is in equilibrium with a normal part. The external refrigerator only couples to the normal part. Once the temperature approaches zero, the fraction of the normal part decreases, eventually nulling the cooling current. Another source of excitations are collective excitations of the Bogolubov type [142]. The low energy tail can be described as a phonon bath with linear dispersion, as in the previous section.

The Markovian dynamics of such systems were derived by Dumcke [143] in the low density limit andN-level internal structure. For the case of the TLS, there is one receiving Bohr frequency,

ω_{c}

. Cooling occurs due to the inelastic scattering, leading to energy exchange with this frequency [71] so that:

γ_{c} = 2 π n \int d^{3} \vec{p} \int d^{3} \vec{p^{'}} δ (E (\vec{p^{'}}) - E (\vec{p}) - ℏ ω_{c}) f_{T_{c}} ({\vec{p}}_{g}) {| T (\vec{p^{'}}, \vec{p}) |}^{2}

(79)

with

n

, the particle density,

f_{T_{c}} ({\vec{p}}_{g})

, the probability distribution of the gas momentum strictly given by Maxwell’s distribution,

\vec{p}

and

\vec{p^{'}}

, the incoming and outgoing gas particle momenta and

E (\vec{p}) = p^{2} / 2 m

the kinetic energy of the gas particle.

At low-energies (low-temperature), scattering of neutral gas particle at 3-d can be characterized by s-wave scattering length,

a_{s}

, having a constant transition matrix,

{| T |}^{2} = {(\frac{4 π a_{s}}{m})}^{2}

. For this model, the integral in Equation (79) is calculated:

γ_{c} = {(4 π)}^{4} {(2 π m T_{c})}^{- \frac{1}{2}} a_{s}^{2} n ω_{c} K_{1} (\frac{ℏ ω_{c}}{2 k_{B} T_{c}}) e^{\frac{ℏ ω_{c}}{2 k_{B} T_{c}}}

(80)

where

K_{p} (x)

is the modified Bessel function of the second kind. Notice that Equation (80) is also valid for a harmonic oscillator instead of TLS, assuming only linear terms in the interaction and using the Born approximation for the scattering matrix.

Optimizing Equation (62) with respect to

ω_{c}

leads to

ω_{c} \sim T_{c}

. Then, the scaling of the heat current becomes:

J_{c}^{o p t} \sim n {(T_{c})}^{\frac{3}{2}}

(81)

When the Bose gas is above the critical temperature for the Bose-Einstein condensation, the heat capacity,

c_{V}

, and the density,

n

, are constants. Below the critical temperature, the density,

n

, in Equation (79) should be replaced with the density,

n_{e x}

, of the exited states, having both

c_{V}, n_{e x}

scale as

\sim {(T_{c})}^{\frac{3}{2}}

, which finally implies that:

\frac{d T_{c} (t)}{d t} \sim - {(T_{c})}^{\frac{3}{2}}

(82)

In the case of Fermi gas at low temperatures, only the small fraction,

n \sim T_{c}

, of fermions participate in the scattering processes and contribute to the heat capacity; the rest is “frozen" in the “Dirac sea", below the Fermi surface. Again, this effect modifies, both sides of Equation (60), in the same way, and therefore, Equation (82) is consistent with the III-law. Similarly, a possible formation of Cooper pairs below the critical temperature does not influence the scaling in Equation (82).

Figure 3 demonstrates the III-law, showing the vanishing of the cooling current,

J_{c}

, and the temperature decrease rate,

\frac{d T_{c}}{d t}

, as a function of

T_{c}

for the cases of the harmonic bath and Bose gas bath.

Figure 3. A demonstration of the III-law shown as the vanishing of the cooling current and the rate of temperature decrease as

T_{c} \to 0

. The harmonic bath in 3-d is indicated in blue, and the Bose gas in 3-d in red. The Bose gas cools faster when

T_{c} \to 0

, but its rate of temperature decrease is slower than the harmonic bath.

Figure 3. A demonstration of the III-law shown as the vanishing of the cooling current and the rate of temperature decrease as

T_{c} \to 0

. The harmonic bath in 3-d is indicated in blue, and the Bose gas in 3-d in red. The Bose gas cools faster when

T_{c} \to 0

, but its rate of temperature decrease is slower than the harmonic bath.

6.4. Thermoelectric Refrigerators

The thermoelectric effect is a combined charge and heat flow between two or more reservoirs [144]. The non-linear interaction that allows such a device to operate is supplied by the coupling between these currents. The first law is modified by the electrical power,

P_{j}^{e} = V_{j} I_{j}

, where

V_{j}

is the bias voltage and

I_{j}

is the electrical current. The I-law becomes:

\frac{d E_{S}}{d t} = \sum_{j}^{N} J_{j} + P_{j}^{e}

(83)

The II-law is not modified: based on scattering theory, the charge redistribution does not change the entropy [145].

The maximum heat current that can be extracted from the cold bath is limited by [144]:

J_{c} \leq \frac{π^{2}}{6 ℏ^{2}} N_{c} {(k_{b} T_{c})}^{2}

(84)

where

N_{c}

is the number of scattering channels. This means that the scaling of the heat current is

J_{c} \sim T_{c}^{2}

, and for fermions, the heat capacity scales as

c_{V} \sim T_{c}

. Therefore, consistency with the III-law is obtained with the exponent,

ζ = 1

in Equation (60).

The dynamical version of the III-law is up for critical analysis [71]. The examples of quantum refrigerators show that the cooling exponents are independent of the type of refrigerator model used. The III-law exponents depend on the cold bath characteristics, the ratio between the heat conductivity and the heat capacity for a specific bath. This ratio should scale as

\sim T_{c}^{ζ}

ζ > 1

for the III-law to hold, cf. Equation (60). There has been a recent challenge to the III-law, claiming that zero temperature can be reached [80,146]. The present view advocates that this discrepancy is caused by an uncontrolled approximation, leading to the particular dispersion used.

7. Conclusions

A dynamical view of quantum thermodynamics was presented. The theory is based on a series of idealizations. The main one is to impose a local structure through thermodynamic partitions. If the dynamics of the universe are generated by a Hamiltonian, then the conservation of energy and conservation of von Neumann entropy are trivial statements. However, without partitions, local information about the world cannot be extracted. Our goal is to learn about our local environment. Quantum thermodynamics follows the laws of thermodynamics within a local structure. The theory of open quantum systems is employed to construct such partitions. The weak coupling limit is an idealization employed to construct isothermal partitions, which are consistent with the first and second law of thermodynamics.

Quantum thermodynamics is applicable at the level of a single particle. This means that very simple models have the same thermodynamic characteristics as macroscopic devices. For example, efficiency at maximum power related to finite-time-thermodynamics. Furthermore, the quantum and thermodynamic adiabatic behavior are closely linked. Deviations lead to friction, resulting in reduced efficiency.

The III-law can be thought of as an attempt to completely isolate a subsystem. Once a system is cooled to absolute zero temperature, it reaches a pure ground state and, therefore, becomes disentangled from the rest of the universe. The III-law is a statement that obtaining an isolated pure state is an idealization impossible at finite time.

This review advocates the view that the laws of thermodynamics are true in any quantum circumstance. An apparent failure of a quantum model is caused by flaws in the approximation, usually in the derivation of the master equations. One can therefore use thermodynamics as a consistency check for approximate quantum theories.

Acknowledgments

I want to thank Eitan Geva, Tova Feldmann, Jose P. Palao, Yair Rezek, Michael Khasin, Amikam Levy, Peter Salamon, Gershon Kurizki, Lajos Diosi and Robert Alicki for sharing their insight on this subject. Work supported by the Israel Science Foundation. Work carried out at the Fritz Haber research center for molecular dynamics, Hebrew University, Jerusalem, at ITAMP Institute for Theoretical Atomic Molecular and Optical Physics, Harvard-Smithsonian, Cambridge, MA, and at KITP, Kalvy Institute for Theoretical Physics, UCSB, CA. I thank the hospitality of these institutes.

References

Einstein, A. Über einen die Erzeugung und Verwandlung des Lichtes betreffenden heuristischen Gesichtspunkt (On a Heuristic Viewpoint Concerning the Production and Transformation of Light).Annalen der Physik1905,17, 132. [Google Scholar] [CrossRef]
Scovil, H.E.; du Bois, E.O.S. Three-level masers as heat engines.Phys. Rev. Lett.1959,2, 262–263. [Google Scholar] [CrossRef]
Geusic, J.; du Bois, E.O.S.; Grasse, R.D.; Scovil, H.E. Quantum equivalence of the carnot cycle.Phys. Rev.1967,156, 343–351. [Google Scholar] [CrossRef]
Carnot, S.Réflections sur la Puissance Motrice du Feu et sur les Machines propres à Développer cette Puissance; Bachelier: Paris, France, 1824. [Google Scholar]
Lindblad, G. On the generators of quantum dynamical semigroups.Comm. Math. Phys.1976,48, 119–130. [Google Scholar] [CrossRef]
Gorini, V.; Kossakowski, A.; Sudarshan, E.C.G. Completely positive dynamical semigroups of N-level systems.J. Math. Phys.1976,17, 821–825. [Google Scholar] [CrossRef]
Alicki, R. Quantum open systems as a model of a heat engine.J. Phys A: Math. Gen.1979,12, L103–L107. [Google Scholar] [CrossRef]
Kosloff, R. A quantum mechanical open system as a model of a heat engine.J. Chem. Phys.1984,80, 1625–1631. [Google Scholar] [CrossRef]
Curzon, F.; Ahlborn, B. Efficiency of a Carnot engine at maximum power output.Am. J. Phys.1975,43, 22–24. [Google Scholar] [CrossRef]
Andresen, B.; Salamon, P.; Berry, R.S. Thermodynamics in finite time.Phys. Today1984,37, 62–70. [Google Scholar] [CrossRef]
Salamon, P.; Nulton, J.D.; Siragusa, G.; Andersen, B.; Limon, A. Principles of control thermodynamics.Energy2001,26, 307–319. [Google Scholar] [CrossRef]
Geva, E.; Kosloff, R. A quantum mechanical heat engine operating in finite time. A model consisting of spin-1/2 systems as the working fluid.J. Chem. Phys.1992,96, 3054–3067. [Google Scholar]
Lloyd, S. Quantum-mechanical Maxwells demon.Phys. Rev. A1997,56, 3374–3382. [Google Scholar] [CrossRef]
Bender, C.M.; Brody, D.C.; Meister, B.K. Entropy and temperature of a quantum Carnot engine.Proc. Roy. Soc. Lond. A2002,458, 1519–1526. [Google Scholar] [CrossRef]
He, J.; Chen, J.; Hua, B. Quantum refrigeration cycles using spin-1/2 systems as working substance.Phys. Rev. E2002,65, 036145. [Google Scholar] [CrossRef] [PubMed]
Quan, H.T.; Liu, Y.X.; Sun, C.P.; Nori, F. Quantum thermodynamic cycles and quantum heat engines.Phys. Rev. E2007,76, 031105. [Google Scholar] [CrossRef] [PubMed]
Guo, J.; Zhang, X.; Su, G.; Chen, J. The performance analysis of a micro-/nanoscaled quantum heat engine.Phys. Stat. Mech. Appl.2012,391, 6432–6439. [Google Scholar] [CrossRef]
Feldmann, T.; Geva, E.; Kosloff, R.; Salamon, P. Heat engines in finite time governed by master equations.Am. J. Phys.1996,64, 485–492. [Google Scholar] [CrossRef]
Feldmann, T.; Kosloff, R. Performance of discrete heat engines and heat pumps in finite time.Phys. Rev. E2000,61, 4774–4790. [Google Scholar] [CrossRef]
Wang, H.; Liu, S.Q.; He, J.Z. Thermal entanglement in two-atom cavity QED and the entangled quantum Otto engine.Phys. Rev. E2009,79, 041113. [Google Scholar] [CrossRef] [PubMed]
He, J.; Xian, H.; Wei, T. The performance characteristics of an irreversible quantum Otto harmonic refrigeration cycle.Sci. China Ser. G Phys. Mech. Astron.2009,52, 1317–1323. [Google Scholar] [CrossRef]
Henrich, M. J.; Rempp, F.; Mahler, G. Quantum thermodynamic Otto machines: A spin-system approach.Eur. Phys. J.2005,151, 157–165. [Google Scholar] [CrossRef]
Jahnke, T.; Birkov, J.; Mahler, G. On the nature of thermodynamic extremum principles: The case of maximum efficiency and maximum work.Ann. Phys.2008,17, 88–100. [Google Scholar] [CrossRef]
Allahverdyan, A.E.; Johal, R.S.; Mahler, G. Work extremum principle: Structure and function of quantum heat engines.Phys. Rev. E2008,77, 041118. [Google Scholar] [CrossRef] [PubMed]
Gemmer, J.; Mechel, M.; Mahler, G.Quantum Thermodynamics; Springer: Berlin, Germany, 2009. [Google Scholar]
Feldmann, T.; Kosloff, R. Characteristics of the limit cycle of a reciprocating quantum heat engine.Phys. Rev. E2004,70, 046110. [Google Scholar] [CrossRef] [PubMed]
Rezek, Y.; Kosloff, R. Irreversible performance of a quantum harmonic heat engine.New J. Phys.2006,8, 83. [Google Scholar] [CrossRef]
Abah, O.; Rossnagel, J.; Jacob, G.; Deffner, S.; Schmidt-Kaler, F.; Singer, K.; Lutz, E. Single-ion heat engine at maximum power.Phys. Rev. Lett.2012,109, 203006. [Google Scholar] [CrossRef] [PubMed]
Thomas, G.; Johal, R. Coupled quantum Otto cycle.Phys. Rev. E2011,83, 031135. [Google Scholar] [CrossRef] [PubMed]
He, X.; He, J. Thermal entangled four-level quantum Otto heat engine.Sci. China Phys. Mech. Astron.2012,55, 1751–1756. [Google Scholar] [CrossRef]
Wang, R.; Wang, J.; He, J.; Ma, Y. Efficiency at maximum power of a heat engine working with a two-level atomic system.Phys. Rev. E2013,87, 042119. [Google Scholar] [CrossRef] [PubMed]
Rezek, R.; Salamon, P.; Hoffmann, K.H.; Kosloff, R. The quantum refrigerator: The quest for the absolute zero.Euro. Phys. Lett.2009,85, 30008. [Google Scholar] [CrossRef]
Feldmann, T.; Kosloff, R. Minimal temperature of quantum refrigerators.Euro. Phys. Lett.2010,89, 20004. [Google Scholar] [CrossRef]
Rempp, F.; Michel, M.; Mahler, G. Cyclic cooling algorithm.Phys. Rev. A2007,76, 032325. [Google Scholar] [CrossRef]
Kaufman, A.M.; Lester, B.J.; Regal, C.A. Cooling a single atom in an optical tweezer to its quantum ground state.Phys. Rev. X2012,2, 041014. [Google Scholar] [CrossRef]
Kosloff, R.; Feldmann, T. A discrete four stroke quantum heat engine exploring the origin of friction.Phys. Rev. E2002,65, 055102. [Google Scholar] [CrossRef] [PubMed]
Feldmann, T.; Kosloff, R. The quantum four stroke heat engine: Thermodynamic observables in a model with intrinsic friction.Phys. Rev. E2003,68, 016101. [Google Scholar] [CrossRef] [PubMed]
Feldmann, T.; Kosloff, R. Quantum lubrication: Suppression of friction in a first-principles four-stroke heat engine.Phys. Rev. E2006,73, 025107(R). [Google Scholar] [CrossRef] [PubMed]
Diósi, L.; Feldmann, T.; Kosloff, R. On exact identity between thermodynamic and informatic entropies in a unitary model of friction.Int. J. Quantum Inf.2006,4, 99–104. [Google Scholar] [CrossRef]
Chen, X.; Ruschhaupt, A.; Schmidt, S.; del Campo, A.; Guery-Odelin, D.; Muga, J.G. Fast optimal frictionless atom cooling in harmonic traps.Phys. Rev. Lett.2010,104, 063002. [Google Scholar] [CrossRef] [PubMed]
Chen, X.; Lizuain, I.; Ruschhaupt, A.; Guery-Odelin, D.; Muga, J.G. Shortcut to adiabatic passage in two- and three-level atoms.Phys. Rev. Lett.2010,105, 123003. [Google Scholar] [CrossRef] [PubMed]
Ibez, S.; Chen, X.; Torrontegui, E.; Muga, J.G.; Ruschhaupt, A. Multiple schrdinger pictures and dynamics in shortcuts to adiabaticity.Phys. Rev. Lett.2012,109, 100403. [Google Scholar]
Salamon, P.; Hoffmann, K.H.; Rezek, Y.; Kosloff, R. Maximum work in minimum time from a conservative quantum system.Phys. Chem. Chem. Phys.2009,11, 1027–1032. [Google Scholar] [CrossRef] [PubMed]
Hoffmann, K.H.; Salamon, P.; Rezek, Y.; Kosloff, R. Time-optimal controls for frictionless cooling in harmonic traps.Euro. Phys. Lett.2011,96, 60015. [Google Scholar] [CrossRef]
Salamon, P.; Nitzan, A.; Andresen, B.; Berry, R.S. Minimum entropy production and the optimization of heat engines.Phys. Rev. A1980,21, 2115–2129. [Google Scholar] [CrossRef]
Bejan, A.Entropy Generation Minimization; Chemical Rubber Corp: Cleaveland, OH, USA, 1996. [Google Scholar]
Esposito, M.; Kawai, R.; Lindenberg, K.; van den Brook, C. Efciency at maximum power of low-dissipation carnot engines.Phys. Rev. Lett.2010,105, 150603. [Google Scholar] [CrossRef] [PubMed]
Van den Brook, C. Efficiency at maximum power in the low-dissipation limit.Eur. Phys. Lett.2013,101, 10006. [Google Scholar] [CrossRef]
Wang, H. Quantum-mechanical Brayton engine working with a particle in a one-dimensional harmonic trap.Phys. Scripta2013,87, 055009. [Google Scholar] [CrossRef]
Geva, E.; Kosloff, R. On the classical limit of quantum thermodynamics in finite time.J. Chem. Phys.1992,97, 4398–4412. [Google Scholar] [CrossRef]
Geva, E.; Kosloff, R. The quantum heat engine and heat pump: An irreversible thermodynamic analysis of the three-level amplifier.J. Chem. Phys.1996,104, 7681–7698. [Google Scholar] [CrossRef]
Kosloff, R.; Geva, E.; Gordon, J.M. The quantum refrigerator in quest of the absolute zero.J. Appl. Phys.2000,87, 8093–8097. [Google Scholar] [CrossRef]
Palao, P.J.; Kosloff, R.; Gordon, J.M. Quantum thermodynamic cooling cycle.Phys. Rev. E2001,64, 056130. [Google Scholar] [CrossRef] [PubMed]
Scully, M.O.; Zubairy, M.S.; Agarwal, G.S.; Walther, H. Extracting work from a single heat bath via vanishing quantum coherence.Science2003,299, 862–864. [Google Scholar] [CrossRef] [PubMed]
Kieu, T.D. The second law, Maxwell’s demon, and work derivable from quantum heat engines.Phys. Rev. Lett.2004,93, 140403. [Google Scholar] [CrossRef] [PubMed]
Segal, D.; Nitzan, A. Molecular heat pump.Phys. Rev. E2006,73, 026109. [Google Scholar] [CrossRef] [PubMed]
Bushev, P.; Rotter, D.; Wilson, A.; Dubin, F.; Becher, C.; Eschner, J.; Blatt, R.; Steixner, V.; Rabl, P.; Zoller, P. Feedback cooling of a single trapped ion.Phys. Rev. Lett.2006,96, 60010. [Google Scholar] [CrossRef] [PubMed]
Boukobza, E.; Tannor, D.J. Thermodynamic analysis of quantum light purification.Phys. Rev. A2008,78, 013825. [Google Scholar] [CrossRef]
Birjukov, J.; Jahnke, T.; Mahler, G. Quantum thermodynamic processes: a control theory for machine cycles.Eur. Phys. J. B2008,64, 105–108. [Google Scholar] [CrossRef]
Segal, D. Vibrational relaxation in the Kubo oscillator: Stochastic pumping of heat.J. Chem. Phys.2009,130, 134510. [Google Scholar] [CrossRef] [PubMed]
Esposito, M.; Lindberg, K.; van den Brook, C. Thermoelectric efficiency at maximum power in a quantum dot.Eur. Phys. Lett.2009,85, 043003. [Google Scholar] [CrossRef]
Linden, N.; Popescu, S.; Skrzypczyk, P. How small can thermal machines be? Towards the smallest possible refrigerator.Phys. Rev. Lett.2010,105, 130401. [Google Scholar] [CrossRef] [PubMed]
Scully, M.O. Quantum photocell: Using quantum coherence to reduce radiative recombination and increase efficiency.Phys. Rev. Lett.2010,104, 207701. [Google Scholar] [CrossRef] [PubMed]
Svidzinsky, A.A.; Dorfman, K.E.; Scully, M.O. Enhancing photovoltaic power by Fano-induced coherence.Phys. Rev. A2011,84, 053818. [Google Scholar] [CrossRef]
Sothmann, B.; Büttiker, M. Magnon-driven quantum-dot heat engine.Eur. Phys. Lett.2012,99, 27001. [Google Scholar] [CrossRef]
Geusic, J.E.O.; Schulz-du Bois, R.D.G.; Scovil, H.E. Three Level Spin Refrigeration and Maser Action at 1500mc/sec.J. App. Phys.1959,30, 1113–1114. [Google Scholar] [CrossRef]
Tsujikawa, I.; Murao, T. Possibility of optical cooling of ruby.J. Phys. Soc. Jpn.1963,18, 503–510. [Google Scholar] [CrossRef]
Hnsch, T.W.; Schawlow, A.L. Cooling of gases by laser radiation.Opt. Commun.1975,13, 68–69. [Google Scholar] [CrossRef]
Wineland, D.J.; Dehmelt, H. Proposed 1024 upsilon less that upsilon laser fluorescence spectroscopy on T1-Mono-Ion oscillator III.Bull. Am. Phys. Soc.1975,20, 637. [Google Scholar]
Levy, A.; Kosloff, R. Quantum absorption refrigerator.Phys. Rev. Lett.2012,108, 070604. [Google Scholar] [CrossRef] [PubMed]
Levy, A.; Alicki, R.; Kosloff, R. Quantum refrigerators and the third law of thermodynamics.Phys. Rev. E2012,85, 061126. [Google Scholar] [CrossRef] [PubMed]
Sandner, K.; Ritsch, H. Temperature gradient driven lasing and stimulated cooling.Phys. Rev. Lett.2012,109, 93601. [Google Scholar] [CrossRef] [PubMed]
Gieseler, J.; Deutsch, B.; Quidant, R.; Novotny, L. Subkelvin parametric feedback cooling of a laser-trapped nanoparticle.Phys. Rev. Lett.2012,109, 103603. [Google Scholar] [CrossRef] [PubMed]
Guo, J.; Su, G.; Chen, J. The performance evaluation of a micro/nano-scaled cooler working with an ideal Bose gas.Phys. Lett. A2012,376, 270–274. [Google Scholar] [CrossRef]
Yi, Z.; Gu, W.-J.; Li, G.-X. Sideband cooling of atoms with the help of an auxiliary transition.Phys. Rev. Lett.2012,109, 055401. [Google Scholar] [CrossRef]
Teufel, J.D.; Donner, T.; Li, D.; Harlow, J.W.; Allman, M.S.; Cicak, K.; Sirois, A.J.; Whittaker, J.D.; Lehnert, K.W.; Simmonds, R.W. Sideband cooling of micromechanical motion to the quantum ground state.Nature2011,475, 359–363. [Google Scholar] [CrossRef] [PubMed]
Verhagen, E.; Deléglise, S.; Weis, S.; Schliesser, A.T.J.; Kippenberg, T.J. Quantum-coherent coupling of a mechanical oscillator to an optical cavity mode.Nature2012,482, 63–67. [Google Scholar] [CrossRef] [PubMed]
Rahmani, A.; Kitagawa, T.; Demler, E.; Chamon, C. Cooling through optimal control of quantum evolution.Phys. Rev. A2013,87, 043607. [Google Scholar] [CrossRef]
Pekola, J.P.; Hekking, F.W.J. Normal-Metal-Superconductor tunnel junction as a brownian refrigerator.Phys. Rev. Lett.2007,98, 210604. [Google Scholar] [CrossRef] [PubMed]
Levy, A.; Alicki, R.; Kosloff, R. Comment on Cooling by Heating: Refrigeration Powered by Photons.Phys. Rev. Lett.2012,109, 248901. [Google Scholar] [CrossRef] [PubMed]
Cleuren, B.R.; van den Broeck, C. Cooling by heating: Refrigeration powered by photons.Phys. Rev. Lett.2012,108, 120603. [Google Scholar] [CrossRef] [PubMed]
Gelbwaser-Klimovsky, D.; Alicki, R.; Kurizki, G. Minimal universal quantum heat machine.Phys. Rev. E2013,87, 012140. [Google Scholar] [CrossRef] [PubMed]
Feingold, M.; Peres, A. Distribution of matrix elements of chaotic systems.Phys. Rev. A1986,34, 591–595. [Google Scholar] [CrossRef] [PubMed]
Deutsch, J.M. Quantum statistical mechanics in a closed system.Phys. Rev. A1991,43, 2046–2049. [Google Scholar] [CrossRef] [PubMed]
Srednicki, M. Chaos and quantum thermalization.Phys. Rev. E1994,50, 888–901. [Google Scholar] [CrossRef]
Rigol, M.; Dunjko, V.; Olshanii, M. Thermalization and its mechanism for generic isolated quantum systems.Nature2008,452, 854–858. [Google Scholar] [CrossRef] [PubMed]
Khasin, M.; Kosloff, R. Efficient simulation of quantum evolution using dynamical coarse graining.Phys. Rev. A2008,78, 012321. [Google Scholar] [CrossRef]
Khasin, M.; Kosloff, R. Algorithm for simulation of quantum many-body dynamics using dynamical coarse-graining.Phys. Rev. A2010,81, 043635. [Google Scholar] [CrossRef]
Partovi, M. Quantum Thermodynamics.Physics Letters A1989,137, 440–444. [Google Scholar] [CrossRef]
Calderbank, A.R.; Shor, P.W. Good quantum error-correcting codes exist.Phys. Rev. A1996,54, 1098–1105. [Google Scholar] [CrossRef] [PubMed]
Von Neumann, J.Mathematical Foundations of Quantum Mechanics; Princeton University Press: Princeton, NJ, USA, 1955. [Google Scholar]
Breuer, H.P.; Petruccione, F.Open Quantum Systems; Oxford university press: Oxford, UK, 2002. [Google Scholar]
Davis, E.B. Markovian master equations.Comm. Math. Phys.1974,39, 91–110. [Google Scholar] [CrossRef]
Davis, E.B. Model of atomic radiation.Ann. Inst. H. Poincaré Phys. Théor.1978,28, 91–110. [Google Scholar]
Alicki, R.; Lendi, K.Quantum Dynamical Semigroups and Applications; Springer-Verlag: Berlin, Germany, 1987. [Google Scholar]
Kraus, K. General State Change in Quantum Theory.Ann. Phys.1971,64, 311–335. [Google Scholar] [CrossRef]
Lindblad, G. On the existence of quantum subdynamics.J. Phys A: Math. Gen.1996,29, 4197–4207. [Google Scholar] [CrossRef]
Kubo, R.B. Statistical-mechanical theory of irreversible processes. I. General theory and simple applications to magnetic and conduction problems.J. Phys. Soc. Japan1957,12, 570–586. [Google Scholar] [CrossRef]
Martin, P.C.; Schwinger, J. Theory of many-particle systems. I.Phys. Rev.1959,115, 1342–1373. [Google Scholar] [CrossRef]
Spohn, H.; Lebowitz, J. Irreversible thermodynamics for quantum systems weakly coupled to thermal reservoirs.Adv. Chem. Phys.1979,38, 109. [Google Scholar]
Kosloff, R.; Ratner, M.A. Beyond linear response: Lineshapes for coupled spins or oscillators via direct calculation of dissipated power.J. Chem. Phys.1984,80, 2352–2362. [Google Scholar] [CrossRef]
Geva, E.; Kosloff, R.; Skinner, J. On the relaxation of a two-level system driven by a strong electromagnetic field.J. Chem. Phys.1995,102, 8541–8561. [Google Scholar] [CrossRef]
Lieb, E.H.; Yngvason, J. The physics and mathematics of the second law of thermodynamics.Phys. Rep.1999,310, 1–96. [Google Scholar] [CrossRef]
Kosloff, R. Thermodynamic aspects of the quantum measurement process.Adv. Chem. Phys.1980,46, 153–193. [Google Scholar]
Szilard, L. On the minimization of entropy in a thermodynamic system with interferences of intelligent beings.Z. Phys.1929,53, 840–856. [Google Scholar] [CrossRef]
Brilluin, L.Science and Information Theory; Academic Press: New York, NY, USA, 1956. [Google Scholar]
Maruyama, K.; Nori, F.; Verdal, V. Colloquium: The physics of Maxwell’s demon and information.Rev. Mod. Phys.2009,81, 1–23. [Google Scholar] [CrossRef]
Travis Bannerman, S.; Price, G.N.; Viering, K.; Raizen, M.G. Single-photon cooling at the limit of trap dynamics: Maxwell’s demon near maximum efficiency.New J. Phys.2009,11, 063044. [Google Scholar] [CrossRef]
Nielsen, M.A.; Chuang, I.L.Quantum Computation and Quantum Information; Cambridge University Press: Cambridge, UK, 2000. [Google Scholar]
Polkovnikov, A. Microscopic diagonal entropy and its connection to basic thermodynamic relations.Ann. Phys.2011,326, 486–499. [Google Scholar] [CrossRef]
Boukobza, E.; Tannor, D.J. Entropy exchange and entanglement in the Jaynes-Cummings model.Phys. Rev. A2005,78, 063821. [Google Scholar] [CrossRef]
Horodecki, R.; Horodecki, P.; Horodecki, M.; Horodecki, K. Quantum entanglement.Rev. Mod. Phys.2007,81, 865–942. [Google Scholar] [CrossRef]
Zurek, W.H. Quantum discord and Maxwells demons.Phys. Rev. A2003,67, 012320. [Google Scholar] [CrossRef]
Khasin, M.; Kosloff, R. Rise and fall of quantum and classical correlations in open-system dynamics.Phys. Rev. A2007,76, 012304. [Google Scholar] [CrossRef]
Martinez, E.A.; Paz, J.P. Dynamics and thermodynamics of linear quantum open systems.Phys. Rev. Lett.2013,110, 130406. [Google Scholar] [CrossRef] [PubMed]
Clausius, R. Ueber Die Bewegende Kraft Der Wrme Und Die Gesetze, Welche Sich Daraus FrDie Wrmelehre Selbst Ableiten Lassen.Annalen der Physik1850,79, 368. [Google Scholar] [CrossRef]
Spohn, H.; Lebowitz, J. Irreversible thermodynamics for quantum systems weakly coupled to thermal reservoirs.Adv. Chem. Phys.1978,109, 38. [Google Scholar]
Diosi, L. Continuous quantum measurement and ito formalism.Phys. Lett. A1988,129, 419–423. [Google Scholar] [CrossRef]
Diosi, L.A Short Course in Quantum Information Theory-An Approach From Theoretical Physics, 2nd ed.; Lecture Notes in Physics; Springer: Berlin, Germany, 2011; Volume 827, pp. 31–37. [Google Scholar]
Bloch, F.; Hansen, W.W. Packard M. Nuclear induction.Phys. Rev.1946,70, 460–474. [Google Scholar] [CrossRef]
Allen, L.C.; Eberly, J.H.Optical Resonance and Two-Level Atoms; Wiley, Courier Dover Publications: New York, NY, USA, 1975. [Google Scholar]
Wangsness, R.K.; Bloch, F. The dynamical theory of nuclear induction.Phys. Rev.1953,89, 729–739. [Google Scholar] [CrossRef]
Szczygielski, K.; Gelbwaser-Klimovsky, D.; Alicki, R. Markovian master equation and thermodynamics of a two-level system in a strong laser field.Phys. Rev. E2013,87, 012120. [Google Scholar] [CrossRef] [PubMed]
Lamb, W. Theory of an optical maser.Phys. Rev.1964,134, A1429–A1450. [Google Scholar] [CrossRef]
Allahverdyan, A.E.; Nieuwenhuizen, T.M. Extraction of work from a single thermal bath in the quantum regime.Phys. Rev. Lett.2000,85, 1799–1802. [Google Scholar] [CrossRef] [PubMed]
Lindblad, G. Expectation and entropy inequalities for finite quantum systems.Comm. Math. Phys.1974,39, 111–119. [Google Scholar] [CrossRef]
Frigerio, A. Quantum dynamical semigroups and approach to equilibrium.Lett. Math. Phys.1977,2, 79–87. [Google Scholar] [CrossRef]
Frigerio, A. Stationary states of quantum dynamical semigroups.Comm. Math. Phys.1978,63, 269–276. [Google Scholar] [CrossRef]
Feldmann, T.; Kosloff, R. Short time cycles of purely quantum refrigerators.Phys. Rev. E2012,85, 051114. [Google Scholar] [CrossRef] [PubMed]
Comparat, D. General conditions for quantum adiabatic evolution.Phys. Rev. A2009,80, 012106. [Google Scholar] [CrossRef]
Kosloff, R.; Feldmann, T. Optimal performance of reciprocating demagnetization quantum refrigerators.Phys. Rev. E2010,82, 011134. [Google Scholar] [CrossRef] [PubMed]
Boldt, F.; Hoffmann, K.H.; Salamon, P.; Kosloff, R. Time-optimal processes for interacting spin systems.Euro. Phys. Lett.2012,99, 40002. [Google Scholar] [CrossRef]
Nernst, W. Ueber die Berechnung chemischer Gleichgewichte aus thermischen Messungen.Nachr. Kgl. Ges. Wiss. Gött.1906,1, 1–40. [Google Scholar]
Nernst, W. Ub̎er die Beziehung zwischen War̎meentwicklung und maximaler Arbeit bei kondensierten Systemen.Ber. Kgl. Pr. Akad. Wiss.1906,52, 933–940. [Google Scholar]
Nernst, W.The Theoretical and Experimental Bases of the New Heat Theorem. [in German, Die Theoretischen und Experimentellen Grundlagen des Neuen War̎mesatzes.]; W. Knapp: Halle, 1918. [Google Scholar]
Fowler, R.H.; Guggenheim, E.A.Statistical Thermodynamics; University Press: Cambridge, UK, 1939. [Google Scholar]
Landsberg, P.T. Foundations of thermodynamics.Rev. Mod. Phys.1956,28, 363–392. [Google Scholar] [CrossRef]
Landsberg, P.T. A comment on Nernst’s theorem.J. Phys A: Math. Gen.1989,22, 139–141. [Google Scholar] [CrossRef]
Belgiorno, F. Notes on the third law of thermodynamics I.J. Phys A: Math. Gen.2003,36, 8165. [Google Scholar] [CrossRef]
Belgiorno, F. Notes on the third law of thermodynamics II.J. Phys A: Math. Gen.2003,36, 8195. [Google Scholar] [CrossRef]
Emch, G.G.Algebraic Methods in Statistical Mechanics and Quantum Field Theory; Wiley Interscience: New York, NY, USA, 1972. [Google Scholar]
Bogoliubov, N.N. On the theory of superfluidity.J. Phys. (USSR)1947,11, 23. [Google Scholar]
Dumcke, R. The low density limit for an N-level system interacting with a free Bose or Fermi gas.Commun. Math. Phys.1985,97, 331–359. [Google Scholar] [CrossRef]
Whitney, R.S. Thermodynamic and quantum bounds on nonlinear dc thermoelectric transport.Phys. Rev. B2013,87, 115404. [Google Scholar] [CrossRef]
Bruneau, L.; Jakšić, V.; Pillet, C.-A. Landauer-Büttiker formula and Schrödinger conjecture.2013. [Google Scholar]
Kolar, M.; Gelbwaser-Klimovsky, D.; Alicki, R.; Kurizki, G. Quantum bath refrigeration towards absolute zero: Unattainability principle challenged.Phys. Rev. Lett.2012,108, 090601. [Google Scholar] [CrossRef] [PubMed]

© 2013 by the authors; licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution license (http://creativecommons.org/licenses/by/3.0/).

Share and Cite

MDPI and ACS Style

Kosloff, R. Quantum Thermodynamics: A Dynamical Viewpoint.Entropy2013,15, 2100-2128. https://doi.org/10.3390/e15062100

AMA Style

Kosloff R. Quantum Thermodynamics: A Dynamical Viewpoint.Entropy. 2013; 15(6):2100-2128. https://doi.org/10.3390/e15062100

Chicago/Turabian Style

Kosloff, Ronnie. 2013. "Quantum Thermodynamics: A Dynamical Viewpoint"Entropy 15, no. 6: 2100-2128. https://doi.org/10.3390/e15062100

APA Style

Kosloff, R. (2013). Quantum Thermodynamics: A Dynamical Viewpoint.Entropy,15(6), 2100-2128. https://doi.org/10.3390/e15062100

Article Metrics

Article Access Statistics

For more information on the journal statistics, clickhere.

Multiple requests from the same IP address are counted as one view.

Movatterモバイル変換

Article Menu

Quantum Thermodynamics: A Dynamical Viewpoint

Abstract

1. Introduction

2. Quantum Open Systems

3. The 0-Law

3.1. System Bath Partition

3.2. Thermal Equilibrium

4. The I-Law

4.1. The Dynamical Generator in the Weak System-Bath Coupling Limit

4.2. Thermal Generators for Periodic Driving Fields

4.3. Heat Flows and Power for Periodically Driven Open Systems

5. The II-Law

5.1. Entropy

5.2. Quantum Networks and Quantum Devices

5.3. Approach to Steady State: Limit Cycle

5.4. The Quantum and Thermodynamic Adiabatic Conditions and Quantum Friction

6. The III-Law

6.1. Harmonic Oscillator Cold Heat Bath

6.2. The Existence of a Ground State

6.3. Ideal Bose/Fermi Gas Cold Heat Bath

6.4. Thermoelectric Refrigerators

7. Conclusions

Acknowledgments

References

Share and Cite

Article Metrics

Article Access Statistics

Further Information

Guidelines

MDPI Initiatives

Follow MDPI