Thermodynamic Uncertainty Relation for Time-Dependent Driving

General theory for localizing the where and when of entropy production meets single-molecule experiments

The laws of thermodynamics apply to biophysical systems on the nanoscale as described by the framework of stochastic thermodynamics. This theory provides universal, exact relations for quantities like work, which have been verified in experiments where a fully resolved description allows direct access to such quantities. Complementary studies consider partially hidden, coarse-grained descriptions, in which the mean entropy production typically is not directly accessible but can be bounded in terms of observable quantities. Going beyond the mean, we introduce a fluctuating entropy production that applies to individual trajectories in a coarse-grained description under time-dependent driving. Thus, this concept is applicable to the broad and experimentally significant class of driven systems in which not all relevant states can be resolved. We provide a paradigmatic example by studying an experimentally verified protein unfolding process. As a consequence, the entire distribution of the coarse-grained entropy production rather than merely its mean retains spatial and temporal information about the microscopic process. In particular, we obtain a bound on the distribution of the physical entropy production of individual unfolding events.

Thermodynamic Bounds on Generalized Transport: From Single-Molecule to Bulk Observables

We prove that the transport of any differentiable scalar observable in d-dimensional nonequilibrium systems is bounded from above by the total entropy production scaled by the amount the observation "stretches" microscopic coordinates. The result-a time-integrated generalized speed limit-reflects the thermodynamic cost of transport of observables, and places underdamped and overdamped stochastic dynamics on equal footing with deterministic motion. Our work allows for stochastic thermodynamics to make contact with bulk experiments, and fills an important gap in thermodynamic inference, since microscopic dynamics is, at least for short times, underdamped. Requiring only averages but not sample-to-sample fluctuations, the proven transport bound is practical and applicable not only to single-molecule but also bulk experiments where only averages are observed, which we demonstrate by examples. Our results may facilitate thermodynamic inference on molecular machines without an obvious directionality from bulk observations of transients probed, e.g., in time-resolved x-ray scattering.

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.

Bounds on the rates of statistical divergences and mutual information via stochastic thermodynamics

Statistical divergences are important tools in data analysis, information theory, and statistical physics, and there exist well-known inequalities on their bounds. However, in many circumstances involving temporal evolution, one needs limitations on the rates of such quantities instead. Here, several general upper bounds on the rates of some f-divergences are derived, valid for any type of stochastic dynamics (both Markovian and non-Markovian), in terms of information-like and/or thermodynamic observables. As special cases, the analytical bounds on the rate of mutual information are obtained. The major role in all those limitations is played by temporal Fisher information, characterizing the speed of global system dynamics, and some of them contain entropy production, suggesting a link with stochastic thermodynamics. Indeed, the derived inequalities can be used for estimation of minimal dissipation and global speed in thermodynamic stochastic systems. Specific applications of these inequalities in physics and neuroscience are given, which include the bounds on the rates of free energy and work in nonequilibrium systems, limits on the speed of information gain in learning synapses, as well as the bounds on the speed of predictive inference and learning rate. Overall, the derived bounds can be applied to any complex network of interacting elements, where predictability and thermodynamics of network dynamics are of prime concern.

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.

Machine learning at the mesoscale: A computation-dissipation bottleneck

The cost of information processing in physical systems calls for a trade-off between performance and energetic expenditure. Here we formulate and study a computation-dissipation bottleneck in mesoscopic systems used as input-output devices. Using both real data sets and synthetic tasks, we show how nonequilibrium leads to enhanced performance. Our framework sheds light on a crucial compromise between information compression, input-output computation and dynamic irreversibility induced by nonreciprocal interactions.

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

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

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.

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 Bounds on Correlation Times

We derive a variational expression for the correlation time of physical observables in steady-state diffusive systems. As a consequence of this variational expression, we obtain lower bounds on the correlation time, which provide speed limits on the self-averaging of observables. In equilibrium, the bound takes the form of a trade-off relation between the long- and short-time fluctuations of an observable. Out of equilibrium, the trade-off can be violated, leading to an acceleration of self-averaging. We relate this violation to the steady-state entropy production rate, as well as the geometric structure of the irreversible currents, giving rise to two complementary speed limits. One of these can be formulated as a lower estimate on the entropy production from the measurement of time-symmetric observables. Using an illustrating example, we show the intricate behavior of the correlation time out of equilibrium for different classes of observables and how this can be used to partially infer dissipation even if no time-reversal symmetry breaking can be observed in the trajectories of the observable.

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.

Stochastic Thermodynamics of Multiple Co-Evolving Systems-Beyond Multipartite Processes

Many dynamical systems consist of multiple, co-evolving subsystems (i.e., they have multiple degrees of freedom). Often, the dynamics of one or more of these subsystems will not directly depend on the state of some other subsystems, resulting in a network of dependencies governing the dynamics. How does this dependency network affect the full system's thermodynamics? Prior studies on the stochastic thermodynamics of multipartite processes have addressed this question by assuming that, in addition to the constraints of the dependency network, only one subsystem is allowed to change state at a time. However, in many real systems, such as chemical reaction networks or electronic circuits, multiple subsystems can-or must-change state together. Here, we investigate the thermodynamics of such composite processes, in which multiple subsystems are allowed to change state simultaneously. We first present new, strictly positive lower bounds on entropy production in composite processes. We then present thermodynamic uncertainty relations for information flows in composite processes. We end with strengthened speed limits for composite processes.

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

Cascade-enhanced transport efficiency of biochemical systems

Recent developments in nonequilibrium thermodynamics, known as thermodynamic uncertainty relations, limit the system's accuracy by the amount of free-energy consumption. A transport efficiency, which can be used to characterize the capacity to control the fluctuation by means of energy cost, is a direct result of the thermodynamic uncertainty relation. According to our previous research, biochemical systems consume much lower energy cost by noise-induced oscillations to keep almost equal efficiency to maintain precise processes than that by normal oscillations. Here, we demonstrate that the performance of noise-induced oscillations propagating can be further improved through a cascade reaction mechanism. It has been discovered that it is possible to considerably enhance the transport efficiency of the biochemical reactions attained at the terminal cell, allowing the cell to use the cascade reaction mechanism to operate more precisely and efficiently. Moreover, an optimal reaction coupling strength has been predicted to maximize the transport efficiency of the terminal cell, uncovering a concrete design strategy for biochemical systems. By using the local mean field approximation, we have presented an analytical framework by extending the stochastic normal form equation to the system perturbed by external signals, providing an explanation of the optimal coupling strength.

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.

Direct Route to Thermodynamic Uncertainty Relations and Their Saturation

Thermodynamic uncertainty relations (TURs) bound the dissipation in nonequilibrium systems from below by fluctuations of an observed current. Contrasting the elaborate techniques employed in existing proofs, we here prove TURs directly from the Langevin equation. This establishes the TUR as an inherent property of overdamped stochastic equations of motion. In addition, we extend the transient TUR to currents and densities with explicit time dependence. By including current-density correlations we, moreover, derive a new sharpened TUR for transient dynamics. Our arguably simplest and most direct proof, together with the new generalizations, allows us to systematically determine conditions under which the different TURs saturate and thus allows for a more accurate thermodynamic inference. Finally, we outline the direct proof also for Markov jump dynamics.

Probability inequalities for direct and inverse dynamical outputs in driven fluctuating systems

When a fluctuating system is subjected to a time-dependent drive or nonconservative forces, the direct-inverse symmetry of the dynamics can be broken so inducing an average bias. Here we start from the fluctuation theorem, a cornerstone of stochastic thermodynamics, for inspecting the unbalancing between direct and inverse dynamical outputs, here called "events," in a bidirectional forward-backward setup. The occurrence of an event might correspond to the realization of a quantitative output, or to the realization of a sequence of acts that compose a complex "narrative." The focus is on mutual bounds between the probabilities of occurrence of direct and inverse events in the forward and backward mode. The inspection is made for systems in contact with a thermal bath, and by assuming Markov dynamics on the uncontrolled degrees of freedom. The approach comprises both the case of systems under a time-dependent drive and time-independent external forces. The general formulation is then used to derive (or re-derive) specialized results valid for finite-time processes, and for systems taken into steady conditions (either periodic steady states or steady states) starting from equilibrium. Among the results, we find already known forms of "generalized" thermodynamic uncertainty relations, and derive useful constraints concerning the work distribution function for systems in steady conditions.

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.

Inferring entropy production rate from partially observed Langevin dynamics under coarse-graining

The entropy production rate (EPR) measures time-irreversibility in systems operating far from equilibrium. The challenge in estimating the EPR for a continuous variable system is the finite spatiotemporal resolution and the limited accessibility to all of the nonequilibrium degrees of freedom. Here, we estimate the irreversibility in partially observed systems following oscillatory dynamics governed by coupled overdamped Langevin equations. We coarse-grain an observed variable of a nonequilibrium driven system into a few discrete states and estimate a lower bound on the total EPR. As a model system, we use hair-cell bundle oscillations driven by molecular motors, such that the bundle tip position is observed, but the positions of the motors are hidden. In the observed variable space, the underlying driven process exhibits second-order semi-Markov statistics. The waiting time distributions (WTD), associated with transitions among the coarse-grained states, are non-exponential and convey the information on the broken time-reversal symmetry. By invoking the underlying time-irreversibility, we calculate a lower bound on the total EPR from the Kullback-Leibler divergence (KLD) between WTD. We show that the mean dwell-time asymmetry factor - the ratio between the mean dwell-times along the forward direction and the backward direction, can qualitatively measure the degree of broken time reversal symmetry and increases with finer spatial resolution. Finally, we apply our methodology to a continuous-time discrete Markov chain model, coarse-grained into a linear system exhibiting second-order semi-Markovian statistics, and demonstrate the estimation of a lower bound on the total EPR from irreversibility manifested only in the WTD.

Mathematical, Thermodynamical, and Experimental Necessity for Coarse Graining Empirical Densities and Currents in Continuous Space

We present general results on fluctuations and spatial correlations of the coarse-grained empirical density and current of Markovian diffusion in equilibrium or nonequilibrium steady states on all timescales. We unravel a deep connection between current fluctuations and generalized time-reversal symmetry, providing new insight into time-averaged observables. We highlight the essential role of coarse graining in space from mathematical, thermodynamical, and experimental points of view. Spatial coarse graining is required to uncover salient features of currents that break detailed balance, and a thermodynamically "optimal" coarse graining ensures the most precise inference of dissipation. Defined without coarse graining, the fluctuations of empirical density and current are proven to diverge on all timescales in dimensions higher than one, which has far-reaching consequences for the central-limit regime in continuous space. We apply the results to examples of irreversible diffusion. Our findings provide new intuition about time-averaged observables and allow for a more efficient analysis of single-molecule experiments.

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.

Geometric decomposition of entropy production into excess, housekeeping, and coupling parts

For a generic overdamped Langevin dynamics driven out of equilibrium by both time-dependent and nonconservative forces, the entropy production rate can be decomposed into two positive terms, termed excess and housekeeping entropy. However, this decomposition is not unique: There are two distinct decompositions, one due to Hatano and Sasa, the other one due to Maes and Netočný. Here we establish the connection between these two decompositions and provide a simple, geometric interpretation. We show that this leads to a decomposition of the entropy production rate into three positive terms, which we call the excess, housekeeping, and coupling part, respectively. The coupling part characterizes the interplay between the time-dependent and nonconservative forces. We also derive thermodynamic uncertainty relations for the excess and housekeeping entropy in both the Hatano-Sasa and Maes-Netočný decomposition and show that all quantities obey integral fluctuation theorems. We illustrate the decomposition into three terms using a solvable example of a dragged particle in a nonconservative force field.

Strengthened second law for multi-dimensional systems coupled to multiple thermodynamic reservoirs

The second law of thermodynamics can be formulated as a restriction on the evolution of the entropy of any system undergoing Markovian dynamics. Here I show that this form of the second law is strengthened for multi-dimensional, complex systems, coupled to multiple thermodynamic reservoirs, if we have a set of a priori constraints restricting how the dynamics of each coordinate can depend on the other coordinates. As an example, this strengthened second law (SSL) applies to complex systems composed of multiple physically separated, co-evolving subsystems, each identified as a coordinate of the overall system. In this example, the constraints concern how the dynamics of some subsystems are allowed to depend on the states of the other subsystems. Importantly, the SSL applies to such complex systems even if some of its subsystems can change state simultaneously, which is prohibited in a multipartite process. The SSL also strengthens previously derived bounds on how much work can be extracted from a system using feedback control, if the system is multi-dimensional. Importantly, the SSL does not require local detailed balance. So it potentially applies to complex systems ranging from interacting economic agents to co-evolving biological species. This article is part of the theme issue 'Emergent phenomena in complex physical and socio-technical systems: from cells to societies'.

Strengthened second law for multi-dimensional systems coupled to multiple thermodynamic reservoirs

The second law of thermodynamics can be formulated as a restriction on the evolution of the entropy of any system undergoing Markovian dynamics. Here I show that this form of the second law is strengthened for multi-dimensional, complex systems, coupled to multiple thermodynamic reservoirs, if we have a set of a priori constraints restricting how the dynamics of each coordinate can depend on the other coordinates. As an example, this strengthened second law (SSL) applies to complex systems composed of multiple physically separated, co-evolving subsystems, each identified as a coordinate of the overall system. In this example, the constraints concern how the dynamics of some subsystems are allowed to depend on the states of the other subsystems. Importantly, the SSL applies to such complex systems even if some of its subsystems can change state simultaneously, which is prohibited in a multipartite process. The SSL also strengthens previously derived bounds on how much work can be extracted from a system using feedback control, if the system is multi-dimensional. Importantly, the SSL does not require local detailed balance. So it potentially applies to complex systems ranging from interacting economic agents to co-evolving biological species. This article is part of the theme issue 'Emergent phenomena in complex physical and socio-technical systems: from cells to societies'.

Time-Symmetric Current and Its Fluctuation Response Relation around Nonequilibrium Stalling Stationary State

We propose a time-symmetric counterpart of the current in stochastic thermodynamics named the time-symmetric current. This quantity is defined with empirical measures and thus is symmetric under time reversal, while its ensemble average reproduces the amount of the average current. We prove that this time-symmetric current satisfies the fluctuation-response relation in the conventional form but with sign inversion. Remarkably, this fluctuation-response relation holds not only around equilibrium states but also around nonequilibrium stationary states if observed currents stall. The obtained relation also serves as an experimental tool for probing the value of a bare transition rate by measuring only time-integrated empirical measures.

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.

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.

Operationally accessible uncertainty relations for thermodynamically consistent semi-Markov processes

Semi-Markov processes generalize Markov processes by adding temporal memory effects as expressed by a semi-Markov kernel. We recall the path weight for a semi-Markov trajectory and the fact that thermodynamic consistency in equilibrium imposes a crucial condition called direction-time independence for which we present an alternative derivation. We prove a thermodynamic uncertainty relation that formally resembles the one for a discrete-time Markov process. The result relates the entropy production of the semi-Markov process to mean and variance of steady-state currents. We prove a further thermodynamic uncertainty relation valid for semi-Markov descriptions of coarse-grained Markov processes that emerge by grouping states together. A violation of this inequality can be used as an inference tool to conclude that a given semi-Markov process cannot result from coarse graining an underlying Markov one. We illustrate these results with representative examples.

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.

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.

Effects of the non-Markovianity and non-Gaussianity of active environmental noises on engine performance

An active environment is a reservoir containing active materials, such as bacteria and Janus particles. Given the self-propelled motion of these materials, powered by chemical energy, an active environment has unique, nonequilibrium environmental noise. Recently, studies on engines that harvest energy from active environments have attracted a great deal of attention because the theoretical and experimental findings indicate that these engines outperform conventional ones. Studies have explored the features of active environments essential for outperformance, such as the non-Gaussian or non-Markovian nature of the active noise. We systematically study the effects of the non-Gaussianity and non-Markovianity of active noise on engine performance. We show that non-Gaussianity is irrelevant to the performance of an engine driven by any linear force (including a harmonic trap) regardless of time dependency, whereas non-Markovianity is relevant. However, for a system driven by a general nonlinear force, both non-Gaussianity and non-Markovianity enhance engine performance. Also, the memory effect of an active reservoir should be considered when fabricating a cyclic engine.

Universal form of thermodynamic uncertainty relation for Langevin dynamics

The thermodynamic uncertainty relation (TUR) provides a stricter bound for entropy production (EP) than that of the thermodynamic second law. This stricter bound can be utilized to infer the EP and derive other tradeoff relations. Though the validity of the TUR has been verified in various stochastic systems, its application to general Langevin dynamics has not been successfully unified, especially for underdamped Langevin dynamics, where odd parity variables in time-reversal operation such as velocity get involved. Previous TURs for underdamped Langevin dynamics are neither experimentally accessible nor reduced to the original form of the overdamped Langevin dynamics in the zero-mass limit. Here, we find a TUR for underdamped Langevin dynamics with an arbitrary time-dependent protocol, which is operationally accessible when all mechanical forces are controllable. We show that the original TUR is a consequence of our underdamped TUR in the zero-mass limit. This indicates that the TUR formulation presented here can be regarded as the universal form of the TUR for general Langevin dynamics.

Modeling of biomolecular machines in non-equilibrium steady states

Numerical computations have become a pillar of all modern quantitative sciences. Any computation involves modeling-even if often this step is not made explicit-and any model has to neglect details while still being physically accurate. Equilibrium statistical mechanics guides both the development of models and numerical methods for dynamics obeying detailed balance. For systems driven away from thermal equilibrium, such a universal theoretical framework is missing. For a restricted class of driven systems governed by Markov dynamics and local detailed balance, stochastic thermodynamics has evolved to fill this gap and to provide fundamental constraints and guiding principles. The next step is to advance stochastic thermodynamics from simple model systems to complex systems with tens of thousands or even millions of degrees of freedom. Biomolecules operating in the presence of chemical gradients and mechanical forces are a prime example for this challenge. In this Perspective, we give an introduction to isothermal stochastic thermodynamics geared toward the systematic multiscale modeling of the conformational dynamics of biomolecular and synthetic machines, and we outline some of the open challenges.

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.

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.

Thermodynamic Uncertainty Relation Bounds the Extent of Anomalous Diffusion

In a finite system driven out of equilibrium by a constant external force the thermodynamic uncertainty relation (TUR) bounds the variance of the conjugate current variable by the thermodynamic cost of maintaining the nonequilibrium stationary state. Here we highlight a new facet of the TUR by showing that it also bounds the timescale on which a finite system can exhibit anomalous kinetics. In particular, we demonstrate that the TUR bounds subdiffusion in a single file confined to a ring as well as a dragged Gaussian polymer chain even when detailed balance is satisfied. Conversely, the TUR bounds the onset of superdiffusion in the active comb model. Remarkably, the fluctuations in a comb model evolving from a steady state behave anomalously as soon as detailed balance is broken. Our work establishes a link between stochastic thermodynamics and the field of anomalous dynamics that will fertilize further investigations of thermodynamic consistency of anomalous diffusion models.

Thermodynamic Optimality of Glycolytic Oscillations

Temporal order in living matters reflects the self-organizing nature of dynamical processes driven out of thermodynamic equilibrium. Because of functional reasons, the period of a biochemical oscillation must be tuned to a specific value with precision; however, according to the thermodynamic uncertainty relation (TUR), the precision of the oscillatory period is constrained by the thermodynamic cost of generating it. After reviewing the basics of chemical oscillations using the Brusselator as a model system, we study the glycolytic oscillation generated by octameric phosphofructokinase (PFK), which is known to display a period of several minutes. By exploring the phase space of glycolytic oscillations, we find that the glycolytic oscillation under the cellular condition is realized in a cost-effective manner. Specifically, over the biologically relevant range of parameter values of glycolysis and octameric PFK, the entropy production from the glycolytic oscillation is minimal when the oscillation period is (5-10) min. Furthermore, the glycolytic oscillation is found at work near the phase boundary of limit cycles, suggesting that a moderate increase of glucose injection rate leads to the loss of oscillatory dynamics, which is reminiscent of the loss of pulsatile insulin release resulting from elevated blood glucose level.

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.

Thermodynamic uncertainty relation to assess biological processes

We review the trade-offs between speed, fluctuations, and thermodynamic cost involved with biological processes in nonequilibrium states and discuss how optimal these processes are in light of the universal bound set by the thermodynamic uncertainty relation (TUR). The values of the uncertainty product Q of TUR, which can be used as a measure of the precision of enzymatic processes realized for a given thermodynamic cost, are suboptimal when the substrate concentration is at the Michaelis constant, and some of the key biological processes are found to work around this condition. We illustrate the utility of Q in assessing how close the molecular motors and biomass producing machineries are to the TUR bound, and for the cases of biomass production (or biological copying processes), we discuss how their optimality quantified in terms of Q is balanced with the error rate in the information transfer process. We also touch upon the trade-offs in other error-minimizing processes in biology, such as gene regulation and chaperone-assisted protein folding. A spectrum of Q recapitulating the biological processes surveyed here provides glimpses into how biological systems are evolved to optimize and balance the conflicting functional requirements.

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.