Unified approach to classical speed limit and thermodynamic uncertainty relation

Limits on the evolutionary rates of biological traits

This paper focuses on the maximum speed at which biological evolution can occur. I derive inequalities that limit the rate of evolutionary processes driven by natural selection, mutations, or genetic drift. These rate limits link the variability in a population to evolutionary rates. In particular, high variances in the fitness of a population and of a quantitative trait allow for fast changes in the trait's average. In contrast, low variability makes a trait less susceptible to random changes due to genetic drift. The results in this article generalize Fisher's fundamental theorem of natural selection to dynamics that allow for mutations and genetic drift, via trade-off relations that constrain the evolutionary rates of arbitrary traits. The rate limits can be used to probe questions in various evolutionary biology and ecology settings. They apply, for instance, to trait dynamics within or across species or to the evolution of bacteria strains. They apply to any quantitative trait, e.g., from species' weights to the lengths of DNA strands.

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.

Exact solution to quantum dynamical activity

The quantum dynamical activity constitutes a thermodynamic cost in trade-off relations such as the quantum speed limit and the quantum thermodynamic uncertainty relation. However, calculating the quantum dynamical activity has been a challenge. In this paper, we present the exact solution for the quantum dynamical activity by deploying the continuous matrix product state method. Moreover, using the derived exact solution, we determine the upper bound of the dynamical activity, which comprises the standard deviation of the system Hamiltonian and jump operators. We confirm the exact solution and the upper bound by performing numerical simulations.

Thermodynamic bounds on the asymmetry of cross-correlations with dynamical activity and entropy production

Entropy production and dynamical activity are two complementary aspects in nonequilibrium physics. The asymmetry of cross-correlation, serving as a distinctive feature of nonequilibrium, also finds widespread utility. In this Letter, we establish two thermodynamic bounds on the normalized asymmetry of cross-correlation in terms of dynamical activity and entropy production rate. These bounds demonstrate broad applicability and offer experimental testability.

Limiting flux in quantum thermodynamics

In quantum systems, entropy production is typically defined as the quantum relative entropy between two states. This definition provides an upper bound for any flux (of particles, energy, entropy, etc.) of bounded observables, which proves especially useful near equilibrium. However, this bound tends to be irrelevant in general nonequilibrium situations. We propose a new upper bound for such fluxes in terms of quantum relative entropy, applicable even far from equilibrium and in the strong coupling regime. Additionally, we compare this bound with Monte Carlo simulations of random qubits with coherence, as well as with a model of two interacting nuclear spins.

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.

Thermokinetic relations

Thermokinetic relations bound thermodynamic quantities, such as entropy production of a physical system over a certain time interval, with statistics of kinetic (or dynamical) observables, such as mean total variation of the observable over the time interval. We introduce a thermokinetic relation to bound the entropy production or the nonadiabatic (or excess) entropy production for overdamped Markov jump processes, possibly with time-varying rates and nonstationary distributions. For stationary cases, this bound is akin to a thermodynamic uncertainty relation, only involving absolute fluctuations rather than the mean square, thereby offering a better lower bound far from equilibrium. For nonstationary cases, this bound generalizes (classical) speed limits, where the kinetic term is not necessarily the activity (number of jumps) but any trajectory observable of interest. As a consequence, in the task of driving a system from a given probability distribution to another, we find a tradeoff between nonadiabatic entropy production and housekeeping entropy production: the latter can be increased to decrease the former, although to a limited extent. We also find constraints specific to constant-rate Markov processes. We illustrate our thermokinetic relations on simple examples from biophysics and computing devices.

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.

Jensen bound for the entropy production rate in stochastic thermodynamics

Bounding and estimating entropy production has long been an important goal of nonequilibrium thermodynamics. We recently derived a lower bound on the total and subsystem entropy production rates of continuous stochastic systems. This "Jensen bound" has led to fundamental limits on the performance of collective transport systems and permitted thermodynamic inference of free-energy transduction between components of bipartite molecular machines. Our original derivation relied on a number of assumptions, which restricted the bound's regime of applicability. Here we derive the Jensen bound far more generally for multipartite overdamped Langevin dynamics. We then consider several extensions, allowing for position-dependent diffusion coefficients, underdamped dynamics, and non-multipartite overdamped dynamics. Our results extend the Jensen bound to a far broader class of systems.

Improving the Cramér-Rao bound with the detailed fluctuation theorem

In some nonequilibrium systems, the distribution of entropy production p(Σ) satisfies the detailed fluctuation theorem (DFT) p(Σ)/p(-Σ)=exp(Σ). When the distribution p(Σ) shows a time dependence, the celebrated Cramér-Rao (CR) bound asserts that the mean entropy production rate is upper bounded in terms of the variance of Σ and the Fisher information with respect to time. In this paper we employ the DFT to derive an upper bound for the mean entropy production rate that improves the CR bound. We show that this new bound serves as an accurate approximation for the entropy production rate in the heat exchange problem mediated by a weakly coupled bosonic mode. The bound is saturated for the same setup when mediated by a weakly coupled qubit.

Work Fluctuations in Ergotropic Heat Engines

We study the work fluctuations in ergotropic heat engines, namely two-stroke quantum Otto engines where the work stroke is designed to extract the ergotropy (the maximum amount of work by a cyclic unitary evolution) from a couple of quantum systems at canonical equilibrium at two different temperatures, whereas the heat stroke thermalizes back the systems to their respective reservoirs. We provide an exhaustive study for the case of two qutrits whose energy levels are equally spaced at two different frequencies by deriving the complete work statistics. By varying the values of temperatures and frequencies, only three kinds of optimal unitary strokes are found: the swap operator U1, an idle swap U2 (where one of the qutrits is regarded as an effective qubit), and a non-trivial permutation of energy eigenstates U3, which indeed corresponds to the composition of the two previous unitaries, namely U3=U2U1. While U1 and U2 are Hermitian (and hence involutions), U3 is not. This point has an impact on the thermodynamic uncertainty relations (TURs), which bound the signal-to-noise ratio of the extracted work in terms of the entropy production. In fact, we show that all TURs derived from a strong detailed fluctuation theorem are violated by the transformation U3.

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

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

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.

Entropy production limits all fluctuation oscillations

The oscillation of fluctuation with two state observables is investigated. Following the idea of Ohga et al. [Phys. Rev. Lett. 131, 077101 (2023)10.1103/PhysRevLett.131.077101], we find that the fluctuation oscillation relative to their autocorrelations is bounded from above by the entropy production per characteristic maximum oscillation time. Our result applies to a variety of systems including Langevin systems, chemical reaction systems, and macroscopic systems. In addition, our bound consists of experimentally tractable quantities, which enables us to examine our inequality experimentally.

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.

Fast Functionalization with High Performance in the Autonomous Information Engine

Mandal and Jarzynski have proposed a fully autonomous information heat engine, consisting of a demon, a mass, and a memory register interacting with a thermal reservoir. This device converts thermal energy into mechanical work by writing information to a memory register or, conversely, erasing information by consuming mechanical work. Here, we derive a speed limit inequality between the relaxation time of state transformation and the distance between the initial and final distributions, where the combination of the dynamical activity and entropy production plays an important role. Such inequality provides a hint that a speed-performance trade-off relation exists between the relaxation time to a functional state and the average production. To obtain fast functionalization while maintaining the performance, we show that the relaxation dynamics of the information heat engine can be accelerated significantly by devising an optimal initial state of the demon. Our design principle is inspired by the so-called Mpemba effect, where water freezes faster when initially heated.

Topological Speed Limit

Any physical system evolves at a finite speed that is constrained not only by the energetic cost but also by the topological structure of the underlying dynamics. In this Letter, by considering such structural information, we derive a unified topological speed limit for the evolution of physical states using an optimal transport approach. We prove that the minimum time required for changing states is lower bounded by the discrete Wasserstein distance, which encodes the topological information of the system, and the time-averaged velocity. The bound obtained is tight and applicable to a wide range of dynamics, from deterministic to stochastic, and classical to quantum systems. In addition, the bound provides insight into the design principles of the optimal process that attains the maximum speed. We demonstrate the application of our results to chemical reaction networks and interacting many-body quantum systems.

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 from involutions

The thermodynamic uncertainty relation (TUR) is a lower bound for the variance of a current (over the mean squared) as a function of the average entropy production. Depending on the assumptions, one obtains different versions of the TUR. For instance, from the exchange fluctuation theorem, one obtains a corresponding exchange TUR. Alternatively, we show that TURs are a consequence of a very simple property: Every process s has only one conjugate s^{'}=m(s), where m is an involution, m(m(s))=s. This property allows the derivation of a general TUR without using any fluctuation theorem. As applications, we obtain the exchange TUR, the hysteretic TUR, a fluctuation-response inequality and a lower bound for the entropy production in terms of other nonequilibrium metrics.

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.

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

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.

Finite-Time Quantum Landauer Principle and Quantum Coherence

The Landauer principle states that any logically irreversible information processing must be accompanied by dissipation into the environment. In this Letter, we investigate the heat dissipation associated with finite-time information erasure and the effect of quantum coherence in such processes. By considering a scenario wherein information is encoded in an open quantum system whose dynamics are described by the Markovian Lindblad equation, we show that the dissipated heat is lower bounded by the conventional Landauer cost, as well as a correction term inversely proportional to the operational time. To clarify the relation between quantum coherence and dissipation, we derive a lower bound for heat dissipation in terms of quantum coherence. This bound quantitatively implies that the creation of quantum coherence in the energy eigenbasis during the erasure process inevitably leads to additional heat costs. The obtained bounds hold for arbitrary operational time and control protocol. By following an optimal control theory, we numerically present an optimal protocol and illustrate our findings by using a single-qubit system.

Fluctuation theorems and thermodynamic uncertainty relations

Fluctuation theorems are fundamental results in nonequilibrium thermodynamics. Considering the fluctuation theorem with respect to the entropy production and an observable, we derive a thermodynamic uncertainty relation which also applies to noncyclic and time-reversal nonsymmetric protocols. Furthermore, we investigate the relation between the thermodynamic uncertainty relation and the correlation between the entropy and the observable, showing that the tightness of the bound is intimately related to the degree of correlation.

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.

Lower Bound on Irreversibility in Thermal Relaxation of Open Quantum Systems

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

Universal Bound on Energy Cost of Bit Reset in Finite Time

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

Thermodynamic Uncertainty Relation and Thermodynamic Speed Limit in Deterministic Chemical Reaction Networks

We generalize the thermodynamic uncertainty relation (TUR) and thermodynamic speed limit (TSL) for deterministic chemical reaction networks (CRNs). The scaled diffusion coefficient derived by considering the connection between macro- and mesoscopic CRNs plays an essential role in our results. The TUR shows that the product of the entropy production rate and the ratio of the scaled diffusion coefficient to the square of the rate of concentration change is bounded below by two. The TSL states a trade-off relation between speed and thermodynamic quantities, the entropy production, and the time-averaged scaled diffusion coefficient. The results are proved under the general setting of open and nonideal CRNs.

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.