Unified approach to classical speed limit and thermodynamic uncertainty relation

Flow of Energy and Information in Molecular Machines

Molecular machines transduce free energy between different forms throughout all living organisms. Unlike their macroscopic counterparts, molecular machines are characterized by stochastic fluctuations, overdamped dynamics, and soft components, and operate far from thermodynamic equilibrium. In addition, information is a relevant free energy resource for molecular machines, leading to new modes of operation for nanoscale engines. Toward the objective of engineering synthetic nanomachines, an important goal is to understand how molecular machines transduce free energy to perform their functions in biological systems. In this review, we discuss the nonequilibrium thermodynamics of free energy transduction within molecular machines, with a focus on quantifying energy and information flows between their components. We review results from theory, modeling, and inference from experiments that shed light on the internal thermodynamics of molecular machines, and ultimately explore what we can learn from considering these interactions.

Perspective: Time irreversibility in systems observed at coarse resolution

A broken time-reversal symmetry, i.e., broken detailed balance, is central to non-equilibrium physics and is a prerequisite for life. However, it turns out to be quite challenging to unambiguously define and quantify time-reversal symmetry (and violations thereof) in practice, that is, from observations. Measurements on complex systems have a finite resolution and generally probe low-dimensional projections of the underlying dynamics, which are well known to introduce memory. In situations where many microscopic states become "lumped" onto the same observable "state" or when introducing "reaction coordinates" to reduce the dimensionality of data, signatures of a broken time-reversal symmetry in the microscopic dynamics become distorted or masked. In this Perspective, we highlight why, in defining and discussing time-reversal symmetry and quantifying its violations, the precise underlying assumptions on the microscopic dynamics, the coarse graining, and further reductions are not a technical detail. These assumptions decide whether the conclusions that are drawn are physically sound or inconsistent. We summarize recent findings in the field and reflect upon key challenges.

Kauzmann Paradox, Supercooling, and Finding Order in Chaos

Prediction of a liquidus state with lower entropy than the corresponding solid at Kauzmann temperature (Tk), and associated entropy catastrophe/paradox, remains an enigma. Despite efforts to resolve this paradox for nearly 80 years, no unifying resolution has been reported. Potential resolutions to the Kauzmann paradox rely on an ideal glass transition, however, this limits the interpretation of Tk as an equilibrium critical point rather than an instability. Focusing on entropy, statistical mechanics and non-equilibrium dynamics becomes a key tenet in resolving this paradox. Expansion in phase space beyond 2D and consideration of Tk as a non-equilibrium critical point is necessary to understand the extent of liquid relaxation beyond Tk. In this review, we provide an entropic perspective of the relaxation behavior of supercooled liquids, associated expanded phase diagram, and the potential resolution to the Kauzmann paradox. This work integrates the historical evolution of our understanding of entropy/thermodynamics with modern interpretation of quantum states through renormalization group and thermodynamic speed limits.

Precisely controlled colloids: a playground for path-wise non-equilibrium physics

We investigate path-wise observables in experiments on driven colloids in a periodic light field to dissect selected intricate transport features, kinetics, and transition-path time statistics out of thermodynamic equilibrium. These observables directly reflect the properties of individual paths in contrast to the properties of an ensemble of particles, such as radial distribution functions or mean-squared displacements. In particular, we present two distinct albeit equivalent formulations of the underlying stochastic equation of motion, highlight their respective practical relevance, and show how to interchange between them. We discuss conceptually different notions of local velocities and interrogate one- and two-sided first-passage and transition-path time statistics in and out of equilibrium. Our results reiterate how path-wise observables may be employed to systematically assess the quality of experimental data and demonstrate that, given sufficient control and sampling, one may quantitatively verify subtle theoretical predictions.

Foundations of algorithmic thermodynamics

Gács's coarse-grained algorithmic entropy leverages universal computation to quantify the information content of any given physical state. Unlike the Boltzmann and Gibbs-Shannon entropies, it requires no prior commitment to macrovariables or probabilistic ensembles, rendering it applicable to settings arbitrarily far from equilibrium. For measure-preserving dynamical systems equipped with a Markovian coarse graining, we prove a number of fluctuation inequalities. These include algorithmic versions of Jarzynski's equality, Landauer's principle, and the second law of thermodynamics. In general, the algorithmic entropy determines a system's actual capacity to do work from an individual state, whereas the Gibbs-Shannon entropy gives only the mean capacity to do work from a state ensemble that is known a priori.

Thermodynamic Concentration Inequalities and Trade-Off Relations

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

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.

Thermodynamic uncertainty relation for quantum entropy production

In quantum thermodynamics, entropy production is usually defined in terms of the quantum relative entropy between two states. We derive a lower bound for the quantum entropy production in terms of the mean and variance of quantum observables, which we refer to as a thermodynamic uncertainty relation (TUR) for the entropy production. In the absence of coherence between the states, our result reproduces classic TURs in stochastic thermodynamics. For the derivation of the TUR, we introduce a lower bound for a quantum generalization of the χ^{2} divergence between two states and discuss its implications for stochastic and quantum thermodynamics, as well as the limiting case where it reproduces the quantum Cramér-Rao inequality.

Stochastic differential equation for a system coupled to a thermostatic bath via an arbitrary interaction Hamiltonian

The conventional Langevin equation offers a mathematically convenient framework for investigating open stochastic systems interacting with their environment or a bath. However, it is not suitable for a wide variety of systems whose dynamics rely on the nature of the environmental interaction, as the equation does not incorporate any specific information regarding that interaction. Here, we present a stochastic differential equation (SDE) for an open system coupled to a thermostatic bath via an arbitrary interaction Hamiltonian. This SDE encodes the interaction information to a fictitious potential (mean force) and a position-dependent damping coefficient. Surprisingly, we find that the conventional Langevin equation can be recovered in the presence of arbitrary strong interactions given two conditions: translational invariance of the potential and mutual independence of baths. Our results provide a comprehensive framework for studying open stochastic systems with an arbitrary interaction Hamiltonian and yield deeper insight into why various experiments fit the conventional Langevin description regardless of the strength or type of interaction.

Thermodynamic cost for precision of general counting observables

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

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.