Quantum heat engines and refrigerators: continuous devices.

PC65CH17-Kosloff

ARI

10 March 2014

ANNUAL REVIEWS

Further

16:38

Annu. Rev. Phys. Chem. 2014.65:365-393. Downloaded from www.annualreviews.org by WIB6074 - Universitat Kaiserslautern on 05/14/14. For personal use only.

Click here for quick links to Annual Reviews content online, including: • Other articles in this volume • Top cited articles • Top downloaded articles • Our comprehensive search

Quantum Heat Engines and Refrigerators: Continuous Devices Ronnie Kosloff and Amikam Levy Institute of Chemistry, The Hebrew University, Jerusalem 91904, Israel; email: [email protected]

Annu. Rev. Phys. Chem. 2014. 65:365–93

Keywords

The Annual Review of Physical Chemistry is online at physchem.annualreviews.org

quantum thermodynamics, quantum tricycle, quantum amplifier, laser cooling, absolute zero temperature

This article’s doi: 10.1146/annurev-physchem-040513-103724 c 2014 by Annual Reviews. Copyright All rights reserved

Abstract Quantum thermodynamics supplies a consistent description of quantum heat engines and refrigerators up to a single few-level system coupled to the environment. Once the environment is split into three (a hot, cold, and work reservoir), a heat engine can operate. The device converts the positive gain into power, with the gain obtained from population inversion between the components of the device. Reversing the operation transforms the device into a quantum refrigerator. The quantum tricycle, a device connected by three external leads to three heat reservoirs, is used as a template for engines and refrigerators. The equation of motion for the heat currents and power can be derived from first principles. Only a global description of the coupling of the device to the reservoirs is consistent with the first and second laws of thermodynamics. Optimization of the devices leads to a balanced set of parameters in which the couplings to the three reservoirs are of the same order and the external driving field is in resonance. When analyzing refrigerators, one needs to devote special attention to a dynamical version of the third law of thermodynamics. Bounds on the rate of cooling when T c → 0 are obtained by optimizing the cooling current. All refrigerators as T c → 0 show universal behavior. The dynamical version of the third law imposes restrictions on the scaling as T c → 0 of the relaxation rate γc and heat capacity cV of the cold bath.

365

PC65CH17-Kosloff

ARI

10 March 2014

16:38

1. INTRODUCTION


Our cars, refrigerators, air conditioners, lasers, and power plants are all examples of heat engines. The trend toward miniaturization has not skipped the realm of heat engines, leading to devices on the nano- or even on the atomic scale. Typically, in the practical world, all such devices operate far from the maximum efficiency conditions set by Carnot (1). Real heat engines are optimized for powers sacrificing efficiency. This trade-off between efficiency and power is the focus of the field of finite-time thermodynamics. The field was initiated by the seminal paper of Curzon & Ahlborn (2). From everyday experience, the irreversible phenomena that limit the optimal performance of engines can be identified as losses due to friction, heat leaks, and heat transport (3). Is there a unifying fundamental explanation for these losses? Is it possible to trace the origin of these phenomena to quantum mechanics? The tradition of thermodynamics is followed by the study of hypothetical quantum heat engines and refrigerators to address these issues. Once understood, these models serve as a template for real devices. Gedanken heat engines are an integral part of thermodynamical theory. In 1824, Carnot (1) set the stage by analyzing an ideal engine. His analysis preceded the systematic formulation that led to the first and second laws of thermodynamics (4). Amazingly, thermodynamics was able to keep its independent status despite the development of parallel theories dealing with the same subject matter. Quantum mechanics overlaps with thermodynamics in that it describes the state of matter. However, quantum mechanics additionally includes a comprehensive description of dynamics. This suggests that quantum mechanics can originate a concrete interpretation of the word dynamics in thermodynamics, leading to a fundamental basis for finite-time thermodynamics. Quantum thermodynamics is the study of thermodynamical processes within the context of quantum dynamics. Historically, consistency with thermodynamics led to Planck’s law, the basics of quantum theory. Following the ideas of Planck on blackbody radiation, Einstein (5) quantized the electromagnetic field in 1905. Einstein’s paper is the birth of quantum mechanics together with quantum thermodynamics. Quantum thermodynamics is devoted to unraveling the intimate connection between the laws of thermodynamics and their quantum origin (6–34). The following questions come to mind: How do the laws of thermodynamics emerge from quantum mechanics? What are the requirements of a theory to describe quantum mechanics and thermodynamics on a common ground? What are the fundamental reasons for a trade-off between power and efficiency? Do quantum devices operating far from equilibrium follow thermodynamical rules? Can quantum phenomena affect the performance of heat engines and refrigerators? We address these issues below by analyzing quantum models of heat engines and refrigerators. Extreme care has been taken to choose a model that can be analyzed from first principles. We consider two types of models: continuous operating models resembling turbines and discrete four-stroke reciprocating engines. The present review focuses on continuous devices.

2. THE CONTINUOUS ENGINE An engine is a device that converts one form of energy to another: heat to work. In this conversion, part of the heat from the hot bath is ejected to the cold bath, limiting the efficiency of power generation. This is the essence of the second law of thermodynamics. A continuous engine operates in an autonomous fashion, attaining a steady-state mode of operation. The analysis therefore requires an evaluation of steady-state energy currents. The operating part of the device is connected simultaneously to the hot, cold, and power output leads. The primary macroscopic example is a steam or gas turbine. The primary quantum heat engine is 366

Kosloff

·

Levy

PC65CH17-Kosloff

ARI

10 March 2014

16:38

κ↑

Є2

P ν

Th

ω20 κ↑

Є1

ω10

Tc

Є0

κ↓

κ↓ Annu. Rev. Phys. Chem. 2014.65:365-393. Downloaded from www.annualreviews.org by WIB6074 - Universitat Kaiserslautern on 05/14/14. For personal use only.

Figure 1 The quantum three-level amplifier as a Carnot heat engine. The system is coupled to a hot bath with temperature Th and to a cold bath with temperature Tc . The output P is a radiation field with frequency ν. (In the figure, = 1.) Power is generated, provided there is population inversion between level 2 and 1 : p 2 > p 1 . The hot bath equilibrates levels 0 and 2 via the rates k ↑ and k ↓ such that k ↑ /k ↓ = exp(ω20 /k B T h ). The efficiency η = ν/ω20 ≤ 1 − T c /T h . Reversing the direction of operation using power to drive the population from level 1 to 2 generates a heat pump; then p 2 < p 1 .

the laser. These devices share a universal aspect exemplified by the equivalence of the three-level laser with the Carnot engine. Reversing the operation of a heat engine generates a heat pump or a refrigerator. We review the basic principles of quantum continuous engines and then invert their operation and study quantum refrigerators.

2.1. The Quantum Three-Level System as a Heat Engine A contemporary example of a Carnot engine is the three-level amplifier. The principle of operation is to convert population inversion into output power in the form of light. Heat gradients are employed to achieve this goal. Figure 1 shows its schematic construction. A hot reservoir characterized by temperature Th induces transitions between the ground state 0 and the excited state 2 . When equilibrium is reached, then the population ratio between these levels becomes ωh p2 − = e kB T h , p0

where ωh ≡ ω20 = (2 − 0 )/ is the Bohr frequency, and kB is the Boltzmann constant. The cold reservoir at temperature Tc couples level 0 and level 1 , meaning that ωc p1 − = e kB T c , p0

where ωc ≡ ω10 = (1 − 0 )/. The amplifier operates by coupling the energy levels 3 and 2 to the radiation field, generating an output frequency with an on resonance of ν = (3 − 2 )/. The necessary condition for amplification is positive gain or population inversion, defined by G = p 2 − p 1 ≥ 0. From this condition, by dividing by p0 , we obtain

ωh − e kB T h

ωc ω10 Tc ≡ ≥ . ωh ω20 Th

(1) −

ωc − e kB T c

≥ 0, which leads to (2)

www.annualreviews.org • Quantum Heat Engines

367

PC65CH17-Kosloff

ARI

10 March 2014

16:38

The efficiency of the amplifier is defined by the ratio of the output energy ν to the energy extracted from the hot reservoir, ω20 : ν ωc =1− . (3) ηo = ω20 ωh Equation 3 is termed the quantum Otto efficiency (23). Inserting the positive gain condition given in Equations 1 and 2, one finds that the efficiency is limited by Carnot efficiency (1): ηo ≤ ηc ≡ 1 −

Tc . Th

(4)


This result connecting the efficiency of a quantum amplifier to the Carnot efficiency was first obtained by Scuville and colleagues (6, 7). The above description of the three-level amplifier is based on a static quasi-equilibrium viewpoint. Real engines that produce power operate far from equilibrium conditions. Typically, their performance is restricted by friction, heat transport, and heat leaks. A dynamical viewpoint is therefore the next required step.

2.2. The Quantum Tricycle A quantum description enables one to incorporate dynamics into thermodynamics. The tricycle model is the template for almost all continuous engines (Figure 2). This model is employed to incorporate the quantum dynamics of the devices. Surprisingly, very simple models exhibit the same features of engines generating finite power. Their efficiency at operating conditions is lower than the Carnot efficiency. In addition, heat leaks restrict performance, meaning that reversible operation is unattainable. The tricycle engine has the generic structure displayed in Figure 2. The basic model consists of three thermal baths: a hot bath with temperature Th , a cold bath with temperature Tc , and a

Tw

J c + Jh + P = 0 P

Jh

Jw

Hs

Th Jc

–

Jc Tc

–

Jh Th

–

Jw Tw

≥0

Tc

Figure 2 The quantum tricycle, a quantum device coupled simultaneously to a hot, cold, and power reservoir. A reversal of the heat currents constructs a quantum refrigerator. 368

Kosloff

·

Levy

PC65CH17-Kosloff

ARI

10 March 2014

16:38

work bath with temperature Tw . Each bath is connected to the engine via a frequency filter, which we model by three oscillators: ˆ F = ωh aˆ † aˆ + ωc ˆb†ˆb + ωw cˆ † cˆ , H

(5)

where ωh , ωc , and ωw are the filter frequencies on resonance ωw = ωh − ωc . The device operates as an engine by removing an excitation from the hot bath and generating excitations on the cold and work reservoirs. In second quantization formalism, the Hamiltonian describing such an interaction becomes


ˆ I = (âˆb† cˆ † + aˆ †ˆbˆc), H

(6)

where is the coupling strength. The device operates as a refrigerator by removing an excitation from the cold bath as well as ˆ c in the Hamiltonian from the work bath and generating an excitation in the hot bath. The term aˆ † bˆ of Equation 6 describes this action (see Section 3). One can employ different types of heat baths, including bosonic baths comprising phonons or photons and fermonic baths comprising electrons. From the continuous spectrum of the bath, the frequency filters select the working component to be employed in the tricycle. These frequency filters can also be constructed from two-level systems or can be formulated as qubits (35–37). The interaction term is strictly nonlinear, incorporating three heat currents simultaneously. This crucial fact has important consequences. A linear device cannot operate as a heat engine or refrigerator (38). A linear device is constructed from a network of harmonic oscillators with linear connections of the type μi j (âi aˆ †j + aˆ i† aˆ j ) with some connections to harmonic heat baths. In such a device, the hottest bath always cools down and the coldest bath always heats up. Thus, this construction can transport heat but not generate power because power is equivalent to transporting heat to an infinitely hot reservoir. Another flaw in a linear model is that the different bath modes do not equilibrate with each other. A generic bath should equilibrate any system Hamiltonian irrespective of its frequency. ˆ ⊗C ˆ can lead to a working ˆ I = Aˆ ⊗ B Many nonlinear interaction Hamiltonians of the type H heat engine. One can reduce these Hamiltonians to the form of Equation 6, which captures the essence of such interactions. The first law of thermodynamics represents the energy balance of heat currents originating from the three baths and collimating on the system: d Es = Jh + Jc + Jw . dt

(7)

At steady state, no heat is accumulated in the tricycle; thus (d Es )/(d t) = 0. In addition, in steady state, the entropy is generated only in the baths, leading to the second law of thermodynamics: Jh Jc Jw d Su = − − − ≥ 0. dt Th Tc Tw

(8)

This version of the second law is a generalization of Clausius’s statement; heat does not flow spontaneously from cold to hot bodies (39). When the temperature T w → ∞, no entropy is generated in the power bath. An energy current with no accompanying entropy production is equivalent to generating pure power: P = Jw , where P is the output power. The evaluation of the currents J j in the tricycle model requires dynamical equations of motion. The major assumption is that the total system is closed, and its dynamics is generated by the global Hamiltonians: ˆ SB . ˆ =H ˆ 0+H H

(9) www.annualreviews.org • Quantum Heat Engines

369

PC65CH17-Kosloff

ARI

10 March 2014

16:38

ˆ 0 includes the bare system and the heat baths: This Hamiltonian H ˆ0=H ˆ s +H ˆ H +H ˆ C +H ˆ W, H

(10)

ˆs = H Î +H ˆh +H ˆc +H ˆ w consists of three energy-filtering where the system Hamiltonian H components and an interaction part with an external field. The reservoir Hamiltonians are the ˆ C , and work H ˆ W . The system-bath interaction Hamiltonian, H ˆ SB , is equal to ˆ H , cold H hot H ˆ ˆ ˆ Hs H + Hs C + Hs W . A thermodynamical idealization assumes that the tricycle system and the baths are uncorrelated, meaning that the total state of the combined system becomes a tensor product at all times (31): ρˆ = ρˆ s ⊗ ρˆ H ⊗ ρˆ C ⊗ ρˆ W .

(11)


Under these conditions, the dynamical equations of motion for the tricycle become d ρˆ = Lρˆ s , dt s

(12)

where L is the Liouville superoperator described in terms of the system Hilbert space, where the reservoirs are described implicitly. Within the formalism of a quantum open system, L can take the form of the Gorini-Kossakowski-Sudarshan-Lindblad (GKS-L) Markovian generator (40, 41). Thermodynamics is notorious for employing a very small number of variables. In equilibrium conditions, the knowledge of the Hamiltonian is sufficient. When deviating from equilibrium, additional observables are added. This suggests presenting the dynamical generator in Heisenberg ˆ s: form for arbitrary system operators O d ˆ ˆ s,O ˆ kV ˆ s] + ˆ s }. ˆ s = i [H ˆ kO ˆ sV ˆ † − 1 {V ˆ †, O Os = L∗ O V k k dt 2 k

(13)

ˆ k are system operators still to be determined. The task of evaluating the modified The operators V ˆ k is made extremely difficult owing to the nonlinear ˆ s and the operators V system Hamiltonian H interaction in Equation 6. Any progress from this point requires a specific description of the heat baths and approximations to deal with the nonlinear terms.

2.3. The Quantum Amplifier The quantum amplifier is the most elementary quantum continuous heat engine converting heat to work. Its purpose is to generate power from a temperature difference between the hot and cold reservoirs. The output power is described by a time-dependent external field. The general device Hamiltonian is therefore time dependent: ˆ 0 + V(t). ˆ ˆ s (t) = H H

(14)

When the system is coupled to the hot and cold baths, the Markovian master equation in Heisenˆ s is berg form for the system operator O i ˆ d ˆ ˆ s (t)] + L∗ (O ˆ s (t)) + L∗ (O ˆ s (t)). Os = [H(t), O h c dt ˆ s with H ˆ s: One can obtain the change in energy of the device replacing O ˆ d Es ˆ s ) + L∗ (H ˆ s ) + ∂ Hs . = L∗h (H c dt ∂t 370

Kosloff

·

Levy

(15)

(16)

PC65CH17-Kosloff

ARI

10 March 2014

16:38

Equation 16 can be interpreted as the time derivative of the first law of thermodynamics (8, 31, 42, 43) based on the Markovian GKS-L generator. Power is identified as ∂Hs (17) P= ∂t and the heat current as ˆ s ) , Jh = L∗h (H

ˆ s ) . Jc = L∗c (H

(18)


The partition between the Hamiltonian and the dissipative part in the GKS-L generator is not unique (31). A unique derivation of the master equation based on the weak coupling limit leads to dynamics consistent with the first and second laws of thermodynamics (44). The template for the tricycle model is employed to describe the dynamics of the amplifier. The interaction Hamiltonian is modified to become ˆ −iνt ), ˆ I (t) = (â bˆ † e +iνt + aˆ † be H

(19)

where ν ≡ ωw is the frequency of the time-dependent driving field, and is the coupling amplitude. The modification of Equation 6 eliminates the nonlinearity; it amounts to replacing the operator cˆ and cˆ † by a c-number. The amplifier output power becomes † ˆ −iνt ). P = ν(âbˆ e +iνt − â† b e

(20)

After the nonlinearity has been eliminated, one can derive the quantum master equation for the amplifier from first principles based on the weak system-bath coupling expansion. This approximation is a thermodynamic idealization equivalent to an isothermal partition between the system and baths (31). The interaction with the baths is given by ˆ SB = λa (â + aˆ † ) ⊗ R ˆ h + λb (bˆ + bˆ † ) ⊗ R ˆ c, H

(21)

ˆ are reservoir operators and λ is the small system-bath coupling parameter. A crucial where R step has to be performed before this procedure is applied. The system Hamiltonian has to be rediagonalized with the interaction before the system is coupled to the baths. This diagonalization modifies the frequencies of the system, resulting in a splitting of the filter frequencies. The prediagonalization is crucial for the master equations to be consistent with the second law of thermodynamics (9, 37, 45). √ √ ˜ ˜ The operators in the diagonal form d˜ + = (ã + b)/( 2), d˜ − = (ã − b)/( 2), are determined ˜ ˆ s (t, 0). The ˆ s (t, 0) and b(t) ˆ s (t, 0)† bˆ U ˆ s (t, 0)† aˆ U =U from the interaction representation: a˜ (t) = U main ingredients of the derivation of the master equation can be seen in the Supplemental Appendix (follow the Supplemental Material link from the Annual Reviews home page at http://www.annualreviews.org).

Supplemental Material

2.3.1. Solving the equations of motion for the engine. In thermodynamic tradition, the engine is well described by a small set of observables. They in turn are represented by operators defining the heat currents in the engine. To exploit this property, we transform the Hamiltonian to the interaction frame: ˆ + ω h − ωc X ˆ + Z, ˆ ˆ † (t, 0)H(t) ˆ U ˆ s (t, 0) = ωh + ωc W ˆ I (t) = U (22) H s 2 2 where the operators are closed to commutation relations, forming the SU(2) Lie algebra: ˆ = (d˜ †+ d˜ + + d˜ †− d˜ − ), W

ˆ = (d˜ †+ d˜ − e i2t + d˜ †− d˜ + e −i2t ), X

Yˆ = i(d˜ †+ d˜ − e i2t − d˜ †− d˜ + e −i2t ),

ˆ = (d˜ †+ d˜ + − d˜ †− d˜ − ). Z www.annualreviews.org • Quantum Heat Engines

371

PC65CH17-Kosloff

ARI

10 March 2014

16:38


The dynamical description of the engine is completely determined by the expectation values of the operators constituting the SU(2) algebra and can be found in the Supplemental Appendix. ˆ H ˆ I ] = 0; therefore, Yˆ is related to the nondiagonal elements One finds that the commutator [Y, of the Hamiltonian that define the coherence between energy levels. The solution of the equation of motion leads to the thermodynamical observables at steadystate conditions; the power and heat flows become 2 κh κc ˆ = − 2(ωh − ωc ) G1 , P = νY 4 2 + κh κc κh+ κc 2 κh κc ˆ I ) = G2 + 2ωh G1 (23) Jh = L†h (H , 4 2 + κh κc κh + κc 2 2 κh κc ˆ I ) = − G2 + 2ωc G1 Jc = L†c (H , 2 4 2 + κh κc κh + κc where the generalized gain is G1 = (N h+ + N h− ) − (N c+ + N c− ), G2 = (N h+ − N h− ) − (N c+ − N c− ), and

± N h(c ) = exp

± ωh(c )

k B T h(c )

(24)

−1 −1

,

(25)

± with ωh(c ) = ωh(c ) ± . The effective heat conductivities κh/c are defined in the Supplemental Appendix. The first law of thermodynamics is satisfied such that Jh +Jc +P = 0, as well as the second law: −Jh /T h − Jc /T c ≥ 0. The power P is proportional to the expectation value of the coherence ˆ As a consequence, additional pure dephasing originating from external noise will degrade Y . the power. Such noise generated by a Gaussian random process is described by the generator ˆ I , [H ˆ I , •]] (46). In the regime where the external driving amplitude is larger than L D = −γ 2 [H the heat conductivity ( 2 κh κc ), Equation 23 converges to the results of Reference 35 when the tricycle operates as a heat engine. Optimal power is obtained when the heat conductances from the hot and cold baths are balanced, ≡ κc = κh ; then the power and the heat flows from the reservoirs become 2 ˆ = − ν G1 , P = νY 4 2 + 2 ωh 2 G1 G2 † ˆ + J h = L h (H I ) = , 4 4 2 + 2 2 ˆ I ) = − G2 − ωc G1 . Jc = L†c (H 4 4 2 + 2

(26)

Figure 3 shows the power as a function of the heat conductivity coefficient and the coupling to the external field . A clear global maximum is obtained for = 2. The efficiency of the amplifier is defined as η = −P/Jh . For the present model, it becomes η=

ν ωh +

( 2 + 2 )G2 4||G1

.

(27)

In the limit of → 0 and → 0, the efficiency approaches the Otto value, ηo = 1 − ωc /ωh , and for zero gain, ωc /ωh = T c /T h , we obtain the Carnot limit, ηc = 1 − T c /T h . 372

Kosloff

·

Levy

PC65CH17-Kosloff

ARI

10 March 2014

16:38

1

1.5

0.8 1 0.6

Γ 0.4 0.5


0.2

0

0

0.05

0.1

0.15

0

Є Figure 3 The normalized power P/Pmax as a function of the coupling amplitude to the external field and the heat conductivity . A clear maximum is obtained for = 2.

For finite fixed , the efficiency in the limit → 0 becomes ν

η= ωh +

ω ω 2 T h (1−cosh( h ))−T c 1−cosh c

ω Th ω

ωT c ω 4T h T c sinh h −sinh c +sinh c − h Th Tc Tc Th

.

(28)

By examining Equation 28, one can see that the Carnot limit is unattainable. When the Otto efficiency approaches the Carnot limit ωc /ωh = T c /T h , the amplifier’s efficiency becomes zero. This comparison between the two limits can be seen in Figure 4. The efficiency of Equation 27 can be either smaller or greater than the Otto efficiency depending on the sign of G2 . In the low-temperature limit, G2 is less than zero; thus ηo ≤ η ≤ ηc . Increasing will increase the efficiency up to a critical point crit , at which both G1 → 0 and G2 → 0 because N c+ → 0 and N h+ → 0 and N h− ∼ N c− . At this point, the engine operates at the Carnot limit, and all currents vanish, such that the process becomes isoentropic (Figure 5). In the high-temperature limit for harmonic oscillators, while increasing , the gain G2 will change sign and become positive; thus η ≤ ηo (Figure 6). 2.3.2. Optimizing the amplifier’s performance. Further optimization for power is obtained when the pumping rate is optimized for maximum power; then max = 2, and the power becomes 1 P = − ν||G1 . 2

(29)

At the limit of high temperature and small , the gain becomes G1 ≈ (K B T h )/(ωh )−(K B T c )/(ωc ). Then optimizing the power given in Equation 29 with respect to the output frequency ν leads to ωc = ωh

Tc , Th www.annualreviews.org • Quantum Heat Engines

373

PC65CH17-Kosloff

ARI

10 March 2014

16:38

1

η/η c

0.8

0.6

0.4


0.2

0

0

0.2

0.4

0.6

0.8

1

P/Pmax Figure 4 The normalized efficiency η/ηc versus the normalized power P/Pmax for fixed , , and ωc while varying ωh . The blue line is for finite , and the dashed red line is optimized at each point = 2. In this case, 1.

Currents

10 × 10−7

0

Jh

0.5

Jc

0.4

Otto

P 0

1

2

3

Entropy production

4 × 10−7

0

1

2

0

1

−1

0

1

2

1

3

−2

2

3

G1 and G2

2 × 10−5

3

0

Carnot

0.6

5

−5

Efficiency

0.7

G1 G2

0

1

2

3

Figure 5 (a) The heat Jc and Jh and power P currents as a function of . (b) Efficiency η as a function of . (c) Entropy production as a function of . (d ) The gain G1 and G2 as a function of . The harmonic tricycle engine operates in the limit of low temperature. k B T c = 0.1 and k B T h = 0.3, ωc = 4 and ωh = 6, and = 0.05.

374

Kosloff

·

Levy

PC65CH17-Kosloff

ARI

10 March 2014

16:38

Currents

Efficiency

4

Jh

0

−4

0.4

P Jc

−2

Carnot

0.6

2

Otto

0.2 0

1

2

3

0

1

60


G1

40

0.01

3

G1 and G2

Entropy production 0.015

2

20 0.005

G2

0 0

0

1

2

0

3

1

2

3

Figure 6 (a) The heat Jc and Jh and power P currents as a function of . (b) Efficiency η as a function of . (c) Entropy production as a function of . (d ) The gain G1 and G2 as a function of . The harmonic tricycle engine operates in the limit of high temperature. k B T c = 100 and k B T h = 300, ωc = 4 and ωh = 6, and = 0.05.

resulting in the efficiency at maximum power: ηCA = 1 −

Tc , Th

(30)

which is the well-established endoreversible result of Curzon & Ahlborn (2, 8). The optimal power is obtained when all the characteristic parameters are balanced: ∼ ∼ κc ∼ κh . Figure 7 shows a trajectory of efficiency with respect to power with changing field coupling strength for different frequency ratios ωc /ωh = (T c /T h )α . The power vanishes with the coupling = 0, and then when = crit , the splitting in the dressed energy levels nulls the gain.

2.4. Dynamical Model of a Three-Level Engine The dynamical description of the three-level engine is closely related to the tricycle model (9). The model is a template for the three-level laser shown in Figure 1 with the inclusion of a dynamical description (47, 48). The Hamiltonian of the device has the form ⎞ ⎛ 0 0 0 ⎟ ⎜ ˆ 0 + V(t) ˆ ˆs =H (31) = ⎝0 H e iνt ⎠ , 1 s 0 e −iνt 2 ˆ ˆ 0 = i Pˆ ii , Pˆ i j = |i j |, and V(t) where H = (Pˆ 12 e iνt + Pˆ 21 e −iνt ). The state of the threes level system is fully characterized by the expectation values of any eight independent operators, excluding the identity operator. www.annualreviews.org • Quantum Heat Engines

375

PC65CH17-Kosloff

ARI

10 March 2014

16:38

1

η/η c

0.8

0.6

0.4

0.2


0

0

0.2

0.4

0.6

0.8

1

P/Pmax−CA Figure 7 The normalized efficiency η/ηc versus the normalized power P/Pmax for different optimal values of = 2. Pmax is obtained for the Curzon-Ahlborn ratio ωc /ωh = T c /T h shown in blue. The orange line is for ωc /ωh = (T c /T h )1/4 , and the green line is for ωc /ωh = (T c /T h )3/4 . The red line is for the Carnot ratio ωc /ωh ∼ T c /T h , where the power is multiplied by 103 .


The final equations of motion for these observables are given in the Supplemental Appendix. The expressions for the power and efficiency become up to numerical factors identical to the expressions obtained for the driven quantum tricycle. Figure 8 shows a schematic view of the splitting of the energy levels of the three-level system owing to the driving field. As a result, the engine also splits into two parts, the upper and lower manifolds. One can evaluate the steady-state power and heat flows by solving the generalized Lamb equations. The results are represented by Equation 23 in which the definition of the population β

ω±

± h(c ) h(c ) + 1]. is changed from that of a harmonic oscillator to a two-level system: N h(c ) = 1/[e The numerator of the expressions for the power and heat flows consists of a sum of two contributions: One, proportional to the gain N h+ − N c+ , is associated with the population inversion

κ↑+

+Є –Є

κ↑– Th

ω20 +Є ω10 κ↓

P

ν ν κ↑+ κ↑–

–Є

Tc κ↓

Figure 8 The three-level amplifier. The interaction with the external field splits the two upper levels. As a result, the heat transport terms are modified. Two parallel engines emerge, which can operate in opposite directions, producing zero power for a certain choice of parameters. 376

Kosloff

·

Levy


PC65CH17-Kosloff

ARI

10 March 2014

16:38

in the upper manifold, whereas the other, proportional to the gain N h− − N c− , is associated with the population inversion in the lower manifold. At low temperatures, the three-level amplifier model is equivalent to that of the harmonic tricycle. At the high-temperature limit, the gain G2 is positive for all driving conditions . The maximum power point is the result of competition between the upper and lower manifolds. As increases, N h+ − N c+ increases, whereas N h− − N c− decreases. Hence, the power production of the upper manifold increases (i.e., becomes more negative), whereas that of the lower manifold decreases (i.e., becomes less negative). From a thermodynamic point of view, each manifold is associated with a separate heat engine. As the coupling with the work reservoir () increases, the engine associated with the upper manifold operates faster, while that associated with the lower one operates slower. In addition, the energy is leaking from the former to the latter, thereby diminishing the net power production. Not only does the power decrease as a function of , it also changes sign at a certain finite value of the field amplitude, denoted by crit . This results from the fact that at some point, the lower manifold starts operating backward as a heat pump, rather than a heat engine. At = crit , the power consumption by the lower manifold is exactly balanced by the power production of the upper manifold such that the net power production is zero. An examination of the steady-state heat fluxes reveals that they do not vanish at zero-power operating conditions. The entropy generated exclusively by the heat leak from the upper to lower manifold is obtained by eliminating the power in Equation 26: G2 d S l = dt 4

1 1 − Tc Th

≥ 0.

(32)

Zero-power operating conditions correspond to the short-circuit limit. Heat is effectively transferred from the hot bath into the cold bath such that no net work is involved. An interesting limit is that of low temperatures such that /k B T c , T h . For example, this limit is realistic in the optical domain where ν T c , T h . In such a case, N h+ − N c+ is negligible relative to N h− − N c− , and one needs to account for only the lower manifold. lT , is that for which N h− − N c− = 0. It is generally The value of crit in this limit, denoted by crit given by lT crit =

T h ωc − T c ω h . Th − Tc

(33)

The condition T h ωc − T c ωh > 0 is necessary and sufficient for lasing in the limit of weak driving fields. Population inversion becomes increasingly more difficult in this manifold as the field intensifies. It is therefore no longer a sufficient condition for lasing in intense driving fields. Finally, lT , asymptotically zero-power operating conditions in the low-temperature limit, obtained at = crit lT from Equation 33 imply zero heat flows and hence the reversible limit. Indeed, substituting crit for reduces to the Carnot efficiency, ηc = 1 − T c /T h . The difference between a three-level amplifier and the tricycle with harmonic oscillator filters at the high-temperature limit is observed in Figure 9. The source of the difference is the saturation of finite levels. The efficiency at maximum power is lower than the Curzon-Ahlborn efficiency, approximated by k B T c 12 ηc . (34) η pmax ≈ ηc − ωh


377

PC65CH17-Kosloff

ARI

10 March 2014

16:38

HO TLS

1

η/η c

0.8

0.6

0.4


0.2

0

0

0.2

0.4

0.6

0.8

1

P/Pmax Figure 9 The normalized efficiency η/ηc versus the normalized power P/Pmax for ωc /ωh ∼ T c /T h for varying = 2. The high-temperature limit is shown where ω kb T . The red line is the three-level amplifier, and the blue line is the harmonic tricycle engine. Saturation limits the performance of the three-level engine. Abbreviations: HO, harmonic oscillator; TLS, two-level system.

2.5. The Four-Level Engine and Two-Level Engine The four-level engine is a dynamical model of the four-level laser (49). In the four-level engine, the pumping excitation step is isolated from the coupling to the external field by employing an additional cold reservoir. Figure 10 shows a schematic view of the engine’s structure. Analyzing

κ↑

κ↑+ κ↑– ω32

ω30

Th

+Є ω10 κ↓

Tc

+Є ν

–Є κ ↓

P

ν κ↑+ κ↑–

–Є

Tc κ↓

Figure 10 The four-level engine. The interaction with the external field splits the two upper levels. As a result, the heat transport terms are modified. Two parallel engines emerge, which can operate in opposite directions, producing zero power for a certain choice of parameters. Coherence between levels 0 and 1 can enhance the performance by synchronizing the engines. ωh = ω30 , ωc 1 = ω32 , and ωc 2 = ω10 . 378

Kosloff

·

Levy

PC65CH17-Kosloff

ARI

10 March 2014

16:38


a static viewpoint, one can see that positive gain is obtained when ωh ωc 2 ωc 1 − − G = p 3 − p 2 = p 0 e K B T h e k B T c − e k B T c ≥ 0,

(35)

where ωh = ω30 , ωc 1 = ω32 , and ωc 2 = ω10 . The optimal output frequency at resonance is ν = ωh − ωc 1 − ωc 2 ; therefore, the efficiency becomes ηo = ν/ωh . If the additional cold reservoir is assumed to have temperature Tc , then the Carnot restriction is obtained: ηo ≤ ηc . A dynamical analysis reveals a splitting of the energy levels driven by the external field, leading to a similar performance as the three-level amplifier. The advantage of the four-level engine is that the hot bath thermal pumping is isolated from the coupling to the power extraction, thus replacing the decoherence associated with the hot bath with a quieter operation associated with the cold bath. In addition, one can optimize performance by balancing the rates between the upper and lower manifold by ωc 1 = ωc 2 . The four-level engine has been employed to study the influence of initial coherence on the engine’s performance (50–56). In this case, the power output is connected to the two upper levels, and the coherence is generated by splitting the ground state. The basic idea is that the initial coherence present between energy levels associated with the entangling operator Yˆ can be exploited to generate additional power, even from a single bath. There is no violation of the second law because the initial coherence reduces the initial entropy. Contact with a single bath will increase this entropy. A unitary manipulation can then exploit this entropy difference to generate work. An extreme exploitation of the dynamical splitting of the energy levels owing to the external driving field results in the two-level engine. Supplemental Figure 1 presents a schematic operation of the engine. Two excitations from the hot bath are required to generate a gain in the upper manifold. A clever choice of coupling to the bath is required to generate this gain, and a model of such an engine has been worked out (57, 58). The maximum efficiency of such an engine becomes η ≤ 1/2 ≤ ηc as two-pump steps are required for one output step.


2.6. Power Storage An integral part of an engine is a device that allows one to store the power and retrieve it on demand, a flywheel. A model based on the tricycle of such a device just disconnects the power bath and stores the energy in the power oscillator, ωw cˆ † cˆ . Once there is positive gain generated by the hot and cold baths, energy will flow to this oscillator. A model based on the three-level amplifier used this approach (21, 34, 59). The drawback of these studies is that they use a local description of the master equation. When the flywheel oscillator has a large amplitude, it will modify the system-bath coupling in analogy to the dressed state picture (9). Other studies also considered coupling to a cavity mode (54, 56, 60). The issue to be addressed is the amount of energy that can be stored and then extracted. Because the storage mode is entangled with the rest of the engine, this issue is delicate (60). The amount of possible work to be extracted is defined by an entropy-preserving unitary transformation to a passive state (61).

3. CONTINUOUS REFRIGERATORS In a nutshell, refrigerators are just inverted heat engines. They employ power to pump heat from a cold to a hot bath. As with heat engines, the first and second laws of thermodynamics impose the same restrictions on the refrigerator’s performance. The distinction between the static and dynamical viewpoints also applies. The key elements in a refrigerator are entropy extraction and disposal. This entropy disposal problem is enhanced at low temperatures. The unique feature of refrigerators is therefore the third law of thermodynamics. www.annualreviews.org • Quantum Heat Engines

379

PC65CH17-Kosloff

ARI

10 March 2014

16:38

3.1. The Third Law of Thermodynamics


Two independent formulations of the third law of thermodynamics have been presented, both originally stated by Nernst (62–64). The first is a purely static (equilibrium) one, also known as the Nernst heat theorem, phrased as follows: The entropy of any pure substance in thermodynamic equilibrium approaches zero as the temperature approaches zero. The second formulation is 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 (64, 65). There is an ongoing debate on the relations between the two formulations and their relation to the second law, regarding which, and if at all, one of these formulations implies the other (4, 66–68). Quantum considerations can illuminate these issues. The tricycle model is the template used to analyze refrigerator performance as T c → 0. We first analyze the implications of the Nernst heat theorem and its relations to the second law of thermodynamics. At steady state, the second law implies that the total entropy production is non-negative (see Equation 8): Jc Jh Jw d S u = − − − ≥ 0. dt Tc Th Tw This behavior can be quantified by a scaling exponent; as T c → 0, the cold current should scale with temperature as Jc ∝ T c1+α , with an exponent α. When the cold bath approaches the absolute zero temperature, it is necessary to eliminate the entropy production divergence at the cold side; when T c → 0, the entropy production scales as S˙ c ∼ −T cα ,

α ≥ 0.

(36)

For the case in which α = 0, the fulfillment of the second law depends on the entropy production of the other baths, −Jh /T h − Jw /T w > 0, which should compensate for the negative entropy production of the cold bath. The first formulation of the third law modifies this restriction. Instead of α ≥ 0, the third law imposes α > 0, guaranteeing that at absolute zero the entropy production at the cold bath is zero: S˙ c = 0. The Nernst heat theorem then leads to the scaling condition of the heat current with temperature (11): Jc ∼ T cα+1

and

α > 0.

(37)

We now examine the unattainability principle. Quantum mechanics enables a dynamical interpretation of the third law, modifying the definition to the following: No refrigerator can cool a system to absolute zero temperature at finite time. This form of the third law is more restrictive, imposing limitations on the system-bath interaction and the cold bath properties when T c → 0 (35). To quantify the unattainability principle, one finds that the rate of temperature decrease of the cooling process should vanish according to the characteristic exponent ζ : d T c (t) = −c T cζ , dt

T c → 0,

(38)

where c is a positive constant. Solving Equation 38, one obtains T c (t)1−ζ = T c (0)1−ζ − c t, for ζ < 1, T c (t) = T c (0)e −c t , for ζ = 1, 1 1 = + c t, for ζ > 1. ζ −1 T c (t) T c (0)ζ −1 380

Kosloff

·

Levy

(39)

PC65CH17-Kosloff

ARI

10 March 2014

16:38

From Equation 39, it is apparent that the cold bath can be cooled to zero temperature at finite time for ζ < 1. The third law therefore requires ζ ≥ 1. The two third-law scaling exponents can be related by accounting for the heat capacity c V (T c ) of the cold bath: Jc (T c (t)) = −c V (T c (t))

d T c (t) , dt

(40)


where c V (T c ) is determined by the behavior of the degrees of freedom of the cold bath at low temperatures at which c V ∼ T cη when T c → 0. Therefore, the scaling exponents are related, ζ = 1 + α − η (31). The third-law scaling relations given in Equations 37 and 40 can be used as an independent check for quantum refrigerator models (69). Violation of these relations points to flaws in the quantum model of the device, typically in the derivation of the master equation.

3.2. The Quantum Power–Driven Refrigerator Laser cooling is a crucial technology for realizing quantum devices. When the temperature is decreased, degrees of freedom freeze out, and systems reveal their quantum character. Inspired by the mechanism of solid state lasers and their analogy with Carnot engines (6), investigators realized that inverting the operation of the laser at the proper conditions will lead to refrigeration (70–73). A few years later, a different approach for laser cooling was initiated based on the Doppler shift (74, 75). In this scheme, translational degrees of freedom of atoms or ions were cooled by laser light detuned to the red of the atomic transition. Unfortunately, the link to thermodynamics was forgotten. A flurry of activity then followed with the realization that the actual temperatures achieved were below the Doppler limit, k B T Doppler = hγ /2, where γ is the natural line width (76–78). Elaborate quantum theories were devised to unravel the discrepancy. The recoil limit is based on the assumption that the photon momentum is in quasi-equilibrium with the momentum of the atoms, p = k. As a result, the temperature is related to the average kinetic energy: k B T recoil =

2 k 2 , 2M

(41)

where k is the photon momentum and M the atomic mass of the particle being cooled. For sodium, the Doppler limit is T Doppler = 235 μK and the recoil limit T recoil = 2.39 μK (79). Thermodynamically, these limits do not bind; the only hard limit is absolute zero, T c = 0. To approach this limit, one has to optimize the cooling power to match the cold bath temperature. Unoptimized refrigerators become restricted by a minimum temperature above absolute zero. A reexamination of the elementary three-level model stresses this point. By examining the heat engine model of Figure 1, one finds that if the power direction is reversed, a refrigerator is generated, provided the gain is negative: G = p 2 − p 1 < 0. Assuming quasi-equilibrium conditions, this leads to ωc ω10 Tc = ≤ , (42) ωh ω20 Th which translates to a minimum temperature of T c (min) ≥ (ωc /ωh )T h . We can consider typical values for laser cooling of sodium based on the D line of 589.592 nm, which translates to ωh = 508.838×1013 Hz. If the translational cold bath is coupled to the hyperfine structure splitting, then one finds that F2 → F1 of the ground state 3S1/2 , meaning ωc = 1.7716 × 1010 Hz. The cooling ratio becomes ωc /ωh = 3.48 × 10−6 , and the minimum temperature, assuming room temperature of the hot bath, is T c (min) ∼ 1.510−3 K. With the use of a magnetic field, the hyperfine levels F1 www.annualreviews.org • Quantum Heat Engines

381

PC65CH17-Kosloff

ARI

10 March 2014

16:38

split in three, leading to further splittings in the megahertz limit, increasing the cooling ratio by three orders of magnitude. When the cooling is in progress, one can reduce the hyperfine splitting by changing the magnetic field such that it follows the cold bath temperature. In principle, any temperature above T c = 0 is reachable.

3.3. Dynamical Refrigerator Models


A quantum dynamical framework of the refrigerator is based on the tricycle template. The work bath is replaced by a time-dependent driving term, and the cooling current can be calculated analytically. One can convert the dynamical equations of the heat engine (Equation 23) to those of a refrigerator by inverting the sign of all heat currents. Consequently, one finds that the gain G1 ≤ 0 (Equation 24). For example, when > κ, the cooling current becomes (35) − − + + 1 ωc− − c h − (N c− − N h− ) + ωc+ + c h + (N c+ − N h+ ) . (43) Jc = 2 c + h c + h The phenomenon of the refrigerator splitting into two parts is also found here. In a similar fashion, the three-level amplifier can be reversed to become a refrigerator (9). The heat currents are identical to Equation 23 with the two-level-system definition of N c±/ h . In a refrigerator, the object of optimization is the cooling power Jc compared to the output power P in an engine. The efficiency is defined by the coefficient of performance (COP), the ratio between Jc and the input power P: COP =

Jc ≤ COPo ≤ COPc , P

(44)

where COPo = ωc /ν and COPc = T c /(T h − T c ). All power-driven refrigerators are restricted by the Otto COPo . In Section 3.5, we analyze the performance of power-driven refrigerators at low temperatures.

3.4. The Quantum Absorption Refrigerator An absorption chiller is a refrigerator that employs a heat source to replace mechanical work for driving a heat pump (80). The first device, developed in 1850 by the Carré brothers, became the first useful refrigerator. In 1926, Einstein & Szilárd (81) invented an absorption refrigerator with no moving parts. This invention is an inspiration for miniaturizing the device to solve the growing problem of heat generated in integrated circuits. Even a more challenging proposal is to miniaturize to a few-level quantum system. Such a device could be incorporated into a quantum circuit. The first quantum version was based on the three-level refrigerator (12) driven by thermal noise. A more recent model of an autonomous quantum absorption refrigerator with no external intervention based on three qubits (36) has renewed interest in such devices. A setup of optomechanical refrigerators powered by incoherent thermal light was introduced in Reference 82. The study showed that cooling increases while the photon number increases up to the point that the fluctuation of the radiation pressure becomes dominant and heats the mechanical mode. Studies of cooling based on electron tunneling have also been considered. The working medium comprises quantum dots (83, 84) or a normal metal insulator superconductor junction (85). Heat is removed from the reservoir by electron transport induced by thermal or shot noise. 3.4.1. The three-level absorption refrigerator. In the three-level absorption refrigerator, the power source has a finite temperature Tw . The coefficient of performance becomes COP = Jc /Jw . 382

Kosloff

·

Levy

PC65CH17-Kosloff

ARI

10 March 2014

16:38


From the second and first laws of thermodynamics (Equations 7 and 8) using steady-state conditions, one obtains (T w − T h )T c , (45) COP ≤ (T h − T c )T w and T w > T h > T c (80). Under the assumption that the three baths are uncorrelated, the threelevel state is diagonal in the energy representation and determined by the heat conductivities (12, 86). From these values, one can evaluate the heat currents. In this refrigerator, no internal coherence is required for operation. 3.4.2. Tricycle absorption refrigerator. The template to understand the absorption refrigerator is the tricycle model, a refrigerator connected to three reservoirs with the Hamiltonians given in Equations 5 and 6. A thermodynamical consistent description requires that one first diagonalizes the Hamiltonian and then obtains the generalized master equations for each reservoir. The final step is to obtain the steady-state heat currents Jc , Jh , and Jw . The nonlinearity in Equation 6 hampers this task. One remedy to this issue is to replace the harmonic oscillators in the model by qubits (37). The other approach is to consider the high-temperature limit of the power reservoir or a noisedriven refrigerator (35, 87). This three-qubit refrigerator model was introduced as the ultimate miniaturization model (36, 88, 89). The free Hamiltonian of the device has the form ˆ F = ωh σˆ h + ωc σˆ c + ν σˆ w , H z z z and the interaction Hamiltonian is

ˆ I = σˆ h ⊗ σˆ c ⊗ σˆ w + σˆ h ⊗ σˆ c ⊗ σˆ w , H + − − − + +

(46)

(47)

where σˆ are two-level operators. The diagonal energy levels are described in the Supplemental Appendix. Of major importance is the distinction between the complete nonlocal description of the tricycle and a local description. In the local case, the dissipative terms Lh/c are set to equilibrate only the local qubit. In the nonlocal case, the local qubit is mixed with the other qubits owing to the nonlinear coupling. As a result, in the nonlocal approach it is impossible to reach the Carnot coefficient of performance, COPc , regardless of how small the internal coupling is. This can be observed in Figure 11, which shows the coefficient of performance versus the cooling current Jc for different coupling strengths, . Conversely, COPc is reachable in the local model. Interestingly, a universal limit for the coefficient of performance at the maximum cooling power was found applicable for all absorption refrigerator modes of COPc ≤ (d /d + 1)COPc , where d is the dimensionality of the phonon cold bath (86).


3.4.3. Noise-driven refrigerator. An ideal power source generates zero entropy: Sw = −Jw /T w . A pure mechanical external field achieves this goal. Another possibility is a thermal source; when T w → ∞, it also generates zero entropy. An unusual power source is noise. Gaussian white noise also carries with it zero entropy production. Analysis demonstrates that the performance of refrigerators driven by all these power sources is very similar when approaching the absolute zero temperature (87). Employing the tricycle as a template, we examine the option of employing noise as a power source. The simplest option is a Gaussian white noise source. As a result, the interaction nonlinear term in Equation 6 is replaced with ˆ ˆ int = f (t)(â† bˆ + aˆ bˆ † ) = f (t)X, H

(48)


383

PC65CH17-Kosloff

ARI

10 March 2014

16:38

1

Є = 0.01 Є = 0.03 Є = 0.06

0.8

COP/COPc

Є = 0.09 0.6

0.4


0.2

0

0

5.0 × 10 –7

1.0 × 10 –6

1.5 × 10 –6

2.0 × 10 –6

Jc /J*c Figure 11 The coefficient of performance, COP/COPc , of the three-qubit refrigerator versus the normalized cold current Jc /Jc∗ for different values of the internal coupling constant, . The coefficient of performance at maximum power is found to be bound by 3/4COPc , independent of . Figure courtesy of L.A. Correa and J.P. Palao.

ˆ = (â† bˆ + aˆ bˆ † ) is the generator of a swap operation between the where f (t) is the noise field; X † ˆ and the ˆ = (â† aˆ − bˆ † b), two oscillators and is part of a set of SU(2) operators, Yˆ = i(â† bˆ − aˆ bˆ ), Z † †ˆ ˆ ˆ Casimir N = (â aˆ + b b). A Gaussian source of white noise is characterized by zero mean f (t) = 0 and delta time correlation f (t) f (t ) = 2ηδ(t − t ). The Heisenberg equation for a time-independent operator ˆ is reduced to O d ˆ ˆ s , O] ˆ + L∗ (O) ˆ + L∗ (O) ˆ + L∗ (O), ˆ O = i[H n h c dt


(49)

ˆ The noise dissipator for Gaussian noise is L∗ (O) ˆ s = ωh aˆ † aˆ + ωc bˆ † b. ˆ = −η[X, ˆ [X, ˆ O]] ˆ where H n (46). The bath relaxation generators Lh/c are the standard local energy relaxation terms (see the Supplemental Appendix) (90). The equations of motion including the dissipative part are closed to the SU(2) set of operators. ˆ we solve for stationary solutions of N ˆ and Z. ˆ To derive the cooling current Jc = Lc (ωc bˆ † b) , The cooling current becomes Jc = ωc

2η¯ (N c − N h ), 2η + ¯

(50)

where the effective heat conductance is ¯ = (c h )/(c + h ). Cooling occurs for N c > N h ⇒ ωh /T h > ωc /T c . The coefficient of performance for the absorption chiller is defined by the relation COP = Jc /Jn ; with the help of Equation 50, we obtain the Otto COPo (23) (see Equation 44). We now show the equivalence of the noise-driven refrigerator with the high-temperature limit of the work bath TW . Based on the weak coupling limit, the dissipative generator of the power 384

Kosloff

·

Levy

PC65CH17-Kosloff

ARI

10 March 2014

16:38


bath becomes

ˆ bˆ † aˆ − 1 {â† aˆ bˆ bˆ † , O} ˆ = w (N w + 1) aˆ † bˆ O ˆ L∗w (O) 2 (51) † † 1 ˆ O} ˆ ˆ a bˆ − {âaˆ † bˆ † b, , + w N w aˆ bˆ Oˆ 2 −1 ˆ does not lead to a close set where N w = (exp((ωw )/(kT h )) − 1) . At finite temperature, Lw (O) of equations. But in the limit of T w → ∞, it becomes equivalent to the Gaussian noise generator: ˆ = −η/2([X, ˆ [X, ˆ O]] ˆ + [Y, ˆ [Y, ˆ O]]), ˆ where η = w N w . This noise generator leads to the L∗w (O) same current Jc and coefficient of performance as in Equations 44 and 50. We conclude that Gaussian noise represents the singular bath limit equivalent to T w → ∞. One can employ Poisson white noise as a power source. This noise is typically generated by a sequence of independent random pulses with exponential interarrival times (91, 92). These impulses drive the coupling between the oscillators in contact with the hot and cold baths, leading to ˆ dO ˜ O] ˆ − (i/)λξ [X, ˆ O] ˆ = (i/)[H, dt

(52) ∞ ˆ ˆ , ˆ (−i/)ξ Xˆ − O + λ −∞ d ξ P(ξ )e (i/)ξ X Oe ˜ is the total Hamiltonian including the baths, λ is the rate of events, and ξ is the impulse where H strength averaged over a distribution P(ξ ). Using the Hadamard lemma and the fact that the operators form a closed SU(2) algebra, we can separate the noise contribution into its unitary and dissipation parts, leading to the master equation ˆ dO ˜ O] ˆ + (i/)[H ˆ , O] ˆ + L∗ (O). ˆ = (i/)[H, n dt

(53)

ˆ and with the ˆ = ε X The unitary part is generated with the addition of the Hamiltonian H interaction λ =− d ξ P(ξ )(2ξ/ − sin(2ξ/)). (54) 2 ˆ This term can cause a direct heat leak from the hot to the cold bath. The noise generator Ln (ρ) ˆ = −η[X, ˆ [X, ˆ O]], ˆ with a modified noise parameter: can be reduced to the form L∗n (O) λ 1 − d ξ P(ξ ) cos(2ξ/) . (55) η= 4 ˜ and H ˆ , modifying the energy The Poisson noise generates an effective Hamiltonian comprising H levels of the working medium. One must incorporate this new Hamiltonian structure into the derivation of the master equation; otherwise, the second law will be violated. The first step is to rewrite the system Hamiltonian in its dressed form (93). A new set of bosonic operators is defined Aˆ 1 = aˆ cos(θ) + bˆ sin(θ), (56) Aˆ 2 = bˆ cos(θ) − aˆ sin(θ). The dressed Hamiltonian is given by

ˆ s = + Aˆ † Aˆ 1 + − Aˆ † Aˆ 2 , H 1 2

(57)

where ± = (ωh +ωc )/2± ((ωh − ωc )/2)2 + 2 and cos2 (θ) = (ωh −− )/(+ −− ). Equation 57 imposes the restriction ± > 0, which can be translated to ωh ωc > 2 . The master equation in the Heisenberg representation becomes ˆ dO ˆ s , O] ˆ + L∗ (O) ˆ + L∗ (O) ˆ + L∗ (O), ˆ = (i/)[H h c n dt

(58)


385

PC65CH17-Kosloff

ARI

10 March 2014

16:38

where the details can be found in Reference 35. The noise generator becomes


ˆ = −η[W, ˆ [W, ˆ O]], ˆ L∗n (O)

(59)

ˆ = sin(2θ )Z ˆ + cos(2θ)X. ˆ Again, the SU(2) algebra is employed to define the operators where W † ˆ † ˆ † ˆ ˆ ˆ ˆ ˆ = (Aˆ † Aˆ 1 − Aˆ † Aˆ 2 ). The total number of excitations ˆ ˆ X = (A1 A2 + A2 A1 ), Y = i(A1 A2 − Aˆ 2† Aˆ 1 ), and Z 1 2 † ˆ ˆ ˆ is accounted for by the operator N = (A1 A1 + Aˆ 2† Aˆ 2 ). Once the set of linear equations is solved, ˆ s ) , Jc = L∗ (H ˆ s ) , and one can extract the exact expressions for the heat currents: Jh = L∗h (H c ∗ ˆ Jn = Ln (Hs ) . The distribution of impulse determines the performance of the refrigerator. For a normal (ξ −ξ0 )2 √ − distribution of impulses in Equation 52, P(ξ ) = (1/ 2π σ 2 )e 2σ 2 . The energy shift is controlled by 2σ 2 λ − 2 2ξ0 / − e sin(2ξ0 /) . (60) =− 2 The effective noise strength becomes 2σ 2 λ − 2 1−e η= cos(2ξ0 /) . 4

(61)

In the limit of σ → 0, one finds that P(ξ ) = δ(ξ − ξ0 ). Another possibility is an exponential distribution: P (ξ ) = (1/ξ0 )e

−

ξ ξ0

. Then = −λ

(ξ0 /)3 4(1 + (ξ0 /)2 )

(62)

and (ξ0 /)2 . (63) 1 + 4(ξ0 /)2 The Poissonian noise plays two opposing roles. On the one hand, it increases the cooling current Jc , by increasing η. On the other hand, it decreases (becomes more negative) and by that decreases Jc . Both parameters η and depend linearly on λ, which can be interpreted as the rate of photon absorption in the system that enhances the cooling process. Supplemental Figure 2 shows that Jc increases with λ until a point at which dominates and Jc decreases. The coefficient of performance for the Poisson-driven refrigerator is restricted by the Otto and Carnot coefficients of performance: η=λ


COP =

− ωc Tc ≤ ≤ . + − − ω h − ωc Th − Tc

(64)

3.5. Refrigerators Operating as Tc → 0 and the Third Law of Thermodynamics The performance of all types of refrigerators at low temperature has universal properties. In power-driven refrigerators, the lower split manifold is dominant, leading to the cold current Jc ≈ ωc−

2 2 ¯ · G, + c h

4 2

(65)

where the gain G = N c− − N h− and ¯ = (c h )/(c + h ). In the three-level absorption refrigerator, the cold current becomes Jc = ωc 386

Kosloff

·

Levy

c h w · G,

(66)

PC65CH17-Kosloff

ARI

10 March 2014

16:38

−

ωw

−

ωc

where is a combination of kinetic constants and G = e k B T w e k B T c − e In the Gaussian noise-driven refrigerator, Equation 50 becomes Jc = ωc

2η¯ · G, 2η + ¯

−

ωh kB T h

(86).

(67)

where G = N c − N h . In the Poisson-driven refrigerator, we obtain


Jc ≈ −

2η¯ · G, 2η + ¯

(68)

with G = (N c− − N h+ ) and − ≈ ωc − 2 /(ωh − ωc ). All expressions for the cooling current Jc are a product of an energy quant ωc , the effective heat conductance, and the gain G. To approach the absolute zero temperature, we require a further optimization. Optimizing the −

ωc

gain G is obtained when ωh → ∞, which leads to G ∼ e k B T c . In addition, the driving amplitude should be balanced with the heat conductivity. One can also express the cooling current in terms of the relaxation rate to the bath via the relation γ (ω)e cooling current as T c → 0 becomes

−

Jc = ωc · γc · e

ω kB T

−

= (ω)N (ω). The universal optimized

ωc kB T c

.

(69)

This form is correct both in the weak coupling limit and in the low density limit. One can interpret the heat current Jc as the quant of energy ωc extracted from the cold bath at the rate γ c multiplied by a Boltzmann factor. Further optimization with respect to ωc is dominated by the exponential Boltzmann factor (optimizing the function x a e −x/b leads to x ∗ ∝ b). As a result, one finds that ωc∗ ∝ T c , obtaining Jc ∝ ωc∗ · γc (ωc∗ ). The linear relation between the optimal frequency ωc and Tc allows one to translate the temperature scaling relations to the low-frequency scaling relations of γc (ω) ∼ ωμ and c V (ω) ∼ ωη when ω → 0. To fulfill the Nernst heat theorem (Equation 37), one restricts the scaling of the relaxation rate to γc (ω) ∼ ωα and α > 0. The fulfillment of the unattainability principle (Equation 40) depends on the ratio between the relaxation rate and the heat capacity γc /c V ∼ ωζ −1 , where ζ > 1. We now examine the low-frequency properties of the relaxation rate γ c and the heat capacity cV . For three-dimensional ideal degenerate Bose gases, cV scales as T c3/2 . For degenerate Fermi gases, cV scales as Tc . In both cases, the fraction of the gas that can be cooled decreases with temperature. Based on a collision model, when cooling occurs owing to inelastic scattering, we have found the scaling exponent ζ = 3/2 for both degenerate Bose and Fermi gases (35). The most studied generic bath is the harmonic bath. It includes the electromagnetic field (a photon bath), a macroscopic piece of solid (a phonon bath), or Bogoliubov excitations in a Bose-Einstein condensate. The standard form of the bath’s Hamiltonian is

† † ˆ ˆ ˆB= ˆ ¯ a (k)) , H (g(k)â(k) + g(k)ˆ ω(k)â† (k)â(k), (70) Hint = (b + b ) k

k

†

where aˆ (k) and aˆ (k) are the annihilation and creation operators for a mode k. For this model, the weak coupling limit procedure leads to the GKS-L generator with the cold bath relaxation rate given by (35) ω(k) −1 − |g(k)|2 δ(ω(k) − ωc ) 1 − e k B T c . (71) γc ≡ γc (ωc ) = π k


387

ARI

10 March 2014

16:38

For the bosonic field in d-dimensional space, with the linear low-frequency dispersion law (ω(k) ∼ |k|), one obtains the following scaling properties for the cooling rate at low frequencies: γc ∼ ωcκ ωcd −1 , where ωcκ represents the scaling of the form factor |g(ω)|2 , and ωcd −1 is the opt scaling of the density of modes. For ωc ∼ T c , the final current scaling becomes Jc ∼ T cd +κ or α = d + κ − 1. At low temperatures, the heat capacity of the bosonic systems scales as follows: c V (T c ) ∼ T cd , which produces the scaling ζ = κ. This means that κ ≥ 1 to fulfill the third law. To rationalize the scaling, cV is a volume property and γc is a surface property, so ωc γc scales the same as cV . The scaling of the form factor κ is related to the speed at which the excitation can be carried away from the surface. The exponent κ = 1 when ω → 0 is typical in systems such as electromagnetic fields or acoustic phonons that have a linear dispersion law, ω(k) = v|k|. In these cases, the form factor becomes g(k) ∼ |k|/ ω(k); therefore, |g(ω)|2 ∼ |k|. The condition κ ≥ 1 excludes exotic dispersion laws, ω(k) ∼ |k|δ with δ < 1, which produce infinite group velocity forbidden by relativity theory. Moreover, the popular choice of Ohmic coupling is excluded for systems in dimension d > 1 (31). We note that challenges to the third law have been published (94). Our viewpoint is that these discrepancies are the result of flaws in the reduction of the spin bath to a harmonic spectral density formulation.


PC65CH17-Kosloff

4. SUMMARY Thermodynamics represents physical reality with an amazingly small number of variables. In ˆ is sufficient to reconstruct the state of the system, from which equilibrium, the energy operator H all other observables can be deduced. Dynamical systems out of equilibrium require more variables. Quantum thermodynamics advocates that only a few additional variables are required to describe a quantum device: a heat engine or a refrigerator. A description based on the Heisenberg equation of motion lends itself to this viewpoint. A sufficient condition for the set of operators to be closed to the Hamiltonian is that they form a Lie algebra. In addition, the Hamiltonian needs to be a linear combination of operators from the same algebra (95). Finally, the operators have to be closed to the dissipative part Lh/c . Most of the solvable models in this review are based on the ˆ the identity SU(2) Lie algebra with four operators. We chose them to represent the energy H; ˆ and two additional operators, X ˆ and Y. ˆ These operators can associate with coherence because I; ˆ X] ˆ = 0, [H, ˆ Y] ˆ = 0. Generically, in these models, the power is proportional to the coherence [H, ˆ We can speculate that the steady-state operation of a working engine or refrigerator is P ∝ Y . minimally characterized by the SU(2) algebra of three noncommuting operators. This is also the case in reciprocating engines (96–98). The Hamiltonian can be decomposed to noncommuting local operators that couple to the baths. The nonlocal structure influences the derivation of the master equation. A local approach ˆ s leads to equations of motion that can violate the second law of thermodybased on equilibrating H namics (9, 31, 35, 69). A thermodynamically consistent derivation requires a prediagonalization of the system Hamiltonian. This Hamiltonian defines the system-bath weak coupling approximation leading to the GKS-L completely positive generator. Quantum mechanics introduces dynamics into thermodynamics. As a result, the laws of thermodynamics have to be reformulated, replacing heat with heat currents and work with power. The first law at steady state requires that the sum of these currents is zero. For the devices considered, the entropy production is exclusively generated in the baths and the sum of all contributions is positive. All quantum devices should be consistent with the first and second laws of thermodynamics. Apparent violations point to erroneous derivations of the dynamical equations of motion. 388

Kosloff

·

Levy


PC65CH17-Kosloff

ARI

10 March 2014

16:38

The tricycle template is a universal description for continuous quantum heat engines and refrigerators. This model incorporates basic thermodynamic ideas within a quantum formalism. The tricycle combines three energy currents from three sources by a nonlinear interaction. A nonlinear construction is the minimum requirement for all heat engines or refrigerators. This universality means that the same structure can describe a wide range of quantum devices. The performance characteristics are given by the choice of working medium and reservoirs. In the derivation, the reservoirs are characterized by their temperature and correlation functions. The working medium filters out the channels of heat transfer and power. The trade-off between power and efficiency is a universal characteristic of the quantum devices. The output power or the cooling current exhibits a turnover with any control parameter (99). For example, when the coupling parameter to the external field is increased first, the power or cooling current increases with it, but then beyond a critical parameter, because of the splitting of the energy levels, a decrease in performance appears. Another turnover phenomenon is observed when the coupling parameter to the baths is increased. Initially increasing the coupling will allow more heat to flow to the device. Above a critical value, dissipation will degrade the coherence and with it the performance. Optimal power and optimal cooling currents are obtained in a balanced operational point, far from reversible conditions of maximum efficiency. The quantum version of the third law originates from the existence of a ground state. One can think of the third law as a limit to the distillation of a pure ground state in a subsystem disentangling it from the environment. We can generalize and apply the third law to any pure state of the subsystem, as such a state is accessible from the ground state by a unitary transformation. Unitary transformations are isoentropic and therefore allowed by the Nernst heat theorem at T c = 0. The quantum dilemma of cooling to a pure state stems from the requirement of a systembath interaction to induce a change of the entropy of the system. However, such an interaction generates system-bath entanglement so that the system cannot be in a pure state. Approaching the absolute zero temperature is a delicate maneuver. The system-bath coupling has to be reduced while the cooling takes place, eventually vanishing when T c → 0. As a result, the means to cool are exhausted before the target is reached (100, 101). The universal behavior of all quantum refrigerators as T c → 0 emphasizes this point. How do quantum phenomena such as coherence and entanglement influence performance? This issue can be separated into global effects, which include the reservoirs, and internal quantum effects within the device. The description of heat transport into the device by the GKS-L master equation is the thermodynamic equivalent of an isothermal partition. In this description, the system and bath are not entangled (31). The issue of internal quantum effects is more subtle. Internal coherence is necessary for operation in quantum-driven devices. For quantum autonomous absorption refrigerators, it has been recently claimed that, although present, coherence is not a determinant in engine operation (86). Other papers claim the opposite (50, 84, 102). Entanglement has been related to the extraction of additional work (60, 103, 104). These issues require further study. For completeness, here we mention what was excluded from the review above: reciprocating heat engines and refrigerators. Significant insight can be gained from the analysis of such devices. The template is the quantum Otto four-stroke cycle in which the unitary adiabatic branches are separated from the heat transport (22–24, 33, 98, 105–110). The analysis of reciprocating engine is simplified owing to this separation. The disadvantage is that the timing of the branches is determined externally. A review of reciprocating engines and refrigerators will be treated in a separate publication. Finally, we can conclude from this review that, when analyzed according to the laws of quantum mechanics, quantum devices are consistent with a dynamical interpretation of the laws of thermodynamics. www.annualreviews.org • Quantum Heat Engines

389

PC65CH17-Kosloff

ARI

10 March 2014

16:38

DISCLOSURE STATEMENT The authors are not aware of any affiliations, memberships, funding, or financial holdings that might be perceived as affecting the objectivity of this review.

ACKNOWLEDGMENTS This review was supported by the Israel Science Foundation. The authors thank Tova Feldmann, Eitan Geva, Jose P. Palao, Jeff Gordon, Lajos Diosi, Peter Salamon, Gershon Kuritzky, and Robert Alicki for sharing their wisdom. Part of this work was supported by the COST Action MP1209 “Thermodynamics in the quantum regime.”


LITERATURE CITED 1. Carnot S. 1824. Réflections sur la Puissance Motrice du Feu et sur les Machines propres a` Développer cette Puissance. Paris: Bachelier 2. Curzon F, Ahlborn B. 1975. Efficiency of a Carnot engine at maximum power output. Am. J. Phys. 43:22–24 3. Salamon P, Nulton J, Siragusa G, Andersen TR, Limon A. 2001. Principles of control thermodynamics. Energy 26:307–19 4. Landsberg PT. 1956. Foundations of thermodynamics. Rev. Mod. Phys. 28:363–92 ¨ 5. Einstein A. 1905. Uber einen die erzeugung und verwandlung des lichtes betreffenden heuristischen gesichtspunkt. Ann. Phys. 17:132–48 6. Scovil HED, Schulz-DuBois EO. 1959. Three-level masers as heat engines. Phys. Rev. Lett. 2:262–63 7. Geusic J, Schulz-Du Bois EO, Scovil HED. 1967. Quantum equivalence of the Carnot cycle. Phys. Rev. 156:343–51 8. Kosloff R. 1984. A quantum mechanical open system as a model of a heat engine. J. Chem. Phys. 80:1625– 31 9. Geva E, Kosloff R. 1996. The quantum heat engine and heat pump: an irreversible thermodynamic analysis of the three-level amplifier. J. Chem. Phys. 104:7681–98 10. Partovi M. 1989. Quantum thermodynamics. Phys. Lett. A 137:440–44 11. Kosloff R, Geva E, Gordon JM. 2000. The quantum refrigerator in quest of the absolute zero. J. Appl. Phys. 87:8093–97 12. Palao JP, Kosloff R, Gordon JM. 2001. Quantum thermodynamic cooling cycle. Phys. Rev. E 64:056130 13. Lloyd S. 1997. Quantum-mechanical Maxwell’s demon. Phys. Rev. A 56:3374–82 14. He J, Chen J, Hua B. 2002. Quantum refrigeration cycles using spin-1/2 systems as the working substance. Phys. Rev. E 65:036145 15. Lieb EH, Yngvason J. 1999. The physics and mathematics of the second law of thermodynamics. Phys. Rep. 310:1–96 16. Bender CM, Brody DC, Meister BK. 2002. Entropy and temperature of a quantum Carnot engine. Proc. R. Soc. Lond. A 458:1519–26 17. Kieu TD. 2004. The second law, Maxwell’s demon, and work derivable from quantum heat engines. Phys. Rev. Lett. 93:140403 18. Segal D, Nitzan A. 2006. Molecular heat pump. Phys. Rev. E 73:026109 19. Bushev P, Rotter D, Wilson A, Dubin F, Becher C, et al. 2006. Feedback cooling of a single trapped ion. Phys. Rev. Lett. 96:60010 20. Quan HT, Liu YX, Sun CP, Nori F. 2007. Quantum thermodynamic cycles and quantum heat engines. Phys. Rev. E 76:031105 21. Boukobza E, Tannor DJ. 2008. Thermodynamic analysis of quantum light purification. Phys. Rev. A 78:013825 22. Birjukov J, Jahnke T, Mahler G. 2008. Quantum thermodynamic processes: a control theory for machine cycles. Eur. Phys. J. B 64:105–18 390

Kosloff

·

Levy


PC65CH17-Kosloff

ARI

10 March 2014

16:38

23. Jahnke T, Birjukov J, Mahler G. 2008. On the nature of thermodynamic extremum principles: the case of maximum efficiency and maximum work. Ann. Phys. 17:88–100 24. Allahverdyan AE, Johal RS, Mahler G. 2008. Work extremum principle: structure and function of quantum heat engines. Phys. Rev. E 77:041118 25. Segal D. 2009. Vibrational relaxation in the Lubo oscillator: stochastic pumping of heat. J. Chem. Phys. 130:134510 26. Wang H, Liu S, He J. 2009. Thermal entanglement in two-atom cavity QED and the entangled quantum Otto engine. Phys. Rev. E 79:041113 27. Maruyama K, Nori F, Vedral V. 2009. Colloquium: the physics of Maxwell’s demon and information. Rev. Mod. Phys. 81:1–23 28. Gemmer J, Michel M, Mahler G. 2009. Quantum Thermodynamics. New York: Springer 29. Olshanii M. 2012. Geometry of quantum observables and thermodynamics of small systems. ArXiv:1208.0582 30. Anders J, Giovannetti V. 2013. Thermodynamics of discrete quantum processes. New J. Phys. 15:033022 31. Kosloff R. 2013. Quantum thermodynamics: a dynamical viewpoint. Entropy 15:2100–28 32. Mandal D, Quan HT, Jarzynski C. 2013. Maxwell’s refrigerator: an exactly solvable model. Phys. Rev. Lett. 111:030602 33. Allahverdyan AE, Hovhannisyan KV, Melkikh AV, Gevorkian SG. 2013. Carnot cycle at finite power: attainability of maximal efficiency. Phys. Rev. Lett. 111:050601 34. Boukobza E, Ritsch H. 2013. Breaking the Carnot limit without violating the second law: a thermodynamic analysis of off-resonant quantum light generation. Phys. Rev. A 87:063845 35. Levy A, Alicki R, Kosloff R. 2012. Quantum refrigerators and the third law of thermodynamics. Phys. Rev. E 85:061126 36. Linden N, Popescu S, Skrzypczyk P. 2010. How small can thermal machines be? Towards the smallest possible refrigerator. Phys. Rev. Lett. 105:130401 37. Correa LA, Palao JP, Adesso G, Alonso D. 2013. Performance bound for quantum absorption refrigerators. Phys. Rev. E 87:042131 38. Martinez EA, Paz JP. 2013. Dynamics and thermodynamics of linear quantum open systems. Phys. Rev. Lett. 110:130406 ¨ 39. Clausius R. 1850. Uber die bewegende Kraft der Wärme und die Gesetze, welche sich daraus fur ¨ die Wärmelehre selbst ableiten lassen. Ann. Phys. 79:68 40. Lindblad G. 1976. On the generators of quantum dynamical semigroups. Commun. Math. Phys. 48:119–30 41. Gorini V, Kossakowski A, Sudarshan E. 1976. Completely positive dynamical semigroups of N-level systems. J. Math. Phys. 17:821–25 42. Spohn H, Lebowitz J. 1979. Irreversible thermodynamics for quantum systems weakly coupled to thermal reservoirs. Adv. Chem. Phys. 38:109–42 43. Kosloff R, Ratner M. 1984. Beyond linear response: lineshapes for coupled spins or oscillators via direct calculation of dissipated power. J. Chem. Phys. 80:2352–62 44. Davis EB. 1974. Markovian master equations. Commun. Math. Phys. 39:91–110 45. Geva E, Kosloff R, Skinner J. 1995. On the relaxation of a two-level system driven by a strong electromagnetic field. J. Chem. Phys. 102:8541–61 46. Gorini V, Kossakowski A. 1976. N-level system in contact with a singular reservoir. J. Math. Phys. 17:1298–305 47. Lamb W. 1964. Theory of an optical maser. Phys. Rev. 134:1429–50 48. Louisell WH. 1990. Quantum Statistical Properties of Radiation. New York: Wiley 49. Digonnet MJF. 1990. Closed-form expressions for the gain in three- and four-level laser fibers. IEEE J. Quantum Electron. 26:1788–96 50. Scully MO, Zubairy MS, Agarwal GS, Walther H. 2003. Extracting work from a single heat bath via vanishing quantum coherence. Science 299:862–64 51. Scully MO. 2010. Quantum photocell: using quantum coherence to reduce radiative recombination and increase efficiency. Phys. Rev. Lett. 104:207701 52. Svidzinsky AA, Dorfman KE, Scully MO. 2011. Enhancing photovoltaic power by Fano-induced coherence. Phys. Rev. A 84:053818 www.annualreviews.org • Quantum Heat Engines

391

ARI

10 March 2014

16:38

53. Scully MO, Chapin KR, Dorfman KE, Kim MB, Svidzinsky A. 2011. Quantum heat engine power can be increased by noise-induced coherence. Proc. Natl. Acad. Sci. USA 108:15097–100 54. Harbola U, Rahav S, Mukamel S. 2012. Quantum heat engines: a thermodynamic analysis of power and efficiency. Eur. Phys. Lett. 99:50005 55. Rahav S, Harbola U, Mukamel S. 2012. Heat fluctuations and coherences in a quantum heat engines. Phys. Rev. A 86:043843 56. Goswami HP, Harbola U. 2013. Thermodynamics of quantum heat engines. Phys. Rev. A 88:013842 57. Szczygielski K, Gelbwaser-Klimovsky D, Alicki R. 2013. Markovian master equation and thermodynamics of a two-level system in a strong laser field. Phys. Rev. E 87:012120 58. Gelbwaser-Klimovsky D, Alicki R, Kurizki G. 2013. Minimal universal quantum heat machine. Phys. Rev. E 87:012140 59. Boukobza E, Tannor DJ. 2007. Three-level systems as amplifiers and attenuators: a thermodynamic analysis. Phys. Rev. Lett. 98:240601 60. Alicki R, Fannes M. 2013. Entanglement boost for extractable work from ensembles of quantum batteries. Phys. Rev. E 87:042123 61. Gelbwaser-Klimovsky D, Alicki R, Kurizki G. 2013. How much work can a quantum device extract from a heat engine? ArXiv:1302.3468 62. Nernst W. 1906. Ueber die Berechnung chemischer Gleichgewichte aus thermischen Messungen. Nachr. Königlichen Ges. Wiss. Göttingen 1:1–39 ¨ 63. Nernst W. 1906. Uber die Beziehung zwischen Wärmeentwicklung und maximaler Arbeit bei kondensierten Systemen. Ber. Kgl. Pr. Akad. Wiss. 52:933–40 64. Nernst W. 1918. Die Theoretischen und Experimentellen Grundlagen des Neuen Wärmesatzes. Halle: W. Knapp 65. Fowler RH, Guggenheim EA. 1939. Statistical Thermodynamics. Cambridge, UK: Cambridge Univ. Press 66. Landsberg PT. 1989. A comment on Nernst’s theorem. J. Phys. A 22:139–41 67. Belgiorno F. 2003. Notes on the third law of thermodynamics I. J. Phys. A 36:8165–93 68. Belgiorno F. 2003. Notes on the third law of thermodynamics II. J. Phys. A 36:8195–221 69. Levy A, Alicki R, Kosloff R. 2012. Comment on cooling by heating: refrigeration powered by photons. Phys. Rev. Lett. 109:248901 70. Geusic JE, Schulz-DuBois EO, De Grasse RW, Scovil HED. 1959. Three level spin refrigeration and maser action at 1500 mc/sec. J. App. Phys. 30:1113–14 71. Tsujikawa I, Murao T. 1962. Possibility of optical cooling of ruby. J. Phys. Soc. Jpn. 18:503–10 72. Dousmanis GC, Mueller CW, Nelson H, Petzinger KG. 1964. Evidence of refrigerating action by means of photon emission in semiconductor diodes. Phys. Rev. 133:A316–18 73. Kushida T, Geusic JE. 1968. Optical refrigeration in Nd-doped yittrium aluminum garnet. Phys. Rev. Lett. 20:1172–75 74. Wineland DJ, Dehmelt H. 1975. Proposed 1014 δν/ν laser fluorescence spectroscopy on Tl+ mono-ion oscillator III. Bull. Am. Phys. Soc. 20:637 75. Hänsch TW, Schawlow AL. 1975. Cooling of gases by laser radiation. Opt. Commun. 13:68–69 76. Lett PD, Watts RN, Westbrook CI, Phillips WD, Gould PL, Metcalf HJ. 1988. Observation of atoms laser cooled below the Doppler limit. Phys. Rev. Lett. 61:169–72 77. Shevy Y, Weiss DS, Ungar PJ, Chu S. 1989. Bimodal speed distributions in laser-cooled atoms. Phys. Rev. Lett. 62:1118–21 78. Dalibard J, Cohen-Tannoudji C. 1989. Laser cooling below the Doppler limit by polarization gradients: simple theoretical models. J. Opt. Soc. Am. B 79:2023–45 79. Steck DA. 2003. Sodium D line data. http://steck.us/alkalidata/sodiumnumbers.1.6.pdf 80. Gordon JM, Ng KC. 2000. Cool Thermodynamics. Cambridge, UK: Cambridge Int. Sci. 81. Einstein A, Szilárd L. 1930. Refrigeration. US Patent No. 1,781,541 82. Mari A, Eisert J. 2012. Cooling by heating: Very hot thermal light can significantly cool quantum systems. Phys. Rev. Lett. 108:120602 83. Cleuren B, Rutten B, Van den Broeck C. 2012. Cooling by heating: refrigeration powered by photons. Phys. Rev. Lett. 108:120603


PC65CH17-Kosloff

392

Kosloff

·

Levy


PC65CH17-Kosloff

ARI

10 March 2014

16:38

84. Venturelli D, Fazio R, Giovannetti V. 2013. Minimal self-contained quantum refrigeration machine based on four quantum dots. Phys. Rev. Lett. 110:256801 85. Pekola JP, Hekking FWJ. 2007. Normal-metal-superconductor tunnel junction as a Brownian refrigerator. Phys. Rev. Lett. 98:210604 86. Correa LA, Palao JP, Alonso D, Adesso G. 2013. Quantum-enhanced absorption refrigerators. ArXiv:1308.4174 87. Levy A, Kosloff R. 2012. Quantum absorption refrigerator. Phys. Rev. Lett. 108:070604 88. Skrzypczyk P, Brunner N, Linden N, Popescu S. 2011. The smallest refrigerators can reach maximal efficiency. J. Phys. A 44:492002 89. Brunner N, Linden N, Popescu S, Skrzypczyk P. 2012. Virtual qubits, virtual temperatures, and the foundations of thermodynamics. Phys. Rev. E 85:051117 90. Breuer HP, Petruccione F. 2002. Open Quantum Systems. New York: Oxford Univ. Press ´ 91. Luczka J, Niemeic M. 1991. A master equation for quantum systems driven by Poisson white noise. J. Phys. A 24:L1021–24 92. Alicki R, Lidar DA, Zanardi P. 2006. Internal consistency of fault-tolerant quantum error correction in light of rigorous derivations of the quantum Markovian limit. Phys. Rev. A 73:052311 93. Cohen-Tannoudji C, Dupont-Roc JA, Grynberg G. 1987. Atom-Photon Interaction. New York: Wiley 94. Kolárˇ M, Gelbwaser-Klimovsky D, Alicki R, Kurizki G. 2012. Quantum bath refrigeration towards absolute zero: unattainability principle challenged. Phys. Rev. Lett. 108:090601 95. Alhassid Y, Levine R. 1978. Connection between maximal entropy and the scattering theoretic analyses of collision processes. Phys. Rev. A 18:89–116 96. Kosloff R, Feldmann T. 2002. A discrete four stroke quantum heat engine exploring the origin of friction. Phys. Rev. E 65:055102 97. Feldmann T, Kosloff R. 2003. The quantum four stroke heat engine: thermodynamic observables in a model with intrinsic friction. Phys. Rev. E 68:016101 98. Rezek Y, Kosloff R. 2006. Irreversible performance of a quantum harmonic heat engine. New J. Phys. 8:83 99. Ashkenazi G, Kosloff R, Ratner MA. 1999. Photoexcited electron transfer: short-time dynamics and turnover control by dephasing, relaxation, and mixing. J. Am. Chem. Soc. 121:3386–95 100. Bartana A, Kosloff R, Tannor DJ. 1993. Laser cooling of molecular internal degrees of freedom by a series of shaped pulses. J. Chem. Phys. 99:196–210 101. Wu L, Segal D, Brumer P. 2013. No-go theorem for ground state cooling given initial system-thermal bath factorization. Sci. Rep. 3:1824 102. Skrzypczyk P, Short AJ, Popescu S. 2013. Extracting work from quantum systems. ArXiv:1302.2811 103. Hovhannisyan KV, Perarnau-Llobet M, Huber M, Ac´ın A. 2013. The role of entanglement in work extraction. ArXiv:1303.4686 104. Brunner N, Huber M, Linden N, Popescu S, Silva R, Skrzypczyk P. 2013. Entanglement enhances performance in microscopic quantum fridges. ArXiv:1305.6009 105. Geva E, Kosloff R. 1992. A quantum mechanical heat engine operating in finite time: a model consisting of spin-1/2 systems as the working fluid. J. Chem. Phys. 96:3054–67 106. Geva E, Kosloff R. 1992. On the classical limit of quantum thermodynamics in finite time. J. Chem. Phys. 97:4398–412 107. Feldmann T, Geva E, Kosloff R, Salamon P. 1996. Heat engines in finite time governed by master equations. Am. J. Phys. 64:485–92 108. He JZ, He X, Tang W. 2009. The performance characteristics of an irreversible quantum Otto harmonic refrigeration cycle. Sci. China G 52:1317–23 109. Wang H. 2013. Quantum-mechanical Brayton engine working with a particle in a one-dimensional harmonic trap. Phys. Scripta 87:055009 110. Wang R, Wang J, He J, Ma Y. 2013. Efficiency at maximum power of a heat engine working with a two-level atomic system. Phys. Rev. E 87:042119


393

PC65-FrontMatter

ARI

17 February 2014

14:33

Contents

Annual Review of Physical Chemistry Volume 65, 2014


A Journey Through Chemical Dynamics William H. Miller p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p 1 Chemistry of Atmospheric Nucleation: On the Recent Advances on Precursor Characterization and Atmospheric Cluster Composition in Connection with Atmospheric New Particle Formation M. Kulmala, T. Petäjä, M. Ehn, J. Thornton, M. Sipilä, D.R. Worsnop, and V.-M. Kerminen p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p21 Multidimensional Time-Resolved Spectroscopy of Vibrational Coherence in Biopolyenes Tiago Buckup and Marcus Motzkus p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p39 Phase Separation in Bulk Heterojunctions of Semiconducting Polymers and Fullerenes for Photovoltaics Neil D. Treat and Michael L. Chabinyc p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p59 Nitrogen-Vacancy Centers in Diamond: Nanoscale Sensors for Physics and Biology Romana Schirhagl, Kevin Chang, Michael Loretz, and Christian L. Degen p p p p p p p p p p p p p83 Superresolution Localization Methods Alexander R. Small and Raghuveer Parthasarathy p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p 107 The Structure and Dynamics of Molecular Excitons Christopher J. Bardeen p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p 127 Advanced Potential Energy Surfaces for Condensed Phase Simulation Omar Demerdash, Eng-Hui Yap, and Teresa Head-Gordon p p p p p p p p p p p p p p p p p p p p p p p p p p p p 149 Ion Mobility Analysis of Molecular Dynamics Thomas Wyttenbach, Nicholas A. Pierson, David E. Clemmer, and Michael T. Bowers p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p 175 State-to-State Spectroscopy and Dynamics of Ions and Neutrals by Photoionization and Photoelectron Methods Cheuk-Yiu Ng p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p 197 Imaging Fluorescence Fluctuation Spectroscopy: New Tools for Quantitative Bioimaging Nirmalya Bag and Thorsten Wohland p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p 225 v

PC65-FrontMatter

ARI

17 February 2014

14:33

Elucidation of Intermediates and Mechanisms in Heterogeneous Catalysis Using Infrared Spectroscopy Aditya Savara and Eric Weitz p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p 249 Physicochemical Mechanism of Light-Driven DNA Repair by (6-4) Photolyases Shirin Faraji and Andreas Dreuw p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p 275 Advances in the Determination of Nucleic Acid Conformational Ensembles Lo¨ıc Salmon, Shan Yang, and Hashim M. Al-Hashimi p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p 293 Annu. Rev. Phys. Chem. 2014.65:365-393. Downloaded from www.annualreviews.org by WIB6074 - Universitat Kaiserslautern on 05/14/14. For personal use only.

The Role of Ligands in Determining the Exciton Relaxation Dynamics in Semiconductor Quantum Dots Mark D. Peterson, Laura C. Cass, Rachel D. Harris, Kedy Edme, Kimberly Sung, and Emily A. Weiss p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p 317 Laboratory-Frame Photoelectron Angular Distributions in Anion Photodetachment: Insight into Electronic Structure and Intermolecular Interactions Andrei Sanov p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p 341 Quantum Heat Engines and Refrigerators: Continuous Devices Ronnie Kosloff and Amikam Levy p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p 365 Approaches to Single-Nanoparticle Catalysis Justin B. Sambur and Peng Chen p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p 395 Ultrafast Carrier Dynamics in Nanostructures for Solar Fuels Jason B. Baxter, Christiaan Richter, and Charles A. Schmuttenmaer p p p p p p p p p p p p p p p p p p 423 Nucleation in Polymers and Soft Matter Xiaofei Xu, Christina L. Ting, Isamu Kusaka, and Zhen-Gang Wang p p p p p p p p p p p p p p p p 449 H- and J-Aggregate Behavior in Polymeric Semiconductors Frank C. Spano and Carlos Silva p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p 477 Cold State-Selected Molecular Collisions and Reactions Benjamin K. Stuhl, Matthew T. Hummon, and Jun Ye p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p 501 Band Excitation in Scanning Probe Microscopy: Recognition and Functional Imaging S. Jesse, R.K. Vasudevan, L. Collins, E. Strelcov, M.B. Okatan, A. Belianinov, A.P. Baddorf, R. Proksch, and S.V. Kalinin p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p 519 Dynamical Outcomes of Quenching: Reflections on a Conical Intersection Julia H. Lehman and Marsha I. Lester p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p 537 Bimolecular Recombination in Organic Photovoltaics Girish Lakhwani, Akshay Rao, and Richard H. Friend p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p 557 vi

Contents

PC65-FrontMatter

ARI

17 February 2014

14:33

Mapping Atomic Motions with Ultrabright Electrons: The Chemists’ Gedanken Experiment Enters the Lab Frame R.J. Dwayne Miller p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p 583 Optical Spectroscopy Using Gas-Phase Femtosecond Laser Filamentation Johanan Odhner and Robert Levis p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p 605 Indexes


Cumulative Index of Contributing Authors, Volumes 61–65 p p p p p p p p p p p p p p p p p p p p p p p p p p p 629 Cumulative Index of Article Titles, Volumes 61–65 p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p 632 Errata An online log of corrections to Annual Review of Physical Chemistry articles may be found at http://www.annualreviews.org/errata/physchem

Contents

vii

Annual Reviews It’s about time. Your time. It’s time well spent.

New From Annual Reviews:

Annual Review of Statistics and Its Application Volume 1 • Online January 2014 • http://statistics.annualreviews.org


Editor: Stephen E. Fienberg, Carnegie Mellon University

Associate Editors: Nancy Reid, University of Toronto Stephen M. Stigler, University of Chicago The Annual Review of Statistics and Its Application aims to inform statisticians and quantitative methodologists, as well as all scientists and users of statistics about major methodological advances and the computational tools that allow for their implementation. It will include developments in the field of statistics, including theoretical statistical underpinnings of new methodology, as well as developments in specific application domains such as biostatistics and bioinformatics, economics, machine learning, psychology, sociology, and aspects of the physical sciences.

Complimentary online access to the first volume will be available until January 2015. table of contents:

• What Is Statistics? Stephen E. Fienberg • A Systematic Statistical Approach to Evaluating Evidence from Observational Studies, David Madigan, Paul E. Stang, Jesse A. Berlin, Martijn Schuemie, J. Marc Overhage, Marc A. Suchard, Bill Dumouchel, Abraham G. Hartzema, Patrick B. Ryan

• High-Dimensional Statistics with a View Toward Applications in Biology, Peter Bühlmann, Markus Kalisch, Lukas Meier • Next-Generation Statistical Genetics: Modeling, Penalization, and Optimization in High-Dimensional Data, Kenneth Lange, Jeanette C. Papp, Janet S. Sinsheimer, Eric M. Sobel

• The Role of Statistics in the Discovery of a Higgs Boson, David A. van Dyk

• Breaking Bad: Two Decades of Life-Course Data Analysis in Criminology, Developmental Psychology, and Beyond, Elena A. Erosheva, Ross L. Matsueda, Donatello Telesca

• Brain Imaging Analysis, F. DuBois Bowman

• Event History Analysis, Niels Keiding

• Statistics and Climate, Peter Guttorp

• Statistical Evaluation of Forensic DNA Profile Evidence, Christopher D. Steele, David J. Balding

• Climate Simulators and Climate Projections, Jonathan Rougier, Michael Goldstein • Probabilistic Forecasting, Tilmann Gneiting, Matthias Katzfuss • Bayesian Computational Tools, Christian P. Robert • Bayesian Computation Via Markov Chain Monte Carlo, Radu V. Craiu, Jeffrey S. Rosenthal • Build, Compute, Critique, Repeat: Data Analysis with Latent Variable Models, David M. Blei • Structured Regularizers for High-Dimensional Problems: Statistical and Computational Issues, Martin J. Wainwright

• Using League Table Rankings in Public Policy Formation: Statistical Issues, Harvey Goldstein • Statistical Ecology, Ruth King • Estimating the Number of Species in Microbial Diversity Studies, John Bunge, Amy Willis, Fiona Walsh • Dynamic Treatment Regimes, Bibhas Chakraborty, Susan A. Murphy • Statistics and Related Topics in Single-Molecule Biophysics, Hong Qian, S.C. Kou • Statistics and Quantitative Risk Management for Banking and Insurance, Paul Embrechts, Marius Hofert

Access this and all other Annual Reviews journals via your institution at www.annualreviews.org.

Annual Reviews | Connect With Our Experts Tel: 800.523.8635 (us/can) | Tel: 650.493.4400 | Fax: 650.424.0910 | Email: [email protected]

Heat-machine control by quantum-state preparation: from quantum engines to refrigerators.

Performance of quantum Otto refrigerators with squeezing.

Entanglement enhances cooling in microscopic quantum refrigerators.

Preventing hyperthermia: a cross-over study comparing two negative pressure devices during continuous passive heat stress.

Superradiant Quantum Heat Engine.

Razors and refrigerators and reindeer--oh my!

Work output and efficiency at maximum power of linear irreversible heat engines operating with a finite-sized heat source.

The equivalence of minimum entropy production and maximum thermal efficiency in endoreversible heat engines.

Magnetically driven quantum heat engine.

Multistage quantum absorption heat pumps.

Strongly Coupled Quantum Heat Machines.

Current Distributions in Quantum Hall Effect Devices.

Continuous flow nitration in miniaturized devices.

Ginseng and Jet Engines.

When are solar refrigerators less costly than on-grid refrigerators: A simulation modeling study.

Short-term continuous-flow ventricular assist devices.

Power enhancement of heat engines via correlated thermalization in a three-level "working fluid".

Quantum heat fluctuations of single-particle sources.

Quantum-limited heat conduction over macroscopic distances.

Quantum correlated heat engine with spin squeezing.

Start Your Engines.

Intrinsic Capacitances and Inductances of Quantum Hall Effect Devices.

Rapid and continuous magnetic separation in droplet microfluidic devices.

Heat treatment modelling using strongly continuous semigroups.