Geometric Optimisation of Quantum Thermodynamic Processes

Thermodynamic Geometry of Nonequilibrium Fluctuations in Cyclically Driven Transport

Nonequilibrium thermal machines under cyclic driving generally outperform steady-state counterparts. However, there is still lack of coherent understanding of versatile transport and fluctuation features under time modulations. Here, we formulate a theoretical framework of thermodynamic geometry in terms of full counting statistics of nonequilibrium driven transports. We find that, besides the conventional dynamic and adiabatic geometric curvature contributions, the generating function is also divided into an additional nonadiabatic contribution, manifested as the metric term of full counting statistics. This nonadiabatic metric generalizes recent results of thermodynamic geometry in near-equilibrium entropy production to far-from-equilibrium fluctuations of general currents. Furthermore, the framework proves geometric thermodynamic uncertainty relations of near-adiabatic thermal devices, constraining fluctuations in terms of statistical metric quantities and thermodynamic length. We exemplify the theory in experimentally accessible driving-induced quantum chiral transport and Brownian heat pump.

Speed limit, dissipation bound, and dissipation-time trade-off in thermal relaxation processes

We investigate bounds on speed, nonadiabatic entropy production, and the trade-off relation between them for classical stochastic processes with time-independent transition rates. Our results show that the time required to evolve from an initial to a desired target state is bounded from below by the information-theoretical ∞-Rényi divergence between these states, divided by the total rate. Furthermore, we conjecture and provide extensive numerical evidence for an information-theoretical bound on the nonadiabatic entropy production and a dissipation-time trade-off relation that outperforms previous bounds in some cases..

Model-free optimization of power/efficiency tradeoffs in quantum thermal machines using reinforcement learning

A quantum thermal machine is an open quantum system that enables the conversion between heat and work at the micro or nano-scale. Optimally controlling such out-of-equilibrium systems is a crucial yet challenging task with applications to quantum technologies and devices. We introduce a general model-free framework based on reinforcement learning to identify out-of-equilibrium thermodynamic cycles that are Pareto optimal tradeoffs between power and efficiency for quantum heat engines and refrigerators. The method does not require any knowledge of the quantum thermal machine, nor of the system model, nor of the quantum state. Instead, it only observes the heat fluxes, so it is both applicable to simulations and experimental devices. We test our method on a model of an experimentally realistic refrigerator based on a superconducting qubit, and on a heat engine based on a quantum harmonic oscillator. In both cases, we identify the Pareto-front representing optimal power-efficiency tradeoffs, and the corresponding cycles. Such solutions outperform previous proposals made in the literature, such as optimized Otto cycles, reducing quantum friction.

Optimal figure of merit of low-dissipation quantum refrigerators

The Drazin inverse of the Liouvillian superoperator provides a solution to determine the dynamics of a time-dependent system governed by the Markovian master equation. Under the condition of slow driving, the perturbation expansion of the density operator of the system in powers of time can be derived. As an application, a finite-time cycle model of the quantum refrigerator driven by a time-dependent external field is established. The method of the Lagrange multiplier is adopted as a strategy to find the optimal cooling performance. The figure of merit given by the product of the coefficient of performance and the cooling rate is taken as a new objective function, and, consequently, the optimally operating state of the refrigerator is revealed. The effects of the frequency exponent determining dissipation characteristics on the optimal performance of the refrigerator are discussed systemically. The results obtained show that the adjacent areas of the state of the maximum figure of merit are the best operation region of low-dissipative quantum refrigerators.

Work statistics in slow thermodynamic processes

We apply the adiabatic approximation to slow but finite-time thermodynamic processes and obtain the full counting statistics of work. The average work consists of change in free energy and the dissipated work, and we identify each term as a dynamical- and geometric-phase-like quantity. An expression for the friction tensor, the key quantity in thermodynamic geometry, is explicitly given. The dynamical and geometric phases are proved to be related to each other via the fluctuation-dissipation relation.

Minimally Dissipative Information Erasure in a Quantum Dot via Thermodynamic Length

In this Letter, we explore the use of thermodynamic length to improve the performance of experimental protocols. In particular, we implement Landauer erasure on a driven electron level in a semiconductor quantum dot, and compare the standard protocol in which the energy is increased linearly in time with the one coming from geometric optimization. The latter is obtained by choosing a suitable metric structure, whose geodesics correspond to optimal finite-time thermodynamic protocols in the slow driving regime. We show experimentally that geodesic drivings minimize dissipation for slow protocols, with a bigger improvement as one approaches perfect erasure. Moreover, the geometric approach also leads to smaller dissipation even when the time of the protocol becomes comparable with the equilibration timescale of the system, i.e., away from the slow driving regime. Our results also illustrate, in a single-electron device, a fundamental principle of thermodynamic geometry: optimal finite-time thermodynamic protocols are those with constant dissipation rate along the process.

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.

Minimal energy cost to initialize a bit with tolerable error

Landauer's principle imposes a fundamental limit on the energy cost to perfectly initialize a classical bit, which is only reached under the ideal operation with infinitely long time. The question on the cost in the practical operation for a bit has been raised under the constraint by the finiteness of operation time. We discover a raise-up of energy cost by L^{2}(ε)/τ from the Landaeur's limit (k_{B}Tln2) for a finite-time τ initialization of a bit with an error probability ε. The thermodynamic length L(ε) between the states before and after initializing in the parametric space increases monotonously as the error decreases. For example, in the constant dissipation coefficient (γ_{0}) case, the minimal additional cost is 0.997k_{B}T/(γ_{0}τ) for ε=1% and 1.288k_{B}T/(γ_{0}τ) for ε=0.1%. Furthermore, the optimal protocol to reach the bound of minimal energy cost is proposed for the bit initialization realized via a finite-time isothermal process.

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.

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.

Exponential Families with External Parameters

In this paper we introduce a class of statistical models consisting of exponential families depending on additional parameters, called external parameters. The main source for these statistical models resides in the Maximum Entropy framework where we have thermal parameters, corresponding to the natural parameters of an exponential family, and mechanical parameters, here called external parameters. In the first part we we study the geometry of these models introducing a fibration of parameter space over external parameters. In the second part we investigate a class of evolution problems driven by a Fokker-Planck equation whose stationary distribution is an exponential family with external parameters. We discuss applications of these statistical models to thermodynamic length and isentropic evolution of thermodynamic systems and to a problem in the dynamic of quantitative traits in genetics.

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.

Inverse linear versus exponential scaling of work penalty in finite-time bit reset

A bit reset is a basic operation in irreversible computing. This costs work and dissipates energy in the computer, creating a limit on speeds and energy efficiency of future irreversible computers. It was recently shown by Zhen et al. [Phys. Rev. Lett. 127, 190602 (2021)0031-900710.1103/PhysRevLett.127.190602] that for a finite-time reset protocol, the additional work on top of the quasistatic protocol can always be minimized by considering a two-level system, and then be lower bounded through a thermodynamical speed limit. An important question is to understand under what protocol parameters, including a bit reset error and maximum energy shift, this penalty decreases exponentially vs inverse linearly in the protocol time. Here we provide several analytical results to address this question, as well as numerical simulations of specific examples of protocols.

Maximum efficiency of low-dissipation heat pumps at given heating load

We derive an analytical expression for maximum efficiency at fixed power of heat pumps operating along a finite-time reverse Carnot cycle under the low-dissipation assumption. The result is cumbersome, but it implies simple formulas for tight upper and lower bounds on the maximum efficiency and various analytically tractable approximations. In general, our results qualitatively agree with those obtained earlier for endoreversible heat pumps. In fact, we identify a special parameter regime when the performance of the low-dissipation and endoreversible devices is the same. At maximum power, heat pumps operate as work to heat converters with efficiency 1. Expressions for maximum efficiency at given power can be helpful in the identification of more practical operation regimes.

Experimental Verification of the Work Fluctuation-Dissipation Relation for Information-to-Work Conversion

We study experimentally work fluctuations in a Szilard engine that extracts work from information encoded as the occupancy of an electron level in a semiconductor quantum dot. We show that as the average work extracted per bit of information increases toward the Landauer limit k_{B}Tln2, the work fluctuations decrease in accordance with the work fluctuation-dissipation relation. We compare the results to a protocol without measurement and feedback and show that when no information is used, the work output and fluctuations vanish simultaneously, contrasting the information-to-energy conversion case where increasing amount of work is produced with decreasing fluctuations. Our study highlights the importance of fluctuations in the design of information-to-work conversion processes.

Lower Bound on Irreversibility in Thermal Relaxation of Open Quantum Systems

We consider the thermal relaxation process of a quantum system attached to single or multiple reservoirs. Quantifying the degree of irreversibility by entropy production, we prove that the irreversibility of the thermal relaxation is lower bounded by a relative entropy between the unitarily evolved state and the final state. The bound characterizes the state discrepancy induced by the nonunitary dynamics, and thus reflects the dissipative nature of irreversibility. Intriguingly, the bound can be evaluated solely in terms of the initial and final states and the system Hamiltonian, thereby providing a feasible way to estimate entropy production without prior knowledge of the underlying coupling structure. This finding refines the second law of thermodynamics and reveals a universal feature of thermal relaxation processes.

Universal Bound on Energy Cost of Bit Reset in Finite Time

We consider how the energy cost of bit reset scales with the time duration of the protocol. Bit reset necessarily takes place in finite time, where there is an extra penalty on top of the quasistatic work cost derived by Landauer. This extra energy is dissipated as heat in the computer, inducing a fundamental limit on the speed of irreversible computers. We formulate a hardware-independent expression for this limit in the framework of stochastic processes. We derive a closed-form lower bound on the work penalty as a function of the time taken for the protocol and bit reset error. It holds for discrete as well as continuous systems, assuming only that the master equation respects detailed balance.

Extrapolating the thermodynamic length with finite-time measurements

The thermodynamic length, though providing a lower bound for the excess work required in a finite-time thermodynamic process, is determined by the properties of the equilibrium states reached by the quasistatic process and is thus beyond the direct experimental measurement. We propose an experimental strategy to measure the thermodynamic length of an open classical or quantum system by extrapolating finite-time measurements. The current proposal enables the measurement of the thermodynamic length for a single control parameter without requiring extra effort to find the optimal control scheme, and is illustrated with examples of the quantum harmonic oscillator with tuning frequency and the classical ideal gas with changing volume. Such a strategy shall shed light on the experimental design of the lacking platforms to measure the thermodynamic length.

Quantum Heat Engines with Complex Working Media, Complete Otto Cycles and Heuristics

Quantum thermal machines make use of non-classical thermodynamic resources, one of which include interactions between elements of the quantum working medium. In this paper, we examine the performance of a quasi-static quantum Otto engine based on two spins of arbitrary magnitudes subject to an external magnetic field and coupled via an isotropic Heisenberg exchange interaction. It has been shown earlier that the said interaction provides an enhancement of cycle efficiency, with an upper bound that is tighter than the Carnot efficiency. However, the necessary conditions governing engine performance and the relevant upper bound for efficiency are unknown for the general case of arbitrary spin magnitudes. By analyzing extreme case scenarios, we formulate heuristics to infer the necessary conditions for an engine with uncoupled as well as coupled spin model. These conditions lead us to a connection between performance of quantum heat engines and the notion of majorization. Furthermore, the study of complete Otto cycles inherent in the average cycle also yields interesting insights into the average performance.

Joint statistics of work and entropy production along quantum trajectories

In thermodynamics, entropy production and work quantify irreversibility and the consumption of useful energy, respectively, when a system is driven out of equilibrium. For quantum systems, these quantities can be identified at the stochastic level by unravelling the system's evolution in terms of quantum jump trajectories. We here derive a general formula for computing the joint statistics of work and entropy production in Markovian driven quantum systems, whose instantaneous steady states are of Gibbs form. If the driven system remains close to the instantaneous Gibbs state at all times, then we show that the corresponding two-variable cumulant generating function implies a joint detailed fluctuation theorem so long as detailed balance is satisfied. As a corollary, we derive a modified fluctuation-dissipation relation (FDR) for the entropy production alone, applicable to transitions between arbitrary steady states, and for systems that violate detailed balance. This FDR contains a term arising from genuinely quantum fluctuations, and extends an analogous relation from classical thermodynamics to the quantum regime.

Thermodynamic Uncertainty Relation in Slowly Driven Quantum Heat Engines

Thermodynamic uncertainty relations express a trade-off between precision, defined as the noise-to-signal ratio of a generic current, and the amount of associated entropy production. These results have deep consequences for autonomous heat engines operating at steady state, imposing an upper bound for their efficiency in terms of the power yield and its fluctuations. In the present Letter we analyze a different class of heat engines, namely, those which are operating in the periodic slow-driving regime. We show that an alternative TUR is satisfied, which is less restrictive than that of steady-state engines: it allows for engines that produce finite power, with small power fluctuations, to operate close to reversibility. The bound further incorporates the effect of quantum fluctuations, which reduces engine efficiency relative to the average power and reliability. We finally illustrate our findings in the experimentally relevant model of a single-ion heat engine.

Qubit thermodynamics far from equilibrium: Two perspectives about the nature of heat and work in the quantum regime

Considering an entropy-based division of energy transferred into heat and work, we develop an alternative theoretical framework for the thermodynamic analysis of two-level systems. When comparing these results with those obtained using the standard definitions of these quantities, we observe the appearance of a different term of work, which represents the energy cost of rotating the Bloch vector in the presence of the external field that defines the local Hamiltonian. Additionally, we obtain explicit expressions for the temperature, the heat capacity, and the internal entropy production of the system in both paradigms. In order to illustrate our findings we study, from both perspectives, matter-radiation interaction processes for two different systems.

Hierarchical Onsager symmetries in adiabatically driven linear irreversible heat engines

In existing linear response theories for adiabatically driven cyclic heat engines, Onsager symmetry is identified only phenomenologically, and a relation between global and local Onsager coefficients, defined over one cycle and at any instant of a cycle, respectively, is not derived. To address this limitation, we develop a linear response theory for the speed of adiabatically changing parameters and temperature differences in generic Gaussian heat engines obeying Fokker-Planck dynamics. We establish a hierarchical relationship between the global linear response relations, defined over one cycle of the heat engines, and the local ones, defined at any instant of the cycle. This yields a detailed expression for the global Onsager coefficients in terms of the local Onsager coefficients. Moreover, we derive an efficiency bound, which is tighter than the Carnot bound, for adiabatically driven linear irreversible heat engines based on the detailed global Onsager coefficients. Finally, we demonstrate the application of the theory using the simplest stochastic Brownian heat engine model.

Maximum efficiency of absorption refrigerators at arbitrary cooling power

We consider absorption refrigerators consisting of simultaneously operating Carnot-type heat engine and refrigerator. Their maximum efficiency at given power (MEGP) is given by the product of MEGPs for the internal engine and refrigerator. The only subtlety of the derivation lies in the fact that the maximum cooling power of the absorption refrigerator is not limited just by the maximum power of the internal refrigerator, but, due to the first law, also by that of the internal engine. As a specific example, we consider the simultaneous absorption refrigerators composed of low-dissipation (LD) heat engines and refrigerators, for which the expressions for MEGPs are known. The derived expression for maximum efficiency implies bounds on the MEGP of LD absorption refrigerators. It also implies that a slight decrease in power of the absorption refrigerator from its maximum value results in a large nonlinear increase in efficiency, observed in heat engines, whenever the ratio of maximum powers of the internal engine and the refrigerator does not diverge. Otherwise, the increase in efficiency is linear as observed in LD refrigerators. Thus, in all practical situations, the efficiency of LD absorption refrigerators significantly increases when their cooling power is slightly decreased from its maximum.

Optimization Modeling of Irreversible Carnot Engine from the Perspective of Combining Finite Speed and Finite Time Analysis

An irreversible Carnot cycle engine operating as a closed system is modeled using the Direct Method and the First Law of Thermodynamics for processes with Finite Speed. Several models considering the effect on the engine performance of external and internal irreversibilities expressed as a function of the piston speed are presented. External irreversibilities are due to heat transfer at temperature gradient between the cycle and heat reservoirs, while internal ones are represented by pressure losses due to the finite speed of the piston and friction. Moreover, a method for optimizing the temperature of the cycle fluid with respect to the temperature of source and sink and the piston speed is provided. The optimization results predict distinct maximums for the thermal efficiency and power output, as well as different behavior of the entropy generation per cycle and per time. The results obtained in this optimization, which is based on piston speed, and the Curzon–Ahlborn optimization, which is based on time duration, are compared and are found to differ significantly. Correction have been proposed in order to include internal irreversibility in the externally irreversible Carnot cycle from Curzon–Ahlborn optimization, which would be equivalent to a unification attempt of the two optimization analyses.

Quantum Finite-Time Thermodynamics: Insight from a Single Qubit Engine

Incorporating time into thermodynamics allows for addressing the tradeoff between efficiency and power. A qubit engine serves as a toy model in order to study this tradeoff from first principles, based on the quantum theory of open systems. We study the quantum origin of irreversibility, originating from heat transport, quantum friction, and thermalization in the presence of external driving. We construct various finite-time engine cycles that are based on the Otto and Carnot templates. Our analysis highlights the role of coherence and the quantum origin of entropy production.