Abstract
At the heart of quantum thermodynamics lies a fundamental question about what is genuine “quantum” in quantum heat engines and how to seek this quantumness, so that thermodynamical tasks could be performed more efficiently compared with classical protocols. Here, using the concept of Prepresentability, we define a function called classicality, which quantifies the degree of nonclassicality of bosonic modes. This function allows us to explore the role of nonclassicality in quantum heat engines and design optimal protocols for work extraction. For two specific cycles, a quantum Otto and a generalised one, we show that nonclassicality is a fundamental resource for performing thermodynamic tasks more efficiently.
Similar content being viewed by others
Introduction
The effort to understand the relationship between quantum mechanics and thermodynamics makes the field of quantum thermodynamics extremely wide. Due to its broad nature, questions underlining the interplay between quantum features, such as coherence and entanglement, have been thoroughly explored using different approaches^{1,2,3,4}. One aspect broadly investigated is the production of work in quantum heat engines. These are composed of one or more quantum systems that operate between two different reservoirs with the sole aim of converting heat into work. Although the laws of quantum mechanics rule these engines, this does not necessarily imply a “quantum advantage”^{5,6,7,8}. In fact, a remarkable similarity was observed with classical models^{9,10,11,12,13,14,15,16,17,18}, raising the question of how the intrinsic features of quantum mechanics, such as entanglement and coherence, could be used to enhance the performance of quantum heat engines. The use of nonthermal baths, i.e., engineered reservoirs characterised by their temperatures and additional parameters, has presented a comprehensive scenario to study the relation between quantum effects and thermodynamic efficiency^{1,19,20,21,22,23,24,25,26,27}. In particular, nonthermal baths were previously shown to be used as a resource to exceed the standard Carnot limit^{22,28}. In the context of heat engines, squeezed thermal baths have played an essential role, since a proofofprinciple experiment based on a nanobeam heat engine has recently been reported^{29}. Subsequently, in Ref.^{30}, the author developed a framework underlying the main properties of this reservoir and showed that a squeezed thermal bath could be recast as a generalised equilibrium reservoir. However, in many of these works, although a nonclassical feature was present, its role was not fully investigated, in favour of a previously established concept of nonpassivity^{31,32}. But how can we quantify nonclassicality in heat engines? Can we quantify nonpassivity through measurable quantities? An answer may be given from the principles of quantum optics.
Radiation fields with states described by specific features that can only be understood by a quantum mechanical description are known as nonclassical states^{33,34,35}. The definition of nonclassicality is not unique, but for bosonic fields, the most strict way to quantify it is through the concept of Prepresentability, which states that a given state \(\rho\) is said to be Prepresentable if it can be written as a convex mixture of coherent states
with a proper probability distribution function \(P(\alpha , \alpha ^*)\) over an ensemble of states, i.e., \(P(\alpha , \alpha ^*)\) is nonnegative and is less, or equally, singular than the delta distribution—these states are known as classical states. In contrast, nonclassical states corresponds to those that cannot be written as in Eq. (1), because its quasiprobability distribution is negative or highly singular. This definition is particularly relevant in the context of quantum information systems based on bosonic modes since only nonPrepresentable states can generate entanglement when mixed with vacuum in a beamsplitter^{36,35,38}. A prominent example of nonclassical states is the set of squeezed states, in which the fluctuation associated with one quadrature component is below the vacuum state^{39}. Early theoretical work in the 60s and 80s led to the conclusion that quantum fluctuations can be reduced below the shot noise in many forms of nonlinear optical interactions^{40,39,42}. For example, squeezed states are produced in nonlinear processes called degenerate parametric downconversion, where a “classical” electromagnetic field drives a nonlinear medium and pairs of correlated photons of the same frequency are generated. The nonclassical effects of light can be revealed in different ways. In the present case, this manifestation occurs in terms of coherence (offdiagonal elements) since the squeezing operation induces nondiagonal elements in the energy eigenbasis.
We aim to present a discussion by combining tools from quantum optics and continuous variable systems. As a result, we explore the role of nonclassicality in quantum thermodynamics by quantifying the degree of \(non{\text{}}classicality\) in terms of the Prepresentability. It is worth stressing that nonpassivity is a necessary but not sufficient condition to detect nonclassicality, and this distinction is not clear for a singlebosonic mode. However, the converse holds, i.e., all nonclassical states are nonpassive. For two specific examples, i.e., a quantum Otto and a generalised cycle, we show that the nonclassicality is a resource for quantum heat engines, meaning that a given thermodynamic task can be performed more efficiently when this engine operates in the nonclassical regime. The first analysed cycle the Otto cycle agrees with the results of Refs.^{22,30} where they employed a modulation in the frequency of the bosonic mode as a work parameter. Since we are interested in the tradeoff between nonclassicality and thermodynamic efficiency, the squeezing parameter is used as the work variable.
The paper is organised as follows. In “Classicality and passivity” section, we start by setting the notation and introduce some preliminaries concepts involving the Gaussian parametrisation and the definition of Prepresentability. Then, we define the classicality function and briefly recall the concept of passive states. In “Thermodynamic setting” section, the thermodynamic approach is described, and in “Quantum heat engines” section we use the defined concepts to analyse two different cycles. Finally, we conclude with an outlook in in “Conclusion” section.
Classicality and passivity
Classicality
A multimode Gaussian state, with bosonic operators \(\mathbf{a} = (a_1, a^{\dagger }_1, \ldots , a_N, a^{\dagger }_N)^{\mathsf {T}}\) satisfying the canonical commutation relation^{43,44},
is entirely described by its two first statistical moments, the firstorder, or displacement, and the secondorder moments collected in the covariance matrix (CM). For the problem under consideration, we assume a single bosonic mode with zero first moment and CM given by
The diagonal elements of \(\mathbf{V}\) represent the mean photon number, or occupation, whereas the offdiagonal elements represent correlations between different eigenstates, and these will be referred to as coherence parameter. A system described by a Hamiltonian H, and in thermal equilibrium with a thermal environment at temperature T, is described by a thermal state
where \(k_B\) denotes the Boltzmann constant. This state is an example of a Gaussian state, with null first moment and covariance matrix given by
where the thermal average number of photons \({\bar{n}}_{\text {th}} = (e^{\hbar \omega /k_B T}1)^{1}\) is given by the BoseEinstein distribution. A squeezed thermal state \(\rho _{\text {sth}}\) is a Gaussian state with zero displacement and CM equal to
where now the occupation and coherence parameters are given by \({\bar{n}}_{\text {sth}} = {\bar{n}}_{\text {th}} \cosh 2r + \sinh ^2 r\), with r being the squeezing parameter, and \(m_{\text {sth}} = ({\bar{n}}_{\text {th}}+1/2) \sinh 2r\), respectively. As mentioned before, without loss of generality, the direction in the phase space in which the squeezing occurs is set to zero. Therefore, a squeezed thermal state is completely parameterised by its temperature and the squeezing parameter
By definition, a state is Prepresentable (or classical) if its covariance matrix satisfies the following relation^{45} (for more details, see the Supplementary Material).
meaning explicitly from Eq. (3) that
From the condition (8), it is inferred that not all states are classical and their classicality depends on the occupation and coherence parameter. Although the thermal state is always classical (m is always zero), a squeezed thermal state may not be depending on r. Increasing the squeezing parameter, a transition from the classical to the nonclassical regime is observed at a critical value \(r \equiv r_c\). This threshold, \(r_c\), is reached when \({\bar{n}}_{\text {sth}} = m_{\text {sth}}\). Consequently, for a fixed temperature, the critical squeezing parameter is given by
Physically, \(r_c\) corresponds exactly when one of the quadratures reaches the uncertainty bound, and the state cannot be represented as being merely a mixture of coherent states. In Fig. 1a, for a fixed T, we plot the behaviour of \(n_{\text {sth}}\) and \(m_{\text {sth}}\) as a function of the squeezing parameter. The states between these two curves are classical (blueshaded area). For any \(r > r_c\), the coherence parameter is larger than the mean photon number \(m_{\text {sth}}> n_{\text {sth}}\), and therefore the state is nonclassical (redshaded area).
Following the Prepresentability criteria (7) and (8), we can define the classicality function as the difference between the mean number of photons and the coherence parameter: \(\mathcal {C}\equiv {\bar{n}}m\). This function not only makes the Eq. (8) operational but also gives a nonclassicality quantifier. Hence, \(\mathcal {C}<0\) indicates that the system is described by a nonclassical state. For the squeezed thermal states, the classicality function is given by
Observe that the classicality of a given state depends exclusively on the temperature and the squeezing parameter. Classical states with different temperatures will typically be characterised by different classicalities. As the temperature increases, the system becomes more classical, and a more considerable value of r is required to achieve its nonclassical character (see Fig. 1b). As previously mentioned, this is related to the uncertainty in the quadratures of the bosonic mode – a nonclassical state is attained when this uncertainty falls below the shot noise.
Note that coherent states also present nondiagonal terms in the covariance matrix, which could also be identified as a source of nonclassicality. However, these states do not show any nonclassical manifestation, and this is clear from the definition of the classicality function since, for coherence states, its classicality function is zero. Therefore, coherent states can be considered to be on the verge of being classical and nonclassical states.
Passivity
Consider a quantum system described by a Hamiltonian H and prepared in a state \(\rho\). We say that \(\rho\) is passive if
for all unitaries U that act on the system. States satisfying the above equation cannot have their energy reduced by deterministic unitary transformations. The necessary and sufficient conditions for a state to be passive require that the former commute with the Hamiltonian, i.e., \([\rho , H] = 0\), and for the eigenvalue decomposition \(\rho =\sum _{n=0}^{d1}p_n n\rangle \langle n\), we find that \(\epsilon _n \le \epsilon _m\) implies \(p_n \ge p_m\) for all n and m in \(\{1, ..., d\}\)^{46}. Moreover, a state is kpassive if \(\rho ^{\otimes k}\), with \(k \in {\mathbb {N}}\), is passive. If for all integers \(k \ge 1\), the state is kpassive, thus it is called completely passive.
A thermal state, given by a diagonal covariance matrix, is the only completely passive state. This means that it does not mind how many copies of a thermal state we have, unitary operations cannot lower its energy. Consequently, any resource state for a cyclic engine must be out of thermal equilibrium^{47} and any \(m \ne 0\) in Eq. (3) defines a nonpassive state, but does not necessarily a nonclassical state, as we see in Fig. 1b. For example, a bosonic mode in contact with two reservoirs in thermal states at temperature \(T_1=T_2\) is passive and, to produce work, it is necessary that the reservoirs are out of equilibrium, \(T_1\ne T_2\). Alternatively, by squeezing the mode, the degree of nonpassivity will increase, and also its nonclasssicality, which is measured by Eq. (10). However, the state is only nonpassive and nonclassical for \(r > r_c\). This distinction will be crucial during the description of the two thermodynamic protocols.
Thermodynamic setting
We consider a quantum heat engine based on a single bosonic mode as a working substance. The bosonic mode operates between two reservoirs at different temperatures: a cold thermal bath at temperature \(T_1\) and a hot squeezed thermal bath at \(T_2 > T_1\) with a squeezing parameter \(r_R\). The bosonic mode undergoes two different cycles, with the work parameter being the squeezing. More precisely, both processes consist of reversible operations of squeezing and unsqueezing the mode through different protocols designed to explore the role of the classicality function (see Fig. 2a).
System–bath interaction
We address the problem by assuming a weak coupling regime between the singlemode and heat baths, where the dynamics is modelled adopting a timeindependent Lindblad master equation \({\dot{\rho }} = {\mathcal {L}}(\rho )\). The singlemode, initially isolated and described by a Hamiltonian \(H = \hbar \omega _0 a^{\dagger } a\), is weakly coupled to a bosonic reservoir, \(H_B = \sum _j \hbar \omega _j b^{\dagger }_jb_j\), via a coupling constant \(k_j\) in the rotating wave approximation according to the interaction Hamiltonian \({\mathcal {V}} = \sum _j \hbar (k_j^* a b^{\dagger }_j+k_j a^{\dagger } b_j)\). The cold reservoir is prepared in a thermal state, and the hot reservoir is prepared in a squeezed thermal state, i.e., a thermal state at temperature \(T_2\) to which the squeezing operator has been applied to each oscillator composing the bath. Under the BornMarkov approximation, the master equation for the single mode when interacting with the squeezed thermal bath is given by^{39,48}:
where \(\gamma\) is the coupling constant between the single mode and the bath. The parameters \({\bar{n}}_{\text {sth}} ={\bar{n}}_{\text {th}} \cosh 2r + \sinh ^2 r\) and \(m_{\text {sth}} = ({\bar{n}}_{\text {th}}+1/2) \sinh 2r\) are the same as those in Eq. (6). The stationary solution of Eq. (12) results in the squeezed thermal state^{30},
where \(\beta _{\text {sth}} = \beta \cosh (2r)\) the generalised inverse temperature, and \(\mu = \tanh (2r)\) the chemicallike potential. The operator \({\mathcal {A}}\) has the following form
and it is known as the secondorder moment’s asymmetry since it measures how asymmetric, or compressed, is the state in the phasespace picture. In this work, we will be interested in the regime in which the interaction time between the system and the reservoir goes to infinity, i.e., the asymptotic limit. However, the finite and nonequilibrium regime can also be explored by considering the complete dynamical evolution in Eq. (12).
Thermodynamic work
The next step in our description is to define work. Moving from the macroscopic description to the microscopic quantum realm, a clear picture of what is work and heat becomes blurred, as fluctuations and randomness are fundamentally unavoidable. Thus, carrying out these concepts into the quantum realm is not a straightforward task. However, developments in stochastic thermodynamics^{49,50}, open quantum systems^{11,51}, and quantum information theory^{52,53} have led to significant progress in these efforts.
In a complete analogy with classical thermodynamics, we define work as a controllable (coherent) energy exchange related to a parameter of the system and heat as an (incoherent) flux of energy that cannot be given or subtracted in a controlled manner (or be helpful in some process). As we are interested in a single bosonic mode prepared in a squeezed thermal state with mean energy equal to
one can differentiate Eq. (15) to obtain two different contributions to the mean energy
where we identify the first term as work (an external control parameter) and the second term as heat
The minus signal in the work expression is adopted because, during the preparation of the squeezed state, external energy is required.
The connection between the extracted work and nonclassicallity (coherence) is made using the relative entropy of coherence^{54}, which reveals that the amount of coherence present on the Fock basis is proportional to m and inversely proportional to T
where \(C(\rho ) = S(\rho _{\text {diag}}) S(\rho )\) is the relative entropy of coherence, \(S(\rho):= \textrm{Tr}(\rho \log \rho)\) is the vonNeumann entropy, and \(\rho_{\textrm{diag}}\) denotes the state obtained from \(\rho\) by removing all offdiagonal elements. For an isothermal process, the nonequilibrium free energy characterises the optimal amount of work that can be extracted from a given system with the help of a thermal reservoir^{55,56}. This result also holds for a squeezed thermal bath^{30}. In particular, we can show that the work extracted in this case is directly related to m and is given by
Therefore, by squeezing a bosonic mode, coherence between energy eigenstate is created, and this can be quantified by the parameter m. In our description, the presence of nondiagonal elements in the covariance matrix and a negative classicality function will be an indicator of nonclassicality. Furthermore, the amount of nonclassicality present in a given bosonic system can be quantified by the classicality function (10).
Quantum heat engines
We now turn our attention to investigating the performance of a heat engine that operates in two different cycles. The first is an Otto cycle with isentropic strokes corresponding to a modulation of the squeezing parameter. In this cycle, the classicality of the system increases during its interaction with the squeezed thermal bath since the work parameter (squeezing) is kept constant and the temperature increases. To understand how the degree of nonclassicality affects the performance of the heat engine, we will also consider a second cycle, where instead of keeping a fixed squeezing parameter during the isothermal process, the classicality is maintained constant so that we can analyse the tradeoff between the degree of nonclassicality and the efficiency of the thermodynamic protocol.
Otto cycle
The Otto cycle consists of four consecutive strokes, two isochoric and two isentropic processes, as shown in Fig. 2b. During the isentropic stroke, an external agent modulates the squeezing parameter of the harmonic oscillator between 0 and r. Heating and cooling results from the coupling with the two heat baths at temperatures \(T_1 = \hbar \omega /k_B\) and \(T_2=2\hbar \omega /k_B\). The hot squeezed thermal bath is prepared with the same squeezing parameter as the system after the first stroke. The state of the working fluid that performs the cycle is denoted by \(\rho _{\mathsf {A}}\), \(\rho _{\mathsf {B}}\), \(\rho _{\mathsf {C}}\), and \(\rho _{\mathsf {D}}\), respectively. Furthermore, the mean number of photons will be denoted by \({\bar{n}}_{T_i} = (e^{\hbar \omega /k_B T_i}1)^{1}\), where \(i = 1,2\).
The cycle starts with the working fluid in equilibrium with the cold thermal reservoir. During the first stroke, the working fluid is decoupled from the reservoir and a unitary squeezing operation \({\mathcal {S}}\) is applied to the system, resulting in isentropic compression. The work done in the single mode reads
where r is the squeezing parameter of the transformation. In the second stroke, the bosonic mode is put in contact with the squeezed thermal bath, and the squeezing parameter remains constant, resulting in an “isochoric” process. Then, the mode relaxes to the steady state \(\rho _{\mathsf {C}}\). In this step, the heat exchanged between the system and the squeezed thermal bath is
During the third stroke, the working fluid is again detached from the reservoir, and a unitary unsqueezing operation is applied to the mode \({\mathcal {S}}^{\dagger }\), bringing its squeezing parameter back to 0. Consequently, the amount of work extracted in this stroke is given by
Finally, the cycle is closed by bringing the bosonic mode into contact with the cold thermal bath at temperature \(T_1\), and consequently the state relaxes to \(\rho _{\mathsf {A}}\). During the last isochoric process, the heat transferred from the cold reservoir to the system yields the following results
The work over the cycle is given by the two isentropic contributions
and the efficiency of the engine, defined as the ratio between the output work and the heat absorbed from the hot reservoir, can be obtained from the previous results. Specifically Eqs. (21) and (24) allow us to compute the efficiency
As already expected from Ref.^{22}, the efficiency increases with the squeezing parameter (see Fig. 3) and for higher values of squeezing, the efficiency will approach unity, but will never exceed it. Note that, compared to the classical case, the efficiency does not explicitly depend on the temperature of the reservoirs.
The behaviour of the classicality function throughout the cycle is plotted in Fig. 3b. Observe that in the first stroke \(\mathsf{AB}\), nonclassicality is added to the single mode by the action of the squeezing operator. In other words, a classical state with no coherence was taken to the nonclassical regime (red region), now characterised by a nonclassical state with coherence in its energy eigenbasis.
In the next stroke \(\mathsf {BC}\), the squeezing parameter stays constant, while the temperature of the bosonic mode increases, meaning an increase in the classicality function. This can be interpreted as if the bath had consumed part of the nonclassicality that was added in the first stroke. The last two strokes \(\mathsf {CD}\) and \(\mathsf {DA}\)\(\mathsf {A}\) correspond to the unsqueezing and the lowering of the temperature of the bosonic mode. Thus, in this step, the classicality function increases until its maximum and reaches its initial value. From Fig. 3b, we see that nonclassicality is an essential resource in thermodynamics as the efficiency of the protocol increases with the degree of squeezing. More precisely, with the degree of nonclassicality.
Note that this protocol does not fully explore the nonclassicality added in the bosonic mode as the interaction with the hot reservoir causes an increase in the system’s classicality. This motivates us to introduce a novel stroke type in which the degree of classicality is kept constant during the systemreservoir interaction.
Generalized cycle
We consider the same setup as before: a quantum heat engine operating between a cold thermal bath at temperature \(T_1 = \hbar \omega /k_B\), and a hot squeezed thermal reservoir at \(T_2 = 2 \hbar \omega /k_B\), with squeezing parameter \(r_R\) (see Fig. 2c). The main difference is that now we want to preserve the same degree of nonclassicality added during the interaction of the system with the hot reservoir: this implies that the squeezed thermal bath must be prepared with a different squeezing parameter than the system; essentially, because the system will absorb heat from the hot bath, so its temperature and classicality increases. Consequently, to compensate for the addition of classicality, the system must have its squeezing parameter modulated from \(r_t\) to \(r_R\), where \(r_t\) is the squeezing parameter related to the first stroke. Consequently, during the interaction between the system and the reservoir, we impose the following condition:
The cycle starts with the working fluid in thermal equilibrium with the cold thermal bath, and the procedure followed in the first stroke is the same as in the Otto cycle: the working fluid is disconnected from the cold bath and its squeezing parameter modulated from 0 to \(r_t\). In the second stroke \(\mathsf{BC}\), the bosonic mode is put in contact with the squeezed thermal bath. To keep the classicality constant, the stationary state of the system is slowly varied, so that the condition (26) is satisfied. According to the definitions (17), in the second stroke, work, and heat can be obtained from
Moreover, to satisfy condition (26), work is performed on the system during its interaction with the squeezed thermal bath. The relation between \(r_t\) and \(r_R\), can be obtained using Eq. (26) and gives
In the third stroke \(\mathsf{CD}\), the system is again detached from the reservoirs and an unsqueezing operation, \(S^{\dagger }\), is applied to the mode, changing its squeezing parameter adiabatically back to 0. The cycle is closed by putting the bosonic mode in contact with the cold thermal reservoir and relaxing back to \(\rho _{\mathsf {A}}\).
Once the work and heat are calculated for each stroke, the efficiency of the cycle is determined. Differently from the first protocol, now the efficiency depends on the temperatures and does not have a straightforward expression as before,
A comparison between the efficiency of both cycles is shown in Fig. 4a, where the generalised cycle is represented by a black line, and the Otto cycle by a dashed grey line. The generalised cycle is always more efficient than the Otto cycle, since the classicality of the system is kept constant along the third stroke. Consequently, work must be done on the system to satisfy the condition (26), which means higher extraction of work in the third stroke. Note that in the Otto cycle, the hot bath consumes part of the nonclassicality that is given to the bosonic mode. Here, we prevent this by imposing the condition (26).
As can be observed in Fig. 4a, the nonclassical character of the system depends on its temperature and squeezing parameter. Consequently, for a singlemode operating at two different temperatures, there are two different critical squeezing parameters, denoted by \(r_{c_1}\) and \(r_{c_2}\). This implies that this cycle can be investigated in three different regimes. That is, when the state of the singlemode is (as summarised in the phase diagram of Fig. 4a):

i.
Classical for both temperatures.

ii.
Nonclassical for \(T_1\), but classical for \(T_2\).

iii.
Nonclassical for both temperatures.
Region (i) corresponds to the case where the system is classical, \({\mathcal {C}}(r,T) \ge 0\), but nonpassive and only the degree of nonpassivity plays a role. Although there is squeezing, the uncertainty in both quadratures is above the shotnoise limit, and the squeezing can be seen as a modulation of the singlemode frequency from \(\omega _1\) to \(\omega _2\), where \(\omega _2 > \omega _1\), in a similar fashion to previous works.
Region (ii) corresponds to the case where the state of the system is nonpassive and nonclassical for \(T_1\), but classical for \(T_2\). Compared to Region (i), the nonpassivity combined with the nonclassicality of the state increases the efficiency of the protocol. Since the nonclassical behaviour depends on the external temperature, the single mode undergoes two transitions during the cycle: classical to nonclassical (first stroke) and nonclassical to classical (third stroke) due to the temperature increasing (see Fig.4b). Observe that Carnot’s efficiency (dashed grey line) is surpassed in region (ii), where the working fluid starts the cycle with a nonclassical character. Our understanding is that the nonclassicality added is used to perform the cycle more efficiently and helps to beat Carnot’s limit. However, this comparison is not totally appropriate since the problem in consideration is formulated in a different context from which Carnot’s cycle was proposed.
Finally, region (iii) is the most efficient. In this particular case, the state of the system is nonpassive and nonclassical for both temperatures. As a matter of comparison, the classical Carnot efficiency is also plotted (see Fig. 4). As we can see in Fig. 4a, with increasing squeezing parameter, the efficiencies in the Otto (grey dashed line) and generalised cycle (black line) become closer to each other. This happens because the absorbed heat increases with the squeezing parameter, while the rejected heat does not. Therefore, for higher values of squeezing (\(r>> r_{c_2}\)), the difference between the two cycles becomes tight. In other words, the degree of nonclassicality is so high that the type of cycle does not affect the performance of the quantum heat engine.
It is worth mentioning that in both cycles, we see a monotonic increase in efficiency with the squeezing parameter. There is no visible change in the respective curve when the squeezing parameter reaches the critical value corresponding to the transition from a classical to a nonclassical regime. The lack of signature occurs because we are dealing with two different temperatures, and our definition of classicality is formulated for a single temperature. Moreover, the efficiency of the heat engine takes into account all four strokes, and in each, we are interested in the energy exchange. Consequently, the classical or nonclassical character of the working fluid contributes only to the average energy, so a discontinuity or a signature discriminating between these two regimes, or their change, is not expected.
Conclusion
A central aim in quantum thermodynamics is the search for quantum advantages in a given thermodynamical task. Here, we have seen an example of a quantum advantage using a simple measure of classicality for squeezed states. This work presents an analysis of how nonclassical features of light will play a role in thermodynamics from a Prepresentability perspective. Specifically, squeezed states have been shown to be a resource for thermodynamics. This, in turn, allows us to make use of the framework developed in Ref.^{22,30} to track the tradeoff between thermodynamic efficiency and the nonclassicality presented in the work substance. The thermodynamic implications of squeezed states on heat engine performance have been studied in numerous previous works, especially in the case of the harmonic quantum Otto engine. However, the external control parameter modified during the isentropic stroke is the frequency, whereas here is the squeezing parameter. In some sense they are equivalent, as the variation of squeezing can be understood as a variation of frequency, as the energy term \(E= \hbar \omega ({\bar{n}}_\text {sth}+1/2) = \hbar \omega ({\bar{n}}_{\text {th}}+1/2) \cosh 2r\), can be recast as the energy of a harmonic oscillator, \(E= \hbar \omega '(r) ({\bar{n}}_\text {sth}+1/2)\), with \(\omega '(r)=\omega \cosh 2r\), a squeezing dependent frequency. For obvious reasons the same is not true about the coherences \(m_\text {sth}\), as they are absent for the harmonic oscillator. Our treatment allowed us to identify a novel stroke type in which the degree of classicality is held constant, allowing for the introduction of a new class of generalised heat engine cycles.
In this study, we provided a simple expression, namely the classicality function, which allows us to distinguish classical and nonclassical states. Since the squeezing parameter is the route to nonclassicality, we treated it as a working parameter. Then, two different cycles where the classicality function is explored were analysed. Our main result shows that the efficiency of a quantum heat engine is enhanced when it operates in the nonclassical regime, whereas it is less efficient in the classical one. An important point to be mentioned is the role of passivity/nonpassivity. In our description, it can be straightforwardly observed that the antisqueezing operation \({\mathcal {S}}\) induces maximal work extraction, i.e., ergotropy. However, here we have the interplay between nonpassivity and nonclassicality. The discussion of the generalised cycle was a way to circumvent this issue and to explicitly show that the degree of nonclassicality is indeed a resource for quantum heat engines.
Our work opens many potential avenues for future research. First, in the current work, we have focused exclusively on a single mode as work substance, so a natural question concerns its extension for a multimode scenario where entanglement can also be explored. Moreover, since our discussion is only in terms of the equilibrium regime, this manuscript leaves open the possibility of a significant amount of followup research. Finitetime analysis (either in the endoreversible or fully nonequilibrium regime) would open up the possibility of studying the consequences of the degree of classicality on a wide range of other engine characterisations, including power output and efficiency at maximum power. As shown in Ref.^{29}, quantum engines employing squeezed states are also experimentally accessible, making experimental implementations of this work a nearterm possibility.
Data availability
All data generated or analysed during this study are included in this published article.
References
Niedenzu, W., GelbwaserKlimovsky, D., Kofman, A. G. & Kurizki, G. On the operation of machines powered by quantum nonthermal baths. New J. Phys. 18, 083012 (2016).
Lostaglio, M., Jennings, D. & Rudolph, T. Description of quantum coherence in thermodynamic processes requires constraints beyond free energy. Nat. Commun. 6, 6383 (2015).
Lostaglio, M., Korzekwa, K., Jennings, D. & Rudolph, T. Quantum coherence, timetranslation symmetry, and thermodynamics. Phys. Rev. X 5, 021001 (2015).
Korzekwa, K., Lostaglio, M., Oppenheim, J. & Jennings, D. The extraction of work from quantum coherence. New J. Phys. 18, 023045 (2016).
Deffner, S. & Campbell, S. Quantum Thermodynamics 2053–2571 (Morgan and Claypool Publishers, 2019).
Binder, F., Correa, L., Gogolin, C., Anders, J. & Adesso, G. Thermodynamics in the Quantum Regime: Fundamental Aspects and New Directions, Fundamental Theories of Physics (Springer, 2019).
Goold, J., Huber, M., Riera, A., del Rio, L. & Skrzypczyk, P. The role of quantum information in thermodynamics—A topical review. J. Phys. A Math. Theor. 49, 143001 (2016).
Myers, N. M., Abah, O. & Deffner, S. Quantum thermodynamic devices: From theoretical proposals to experimental reality. AVS Quantum Sci. 4(2), 027101. https://doi.org/10.1116/5.0083192 (2022).
Ghosh, A., Mukherjee, V., Niedenzu, W. & Kurizki, G. Are quantum thermodynamic machines better than their classical counterparts? Eur. Phys. J. Spl. Top. 227, 2043 (2019).
Ghosh, A. et al. Twolevel masers as heattowork converters. Proc. Natl. Acad. Sci. 115, 9941 (2018).
Alicki, R. The quantum open system as a model of the heat engine. J. Phys. A Math. Gen. 12, L103 (1979).
Gardas, B. & Deffner, S. Thermodynamic universality of quantum Carnot engines. Phys. Rev. E 92, 042126 (2015).
Feldmann, T. & Kosloff, R. Performance of discrete heat engines and heat pumps in finite time. Phys. Rev. E 61, 4774 (2000).
Correa, L. A., Palao, J. P., Alonso, D. & Adesso, G. Quantumenhanced absorption refrigerators. Sci. Rep. 4, 3949 (2014).
Harbola, U., Rahav, S. & Mukamel, S. Quantum heat engines: A thermodynamic analysis of power and efficiency. Europhys. Lett. 99, 50005 (2012).
Linden, N., Popescu, S. & Skrzypczyk, P. How small can thermal machines be? The smallest possible refrigerator. Phys. Rev. Lett. 105, 130401 (2010).
Quan, H. T., Liu, Y.X., Sun, C. P. & Nori, F. Quantum thermodynamic cycles and quantum heat engines. Phys. Rev. E 76, 031105 (2007).
Bhattacharjee, S. & Dutta, A. Quantum thermal machines and batteries. Eur. Phys. J. B. 94(12), https://doi.org/10.1140/epjb/s10051021002353 (2021).
Scully, M. O., Zubairy, M. S., Agarwal, G. S. & Walther, H. Extracting work from a single heat bath via vanishing quantum coherence. Science 299, 862 (2003).
Dillenschneider, R. & Lutz, E. Energetics of quantum correlations. Europhys. Lett. 88, 50003 (2009).
Huang, X. L., Wang, T. & Yi, X. X. Effects of reservoir squeezing on quantum systems and work extraction. Phys. Rev. E 86, 051105 (2012).
Abah, O. & Lutz, E. Efficiency of heat engines coupled to nonequilibrium reservoirs. Europhys. Lett. 106, 20001 (2014).
Niedenzu, W., Mukherjee, V., Ghosh, A., Kofman, A. G. & Kurizki, G. Quantum engine efficiency bound beyond the second law of thermodynamics. Nat. Commun. 9, 165 (2018).
Manzano, G., Galve, F., Zambrini, R. & Parrondo, J. M. R. Entropy production and thermodynamic power of the squeezed thermal reservoir. Phys. Rev. E 93, 052120 (2016).
Wang, J., He, J. & Ma, Y. Finitetime performance of a quantum heat engine with a squeezed thermal bath. Phys. Rev. E 100, 052126 (2019).
Singh, V. & Müstecaplıoğlu, O. E. Performance bounds of nonadiabatic quantum harmonic Otto engine and refrigerator under a squeezed thermal reservoir. Phys. Rev. E 102, 062123 (2020).
Xiao, B. & Li, R. Finite time thermodynamic analysis of quantum Otto heat engine with squeezed thermal bath. Phys. Lett. A 382, 3051 (2018).
Roßnagel, J., Abah, O., SchmidtKaler, F., Singer, K. & Lutz, E. Nanoscale heat engine beyond the Carnot limit. Phys. Rev. Lett. 112, 030602 (2014).
Klaers, J., Faelt, S., Imamoglu, A. & Togan, E. Squeezed thermal reservoirs as a resource for a nanomechanical engine beyond the Carnot limit. Phys. Rev. X 7, 031044 (2017).
Manzano, G. Squeezed thermal reservoir as a generalized equilibrium reservoir. Phys. Rev. E 98, 042123 (2018).
Pusz, W. & Woronowicz, S. L. Passive states and KMS states for general quantum systems. Commun. Math. Phys. 58, 273 (1978).
Lenard, A. Thermodynamical proof of the Gibbs formula for elementary quantum systems. J. Stat. Phys. 19, 575 (1978).
Dodonov, V. & Man’ko, V. Theory of Nonclassical States of Light (Taylor & Francis, 2003).
Lee, C. T. Measure of the nonclassicality of nonclassical states. Phys. Rev. A 44, R2775 (1991).
de Oliveira, M. C. \(P\)representable subset of all bipartite Gaussian separable states. Phys. Rev. A 70, 034303 (2004).
Kim, M. S., Son, W., Bužek, V. & Knight, P. L. Entanglement by a beam splitter: Nonclassicality as a prerequisite for entanglement. Phys. Rev. A 65, 032323 (2002).
Xiangbin, W. Theorem for the beamsplitter entangler. Phys. Rev. A 66, 024303 (2002).
de Oliveira, M. & Munro, W. Nonclassicality and information exchange in deterministic entanglement formation. Phys. Lett. A 320, 352 (2004).
Scully, M. & Zubairy, M. Quantum Optics (Cambridge University Press, 1997).
Slusher, R. E., Hollberg, L. W., Yurke, B., Mertz, J. C. & Valley, J. F. Observation of squeezed states generated by fourwave mixing in an optical cavity. Phys. Rev. Lett. 55, 2409 (1985).
Shelby, R. M., Levenson, M. D., Perlmutter, S. H., DeVoe, R. G. & Walls, D. F. Broadband parametric deamplification of quantum noise in an optical fiber. Phys. Rev. Lett. 57, 691 (1986).
Wu, L.A., Kimble, H. J., Hall, J. L. & Wu, H. Generation of squeezed states by parametric down conversion. Phys. Rev. Lett. 57, 2520 (1986).
Serafini, A. Quantum Continuous Variables: A Primer of Theoretical Methods (CRC Press, Taylor & Francis Group, 2017).
Singh, U., Jabbour, M. G., Van Herstraeten, Z. & Cerf, N. J. Quantum thermodynamics in a multipartite setting: A resource theory of local Gaussian work extraction for multimode bosonic systems. Phys. Rev. A 100, 042104 (2019).
Englert, B.G. & Wódkiewicz, K. Tutorial notes on oneparty and twoparty Gaussian states. Int. J. Quant. Inf. 01, 153. https://doi.org/10.1142/S0219749903000206 (2003).
Koukoulekidis, N., Alexander, R., Hebdige, T. & Jennings, D. The geometry of passivity for quantum systems and a novel elementary derivation of the Gibbs state. Quantum 5, 411 (2021).
Brown, E. G., Friis, N. & Huber, M. Passivity and practical work extraction using Gaussian operations. New J. Phys. 18, 113028 (2016).
Breuer, H., Breuer, P., Petruccione, F. & Petruccione, S. The Theory of Open Quantum Systems (Oxford University Press, 2002).
Talkner, P. & Hänggi, P. Aspects of quantum work. Phys. Rev. E 93, 022131 (2016).
Jarzynski, C. Comparison of farfromequilibrium work relations. C R Phys. 8, 495 (2007).
Cuzminschi, M., Zubarev, A. & Isar, A. Extractable quantum work from a twomode Gaussian state in a noisy channel. Sci. Rep. 11, 1 (2021).
Horodecki, M. & Oppenheim, J. Fundamental limitations for quantum and nanoscale thermodynamics. Nat. Commun. 4, 2059 (2013).
Brandão, F. G. S. L., Horodecki, M., Oppenheim, J., Renes, J. M. & Spekkens, R. W. Resource theory of quantum states out of thermal equilibrium. Phys. Rev. Lett. 111, 250404 (2013).
Baumgratz, T., Cramer, M. & Plenio, M. B. Quantifying coherence. Phys. Rev. Lett. 113, 140401 (2014).
Esposito, M., Harbola, U. & Mukamel, S. Nonequilibrium fluctuations, fluctuation theorems, and counting statistics in quantum systems. Rev. Mod. Phys. 81, 1665 (2009).
Parrondo, J. M. R., Horowitz, J. M. & Sagawa, T. Thermodynamics of information. Nat. Phys. 11, 131 (2015).
Acknowledgements
The authors thank Juan Parrondo, Gonzalo Manzano, Gabriel Landi, Marcus Bonança and Kamil Korzekwa for helpful discussions. AOJ acknowledges financial support by the Foundation for Polish Science through the TEAMNET project (Contract No. POIR.04.04.000017C1/1800). MCO acknowledges the support from the Institute of Physics Gleb Wataghin, and from the Brazilian funding agencies Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) and Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES).
Author information
Authors and Affiliations
Contributions
All authors have contributed equally.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher's note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary Information
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
de Oliveira Junior, A., de Oliveira, M.C. Unravelling the nonclassicality role in Gaussian heat engines. Sci Rep 12, 10412 (2022). https://doi.org/10.1038/s4159802213811z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s4159802213811z