Quantum Otto engine with quantum correlations
Abstract
We theoretically propose and investigate a quantum Otto engine that works with a single-mode radiation field inside an optical cavity and is driven alternately by a hot reservoir and a cold reservoir. The hot reservoir is realized using a beam composed of thermally entangled pairs of two-level atoms that interacts resonantly with the cavity, and the cold reservoir is composed of a collection of noninteracting boson modes. In terms of the quantum discord of the pair of atoms, we derive analytical expressions for the performance parameters (i.e., power and efficiency) and the stability measure (the coefficient of variation of power). We show that nonclassical correlations boost the quantum engine’s performance and efficiency, and they may even change the operation mode at specified values of the two bath temperatures. We also demonstrate that the nonclassical correlations improve the stability of the machine by reducing the coefficient of variation of power that satisfies the generalized thermodynamic uncertainty relation. Finally, we find that these results can be transferred to another quantum Otto engine model, in which the optical cavity is coupled alternately to a hot thermal bosonic bath and to a beam composed of pairs of the two correlated atoms that plays the role of a cold reservoir.
I Introduction
The presence of nonclassical correlations is one of the most intriguing signatures of the nonclassicality of a quantum state. These correlations have been considered to be a type of resource in certain quantum tasks, including quantum computation and quantum information processing Hor09 ; Ani08 ; And19 ; Per15 ; Dat07 ; Lan08 ; Son19 ; Chen13 . Quantum discord, which is generally used to quantify nonclassical correlations, is more general than quantum entanglement Modi12 ; Son19 and is defined as the difference between the quantum mutual information and the classical correlations in a system Zurek01 ; Rau10 ; Son19 . Although quantum discord is not always greater than quantum entanglement, it may be nonzero even for separable states in the absence of entanglement Ved01 ; Zurek01 ; Ani08 ; Lutz09 . The quantum discord represents a good figure of merit for quantum resource characterization, not only in quantum information theory, but also in the quantum thermodynamics field Hew18 ; Bar17 ; Alt14 ; wang22 with a focus on quantum thermal machines Bar17 ; Alt14 .
One topic of major interest in quantum thermodynamics is the finite-time performance of nanoscale heat engines, in which quantum effects are apparently held in the working substance Bar17 ; Alt14 ; Huang13 ; Par13 ; Hew18 ; NJP1618 ; chen18 and may even govern the engine’s reservoirs Aba14 ; Kla17 ; RJ19 . In other words, in the quantum realm, both the working substance and the heat reservoirs can be composed of finite-sized systems that can be prepared in quantum states without classical analogues. Finite-time quantum heat engines that work with interacting working systems have been observed to have performance characteristics that are quite different to those with working systems that consist of ideal simple systems Alt14 ; chen18 . While the quantum correlations that are inherent in the working medium may boost the performance of some quantum heat engines NJP1618 , the nonclassical correlations that exist in the working substance may degrade the machine performance of other engines Alt14 ; Hong20 .
When they play the roles of the reservoirs, these finite-dimensional systems can lead to a nonthermal scenario in which the heat engines outperform their classical analogs Aba14 ; Kla17 ; RJ19 . Additionally, the fluctuations in these quantum heat engines cannot be neglected because both the work and the heat are stochastic and fluctuate Sei12 ; Sek10 ; Jiang15 ; Lutz20 ; Esp14 ; Liu20 ; Tu22 ; Hol121 . Quantum heat engines that operate with out-of-equilibrium reservoirs, which may be squeezed Wang19 ; Aba14 ; Kla17 ; Sin20 ; You18 ; Manz18 ; Nie16 ; Assis20 ; Manz16 ; Pap22 , quantum coherent Scu11 ; Quan06 ; Scu03 ; Kor16 ; Guff19 ; Rod19 ; Str17 , quantum measurement induced Tal17 ; Ding18 ; Su21 ; Buf19 ; Her17 ; Jor18 , and nonclassically correlated Ber17 ; And19 ; Per15 , were investigated theoretically and demonstrated experimentally in either finite-time or quasi-static operating modes. These engines, which outperform their classical counterparts, may be models based on different cycles, e.g., the Carnot cycle Scu03 ; Quan06 , the Otto cycle Aba14 ; Wang19 ; Kla17 , and the Stirling cycle Pap22 . A photo-Carnot engine that was introduced by Scully and co-workers Scu03 was extended by including quantum coherence to explore the engine’s thermodynamic efficiency beyond the Carnot limit Lutz09 . It is well known that, with the exception of the case of the reversible Carnot engine working between two thermal reservoirs Car24 ; Cal85 , the performance of heat engines is always model dependent, irrespective of the use of thermal or nonthermal reservoirs.
In this paper, with the aim of using quantum correlations in thermodynamic applications, we propose a quantum Otto engine, which has not been studied to date. The proposed engine works with a single-mode optical cavity and is driven using an out-of-equilibrium reservoir with quantum correlations. In addition to two thermodynamic adiabatic processes, the proposed engine consists of hot and cold isochoric strokes, where the optical cavity is weakly coupled to a thermal reservoir during the cold isochore and interacts resonantly with one of the pair of correlated atoms along the hot isochore. It may be more difficult to prepare the entangled pair of atoms with only one being coupled to the optical cavity that plays the role of the reservoir than to realize the entangled modes under fully noninteracting reservoir conditions. However, it is important to consider such a physical model because it provides a platform for understanding of nanoengines in which the quantum effects of the reservoirs are involved.
We examine the finite-time machine performance and the fluctuations by varying the quantum discord. We show that although the machine will operate as a heat engine at certain bath temperatures with any value of quantum discord, a modulation of the quantum discord may change the operation mode, e.g., a thermal device that is expected to operate as a refrigerator in the absence of quantum discord may operate as a heat engine when the nonclassical correlations are present. For the heat engine, we find that these nonclassical correlations (i) increase both work extraction and thermodynamic efficiency but reduce the relative power fluctuations, with the latter satisfying the generalized thermodynamic uncertainty relation Tim19 , and (ii) enable the finite-time engine to operate at efficiencies beyond the Carnot limit. Finally, we demonstrate that these results are applicable to an alternative quantum Otto cycle, in which the hot reservoir is composed of quantized boson modes and the cold reservoir consists of the pairs of two-level atoms that pass sequentially through the optical cavity.
The remainder of this paper is organized as follows. We briefly review quantum discord and quantum entanglement and clarify the difference between these two quantities in Sec. II, where we also explain why the quantum discord rather than the concurrence is used to describe the nonclassical correlations. In Sec. III, the performance of the quantum Otto engines is investigated. We describe the Otto cycle model in Sec. III.1 and subsequently discuss the machine performance and the power fluctuations in Sec. III.2, where the effects induced by quantum discord are also explored. Finally, we discuss the results and draw conclusions in Sec. IV. This paper also includes four appendices: Appendix A, derivation of the nonadiabatic factor; Appendix B, discussions of the time durations along the two isochoric processes; Appendix C, numerical analysis of an alternative Otto engine in which the optical cavity is coupled to the pair of interacting atoms along the cold isochore; and Appendix D, results with respect to the quantum Otto engines using the two-atom system with nonclassical correlations as the working substance.
II Quantum entanglement and discord
Consider the Hamiltonian of two identical spin- atoms with frequency via an Heisenberg interaction () zheng00 :
(1) |
where is the controllable strength of the interaction. The operator , where , , and () are the ground state, the excited state, and the Pauli matrices for atom (with ), respectively. The eigenvalues and the corresponding eigenvectors of the Hamiltonian in Eq. (1) can be calculated as
(2) | |||||
When the two-atom system is at thermal equilibrium with an inverse temperature , where , the density operator can be determined using , where the canonical partition function for the spin system is . It then follows, when using Eqs. (1) and (II), that the thermal state of the system can be described by
(3) | |||||
where the partition function . To describe the entanglement between the two atoms, the concurrence Woo97 ; Woot97 is introduced. The concurrence can be evaluated using Eq. (3) when it is written in a closed form:
(4) |
When , the concurrence is zero and the mixture is separable because of the vanishing entanglement, but when , the concurrence is positive and the entanglement between the two atoms is non-negligible. This implies that the thermal state (3) would be entangled in the low-temperature and/or strong-coupling cases.
The quantum discord, which is defined as the difference between the quantum mutual information and the classical correlations Zurek01 ; Rau10 , takes the form of
(5) |
The quantum mutual information is given by , where is the von Neumann entropy and is the reduced density matrix of atom . To describe the classical correlations , the measurement basis is introduced to describe the von Neumann measurement for atom only. The conditional density operator associated with measurement result is then given by , where the probability . The quantum conditional entropy with respect to this measurement basis is , and the classical correlations are then determined by vedral03 ; Luo08 ; Luo07 . When the parametrized basis is used, it then follows that the minimum of the discord is reached at Lutz09 , which reads as follows:
(6) | |||||
where , , , , and . In the high temperature and/or weakly coupling limit, where , Eq. (6) can be simplified to give .
In Fig. 1(a) we plot the concurrence and the quantum discord , which are calculated using Eqs. (4) and (6), respectively, as functions of the interaction strength for both and . Both the quantum discord and the concurrence, which depend on the inverse temperature , decrease monotonically as the interaction strength decreases, and they both vanish in the absence of interparticle interactions, as expected. As the inverse temperature increases, these two quantities begin at zero before rising to their respective maximum values and then decrease again before vanishing at large values of the inverse temperature, as shown in Fig. 1(b). Figure 1(b) shows that when , the concurrence is zero, but the quantum discord only vanishes when , showing that the quantum discord holds in the region in which the concurrence is not observed. This means that the quantum discord may be nonzero even when the nonentangled states are separable. Therefore, we will use the quantum discord here, rather than the concurrence , to capture the information about the correlations of the two-atom system.
III Quantum Otto engine
III.1 Four consecutive strokes in a machine cycle
We consider a quantum engine cycle that uses a single mode of the quantized radiation within an optical cavity as its working substance and operates between hot and cold heat reservoirs. During the cold isochoric process, the thermal bath is composed of an infinite collection of noninteracting bosonic modes, but during the hot isochoric stroke, the optical cavity interacts resonantly with a beam composed of thermally entangled pairs of two-level atoms [see Fig. 2(a)] that play the role of the hot nonthermal reservoir. The interaction of the cavity with these atoms is realized by sending only one of a pair of atoms to pass through the cavity, which means that only one of the atoms in the pair interacts with the radiation field Lutz09 . The engine model under consideration as a quantum version of the Otto cycle is drawn schematically in Fig. 2(b). This model consists of two unitary strokes denoted by and , where the system is isolated from the two heat reservoirs, and two isochoric branches denoted by and , along which the optical cavity with the constant Hamiltonian is weakly coupled to the hot reservoir or the cold reservoir, respectively. We now describe the four consecutive steps of the proposed Otto engine cycle as follows.
(i) Unitary compression : The system is isolated from the heat reservoir and undergoes a unitary compression in time . The system’s Hamiltonian is changed from to with a driving function , where and are the annihilation and creation operators of the oscillator, respectively. Because no heat is exchanged, the change in the system’s internal energy is equal to the work done on the system. We use a two-projective-measurement scheme Lutz20 to calculate the probability distribution of the quantum work as follows:
(7) |
where and are the measured energies at the beginning and the end of this stroke, respectively. Here, is the initial occupation probability and with the unitary operator is the transition probability from state to .
(ii) Isochoric heating : For this stroke, we consider the case in which only one atom of the correlated pair with the constant inverse temperature is sent to pass through the cavity. The Hamiltonian of the single radiation mode in the cavity is constant, with a fixed frequency . Therefore, the stochastic heat injection is equivalent to an increase in the system eigenenergy, with no work being produced along the stroke. The probability distribution for the heat absorbed by the system during this stroke, given that the stochastic compression work is , can then be expressed as Lutz20 ; jiao21
(8) |
where and are the measured energies at the beginning and the end of the heating stroke, respectively. indicates the probability that the system is in eigenstate after the second projective measurement during the unitary compression, and is the probability that the system will collapse into the state after the second projective measurement for this hot isochore. In the case where the system reaches the unique steady state at the end of the isochore Lutz20 ; jiao21 , the probability satisfies the following generalized canonical form: , where is called the effective temperature and will be defined in Eq. (11).
The atom that passes through the optical cavity interacts with the cavity via a resonant Jaynes-Cummings coupling, which is given by Nar80 with a coupling constant . When an ensemble composed of many atoms is sent to the optical cavity, the cavity state dynamics can be described by Lutz09 ; Sch01
(9) | |||||
where is the time spent by the atoms inside the cavity and is the Hamiltonian of the single-mode cavity. The coefficients and are the arrival rates for the atoms in the excited and ground states, respectively, and these coefficients are thus associated with the probabilities of emission and absorption of a photon in the cavity, respectively. These two coefficients are determined using and , where , , and .
The optical cavity, as the working substance, is allowed to relax to the stationary state at the end of the hot isochoric stroke, where the first term on the right hand side of Eq. (9) is vanishing because , and the time duration of this stroke is assumed to be much shorter than the duration of the unitary stroke. The asymptotic steady-state solution to Eq. (9), which describes the stationary state of the optical cavity, is then obtained as:
(10) |
where is introduced to denote the effective inverse temperature of the optical cavity. The detailed balance condition then produces
(11) |
Given the frequency and the interaction strength , the effective inverse temperature will thus increase monotonically with increasing inverse temperature , as illustrated in Fig. 3(a). The normalized temperature as a function of is plotted in Fig. 3(b), demonstrating that is a monotonically decreasing function of and for a vanishing , as expected. The discord given by Eq. (6) is determined by the interaction strength , which means that the effective temperature is closely dependent on the discord . Because the discord is a monotonically increasing function of the interaction strength, the ratio decreases with increasing [see the inset of Fig. 3(b)]. Physically, a greater discord means that the system deviates further away from the thermal state of the inverse temperature . We also note from Eq. (11) that the expression for the normalized temperature can be simplified to give in the high-temperature and/or weak-coupling limit .
(iii) Unitary expansion : The optical cavity is isolated again from the heat reservoir and undergoes a unitary expansion during the time period with the driving function . Because this stroke can be accomplished by reversing the protocol used in the compression process described above, we set to obtain . During this stroke, no heat is exchanged, and the change in the system’s internal energy is equal to the work done on the system. For the given quantum expansion work and heat injection , by using the two-point-measurement scheme again, the probability distribution of the stochastic work during the expansion process is given by
(12) |
where is the probability that the optical cavity is in the eigenstate after the second projective measurement in the isochoric heating. In addition, is the transition probability between the instantaneous eigenstates and , where is the unitary operator.
(iv) Isochoric cooling : The system, which has the constant Hamiltonian , is coupled to a thermal reservoir of constant inverse temperature in the time duration , which is much shorter than the adiabatic driving time . The system reaches thermal equilibrium with the heat reservoir at the end point of the cold isochore, and the state of the system at this end point is given by .
III.2 Machine performance and fluctuations
To determine the statistics of the work and the heat, the characteristic function of the joint distribution function given in Eq. (13), denoted by , can be obtained as follows Lutz21 ; Fei22 :
(14) |
where
(15) |
and
(16) |
Here, we have used , , and . As shown in Appendix A, the parameter can be derived to be
(17) |
where , and this parameter is called the nonadiabatic factor. In the case where , Eq. (17) then becomes , indicating that the extreme limit of leads to . Within the long time limit, approaches , and thus the quantum adiabatic condition is satisfied .
The average and the variance of the work, and the average heat injection, can be obtained explicitly as
(18) | |||||
(20) |
respectively, where we have used and to denote the mean numbers of the cavity with the cold thermal reservoir and the hot nonthermal reservoir, respectively.
The average values of the work and the heat injection depend on the quantum discord, which enters into , and under this condition, even the operation mode can change when the quantum discord is involved. Notably, the mean work given by Eq. (18) can be split into the following sum of two parts: , where the first part is the mean work in the quantum adiabatic case, and the second part is the frictional work caused by diabatic transitions occurring along the two unitary driven processes.
As repeatedly emphasized in the work above, the quantum entanglement is vanishing in the case of multipartite separable states, where the quantum discord is, however, nonzero [see Fig. 1(b)]. The quantum discord is thus considered to be a more general quantum resource than the quantum concurrence in our engine model. To complete this picture, we have produced, as shown in Fig. 3(c), the average values of the work, the absorbed heat, the concurrence, and the discord as functions of the interaction strength . We see that, for the given parameters, for but only for ; however, in the range where is finite, both and are monotonically increasing functions of . Furthermore, the ranges of the quantities ( and when parametrized using are much larger than those obtained when using . Therefore, we use the quantum discord rather than the concurrence in the analysis of the quantum machine’s performance.
The thermodynamic efficiency, which acts as one of performance measures and is defined by , where and were given by Eqs. (18) and (20), respectively, can then be obtained as
(21) |
which reduces to the so-called Otto efficiency, if two unitary strokes are quantum adiabatic, irrespective of the existence of any correlations between the two atoms. The efficiency (21) can then be rewritten as , where is the so-called generalized Carnot efficiency, and is the average entropy production of the heat engine during a single cycle ar22 . Although the efficiency may surpass the Carnot efficiency , it does satisfy the second law of thermodynamics because it must be bound by the generalized Carnot value as a result of positive entropy production.
Figure 4(a) shows that, for and , as the quantum discord increases, both the mean heat injection and the average work also increase, leading to higher thermodynamic efficiency . Given the specifications selected for the control parameters, including and , the machine always operates as a heat engine with and for finite or vanishing quantum discord. However, when different bath temperature values are selected, the machine mode may be changed by varying the discord. When the control parameters are given for appropriate values of the bath temperature, gradually increasing results in the occurrence of the following three consecutive operating modes [upper panels, Figs. 4(b) and 4(c) ]: (i) the refrigerator mode (, ), (ii) the heater mode (), and (iii) the heat engine mode (, , ).
When the quantum discord increases gradually, the thermodynamic efficiency also increases and tends towards the Otto limit , as shown in lower panels of Fig. 4(a)4(c). For the heater mode, where the heat must flow into the cold reservoir, , the average heat injection can be an arbitrary real number, and no useful work is extracted, i.e., . When operating as a refrigerator, the machine absorbs the heat from the cold reservoir, which entails , and releases this heat into the hot reservoir, such that , and work should be consumed, i.e., . The refrigerator’s coefficient of performance is defined as the ratio of the cooling load to the work input, i.e., , which is positive [see the lower panels in Figs. 4(b) and 4(c)]. We also note from comparison of Fig. 4(b) with Fig. 4(c) that, even at a constant quantum discord, the machine mode can be changed when the bath temperature is modified.
The nonadiabatic factor (17) is dependent on the driving time , and thus the efficiency is a function of both the quantum discord and the driving time . When the driven stroke speeds downward, the nonadiabatic factor decreases, although not monotonically, and it approaches the lower bound of for large values of [see the inset of Fig. 5(a)]. Consequently, the efficiency increases very quickly at first and then levels off, becoming asymptotic to the Otto efficiency [see Fig. 5(a)]. In addition to the efficiency, the power output represents another important measure of the machine’s performance. The power output as a function of shows similar behavior to the efficiency [see Fig. 5(b)]. The average work output (18) is dependent on the driving time because of the time-dependent nonadiabatic factor , and it reaches its maximum value when . Therefore, for different values of the quantum discord, the values of the dimensionless work obtained as a function of fall on top of each other at the point , as illustrated in the inset of Fig. 5(b). We also observe that, when using the given parameters and , the driving time at the maximum work is independent of the interaction strength and thus remains fixed, but the driving time at the maximum power output changes if we change the interaction strength associated with the quantum discord. The power initially increases rapidly to approach the maximum value and then decreases nonmonotonically. In physical terms, when the driving time increases, the frictional work drops rapidly, and then decreases very slowly to zero.
We also observe from Figs. 5(a) and 5(b) that both the power output and the efficiency are enhanced by the quantum discord. This enhancement behavior is caused by the dependences of the excitation number in Eqs. (18) and (21) on the quantum discord . Physically, the quantum discord, as a type of quantum resource, contributes to the mean work extracted and thus enhances the machine’s performance by increasing its power output and efficiency. Furthermore, we note that the oscillations of the curves for the efficiency and the power diminish with increasing quantum discord. The final observation from Fig. 5 is that the quantum entanglement is vanishing at the fixed quantum discord , and the engine is thus fueled by the reservoirs in separable states. The presence of the quantum discord enhances the machine’s performance by increasing its efficiency and power and also improves its stability by reducing the relative fluctuations in power (see also the inset of Fig. 6), even in the case where the reservoirs driving the quantum heat engines are in separable states, i.e., where the quantum entanglement is vanishing.
For quantum heat engines where the heat and the work are stochastic, the fluctuations in the power must be considered because they are associated with the machine’s stability. We consider the coefficient of variation of power , which is equal to the square root of the relative work fluctuations, given by This dimensionless coefficient is shown as a function of the quantum discord in Fig. 6, with the same coefficient being shown as a function of the driving time in the inset. The coefficient of variation of power decreases monotonically and its oscillations are damped as the quantum discord increases, thereby illustrating that the quantum discord can be used to damp the oscillations and the fluctuations in the power output, and thereby can improve the machine’s stability.
The total stochastic entropy production is distributed according to the probability distribution , where . These distributions for the working system, which involve time-reversal symmetry and satisfy the fluctuation theorems, can be expressed as Crooks98 , with being the probability distribution of the time-reversed cycle [in the clockwise direction in Fig. 2(b)]. These theorems always imply the generalized thermodynamic uncertainty relationship for the stochastic work of the following form: Tim19 , where is the inverse function of . Therefore, the coefficient of variation of power should satisfy the following relation: as shown in Fig. 6, where the function is indicated by the green dot-dot-dashed line.
IV Discussion and Conclusions
As an initial remark, we must emphasize that all these results were obtained by assuming that the times and spent on the two thermalization strokes were negligible. The actual time periods for these two processes may have some importance in attempts to determine the machine performance in two very fast isochores because the quantum coherence Bar17 ; Su21 ; ar22 cannot be erased during the partial thermalization process. However, for the engine model under consideration here, where the two isochoric processes proceed at slow speeds, the quantum coherence can be assumed to be trivially small and even to be vanishing. In such a case, we prove in Appendix B that the effects of the values of and on the machine’s performance can be neglected, as we did in the main text of the paper.
A natural extension of our model allows us to discuss another quantum Otto engine model, in which an infinite collection of boson modes and a beam composed of correlated pairs of atoms flying sequentially through the cavity act as the hot thermal and cold nonthermal reservoirs, respectively. Unlike the case in our previous model, where only one atom is weakly coupled to the optical cavity in the hot isochore, in the cold isochoric stroke for the present engine cycle, both atoms in a pair will pass through the optical cavity. As shown in Appendix C, numerical calculations of the average values of the heat, work, efficiency, and power demonstrate that the results obtained in the main text here are reproduced. Based on such a model, we find that the quantum discord (even beyond quantum entanglement) in either the cold reservoir or the hot reservoir is quite beneficial to the machine’s performance and stability, and it may also change the mode of the machine.
As another important model extension, the machine under consideration can be translated into a machine model in which the two reservoirs are both thermal but where nonclassical correlations exist in the working substance. One typical example of such a machine is a quantum Otto engine that works using a two-atom system (1) that is driven alternately by the two thermal reservoirs with constant inverse temperatures and . The quantum Otto engine model can be controlled by controlling either the interaction strength or the frequency (see Appendix D for details). In contrast to our model, which is driven by the nonthermal reservoir, the discord associated with the nonclassical correlations that exist in the working medium may reduce the efficiency under certain regimes and increase the power fluctuations, because interactions between the two atoms result in quantum fluctuations and thus lead to an inevitable increase in entropy Hong20 .
In summary, we have set up a quantum engine working with a single-mode radiation field inside a resonant optical cavity, which is driven alternately by a thermal reservoir and an out-of-equilibrium reservoir with nonclassical correlations. The former reservoir is composed of boson modes and the latter is realized by sending one of two correlated atoms to interact weakly with the optical cavity. In a specific regime involving two bath temperatures, the machine will work as a heat engine for any values of the quantum discord, but for some bath temperature selections, modulation of the quantum discord may cause a change in the operation mode of the machine. We have investigated the performance parameters, which are characterized by both the power and the thermodynamic efficiency, and the machine stability as measured by the variations in the power, all of which are dependent on the quantum discord associated with the nonclassical correlations. We have demonstrated that the quantum discord enables the machine to work as a heat engine in the extended regime, where the machine without the quantum discord may operate as either a refrigerator or a heater. Moreover, our quantum Otto engine, when driven by the nonthermal reservoir with the nonclassical correlations, has enabled us to obtain superior levels of both efficiency and power when compared with a counterpart engine with thermal reservoirs, coinciding with the results obtained from previous models that showed superior performance characteristics for nonthermal reservoirs, such as squeezed reservoirs Kla17 ; ar22 ; Aba14 . Finally, we have demonstrated that the results presented here can be reproduced using another quantum Otto engine model, which is driven by a hot thermal reservoir and a cold nonthermal reservoir by coupling a pair of spin atoms to the optical cavity. Our theoretical results may be helpful when using quantum discord as a type of resource to enable the design of efficient machines from a longer-term perspective.
Acknowledgements This work was supported by the National Natural Science Foundation (Grants No. 11875034, No. 12175040, and No. 12161056). J.W. acknowledges financial support from the Major Program of Jiangxi Provincial Natural Science Foundation(Grants No. 20224ACB201007). Y.M. acknowledges financial support from the State Key Programs of China under Grant No. 2017YFA0304204.
Appendix A Derivation of the nonadiabatic factor
To describe the system dynamics along a unitary driven stroke, we rewrite the Hamiltonian of the optical cavity in terms of the momentum and position operators and to give , and we also introduce the Lagrangian and the position-momentum correlation . Next, we introduce a vector Lee20 , where the superscript denotes the matrix transpose. The dynamics for the vector can be given by:
(22) |
where
(23) |
We assume that the system is in the thermal state at the beginning of the unitary driven stroke, as stated in our engine cycle, where the thermalization of the system is complete at the end of a hot or cold isochoric stroke. Using Eq. (22), at the end of a unitary stroke with time duration and with the driving protocol , the system energy can be obtained via simple algebra Fei22 :
(24) |
where we have used . The first factor in Eq. (24) can be identified as the nonadiabatic factor [ see Eq. (17)]. Within the quench limit with , we find that . In the special case where , the nonadiabatic factor (17) can be re-expressed as:
(25) | |||||
Appendix B Time durations along the two isochoric processes
Here, we analyze the time required to complete the hot and cold isochoric strokes, with reservoir temperatures of (). To proceed, we consider only the transitions between two adjacent energy levels. Under this condition, the dynamics for the probability of occupying a state are obtained by using Eq. (9) Sch01 , where
where and . Here, satisfies the detailed balance requirements, which are for the hot isochoric stroke and for the cold isochoric process. Then, when using the mean photon number with , it follows that the evolution of the mean photon number over time is given by:
(27) | |||||
where we have used and . The sums that contain the square of the summation index cancel, leading to:
(28) |
the solution of which is given by
The mean photon numbers at the ends of the hot isochore and the cold isochore can then be obtained by using Eq. (B), where:
(30) |
and
(31) |
respectively, and we have used , , and . Here, denotes the heat conductivity between the system and the heat reservoir at a temperature . Within the long time limit (), the system reaches the steady state (i.e., thermal equilibrium) at the instant () within a single cycle [as illustrated in Fig. 2(b], yielding and .
The mean populations at the initial and final states of two unitary driven strokes satisfy the following relations Aba14 :
(32) |
where was defined in Eq. (17). Through consideration of Eqs. (30)(32), the mean photon numbers at the respective ends of the cold and hot isochores, described by Eqs. (30) and (31), respectively, become
(33) |
(34) |
The average population (), as an exponentially decreasing (increasing) function of and , approaches the specific limit (). By replacing and with and in Eqs. (18), (III.2), and (21), the output work, the fluctuation of work, and the thermodynamic efficiency become
(35) |
(37) |
respectively. Using Eqs. (35), (B), and (37), we can then numerically determine the power output [], the efficiency, and the relative power fluctuations. As an example, by setting and , we plot the power output and the efficiency in Fig. 7 as functions of the driving time for different values of the quantum discord. The shapes of the efficiency and power output curves in Figs. 7(a) and 7(b) are similar to the corresponding results in Figs. 5(a) and 5(b), respectively. Because () increases very rapidly with increasing and , it approaches when the times are long enough. The long time required to complete a thermalization process gives the results similar to those obtained using our model when assuming to be negligible, which means that selection of and such that they fell into a very specific range produced the same results, and thus our theory is applicable to our machine model, where the working medium is very close to the steady state at the end of each isochore.
Appendix C An Otto engine in which the optical cavity is coupled to the pair of interacting atoms along the cold isochore
Here, we consider an alternative quantum Otto engine in which the optical cavity interacts simultaneously with the pair of correlated atoms (1) of inverse temperature during the cold isochore. The inverse temperatures of the two reservoirs are also still denoted by and . In each cycle, the single-mode radiation field in the optical cavity acting as the working substance reaches the steady (thermal) state at the end of the cold (hot) isochoric stroke.
To proceed, we define and , with , , , and . By replacing and with and , respectively, in Eq. (9), the asymptotic stationary solution is given by , where denotes the effective inverse temperature of the optical cavity. With the detailed balance condition, the ratio of becomes , which leads to Lutz09
(38) |
which then produces the excitation number . While remaining in contact with the hot thermal reservoir, the working substance relaxes to the thermal state at the end of the hot isochoric stroke, and its the excitation number is then given by . The important point here is that the nonadiabatic factor (17) is only dependent on the system Hamiltonian and the driving time. Therefore, the work statistics ( and ) and the efficiency ( are still given by Eqs. (18), (III.2), and (21), respectively, while replacing and with and , respectively. In an analogous manner to the efficiency of the heat engine, the coefficient of performance, which is defined as , is a performance measure for the refrigerator. The numerical results for the average work, the average heat values during the hot and cold isochores, the power output, and the efficiency (coefficient of performance) are presented in Fig. 8.
The operating mode of the thermal machine can be changed if the strength of the quantum discord varies; we find that, for a given set of control parameters, the quantum-discord-dependent operating mode may cause the machine to act as a refrigerator, a heater, or a heat engine, as shown in Fig. 8(a). In addition, the machine can operate with high efficiency, including at efficiencies greater than the Carnot efficiency, if the quantum discord is large enough, which is consistent with the results presented in Fig. 4. Figure 8(b) shows that the power and efficiency are both improved as the quantum discord in the cold isochoric state is increased, which is consistent with the results in Fig. 5. Our additional calculations of the power fluctuations, which are not plotted here, demonstrate that the variance of the power behaves in a manner corresponding to that shown in Fig. 6. Therefore, for this machine model, the quantum discord (even beyond the quantum entanglement) in either the cold or the hot heat reservoir is quite beneficial to machine performance and stability, and can even cause a change in the machine mode.
Appendix D Quantum Otto engines based on the two-atom system with nonclassical correlations
Here, we consider a quantum Otto engine working with the two-atom system of the Hamiltonian given by Eq. (1) that is driven by two thermal bosonic baths. A machine cycle consisting of two unitary and two isochoric strokes can be realized by modulating the interparticle interactions and the frequency, respectively. Specifically, in the former case, the hot (cold) isochoric stroke proceeds with (), and in the latter case, the hot (cold) isochore corresponds to ( ).
When the interaction strength is controlled, the energy gap is changed during the unitary compression and expansion strokes with the following interaction strength: and The driving Hamiltonian of Eq. (1) becomes during the unitary compression and along the expansion stroke. The system Hamiltonian is thus kept constant at during the cold isochore and at along the hot isochore. The unitary operators in the compression and expansion operations can be written as with the time-ordering operator . At the end of the hot or cold isochoric stroke, the system reaches the thermal state with , where .
Because the work is only produced during the two unitary driven strokes, the characteristic function Fran22 can be given by
(39) |
where and . With this function, the average work and work fluctuations can be obtained according to and . The average heat injection during the hot isochoric stroke, which is equivalent to the difference between the system energy at the initial state and that at the final state, is given by . This result, together with the work output , determines the efficiency . In Fig. 9(a), numerical results are presented for the work output () and the heat values absorbed ( and ) as a function of the quantum discord. The machine operation modes comprise three types: heat engine (red), heater (yellow), and refrigerator (blue). Because of the nonmonotonic behaviors of the work output and the heat injection as a function of the quantum discord, the curve between the efficiency and the discord is parabola-like [c.f. Fig. 9(b)]. The quantum chaos is enlarged by the interactions within the working substance Hong20 , and thus the relative power fluctuations increase as the quantum discord increases, as also shown in Fig. 9(b).
The quantum Otto engine can be set up via modulation of its external field (i.e., frequency ) while keeping constant. During the unitary compression and expansion strokes, the variation of the frequency satisfies the following relationship: and The driving Hamiltonians of Eq. (1) along the compression and expansion directions are found to be and , respectively. The Hamiltonian along an isochoric remains fixed, and it then reads as for the cold isochore and as during the hot isochore. By using the same approach that was adopted in the model based on modulation of the interaction strength, we can determine the performance measures, including the work output , the efficiency , and the relative power fluctuations , as shown in Figs. 9(c) and 9(d). Given this choice of the parameters, the machine can then only work as a heat engine in the region ; otherwise, it operates as a refrigerator. For the heat engine, the quantum discord yields a reduction in efficiency but an increase in power fluctuations. We therefore find that when the engines operate with an interacting quantum system, the nonclassical correlations in the working medium affect the machine performance negatively, in contrast to our model, where the quantum correlations in the reservoir lead to improved performance.
References
- (1) R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki, Quantum entanglement, Rev. Mod. Phys. 81, 865 (2009).
- (2) A. Datta, A. Shaji, and C. M. Caves, Quantum discord and the power of one qubit, Phys. Rev. Lett. 100, 050502 (2008).
- (3) A. Datta and G. Vidal, Role of entanglement and correlations in mixed-state quantum computation, Phys. Rev. A 75, 042310 (2007).
- (4) B. P. Lanyon, M. Barbieri, M. P. Almeida, and A. G. White, Experimental quantum computing without entanglement, Phys. Rev. Lett. 101, 200501 (2008).
- (5) G. M. Andolina, M. Keck, A. Mari, M. Campisi, V. Giovannetti, and M. Polini, Extractable work, the role of correlations, and asymptotic freedom in quantum batteries, Phys. Rev. Lett. 122, 047702 (2019).
- (6) M. Perarnau-Llobet, K. V. Hovhannisyan, M. Huber, P. Skrzypczyk, N. Brunner, and A. Acín, Extractable work from correlations, Phys. Rev. X 5, 041011 (2015).
- (7) A. Sone, Q. Zhuang, C. Li, Y. X. Liu, and P. Cappellaro, Nonclassical correlations for quantum metrology in thermal equilibrium, Phys. Rev. A 99, 052318 (2019).
- (8) C. Wang and Q. H. Chen, Exact dynamics of quantum correlations of two qubits coupled to bosonic baths, New J. Phys. 15, 103020 (2013).
- (9) K. Modi, A. Brodutch, H. Cable, T. Paterek, and V. Vedral, The classical-quantum boundary for correlations: Discord and related measures, Rev. Mod. Phys. 84, 1655 (2012).
- (10) H. Ollivier, and W. H. Zurek, Quantum discord: A measure of the quantumness of correlations, Phys. Rev. Lett. 88, 017901 (2001).
- (11) M. Ali, A. R. P. Rau, and G. Alber, Quantum discord for two-qubit X states, Phys. Rev. A 81, 042105 (2010).
- (12) L. Henderson and V. Vedral, Classical, quantum and total correlations, J. Phys. A 34, 6899 (2001).
- (13) R. Dillenschneider and E. Lutz, Energetics of quantum correlations, Europhys. Lett. 88, 50003 (2009).
- (14) A. Hewgill, A. Ferraro, and G. De Chiara, Quantum correlations and thermodynamic performances of two-qubit engines with local and common baths, Phys. Rev. A 98, 042102 (2018).
- (15) F. Altintas, Ali Ü. C. Hardal, and Özgür E. M ustecaplıog̃lu, Quantum correlated heat engine with spin squeezing, Phys. Rev. E 90, 032102 (2014).
- (16) G. Alvarado Barrios, F. Albarrán-Arriagada, F. A. Cárdenas-López, G. Romero, and J. C. Retamal, Role of quantum correlations in light-matter quantum heat engines, Phys. Rev. A. 96, 052119 (2017).
- (17) X. Wang and J. Wang, The effect of nonequilibrium entropy production on the quantum Fisher information and correlations, Quant. Info. Proc. 21, 1 (2022).
- (18) X. L. Huang, H. Xu, X. Y. Niu, and Y. D. Fu, A special entangled quantum heat engine based on the two-qubit Heisenberg model, Phys. Scr. 88, 065008 (2013).
- (19) J. J. Park, K. H. Kim, T. Sagawa, and S. W. Kim, Heat engine driven by purely quantum information, Phys. Rev. Lett. 111, 230402 (2013).
- (20) J. Jaramillo, M. Beau, and A. del Campo, Quantum supremacy of many-particle thermal machines, New J. Phys. 18, 075019 (2016).
- (21) J. F. Chen, H. Dong, and C. P. Sun, Bose-Fermi duality in a quantum Otto heat engine with trapped repulsive bosons, Phys. Rev. E 98, 062119 (2018).
- (22) J. Roßnagel, O. Abah, F. Schmidt-Kaler, K. Singer, and E. Lutz, Nanoscale heat engine beyond the Carnot limit, Phys. Rev. Lett. 112, 030602 (2014).
- (23) J. Klaers, S. Faelt, A. Imamoglu, and E. Togan, Squeezed thermal reservoirs as a resource for a nanomechanical engine beyond the Carnot limit, Phys. Rev. X 7, 031044 (2017).
- (24) R. J. de Assis, T. M. de Mendonca, C. J. Villas-Boas, A. M. de Souza, R. S. Sarthour, I. S. Oliveira, and N. G. de Almeida, Efficiency of a quantum Otto heat engine operating under a reservoir at effective negative temperatures, Phys. Rev. Lett. 122, 240602 (2019).
- (25) Y. Y. Hong, Y. L. Xiao, J. Z. He, and J. H. Wang, Quantum Otto engine working with interacting spin systems: Finite power performance in stochastic thermodynamics, Phys. Rev. E 102, 022143 (2020).
- (26) U. Seifert, Stochastic thermodynamics, fluctuation theorems and molecular machines, Rep. Prog. Phys. 75, 126001 (2012).
- (27) K. Sekimoto, Stochastic Energetics (Berlin:Spinger), 2010.
- (28) J. H. Jiang, B. K. Agarwalla, and D. Segal, Efficiency statistics and bounds for systems with broken time reversal symmetry, Phys. Rev. Lett. 115, 040601 (2015).
- (29) T. Denzler and E. Lutz, Efficiency fluctuations of a quantum heat engine, Phys. Rev. Res. 2, 032062(R) (2020).
- (30) G. Verley, M. Esposito, T. Willaert, and C. Van den Broeck, The unlikely Carnot efficiency, Nat. Commun. 5, 4721 (2014).
- (31) F. Liu and S. H. Su, Stochastic Floquet quantum heat engines and stochastic efficiencies, Phys. Rev. E 101, 062144 (2020).
- (32) M. N. Ding, Z. C. Tu, and X. J. Xing, Strong coupling thermodynamics and stochastic thermodynamics from the unifying perspective of time-scale separation, Phys. Rev. Res. 4, 013015 (2022).
- (33) V. Holubec and A. Ryabo, Cycling tames power fluctuations near optimum efficiency, Phys. Rev. Lett. 121, 120601 (2018).
- (34) V. Singh and Özgür E. Müstecaplıoǧlu, Performance bounds of nonadiabatic quantum harmonic Otto engine and refrigerator under a squeezed thermal reservoir, Phys. Rev. E 102, 062123 (2020).
- (35) J. H. Wang, J. Z. He, and Y. L. Ma, Finite-time performance of a quantum heat engine with a squeezed thermal bath, Phys, Rev. E 100, 052126 (2019).
- (36) Y. N. You and S. W. Li, Entropy dynamics of a dephasing model in a squeezed thermal bath, Phys. Rev. A 97, 012114 (2018).
- (37) G. Manzano, Squeezed thermal reservoir as a generalized equilibrium reservoir, Phys. Rev. E 98, 042123 (2018).
- (38) W. Niedenzu, D. Gelbwaser-Klimovsky, A. G.Kofman, and G. Kurizki, On the operation of machines powered by quantum non-thermal baths, New. J. Phys. 18, 083012 (2016).
- (39) R. J. de Assis, J. S. Sales, J. A. R. da Cunha, and N. G. de Almeida, Universal two-level quantum Otto machine under a squeezed reservoir, Phys. Rev. E 102, 052131 (2020).
- (40) G. Manzano, F. Galve, R. Zambrini, and J. M. R. Parrondo, Entropy production and thermodynamic power of the squeezed thermal reservoir, Phys. Rev. E 93, 052120 (2016).
- (41) N. Papadatos, Quantum Stirling heat engine with squeezed thermal reservoir, Chinese Phys. B 32, 100702 (2023).
- (42) M. O. Scully, K. R. Chapin, K. E. Dorfman, M. B. Kim, and A. Svidzinsky, Quantum heat engine power can be increased by noise-induced coherence, Proc. Natl. Acad. Sci. USA 108, 15097 (2011).
- (43) H. T. Quan, P. Zhang, and C. P. Sun, Quantum-classical transition of photon-Carnot engine induced by quantum decoherence, Phys. Rev. E 73, 036122 (2006).
- (44) K. Korzekwa, M. Lostaglio, J. Oppenheim, and D.Jennings, The extraction of work from quantum coherence, New. J. Phys. 18, 023045 (2016).
- (45) F. L. S. Rodrigues, G. De Chiara, M. Paternostro, and G. T. Landi, Thermodynamics of weakly coherent collisional models, Phys. Rev. Lett. 123, 140601 (2019).
- (46) A. Streltsov, G. Adesso, and M. B. Plenio, Colloquium: Quantum coherence as a resource, Rev. Mod. Phys. 89, 041003 (2017).
- (47) M. O. Scully, M. S. Zubairy, G. S. Agarwal, and H. Walther, Extracting work from a single heat bath via vanishing quantum coherence, Science 299, 862 (2003).
- (48) T. Guff, S. Daryanoosh, B. Q. Baragiola, and Alexei Gilchrist, Power and efficiency of a thermal engine with a coherent bath, Phys. Rev. E 100, 032129 (2019).
- (49) J. Yi, P. Talkner, and Y. W. Kim, Single-temperature quantum engine without feedback control, Phys. Rev. E 96, 022108 (2017).
- (50) X. Ding, J. Yi, Y. W. Kim, and P. Talkner, Measurement driven single temperature engine, Phys. Rev. E 98, 042122 (2018).
- (51) Z. Y. Lin, S. H. Su, J. Y. Chen, J. C. Chen, and J. F. G. Santos, Suppressing coherence effects in quantum-measurement-based engines, Phys. Rev. A 104, 062210 (2021).
- (52) L. Buffoni, A. Solfanelli, P. Verrucchi, A. Cuccoli, and M. Campisi, Quantum measurement cooling, Phys. Rev. Lett. 122, 070603 (2019).
- (53) C. Elouard, D. Herrera-Martí, B. Huard, and A. Auffèves, Extracting work from quantum measurement in Maxwell's demon engines, Phys. Rev. Lett. 118, 260603 (2017).
- (54) C. Elouard and A. N. Jordan, Efficient quantum measurement engines, Phys. Rev. Lett. 120, 260601 (2018).
- (55) M. N. Bera, A. Riera, M. Lewenstein, and A. Winter, Generalized laws of thermodynamics in the presence of correlations, Nat. Commun. 8, 2180 (2017).
- (56) S. Carnot, Reflections on the Motive Power of Fire and on Machines Fitted to Develop that Power (Bachelier, Paris, 1824).
- (57) H. B. Callen, Thermodynamics and an Introduction to Thermostatistics, 2nd ed. (Wiley, New York, 1985).
- (58) A. M. Timpanaro, G. Guarnieri, J. Goold, and G. T. Landi, Thermodynamic uncertainty relations from exchange fluctuation theorems, Phys. Rev. Lett. 123, 090604 (2019).
- (59) S.-B. Zheng and G.-C. Guo, Efficient scheme for two-atom entanglement and quantum information processing in cavity QED, Phys. Rev. Lett. 85, 2392 (2000).
- (60) S. Hill and W. K. Wootters, Entanglement of a pair of quantum bits, Phys. Rev. Lett. 78, 5022 (1997).
- (61) W. K. Wootters, Entanglement of formation of an arbitrary state of two qubits, Phys. Rev. Lett. 80, 2245 (1998).
- (62) V. Vedral, Classical correlations and entanglement in quantum measurements, Phys. Rev. Lett. 90, 050401 (2003).
- (63) S. Luo, Quantum discord for two-qubit systems, Phys. Rev. A 77, 042303 (2008).
- (64) N. Li and S. Luo, Total versus quantum correlations in quantum states, Phys. Rev. A 76, 032327 (2007).
- (65) G. Q. Jiao, Y. Xiao, J. Z. He, Y. L. Ma, and J. H. Wang, Quantum Otto refrigerators in finite-time cycle period, New. J. Phys. 23, 063075 (2021).
- (66) J. H. Eberly, N. B. Narozhny, and J. J. Sanchez-Mondragon, Periodic spontaneous collapse and revival in a simple quantum model, Phys. Rev. Lett. 44, 1323 (1980).
- (67) W. P. Schleich, Quantum Optics in Phase Space (Wiley, New York) 2001.
- (68) T. Denzler and E. Lutz, Efficiency large deviation function of quantum heat engines, New. J. Phys. 23, 075003 (2021).
- (69) Z. Y. Fei, J. F. Chen, and Y. H. Ma, Efficiency statistics of a quantum Otto cycle, Phys. Rev. A 105, 022609 (2022).
- (70) Y. Xiao, D. H Liu, J. Z. He, W. M. Liu, L. L. Yan, and J. H. Wang, Thermodynamics and fluctuations in quantum heat engines under reservoir squeezing, arXiv:2205.13290.
- (71) G. E. Crooks, Nonequilibrium measurements of free energy differences for microscopically reversible Markovian systems, J. Stat. Phys. 90, 1481 (1998).
- (72) S. Y. Lee, M. Ha, J. M Park, and H. Jeong, Finite-time quantum Otto engine: Surpassing the quasistatic efficiency due to friction, Phys. Rev. E 101, 022127 (2020).
- (73) G. Francica, Class of quasiprobability distributions of work with initial quantum coherence, Phys. Rev. E 105, 014101 (2022).