Universal form of thermodynamic uncertainty relation for Langevin dynamics

Unified hierarchical relationship between thermodynamic tradeoff relations

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

Limits on the Precision of Catenane Molecular Motors: Insights from Thermodynamics and Molecular Dynamics Simulations

Thermodynamic uncertainty relations (TURs) relate precision to the dissipation rate, yet the inequalities can be far from saturation. Indeed, in catenane molecular motor simulations, we record precision far below the TUR limit. We further show that this inefficiency can be anticipated by four physical parameters: the thermodynamic driving force, fuel decomposition rate, coupling between fuel decomposition and motor motion, and rate of undriven motor motion. The physical insights might assist in designing molecular motors in the future.

Thermodynamic trade-off relation for first passage time in resetting processes

Resetting is a strategy for boosting the speed of a target-searching process. Since its introduction over a decade ago, most studies have been carried out under the assumption that resetting takes place instantaneously. However, due to its irreversible nature, resetting processes incur a thermodynamic cost, which becomes infinite in the case of instantaneous resetting. Here, we take into consideration both the cost and the first passage time (FPT) required for a resetting process, in which the reset or return to the initial location is implemented using a trapping potential over a finite but random time period. An iterative generating function and a counting functional method à la Feynman and Kac are employed to calculate the FPT and the average work for this process. From these results, we obtain an explicit form of the time-cost trade-off relation, which provides the lower bound of the mean FPT for a given work input when the trapping potential is linear. This trade-off relation clearly shows that instantaneous resetting is achievable only when an infinite amount of work is provided. More surprisingly, the trade-off relation derived from the linear potential seems to be valid for a wide range of trapping potentials. In addition, we have also shown that the fixed-time or sharp resetting can further enhance the trade-off relation compared to that of the stochastic resetting.

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 bounds for diffusion in nonequilibrium systems with multiple timescales

We derive a thermodynamic uncertainty relation bounding the mean squared displacement of a Gaussian process with memory, driven out of equilibrium by unbalanced thermal baths and/or by external forces. Our bound is tighter with respect to previous results and also holds at finite time. We apply our findings to experimental and numerical data for a vibrofluidized granular medium, characterized by regimes of anomalous diffusion. In some cases our relation can distinguish between equilibrium and nonequilibrium behavior, a nontrivial inference task, particularly for Gaussian processes.

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.

Speed Limit for a Highly Irreversible Process and Tight Finite-Time Landauer's Bound

Landauer's bound is the minimum thermodynamic cost for erasing one bit of information. As this bound is achievable only for quasistatic processes, finite-time operation incurs additional energetic costs. We find a tight finite-time Landauer's bound by establishing a general form of the classical speed limit. This tight bound well captures the divergent behavior associated with the additional cost of a highly irreversible process, which scales differently from a nearly irreversible process. We also find an optimal dynamics which saturates the equality of the bound. We demonstrate the validity of this bound via discrete one-bit and coarse-grained bit systems. Our Letter implies that more heat dissipation than expected occurs during high-speed irreversible computation.

Thermodynamic uncertainty relation for Langevin dynamics by scaling time

The thermodynamic uncertainty relation (TUR) quantifies a relationship between current fluctuations and dissipation in out-of-equilibrium overdamped Langevin dynamics, making it a natural counterpart of the fluctuation-dissipation theorem in equilibrium statistical mechanics. For underdamped Langevin dynamics, the situation is known to be more complicated with dynamical activity also playing a role in limiting the magnitude of current fluctuations. Progress on those underdamped TUR-like bounds has largely come from applications of the information-theoretic Cramér-Rao inequality. Here, we present an alternative perspective by employing large deviation theory. The approach offers a general unified treatment of TUR-like bounds for both overdamped and underdamped Langevin dynamics built upon current fluctuations achieved by scaling time. The bounds we derive following this approach are similar to known results but with differences we discuss and rationalize.

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.

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.