arXiv:1310.0683v1 [quant-ph] 2 Oct 2013 · The quantum power driven refrigerator 28 ... mind:...
Transcript of arXiv:1310.0683v1 [quant-ph] 2 Oct 2013 · The quantum power driven refrigerator 28 ... mind:...
arX
iv:1
310.
0683
v1 [
quan
t-ph
] 2
Oct
201
3
Quantum heat engines and refrigerators: Continuous devices
Ronnie Kosloff, Amikam Levy
Institute of Chemistry, the Hebrew University, Jerusalem 91904, Israel
Quantum thermodynamics supplies a consistent description of quantum heat en-
gines and refrigerators up to the level of a single few level system coupled to the
environment. Once the environment is split into three; a hot, cold and work reser-
voirs a heat engine can operate. The device converts the positive gain into power;
where the gain is obtained from population inversion between the components of
the device. Reversing the operation transforms the device into a quantum refrigera-
tor. 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 principle. Only a global
description of the coupling of the device to the reservoirs is consistent with the first
and second laws of thermodynamics. Optimisation of the devices leads to a balanced
set of parameters where the couplings to the three reservoirs are of the same order
and the external driving field is in resonance. When analysing refrigerators special
attention is devoted to a dynamical version of the third law of thermodynamics.
Bounds on the rate of cooling when Tc → 0 are obtained by optimising the cooling
current. All refrigerators as Tc → 0 show universal behavior. The dynamical version
of the third law imposes restrictions on the scaling as Tc → 0 of the relaxation rate
γc and heat capacity cV of the cold bath.
Quantum heat engines and refrigerators 2
Contents
I. Introduction 3
II. The continuous engine 4
A. The quantum 3 level system as a heat engine 5
B. The quantum tricycle 6
C. The quantum amplifier 10
1. Solving the equations of motion for the engine 13
2. Optimizing the amplifier’s performance 17
D. Dynamical model of a 3-level engine 18
1. The Generalized Lamb Equations in the P Representation 21
E. The four-level engine and two-level engine 23
F. Power storage 25
III. Continuous refrigerators 26
A. The third law of thermodynamics 26
B. The quantum power driven refrigerator 28
C. Dynamical refrigerator models 29
D. The quantum absorption refrigerator 30
1. The 3-level absorption refrigerator 31
2. Tricycle absorption refrigerator 31
3. Noise driven refrigerator 33
E. Refrigerators operating close to the limit Tc → 0 and the third-law of
thermodynamics 37
IV. Summary 39
References 43
Quantum heat engines and refrigerators 3
I. INTRODUCTION
Our cars, refrigerators, air-conditioners, lasers and power plants are all examples of heat
engines. The trend toward miniaturisation 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 optimised for powers scarifying efficiency. This trade-off between efficiency and
power is the focus of ”finite time thermodynamics”. The field was initiated by the seminal
paper of Curzon and Ahlboron [2]. From everyday experience the irreversible phenomena
that limits 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? To
address these issues the tradition of thermodynamics is followed by the study of hypothetical
quantum heat engines and refrigerators. Once understood, these models serve as a template
for real devices.
Gedanken heat engines are an integral part of thermodynamical theory. Carnot in 1824
set the stage by analysing an ideal engine [1]. Carnot’s analysis preceded the systematic
formulation that led to the first and second laws of thermodynamics [4]. Amazingly, ther-
modynamics was able to keep its independent status despite the development of parallel
theories dealing with the same subject matter. Quantum mechanics overlaps thermody-
namics in that it describes the state of matter. However, in addition, quantum mechanics
include 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 black body radiation, Einstein
in (1905) quantized the electromagnetic field [5]. This paper of Einstein 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–35]. The following questions come to
mind:
Quantum heat engines and refrigerators 4
• How do the laws of thermodynamics emerge from quantum mechanics?
• What are the requirements of a theory to describe quantum mechanics and thermo-
dynamics on a common ground?
• What are the fundamental reasons for tradeoff 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?
These issues are addressed by analyzing quantum models of heat engines and refrigerators.
Extreme care has been taken to choose a model which can be analyzed from first principles.
Two types of models are considered, continuos operating models resembling turbines and
discrete four stroke reciprocating engines. The present review will focus on continuous
devices.
II. THE CONTINUOUS ENGINE
An engine is a device that converts one form of energy to another: heat to work. In this
conversion, part of 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 heat engine employs the natural current from a hot to a cold bath to generate power.
The Carnot engine is a model of such a device. Carnot was able to incorporate the practical
knowledge on steam engines of his era into a universal scientific statement on maximum
efficiency [1]. Out of this insight the laws of thermodynamics were later formulated. This
theme of learning from an example is typical in thermodynamics and will be employed to
obtain insight from analysis of quantum devices.
A continuous engine operates in an autonomous fashion attaining steady state mode of
operation. The analysis therefore requires an evaluation of steady sate 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 the laser. These devices share a universal aspect exemplified by the
equivalence of the 3-level laser with the Carnot engine.
Quantum heat engines and refrigerators 5
Reversing the operation of a heat engine generates a heat pump or a refrigerator. We will
review the basic principles of quantum continuous engines and then invert their operation
and study quantum refrigerators.
A. The quantum 3 level system as a heat engine
A contemporary example of a Carnot engine is the 3-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. Fig 1 shows its schematic construction. A hot
reservoir characterised by temperature Th induces transitions between the ground state ǫ0
and the excited state ǫ2. When equilibrium is reached, the population ratio between these
levels becomesp2p0
= e− hωh
kBTh
where ωh ≡ ω20 = (ǫ2 − ǫ0)/h is the Bohr frequency and kB is the Boltzmann constant. The
cold reservoir at temperature Tc couples level ǫ0 and level ǫ1 meaning that:
p1p0
= e− hωc
kBTc ,
where ωc ≡ ω10 = (ǫ1− ǫ0)/h. The amplifier operates by coupling the energy levels ǫ3 and ǫ2
to the radiation field generating an output frequency which on resonance is ν = (ǫ3 − ǫ2)/h.
The necessary condition for amplification is positive gain or population inversion defined by:
G = p2 − p1 ≥ 0 . (1)
From this condition, by dividing by p0 we obtain e− hωh
kBTh − e− hωc
kBTc ≥ 0, which leads to:
ωc
ωh≡ ω10
ω20≥ Tc
Th, (2)
The efficiency of the amplifier is defined by the ratio of the output energy hν to the energy
extracted from the hot reservoir hω20:
ηo =ν
ω20= 1− ωc
ωh. (3)
Eq. (3) is termed the quantum Otto efficiency [23]. Inserting the positive gain condition
Eq. (1) and Eq. (2) the efficiency is limited by Carnot [1]:
ηo ≤ ηc ≡ 1− Tc
Th. (4)
Quantum heat engines and refrigerators 6
(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((
((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((
((((((((((((((((((((((((((((((((((((
Th
((((((((((((((((((((((((((((((((((((
Tc
ε2
ε1
ε0
Pν
ω10
ω20κ↑
κ↓ κ↓
κ↑
FIG. 1: The quantum 3-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 h = 1). Power is generated provided there is population
inversion between level ǫ2 and ǫ1: p2 > p1. The hot bath equilibrates levels ǫ0 and ǫ2 via the
rates k ↑ and k ↓ such that k ↑ /k ↓= exp(hω20/kBTh). The efficiency η = ν/ω20 ≤ 1 − Tc/Th.
Reversing the direction of operation using power to drive population from level ǫ1 to ǫ2 generates
a heat pump then p2 < p1.
This result connecting the efficiency of a quantum amplifier to the Carnot efficiency was
first obtained by Scuville et al. [6, 7].
The above description of the 3-level amplifier is based on a static quasi-equilibrium view-
point. Real engines which produce power operate far from equilibrium conditions. Typically,
their performance is restricted by friction, heat transport and heat leaks. A dynamical view-
point is therefore the next required step.
B. The quantum tricycle
A quantum description enables to incorporate dynamics into thermodynamics. The tri-
cycle model is the template for almost all continuous engines Cf. Fig. 2. This model will
be employed to incorporate the quantum dynamics of the devices. Surprisingly very sim-
ple 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 the
preformance meaning that reversible operation is unattainable.
Quantum heat engines and refrigerators 7
(((((((((((((((((((((((((((((((((((((((((((((((((
(((((((((((((((((((((((((((((((((((
(((((((((((((((((((((((((((((((((((((((((((((((((
((((((((((((((((((((((((((((((((((((((((((
(((((((((((((((((((((((((((((((((((((((((((((((((
(((((((((((((((((((((((((((((((((((
Tc
Th
Tw
Hs
P
J c
J h
J c+J h+P =0
J c J h J w
Tc Th Tw− − − ≥0
J w
FIG. 2: The quantum tricycle: A quantum device coupled simultaneously to a hot, cold and power
reservoir. Reversing the heat currents constructs a quantum refrigerator.
The tricycle engine has a generic structure displayed in Fig. 2.
• The basic model consists of three thermal baths: a hot bath with temperature Th, a
cold bath with temperature Tc and a work bath with temperature Tw.
• Each bath is connected to the engine via a frequency filter which we will model by
three oscillators:
HF = hωha†a+ hωcb
†b+ hωwc
†c , (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 gen-
erating excitations on the cold and work reservoirs. In second quantization formalism
the Hamiltonian describing such an interaction becomes:
HI = hǫ(
ab†c† + a†bc
)
, (6)
where ǫ is the coupling strength.
• The device operates as a refrigerator by removing an excitation from the cold bath as
well as from the work bath and generating an excitation in the hot bath. The term
a†bc in the Hamiltonian of Eq. (6) describes this action. (Cf. Section III).
Some comments are appropriate:
Quantum heat engines and refrigerators 8
1. Different types of heat baths can be employed which can include bosonic baths com-
posed of phonons or photons, or fermonic baths composed of electrons. The frequency
filters select from the continuous spectrum of the bath the working component to
be employed in the tricycle. These frequency filters can be constructed also from
two-level-systems (TLS) or formulated as qubits [36–38].
2. The interaction term Eq. (6), is strictly non-linear, incorporating three heat currents
simultaneously. This crucial fact has important consequences. A linear device cannot
operate as a heat engine or refrigerator [39]. A linear device is constructed from a
network of harmonic oscillators with linear connections of the type hµij
(
aia†j + a
†i aj
)
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 since 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.
3. Many nonlinear interaction Hamiltonians of the type HI = A⊗ B⊗ C can lead to a
working heat engine. These Hamiltonians can be reduced to the form of Eq. (6) which
captures the essence of such interactions.
The first-law of thermodynamics represents the energy balance of heat currents originat-
ing from the three baths and collimating on the system:
dEs
dt= Jh + Jc + Jw . (7)
At steady state no heat is accumulated in the tricycle, thus dEs
dt= 0. In addition, in steady
state the entropy is only generated in the baths, leading to the second-law of thermodynam-
ics:d
dt∆Su = − Jh
Th− Jc
Tc− Jw
Tw≥ 0 . (8)
This version of the second-law is a generalisation of the statement of Clausius; heat does
not flow spontaneously from cold to hot bodies [40]. When the temperature Tw → ∞, 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.
Quantum heat engines and refrigerators 9
The evaluation of the currents Jj in the tricycle model requires dynamical equations
of motion. The major assumption is that the total systems is closed and its dynamics is
generated by the global Hamiltonians.
H = H0 + HSB . (9)
This Hamiltonian H0 includes the bare system and the heat baths:
H0 = Hs + HH + HC + HW , (10)
where the system Hamiltonian Hs = HI + Hh + Hc + Hw consists of three energy filtering
components and an interaction part with an external field. The reservoir Hamiltonians are
the hot HH , cold HC and work HW . The system-bath interaction Hamiltonian: HSB =
HsH + HsC + HsW .
A thermodynamical idealisation assumes that the tricycle system and the baths are un-
correlated, meaning that the total state of the combined system becomes a tensor product
at all times [32]:
ρ = ρs ⊗ ρH ⊗ ρC ⊗ ρW . (11)
Under these conditions the dynamical equations of motion for the tricycle become:
d
dtρs = Lρs , (12)
where L is the Liouville superoperaor described in terms of the system Hilbert space, where
the reservoirs are described implicitly. Within the formalism of quantum open system, L can
take the form of the Gorini-Kossakowski-Sudarshan-Lindblad (GKS-L) Markovian generator
[41, 42].
Thermodynamics is notorious in employing a very small number of variables. In equi-
librium conditions the knowledge of the Hamiltonian is sufficient. When deviating from
equilibrium additional observables are added. This suggest presenting the dynamical gener-
ator in Heisenberg form for arbitrary system operators Os:
d
dtOs = L∗Os =
i
h[Hs, Os] +
∑
k
VkOsV†k −
1
2VkV
†k, Os . (13)
The operators Vk are system operators still to be determined. The task of evaluating the
modified system Hamiltonian Hs and the operators Vk is made extremely difficult due to the
nonlinear interaction in Eq. (6). Any progress from this point requires a specific description
of the heat baths and approximations to deal with the nonlinear terms.
Quantum heat engines and refrigerators 10
C. The quantum amplifier
The quantum amplifier is the most elementary quantum continuous heat engine convert-
ing heat to work. The 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:
Hs(t) = H0 + V(t) . (14)
The Markovian master equation in Heisenberg form for the system operator Os when the
system coupled to the hot and cold bath:
d
dtOs =
i
h[H(t), Os(t)] + L∗
h(Os(t)) + L∗c(Os(t)) . (15)
The change in energy of the device is obtained by replacing Os by Hs:
dEs
dt= 〈L∗
h(Hs)〉+ 〈L∗c(Hs)〉+ 〈∂Hs
∂t〉 . (16)
Equation (16) can be interpreted as the time derivative of the first law of thermodynamics
[8, 32, 43, 44] based on the Markovian GKS-L generator. Power is identified as:
P = 〈∂Hs
∂t〉 , (17)
and the heat current as:
Jh = 〈L∗h(Hs)〉 , Jc = 〈L∗
c(Hs)〉 . (18)
The partition between the Hamiltonian and the dissipative part in the GKS-L generator is
not unique [32]. A unique derivation of the Master equation based on the weak coupling
limit leads to dynamics which is consistent with the first and second laws of thermodynamics
[45].
The template of the tricycle model is employed to describe the dynamics of the amplifier.
The interaction Hamiltonian is modified to become:
HI(t) = hǫ(
a b†e+iνt + a†b e−iνt
)
, (19)
Quantum heat engines and refrigerators 11
where ν ≡ ωw is the frequency of the time dependent driving field and ǫ is the coupling
amplitude. The modification of Eq. (6) eliminates the nonlinearity, it amounts to replacing
the operator c and c† by a c-number. The amplifier output power becomes:
P = hǫν(
〈ab†〉e+iνt − 〈a†b〉e−iνt)
. (20)
After the nonlinearity has been eliminated the quantum Master equation for the amplifier
can be derived from first principles based on the weak system bath coupling expansion. This
approximation is a thermodynamic idealisation equivalent to an isothermal partition between
the system and baths [32].
The interaction with the baths is given by
Hsb = λa(a+ a†)⊗ Rh + λb(b+ b†)⊗ Rc. (21)
where R are reservoir operators and λ is the small system-bath coupling parameter. A
crucial 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, 38, 46].
The main ingredients of the derivation:
I) Transformation to interaction picture. The reservoir coupling operators R transform
according to the free baths Hamiltonian, and the system operators are subject to the unitary
propagator which under resonance conditions becomes:
Us(t, 0) = T exp
− i
h
∫ t
0H(s)ds
= e−ihH0te−
ihVt, (22)
where
H0 = hωha†a+ hωcb
†b , V = hǫ(a†b+ ab
†) . (23)
II) Fourier decomposition of the interaction part. The operators in the interaction picture
take the form
a(t) = Us(t, 0)†aUs(t, 0) =
eihVt[
eihH0tae−
ihH0t]
e−ihVt = cos(ǫt)e−iωhta− i sin(ǫt)e−iωhtb,
(24)
Quantum heat engines and refrigerators 12
and a similar equation for b(t). The Fourier decomposition becomes:
a(t) =1√2(e−i(ω+
h)td+ + e−i(ω−
h)td−) (25)
and
b(t) =1√2(e−i(ω+
c )td+ − e−i(ω−c )td−) (26)
where d+ = a+b√2, d− = a−b√
2and ω±
h(c) = (ωh(c) ± ǫ). Similarly a†(t), b†(t) are evaluated.
III) Performing the system-bath weak coupling approximation. This approximation in-
volves averaging over fast oscillating terms with typical frequencies ∼ 2ωc, 2ωh, 2ǫ. This
approximation is restricted to conditions that the relaxation time of the open system is
much longer than the intrinsic time scale ω−1c , ω−1
h and ǫ−1. Thus, terms oscillating rapidly
over the relaxation time average out. Such equations were derived in Ref.[36]. If the cou-
pling to the external field is weak, such that ωh, ωc ≫ ǫ and the relaxation time of the open
system is comparable with ǫ−1, the derivation is modified accordingly. In this case there is
no justification to neglect terms oscillating with frequency ∼ ǫ. Keeping such terms, the
total time-dependent (interaction picture) generator has the form:
L(t) = L(+)h + L(−)
h + L(+)c + L(−)
c , (27)
where
L(+)h ρ = 1
4γ(+)h
(
[d+, ρd†+] + [d−, ρd
†+]e
i2ǫt + e−βhω+h
(
[d†+, ρd+] + [d†
−, ρd+]e−i2ǫt
)
+ h.c)
L(+)c ρ = 1
4γ(+)c
(
[d+, ρd†+]− [d−, ρd
†+]e
i2ǫt + e−βcω+c
(
[d†+, ρd+]− [d†
−, ρd+]e−i2ǫt
)
+ h.c)
L(−)h ρ = 1
4γ(−)h
(
[d−, ρd†−] + [d+, ρd
†−]e
−i2ǫt + e−βhω−
h
(
[d†−, ρd−] + [d†
+, ρd−]ei2ǫt)
+ h.c)
L(−)c ρ = 1
4γ(−)c
(
[d−, ρd†−]− [d+, ρd
†−]e
−i2ǫt + e−βcω−c
(
[d†−, ρd−]− [d†
+, ρd−]ei2ǫt)
+ h.c)
(28)
and the inverse temperature is β = h/kBT . The relaxation rates γ(±)h(c) = γh(c)(ωh(c)±ǫ), have
the structure:
γ(ω) = λ2∫ ∞
−∞eiωtTr(ρRe
ihHRtRe−
ihHRtR)dt (29)
and can be calculated explicitly for different types of heat baths.
Note that if we neglect the time dependent terms in Eq. (28) the master equation derived
in Ref. [36] is recovered. The generators in Eq.(28) are not in GKS-L completely positive
Quantum heat engines and refrigerators 13
semigroup form. To correct this flaw, off-diagonal terms are added to the master equation
recovering the first standard form, i.e. LDρ =∑
i,j Ci,j
(
FiρF†j − 1
2F†
jFi, ρ)
. Next, we
insure that these terms will not contribute twice by rescaling the kinetic coefficients. In
order to verify that the map is completely positive, it is sufficient that the matrix (Ci,j) is
positive definite. The modified GKS-L master equations now become:
L(±)h ρ = 1
2γ(±)h
(
d±ρd†± − 1
2d†
±d±, ρ+ e−βhω±
h
(
d†±ρd± − 1
2d±d
†±, ρ
))
+ 14γ(±)h
(
d−ρd†+ − 1
2d†
+d−, ρ+ e−βhω±
h
(
d†+ρd− − 1
2d−d
†+, ρ
))
ei2ǫt
+ 14γ(±)h
(
d+ρd†− − 1
2d†
−d+, ρ+ e−βhω±
h
(
d†−ρd+ − 1
2d+d
†−, ρ
))
e−i2ǫt
L(±)c ρ = 1
2γ(±)c
(
d±ρd†± − 1
2d†
±d±, ρ+ e−βcω±c
(
d†±ρd± − 1
2d±d
†±, ρ
))
− 14γ(±)c
(
d−ρd†+ − 1
2d†
+d−, ρ+ e−βcω±c
(
d†+ρd− − 1
2d−d
†+, ρ
))
ei2ǫt
− 14γ(±)c
(
d+ρd†− − 1
2d†
−d+, ρ+ e−βcω±c
(
d†−ρd+ − 1
2d+d
†−, ρ
))
e−i2ǫt
(30)
Note that the rotating term e−i2ǫt can be absorbed in d by a second rotation of the frame.
The derivation of the Master equation, Eq. (30), for a driven system is a delicate task. The
pre-diagonalization step ensures consistency with the second-law [9, 46, 47].
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 the Hamiltonian is transformed to the interaction frame:
HI(t) = U†s(t, 0)H(t)Us(t, 0) = h
ωh + ωc
2W + h
ωh − ωc
2X+ hǫZ (31)
where the operators are closed to commutation relations, forming the SU(2) Lie algebra:
W = (d†+d+ + d
†−d−) , X = (d†
+d−ei2ǫt + d
†−d+e
−i2ǫt),
Y = i(d†+d−e
i2ǫt − d†−d+e
−i2ǫt) , Z = (d†+d+ − d
†−d−).
The dynamical description of the engine is completely determined by the expectation values
Quantum heat engines and refrigerators 14
of the operators constituting the SU(2) algebra. The equation of motion for these operators
which are closed to this set follow Eq. (30) in Heinsenberg form:
dWdt
= −14ΓTW − 1
4(Γ+ − Γ−)Z− 1
4(Γh − Γc)X+ 1
2(Γ+
hN+h + Γ−
hN−h + Γ+
c N+c + Γ−
c N−c )
dXdt
= −14ΓT X− 1
4(Γh − Γc)W + 1
2(Γ+
hN+h + Γ−
hN−h − Γ+
c N+c − Γ−
c N−c ) + 2ǫY
dYdt
= −14ΓT Y − 2ǫX
dZdt
= −14ΓT Z− 1
4(Γ+ − Γ−)W + 1
2(Γ+
hN+h − Γ−
hN−h + Γ+
c N+c − Γ−
c N−c ) ,
(32)
where the equilibrium populations of the dressed filter operators and heat transport coeffi-
cients become:
N±h(c) =
1
exp
(
hω±
h(c)kBTh(c)
)
−1
, Γ±h(c) = γ±
h(c)(1− exp(
− hω±
h(c)
kBTh(c)
)
)(33)
with ω±h(c) = ωh(c) ± ǫ and
ΓT = Γ+h + Γ−
h + Γ+c + Γ−
c , Γ± = Γ±h + Γ±
c , Γh(c) = Γ+h(c) + Γ−
h(c). (34)
A simplifying limit is obtained when the relaxation rate of the upper and lower manifold are
approximately equal: Γ+h = Γ−
h ≡ κh and Γ+c = Γ−
c ≡ κc. For a typical harmonic bath where
Γ(ω) ∼ ωd, and d stands for the bath dimension, this is a good approximation (ωh, ωc ≫ ǫ).
The equations of motion for the amplifier relax to a steady state operational mode. The
expectation values for the operators in steady state dXdt
= dYdt
= dZdt
= dWdt
= 0 become:
⟨
X⟩
=κhκc(N
+h+N−
h−N+
c −N−c )
2(4ǫ2+κhκc)
⟨
Y⟩
= −2ǫ(N+h+N−
h−N+
c −N−c )
4ǫ2+κhκc
(
κhκc
κh+κc
)
⟨
Z⟩
=(N+
h−N−
h)κh+(N+
c −N−c )κc
κh+κc
⟨
W⟩
=(N+
h+N−
h+N+
c +N−c )κhκc
2(4ǫ2+κhκc)+
4λ2((N+h+N−
h)κh+(N+
c +N−c )κc)
(4ǫ2+κhκc)(κh+κc).
(35)
The commutator [Y, HI ] 6= 0 therefore Y is related to the non diagonal elements of the
Hamiltonian which define the coherence between energy levels.
Quantum heat engines and refrigerators 15
The solution of the equation of motion lead to the thermodynamical observables at steady
state conditions, the power and heat flows become:
P = hǫν⟨
Y⟩
= −2h(ωh−ωc)ǫ2G1
4ǫ2+κhκc
(
κhκc
κh+κc
)
Jh = L†h(HI) =
(
hǫG2
2+ 2hωhǫ
2G1
4ǫ2+κhκc
) (
κhκc
κh+κc
)
Jc = L†c(HI) = −
(
hǫG2
2+ 2hωcǫ2G1
4ǫ2+κhκc
) (
κhκc
κh+κc
)
(36)
where the generalised gain becomes:
G1 = (N+h +N−
h )− (N+c +N−
c )
G2 = (N+h −N−
h )− (N+c −N−
c )(37)
The first law of thermodynamics is satisfied such that Jh + Jc + P = 0 as well as the
second law: −Jh
Th− Jc
Tc≥ 0. The power P is proportional to the expectation value of the
coherence⟨
Y⟩
. As a consequence additional pure dephasing originating from external noise
will degrade the power. Such noise generated by a Gaussian random process is described by
the generator LD = −γ2[HI , [HI , •]] [48].In the regime where the external driving amplitude is larger than the heat conductivity
ǫ2 ≫ κhκc, Eq.(36) converges to the results of Ref. [36].
P = hǫν⟨
Y⟩
= −12hνG1
(
κhκc
κh+κc
)
Jh = L†h(HI) =
12h (ǫG2 + ωhG1)
(
κhκc
κh+κc
)
Jc = L†c(HI) = −1
2h (ǫG2 + ωcG1)
(
κhκc
κh+κc
)
(38)
Returning to Eq. (36), optimal power is obtained when the heat conductances from the
hot and cold bath are balanced: Γ ≡ κc = κh, then the power and the heat flows from the
reservoirs become:
P = hǫν⟨
Y⟩
= − hνǫ2ΓG1
4ǫ2+Γ2
Jh = L†h(HI) =
hǫΓG2
4+ hωhǫ
2ΓG1
4ǫ2+Γ2
Jc = L†c(HI) = − hǫΓG2
4− hωcǫ2ΓG1
4ǫ2+Γ2
(39)
Quantum heat engines and refrigerators 16
FIG. 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ǫ.
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 η = − PJh. For the present model it becomes:
η =ν
ωh +(Γ2+ǫ2)G2
4|ǫ|G1
. (40)
In the limit of ǫ → 0 and Γ → 0 the efficiency approaches the Otto value: ηo = 1− ωc
ωhand
for zero gain, ωc
ωh= Tc
Th, we obtain the Carnot limit ηc = 1− Tc
Th.
For finite fixed Γ the efficiency in the limit ǫ → 0 becomes:
η =ν
ωh +Γ2
(
Th(1−cosh(ωhTh
))−Tc(1−cosh(ωcTc
))
)
4ThTc
(
sinh(ωhTh
)−sinh(ωcTc
)+sinh(ωcTc
−ωhTh
)
)
. (41)
Examining Eq. (41) shows that the Carnot limit is unattainable. When the Otto efficiency
approached the Carnot limit ωc
ωh= Tc
Ththe amplifiers efficiency becomes zero. This comparison
between the two limits can be seen in Fig. 4.
The efficiency of Eq. (40) can be either smaller or greater than the Otto efficiency
depending on the sign of G2. In the low temperature limit G2 < 0, thus ηo ≤ η ≤ ηc.
Increasing ǫ will increase the efficiency up to a critical point ǫcrit which both both G1 → 0
Quantum heat engines and refrigerators 17
0 0.2 0.4 0.6 0.8 10
0.2
0.4
0.6
0.8
1
P/Pmax
η/η C
FIG. 4: The normalised efficiency η/ηc vs. the normalised power P/Pmax for fixed ǫ and Γ and ωc
while varying ωh. The blue line is for finite Γ while the dashed red line is optimised at each point
Γ = 2ǫ. In this case ǫ ≪ 1.
and G2 → 0, since N+h(c) → 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, Cf. Fig. 5.
In the high temperature limit for harmonic oscillators, while increasing ǫ, the gain G2 will
change sign and become positive, thus η ≤ ηo, Cf. Fig. 6.
2. Optimizing the amplifier’s performance
Further optimisation for power is obtained when the pumping rate Γ is optimised for
maximum power then Γmax = 2ǫ and the power becomes:
P = −1
2hν|ǫ|G1 . (42)
At the limit of high temperature and small ǫ the gain becomes G1 ≈ KBTh
hωh− KBTc
hωc, then
optimising the power Eq. (42) with respect to the output frequency ν leads to:
ωc
ωh
=
√
Tc
Th
,
resulting in the efficiency at maximum power:
ηCA = 1−√
Tc
Th, (43)
which is the well established endoreversible result of Curzon and Ahlborn [2, 8]. The optimal
power is obtained when all the characteristic parameters are balanced: ǫ ∼ Γ ∼ κc ∼ κh.
Quantum heat engines and refrigerators 18
0 1 2 3−5
0
5
10x 10
−7 Currents
0 1 2 3
0.4
0.5
0.6
0.7Efficiency
0 1 2 30
1
2
3
4x 10
−7 Entropy Production
0 1 2 3−2
−1
0
1
2x 10
−5 G1 and G2
Otto
G1
G2
Carnot
Jc
P
Jh
FIG. 5: Top left: The heat Jc,Jh and power P currents as a function of ǫ. Top Right: Efficiency η
as a function of ǫ. Bottom left: Entropy production as a function of ǫ. Bottom right: The gain G1
and G2 as a function of ǫ. The harmonic tricycle engine operates in the limit of low temperature.
kBTc = 0.1 and kBTh = 0.3, hωc = 4. and hωh = 6 and Γ = 0.05.
Figure 7 shows a trajectory of efficiency with respect to power with changing field coupling
strength ǫ for different frequency ratios ωc
ωh= ( Tc
Th)α. The power vanishes with the coupling
ǫ = 0 and then when ǫ = ǫcrit, at this point the splitting in the dressed energy levels nulls
the gain.
D. Dynamical model of a 3-level engine
The dynamical description of the 3-level engine is closely related to the tricycle model [9].
The model is a template for the 3-level laser shown in Fig. 1 with inclusion of a dynamical
description.
The Hamiltonian of the device has the form:
Hs = H0
s + V(t) =
ǫ0 0 0
0 ǫ1 ǫeiνt
0 ǫe−iνt ǫ2
(44)
where H0
s =∑
ǫiPii, and Pij = |i〉〈j|. V(t) = ǫ(
P12eiνt + P21e
−iνt)
. The state of the
Quantum heat engines and refrigerators 19
0 1 2 3−4
−2
0
2
4
Currents
0 1 2 3
0.2
0.4
0.6
Efficiency
0 1 2 30
0.005
0.01
0.015Entropy Production
0 1 2 3
0
20
40
60G1 and G2
Carnot
Otto
G1
G2
P
Jh
Jc
FIG. 6: Top left: The heat Jc,Jh and power P currents as a function of ǫ. Top Right: Efficiency η
as a function of ǫ. Bottom left: Entropy production as a function of ǫ. Bottom right: The gain G1
and G2 as a function of ǫ. The harmonic tricycle engine operates in the limit of high temperature.
kBTc = 100 and kBTh = 300, hωc = 4. and hωh = 6 and Γ = 0.05.
three-level system is fully characterised by the expectation values of any eight independent
operators, excluding the identity operator. Different choices of the eight independent oper-
ators corresponds to different viewpoints.
• The P representation, is based on the eigen-representation of the free Hamiltonian,
H0
s, in the rotating frame.
Pi,j = e−iνPztPi,jeiνPzt . (45)
The following notations are also used [9]: Pi = Pii, P+ = P21, P− = P12,
Px = 12(P+ + P−), Py = 1
2i(P+ − P−), Pz = 1
2(Pu − Pl).
• The Π representation, which is the eigen-representation of the full Hamiltonian in the
rotating frame, Hs = H0s + V:
Πi,j = e−iθPyPi,jeiθPy , (46)
where tan(θ) = 2ǫ/∆ω. Note that H0s + V = ∆ωPz + 2ǫPx = νΠz where ∆ω =
ωh − ωc − ν. Further notations are introduced by Πi, Π±, Πx, Πy, Πz, defined in a
Quantum heat engines and refrigerators 20
0 0.2 0.4 0.6 0.8 10
0.2
0.4
0.6
0.8
1
P/PmaxC−A
η/η C
FIG. 7: The normalised efficiency η/ηc vs the normalised power P/Pmax for different optimal
values of Γ = 2ǫ. Pmax is obtained for the Curzon-Ahlborn ratio ωc
ωh=√
Tc
Thshown in blue. The
orange line is for ωc
ωh=(
Tc
Th
)1/4, the green line is for ωc
ωh=(
Tc
Th
)3/4. The red line is for the Carnot
ratio ωc
ωh∼ Tc
Thwhere the power is multiplied by 103.
similar manner to the analogous operators in the P representation, provided that each
P is replaced by a Π. The Π representation coincides with the atom-field dressed state
representation [49]. This representation is employed to obtain the master equation for
the engine [9].
The power and heat fluxes only depend on a reduced subset of SU(2) operators, which
are decoupled from the rest of the operators. As a result, the equations of motion of the
3-level amplifier can be represented by the set: P+, P−, Pu, Pl. The final equations of
motion for these observables and 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 3-level system
due to the driving field. As a result, the engine also splits into two parts, the upper and
lower manifolds.
Quantum heat engines and refrigerators 21
(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((
((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((
((((((((((((((((((((((((((((((((((((
Th
((((((((((((((((((((((((((((((((((((
Tc
+ε
Pν
ω10
ω20 κ↑+
κ↓ κ↓
κ↑−
κ↑+
κ↑−ν
−ε
+ε−ε
FIG. 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
operated in opposite direction producing zero power for a certain choice of pararmeters.
1. The Generalized Lamb Equations in the P Representation
The basic equations describing the operation of a 3-level laser have been formulated by
Lamb [50, 51]. These equations are modified to include the dynamical effects induced by
the driving field. The equations of motion for the closed set of operators characterising the
heat currents become:
d
dt
P+
P−
Pu
Pl
=
i∆ω + Γ+ 0 −iǫ+ Γ+u iǫ+ Γ+l
0 −i∆ω + Γ− iǫ+ Γ−u −iǫ+ Γ−l
−iǫ+ Γu+ iǫ+ Γu− Γu Γul
iǫ+ Γl+ −iǫ+ Γl− Γlu Γl
P+
P−
Pu
Pl
+
γ+
γ−
γu
γl
(47)
The relaxation coefficients Γi,j,Γi, γi consist of linear combinations of the bath parameters
and can be found explicitly in Ref. [9].
The steady-state power and heat flows can be evaluated by solving the generalised Lamb
equations. The results are represented by Eq. (36) where the definition of population is
changed from that of a harmonic oscillator to a two-level-system: N±h(c) =
1
eβh(c)ω
±
h(c)+1
.
The numerator of the expressions for the power and heat flows consist of a sum of two
contributions: one, which is proportional to the gain N+h − N+
c , is associated with the
population inversion in the upper manifold, while the other, which is proportional to the
gain N−h −N−
c , is associated with the population inversion in the lower manifold.
Quantum heat engines and refrigerators 22
At low temperature the 3-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 backwards 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. Although both manifolds operate at the same rate and in
opposite directions, the upper manifold absorbs more heat from the hot bath than that
rejected by the lower one. Similarly, the upper manifold rejects more heat into the cold
bath than that absorbed by the lower one. The net heat absorbed from the hot bath and
rejected into the cold bath in zero-power operating conditions is therefore proportional to
the difference in the energy gaps associated with these transitions. The entropy generated
exclusively by the heat leak from the upper to lower manifold is obtained by eliminating the
power in Eq. (39):d
dt∆S l =
hǫΓG2
4kB
(
1
Tc− 1
Th
)
≥ 0 . (48)
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 hǫ/kB ≫ Tc, Th. This limit
is realistic in the optical domain where ν ≫ Tc, Th. In such a case N+h − N+
c is negligible
relative to N−h −N−
c , and only the lower manifold needs be accounted for.
The value of ǫcrit in this limit, denoted by ǫlTcrit, is that for which N−h − N−
c = 0. It is
Quantum heat engines and refrigerators 23
generally given by:
ǫlTcrit =Thωc − Tcωh
Th − Tc. (49)
The condition Thωc − Tcω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, zero-power operating conditions in the low-temperature limit, obtained at
ǫ = ǫlTcrit, asymptotically implies zero heat flows and hence the reversible limit. Indeed,
substituting ǫlTcrit from Eq. (49) for ǫ reduces to the Carnot efficiency, ηc = 1− Tc/Th.
The difference between a 3-level-amplifier and the tricycle with harmonic oscillator filters
at the high temperature limit is observed in Fig. 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:
ηpmax ≈ ηc −√
kBTc
hωh
η12c . (50)
E. The four-level engine and two-level engine
The four level-engine is a dynamical model of the 4-level laser [52]. 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 structure
of the engine. Analysing a static viewpoint, positive gain is obtained when
G = p3 − p2 = p0
(
e− hωh
KBTh ehωc2kBTc − e
− hωc1kBTc
)
≥ 0 , (51)
where: ωh = ω30, ωc1 = ω32, ωc2 = ω10. The optimal output frequency at resonance is
ν = ωh−ωc1−ωc2, 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 that are 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, optimising performance by balancing
the rates between the upper and lower manifold can be achieved by ωc1 = ωc2.
Quantum heat engines and refrigerators 24
0 0.2 0.4 0.6 0.8 10
0.2
0.4
0.6
0.8
1
P/Pmax
η/η C
HO
TLS
FIG. 9: The normalised efficiency η/ηc vs the normalised power P/Pmax for ωc
ωh∼ Tc
Thfor varying
Γ = 2ǫ. The high temperature limit is shown where hω ≪ kbT . The red line is the 3-level amplifier
while the blue is the harmonic tricycle engine. Saturation limits the performance of the 3-level
engine.
The four level engine has been employed to study the influence of initial coherence on the
performance of the engine [53–59]. 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 initial coherence present between energy levels associated with the entangling operator
Y, Eq. (35) can be exploited to generate additional power even from a single bath. There
is no violation of the second-law since 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 due to the external
driving field results in the two-level engine. Figure 11 sketches the 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. A model
of such an engine has been worked out [60]. The maximum efficiency of such an engine
becomes η ≤ 12≤ ηc since two-pump steps are required for one output step.
Quantum heat engines and refrigerators 25
(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((
((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((
((((((((((((((((((((((((((((((((((((
Th
((((((((((((((((((((((((((((((((((((
Tc
+ε
Pν
ω10
ω30
κ↑+
κ↓ κ↓
κ↑−
κ↑
ν
−ε
+ε−ε
((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((
((((((((((((((((((((((((((((((((((((
Tc
κ↑+
κ↓
κ↑−
ω32
FIG. 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 operated
in opposite direction producing zero power for a certain choice of pararmeters. Coherence between
levels 0 and 1 can enhance the performance by synchronising the engines. ωh = ω30, ωc1 = ω32 and
ωc2 = ω10.
(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((
((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((
((((((((((((((((((((((((((((((((((((
Th
((((((((((((((((((((((((((((((((((((
Tc
Pν
ω=ν
κ↓−
κ↑
+ε−ε
+ε−ε
FIG. 11: The two-level-engine: The interaction with the external field splits the lower and upper
levels. If the coupling to the hot and cold bath are engineered properly output power can be
produced due to the positive gain between the upper split levels. Only the transitions leading to
this mechanism are indicated.
F. Power storage
An integral part of an engine is a device which allows to store the power and retrieve it
on demand, a flywheel. A model based on the tricycle of such a device just disconnects the
Quantum heat engines and refrigerators 26
power bath and stories the energy in the power oscillator ωwc†c. Once there is positive gain
generated by the hot and cold bath energy will flow to this oscillator. A model based on the
3-level amplifier suggested this approach [21, 35, 61]. The drawback of these studies is that
they use a local description of the master equation. When the flywheel oscillator has 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 [57, 59, 62]. The issue to be
addressed is the amount of energy that can be stored and then extracted. Since the storage
mode is entangled to the rest of the engine this issue is delicate [62]. The amount of possible
work to be extracted is defined by an entropy preserving unitary transformation to a passive
state [63].
III. 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 in heat engines, the first and second law of thermo-
dynamics imposes the same restrictions on the refrigerator’s performance. The destinction
between the static and dynamical viewpoints also applies. The key element in a refrigerator
is entropy extraction and disposal. This entropy disposal problem is enhanced at low tem-
perature where the entropy production in the cold bath can diverge. The unique feature of
refrigerators is therefore the third-law of thermodynamics.
A. The third law of thermodynamics
Two independent formulations of the third-law of thermodynamics have been presented,
both originally stated by Nernst [64–66]. The first is a purely static (equilibrium) one, also
known as the ”Nernst heat theorem”, phrased:
• The entropy of any pure substance in thermodynamic equilibrium approaches zero as
the temperature approaches zero.
The second formulation is known as the unattainability principle:
• It is impossible by any procedure, no matter how idealised, to reduce any assembly to
absolute zero temperature in a finite number of operations [66, 67].
Quantum heat engines and refrigerators 27
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, 68–70]. Quantum considerations can illuminate these issues. The tricycle model is the
template used to analyse refrigerators performance as Tc → 0.
We first analyse the implications of ”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, cf. Eq. (8):
d
dt∆Su = −Jc
Tc− Jh
Th− Jw
Tw≥ 0 .
This behaviour can be quantified by a scaling exponent, as Tc → 0 the cold current should
scale with temperature as:
Jc ∝ T 1+αc ,
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 Tc → 0 the entropy production
scales as:
∆Sc ∼ −T αc , α ≥ 0 . (52)
For the case when α = 0 the fulfilment of the second law depends on the entropy produc-
tion of the other baths −Jh
Th− Jw
Tw> 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: ∆Sc = 0. Nernst’s heat theorem then leads to the
scaling condition of the heat current with temperature [11] :
Jc ∼ T α+1c and α > 0 . (53)
We now examine the unattainability principle. Quantum mechanics enables a dynamical
interpretation of the third-law modifying the definition to:
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 Tc → 0 [36]. To quantify the unattainability
principle, the rate of temperature decrease of the cooling process should vanish according
Quantum heat engines and refrigerators 28
to the characteristic exponent ζ :
dTc(t)
dt= −c T ζ
c , Tc → 0 . (54)
where c is a positive constant. Solving Eq. (54), leads to:
Tc(t)1−ζ = Tc(0)
1−ζ − ct , for ζ < 1 ,
Tc(t) = Tc(0)e−ct , for ζ = 1 ,
1Tc(t)ζ−1 = 1
Tc(0)ζ−1 + ct , for ζ > 1 ,
(55)
From Eq. (55) it is apparent that the cold bath can be cooled to zero temperature at finite
time for ζ < 1. The third-law requires therefore ζ ≥ 1. The two third-law scaling relations
can be related by accounting for the heat capacity cV (Tc) of the cold bath:
Jc(Tc(t)) = −cV (Tc(t))dTc(t)
dt. (56)
cV (Tc) is determined by the behaviour of the degrees of freedom of the cold bath at low
temperature where cV ∼ T ηc when Tc → 0. Therefore the scaling exponents are related
ζ = 1 + α− η [32].
The third-law scaling relations Eq. (56) and Eq. (53) can be used as an independent
check for quantum refrigerator models [71]. Violation of these relations points to flaws in
the quantum model of the device, typically in the derivation of the master equation.
B. The quantum power driven refrigerator
Laser cooling is a crucial technology for realising 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] it
was realised that inverting the operation of the laser at the proper conditions will lead to
refrigeration [72–75]. A few years later a different approach for laser cooling was initiated
based on the doppler shift [76, 77]. 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
realisation that the actual temperature achieved were below the Doppler limit kBTdoppler =
hγ/2 where γ is the natural line width [78–80].
Quantum heat engines and refrigerators 29
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 = hk. As a result, the temperature is related to the average
kinetic energy:
kBTrecoil =h2k2
2M, (57)
where hk is the photon momentum and M the atomic mass of the particle being cooled.
For sodium the doppler limit is Tdoppler = 235µK and the recoil limit Trecoil = 2.39µK [81].
Thermodynamically, these limits do not bind, the only hard limit is the absolute zero
Tc = 0. To approach this limit the cooling power has to be optimised to match the cold
bath temperature. Unoptimised refrigerators become restricted by a minimum temperature
above the absolute zero.
A reexamination of the elementary 3-level model stresses this point. Examining the heat
engine model of Fig 1 shows that if the power direction is reversed a refrigerator is generated
provided the gain is negative: G = p2 − p1 < 0. Assuming quasi equilibrium conditions.
This leads to:ωc
ωh
=ω10
ω20
≤ Tc
Th
, (58)
which translated to a minimum temperature of Tc(min) ≥ ωc
ωhTh. We can consider typical
values for laser cooling of Na based on the D line of 589.592 nm which translates to ωh =
508.838 ·1013Hz. If the translational cold bath is coupled to the hyperfine structure splitting
F2 → F1 of the ground state 3S1/2, meaning ωc = 1.7716·1010Hz. The cooling ratio becomes:
ωc
ωh= 3.48 · 10−6 and the minimum temperature assuming room temperature of the hot bath
is Tc(min) ∼ 1.510−3K. By employing a magnetic field the hyperfine levels F1 split in three,
leading to further splittings in the MHz limit increasing the cooling ratio by three orders
of magnitude. When the cooling is in progress, the hyperfine splitting can be reduced by
changing the magnetic field such that it follows the cold bath temperature. In principle any
temperature above Tc = 0 is reachable.
C. 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. The cooling current can be
calculated analytically. The derivation of the equation of motion are identical to the heat
Quantum heat engines and refrigerators 30
engine model Sec. IIC. The dynamical equations of the heat engine Eq. (36) converts to
those of a refrigerator by inverting the sign of all heat currents. As a consequence the gain
G1 ≤ 0, Eq. (37). For example, when ǫ > κ the cooling current becomes [36]:
Jc =1
2
(
hω−c
Γ−c Γ
−h
Γ−c + Γ−
h
(N−c −N−
h ) + hω+c
Γ+c Γ
+h
Γ+c + Γ+
h
(N+c −N+
h )
)
. (59)
The phenomena that the refrigerator splits into two parts is also found here. In a similar
fashion the 3-level amplifier can be reversed to become a refrigerator [9]. The heat currents
are identical to Eq. (36) with the TLS definition of N±c/h.
In a refrigerator the object of optimisation 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
P ≤ COPo ≤ COPc (60)
where COPo =ωc
νand COPc =
Tc
Th−Tc. All power driven refrigerators are restricted by the
Otto COPo. In section III E the performance of power driven refrigerators at low tempera-
ture will be analysed.
D. The quantum absorption refrigerator
The absorption chiller is a refrigerator which employs a heat source to replace mechani-
cal work for driving a heat pump [82]. The first device was developed in 1850 by the Carre
brothers which became the first useful refrigerator. In 1926 Einstein and Szilard invented an
absorption refrigerator with no moving parts [83]. This fact is an inspiration for miniatur-
izing the device to solve the growing problem of heat generated in integrated circuits. Even
a more challenging proposal is to miniaturize to the level of a few-level quantum system.
Such a device could be incorporated into a quantum circuit. The first quantum version was
based on the 3-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 [37] has renewed interest in such devices. A setup of opto-mechanical refrigerators
powered by incoherent thermal light was introduced by [84]. The study showed that cooling
increases while increasing the photon number up to the point that fluctuation of the radia-
tion pressure becomes dominant and heats the mechanical mode. Studies of cooling based
Quantum heat engines and refrigerators 31
on electron tunneling were also considered. The working medium is composed of quantum
dots [85, 86] or NIS junction [87] (Normal metal Insulator Superconductor). Heat is removed
from the reservoir by electron transport which is induced by thermal or shot noise.
1. The 3-level absorption refrigerator
In the 3-level absorption refrigerator the power source has a finite temperature Tw. The
coefficient of performance becomes COP = Jc
Jw. From the second and first law Eqs. (7), (8)
using steady state conditions one obtains:
COP ≤ (Tw − Th)Tc
(Th − Tc)Tw
(61)
and Tw > Th > Tc [82]. Under the assumption that the three baths are uncorrelated, the 3-
level state is diagonal in the energy representation and determined by the heat conductivities
[12, 88]. From these values the heat currents can be evaluated. This refrigerator emphasises
the fact that no internal coherence is required for operation.
2. Tricycle absorption refrigerator
The template to understand the absorption refrigerator is the tricycle model, a refrigerator
connected to three reservoirs with the Hamiltonian Eq. (5) and Eq. (6). A thermodynamical
consistent description requires to first diagonalize the Hamiltonian and then to obtain 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 Eq. (6) hampers this task.
One remedy to this issue is to replace the harmonic oscillators in the model by qubits
[38]. The other approach is to consider the high temperature limit of the power reservoir or
a noise driven refrigerator [36, 89]. This three qubit refrigerator model was introduced as
the ultimate miniaturization model [37, 90, 91]. The free Hamiltonian of the device has the
form:
HF = hωhσhz + hωcσ
cz + hνσw
z (62)
and the interaction Hamiltonian:
HI = hǫ(
σh+ ⊗ σ
c− ⊗ σ
w− + σ
h− ⊗ σ
c+ ⊗ σ
w+
)
, (63)
Quantum heat engines and refrigerators 32
where σ are two-level operators. Assuming ωh = ωc + ν the eigenstates of the Hamiltonian
H = HF + HI become:
Number Energy state
1 0 |0, 0, 0〉2 hωc |0, 1, 0〉3 hν |0, 0, 1〉4 h(ν + ǫ) 1√
2(|0, 1, 1〉+ |1, 0, 0〉)
5 h(ν − ǫ) 1√2(|0, 1, 1〉 − |1, 0, 0〉)
6 h(ωc + ωh) |1, 1, 0〉7 h(ωh + ν) |1, 0, 1〉8 2hωh |1, 1, 1〉
(64)
The coupling to the bath has the form:
HSR =∑
j=c,h
λj(σj+ ⊗ B
j
− + σj− ⊗ B
j
+) , (65)
where j is the bath index. In this model, the coupling to the cold bath connects levels
1 → 2 , 3 → 4, 5 and 4, 5 → 8. The master equation for the refrigerator can be derived
using the weak system bath coupling limit [38]:
L =i
h[H, •] + Lh + Lc + Lw . (66)
The cooling and power currents can be solved for this model. Of major importance is the
distinction between the complete non-local 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 due to the nonlinear coupling.
As a result in the nonlocal approach it is impossible to reach the Carnot COPc no matter
how small is the internal coupling ǫ. This can be observed in Fig. 12, showing the COP vs
the cooling current Jc for different coupling strength ǫ. On the other hand the Carnot limit
COPc is reachable in the local model. An interesting observation is that a universal limit
for the COP at the maximum cooling power was found [88] applicable for all absorption
refrigerator modes of COP ∗ ≤ dd+1
COPc where d is the diemsionality of the phonon cold
bath.
Quantum heat engines and refrigerators 33
εε
εε
Jc/Jc
CO
P/C
OP
c
*
FIG. 12: The COP/COPc of the 3-qubit refrigerator vs the normalised cold current Jc/J ∗c for
different values of the internal coupling constant ǫ. The COP at maximum power is found to be
bound by 3/4COPc independent of ǫ. Figure in courtesy of L.A. Correa and J.P. Palao.
3. Noise driven refrigerator
An ideal power source generates zero entropy: ∆Sw = −Jw
Tw. A pure mechanical external
field achieves this goal. Another possibility is a thermal source, when Tw → ∞ it also
generates zero entropy. An unusual power source is noise. Gaussian white noise also carries
with it zero entropy production. Analysis will show that the performance of refrigerators
driven by all these power sources are very similar even when approaching the absolute zero
temperature [89].
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 Eq. (6) is replaced with:
Hint = f(t)(
a†b+ ab†)
= f(t)X , (67)
where f(t) is the noise field. X = (a†b+ab†) is the generator of a swap operation between the
two oscillators and is part of a set of SU(2) operators , Y = i(a†b− ab†), Z =
(
a†a− b†b
)
and the Casimir N =(
a†a+ b†b
)
.
Quantum heat engines and refrigerators 34
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 O reduced to:
d
dtO = i[Hs, O] + L∗
n(O) + L∗h(O) + L∗
c(O) , (68)
where Hs = hωha†a + hωcb
†b. The noise dissipator for Gaussian noise is L∗
n(O) =
−η[X, [X, O]] [48].
The next step is to derive the quantum Master equation of each reservoir. It is assumed
that the reservoirs are uncorrelated and also uncorrelated with the driving noise. These
conditions simplify the derivation of Lh which become the standard energy relaxation terms,
driving oscillator hωha†a to thermal equilibrium with temperature Th and Lc drives oscillator
hωcb†b to equilibrium Tc [92].
L∗h(O) = Γh(Nh + 1)
(
a†Oa− 12
a†a, O)
+ ΓhNh
(
aOa† − 12
aa†, O)
L∗c(O) = Γc(Nc + 1)
(
b†Ob− 1
2
b†b, O
)
+ ΓcNc
(
bOb† − 1
2
bb†, O)
. (69)
The kinetic coefficients Γh/c are determined from the system bath coupling and the spectral
function [9, 36].
The equations of motion including the dissipative part are closed to the SU(2) set of
operators. To derive the cooling current Jc = 〈Lc(hωcb†b)〉, we solve for stationary solutions
of N and Z. The cooling current becomes:
Jc = hωc2ηΓ2η+Γ
(Nc −Nh) . (70)
where the effective heat conductance is Γ = ΓcΓh
Γc+Γh. Cooling occurs for Nc > Nh ⇒ ωh
Th> ωc
Tc.
The coefficient of performance (COP ) for the absorption chiller is defined by the relation
COP = Jc
Jn, with the help of Eq. (70) we obtain the Otto COPo [23], Cf. Eq. (60).
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 bath becomes:
L∗w(O) = Γw(Nw + 1)
(
a†bOb†a− 1
2
a†abb†, O)
+ ΓwNw
(
ab†Oa†b− 1
2
aa†b†b, O
) . (71)
Quantum heat engines and refrigerators 35
where Nw = (exp( hωw
kTh)− 1)−1. At finite temperature Lw(O) does not lead to a close set of
equations. But in the limit of Tw → ∞ it becomes equivalent to the Gaussian noise generator:
L∗w(O) = −η/2
(
[X, [X, O]] + [Y, [Y, O]])
, where η = ΓwNw. This noise generator leads to
the same current Jc and COP as Eq. (70) and (60). We conclude that Gaussian noise
represents the singular bath limit equivalent to Tw → ∞.
Poisson white noise can be employed as a power source. This noise is typically generated
by a sequence of independent random pulses with exponential inter-arrival times [93, 94].
These impulses drive the coupling between the oscillators in contact with the hot and cold
bath leading to:
dOdt
= (i/h)[H, O]− (i/h)λ〈ξ〉[X, O]
+λ(
∫∞−∞ dξP (ξ)e(i/h)ξXOe(−i/h)ξX − O
)
,(72)
where H is the total Hamiltonian including the baths. λ is the rate of events and ξ is the
impulse 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
to its unitary and dissipation parts, leading to the master equation,
dO
dt= (i/h)[H, O] + (i/h)[H
′, O] + L∗
n(O) . (73)
The unitary part is generated with the addition of the Hamiltonian H′= hǫX and with the
interaction
ǫ = −λ
2
∫
dξP (ξ)(2ξ/h− sin(2ξ/h)) . (74)
This term can cause a direct heat leak from the hot to the cold bath. The noise generator
Ln(ρ), can be reduced to the form L∗n(O) = −η[X, [X, O]] , with a modified noise parameter:
η =λ
4
(
1−∫
dξP (ξ)cos(2ξ/h))
. (75)
The Poisson noise generates an effective Hamiltonian which is composed of H and H′,
modifying the energy levels of the working medium. This new Hamiltonian structure has to
be incorporated in 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. A new set
of bosonic operators is defined
A1 = a cos(θ) + b sin(θ)
A2 = b cos(θ)− a sin(θ) ,(76)
Quantum heat engines and refrigerators 36
The dressed Hamiltonian is given by:
Hs = hΩ+A†1A1 + hΩ−A
†2A2 , (77)
where Ω± = ωh+ωc
2±√
(ωh−ωc
2)2 + ǫ2 and cos2(θ) = ωh−Ω−
Ω+−Ω−Eq.(77) impose the restriction,
Ω± > 0 which can be translated to ωhωc > ǫ2. The master equation in the Heisenberg
representation becomes:
dO
dt= (i/h)[Hs, O] + L∗
h(O) + L∗c(O) + L∗
n(O) , (78)
where the details can be found in ref [36]. The noise generator becomes:
L∗n(O) = −η[W, [W, O]] , (79)
where W = sin(2θ)Z + cos(2θ)X. Again, the SU(2) algebra is employed to define the
operators: X = (A†1A2 + A
†2A1) , Y = i(A
†1A2 − A
†2A1) and Z = (A
†1A1 − A
†2A2). The
total number of excitations is accounted for by the operator N = (A†1A1 + A
†2A2).
Once the set of linear equations is solved the exact expression for the heat currents is
extracted, Jh =⟨
L∗h(Hs)
⟩
, Jc =⟨
L∗c(Hs)
⟩
and Jn =⟨
L∗n(Hs)
⟩
.
The distribution of impulse determines the performance of the refrigerator. For a normal
distribution of impulses in Eq. (72), P (ξ) = 1√2πσ2
e−(ξ−ξ0)
2
2σ2 . The energy shift is controlled
by:
ǫ = −λ
2(2ξ0/h− e−
2σ2
h2 sin(2ξ0/h)) . (80)
The effective noise strength becomes:
η =λ
4(1− e−
2σ2
h2 cos(2ξ0/h)) . (81)
In the limit of σ → 0, P (ξ) = δ(ξ − ξ0). Another possibility is an exponential distribution:
P (ξ) = 1ξ0e− ξ
ξ0 then:
ǫ = −λ(ξ0/h)
3
4(1 + (ξ0/h)2)(82)
and
η = λ(ξ0/h)
2
1 + 4(ξ0/h)2. (83)
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
Quantum heat engines and refrigerators 37
10−15
10−10
10−5
100
0
1
2
3
4
5
6
x 10−16
λ
J c
FIG. 13: The noise driven refregerator. The cooling current Jc as a function of λ. The refrigerator
is powered by a Poissonian noise source. The plot is for the limit of σ → 0.
that decreases Jc. Both parameters η and ǫ depend linearly on λ, which can be interpreted
as the rate of photon absorption in the system which enhances the cooling process. Fig. 13
shows that Jc increases with λ until a point where ǫ dominates and Jc decreases.
The COP for the Poisson driven refrigerator is restricted by the Otto and Carnot COP :
COP =Ω−
Ω+ − Ω−≤ ωc
ωh − ωc
≤ Tc
Th − Tc
. (84)
E. Refrigerators operating close to the limit Tc → 0 and the third-law of
thermodynamics
The performance of all types of refrigerators at low temperature have universal properties.
In the power driven refrigerators the lower split manifold is dominant, leading to the cold
current:
Jc ≈ hω−c
2ǫ2Γ
4ǫ2 + ΓcΓh
·G , (85)
where the gain G = N−c −N−
h and Γ = ΓcΓh
Γc+Γh.
In the 3-level absorption refrigerator the cold current becomes [88]:
Jc = hωcΓcΓhΓw
∆·G (86)
where ∆ is a combination of kinetic constants and G = e− hωw
kBTw e− hωc
kBTc − e− hωh
kBTh .
In the Guassian noise driven refrigerator Eq. (70) becomes:
Jc = hωc2ηΓ2η+Γ
·G . (87)
Quantum heat engines and refrigerators 38
where G = Nc −Nh.
In the Poisson driven refrigerator we obtain:
Jc ≈ hΩ−2ηΓ
2η + Γ·G , (88)
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 hωc, the effective heat conductance and the gain G.
To approach the absolute zero temperature a further optimisation is required. Optimising
the gain G is obtained when ωh → ∞, which leads to G ∼ e− hωc
kBTc . In addition the driving
amplitude should be balanced with the heat conductivity. The cooling current can also be
expressed in terms of the relaxation rate to the bath via the relation γ(ω)e− hω
kBT = Γ(ω)N(ω).
The universal optimised cooling current as Tc → 0 becomes:
Jc = hωc · γc · e−hωckBTc . (89)
This form is correct both in the weak coupling limit and the low density limit. The heat
current Jc can be interpreted as the quant of energy hωc extracted from the cold bath at
the rate γc multiplied by a Boltzmann factor. Further optimisation with respect to ωc is
dominated by the exponential Boltzmann factor (Optimising the function xae−x/b leads to
x∗ ∝ b). As a result ω∗c ∝ Tc, obtaining: Jc ∝ ω∗
c · γc(ω∗c ). The linear relation between the
optimal frequency ωc and Tc allows to translate the temperature scaling relations to the low
frequency scaling relations of γc(ω) ∼ ωµ and cV (ω) ∼ ωη when ω → 0.
To fulfil ”Nernst’s heat theorem” Eq. (53), the scaling of the relaxation rate is restricted
to γc(ω) ∼ ωα and α > 0. The fulfilment of the unattainability principle Eq. (56) depends
on the ratio between the relaxation rate and the heat capacity γc/cV ∼ ωζ−1 where ζ > 1.
The low frequency properties of the relaxation rate γc and the heat capacity cV are exam-
ined. For three-dimentional ideal degenerate Bose gases cV scales as T 3/2c . For degenerate
Fermi gas 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 due to inelastic scattering
we have found the scaling exponent ζ = 3/2 for both Bose and Fermi degenerate gas [36].
The most studied generic bath is the harmonic bath. It includes the electromagnetic field:
(a photon bath), or a macroscopic piece of solid; (a phonon bath), or Bogoliubov excitations
in a Bose-Einstein condensate. The standard form of the bath’s Hamiltonian is:
Hint = (b+ b†)
(
∑
k
(g(k)a(k) + g(k)a†(k))
)
, HB =∑
k
ω(k)a†(k)a(k) (90)
Quantum heat engines and refrigerators 39
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 [36]:
γc ≡ γc(ωc) = π∑
k
|g(k)|2δ(ω(k)− ωc)[
1− e− hω(k)
kBTc
]−1
. (91)
For the bosonic field in d-dimensional space, with the linear low-frequency dispersion law
(ω(k) ∼ |k|), the following scaling properties for the cooling rate at low frequencies are ob-
tained: γc ∼ ωκcω
d−1c where ωκ
c represents the scaling of the form-factor |g(ω)|2, and ωd−1c
is the scaling of the density of modes. For ωc ∼ Tc, the final current scaling becomes:
J optc ∼ T d+κ
c or α = d+ κ− 1.
At low temperatures, the heat capacity of the bosonic systems scales like: cV (Tc) ∼ T dc ,
which produces the scaling ζ = κ. This means that to fulfil the third law κ ≥ 1. To
rationalise 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 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 which have 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 [32]. We should mention that challenges to the
third law have been published [95]. Our viewpoint is that these discrepancies are the result
of flaws in reduction of the spin bath to a harmonic spectral density formulation.
IV. SUMMARY
Thermodynamics represents physical reality with an amazingly small number of variables.
In equilibrium, the energy operator H is sufficient to reconstruct the state of the system, from
which 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 Heisenberg equation of motion lends itself to this viewpoint. A sufficient condition
Quantum heat engines and refrigerators 40
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 [96]. Finally, the operators have to be closed to the dissipative part Lh/c. Most of the
solvable models in this review were based on the SU(2) Lie algebra with four operators. We
can chose them to represent the energy H, the identity I, and two additional operators X and
Y. These operators can associate with coherence since [H, X] 6= 0, [H, Y] 6= 0. Generically
in these models the power is proportional to the coherence P ∝ 〈Y〉. We can speculate
that steady state operation of a working engine or refrigerator is minimally characterised by
the SU(2) algebra of three non commuting operators. This is also the case in reciprocating
engines [97–99].
The Hamiltonian can be decomposed to non-commuting local operators which couple to
the baths. The non-local structure influences the derivation of the master equation. A local
approach based on equilibrating Hs leads to equations of motion that can violate the second-
law of thermodynamics [9, 32, 36, 71]. A thermodynamically consistent derivations requires
a pre-diagonalization 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 to heat currents and work to
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.
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 characterised by their tempera-
ture and correlation functions. The working medium filters out the channels of heat transfer
and power.
Quantum heat engines and refrigerators 41
The tradeoff between power and efficiency is a universal characteristic of the quantum
devices. The output power or the cooling current exhibit a turnover with any control pa-
rameter [100]. For example, when the coupling parameter to the external field is increased
first the power or cooling current increase with it, but then beyond a critical parameter,
due to splitting of the energy levels a decrease in performance appears. Another turnover
phenomena 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.
The third law can be thought of 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 since 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 Tc = 0. The quantum dilemma of cooling to a pure state
stems from the fact that a system-bath interaction is required to induce a change of 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
manoeuvre. The system-bath coupling has to be reduced while the cooling takes place,
eventually vanishing when Tc → 0. As a result the means to cool are exhausted before the
target is reached [101, 102]. The universal behaviour of all quantum refrigerators as Tc → 0
emphasises 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 the 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 [32]. 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 determinant in the engine operation [88]. Other
papers claim the opposite [53, 86, 103]. Entanglement has been related to extraction of
Quantum heat engines and refrigerators 42
additional work [62, 104, 105]. These issues require further study.
For completeness we would like to mention what was excluded from the present review:
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 where the
unitary adiabatic branches are separated from the heat transport [22–24, 34, 99, 106–111].
The analysis of reciprocating engine is simplified due to this separation. The disadvantage
is that the timing of the branches is determined externally. The review of reciprocating
engines and refrigerators will be treated in a separate publication.
Finally, we can conclude from this review that quantum devices when analysed according
to the laws of quantum mecahnics are consistent with a dynamical interpretation of the laws
of thermodynamics.
a. Acknowledgments: This review was supported by the Israel Science Foundation.
We want to thank Tova Feldmann, Eitan Geva, Jose P. Palao, Jeff Gordon, Lajos Diosi,
Peter Salamon, Gershon Kuritzky and Robert Alicki for sharing their wisdom.
Quantum heat engines and refrigerators 43
[1] Carnot S. 1824. Reflections sur la Puissance Motrice du Feu et sur les Machines propres a
Developper cette Puissance. Paris: Bachelier
[2] Curzon F, Ahlborn B. 1975. Efficiency of a carnot engine at maximum power output. Am.
J. Phys. 43:22
[3] Salamon P, Nulton J, Siragusa G, Andersen TR, Limon A. 2001. Principles of control
thermodynamics. Energy 26:307–319
[4] Landsberg PT. 1956. Foundations of thermodynamics. Rev. Mod. Phys. 28:363
[5] Einstein A. 1905. ”uber einen die erzeugung und verwandlung des lichtes betreffenden heuris-
tischen gesichtspunkt (on a heuristic viewpoint concerning the production and transformation
of light)”. Annalen der Physik 17:132
[6] Geusic J, Schulz-DuBios E, Scovil H. 1959. Three-level masers as heat engines. Phys. Rev.
Lett. 2:262
[7] Geusic J, du Bois EOS, Grasse RD, Scovil HE. 1967. Quantum equivalence of the carnot
cycle. Phys. Rev. 156:343
[8] Kosloff R. 1984. A Quantum Mechanical Open System as a Model of a Heat Engine. J.
Chem. Phys. 80:1625–1631
[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–7698
[10] Partovi M. 1989. Quantum thermodynamics. Physics Letters A 137:440
[11] Kosloff R, Geva E, Gordon JM. 2000. The quantum refrigerator in quest of the absolute
zero. J. Appl. Phys. 87:8093–8097
[12] Palao JP, Kosloff R, Gordon JM. 2001. Quantum thermodynamic cooling cycle. Phys. Rev.
E 64:056130–8
[13] Lloyd S. 1997. Quantum-mechanical maxwells demon. Phys. Rev. A 56:3374
[14] He J, Chen J, Hua B. 2002. Quantum refrigeration cycles using spin-12 systems as working
substance. Phys. Rev. E 65:036145
[15] Lieb EH, Yngvason J. 1999. The physics and mathematics of the second law of thermody-
namics. Phys. Rev. 310:1
[16] Bender CM, Brody DC, Meister BK. 2002. Entropy and temperature of a quantum carnot
Quantum heat engines and refrigerators 44
engine. Proceedings of the Royal Society of London. Series A: Mathematical, Physical and
Engineering Sciences 458:1519
[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
[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
[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 kubo 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, Verdal V. 2009. Colloquium: The physics of Maxwell’s demon and
information . Rev. Mod. Phys. 81:1
[28] Beneti G, Casati G, Prosen T, Saito K. 2013. Colloquium: Funduamental aspects of steady
state heat to work conversion . Rev. Mod. Phys. to appear.
[29] Gemmer J, Michel M, Mahler G. 2009. Quantum Thermodynamics. Springer
[30] Olshanii M. 2012. Geometry of quantum observables and thermodynamics of small systems.
ArXiv e-prints:1208.0582
[31] Anders J, Giovannetti V. 2013. Thermodynamics of discrete quantum processes. New Jour.
of Phys. 15:033022
[32] Kosloff R. 2013. Quantum Thermodynamics: A Dynamical Viewpoint. Entropy 15
Quantum heat engines and refrigerators 45
[33] Mandal D, Quan HT, Jarzynski C. 2013. Maxwells Refrigerator: An Exactly Solvable Model
. Phys. Rev. Lett. 111:030602
[34] Allahverdyan AE, Hovhannisyan KV, Melkikh AV, Gevorkian SG. 2013. Carnot cycle at
finite power: Attainability of maximal efficiency. Phys. Rev. Lett. 111:050601
[35] 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
[36] Levy A, Alicki R, Kosloff R. 2012. Quantum refrigerators and the third law of thermody-
namics. Phys. Rev. E 85:061126
[37] Linden N. Popescu S. Skrzypczyk P. 2010. ”how small can thermal machines be? towards
the smallest possible refrigerato”. Phys. Rev. Lett. 105:130401
[38] Luis A. Correa Jose P. Palao GA, Alonso D. 2013. Performance bound for quantum absorp-
tion refrigerators . Phys. Rev. E 87:042131
[39] Martinez EA, Paz JP. 2013. Dynamics and thermodynamics of linear quantum open systems.
Phys. Rev. Lett. 110:130406
[40] Calusius R. 1850. ”Ueber Die Bewegende Kraft Der Wrme Und Die Gesetze, Welche Sich
Daraus Fr Die Wrmelehre Selbst Ableiten Lassen”. Annalen der Physik 79:68
[41] Lindblad G. 1976. On the generators of quantum dynamical semigroups. Comm. Math. Phys.
48:119
[42] Gorini V, Kossakowski A, Sudarshan E. 1976. Completely positive dynamical semigroups of
n-level systems. J. Math. Phys. 17:821
[43] Spohn H, Lebowitz J. 1979. Irreversible thermodynamics for quantum systems weakly cou-
pled to thermal reservoirs. Adv. Chem. Phys. 38:109
[44] 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–2362
[45] Davis EB. 1974. Markovian Master Equations. Comm. Math. Phys. 39:91–110
[46] 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–8561
[47] 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
[48] Gorini V, Kossakowski A. 1976. N-level system in contact with a singular reservoir. J. Math.
Phys. 17:1298
Quantum heat engines and refrigerators 46
[49] C. Cohen-Tannoudji, J. A. Dupont-Roc, G. Grynberg. 1987. ”Atom-Photon Interaction”.
Wiely
[50] Lamb W. 1964. Theory of an Optical Maser. Phys. Rev. 134:1429
[51] Louisell WH. 1990. Quantum Statistical Properties of Radiation. Wiley
[52] Digonnet MJF. 1990. Closed-Form Expressions for the Gain in Three- and Four-Level Laser
Fibers . IEEE J. Quantum Electrinics 26:1788
[53] Scully MO, Zubairy MS, Agarwal GS, Walther H. 2003. Extracting work from a single heat
bath via vanishing quantum coherence. Science 299:862
[54] Scully MO. 2010. Quantum photocell: Using quantum coherence to reduce radiative recom-
bination and increase efficiency. Phys. Rev. Lett. 104:207701
[55] Svidzinsky AA, Dorfman KE, Scully MO. 2011. Enhancing photovoltaic power by fano-
induced coherence. Phys. Rev. A 84:053818
[56] 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. U S A 108:15097
[57] Harbola U, Rahav S, Mukamel S. 2012. Quantum heat engines: A thermodynamic analysis
of power and efficiency. Eur. Phys. Lett. 99:50005
[58] Rahav S, Harbola U, Mukamel S. 2012. Heat fluctuations and coherences in a quantum heat
engines. Phys. Rev. A 86:043843
[59] Goswami HP, Harbola U. 2013. Thermodynamics of quantum heat engines . Phys. Rev. A
88:013842
[60] D. Gelbwaser-Klimovsky RA, Kurizki G. 2013. Minimal universal quantum heat machine.
Phys. Rev. E 87:012140
[61] Boukobza E, Tannor DJ. 2007. Three-level systems as amplifiers and attenuators: A ther-
modynamic analysis. Phys. Rev. Lett. 98:240601
[62] Alicki R, Fannes M. 2013. Entanglement boost for extractable work from ensembles of
quantum batteries . Phys. Rev. E 87:042123
[63] Gelbwaser-Klimovsky D, Alicki R, Kurizki G. 2013. How much work can a quantum device
extract from a heat engine? ArXiv e-prints: 1302.3468
[64] Nernst W. 1906. Ueber die Berechnung chemischer Gleichgewichte aus thermischen Messun-
gen. Nachr. Kgl. Ges. Wiss. Gott. 1:40
[65] Nernst W. 1906. Uber die Beziehung zwischen Warmeentwicklung und maximaler Arbeit bei
Quantum heat engines and refrigerators 47
kondensierten Systemen. er. Kgl. Pr. Akad. Wiss. 52:933
[66] Nernst W. 1918. The theoretical and experimental bases of the New Heat Theorem Ger., Die
theoretischen und experimentellen Grundlagen des neuen Warmesatzes. Halle: W. Knapp
[67] Fowler RH, Guggenheim EA. 1939. Statistical Thermodynamics. Cambridge university press
[68] Landsberg PT. 1989. A comment on nernst’s theorem. J. Phys A: Math.Gen. 22:139
[69] Belgiorno F. 2003. Notes on the third law of thermodynamics i. J. Phys A: Math.Gen.
36:8165
[70] Belgiorno F. 2003. Notes on the third law of thermodynamics ii. J. Phys A: Math.Gen.
36:8195
[71] Levy A, Alicki R, Kosloff R. 2012. Comment on Cooling by Heating: Refrigeration Powered
by Photons”. Phys. Rev. Lett. 109:248901
[72] Geusic J, Bois E, De Grasse R, Scovil H. 1959. Three level spin refrigeration and maser
action at 1500 mcsec. J. App. Phys. 30:1113
[73] Tsujikawa I, Murao T. 1962. Possibility of Optical Cooling of Ruby. J. Phys. Soc. Jpn.
18:503
[74] G. C. Dousmanis C. W. Mueller HN, Petzinger KG. 1964. Evidence of refrigerating action
by means of photon emission in semiconductor diodes. Phys. Rev. 133:A316
[75] Kushida T, Geusic JE. 1968. Optical refrigeration in nd-doped yittrium aluminum garnet.
Phys. Rev. Lett. 20:1172
[76] Wineland DJ, Dehmelt H. 1975. . Bull. Am. Phys. Soc. 20:637
[77] Hansch TW, Schawlow AL. 1975. Cooling of Gases by Laser Radiation. Opt. Commun.
13:368
[78] 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
[79] Shevy Y, Weiss DS, Ungar PJ, Chu S. 1989. Bimodal speed distributions in laser-cooled
atoms . Phys. Rev. Lett. 62:1118
[80] 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
[81] Steck DA. 2003. Sodium D Line Data
steck.us/alkalidata/sodiumnumbers.1.6.pdf
[82] Gordon JM, Ng KC. 2000. Cool Thermodynamics. Cambridge International Science Pub-
Quantum heat engines and refrigerators 48
lishing
[83] Einstein A, Szilard L. 1930. ”refrigeration”. ”US patent No 1,781,541”
[84] Mari A, Eisert J. 2012. Cooling by heating: Very hot thermal light can significantly cool
quantum systems. Phys. Rev. Lett. 108:120602
[85] Cleuren B, Rutten B, Van den Broeck C. 2012. Cooling by Heating: Refrigeration Powered
by Photons. Phys. Rev. Lett. 108:120603
[86] Venturelli D, Fazio R, Giovannetti V. 2013. Minimal self-contained quantum refrigeration
machine based on four quantum dots. Phys. Rev. Lett. 110:256801
[87] Pekola JP, Hekking FWJ. 2007. Normal-Metal-Superconductor Tunnel Junction as a Brow-
nian Refrigerator. Phys. Rev. Lett. 98:210604
[88] Correa LA, Palao JP, Alonso D, Adesso G. 2013. Quantum-enhanced absorption refrigerators.
ArXiv e-prints:1308.4174
[89] Levy A, Kosloff R. 2012. Quantum absorption refrigerator. Phys. Rev. Lett. 108:070604
[90] Skrzypczyk P Brunner N, Popescu S. 2011. ”the smallest refrigerators can reach maximal
efficiency”. J. Phys A: Math.Gen. 44:492002
[91] Brunner N, Linden N, Popescu S, Skrzypczyk P. 2012. ”virtual qubits, virtual temperatures,
and the foundations of thermodynamics”. Phys. Rev. E 85:051117
[92] Breuer HP, Petruccione F. 2002. Open quantum systems. Oxford university press
[93] Luczka J, Niemeic M. 1991. ”a master equation for quantum systems driven by poisson white
noise”. J. Phys A: Math.Gen. 24:L1021
[94] 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
[95] Kolar M, Gelbwaser-Klimovsky D, Alicki R, Kurizki G. 2012. Quantum bath refrigeration
towards absolute zero: unattainability principle challenged. Phys. Rev. Lett. 108:090601
[96] Alhassid Y, Levine R. 1978. Exact conditions for the preservation of a canonical distribution
in markovian relaxation processes. Phys. Rev. A 18:89
[97] Kosloff R, Feldmann T. 2002. A Discrete Four Stroke Quantum Heat Engine Exploring the
Origin of Friction. Phys. Rev. E 65:055102
[98] Feldmann T, Kosloff R. 2003. The Quantum Four Stroke Heat Engine: Thermodynamic
Observables in a Model with Intrinsic Friction. Phys. Rev. E 68:016101
Quantum heat engines and refrigerators 49
[99] Rezek Y, Kosloff R. 2006. Irreversible performance of a quantum harmonic heat engine. New
J. Phys. 8:83
[100] Ashkenazi G, Kosloff R and Ratner MA. 1999. Photoexcited electron transfer: Short-time
dynamics and turnover control by dephasing, relaxation, and mixing. J. Am. Chem. Soc.
121:3386–3395
[101] 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
[102] Wu L., Segal D. and Brumer P. 2013. No-go theorem for ground state cooling given initial
system-thermal bath factorization . Sci Rep. 3:1824
[103] Skrzypczyk P, Short AJ, Popescu S. 2013. Extracting work from quantum systems. ArXiv
e-prints: 1302.2811
[104] Hovhannisyan KV, Perarnau-Llobet M, Huber M, Acın A. 2013. The role of entanglement
in work extraction. ArXiv e-prints:1303.4686
[105] Brunner N, Huber M, Linden N, Popescu S, Silva R, Skrzypczyk P. 2013. Entanglement
enhances performance in microscopic quantum fridges. ArXiv e-prints: 1305.6009
[106] Geva E, Kosloff R. 1992. A Quantum Mechanical Heat Engine Operating in Finite Time. A
Model Consisting of Spin half Systems as The Working Fluid. J. Chem. Phys. 96:3054–3067
[107] Geva E, Kosloff R. 1992. On the Classical Limit of Quantum Thermodynamics in Finite
Time. J. Chem. Phys. 97:4398–4412
[108] Feldmann T, Geva E, Kosloff R, Salamon P. 1996. Heat Engines in Finite Time Governed
by Master Equations. Am. J. Phys. 64:485–492
[109] He JiZhou HX, Wei T. 2009. ”the performance characteristics of an irreversible quantum
otto harmonic refrigeration cycle”. Science in China Series G-Phys. Mech. & Ast. 52:1317
[110] Wang H. 2013. Quantum-mechanical brayton engine working with a particle in a one-
dimensional harmonic trap. Physica Scripta 87:055009
[111] 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