1 Introduction
Thermodynamics was regarded as a universal theory by Einstein: “It is the only physical theory of universal content, which I am convinced, that within the framework of applicability of its basic concepts will never be overthrown." The first law (energy conservation) and the second law (entropy increase) are in the theoretical cores of thermodynamics. The whole theoretical system of thermodynamics is developed around these two laws, particularly the second law.
Heat engines, as model systems, demonstrate perfectly the first law and the second law of thermodynamics. A heat engine undergoing the Carnot cycle which consists of two isothermal processes and two adiabatic processes can achieve the so called Carnot efficiency when these processes are reversible, i.e., quasi-static and frictionless. If one of these processes is irreversible, the efficiency of the engine is smaller than the Carnot efficiency. In other words, the Carnot efficiency is the upper bound of efficiencies for all engines operating between two thermal reservoirs for given temperatures. This is a natural consequence of the first law and the second law when they are applied in heat engines. While the Carnot efficiency is the upper bound, a heat engine undergoing the Carnot cycle results in a vanishing power. This kind of heat engines are useless in practice. The thermodynamic cycle should be speeded up to produce a finite power. The investigations of the efficiency at certain power (in particular maximum power) give birth to finite-time thermodynamics [
1–
4]. This research field has attracted much attention [
5–
41] for many years.
There are three notable parameter-independent results on the issue of efficiency at maximum power in finite-time thermodynamics. The first one is the Curzon–Ahlborn efficiency,
the efficiency at maximum power for a macroscopically endoreversible heat engine with Newton-type heat transfer [
3]. The notation
in Eq. (1) represents the Carnot efficiency. The second one is the Schmiedl–Seifert efficiency,
the efficiency at maximum power for a Brownian stochastic engine [
40]. The thermodynamic cycle of this kind of engines is realized by using a time-dependent harmonic potential to control a Brownian particle. We note that the above result happen to be a special case obtained by Chen and Yan for a macroscopically endoreversible heat engine with Fourier-type heat transfer [
7]. The third one is
the efficiency at maximum power derived by Tu for the Feynman ratchet as a heat engine [
41].
The above three equations coincide up to the quadratic terms of , which enlightens Tu to conjecture that a universal efficiency at maximum power,
should exist for a broad class of heat engines operating between two thermal reservoirs with small temperature differences [
41]. This universality has been confirmed by a quantum-dot engine [
42]. The universality up to the linear term of Eq. (4) was found by Van den Broeck [
10] for tight-coupling heat engines working at maximum power. Then, considering a process of particle transports, Esposito
et al. demonstrated that the universality of the quadratic term in Eq. (4) comes from left-right symmetry for a tight-coupling engine [
43]. This finding was confirmed by other nonlinear models of heat engines [
21,
23,
44]. Unfortunately, an apparent paradox is that the Curzon-Ahlborn endoreversible engine and the Feynman ratchet still recover universal efficiency (4) in the absence of symmetry. The efficiency at maximum power for the Curzon-Ahlborn heat engine is irrelevant to specific model-dependent parameters, and so regardless of any symmetry. In the extremely asymmetric case, the efficiency at maximum power for the Feynman ratchet still equates universal form (4). Seifert also pointed out that the Feynman ratchet still holds the universality in other asymmetric cases [
45]. This paradox implies that the demonstration by Esposito
et al. is not a full proof to the conjecture of universal efficiency at maximum power.
There are two gaps in the proof to the conjecture of universal efficiency at maximum power. First, we need a generic abstract model rather than specific models for finite-time (or finite-rate) heat engines when we discuss the universality. Second, we need a nonlinear relation for response because the universal form (4) contains the second order term of
. Sheng and Tu overcame the above two obstacles and then resolved the paradox in a series of work [
46,
47]. By introducing new concepts of weighted reciprocal of temperature and weighted thermal flux, they proposed a generic refined abstract model for finite-time heat engines [
46]. In this review, we will revisit the abstract model and its related topics. The rest of this review is organized as follows. In Section 2, we present a bird’s-eye view of classic thermodynamics. The classic abstract model for heat engines and the primary abstract model for finite-time heat engines are illustrated. In Section 3, we present a refined abstract model for finite-time heat engines and discuss the issue of universal efficiency at maximum power. In Section 4, we map the detailed models of heat engines in literature into the refined abstract model. In Section 5, we discuss the possible developments in the future on the basis of the refined abstract model.
2 Bird’s-eye view of thermodynamics
In this section, we will sketch the outline of thermodynamics. We particularly concern entropy production and the second law of thermodynamics. The rate of entropy production may expressed as a canonical form, the sum of products of thermodynamic fluxes and forces. The key ingredient of linear irreversible thermodynamics is the Onsager reciprocal relation [
48,
49]. Within the framework of linear irreversible thermodynamics and with the consideration of a primary abstract model for finite-time heat engines, the efficiency at maximum power was proved to be universal for tight-coupling heat engines up to the linear term of the Carnot efficiency [
10].
2.1 The second law of thermodynamics
Four laws of thermodynamics lay the foundation of thermodynamics. The zero law gives the condition of equilibrium, which enables us to design a thermometer. The first law, the law of energy conservation, is mathematically expressed as
where , Q, W are the internal energy increment of the concerned system, the heat absorbed from environment, the work output by the concerned system, respectively, in some process.
The second law is the core of the four laws of thermodynamics. For an isolated system, the entropy never decreases. That is
Now we consider a closed system in contact with N reservoirs shown in Fig. 1. The whole system (we call it universe) consisting of the system and reservoirs is an isolated system. According to (6), the entropy of the universe never decreases,
where represents the entropy change of the system. represents the change of entropy for reservoir n. Tn and Qn represent the temperature of reservoir n and the heat absorbed from reservoir n by the system, respectively.
The intrinsic entropy production in the system of interest is defined as . The entropy flow from reservoirs into the system is defined as
Then the entropy change (7) of the system may be split into two parts:
where the intrinsic entropy production . The equal sign holds for reversible processes while the greater than symbol holds for irreversible processes.
For an isolated system, , Eq. (9) implies , which is consistent to Eq. (6). If we consider a closed system in contact with a reservoir at temperature T, . Then Eq. (9) implies since . This conclusion is in agreement with the Clausius inequality: when a closed system is in contact with a reservoir, the change of entropy is larger than the ratio of the absorbed heat to the temperature. As shown in Fig. 2, we consider steady heat transfers between two reservoirs at different temperatures. In steady state, the heat Q absorbed from reservoir 1 is the same as that released into reservoir 2, and vice verse. The entropy of the system is unchanged at the steady state, that is . Since , we arrive at . The equal sign holds only for . Thus when . This finding is consistent to the Clausius statement of second law: the heat spontaneously transfer from the high temperature end to the low temperature one.
2.2 Linear irreversible thermodynamics
The core concept in irreversible thermodynamics is the entropy production rate
which is always non-negative. When the system is in equilibrium under certain external field parameters
(
), the entropy production rate is vanishing. If
, the system departs from equilibrium. Define a generalized thermodynamic force
. The entropy production rate may be phenomenologically expressed in a canonical form [
50]:
where Jk is called the conjugated thermodynamic flux related to Xk. The constitutive relation for response may be expressed as function . Under the linear assumption for small departures, The constitutive relation is simplified as
where the coefficients satisfy the Onsager reciprocal relation [
48,
49]:
if the equations of microscopic motion keep invariant under time reversal. In particular, Eq. (11) implies that the matrix is positively definite.
2.3 Classic abstract model for heat engines
In the textbook of thermal physics, one can find the classic abstract model shown in Fig. 3 for heat engines. The working substance absorbs heat Q1 from the hot reservoir at temperature T1, outputs work W, and releases heat Q2 into the cold reservoir at temperature T2. It is emphasized that the heat leakage between two reservoirs is conventionally not considered in this classic model. In the following contents, we merely consider heat engines without heat leakage.
For an autonomous engine in steady state, the entropy change of working substance . Since , we derive , which implies
According to the first law of thermodynamics, we have the output work:
Thus the efficiency of the engine
For a cyclic engine, the above analysis still holds for each cycle. That is, the Carnot efficiency is the upper bound of the efficiencies for engines operating between two reservoirs at given temperatures.
2.4 Primary abstract model for finite-time heat engines
Now we turn to finite-time processes. The above abstract model can be modified slightly for finite-time heat engines. As shown in Fig. 4, the absorbed heat Q1, the work output W, and the released heat Q2 are replaced with (heat absorbed from the hot reservoir per unit time), (power output), (heat released into the cold reservoir per unit time), respectively.
Following Van den Broeck’s ideal [
10], the mechanical flux
Jm is taken as the net rate of autonomous engines or the reciprocal of period of cyclic engines. The conjugated mechanical force is
where β is the energy scale corresponding to the temperature of hot or cold reservoirs. w is the work output by the heat engine per elementary step for autonomous engines or per cycle for cyclic engines. Thus the power output may be expressed as
The thermal flux is taken as or . The conjugated thermodynamics force is
The tight coupling condition may be expressed as
where ξ can be regarded as the thermal energy element flowing through the work substance per elementary step for autonomous engines or per cycle for cyclic engines. For example, consider a cyclic engine. Jm is defined as the reciprocal of period of the cycle and Jt is defined as the heat absorbed from the hot reservoir (or released into the cold reservoir) per cycle divided by the period. Thus Eq. (20) implies ξ is the heat exchange between the work substance and reservoirs per cycle. In this sense, we interpret that ξ is thermal energy element flowing through the work substance per cycle for cyclic engines. Similar discussions are available for autonomous engines only if the reciprocal of period for cyclic engines is replaced with the net rate for autonomous engines.
The entropy production (11) is transformed into
where
is called affinity.
Now we consider the linear constitute relation for response, and . If time-reversal symmetry holds, the Onsager reciprocal relation requires . Furthermore, if , we can prove from the above linear constitute relation. Thus the tight-coupling condition (20) implies . Note that no heat leakage between two reservoirs mentioned in Section 2.3 is a necessary (but not a sufficient) condition for tight coupling. An engine without heat leakage can be non-tight-coupling if time-reversal symmetry is broken in the presence of magnetic fields.
Substituting the linear relation into Eq. (18), and then optimizing power with respect to Xm, we obtain the optimal . Finally, we achieve the efficiency at maximum power:
This equation is the key result in Ref. [
10], which implies that the efficiency at maximum power is universal for tight-coupling heat engines up to the linear term of the Carnot efficiency.
3 Refined abstract model for finite-time heat engines
In the primary abstract model for finite-time heat engines mentioned above, the definition of
Jt and
β are ambiguous. What on earth should
Jt equal to
or
? What on earth should
β equal to
or
? Sheng and Tu introduced the concepts of weighted thermal flux and weighted reciprocal of temperature to eliminate the above ambiguity [
46]. With the aid of these concepts, a refined abstract model for finite-time heat engines was established. We sketch the main idea in this section.
Consider the primary abstract model for finite-time heat engines shown in Fig. 4. The first law of thermodynamics requires:
Since the entropy variation of working substance is vanishing either for a cyclic engine in the whole cycle or an autonomous engine in the steady state, the entropy production rate σ may be expressed as
with and . Here and in the following the Boltzmann factor is set to 1.
Introduce two nonnegative weighted numbers s1 and s2 such that . Define the weighted reciprocal of temperature
and weighted thermal flux
Then the entropy production rate may be transformed into a canonical form as (21).
In particular, from first law (24) and definition (27) of weighted thermal flux, we arrive at a detailed law of energy conservation
This detailed law of energy conservation enlightens us to construct a refined abstract model shown in Fig. 5 for finite-time heat engines. In this model, the weighted thermal flux Jt is interpreted as a heat flux flowing through the working substance. The working substance couples with the hot reservoir and absorbs heat per unit time from the hot reservoir. A certain amount of heat is transformed into work output per unit time due to the coupling between the working substance and the hot reservoir. A thermal flux Jt flows through the working substance, then an amount of heat is transformed into the work output per unit time due to the coupling between the working substance and the cold reservoir. Finally, the working substance releases heat per unit time into the cold reservoir.
Since the mechanical flux is in the liner order for small thermodynamic force, Eq. (18) implies that the leading term of is a quadratic order term for small thermodynamic forces. should contain at least the linear term for small relative temperature. Combining the detailed law of energy conservation (28), we regard Jt as the common leading term shared by and . The parameter s1 (or s2) represents the fraction of power output occupied by the higher order term in (or ). We argue that s1 (or s2) depends on the degree of coupling between the working substance and the hot (or cold) reservoir. That is, the coupling between the working substance and the reservoirs is significant for finite-time heat engines although it is unimportant for the conventional quasi-static heat engines.
As an example, we consider the Feynman ratchet as shown in Fig. 6(a), which may be simplified as the the Büttiker–Landauer model [
51,
52] shown in Fig. 6(b). A Brownian particle walks in a periodic potential with a fixed step size
θ, in contact with a hot (cold) reservoir at temperature
T1 (
T2) in the left (right) side of each energy barrier. The particle moves across each barrier from left to right and outputs work against a load
z. The height of energy barrier is
ε. The width of potential in the left or right side of the barrier is denoted by
or
, respectively.
In each forward step, the particle absorbs heat from the hot reservoir. After outputting work against the external load, the remained heat will be released into the cold reservoir when the particle jumps over the barrier. The energy transformation in each backward step is exactly opposite of that in the forward step mentioned above. The forward and backward jumping rates can be respectively expressed as and , where r0 represents the bare rate constant with dimension of time–1. The net rate may be defined as
The net power output can be expressed as
The heat absorbed from the hot reservoir and that released into the cold reservoir per unit time can be respectively expressed as
and
Considering the above two equations and the detailed law of energy conservation (28), we can straightforwardly write out the weighted thermal flux
and the weighted parameters
Obviously, the above weighted parameters reflect the relative coupling regions between the Brownian particle and the hot reservoir or the cold one in Fig. 6b, which indeed depend on the degree of coupling between the working substance and the hot (or cold) reservoir. Furthermore, the mechanical flux may be expressed,
with . represents the asymmetry degree of coupling between the working substance and two reservoirs.
In fact, Eq. (35) is a specific form of generic expression of constitutive relation for nonlinear response. For tight-coupling heat engines, Sheng and Tu phenomenologically derived a generic constitutive relation for nonlinear response accurate up to the quadratic order terms from the stalling condition and the symmetry argument [
47]. This constitutive relation may be expressed as
where
L,
α and
u are model-dependent coefficients. Considering the homotypic nature of heat engines in literature, Sheng and Tu further proved two facts: i)
α is independent of
λ; ii)
or
for cyclic or autonomous heat engines, respectively [
53].
Using relation (36), one can achieve the efficiency at maximum power [
47]:
from which we see that the third term vanishes when
. This condition may be further expressed as [
47]
That is, we obtain the necessary and sufficient condition for the universal prefactor 1/8 of the quadratic term in (4). The former one is called symmetry-coupling condition while the latter one is called energy-matching condition. It is shown that both the Curzon–Ahlborn endoreversible engine and the Feynman ratchet satisfy the energy-matching condition [
47]. This is the underlying reason why the Curzon–Ahlborn endoreversible engine and the Feynman ratchet recover the universal efficiency at maximum power regardless of any symmetry. Thus the apparent paradox mentioned in the beginning of this review is resolved.
4 Detailed models as special cases of refined abstract model
The refined abstract model is quite general for finite-time heat engines. We have shown that the Feynman ratchet may be mapped into the refined abstract model in the above section. Here, we will demonstrate that other typical finite-time heat engines in literature can also be mapped into the refined abstract model [
46,
47].
4.1 Low-dissipation engine
A low-dissipation engine [
12] undergoes a thermodynamic cycle consisting of two “isothermal" and two adiabatic processes shown in Fig. 7. The word “isothermal" merely indicates that the heat engine is in contact with a thermal reservoir at constant temperature.
The heat absorbed from the hot reservoir and that released into the cold one satisfy the following low-dissipation assumption [
12]:
with two dissipation coefficients and . t1 (t2) is the time for completing the “isothermal" expansion (compression). Assume that the time for completing the adiabatic processes is negligible relative to t1 and t2. So the period of the whole cycle is .
The low-dissipation engine may be mapped into the refined abstract model [
46]. The weighted numbers are
with parameters
and
. Interestingly, the constitutive relation is linear form [
47]:
which is a special form of generic constitutive relation (36) with
and vanishing higher order terms. In addition, the minimally nonlinear irreversible heat engines proposed by Izumida and Okuda [
21], and the autonomous thermoelectric generators investigated by Apertet
et al. [
23] can also be mapped into the refined abstract model. Surprisingly, the constitutive relations for these engines are also linear form [
47].
Obviously,
implies that the energy-matching condition in Eq. (38) cannot be satisfied. Thus, this kind of engines take the universal efficiency at maximum power if and only if the symmetry-coupling condition is satisfied. Note that the Schmiedl–Seifert engine [
40] is equivalent to a symmetric low-dissipation engine, which explains the reason why the Schmiedl–Seifert efficiency has the universal form up to the quadratic term of
.
4.2 Curzon–Ahlborn heat engine
The Curzon–Ahlborn endoreversible heat engine [
3] undergoes a cycle consisting of two “isothermal" processes and two adiabatic processes. The effective temperature of working substance is assumed to be
(
) when it is in contact with a hot (cold) reservoir. The engine seems to reversibly operate between two reservoirs at temperatures
,
. This is the endoreversible assumption [
3] which is mathematically expressed as
The heat transferred from the hot reservoir to the working substance abides by the Newton-type heat transfer law
where and t1 are the thermal conductivity and the time interval of “isothermal" expansion, respectively. Similarly, the heat transferred from the working substance to the cold reservoir may be expressed as
where and t2 are the thermal conductivity and the time interval of “isothermal" compression, respectively. The period (t0) for completing the whole cycle is assumed to be proportional to .
The Curzon–Ahlborn endoreversible heat engine can be mapped into the refined abstract model [
47]. The weighted numbers are as follows:
with parameters
and
. It was found that the constitutive relation is also a special form of generic expression (36) with model-dependent parameters
,
,
and
[
47]. It is easy to verify
, which conforms with the energy-matching condition in (38). This is the underlying reason why the Curzon–Ahlborn endoreversible heat engine recovers the universal efficiency at maximum power regardless of any symmetry.
Chen and Yan also investigated a revised Curzon–Ahlborn endoreversible heat engine [
7] which is exactly the same as the original Curzon–Ahlborn engine except for the heat transfer law in two “isothermal" processes:
The revised Curzon–Ahlborn heat engine may also be mapped into the refined abstract model [
47]. The weighted numbers are as follows:
with
,
. The constitutive relation is also a special form of generic expression (36) with model-dependent parameters
,
,
and
[
47]. It is easy to prove
, which implies the energy-matching condition in Eq. (38) cannot be satisfied by this engine. Thus, the revised Curzon–Ahlborn heat engine takes the universal efficiency at maximum power if and only if the symmetry-coupling condition is satisfied. This conclusion is consistent with Eq. (31) in Ref. [
7].
4.3 Single-level quantum-dot heat engine
As shown in Fig. 8(a), a single-level quantum-dot heat engine [
42] consists of three parts: a hot lead with temperature
T1 and chemical potential
; a cold lead with temperature
T2 (
) and chemical potential
(
); a single-level quantum dot with energy level
(
) and chemical potential
μ (
), which located between the two leads. In the forward process, an electron jumps from the hot lead 1 to the cold lead 2 via the quantum dot. In the backward process, an electron jumps from the cold lead 2 to the hot lead 1 via the quantum dot. The jumping rates are preset parameters.
In the steady state, the single-level quantum-dot heat engine can be simplified as Fig. 8(b) where the generalized mechanical force is . The forward electronic flow and the backward one are
respectively. Here I0 is a temperature-independent coefficient.
This model can be further mapped into the refined abstract model [
47]. The weighted numbers are as follows:
It was found that the constitutive relation is also a special form of generic expression (36) with model-dependent parameters
,
,
and
. When the engine operates at maximum power, we can verify
[
47]. Thus, this engine always recovers the universal efficiency when operating at maximum power, which is consistent with the results in Ref. [
42].
5 Summary and outlook
We have sketched three abstract models for heat engines in the above contents which include a classic abstract model for heat engines, a primary abstract model for finite-time heat engines, and a refined abstract model for finite-time heat engines. From the pedagogical point of view, the refined abstract model for finite-time heat engines corresponds to the classic abstract model for heat engines in thermal physics. From the practical point of view, this refined abstract model has not only manifested applicable significance in proving the conjecture of universal efficiency at maximum power, but also provided a unified description to typical finite-time heat engines in literature. In the future, we expect that this refined abstract model will be utilized in discussing the following issues.
i) Efficiency fluctuations. Microscale heat engines were constructed in several recent experiments. Different from macroscopic engines, the efficiency and power of microscale heat engines exists relatively large fluctuations. Blickle and Bechinger realized a micrometre-sized stochastic heat engine with a single colloidal particle subject to a time-dependent optical laser trap [
36]. This is the first time to realize the Schmiedl–Seifert stochastic engines in experiment. They did not confirm theoretical predictions by Schmiedl and Seifert, but also observed the fluctuation of efficiency. Abah
et al. designed a single-ion quantum Otto engine by confining an ion in a linear Paul trap [
54]. This engine can run at maximum power in a wide range of temperatures. Their experimental results also reveal fluctuating behaviors of efficiency. These experiments enlighten theoretical investigations on efficiency fluctuations. Verley
et al. depicted the universal features of efficiency fluctuations by using the fluctuation theorem [
55]. The most surprising finding is that the Carnot efficiency is the least likely in the long-time limit. Generally, the reversible and the least likely efficiency coincide for time-symmetric driving [
56]. Jiang
et al. revealed the universal behavior of stochastic efficiency for time-reversal symmetry-broken engines in the Gaussian approximation by using large deviation theory [
57]. Park
et al. obtained the large deviation function of the probability distribution for the stochastic efficiency for a linear Brownian heat-engine model in the overdamped limit [
58]. By taking into account both thermal and quantum fluctuations, Denzler and Lutz investigated a quantum Otto engine and derived the probability distribution of its efficiency [
59]. If we consider the finite-time efficiency and power fluctuations, the refined abstract model may be taken as a start point. The fluctuations of weighted thermal flux
Jt determine the behaviors of efficiency and power fluctuations.
ii) Trade-off between power and efficiency. A heat engine usually outputs vanishing power when it achieves maximum efficiency (the Carnot efficiency). Its efficiency is quite smaller than the Carnot efficiency when it operates at maximum power. That is, there exists a trade-off between power and efficiency. This trade-off should be essentially related to the thermodynamic uncertainty relation proposed by Barato and Seifert [
60]. Rather than the issue of efficiency at maximum power, Allahverdyan
et al. asked a good question [
61]: What is the maximum efficiency at a given power? Holubec and Ryabov semi-analytically derived the universal bounds on maximum efficiency at a given power for low-dissipation engines [
62]. This is the first exact relation on trade-off between power and efficiency. Ma
et al. provided a fully analytical proof on this trade-off relation for low-dissipation engines [
63]. Holubec and Ryabov also discussed the trade-off relation for steady-state heat engines on the basis of linear irreversible thermodynamics [
64]. Proesmans
et al. proposed a power-efficiency-dissipation relation within the framework of linear irreversible thermodynamics [
66]. Iyyappan and Ponmurugan investigated the power-efficiency-dissipation relation for minimally nonlinear irreversible heat engines [
65]. Shiraishi
et al. generalized their discussions and derived a lower bound for dissipation from which they obtained a universal trade-off relation between power and efficiency for heat engines [
67]. Pietzonka and Seifert derived a universal trade-off between power, efficiency, and constancy for steady-state engines [
68]. We may investigate the trade-off between power and efficiency in detail using the refined abstract model. We expect that the variation and average of
Jt have a similar thermodynamic uncertainty relation. This relation may imply a trade-off between power and efficiency.
iii) Thermodynamic cycles controlled with shortcuts. In finite-time thermodynamics, the discussion on adiabatic processes is usually ignored. Generally speaking, the adiabaticity requires a slowly enough controlling. Are finite-time adiabatic processes possible? Shortcut to adiabaticity [
69–
76] is a novel concept to realize finite-time adiabatic processes. Deng
et al. found that shortcuts to adiabaticity enhance the performance of heat engines [
77]. Tu introduced shortcuts to adiabaticity in the Schmiedl–Seifert model with the consideration of the inertial effect of Brownian particles [
78]. Surprisingly, the efficiency at maximum power of this microscopically stochastic model is found to exactly equal to the Curzon–Ahlborn efficiency. Abah and Lutz demonstrated that shortcuts to adiabaticity simultaneously enhance the efficiency and power for quantum engines [
79]. Plata
et al. proposed a Carnot-like cycle built with a colloidal particle in a harmonic trap, where the average heat exchange between the particle and thermal reservoir is vanishing in two adiabatic branches, and they found that the efficiency at maximum power of this engine is close to the Curzon–Ahlborn bound [
80]. Recently, a strategy of shortcuts to isothermality was proposed to accelerate isothermal processes [
81]. This strategy has been realized by Albay
et al. in experiments [
82,
83]. It is worth investigating a thermodynamic cycle with two shortcuts to isothermality and two shortcuts to adiabaticity [
84,
85]. This model may also be mapped into the refined abstract model. It is interesting to discuss the efficiency and power fluctuations, the trade-off relations between power and efficiency of this kind of engines.
iv) Universal efficiency at maximum
Ω-criterion. The optimization of heat devices based on a compromise between energy benefits and losses has been discussed frequently. In particular, Hernández and his coworkers proposed the so-called
Ω-criterion representing this compromise [
86]. The efficiencies at optimal
Ω-criterion for the Curzon–Ahlborn endoreversible engine, the Schmiedl–Seifert engine, and the Feynman ratchet, the low-dispassion engine were investigated [
87,
88]. These efficiencies also reveal a universality, which has been demonstrated by Zhang
et al. with a tight-coupling model of particle-transports in the presence of left-right symmetry [
89]. It is straightforward to discuss the universality of efficiency at optimal
Ω-criterion with the consideration of the refined abstract model. We expect to achieve the energy-matching condition as we found for the universality of efficiency at maximum power.
v) Non-homotypic engines. It is found that typical heat engines in literature exhibit a kind of homotypy [
53]. The heat exchanges between a cyclic heat engine and its two reservoirs are dual under the joint transformation of parity inversion and time-reversal operation. Similarly, the forward and backward flows in an autonomous heat engine are also dual under the parity inversion. In other words, there exists hidden symmetries for homotypic heat engines. If breaking these hidden symmetries, one will construct many models of non-homotypic engines. The study on non-homotypic engines is quite rare. The only reference is contributed by Zhao and Tu who investigated nonlinear constitutive relation and efficiency at maximum power of non-homotypic engines [
90]. There is plenty of scene on the study of non-homotypic engines. On may construct refined abstract model of non-homotypic engines and then investigate the universality of efficiency at maximum power or other criterions.
vi) Active heat engines. All engines mentioned above are passive objects. If an engine is constituted by active particles as working substance or thermal reservoirs, its behaviors should be quite different from the passive engines since this active engine is a naturally nonequilibrium system. Krishnamurthy
et al. experimentally realized a micrometre-sized Stirling engine operating between active bacterial reservoirs [
91]. They observed that the non-Gaussianity of reservoir noise largely influences the performance of engines. Martínez
et al. discussed the work extraction from colloidal engines operating between active bacterial reservoirs which could significantly boost the performance of engines [
92]. Pietzonka
et al. investigated the energetics of an autonomous engines driven by active particles [
93]. They found that the interaction with passive objects can enhance the extracted power per active particle. Ekeh
et al. designed thermodynamic cycles with active particles and investigated the power and efficiency of this kind of active engines [
94]. They found that the engines may simultaneously reach maximum power and efficiency. Kumari
et al. investigated the Stirling engine by using an self-propelling particle (as active working substance) in contact with two thermal reservoirs and showed that the active properties enhance the performance of the engine [
95]. Lee
et al. considered a solvable linear model of engines with active reservoirs and defined proper temperatures of active reservoirs, base on which they demonstrated that the efficiency can overcome the Carnot bound [
96]. Is there a generic abstract model for active heat engines? Can we construct an abstract model for finite-time active heat engines? If we can do that, we are able to explore universal behaviors for active heat engines, such as efficiency, power, the trade-off between efficiency and power, the fluctuations of efficiency and power.