Thermodynamic Uncertainty Relation in Slowly Driven Quantum Heat Engines

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.

Probing coherent quantum thermodynamics using a trapped ion

Quantum thermodynamics is aimed at grasping thermodynamic laws as they apply to thermal machines operating in the deep quantum regime, where coherence and entanglement are expected to matter. Despite substantial progress, however, it has remained difficult to develop thermal machines in which such quantum effects are observed to be of pivotal importance. In this work, we demonstrate the possibility to experimentally measure and benchmark a genuine quantum correction, induced by quantum friction, to the classical work fluctuation-dissipation relation. This is achieved by combining laser-induced coherent Hamiltonian rotations and energy measurements on a trapped ion. Our results demonstrate that recent developments in stochastic quantum thermodynamics can be used to benchmark and unambiguously distinguish genuine quantum coherent signatures generated along driving protocols, even in presence of experimental SPAM errors and, most importantly, beyond the regimes for which theoretical predictions are available (e.g., in slow driving).

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.

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.

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.

Controlling work output and coherence in finite-time quantum Otto engines through monitoring

We examine the role of diagnostic quantum measurements on the work statistics of a finite-time quantum Otto heat engine operated in the steady state. We consider three pointer-based measurement schemes that differ in the number of system-pointer interactions and pointer measurements. We show that the coherence of the working substance and the work output of the engine can be controlled by tuning the monitoring measurements. Moreover, for a working substance consisting of a two-level system we show that while all three schemes reproduce the predictions of the cycle without any monitoring for the average work in the limit of infinitely weak measurement, only two of the schemes can reproduce the two-point projective measurement results in the limit of strong measurement.

Symmetric-logarithmic-derivative Fisher information for kinetic uncertainty relations

We investigate a symmetric logarithmic derivative (SLD) Fisher information for kinetic uncertainty relations (KURs) of open quantum systems described by the GKSL quantum master equation with and without the detailed balance condition. In a quantum kinetic uncertainty relation derived by Vu and Saito [Phys. Rev. Lett. 128, 140602 (2022)0031-900710.1103/PhysRevLett.128.140602], the Fisher information of probability of quantum trajectory with a time-rescaling parameter plays an essential role. This Fisher information is upper bounded by the SLD Fisher information. For a finite time and arbitrary initial state, we derive a concise expression of the SLD Fisher information, which is a double time integral and can be calculated by solving coupled first-order differential equations. We also derive a simple lower bound of the Fisher information of quantum trajectory. We point out that the SLD Fisher information also appears in the speed limit based on the Mandelstam-Tamm relation by Hasegawa [Nat. Commun. 14, 2828 (2023)2041-172310.1038/s41467-023-38074-8]. When the jump operators connect eigenstates of the system Hamiltonian, we show that the Bures angle in the interaction picture is upper bounded by the square root of the dynamical activity at short times, which contrasts with the classical counterpart.

Thermodynamic uncertainty theorem

Thermodynamic uncertainty relations (TURs) express a fundamental lower bound on the precision (inverse scaled variance) of any thermodynamic charge-e.g., work or heat-by functionals of the average entropy production. Relying on purely variational arguments, we significantly extend TUR inequalities by incorporating and analyzing the impact of higher statistical cumulants of the entropy production itself within the general framework of time-symmetrically-controlled computation. We derive an exact expression for the charge that achieves the minimum scaled variance, for which the TUR bound tightens to an equality that we name the thermodynamic uncertainty theorem (TUT). Importantly, both the minimum scaled variance charge and the TUT are functionals of the stochastic entropy production, thus retaining the impact of its higher moments. In particular, our results show that, beyond the average, the entropy production distribution's higher moments have a significant effect on any charge's precision. This is made explicit via a thorough numerical analysis of "swap" and "reset" computations that quantitatively compares the TUT against previous generalized TURs.

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.

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.

Thermodynamic uncertainty relations in mesoscopic devices

We investigate the thermodynamic uncertainty relations (TURs) in mesoscopic devices for all universal symmetry classes of Wigner-Dyson and Dirac (chiral). The observables of interest include the TUR (MS), which is defined in terms of the ratio between the mean noise and mean conductance, as well as a new TUR (R) proposed in this article, which is based on the ensemble mean of the noise-to-conductance ratio. A detailed study is made on the quantum interference corrections associated with the TURs. We also analyze the influence of orbital and sublattice/chiral degrees of freedom for the validity of the observables in these chaotic mesoscopic billiards. Our investigation is based on the concatenation between the Landauer-Büttiker theory, the Mahaux-Wendeinmüller theory, and the TURs. We simulate the universal mesoscopic chaotic quantum dots using the random-matrix theory and compare our numerical results with the pertinent experimental data. The results were obtained for a different number of channels and tunneling rates that vary from the opaque to the ideal regime and, in all cases, demonstrate a clear phenomenological distinction between the TURs. In particular, the opaque regime engenders remarkable differences between the observables, even in the semiclassical regime, which characterizes a clear violation of the central limit theorem. Furthermore, we show that the phenomenology of the quantum interference corrections is strikingly robust, surprisingly exhibiting an order of magnitude greater than the supposedly leading semiclassical term for the TUR (R).

Energy dynamics, heat production and heat-work conversion with qubits: toward the development of quantum machines

We present an overview of recent advances in the study of energy dynamics and mechanisms for energy conversion in qubit systems with special focus on realizations in superconducting quantum circuits. We briefly introduce the relevant theoretical framework to analyze heat generation, energy transport and energy conversion in these systems with and without time-dependent driving considering the effect of equilibrium and non-equilibrium environments. We analyze specific problems and mechanisms under current investigation in the context of qubit systems. These include the problem of energy dissipation and possible routes for its control, energy pumping between driving sources and heat pumping between reservoirs, implementation of thermal machines and mechanisms for energy storage. We highlight the underlying fundamental phenomena related to geometrical and topological properties, as well as many-body correlations. We also present an overview of recent experimental activity in this field.

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.

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.

Semi-Markov processes in open quantum systems: Connections and applications in counting statistics

Using the age-structure formalism, we definitely establish connections between semi-Markov processes and the dynamics of open quantum systems that satisfy the Markov quantum master equations. A generalized Feynman-Kac formula of the semi-Markov processes is also proposed. In addition to inheriting all statistical properties possessed by the piecewise deterministic processes of wave functions, the semi-Markov processes show their unique advantages in quantum counting statistics. Compared with the conventional method of the tilted quantum master equation, they can be applied to more general counting quantities. In particular, the terms involved in the method have precise probability meanings. We use a driven two-level quantum system to exemplify these results.

Optimal linear cyclic quantum heat engines cannot benefit from strong coupling

Uncovering whether strong system-bath coupling can be an advantageous operation resource for energy conversion can facilitate the development of efficient quantum heat engines (QHEs). Yet, a consensus on this ongoing debate is still lacking owing to challenges arising from treating strong couplings. Here, we conclude the debate for optimal linear cyclic QHEs operated under a small temperature difference by revealing the detrimental role of strong system-bath coupling in their optimal operations. We analytically demonstrate that both the efficiency at maximum power and maximum efficiency of strong-coupling linear cyclic QHEs are upper bounded by their weak-coupling counterparts with the same degree of time-reversal symmetry breaking. Under strong time-reversal symmetry breaking, we further reveal a quadratic suppression of the optimal efficiencies relative to the Carnot limit when away from the weak-coupling regime, along with a quadratic enhancement of the mean entropy production rate.

Controlling thermodynamics of a quantum heat engine with modulated amplitude drivings

External driving of bath temperatures with a phase difference of a nonequilibrium quantum engine leads to the emergence of geometric effects on the thermodynamics. In this work we modulate the amplitude of the external driving protocols by introducing envelope functions and study the role of geometric effects on the flux, noise, and efficiency of a four-level driven quantum heat engine coupled with two thermal baths and a unimodal cavity. We observe that having a finite width of the modulation envelope introduces an additional control knob for studying the thermodynamics in the adiabatic limit. The optimization of the flux as well as the noise with respect to thermally induced quantum coherences becomes possible in the presence of geometric effects, which hitherto has not been possible with sinusoidal driving without an envelope. We also report the deviation of the slope and generation of an intercept in the standard expression for efficiency at maximum power as a function of Carnot efficiency in the presence of geometric effects under the amplitude modulation. Further, a recently developed universal bound on the efficiency obtained from the thermodynamic uncertainty relation is shown not to hold when a small width of the modulation envelope along with a large value of cavity temperature is maintained.

Verification of Information Thermodynamics in a Trapped Ion System

Information thermodynamics has developed rapidly over past years, and the trapped ions, as a controllable quantum system, have demonstrated feasibility to experimentally verify the theoretical predictions in the information thermodynamics. Here, we address some representative theories of information thermodynamics, such as the quantum Landauer principle, information equality based on the two-point measurement, information-theoretical bound of irreversibility, and speed limit restrained by the entropy production of system, and review their experimental demonstration in the trapped ion system. In these schemes, the typical physical processes, such as the entropy flow, energy transfer, and information flow, build the connection between thermodynamic processes and information variation. We then elucidate the concrete quantum control strategies to simulate these processes by using quantum operators and the decay paths in the trapped-ion system. Based on them, some significantly dynamical processes in the trapped ion system to realize the newly proposed information-thermodynamic models is reviewed. Although only some latest experimental results of information thermodynamics with a single trapped-ion quantum system are reviewed here, we expect to find more exploration in the future with more ions involved in the experimental systems.

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.

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.

Experimental Verification of Dissipation-Time Uncertainty Relation

Dissipation is vital to any cyclic process in realistic systems. Recent research focus on nonequilibrium processes in stochastic systems has revealed a fundamental trade-off, called dissipation-time uncertainty relation, that entropy production rate associated with dissipation bounds the evolution pace of physical processes [Phys. Rev. Lett. 125, 120604 (2020)PRLTAO0031-900710.1103/PhysRevLett.125.120604]. Following the dissipative two-level model exemplified in the same Letter, we experimentally verify this fundamental trade-off in a single trapped ultracold ^{40}Ca^{+} ion using elaborately designed dissipative channels, along with a postprocessing method developed in the data analysis, to build the effective nonequilibrium stochastic evolutions for the energy transfer between two heat baths mediated by a qubit. Since the dissipation-time uncertainty relation imposes a constraint on the quantum speed regarding entropy flux, our observation provides the first experimental evidence confirming such a speed restriction from thermodynamics on quantum operations due to dissipation, which helps us further understand the role of thermodynamical characteristics played in quantum information processing.

Bounds on fluctuations for machines with broken time-reversal symmetry: A linear response study

For a generic class of machines with broken time-reversal symmetry we show that in the linear response regime the relative fluctuation of the sum of output currents for time-forward and time-reversed processes is always lower bounded by the corresponding relative fluctuation of the sum of input currents. This bound is received when the same operating condition, for example, engine, refrigerator, or pump, is imposed on both the forward and the reversed processes. As a consequence, universal upper and lower bounds for the ratio between fluctuations of output and input current are obtained. Furthermore, we establish an important connection between our results and the recently obtained generalized thermodynamic uncertainty relations for time-reversal symmetry-broken systems. We illustrate these findings for two different types of machines: (1) a steady-state three-terminal quantum thermoelectric setup in presence of an external magnetic field and (2) a periodically driven classical Brownian heat engine.

Irreversibility, Loschmidt Echo, and Thermodynamic Uncertainty Relation

Entropy production characterizes irreversibility. This viewpoint allows us to consider the thermodynamic uncertainty relation, which states that a higher precision can be achieved at the cost of higher entropy production, as a relation between precision and irreversibility. Considering the original and perturbed dynamics, we show that the precision of an arbitrary counting observable in continuous measurement of quantum Markov processes is bounded from below by the Loschmidt echo between the two dynamics, representing the irreversibility of quantum dynamics. When considering particular perturbed dynamics, our relation leads to several thermodynamic uncertainty relations, indicating that our relation provides a unified perspective on classical and quantum thermodynamic uncertainty relations.

Thermodynamic uncertainty relations for many-body systems with fast jump rates and large occupancies

A universal large N theory of nonequilibrium fluctuations emerges in the limit of fast jump rates and large occupancies. We use this theory to derive a set of coarse-grained thermodynamic uncertainty relations-one of them being an activity bound. Importantly, the activity serves as a tighter bound for the entropy production in 1D systems. These results are particularly useful in the many-body regime, where typically a coarse-grained approach is required to handle the large microscopic state space.

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.

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.