Efficiency fluctuations of a quantum Otto engine
Tobias Denzler, Eric Lutz

TL;DR
This paper derives the efficiency distribution of a quantum Otto engine, analyzing stochastic efficiency, especially above unity, and explores the classical-quantum transition as temperature decreases.
Contribution
It provides an explicit quantum efficiency distribution for a solvable two-level engine and examines efficiency fluctuations across different regimes.
Findings
Efficiency can exceed unity, especially at infinity, in nonadiabatic regimes.
Mean and variance of efficiency are computed for adiabatic driving.
Classical-to-quantum transition effects are analyzed as temperature decreases.
Abstract
We derive the probability distribution of the efficiency of a quantum Otto engine. We explicitly compute the quantum efficiency statistics for an analytically solvable two-level engine. We analyze the occurrence of values of the stochastic efficiency above unity, in particular at infinity, in the nonadiabatic regime and further determine mean and variance in the case of adiabatic driving. We finally investigate the classical-to-quantum transition as the temperature is lowered.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Efficiency fluctuations of a quantum Otto engine
Tobias Denzler
Eric Lutz
Institute for Theoretical Physics I, University of Stuttgart, D-70550 Stuttgart, Germany
Abstract
We derive the probability distribution of the efficiency of a quantum Otto engine. We explicitly compute the quantum efficiency statistics for an analytically solvable two-level engine. We analyze the occurrence of values of the stochastic efficiency above unity, in particular at infinity, in the nonadiabatic regime and further determine mean and variance in the case of adiabatic driving. We finally investigate the classical-to-quantum transition as the temperature is lowered.
Efficiency is a key performance measure of thermal machines. For heat engines that cyclically convert heat into useful work, it is defined as the ratio of work output and heat input cen01 . For macroscopic systems consisting of a huge number of degrees of freedom, heat, work and, consequently, efficiency are deterministic quantities. The second law of thermodynamics imposes an upper bound to the efficiency of any heat engine given by the familiar Carnot expression, , where are the respective temperatures of the cold and hot heat reservoirs cen01 . By contrast, these variables become random at the microscopic scale owing to the presence of nonnegligible thermal fluctuations sei12 ; sek98 and additional quantum fluctuations at low enough temperatures esp09 ; cam11 . A central question is then to determine their probability distributions in order to assess their stochastic properties.
For classical heat engines, efficiency fluctuations have been theoretically investigated in a number of recent studies ver14 ; ver14a ; gin14 ; pol15 ; pro15 ; pro15a ; pro16 ; vro16 ; par16 ; pro17 . In particular, the stochastic efficiency of a Carnot engine has been shown to admit values larger than the Carnot bound and, remarkably, to be the least likely in the long-time limit ver14 . These predictions have been experimentally verified in a stochastic Carnot engine based on an optically trapped colloidal particle mar15 . In the quantum regime, work distributions of driven oscillators have been analyzed both theoretically def08 ; tal09 ; def10 and experimentally using a trapped ion an15 . The quantum work statistics of driven two-level systems has been similarly computed analytically sol13 ; hek13 and determined experimentally in NMR bat14 and cold-atom cer17 setups. On the other hand, the quantum heat statistics has been calculated theoretically for harmonic oscillators den18 as well as for two-level models gas14 ; pon15 , and reconstructed experimentally in the latter case pet18 . However, to our knowledge, the effects of quantum fluctuations on the efficiency of a heat engine have not been examined so far.
In this paper, we analytically evaluate the efficiency statistics of a quantum Otto engine, a paradigmatic model of quantum thermal machines kos17 . The quantum Otto cycle, a generalization of the ordinary four-stroke motor, has been extensively studied in the past thirty years kos84 ; gev92 ; fel00 ; kie04 ; hen07 ; scu02 ; lin03 ; rez06 ; aba12 ; wat17 . The experimental realization of a quantum Otto spin engine in a NMR system has been reported lately pet18 . In the following, we concretely determine the respective work and heat probability densities of the different branches of the engine cycle within the usual two-projective measurement scheme tal07 . We use these distributions to derive a general formula for the quantum efficiency statistics that explicitly depends on the time evolution operators of expansion and compression steps. We treat in detail an analytically solvable model of a two-level engine and obtain an explicit expression for the quantum efficiency distribution. We discuss the appearance of values of the stochastic efficiency above unity in the nonadiabatic regime and, in particular, at infinity when no heat is absorbed although non-zero work is produced. This peculiar behavior stems from the discrete quantum nature of the engine. We further determine mean and variance of the efficiency in the case of adiabatic driving. We concretely investigate their evolution from a regime dominated by thermal fluctuations at high temperatures to a domain characterized by quantum fluctuations at low temperatures. We finally demonstrate that the average quantum efficiency is always smaller than the conventional thermodynamic efficiency owing to the presence of positive correlations between stochastic efficiency and absorbed heat.
Quantum Otto engine. We consider a generic quantum system with a time-dependent Hamiltonian as the working fluid of a quantum Otto engine. The system is initially thermalized at by weakly coupling it to a cold heat reservoir at inverse temperature . The Otto cycle consists of the following four steps (Fig. 1): (1) Unitary expansion (AB) during which the Hamiltonian is changed from to in a time , consuming an amount of work , (2) Hot isochore (BC) during which the system is put into contact with a heat bath at inverse temperature to absorb heat in a time , (3) Unitary compression (CD) that drives the isolated system from back to in a time , producing an amount of work , and (4) Cold isochore (DA), which closes the cycle by weakly coupling the system to the cold bath at inverse temperature , thus releasing heat in a time . We further assume that heating and cooling times, , are longer than the relaxation time of the system, so that thermalization is achieved after each isochore.
Quantum work and heat distributions are commonly determined with the help of the so-called two-projective-measurement method tal07 or variants thereof def08 ; tal09 ; def10 ; an15 ; sol13 ; hek13 ; bat14 ; cer17 ; den18 ; gas14 ; pon15 . In this approach, energy changes of a quantum system during single realizations of a process are associated with the difference of eigenvalues obtained though projective energy measurements at the beginning and at the end of the process. In the quantum Otto cycle, work is performed during the unitary expansion and compression steps, while heat is exchanged during the nonunitary heating and cooling stages. We obtain the corresponding distributions by applying the two-projective-measurement scheme to the respective expansion, hot isochore and compression branches. The probability distribution of the expansion work is accordingly tal07 ,
[TABLE]
where and are the respective energy eigenvalues at the beginning and at the end of the expansion step, is the initial thermal occupation probability with partition function and the transition probability from eigenstate to . The corresponding unitary time evolution operator is denoted by . The occupation probability embodies the influence of thermal fluctuations, whereas the transition probability accounts for the effects of quantum fluctuations.
Similarly, the probability density of the heat during the ensuing hot isochore, given the expansion work , is equal to the conditional distribution jar04 ,
[TABLE]
where the occupation probability at time is when the system is in eigenstate after the second projective energy measurement. Noting that the state of the system is thermal with inverse temperature at the end of the isochore, we further have , with the partition function .
The quantum work distribution for compression, given the expansion work and the heat , is furthermore,
[TABLE]
with the occupation probability when the system is in eigenstate after the third projective energy measurement. The transition probability is fully specified by the unitary time evolution operator for compression .
The joint probability of having certain values of , and during a cycle of the Otto engine readily follows from the chain rule for conditional probabilities pap91 , . Using Eqs. (1), (2) and (3), it is explicitly given by,
[TABLE]
Equation (4) is the essential quantity needed to determine the quantum efficiency statistics.
Quantum efficiency distribution. The stochastic efficiency of the quantum Otto engine is defined as,
[TABLE]
It should not be confused with the thermodynamic efficiency which is defined in terms of the averaged values of work and heat, . The probability distribution is obtained by integrating over all possible values of , and via,
[TABLE]
Using Eq. (4) and the properties of the delta, we find,
[TABLE]
Expression (Efficiency fluctuations of a quantum Otto engine) is our main result. It shows that the efficiency statistics of the quantum Otto engine is fully determined by the unitary time evolution operators for expansion and compression, and , and by the inverse temperatures, and , of the two reservoirs, when complete thermalization is assumed.
Example of a spin heat engine. Formula (Efficiency fluctuations of a quantum Otto engine) is valid for any working fluid. As an illustration, we now investigate the fluctuating properties of the stochastic efficiency (5) for an analytical solvable two-level heat engine. Compression and expansion are implemented by driving a spin- with a constant magnetic field with strength along the -axis and a rotating magnetic field with varying strength in the (-)-plane. This driving changes both the eigenenergies and the occupation probabilities of the system and could be realized in a NMR setup pet18 . The expansion Hamiltonian reads,
[TABLE]
where , , are the usual Pauli operators. The rotation frequency is chosen to be to ensure a complete rotation from the -axis to the -axis during the expansion step of duration . The amplitude of the rotating field, , is increased from at time zero to at time . This driving leads to a widening of the energy spacing of the two-level system from to . For simplicity, we will take expansion and compression times to be equal, . The compression stroke is then simply obtained from the time reversed process, . The corresponding expansion time evolution operator reads sup ,
[TABLE]
where is the integral over the increasing strength of the rotating magnetic field. The operator follows from by replacing with . The probability of no level transition during expansion or compression steps may be inferred from (9) as,
[TABLE]
The two are identical since is the same for both cases apart from a minus sign. The probability of a level transition during either driving phases is accordingly .
In order to operate as an engine, the mean heat absorbed during (BC) should be positive, , as well as the total mean work output during the cycle, . Specifically, we have sup ,
[TABLE]
where we have introduced the adiabaticity parameter . For adiabatic driving, when the system remains in the same state (), , while when a transition occurs with certainty (). The value of depends on the driving protocol as well as on the driving time . The two heat engine conditions then lead to the inequalities,
[TABLE]
Equations (14) and (15) impose constraints on the allowed values of the time for a given protocol . The thermodynamic efficiency is further given by,
[TABLE]
It reduces to the known adiabatic Otto efficiency, , in the limit , as expected kos17 ; kos84 ; gev92 ; fel00 ; kie04 ; hen07 ; scu02 ; lin03 ; rez06 ; aba12 ; wat17 .
Using the above results, the quantum efficiency distribution (Efficiency fluctuations of a quantum Otto engine) may be analytically evaluated as,
[TABLE]
This distribution is normalized to one, as it should. We observe that the stochastic efficiency can take six different discrete values as seen in Fig. 2. Four are particularly notable: (i) the value at zero is obtained when the produced work vanishes sup , (ii) on the other hand, the value at one corresponds to the case where the eigenvalue at point is the same as the one at point , implying , (iii) finally the values at infinity occur when the heat is zero. All four follow from the discrete quantum nature of the energy spectrum. The values at infinity are particularly intriguing, since the efficiency is not defined at these points.
The efficiency statistics (17) depends on the driving time (see Fig. 2). For adiabatic driving, (blue squares), all values of the stochastic efficiency are smaller or equal than the adiabatic Otto efficiency , with the largest peak at zero and the second largest at . The value at infinity does not appear in this case. By contrast, for nonadiabatic driving, (red dots), three peaks at and above unit efficiency are visible, including the one at infinity. As a result, an average efficiency is not defined. Specifically, Eq. (17) reveals that the values at one and infinity only disappear when , that is, for certain events. They may thus be regarded as following from quantum indeterminacy.
In the adiabatic case, , the mean efficiency reads,
[TABLE]
It is always smaller than the thermodynamic efficiency (see Fig. 3). This can be understood by noting that generally , where and denotes the covariance between the ratio and hei99 . The inequality is then obeyed when stochastic efficiency and absorbed heat are positively correlated sup . The high-temperature () and low-temperature () limits, and , of the mean efficiency (18) are readily evaluated. We obtain,
[TABLE]
The variance, , of the stochastic efficiency may be evaluated in a similar manner, yielding,
[TABLE]
Its respective high and low temperatures limits are,
[TABLE]
The behavior of both the average (18) (inset) and the variance (21) of the stochastic efficiency are represented as a function of inverse temperature in Fig. 4. The transition from a regime dominated by thermal fluctuations at high temperatures to a domain characterized by quantum fluctuations at low temperatures is clearly visible. In particular, the mean efficiency sharply drops as the ratio increases sup , while the variance gets reduced when thermal fluctuations are replaced by smaller quantum fluctuations.
Conclusions. We have developed a general framework allowing to calculate the distribution of the efficiency of a quantum Otto engine. We have shown that it is fully determined by the time evolution operators of the two isothermal compression and expansion steps, and by the two bath temperatures when complete thermalization is considered. The fluctuation statistics will additionally depend on the nonunitary relaxation dynamics in the case of incomplete thermalization. We have applied our results to an analytically solvable two-level engine and evaluated the discrete efficiency distribution in closed form. We have established the existence of peaks at infinity which follow from the quantum nature of the engine in the nonadiabatic regime. An average efficiency is thus not defined for nonadiabatic driving. We have additionally computed the first two cumulants of the stochastic efficiency in the adiabatic limit and found that the mean is always smaller than the corresponding thermodynamic efficiency since efficiency and heat are positively correlated. We have finally observed the crossover of the variance from the classical to the quantum domain.
Acknowledgements. We acknowledge financial support from the Volkswagen Foundation under project ”Quantum coins and nano sensors” and the German Science Foundation (DFG) under project FOR 2724.
Supplemental Material
Solution of the two-level model. We here present the detailed solution of the expansion and compression dynamics of the spin- engine. The Hamiltonian of a two-state system can be written in the general form,
[TABLE]
In order to describe a rotating magnetic field with frequency and time-dependent strength , we set,
[TABLE]
We leave the function unspecified for the time being. A method to evaluate the corresponding time-evolution operator, given some constraints, has been proposed in Refs. bar12 ; bar13 . The first step is to write the time-evolution operator in the form,
[TABLE]
where and . Here and the parameters are given by,
[TABLE]
The given constraints allow the variables , , and to be chosen arbitrarily. Using Eqs. (26) and (27) the prefactors in the Hamilton operator (24) are,
[TABLE]
The choice (25) is reproduced by taking and . By further setting , we obtain . The evolution operator (26) then follows as,
[TABLE]
with the quantity .
Zero-over-zero efficiency. The computation of the efficiency distribution for the two-level engine, Eq. (17) of the main text, involves expressions of the form , which occur with finite probability. Since these are ill defined mathematically, we determine their values physically by concretely considering the case of adiabatic driving, . The corresponding efficiency distribution is,
[TABLE]
since and . The first term, , corresponds to two baths with equal and vanishingly small temperatures, (and the engine always remains in the ground state). Similarly, the second term, , corresponds to two baths with equal and extremely large temperatures, (and the engine always remains in the exciteted state). In both cases, the Carnot formula implies that the efficiency vanishes and we therefore set .
Calculation of the mean values. The average values of work and heat along the different branches of the heat engine cycle are obtained by direct integration of the corresponding probability distributions. We find,
[TABLE]
and in an analogous manner,
[TABLE]
At the same time, the absorbed heat reads,
[TABLE]
We mention that averaged work and heat can also be calculated by considering the energy changes along individual branches of the Otto cycle, that is, by only performing projective energy measurements at the beginning and at the end of one given step, instead of the first three consecutive steps as done above. The two methods give the same results. This may be understood by noting that work and heat only depend on (diagonal) energy differences which do not depend on the (nondiagonal) coherences of the two-level system. The presence or absence of intermediate projective energy measurements hence do not affect the value of the averaged work and heat heat.
Covariance. The covariance between absorbed heat and stochastic efficiency reads hei99 ,
[TABLE]
We have, as a result,
[TABLE]
The covariance is shown in Fig. 5 as a function of the inverse temperature. We notice that it first increases and then decreases as the temperature is lowered. It is moreover always positive, indicating that heat and efficiency are always positively correlated. On the other hand, the ratio increases. Consequently, the mean efficiency is smaller than the corresponding thermodynamic efficiency, .
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1(1) Y. A. Cengel and M. A. Boles, Thermodynamics. An Engineering Approach , (Mc Graw-Hill, New York, 2001).
- 2(2) U. Seifert, Stochastic thermodynamics, fluctuation theorems and molecular machines, Rep. Prog. Phys. 75 , 126001 (2012).
- 3(3) K. Sekimoto, Stochastic Energetics (Spinger, Berlin, 2010).
- 4(4) M. Esposito, U. Harbola and S. Mukamel, Nonequilibrium fluctuations, fluctuation theorems, and counting statistics in quantum systems, Rev. Mod. Phys. 81 , 1665 (2009).
- 5(5) M. Campisi, P. Hänggi, and P. Talkner, Quantum fluctuation relations: Foundations and applications, Rev. Mod. Phys., 83 771 (2011).
- 6(6) G. Verley, M. Esposito, T. Willaert, and C. V. den Broeck, The unlikely Carnot efficiency, Nature Commun. 5 , 4721 (2014).
- 7(7) G. Verley, T. Willaert, C. Van den Broeck, and M. Esposito, Universal theory of efficiency fluctuations, Phys. Rev. E 90 , 052145 (2014).
- 8(8) T. R. Gingrich, G. M. Rotskoff, S. Vaikuntanathan, and P. L. Geissler, Efficiency and large deviations in time- asymmetric stochastic heat engines, New J. Phys. 16 , 102003 (2014).
