Fluctuation Theorem Uncertainty Relation

Trade-off between coherence and dissipation for excitable phase oscillators

Thermodynamic uncertainty relation (TUR) bounds coherence in stochastic oscillatory systems. In this paper, we show that both dynamical and thermodynamic bounds play important roles for the excitable oscillators, e.g., neurons. Firstly, we investigate the trade-off between coherence and dissipation both in the sub- and superthreshold regions for a single excitable unit, where both the TUR and the saddle-node on an invariant circle (SNIC) bounds constrain the fluctuation of interspike intervals. Secondly, we show that the widely studied phenomenon called coherence resonance, where there exists a noise strength to make the oscillatory responses of the system most coherent, is also bounded by the TUR in the one-dimensional excitable phase model. Finally, we study the coherence-dissipation relation in ensembles of strongly coupled excitable oscillators.

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.

Generalized Quantum Fluctuation Theorem for Energy Exchange

The nonequilibrium fluctuation relation is a cornerstone of quantum thermodynamics. It is widely believed that the system-bath heat exchange obeys the famous Jarzynski-Wójcik fluctuation theorem. However, this theorem is established in the Born-Markovian approximation under the weak-coupling condition. Via studying the energy exchange between a harmonic oscillator and its coupled bath in the non-Markovian dynamics, we establish a generalized quantum fluctuation theorem for energy exchange being valid for arbitrary coupling strength. The Jarzynski-Wójcik fluctuation theorem is recovered in the weak-coupling limit. We also find the average energy exchange exhibits rich nonequilibrium characteristics when different numbers of system-bath bound states are formed, which suggests a useful way to control the quantum heat. Deepening our understanding of the fluctuation relation in quantum thermodynamics, our result lays the foundation to design high-efficiency quantum heat engines.

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.

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.

Out-of-Equilibrium Fluctuation-Dissipation Bounds

We prove a general inequality between the charge current and its fluctuations valid for any weakly interacting coherent electronic conductor and for any stationary out-of-equilibrium condition, thereby going beyond established fluctuation-dissipation relations. The developed fluctuation-dissipation bound saturates at large temperature bias and reveals additional insight for heat engines, since it limits the output power by power fluctuations. It is valid when the thermodynamic uncertainty relations break down due to quantum effects and provides stronger constraints close to thermovoltage.

Uncertainty relation for symmetric Petz-Rényi relative entropy

Holevo introduced a fidelity between quantum states that is symmetric and as effective as the trace distance in evaluating their similarity. This fidelity is bounded by a function of the trace distance, a relationship to which we will refer as Holevo's inequality. More broadly, Holevo's fidelity is part of a one-parameter family of symmetric Petz-Rényi relative entropies, which in turn satisfy a Pinsker's-like inequality with respect to the trace distance. Although Holevo's inequality is tight, Pinsker's inequality is loose for this family. We show that the symmetric Petz-Rényi relative entropies satisfy a tight inequality with respect to the trace distance, improving Pinsker's and reproducing Holevo's as a specific case. Additionally, we show how this result emerges from a symmetric Petz-Rényi uncertainty relation, a result that encompasses several relations in quantum and stochastic thermodynamics.

Harnessing Information Thermodynamics: Conversion of DNA Information into Mechanical Work in RNA Transcription and Nanopore Sequencing

Recent advancements in information thermodynamics have revealed that information can be directly converted into mechanical work. Specifically, RNA transcription and nanopore sequencing serve as prime examples of this conversion, by reading information from a DNA template. This paper introduces an information thermodynamic model in which these molecular motors can move along the DNA template by converting the information read from the template DNA into their own motion. This process is a stochastic one, characterized by significant fluctuations in forward movement and is described by the Fokker-Planck equation, based on drift velocity and diffusion coefficients. In the current study, it is hypothesized that by utilizing the sequence information of the template DNA as mutual information, the fluctuations can be reduced, thereby biasing the forward movement on DNA and, consequently, reducing reading errors. Further research into the conversion of biological information by molecular motors could unveil new applications, insights, and important findings regarding the characteristics of information processing in biology.

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.

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 precision in the nonequilibrium exchange scenario

We discuss exchange scenario thermodynamic uncertainty relations for the work done on a two-qubit entangled nonequilibrium steady state obtained by coupling the two qubits and putting each of them in weak contact with a thermal bath. In this way we investigate the use of entangled nonequilibrium steady states as end points of thermodynamic cycles. In this framework we prove analytically that for a paradigmatic unitary it is possible to construct an exchange scenario thermodynamic uncertainty relation. However, despite holding in many cases, we also show that such a relation ceases to be valid when considering other suitable unitary quenches. Furthermore, this paradigmatic example allows us to shed light on the role of the entanglement between the two qubits for precise work absorption. By considering the projection of the entangled steady state onto the set of separable states, we provide examples where such projection implies an increase of the relative uncertainty, showing the usefulness of entanglement.

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.

Fluctuation theorems and expected utility hypothesis

The expected utility hypothesis is a popular concept in economics that is useful for making decisions when the payoff is uncertain. In this paper, we investigate the implications of a fluctuation theorem in the theory of expected utility. In particular, we wonder whether entropy could serve as a guideline for gambling. We prove the existence of a bound involving the certainty equivalent which depends on the entropy produced. Then, we examine the dependence of the certainty equivalent on the entropy by looking at specific situations, in particular, the work extraction from a nonequilibrium initial state.

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.

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.

Thermodynamic uncertainty theorem

Thermodynamic uncertainty relations (TURs) express a fundamental lower bound on the precision (inverse scaled variance) of any thermodynamic charge-e.g., work or heat-by functionals of the average entropy production. Relying on purely variational arguments, we significantly extend TUR inequalities by incorporating and analyzing the impact of higher statistical cumulants of the entropy production itself within the general framework of time-symmetrically-controlled computation. We derive an exact expression for the charge that achieves the minimum scaled variance, for which the TUR bound tightens to an equality that we name the thermodynamic uncertainty theorem (TUT). Importantly, both the minimum scaled variance charge and the TUT are functionals of the stochastic entropy production, thus retaining the impact of its higher moments. In particular, our results show that, beyond the average, the entropy production distribution's higher moments have a significant effect on any charge's precision. This is made explicit via a thorough numerical analysis of "swap" and "reset" computations that quantitatively compares the TUT against previous generalized TURs.

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.

Thermodynamic variational relation

In systems far from equilibrium, the statistics of observables are connected to entropy production, leading to the thermodynamic uncertainty relation (TUR). However, the derivation of TURs often involves constraining the parity of observables, such as considering asymmetric currents, making it unsuitable for the general case. We propose a thermodynamic variational relation (TVR) between the statistics of general observables and entropy production, based on the variational representation of f divergences. From this result, we derive a universal TUR and other relations for higher-order statistics of observables.

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.

Arbitrary-time thermodynamic uncertainty relation from fluctuation theorem

The thermodynamic uncertainty relation (TUR) provides a universal entropic bound for the precision of the fluctuation of the charge transfer, for example, for a class of continuous-time stochastic processes. However, its extension to general nonequilibrium dynamics is still an unsolved problem. We derive TUR for an arbitrary finite time from exchange fluctuation theorem under a geometric necessary and sufficient condition. We also generally show a necessary and sufficient condition of multidimensional TUR in a unified manner. As a nontrivial practical consequence, we obtain universal scaling relations among the mean and variance of the charge transfer in short time regime. In this manner, we can deepen our understanding of a link between two important rigorous relations, i.e., the fluctuation theorem and the thermodynamic uncertainty relation.

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.

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

Bound for the moment generating function from the detailed fluctuation theorem

A famous consequence of the detailed fluctuation theorem (FT), p(Σ)/p(-Σ)=exp(Σ), is the integral FT 〈exp(-Σ)〉=1 for a random variable Σ and a distribution p(Σ). When Σ represents the entropy production in thermodynamics, the main outcome of the integral FT is the second law, 〈Σ〉≥0. However, a full description of the fluctuations of Σ might require knowledge of the moment generating function (MGF), G(α):=〈exp(αΣ)〉. In the context of the detailed FT, we show the MGF is lower bounded in the form G(α)≥B(α,〈Σ〉) for a given mean 〈Σ〉. As applications, we verify that the bound is satisfied for the entropy produced in the heat exchange problem between two reservoirs mediated by a weakly coupled bosonic mode and a qubit swap engine.

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.

Beat of a current

The fluctuation relation, a milestone of modern thermodynamics, is only established when a set of fundamental currents can be measured. Here we prove that it also holds for systems with hidden transitions if observations are carried "at their own beat," that is, by stopping the experiment after a fixed number of visible transitions, rather than the elapse of an external clock time. This suggests that thermodynamic symmetries are more resistant to the loss of information when described in the space of transitions.

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.

Tight uncertainty relations for cycle currents

Several recent inequalities bound the precision of a current, i.e., a counter of the net number of transitions in a system, by a thermodynamic measure of dissipation. However, while currents may be defined locally, dissipation is a global property. Inspired by the fact that, ever since Carnot, cycles are the unit elements of thermodynamic processes, we prove similar bounds tailored to cycle currents, counting net cycle completions, in terms of their conjugate affinities. We show that these inequalities are stricter than previous ones, even far from equilibrium, and that they allow us to tighten those on transition currents. We illustrate our results with a simple model and discuss some technical and conceptual issues related to shifting attention from transition to cycle observables.

Thermodynamic skewness relation from detailed fluctuation theorem

The detailed fluctuation theorem (DFT) is a statement about the asymmetry in the statistics of the entropy production. Consequences of the DFT are the second law of thermodynamics and the thermodynamics uncertainty relation, which translate into lower bounds for the mean and variance of currents, respectively. However, far from equilibrium, mean and variance are not enough to characterize the underlying distribution of the entropy production. The fluctuations are not necessarily Gaussian (nor symmetric), which means their skewness could be nonzero. We prove that the DFT imposes a negative tight lower bound for the skewness of the entropy production as a function of the mean. As application, we check the bound in the heat exchange problem between two thermal reservoirs mediated by a qubit swap engine.

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.

Lower bound for entropy production rate in stochastic systems far from equilibrium

We show that the Schnakenberg's entropy production rate in a master equation is lower bounded by a function of the weight of the Markov graph, here defined as the sum of the absolute values of probability currents over the edges. The result is valid for time-dependent nonequilibrium entropy production rates. Moreover, in a general framework, we prove a theorem showing that the Kullback-Leibler divergence between distributions P(s) and P^{'}(s):=P(m(s)), where m is an involution, m(m(s))=s, is lower bounded by a function of the total variation of P and P^{'}, for any m. The bound is tight and it improves on Pinsker's inequality for this setup. This result illustrates a connection between nonequilibrium thermodynamics and graph theory with interesting applications.

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.

Quantum Thermodynamic Uncertainty Relations, Generalized Current Fluctuations and Nonequilibrium Fluctuation–Dissipation Inequalities

Thermodynamic uncertainty relations (TURs) represent one of the few broad-based and fundamental relations in our toolbox for tackling the thermodynamics of nonequilibrium systems. One form of TUR quantifies the minimal energetic cost of achieving a certain precision in determining a nonequilibrium current. In this initial stage of our research program, our goal is to provide the quantum theoretical basis of TURs using microphysics models of linear open quantum systems where it is possible to obtain exact solutions. In paper [Dong et al., Entropy 2022, 24, 870], we show how TURs are rooted in the quantum uncertainty principles and the fluctuation–dissipation inequalities (FDI) under fully nonequilibrium conditions. In this paper, we shift our attention from the quantum basis to the thermal manifests. Using a microscopic model for the bath’s spectral density in quantum Brownian motion studies, we formulate a “thermal” FDI in the quantum nonequilibrium dynamics which is valid at high temperatures. This brings the quantum TURs we derive here to the classical domain and can thus be compared with some popular forms of TURs. In the thermal-energy-dominated regimes, our FDIs provide better estimates on the uncertainty of thermodynamic quantities. Our treatment includes full back-action from the environment onto the system. As a concrete example of the generalized current, we examine the energy flux or power entering the Brownian particle and find an exact expression of the corresponding current–current correlations. In so doing, we show that the statistical properties of the bath and the causality of the system+bath interaction both enter into the TURs obeyed by the thermodynamic quantities.

Improved estimation for energy dissipation in biochemical oscillations

Biochemical oscillations, regulating the timing of life processes, need consume energy to achieve good performance on crucial functions, such as high accuracy of phase period and high sensitivity to external signals. However, it is a great challenge to precisely estimate the energy dissipation in such systems. Here, based on the stochastic normal form theory (SNFT), we calculate the Pearson correlation coefficient between the oscillatory amplitude and phase, and a trade-off relation between transport efficiency and phase sensitivity can then be derived, which serves as a tighter form than the estimator resulting from the conventional thermodynamic uncertainty relation (TUR). Our findings demonstrate that a more precise energy dissipation estimation can be obtained by enhancing the sensitivity of the biochemical oscillations. Moreover, the internal noise and amplitude power effects have also been discovered.

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.

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.

Thermodynamic uncertainty relation for quantum work distribution: Exact case study for a perturbed oscillator

Recently, some general relations have been intensively investigated in nonequilibrium mesoscopic systems. In particular, the thermodynamic uncertainty relation (TUR) provides a general bound of the precision for the fluctuation of some currents in terms of the corresponding entropy production. On the other hand, the fluctuation of the work performed is also a significant quantity, which is supposed to satisfy TUR under some conditions, such as symmetric driving protocol. In this paper, we analytically show that the TUR holds for the work performed on an externally perturbed quantum harmonic oscillator interacting with multiple reservoirs in full quantum regime. In this manner, we evaluate how the noncommutativity affects the thermodynamic precision. We also explore its experimental accessibility.

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.

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.

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

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

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.

Designing circle swimmers: Principles and strategies

Various microswimmers move along circles rather than straight lines due to their swimming mechanisms, body shapes, or hydrodynamic effects. In this paper, we adopt the concepts of stochastic thermodynamics to analyze circle swimmers confined to a two-dimensional plane and study the trade-off relations between various physical quantities, such as precision, energy cost, and rotational speed. Based on these findings, we predict principles and strategies for designing microswimmers of special optimized functions under limited energy resource conditions, which will bring new experimental inspiration for designing smart motors.

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.

Detailed fluctuation theorem bound for apparent violations of the second law

The second law of thermodynamics is a statement about the statistics of the entropy production, 〈Σ〉≥0. For small systems, it is known that the entropy production is a random variable and negative values (Σ<0) might be observed in some experiments. This situation is sometimes called apparent violation of the second law. In this sense, how often is the second law violated? For a given average 〈Σ〉, we show that the strong detailed fluctuation theorem implies a lower tight bound for the apparent violations of the second law. As applications, we verify that the bound is satisfied for the entropy produced in the heat exchange problem between two reservoirs mediated by a bosonic mode in the weak-coupling approximation, a levitated nanoparticle, and a classical particle in a box.