Thermodynamic Bounds on Precision in Ballistic Multiterminal Transport

Thermodynamic Concentration Inequalities and Trade-Off Relations

Thermodynamic tradeoff relations quantify the fundamental concept of "no free lunch" in the physical world, suggesting that faster and more precise physical processes come at a higher thermodynamic cost. The key elements in these trade-off relations are the thermodynamic uncertainty relation and speed limit, which are closely tied to information inequalities from which other trade-off relations are derived. Concentration inequalities are relations that complement information inequalities in statistical analyses and have been widely used in various fields. However, their role in thermodynamic trade-off relations remains unclear. This Letter develops thermodynamic concentration inequalities that provide bounds for the distribution of observables in quantum and classical Markov processes. We derive a set of trade-off relations that generalize speed limits and thermodynamic uncertainty relations from the developed thermodynamic concentration inequalities. The derived trade-off relations hold under minimal assumptions of the underlying physical processes. This Letter clarifies the role of concentration inequalities in thermodynamics, paving the way for deriving new trade-off relations.

Thermodynamic cost for precision of general counting observables

We analytically derive universal bounds that describe the tradeoff between thermodynamic cost and precision in a sequence of events related to some internal changes of an otherwise hidden physical system. The precision is quantified by the fluctuations in either the number of events counted over time or the waiting times between successive events. Our results are valid for the same broad class of nonequilibrium driven systems considered by the thermodynamic uncertainty relation, but they extend to both time-symmetric and asymmetric observables. We show how optimal precision saturating the bounds can be achieved. For waiting-time fluctuations of asymmetric observables, a phase transition in the optimal configuration arises, where higher precision can be achieved by combining several signals.

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.

Thermodynamic Correlation Inequality

Trade-off relations place fundamental limits on the operations that physical systems can perform. This Letter presents a trade-off relation that bounds the correlation function, which measures the relationship between a system's current and future states, in Markov processes. The obtained bound, referred to as the thermodynamic correlation inequality, states that the change in the correlation function has an upper bound comprising the dynamical activity, a thermodynamic measure of the activity of a Markov process. Moreover, by applying the obtained relation to the linear response function, it is demonstrated that the effect of perturbation can be bounded from above by the dynamical activity.

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.

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.

General Upper Bounds on Fluctuations of Trajectory Observables

Thermodynamic uncertainty relations (TURs) are general lower bounds on the size of fluctuations of dynamical observables. They have important consequences, one being that the precision of estimation of a current is limited by the amount of entropy production. Here, we prove the existence of general upper bounds on the size of fluctuations of any linear combination of fluxes (including all time-integrated currents or dynamical activities) for continuous-time Markov chains. We obtain these general relations by means of concentration bound techniques. These "inverse TURs" are valid for all times and not only in the long time limit. We illustrate our analytical results with a simple model, and discuss wider implications of these new relations.

Upper bound for entropy production in Markov processes

The second law of thermodynamics states that entropy production cannot be negative. Recent developments concerning uncertainty relations in stochastic thermodynamics, such as thermodynamic uncertainty relations and speed limits, have yielded refined second laws that provide lower bounds of entropy production by incorporating information from current statistics or distributions. In contrast, in this study we bound the entropy production from above by terms comprising the dynamical activity and maximum transition-rate ratio. We derive two upper bounds: One applies to steady-state conditions, whereas the other applies to arbitrary time-dependent conditions. We verify these bounds through numerical simulation and identify several potential applications.

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.

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).

Unifying speed limit, thermodynamic uncertainty relation and Heisenberg principle via bulk-boundary correspondence

The bulk-boundary correspondence provides a guiding principle for tackling strongly correlated and coupled systems. In the present work, we apply the concept of the bulk-boundary correspondence to thermodynamic bounds described by classical and quantum Markov processes. Using the continuous matrix product state, we convert a Markov process to a quantum field, such that jump events in the Markov process are represented by the creation of particles in the quantum field. Introducing the time evolution of the continuous matrix product state, we apply the geometric bound to its time evolution. We find that the geometric bound reduces to the speed limit relation when we represent the bound in terms of the system quantity, whereas the same bound reduces to the thermodynamic uncertainty relation when expressed based on quantities of the quantum field. Our results show that the speed limits and thermodynamic uncertainty relations are two aspects of the same geometric bound.

Thermodynamic uncertainty relations for steady-state thermodynamics

A system can be driven out of equilibrium by both time-dependent and nonconservative forces, which gives rise to a decomposition of the dissipation into two nonnegative components, called the excess and housekeeping entropy productions. We derive thermodynamic uncertainty relations for the excess and housekeeping entropy. These can be used as tools to estimate the individual components, which are in general difficult to measure directly. We introduce a decomposition of an arbitrary current into housekeeping and excess parts, which provide lower bounds on the respective entropy production. Furthermore, we also provide a geometric interpretation of the decomposition and show that the uncertainties of the two components are not independent, but rather have to obey a joint uncertainty relation, which also yields a tighter bound on the total entropy production. We apply our results to a paradigmatic example that illustrates the physical interpretation of the components of the current and how to estimate the entropy production.

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.

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.

Bounds on skewness and kurtosis of steady-state currents

Current fluctuations are a powerful tool to unravel the underlying physics of the observed transport process. This work discusses some general properties of the third and the fourth current cumulant (skewness and kurtosis) related to dynamics and thermodynamics of a transport setup. Specifically, several distinct bounds on these quantities are either analytically derived or numerically conjectured, which are applicable to (1) noninteracting fermionic systems, (2) noninteracting bosonic systems, (3) thermally driven classical Markovian systems, and (4) unicyclic Markovian networks. Finally, it is demonstrated that violation of the obtained inequalities can provide a broad spectrum of information about the physics of the analyzed system; e.g., it can enable one to infer the presence of interactions or unitary dynamics, unravel the topology of the Markovian network, or characterize the nature of thermodynamic forces driving the system. In particular, relevant information about the microscopic dynamics can be gained even at equilibrium when the current variance-a standard measure of current fluctuations-is determined mostly by the thermal noise.

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.

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.

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.

Thermodynamic uncertainty relation for quantum first-passage processes

We derive a thermodynamic uncertainty relation for first passage processes in quantum Markov chains. We consider first passage processes that stop after a fixed number of jump events, which contrasts with typical quantum Markov chains which end at a fixed time. We obtain bounds for the observables of the first passage processes in quantum Markov chains by the Loschmidt echo, which quantifies the extent of irreversibility in quantum many-body systems. Considering a particular case, we show that the lower bound corresponds to the quantum Fisher information, which plays a fundamental role in uncertainty relations in quantum systems. Moreover, considering classical dynamics, our bound reduces to a thermodynamic uncertainty relation for classical first passage processes.

Universal bounds on cooling power and cooling efficiency for autonomous absorption refrigerators

For steady-state autonomous absorption refrigerators operating in the linear response regime, we show that there exists a hierarchy between the relative fluctuation of currents for cold, hot, and work terminals. Our proof requires the Onsager reciprocity relation along with the refrigeration condition that sets the direction of the mean currents for each terminal. As a consequence, the universal bounds on the mean cooling power, obtained following the thermodynamic uncertainty relations, follow a hierarchy. Interestingly, within this hierarchy, the tightest bound is given in terms of the work current fluctuation. Furthermore, the relative uncertainty hierarchy introduces a bound on cooling efficiency that is tighter than the bound obtained from the thermodynamic uncertainty relations. Interestingly, all of these bounds saturate in the tight-coupling limit. We test the validity of our results for two paradigmatic absorption refrigerator models: (i) a four-level working fluid and (ii) a two-level working fluid, operating in the weak (additive) and strong (multiplicative) system-bath interaction regimes, respectively.

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.

Origin of loose bound of the thermodynamic uncertainty relation in a dissipative two-level quantum system

Thermodynamic uncertainty relations (TURs), originally discovered for classical systems, dictate the tradeoff between dissipation and fluctuations of irreversible current, specifying a minimal bound that constrains the two quantities. In a series of efforts to extend the relation to the one under more generalized conditions, it has been noticed that the bound is less tight in open quantum processes. To study the origin of the loose bounds, we consider an external field-driven transition dynamics of a two-level quantum system weakly coupled to the bosonic bath as a model of an open quantum system. The model makes it explicit that the imaginary part of quantum coherence, which contributes to dissipation to the environment, is responsible for loosening the TUR bound by suppressing the relative fluctuations in the irreversible current of transitions, whereas the real part of the coherence tightens it. Our study offers a better understanding of how quantum nature affects the TUR bound.

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.

Higher-order efficiency bound and its application to nonlinear nanothermoelectrics

Power and efficiency of heat engines are two conflicting objectives. A tight efficiency bound is expected to give insights on the fundamental properties of such a power-efficiency tradeoff. Here, we derive an upper bound on the efficiency of steady-state heat engines, which incorporates higher-order fluctuations of power. In a prototypical model of nonlinear nanostructured thermoelectrics, we show that the obtained bound is tighter than a well-established efficiency bound derived from the thermodynamic uncertainty relation, demonstrating that the higher-order terms have rich information about the thermodynamic efficiency in the nonlinear regime. In particular, we find that the higher-order bound is exactly achieved if the tight coupling condition is satisfied. The obtained bound gives a consistent prediction with an observation that nonlinearity enhances the power-efficiency tradeoff, and would also be useful in a variety of nanoscale engines.

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 Bounds on Fluctuations in Continuous Thermal Machines

We study bounds on ratios of fluctuations in steady-state time-reversal energy conversion devices. In the linear response regime, we prove that the relative fluctuations (precision) of the output current (power) is always lower bounded by the relative fluctuations of the input current (heat current absorbed from the hot bath). As a consequence, the ratio between the fluctuations of the output and input currents are bounded both from above and below, where the lower (upper) bound is determined by the square of the averaged efficiency (square of the Carnot efficiency) of the engine. The saturation of the lower bound is achieved in the tight-coupling limit when the determinant of the Onsager response matrix vanishes. Our analysis can be applied to different operational regimes, including engines, refrigerators, and heat pumps. We illustrate our findings in two types of continuous engines: two-terminal coherent thermoelectric junctions and three-terminal quantum absorption refrigerators. Numerical simulations in the far-from-equilibrium regime suggest that these bounds apply more broadly, beyond linear response.

Violating the thermodynamic uncertainty relation in the three-level maser

Nanoscale heat engines are subject to large fluctuations which affect their precision. The thermodynamic uncertainty relation (TUR) provides a trade-off between output power, fluctuations, and entropic cost. This trade-off may be overcome by systems exhibiting quantum coherence. This Letter provides a study of the TUR in a prototypical quantum heat engine, the Scovil-Schulz-DuBois maser. Comparison with a classical reference system allows us to determine the effect of quantum coherence on the performance of the heat engine. We identify analytically regions where coherence suppresses fluctuations, implying a quantum advantage, as well as regions where fluctuations are enhanced by coherence. This quantum effect cannot be anticipated from the off-diagonal elements of the density matrix. Because the fluctuations are not encoded in the steady state alone, TUR violations are a consequence of coherence that goes beyond steady-state coherence. While the system violates the conventional TUR, it adheres to a recent formulation of a quantum TUR. We further show that parameters where the engine operates close to the conventional limit are prevalent and TUR violations in the quantum model are not uncommon.

Bounds on fluctuations for finite-time quantum Otto cycle

For quantum Otto engine driven quasistatically, we provide exact full statistics of heat and work for a class of working fluids that follow a scale-invariant energy eigenspectra under driving. Equipped with the full statistics we go on to derive a universal expression for the ratio of nth cumulant of output work and input heat in terms of the mean Otto efficiency. Furthermore, for nonadiabatic driving of quantum Otto engine with working fluid consisting of either a (i) qubit or (ii) a harmonic oscillator, we show that the relative fluctuation of output work is always greater than the corresponding relative fluctuation of input heat absorbed from the hot bath. As a result, the ratio between the work fluctuation and the input heat fluctuation receives a lower bound in terms of the square value of the average efficiency of the engine. The saturation of the lower bound is received in the quasistatic limit of the engine.

Thermodynamics of precision in quantum nanomachines

Fluctuations strongly affect the dynamics and functionality of nanoscale thermal machines. Recent developments in stochastic thermodynamics have shown that fluctuations in many far-from-equilibrium systems are constrained by the rate of entropy production via so-called thermodynamic uncertainty relations. These relations imply that increasing the reliability or precision of an engine's power output comes at a greater thermodynamic cost. Here we study the thermodynamics of precision for small thermal machines in the quantum regime. In particular, we derive exact relations between the power, power fluctuations, and entropy production rate for several models of few-qubit engines (both autonomous and cyclic) that perform work on a quantized load. Depending on the context, we find that quantum coherence can either help or hinder where power fluctuations are concerned. We discuss design principles for reducing such fluctuations in quantum nanomachines and propose an autonomous three-qubit engine whose power output for a given entropy production is more reliable than would be allowed by any classical Markovian model.

Thermodynamic uncertainty relation for energy transport in a transient regime: A model study

We investigate a transient version of the recently discovered thermodynamic uncertainty relation (TUR) which provides a precision-cost trade-off relation for certain out-of-equilibrium thermodynamic observables in terms of net entropy production. We explore this relation in the context of energy transport in a bipartite setting for three exactly solvable toy model systems (two coupled harmonic oscillators, two coupled qubits, and a hybrid coupled oscillator-qubit system) and analyze the role played by the underlying statistics of the transport carriers in the TUR. Interestingly, for all these models, depending on the statistics, the TUR ratio can be expressed as a sum or a difference of a universal term which is always greater than or equal to 2 and a corresponding entropy production term. We find that the generalized version of the TUR, originating from the universal fluctuation symmetry, is always satisfied. However, interestingly, the specialized TUR, a tighter bound, is always satisfied for the coupled harmonic oscillator system obeying Bose-Einstein statistics. Whereas, for both the coupled qubit, obeying Fermi-like statistics, and the hybrid qubit-oscillator system with mixed Fermi-Bose statistics, violation of the tighter bound is observed in certain parameter regimes. We have provided conditions for such violations. We also provide a rigorous proof following the nonequilibrium Green's function approach that the tighter bound is always satisfied in the weak-coupling regime for generic bipartite systems.

Thermodynamic Uncertainty Relation for General Open Quantum Systems

We derive a thermodynamic uncertainty relation for general open quantum dynamics, described by a joint unitary evolution on a composite system comprising a system and an environment. By measuring the environmental state after the system-environment interaction, we bound the counting observables in the environment by the survival activity, which reduces to the dynamical activity in classical Markov processes. Remarkably, the relation derived herein holds for general open quantum systems with any counting observable and any initial state. Therefore, our relation is satisfied for classical Markov processes with arbitrary time-dependent transition rates and initial states. We apply our relation to continuous measurement and the quantum walk to find that the quantum nature of the system can enhance the precision. Moreover, we can make the lower bound arbitrarily small by employing appropriate continuous measurement.

Thermodynamic uncertainty relations for bosonic Otto engines

We study two-mode bosonic engines undergoing an Otto cycle. The energy exchange between the two bosonic systems is provided by a tunable unitary bilinear interaction in the mode operators modeling frequency conversion, whereas the cyclic operation is guaranteed by relaxation to two baths at different temperatures after each interacting stage. By means of a two-point-measurement approach we provide the joint probability of the stochastic work and heat. We derive exact expressions for work and heat fluctuations, identities showing the interdependence among average extracted work, fluctuations, and efficiency, along with thermodynamic uncertainty relations between the signal-to-noise ratio of observed work and heat and the entropy production. We outline how the presented approach can be suitably applied to derive thermodynamic uncertainty relations for quantum Otto engines with alternative unitary strokes.

Thermodynamic Uncertainty Relation for Time-Dependent Driving

Thermodynamic uncertainty relations yield a lower bound on entropy production in terms of the mean and fluctuations of a current. We derive their general form for systems under arbitrary time-dependent driving from arbitrary initial states and extend these relations beyond currents to state variables. The quality of the bound is discussed for various types of observables for an interacting pair of colloidal particles in a moving laser trap and for the dynamical unfolding of a small protein. Since the input for evaluating these bounds does not require specific knowledge of the system or its coupling to the time-dependent control, they should become widely applicable tools for thermodynamic inference in time-dependently driven systems.

Power, efficiency, and fluctuations in steady-state heat engines

We consider the quality factor Q, which quantifies the trade-off between power, efficiency, and fluctuations in steady-state heat engines modeled by dynamical systems. We show that the nonlinear scattering theory, in both classical and quantum mechanics, sets the bound Q=3/8 when approaching the Carnot efficiency. On the other hand, interacting, nonintegrable, and momentum-conserving systems can achieve the value Q=1/2, which is the universal upper bound in linear response. This result shows that interactions are necessary to achieve the optimal performance of a steady-state heat engine.

Free diffusion bounds the precision of currents in underdamped dynamics

The putative generalization of the thermodynamic uncertainty relation (TUR) to underdamped dynamics is still an open problem. So far, bounds that have been derived for such a dynamics are not particularly transparent and they do not converge to the known TUR in the overdamped limit. Furthermore, it was found that there are restrictions for a TUR to hold such as the absence of a magnetic field. In this article we first analyze the properties of driven free diffusion in the underdamped regime and show that it inherently violates the overdamped TUR for finite times. Based on numerical evidence, we then conjecture a bound for one-dimensional driven diffusion in a potential which is based on the result for free diffusion. This bound converges to the known overdamped TUR in the corresponding limit. Moreover, the conjectured bound holds for observables that involve higher powers of the velocity as long as the observable is odd under time reversal. Finally, we address the applicability of this bound to underdamped dynamics in higher dimensions.

Quantum Thermodynamic Uncertainty Relation for Continuous Measurement

We use quantum estimation theory to derive a thermodynamic uncertainty relation in Markovian open quantum systems, which bounds the fluctuation of continuous measurements. The derived quantum thermodynamic uncertainty relation holds for arbitrary continuous measurements satisfying a scaling condition. We derive two relations; the first relation bounds the fluctuation by the dynamical activity and the second one does so by the entropy production. We apply our bounds to a two-level atom driven by a laser field and a three-level quantum thermal machine with jump and diffusion measurements. Our result shows that there exists a universal bound upon the fluctuations, regardless of continuous measurements.

Thermodynamic uncertainty relations and molecular-scale energy conversion

The thermodynamic uncertainty relation (TUR) is a universal constraint for nonequilibrium steady states that requires the entropy production rate to be greater than the relative magnitude of current fluctuations. It has potentially important implications for the thermodynamic efficiency of molecular-scale energy conversion in both biological and artificial systems. An alternative multidimensional thermodynamic uncertainty relation (MTUR) has also been proposed. In this paper we apply the TUR and the MTUR to a description of molecular-scale energy conversion that explicitly contains the degrees of freedom exchanging energy via a time-independent multidimensional periodic potential. The TUR and the MTUR are found to be universal lower bounds on the entropy generation rate and provide upper bounds on the thermodynamic efficiency. The TUR is found to provide only a weak bound while the MTUR provides a much tighter constraint by taking into account correlations between degrees of freedom. The MTUR is found to provide a tight bound in the near or far from equilibrium regimes but not in the intermediate force regime. Collectively, these results demonstrate that the MTUR is more appropriate than the TUR for energy conversion processes, but that both diverge from the actual entropy generation in certain regimes.

Entropy production estimation with optimal current

Entropy production characterizes the thermodynamic irreversibility and reflects the amount of heat dissipated into the environment and free energy lost in nonequilibrium systems. According to the thermodynamic uncertainty relation, we propose a deterministic method to estimate the entropy production from a single trajectory of system states. We explicitly and approximately compute an optimal current that yields the tightest lower bound using predetermined basis currents. Notably, the obtained tightest lower bound is intimately related to the multidimensional thermodynamic uncertainty relation. By proving the saturation of the thermodynamic uncertainty relation in the short-time limit, the exact estimate of the entropy production can be obtained for overdamped Langevin systems, irrespective of the underlying dynamics. For Markov jump processes, because the attainability of the thermodynamic uncertainty relation is not theoretically ensured, the proposed method provides the tightest lower bound for the entropy production. When entropy production is the optimal current, a more accurate estimate can be further obtained using the integral fluctuation theorem. We illustrate the proposed method using three systems: a four-state Markov chain, a periodically driven particle, and a multiple bead-spring model. The estimated results in all examples empirically verify the effectiveness and efficiency of the proposed method.

Thermodynamic Cost, Speed, Fluctuations, and Error Reduction of Biological Copy Machines

Due to large fluctuations in cellular environments, transfer of information in biological processes without regulation is error-prone. The mechanistic details of error-reducing mechanisms in biological copying processes have been a subject of active research; however, how error reduction of a process is balanced with its thermodynamic cost and dynamical properties remain largely unexplored. Here, we study the error reducing strategies in light of the recently discovered thermodynamic uncertainty relation (TUR) that sets a physical bound to the cost-precision trade-off for dissipative processes. We found that the two representative copying processes, DNA replication by the exonuclease-deficient T7 DNA polymerase and mRNA translation by the E. coli ribosome, reduce the error rates to biologically acceptable levels while also optimizing the processes close to the physical limit dictated by TUR.

Thermodynamic uncertainty relations including measurement and feedback

Thermodynamic uncertainty relations quantify how the signal-to-noise ratio of a given observable is constrained by dissipation. Fluctuation relations generalize the second law of thermodynamics to stochastic processes. We show that any fluctuation relation directly implies a thermodynamic uncertainty relation, considerably increasing their range of applicability. In particular, we extend thermodynamic uncertainty relations to scenarios which include measurement and feedback. Since feedback generally breaks time-reversal invariance, the uncertainty relations involve quantities averaged over the forward and the backward experiment defined by the associated fluctuation relation. This implies that the signal-to-noise ratio of a given experiment can in principle become arbitrarily large as long as the corresponding backward experiment compensates, e.g., by being sufficiently noisy. We illustrate our results with the Szilard engine as well as work extraction by free energy reduction in a quantum dot.

Thermodynamic uncertainty relation in thermal transport

We use the fundamental nonequilibrium steady-state fluctuation symmetry and derive a condition on the validity of the thermodynamic uncertainty relation (TUR) in thermal transport problems, classical and quantum alike. We test this condition and study the breakdown of the TUR in different thermal transport junctions of bosonic and electronic degrees of freedom. We prove that the TUR is valid in harmonic oscillator junctions. In contrast, in the nonequilibrium spin-boson model, which realizes many-body effects, it is satisfied in the Markovian limit, but violations arise as we tune (reduce) the cutoff frequency of the thermal baths, thus observing non-Markovian dynamics. We consider heat transport by noninteracting electrons in a tight-binding chain model. We show that the TUR is feasibly violated by tuning, e.g., the hybridization energy of the chain to the metal leads. These results manifest that the validity of the TUR relies on the statistics of the participating carriers, their interaction, and the nature of their couplings to the macroscopic contacts (metal electrodes and phonon baths).

Uncertainty relations for underdamped Langevin dynamics

A trade-off between the precision of an arbitrary current and the dissipation, known as the thermodynamic uncertainty relation, has been investigated for various Markovian systems. Here, we study the thermodynamic uncertainty relation for underdamped Langevin dynamics. By employing information inequalities, we prove that for such systems, the relative fluctuation of a current at a steady state is constrained by both the entropy production and the average dynamical activity. We find that unlike what is the case for overdamped dynamics, the dynamical activity plays an important role in the bound. We illustrate our results with two systems, a single-well potential system and a periodically driven Brownian particle model, and numerically verify the inequalities.

Information-Theoretical Bound of the Irreversibility in Thermal Relaxation Processes

We establish that entropy production, which is crucial to the characterization of thermodynamic irreversibility, is obtained through a variational principle involving the Kulback-Leibler divergence. A simple application of this representation leads to an information-theoretical bound on entropy production in thermal relaxation processes; this is a stronger inequality than the conventional second law of thermodynamics. This bound is also interpreted as a constraint on the possible path of a thermal relaxation process in terms of information geometry. Our results reveal a hidden universal law inherent to general thermal relaxation processes.

Power, Efficiency and Fluctuations in a Quantum Point Contact as Steady-State Thermoelectric Heat Engine

The trade-off between large power output, high efficiency and small fluctuations in the operation of heat engines has recently received interest in the context of thermodynamic uncertainty relations (TURs). Here we provide a concrete illustration of this trade-off by theoretically investigating the operation of a quantum point contact (QPC) with an energy-dependent transmission function as a steady-state thermoelectric heat engine. As a starting point, we review and extend previous analysis of the power production and efficiency. Thereafter the power fluctuations and the bound jointly imposed on the power, efficiency, and fluctuations by the TURs are analyzed as additional performance quantifiers. We allow for arbitrary smoothness of the transmission probability of the QPC, which exhibits a close to step-like dependence in energy, and consider both the linear and the non-linear regime of operation. It is found that for a broad range of parameters, the power production reaches nearly its theoretical maximum value, with efficiencies more than half of the Carnot efficiency and at the same time with rather small fluctuations. Moreover, we show that by demanding a non-zero power production, in the linear regime a stronger TUR can be formulated in terms of the thermoelectric figure of merit. Interestingly, this bound holds also in a wide parameter regime beyond linear response for our QPC device.

Uncertainty relations for time-delayed Langevin systems

The thermodynamic uncertainty relation, which establishes a universal trade-off between nonequilibrium current fluctuations and dissipation, has been found for various Markovian systems. However, this relation has not been revealed for non-Markovian systems; therefore, we investigate the thermodynamic uncertainty relation for time-delayed Langevin systems. We prove that the fluctuation of arbitrary dynamical observables is constrained by the Kullback-Leibler divergence between the distributions of the forward path and its reversed counterpart. Specifically, for observables that are antisymmetric under time reversal, the fluctuation is bounded from below by a function of a quantity that can be identified as a generalization of the total entropy production in Markovian systems. We also provide a lower bound for arbitrary observables that are odd under position reversal. The term in this bound reflects the extent to which the position symmetry has been broken in the system and can be positive even in equilibrium. Our results hold for finite observation times and a large class of time-delayed systems because detailed underlying dynamics are not required for the derivation. We numerically verify the derived uncertainty relations using two single time-delay systems and one distributed time-delay system.