Universal Trade-Off between Power, Efficiency, and Constancy in Steady-State Heat Engines

Decomposition of metric tensor in thermodynamic geometry in terms of relaxation timescales

Geometrical methods are extensively applied to thermodynamics, including stochastic thermodynamics. In the case of a slow-driving linear response regime, a geometrical framework, known as thermodynamic geometry, is established. The key to this framework is the thermodynamic length characterized by a metric tensor defined in the space of controlling variables. As the metric tensor is given in terms of the equilibrium time-correlation functions of the thermodynamic forces, it contains the information on timescales, which may be useful for analyzing the performance of heat engines. In this paper, we show that the metric tensor for underdamped Langevin dynamics can be decomposed in terms of the relaxation times of a system itself, which govern the timescales of the equilibrium time-correlation functions of the thermodynamic forces. As an application of the decomposition of the metric tensor, we demonstrate that it is possible to achieve Carnot efficiency at finite power by taking the vanishing limit of relaxation times without breaking trade-off relations between efficiency and power of heat engines in terms of thermodynamic geometry.

Revisiting Endoreversible Carnot Engine: Extending the Yvon Engine

Curzon and Ahlborn's 1975 paper, a pioneering work that inspired the birth of the field of finite-time thermodynamics, unveiled the efficiency at maximum power (EMP) of the endoreversible Carnot heat engine, now commonly referred to as the Curzon-Ahlborn (CA) engine. Historically, despite the significance of the CA engine, similar findings had emerged at an earlier time, such as the Yvon engine proposed by J. Yvon in 1955 that shares the exact same EMP, that is, the CA efficiency ηCA. However, the special setup of the Yvon engine has circumscribed its broader influence. This paper extends the Yvon engine model to achieve a level of generality comparable to that of the CA engine. With the power expression of the extended Yvon engine, we directly explain the universality that ηCA is independent of the heat transfer coefficients between the working substance and the heat reservoirs. A rigorous comparison reveals that the extended Yvon engine and CA engine represent the steady-state and cyclic forms of the endoreversible Carnot heat engine, respectively, and are equivalent.

Power-efficiency constraint for chemical motors

Chemical gradients provide the primordial energy for biological functions by driving the mechanical movement of microscopic engines. Their thermodynamic properties remain elusive, especially concerning the dynamic change in energy demand in biological systems. In this article, we derive a constraint relation between the output power and the conversion efficiency for a chemically fueled steady-state rotary motor analogous to the F_{0} motor of ATPase. We find that the efficiency at maximum power is half of the maximum quasistatic efficiency. These findings shall aid in the understanding of natural chemical engines and inspire the manual design and control of chemically fueled microscale engines.

Maximum-Power Stirling-like Heat Engine with a Harmonically Confined Brownian Particle

Heat engines transform thermal energy into useful work, operating in a cyclic manner. For centuries, they have played a key role in industrial and technological development. Historically, only gases and liquids have been used as working substances, but the technical advances achieved in recent decades allow for expanding the experimental possibilities and designing engines operating with a single particle. In this case, the system of interest cannot be addressed at a macroscopic level and their study is framed in the field of stochastic thermodynamics. In the present work, we study mesoscopic heat engines built with a Brownian particle submitted to harmonic confinement and immersed in a fluid acting as a thermal bath. We design a Stirling-like heat engine, composed of two isothermal and two isochoric branches, by controlling both the stiffness of the harmonic trap and the temperature of the bath. Specifically, we focus on the irreversible, non-quasi-static case-whose finite duration enables the engine to deliver a non-zero output power. This is a crucial aspect, which enables the optimisation of the thermodynamic cycle by maximising the delivered power-thereby addressing a key goal at the practical level. The optimal driving protocols are obtained by using both variational calculus and optimal control theory tools. Furthermore, we numerically explore the dependence of the maximum output power and the corresponding efficiency on the system parameters.

Information geometry approach to quantum stochastic thermodynamics

Recent advancements have revealed new links between information geometry and classical stochastic thermodynamics, particularly through the Fisher information (FI) with respect to time. Recognizing the nonuniqueness of the quantum Fisher metric in Hilbert space, we exploit the fact that any quantum Fisher information (QFI) can be decomposed into a metric-independent incoherent part and a metric-dependent coherent contribution. We demonstrate that the incoherent component of any QFI can be directly linked to entropic acceleration, and for GKSL dynamics with local detailed balance, to the rate of change of generalized thermodynamic forces and entropic flow, paralleling the classical results. Furthermore, we tighten a classical uncertainty relation between the geometric uncertainty of a path in state space and the time-averaged rate of information change and demonstrate that it also holds for quantum systems. We generalize a classical geometric bound on the entropy rate for far-from-equilibrium processes by incorporating a nonnegative quantum contribution that arises from the geometric action due to coherent dynamics. Finally, we apply an information-geometric analysis to the recently proposed quantum-thermodynamic Mpemba effect, demonstrating this framework's ability to capture thermodynamic phenomena.

Periodically driven thermodynamic systems under vanishingly small viscous drives

Periodically driven thermodynamic systems support stable nonequilibrium oscillating states with properties drastically different from equilibrium. They exhibit even more exotic features for low viscous drives, which is a regime that is hard to probe due to singular behavior of the underlying Langevin dynamics near vanishing viscosity. We propose a method, based on singular perturbation and Floquet theories, that allows us to obtain oscillating states in this limit. We then find two distinct classes of distributions, each exhibiting interesting features that can be exploited for a range of practical applicability, including cooling a system and triggering chemical reactions through weakly interacting driven environments.

Ergodicity breaking and restoration in models of heat transport with microscopic reversibility

The behavior of lattice models in which time reversibility is enforced at the level of trajectories (microscopic reversibility) is studied analytically. Conditions for ergodicity breaking are explored, and a few examples of systems characterized by an additional conserved quantity besides energy are presented. All the systems are characterized by ergodicity restoration when put in contact with a thermal bath, except for specific choices of the interactions between the atoms in the system and the bath. The study shows that the additional conserved quantities return to play a role in nonequilibrium conditions. The similarities with the behavior of some mesoscale systems, in which the transition rates satisfy detailed balance but not microscopic reversibility, are discussed.

Unified hierarchical relationship between thermodynamic tradeoff relations

Recent years have witnessed a surge of discoveries in the studies of thermodynamic inequalities: the thermodynamic uncertainty relation (TUR) and the entropic bound (EB) provide a lower bound on the entropy production (EP) in terms of nonequilibrium currents; the classical speed limit (CSL) expresses the lower bound on the EP using the geometry of probability distributions; the power-efficiency (PE) tradeoff dictates the maximum power achievable for a heat engine given the level of its thermal efficiency. In this study, we show that there exists a unified hierarchical structure encompassing all of these bounds, with the fundamental inequality given by an extension of the TUR (XTUR) that incorporates the most general range of currentlike and state-dependent observables. By selecting more specific observables, the TUR and the EB follow from the XTUR, and the CSL and the PE tradeoff follow from the EB. Our derivations cover both Langevin and Markov jump systems, with the first proof of the EB for the Markov jump systems and a more generalized form of the CSL. We also present concrete examples of the EB for the Markov jump systems and the generalized CSL.

Optimal control theory for maximum power of Brownian heat engines

The pursuit of achieving the maximum output power in microscopic heat engines has gained increasing attention in the field of stochastic thermodynamics. We employ the optimal control theory to study Brownian heat engines and determine the optimal heat-engine cycles in a generic damped situation, which were previously known only in the overdamped and the underdamped limits. These optimal cycles include two isothermal processes, two adiabatic processes, and an extra isochoric relaxation process at the high stiffness constraint. Our results determine the maximum output power under realistic control constraints, and also bridge the gap of the optimal cycles between the overdamped and the underdamped limits. Hence, we solve an outstanding problem in the studies of heat engines by employing the optimal control theory to stochastic thermodynamics. These findings bring valuable insights for the design of high-performance Brownian heat engines in experimental setups.

Efficiency bounds for bipartite information-thermodynamic systems

In this paper, we introduce an approach to derive a lower bound for the entropy production rate of a subsystem by utilizing the Cauchy-Schwarz inequality. It extends to establishing comprehensive upper and lower bounds for the efficiency of two subsystems. These bounds are applicable to a wide range of Markovian stochastic processes, which enhances the accuracy in depicting the range of energy conversion efficiency between subsystems. Empirical validation is conducted using a two-quantum-dot system model, which serves to confirm the effectiveness of our inequality in refining the boundaries of efficiency.

Generalized Linear Response Theory for the Full Quantum Work Statistics

We consider a quantum system driven out of equilibrium via a small Hamiltonian perturbation. Building on the paradigmatic framework of linear response theory (LRT), we derive an expression for the full generating function of the dissipated work. Remarkably, we find that all information about the distribution can be encoded in a single quantity, the standard relaxation function in LRT, thus opening up new ways to use phenomenological models to study nonequilibrium fluctuations in complex quantum systems. Our results establish a number of refined quantum thermodynamic constraints on the work statistics that apply to regimes of perturbative but arbitrarily fast protocols, and do not rely on assumptions such as slow driving or weak coupling. Finally, our approach uncovers a distinctly quantum signature in the work statistics that originates from underlying zero-point energy fluctuations. This causes an increased dispersion of the probability distribution at short driving times, a feature that can be probed in efforts to witness nonclassical effects in quantum thermodynamics.

Out-of-Equilibrium Fluctuation-Dissipation Bounds

We prove a general inequality between the charge current and its fluctuations valid for any weakly interacting coherent electronic conductor and for any stationary out-of-equilibrium condition, thereby going beyond established fluctuation-dissipation relations. The developed fluctuation-dissipation bound saturates at large temperature bias and reveals additional insight for heat engines, since it limits the output power by power fluctuations. It is valid when the thermodynamic uncertainty relations break down due to quantum effects and provides stronger constraints close to thermovoltage.

Uncertainty relation for symmetric Petz-Rényi relative entropy

Holevo introduced a fidelity between quantum states that is symmetric and as effective as the trace distance in evaluating their similarity. This fidelity is bounded by a function of the trace distance, a relationship to which we will refer as Holevo's inequality. More broadly, Holevo's fidelity is part of a one-parameter family of symmetric Petz-Rényi relative entropies, which in turn satisfy a Pinsker's-like inequality with respect to the trace distance. Although Holevo's inequality is tight, Pinsker's inequality is loose for this family. We show that the symmetric Petz-Rényi relative entropies satisfy a tight inequality with respect to the trace distance, improving Pinsker's and reproducing Holevo's as a specific case. Additionally, we show how this result emerges from a symmetric Petz-Rényi uncertainty relation, a result that encompasses several relations in quantum and stochastic thermodynamics.

Limiting flux in quantum thermodynamics

In quantum systems, entropy production is typically defined as the quantum relative entropy between two states. This definition provides an upper bound for any flux (of particles, energy, entropy, etc.) of bounded observables, which proves especially useful near equilibrium. However, this bound tends to be irrelevant in general nonequilibrium situations. We propose a new upper bound for such fluxes in terms of quantum relative entropy, applicable even far from equilibrium and in the strong coupling regime. Additionally, we compare this bound with Monte Carlo simulations of random qubits with coherence, as well as with a model of two interacting nuclear spins.

Thermodynamic precision in the nonequilibrium exchange scenario

We discuss exchange scenario thermodynamic uncertainty relations for the work done on a two-qubit entangled nonequilibrium steady state obtained by coupling the two qubits and putting each of them in weak contact with a thermal bath. In this way we investigate the use of entangled nonequilibrium steady states as end points of thermodynamic cycles. In this framework we prove analytically that for a paradigmatic unitary it is possible to construct an exchange scenario thermodynamic uncertainty relation. However, despite holding in many cases, we also show that such a relation ceases to be valid when considering other suitable unitary quenches. Furthermore, this paradigmatic example allows us to shed light on the role of the entanglement between the two qubits for precise work absorption. By considering the projection of the entangled steady state onto the set of separable states, we provide examples where such projection implies an increase of the relative uncertainty, showing the usefulness of entanglement.

Quantum relative entropy uncertainty relation

For classic systems, the thermodynamic uncertainty relation (TUR) states that the fluctuations of a current have a lower bound in terms of the entropy production. Some TURs are rooted in information theory, particularly derived from relations between observations (mean and variance) and dissimilarities, such as the Kullback-Leibler divergence, which plays the role of entropy production in stochastic thermodynamics. We generalize this idea for quantum systems, where we find a lower bound for the uncertainty of quantum observables given in terms of the quantum relative entropy. We apply the result to obtain a quantum thermodynamic uncertainty relation in terms of the quantum entropy production, valid for arbitrary dynamics and nonthermal environments.

Universal quantum Otto heat machine based on the Dicke model

In this paper we study a quantum Otto thermal machine where the working substance is composed of N identical qubits coupled to a single mode of a bosonic field, where the atoms and the field interact with a reservoir, as described by the so-called open Dicke model. By controlling the relevant and experimentally accessible parameters of the model we show that it is possible to build a universal quantum heat machine (UQHM) that can function as an engine, refrigerator, heater, or accelerator. The heat and work exchanges are computed taking into account the growth of the number N of atoms as well as the coupling regimes characteristic of the Dicke model for several ratios of temperatures of the two thermal reservoirs. The analysis of quantum features such as entanglement and second-order correlation shows that these quantum resources do not affect either the efficiency or the performance of the UQHM based on the open Dicke model. In addition, we show that the improvement in both efficiency and coefficient of performance of our UQHM occurs for regions around the critical value of the phase transition parameter of the model.

Persistence time bound for subdiffusion based on multidimensional thermodynamic uncertainty relation: Application to an analytically solvable model

The thermodynamic uncertainty relation (TUR) is an inequality showing the tradeoff relationship between the relative fluctuation of current observables and thermodynamic costs. It is one of the most important results of stochastic thermodynamics. There are various applications for TUR, one of which is the recent finding of thermodynamic constraints on the time window in which anomalous diffusion of Brownian particles can occur, including subdiffusion and superdiffusion, which are slower and faster than normal diffusion, respectively. These constraints are quite nontrivial because they are not generally derived from the asymptotic normal-diffusive behavior of the anomalous diffusion itself. In this study, we applied multidimensional TUR to the subdiffusion of Brownian particles obeying multivariate Langevin dynamics with a translationally invariant Hamiltonian in equilibrium. Multidimensional TUR is an improved TUR that includes information on another observable in addition to the one currently being considered. The use of an additional observable yields tighter bounds on the current fluctuation than those obtained using TUR. As an example, we demonstrated our theory using the one-dimensional Rouse model, which is known as a simple and analytically tractable model of polymer chains. We demonstrated that we improved the bounds for the persistence time of subdiffusion of the Rouse model, which became tighter as a more correlated observable with the current was used.

Full statistics of nonequilibrium heat and work for many-body quantum Otto engines and universal bounds: A nonequilibrium Green's function approach

We consider a generic four-stroke quantum Otto engine consisting of two unitary and two thermalization strokes with an arbitrary many-body working medium. Using the Schwinger-Keldysh nonequilibrium Green's function formalism, we provide an analytical expression for the cumulant generating function corresponding to the joint probability distribution of nonequilibrium work and heat. The obtained result is valid up to the second order of the external driving amplitude. We then focus on the linear response limit and obtained Onsager's transport coefficients for the generic Otto cycle and show that the traditional fluctuation-dissipation relation for the total work is violated in the quantum domain, whereas for heat it is preserved. This leads to remarkable consequences in obtaining universal constraints on heat and work fluctuations for engine and refrigerator regimes of the Otto cycle and further allows us to make connections to the thermodynamic uncertainty relations. These findings are illustrated using a paradigmatic model that can be feasibly implemented in experiments.

Overcoming power-efficiency tradeoff in a micro heat engine by engineered system-bath interactions

All real heat engines, be it conventional macro engines or colloidal and atomic micro engines, inevitably tradeoff efficiency in their pursuit to maximize power. This basic postulate of finite-time thermodynamics has been the bane of all engine design for over two centuries and all optimal protocols implemented hitherto could at best minimize only the loss in the efficiency. The absence of a protocol that allows engines to overcome this limitation has prompted theoretical studies to suggest universality of the postulate in both passive and active engines. Here, we experimentally overcome the power-efficiency tradeoff in a colloidal Stirling engine by selectively reducing relaxation times over only the isochoric processes using system bath interactions generated by electrophoretic noise. Our approach opens a window of cycle times where the tradeoff is reversed and enables the engine to surpass even their quasistatic efficiency. Our strategies finally cut loose engine design from fundamental restrictions and pave way for the development of more efficient and powerful engines and devices.

Thermodynamic variational relation

In systems far from equilibrium, the statistics of observables are connected to entropy production, leading to the thermodynamic uncertainty relation (TUR). However, the derivation of TURs often involves constraining the parity of observables, such as considering asymmetric currents, making it unsuitable for the general case. We propose a thermodynamic variational relation (TVR) between the statistics of general observables and entropy production, based on the variational representation of f divergences. From this result, we derive a universal TUR and other relations for higher-order statistics of observables.

Universal Scaling Bounds on a Quantum Heat Current

In this Letter, we derive new bounds on a heat current flowing into a quantum L-particle system coupled with a Markovian environment. By assuming that a system Hamiltonian and a system-environment interaction Hamiltonian are extensive in L, we prove that the absolute value of the heat current scales at most as Θ(L^{3}) in a limit of large L. Furthermore, we present an example of noninteracting particles globally coupled with a thermal bath, for which this bound is saturated in terms of scaling. However, the construction of such a system requires many-body interactions induced by the environment, which may be difficult to realize with the existing technology. To consider more feasible cases, we consider a class of the system where any nondiagonal elements of the noise operator (derived from the system-environment interaction Hamiltonian) become zero in the system energy basis, if the energy difference exceeds a certain value ΔE. Then, for ΔE=Θ(L^{0}), we derive another scaling bound Θ(L^{2}) on the absolute value of the heat current, and the so-called superradiance belongs to a class for which this bound is saturated. Our results are useful for evaluating the best achievable performance of quantum-enhanced thermodynamic devices, including far-reaching applications such as quantum heat engines, quantum refrigerators, and quantum batteries.

Bounds on nonequilibrium fluctuations for asymmetrically driven quantum Otto engines

For a four-stroke asymmetrically driven quantum Otto engine with working medium modeled by a single qubit, we study the bounds on nonequilibrium fluctuations of work and heat. We find strict relations between the fluctuations of work and individual heat for hot and cold reservoirs in arbitrary operational regimes. Focusing on the engine regime, we show that the ratio of nonequilibrium fluctuations of output work to input heat from the hot reservoir is both upper and lower bounded. As a consequence, we establish a hierarchical relation between the relative fluctuations of work and heat for both cold and hot reservoirs and further make a connection with the thermodynamic uncertainty relations. We discuss the fate of these bounds also in the refrigerator regime. The reported bounds, for such asymmetrically driven engines, emerge once both the time-forward and the corresponding reverse cycles of the engine are considered on an equal footing. We also extend our study and report bounds for a parametrically driven harmonic oscillator Otto engine.

Precision bound and optimal control in periodically modulated continuous quantum thermal machines

We use Floquet formalism to study fluctuations in periodically modulated continuous quantum thermal machines. We present a generic theory for such machines, followed by specific examples of sinusoidal, optimal, and circular modulations, respectively. The thermodynamic uncertainty relations (TUR) hold for all modulations considered. Interestingly, in the case of sinusoidal modulation, the TUR ratio assumes a minimum at the heat engine to refrigerator transition point, while the chopped random basis optimization protocol allows us to keep the ratio small for a wide range of modulation frequencies. Furthermore, our numerical analysis suggests that TUR can show signatures of heat engine to refrigerator transition, for more generic modulation schemes. We also study bounds in fluctuations in the efficiencies of such machines; our results indicate that fluctuations in efficiencies are bounded from above for a refrigerator and from below for an engine. Overall, this study emphasizes the crucial role played by different modulation schemes in designing practical quantum thermal machines.

Thermodynamics of a continuously monitored double-quantum-dot heat engine in the repeated interactions framework

Understanding the thermodynamic role of measurement in quantum mechanical systems is a burgeoning field of study. In this article, we study a double quantum dot (DQD) connected to two macroscopic fermionic thermal reservoirs. We assume that the DQD is continuously monitored by a quantum point contact (QPC), which serves as a charge detector. Starting from a minimalist microscopic model for the QPC and reservoirs, we show that the local master equation of the DQD can alternatively be derived in the framework of repeated interactions and that this framework guarantees a thermodynamically consistent description of the DQD and its environment (including the QPC). We analyze the effect of the measurement strength and identify a regime in which particle transport through the DQD is both assisted and stabilized by dephasing. We also find that in this regime the entropic cost of driving the particle current with fixed relative fluctuations through the DQD is reduced. We thus conclude that under continuous measurement a more constant particle current may be achieved at a fixed entropic cost.

Hybrid quantum thermal machines with dynamical couplings

Quantum thermal machines can perform useful tasks, such as delivering power, cooling, or heating. In this work, we consider hybrid thermal machines, that can execute more than one task simultaneously. We characterize and find optimal working conditions for a three-terminal quantum thermal machine, where the working medium is a quantum harmonic oscillator, coupled to three heat baths, with two of the couplings driven periodically in time. We show that it is possible to operate the thermal machine efficiently, in both pure and hybrid modes, and to switch between different operational modes simply by changing the driving frequency. Moreover, the proposed setup can also be used as a high-performance transistor, in terms of output-to-input signal and differential gain. Owing to its versatility and tunability, our model may be of interest for engineering thermodynamic tasks and for thermal management in quantum technologies.

Performance of Quantum Heat Engines Enhanced by Adiabatic Deformation of Trapping Potential

We present a quantum Otto engine model alternatively driven by a hot and a cold heat reservoir and consisting of two isochoric and two adiabatic strokes, where the adiabatic expansion or compression is realized by adiabatically changing the shape of the potential. Here, we show that such an adiabatic deformation may alter operation mode and enhance machine performance by increasing output work and efficiency, even with the advantage of decreasing work fluctuations. If the heat engine in the sudden limit operates under maximal power by optimizing the control parameter, the efficiency shows certain universal behavior, η*=ηC/2+ηC2/8+O(ηC3), where ηC=1-βhr/βcr is the Carnot efficiency, with βhr(βcr) being the inverse temperature of the hot (cold) reservoir. However, such efficiency under maximal power can be produced by our machine model in the regimes where the machine without adiabatic deformation can only operate as a heater or a refrigerator.

Measurement-Based Quantum Thermal Machines with Feedback Control

We investigated coupled-qubit-based thermal machines powered by quantum measurements and feedback. We considered two different versions of the machine: (1) a quantum Maxwell's demon, where the coupled-qubit system is connected to a detachable single shared bath, and (2) a measurement-assisted refrigerator, where the coupled-qubit system is in contact with a hot and cold bath. In the quantum Maxwell's demon case, we discuss both discrete and continuous measurements. We found that the power output from a single qubit-based device can be improved by coupling it to the second qubit. We further found that the simultaneous measurement of both qubits can produce higher net heat extraction compared to two setups operated in parallel where only single-qubit measurements are performed. In the refrigerator case, we used continuous measurement and unitary operations to power the coupled-qubit-based refrigerator. We found that the cooling power of a refrigerator operated with swap operations can be enhanced by performing suitable measurements.

Geometrical Bounds on Irreversibility in Squeezed Thermal Bath

Irreversible entropy production (IEP) plays an important role in quantum thermodynamic processes. Here, we investigate the geometrical bounds of IEP in nonequilibrium thermodynamics by exemplifying a system coupled to a squeezed thermal bath subject to dissipation and dephasing, respectively. We find that the geometrical bounds of the IEP always shift in a contrary way under dissipation and dephasing, where the lower and upper bounds turning to be tighter occur in the situation of dephasing and dissipation, respectively. However, either under dissipation or under dephasing, we may reduce both the critical time of the IEP itself and the critical time of the bounds for reaching an equilibrium by harvesting the benefits of squeezing effects in which the values of the IEP, quantifying the degree of thermodynamic irreversibility, also become smaller. Therefore, due to the nonequilibrium nature of the squeezed thermal bath, the system-bath interaction energy has a prominent impact on the IEP, leading to tightness of its bounds. Our results are not contradictory with the second law of thermodynamics by involving squeezing of the bath as an available resource, which can improve the performance of quantum thermodynamic devices.

Thermodynamic uncertainty relation from involutions

The thermodynamic uncertainty relation (TUR) is a lower bound for the variance of a current (over the mean squared) as a function of the average entropy production. Depending on the assumptions, one obtains different versions of the TUR. For instance, from the exchange fluctuation theorem, one obtains a corresponding exchange TUR. Alternatively, we show that TURs are a consequence of a very simple property: Every process s has only one conjugate s^{'}=m(s), where m is an involution, m(m(s))=s. This property allows the derivation of a general TUR without using any fluctuation theorem. As applications, we obtain the exchange TUR, the hysteretic TUR, a fluctuation-response inequality and a lower bound for the entropy production in terms of other nonequilibrium metrics.

Low-dissipation engines: Microscopic construction via shortcuts to adiabaticity and isothermality, the optimal relation between power and efficiency

We construct a microscopic model of low-dissipation engines by driving a Brownian particle in a time-dependent harmonic potential. Shortcuts to adiabaticity and shortcuts to isothermality are introduced to realize the adiabatic and isothermal branches in a thermodynamic cycle, respectively. We derive an analytical formula of the efficiency at maximum power with explicit expressions of dissipation coefficients under the optimized protocols. When the relative temperature difference between the two baths in the cycle is insignificant, this expression satisfies the universal law of efficiency at maximum power up to the quadratic term of the Carnot efficiency. For large relative temperature differences, the efficiency at maximum power tends to be 1/2. Furthermore, we analyze the issue of power at any given efficiency for general low-dissipation engines and then obtain the supremum of the power in three limiting cases, respectively. These expressions of maximum power at given efficiency provide the optimal relations between power and efficiency which are tighter than the results in previous references.

Thermodynamic Uncertainty Relation in Interacting Many-Body Systems

The thermodynamic uncertainty relation (TUR) has been well studied for systems with few degrees of freedom. While, in principle, the TUR holds for more complex systems with many interacting degrees of freedom as well, little is known so far about its behavior in such systems. We analyze the TUR in the thermodynamic limit for mixtures of driven particles with short-range interactions. Our main result is an explicit expression for the optimal estimate of the total entropy production in terms of single-particle currents and correlations between two-particle currents. Quantitative results for various versions of a driven lattice gas demonstrate the practical implementation of this approach.

Autonomous circular heat engine

A dynamical model of a highly efficient heat engine is proposed, where an applied temperature difference maintains the motion of particles around the circuit consisting of two asymmetric narrow channels, in one of which the current flows against the applied thermodynamic forces. Numerical simulations and linear-response analysis suggest that, in the absence of frictional losses, the Carnot efficiency can be achieved in the thermodynamic limit.

Thermodynamic skewness relation from detailed fluctuation theorem

The detailed fluctuation theorem (DFT) is a statement about the asymmetry in the statistics of the entropy production. Consequences of the DFT are the second law of thermodynamics and the thermodynamics uncertainty relation, which translate into lower bounds for the mean and variance of currents, respectively. However, far from equilibrium, mean and variance are not enough to characterize the underlying distribution of the entropy production. The fluctuations are not necessarily Gaussian (nor symmetric), which means their skewness could be nonzero. We prove that the DFT imposes a negative tight lower bound for the skewness of the entropy production as a function of the mean. As application, we check the bound in the heat exchange problem between two thermal reservoirs mediated by a qubit swap engine.

Virial-like thermodynamic uncertainty relation in the tight-binding regime

We presented a methodology to approximate the entropy production for Brownian motion in a tilted periodic potential. The approximation stems from the well known thermodynamic uncertainty relation. By applying a virial-like expansion, we provided a tighter lower limit solely in terms of the drift velocity and diffusion. The approach presented is systematically analyzed in the tight-binding regime. We also provide a relative simple rule to validate using the tight-binding approach based on drift and diffusion relations rather than energy barriers and forces. We also discuss the implications of our results outside the tight-binding regime.

Contact Effects on Thermoelectric Properties of Textured Graphene Nanoribbons

The transport and thermoelectric properties of finite textured graphene nanoribbons (t-GNRs) connected to electrodes with various coupling strengths are theoretically studied in the framework of the tight-binding model and Green's function approach. Due to quantum constriction induced by the indented edges, such t-GNRs behave as serially coupled graphene quantum dots (SGQDs). These types of SGQDs can be formed by tailoring zigzag GNRs (ZGNRs) or armchair GNRs (AGNRs). Their bandwidths and gaps can be engineered by varying the size of the quantum dot and the neck width at indented edges. Effects of defects and junction contact on the electrical conductance, Seebeck coefficient, and electron thermal conductance of t-GNRs are calculated. When a defect occurs in the interior site of textured ZGNRs (t-ZGNRs), the maximum power factor within the central gap or near the band edges is found to be insensitive to the defect scattering. Furthermore, we found that SGQDs formed by t-ZGNRs have significantly better electrical power outputs than those of textured ANGRs due to the improved functional shape of the transmission coefficient in t-ZGNRs. With a proper design of contact, the maximum power factor (figure of merit) of t-ZGNRs could reach 90% (95%) of the theoretical limit.

Lower bound for entropy production rate in stochastic systems far from equilibrium

We show that the Schnakenberg's entropy production rate in a master equation is lower bounded by a function of the weight of the Markov graph, here defined as the sum of the absolute values of probability currents over the edges. The result is valid for time-dependent nonequilibrium entropy production rates. Moreover, in a general framework, we prove a theorem showing that the Kullback-Leibler divergence between distributions P(s) and P^{'}(s):=P(m(s)), where m is an involution, m(m(s))=s, is lower bounded by a function of the total variation of P and P^{'}, for any m. The bound is tight and it improves on Pinsker's inequality for this setup. This result illustrates a connection between nonequilibrium thermodynamics and graph theory with interesting applications.

Stochastic currents and efficiency in an autonomous heat engine

We experimentally demonstrate that a Brownian gyrator of a colloidal particle confined in a two-dimensional harmonic potential with different effective temperatures on orthogonal axes can work as an autonomous heat engine capable of extracting work from the heat bath, generated by an optical feedback trap. The results confirm the theoretically predicted thermodynamic currents and validate the attainability of Carnot efficiency as well as the trade-off relation between power and efficiency. We further show that current fluctuations and the entropy production rate are time independent in the steady state and their product near the Carnot efficiency is close to the lower bound of the thermodynamic uncertainty relation.

Microscopic theory of the Curzon-Ahlborn heat engine based on a Brownian particle

The Curzon-Ahlborn (CA) efficiency, as the efficiency at the maximum power (EMP) of the endoreversible Carnot engine, has significant impact on finite-time thermodynamics. However, the CA engine is based on many assumptions. In the past few decades, although a lot of efforts have been made, a microscopic theory of the CA engine is still lacking. By adopting the method of the stochastic differential equation of energy, we formulate a microscopic theory of the CA engine realized with a highly underdamped Brownian particle in a class of nonharmonic potentials. This theory gives microscopic interpretation of all assumptions made by Curzon and Ahlborn. In other words, we find a microscopic counterpart of the CA engine in stochastic thermodynamics. Also, based on this theory, we derive the explicit expression of the protocol associated with the maximum power for any given efficiency, and we obtain analytical results of the power and the efficiency statistics for the Brownian CA engine. Our research brings new perspectives to experimental studies of finite-time microscopic heat engines featured with fluctuations.

Optimization of asymmetric quantum Otto engine cycles

We consider the optimization of the work output and fluctuations of a finite-time quantum Otto heat engine cycle consisting of compression and expansion work strokes of unequal duration. The asymmetry of the cycle is characterized by a parameter r_{u} giving the ratio of the times for the compression and expansion work strokes. For such an asymmetric quantum Otto engine cycle, with working substance chosen as a harmonic oscillator or a two-level system, we find that the optimal values of r_{u} maximizing the work output and the reliability (defined as the ratio of average work output to its standard deviation) shows discontinuities as a function of the total time taken for the cycle. Moreover we identify cycles of some specific duration where both the work output and the reliability take their largest values for the same value of the asymmetry parameter r_{u}.

Collective effects on the performance and stability of quantum heat engines

Recent predictions for quantum-mechanical enhancements in the operation of small heat engines have raised renewed interest in their study both from a fundamental perspective and in view of applications. One essential question is whether collective effects may help to carry enhancements over larger scales, when increasing the number of systems composing the working substance of the engine. Such enhancements may consider not only power and efficiency, that is, its performance, but, additionally, its constancy, that is, the stability of the engine with respect to unavoidable environmental fluctuations. We explore this issue by introducing a many-body quantum heat engine model composed by spin pairs working in continuous operation. We study how power, efficiency, and constancy scale with the number of spins composing the engine and introduce a well-defined macroscopic limit where analytical expressions are obtained. Our results predict power enhancements, in both finite-size and macroscopic cases, for a broad range of system parameters and temperatures, without compromising the engine efficiency, accompanied by coherence-enhanced constancy for finite sizes. We discuss these quantities in connection to thermodynamic uncertainty relations.

Non-Markovian thermal operations boosting the performance of quantum heat engines

It is investigated whether non-Markovianity, i.e., the memory effects resulting from the coupling of the system to its environment, can be beneficial for the performance of quantum heat engines. Specifically, two physical models are considered. The first one is a well-known single-qubit Otto engine; the non-Markovian behavior is there implemented by replacing standard thermalization strokes with so-called extremal thermal operations which cannot be realized without the memory effects. The second one is a three-stroke engine in which the cycle consists of two extremal thermal operations and a single qubit rotation. It is shown that the non-Markovian Otto engine can generate more work-per-cycle for a given efficiency than its Markovian counterpart, whereas performance of both setups is superior to the three-stroke engine. Furthermore, both the non-Markovian Otto engine and the three-stroke engine can reduce the work fluctuations in comparison with the Markovian Otto engine, with their relative advantage depending on the performance target. This demonstrates the beneficial influence of non-Markovianity on both the average performance and the stability of operation of quantum heat engines.

Universal minimal cost of coherent biochemical oscillations

Biochemical clocks are essential for virtually all living systems. A biochemical clock that is isolated from an external periodic signal and subjected to fluctuations can oscillate coherently only for a finite number of oscillations. Furthermore, such an autonomous clock can oscillate only if it consumes free energy. What is the minimum amount of free-energy consumption required for a certain number of coherent oscillations? We conjecture a universal bound that answers this question. A system that oscillates coherently for N oscillations has a minimal free-energy cost per oscillation of 4π^{2}Nk_{B}T. Our bound is valid for general finite Markov processes, is conjectured based on extensive numerical evidence, is illustrated with numerical simulations of a known model for a biochemical oscillator, and applies to existing experimental data.

A model of minimal entropy generation for cytoskeletal transport systems with multiple interacting motors

We study the steady-state rate of entropy generation for multiple interacting particles. The description used is based on the partially asymmetric exclusion process in a lattice with periodic boundary conditions. Our methodology shows that in the steady-state, the rate of entropy generation is directly proportional to the bulk drift and the applied driving force. Since in many cases the driving force is unknown or hard to determine. We circumvent this by deriving a lower bound for the entropy, resulting in an extended thermodynamic uncertainty relation for the asymmetric simple exclusion process. We systematically compared this bound with the actual entropy generation. Thus, we identify the force regimes, and particles' density conditions where the entropy bound derived from this extended thermodynamic uncertainty relation is meaningful.

Geometric Bound on the Efficiency of Irreversible Thermodynamic Cycles

Stochastic thermodynamics has revolutionized our understanding of heat engines operating in finite time. Recently, numerous studies have considered the optimal operation of thermodynamic cycles acting as heat engines with a given profile in thermodynamic space (e.g., P-V space in classical thermodynamics), with a particular focus on the Carnot engine. In this work, we use the lens of thermodynamic geometry to explore the full space of thermodynamic cycles with continuously varying bath temperature in search of optimally shaped cycles acting in the slow-driving regime. We apply classical isoperimetric inequalities to derive a universal geometric bound on the efficiency of any irreversible thermodynamic cycle and explicitly construct efficient heat engines operating in finite time that nearly saturate this bound for a specific model system. Given the bound, these optimal cycles perform more efficiently than all other thermodynamic cycles operating as heat engines in finite time, including notable cycles, such as those of Carnot, Stirling, and Otto. For example, in comparison to recent experiments, this corresponds to orders of magnitude improvement in the efficiency of engines operating in certain time regimes. Our results suggest novel design principles for future mesoscopic heat engines and are ripe for experimental investigation.

Quantum-Enhanced Heat Engine Based on Superabsorption

We propose a quantum-enhanced heat engine with entanglement. The key feature of our scheme is superabsorption, which facilitates enhanced energy absorption by entangled qubits. Whereas a conventional engine with N separable qubits provides power with a scaling of P=Θ(N), our engine uses superabsorption to provide power with a quantum scaling of P=Θ(N^{2}). This quantum heat engine also exhibits a scaling advantage over classical ones composed of N-particle Langevin systems. Our work elucidates the quantum properties allowing for the enhancement of performance.

Geometric bounds on the power of adiabatic thermal machines

We analyze the performance of slowly driven meso- and microscale refrigerators and heat engines that operate between two thermal baths with a small temperature difference. Using a general scaling argument, we show that such devices can work arbitrarily close to their Carnot limit only if heat leaks between the baths are fully suppressed. Their power output is then subject to a universal geometric bound that decays quadratically to zero at the Carnot limit. This bound can be asymptotically saturated in the quasistatic limit if the driving protocols are suitably optimized and the temperature difference between the baths goes to zero with the driving frequency. These results hold under generic conditions for any thermodynamically consistent dynamics admitting a well-defined adiabatic-response regime and a generalized Onsager symmetry. For illustration, we work out models of a qubit-refrigerator and a coherent charge pump operating as a cooling device.

Optimal finite-time Brownian Carnot engine

Recent advances in experimental control of colloidal systems have spurred a revolution in the production of mesoscale thermodynamic devices. Functional "textbook" engines, such as the Stirling and Carnot cycles, have been produced in colloidal systems where they operate far from equilibrium. Simultaneously, significant theoretical advances have been made in the design and analysis of such devices. Here, we use methods from thermodynamic geometry to characterize the optimal finite-time nonequilibrium cyclic operation of the parametric harmonic oscillator in contact with a time-varying heat bath with particular focus on the Brownian Carnot cycle. We derive the optimally parametrized Carnot cycle, along with two other new cycles and compare their dissipated energy, efficiency, and steady-state power production against each other and a previously tested experimental protocol for the Carnot cycle. We demonstrate a 20% improvement in dissipated energy over previous experimentally tested protocols and a ∼50% improvement under other conditions for one of our engines, whereas our final engine is more efficient and powerful than the others we considered. Our results provide the means for experimentally realizing optimal mesoscale heat engines.

Thermodynamics of Precision in Markovian Open Quantum Dynamics

The thermodynamic and kinetic uncertainty relations indicate trade-offs between the relative fluctuation of observables and thermodynamic quantities such as dissipation and dynamical activity. Although these relations have been well studied for classical systems, they remain largely unexplored in the quantum regime. In this Letter, we investigate such trade-off relations for Markovian open quantum systems whose underlying dynamics are quantum jumps, such as thermal processes and quantum measurement processes. Specifically, we derive finite-time lower bounds on the relative fluctuation of both dynamical observables and their first passage times for arbitrary initial states. The bounds imply that the precision of observables is constrained not only by thermodynamic quantities but also by quantum coherence. We find that the product of the relative fluctuation and entropy production or dynamical activity is enhanced by quantum coherence in a generic class of dissipative processes of systems with nondegenerate energy levels. Our findings provide insights into the survival of the classical uncertainty relations in quantum cases.

Classical Pendulum Clocks Break the Thermodynamic Uncertainty Relation

The thermodynamic uncertainty relation expresses a seemingly universal trade-off between the cost for driving an autonomous system and precision in any output observable. It has so far been proven for discrete systems and for overdamped Brownian motion. Its validity for the more general class of underdamped Brownian motion, where inertia is relevant, was conjectured based on numerical evidence. We now disprove this conjecture by constructing a counterexample. Its design is inspired by a classical pendulum clock, which uses an escapement to couple the motion of an oscillator to regulate the motion of another degree of freedom (a "hand") driven by an external force. Considering a thermodynamically consistent, discrete model for an escapement mechanism, we first show that the oscillations of an underdamped harmonic oscillator in thermal equilibrium are sufficient to break the thermodynamic uncertainty relation. We then show that this is also the case in simulations of a fully continuous underdamped system with a potential landscape that mimics an escaped pendulum.