Thermodynamic uncertainty relations including measurement and feedback

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.

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.

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.

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.

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

Information in feedback ratchets

Feedback control uses the state information of the system to actuate on it. The information used implies an effective entropy reduction of the controlled system, potentially increasing its performance. How to compute this entropy reduction has been formally shown for a general system and has been explicitly computed for spatially discrete systems. Here, we address a relevant example of how to compute the entropy reduction by information in a spatially continuous feedback-controlled system. Specifically, we consider a feedback flashing ratchet, which constitutes a paradigmatic example for the role of information and feedback in the dynamics and thermodynamics of transport induced by the rectification of Brownian motion. A Brownian particle moves in a periodic potential that is switched on and off by a controller. The controller measures the position of the particle at regular intervals and performs the switching depending on the result of the measurement. This system reaches a long-time dynamical regime with a nonzero mean particle velocity, even for a symmetric potential. Here, we calculate the efficiency at maximum power in this long-time regime, computing all the required contributions. We show how the entropy reduction can be evaluated from the entropy of the non-Markovian sequence of control actions, and we also discuss the required sampling effort for its accurate computation. Moreover, the output power developed by the particle against an external force is investigated, which-for some values of the system parameters-is shown to become larger than the input power provided by the switching of the potential. The apparent efficiency of the ratchet thus becomes higher than one, if the entropy reduction contribution is not considered. This result highlights the relevance of including the entropy reduction by information in the thermodynamic balance of feedback-controlled devices, specifically when writing the second principle. The inclusion of the entropy reduction by information leads to a well-behaved efficiency over all the range of parameters investigated.

Bounds on nonequilibrium fluctuations for asymmetrically driven quantum Otto engines

For a four-stroke asymmetrically driven quantum Otto engine with working medium modeled by a single qubit, we study the bounds on nonequilibrium fluctuations of work and heat. We find strict relations between the fluctuations of work and individual heat for hot and cold reservoirs in arbitrary operational regimes. Focusing on the engine regime, we show that the ratio of nonequilibrium fluctuations of output work to input heat from the hot reservoir is both upper and lower bounded. As a consequence, we establish a hierarchical relation between the relative fluctuations of work and heat for both cold and hot reservoirs and further make a connection with the thermodynamic uncertainty relations. We discuss the fate of these bounds also in the refrigerator regime. The reported bounds, for such asymmetrically driven engines, emerge once both the time-forward and the corresponding reverse cycles of the engine are considered on an equal footing. We also extend our study and report bounds for a parametrically driven harmonic oscillator Otto engine.

Precision bound and optimal control in periodically modulated continuous quantum thermal machines

We use Floquet formalism to study fluctuations in periodically modulated continuous quantum thermal machines. We present a generic theory for such machines, followed by specific examples of sinusoidal, optimal, and circular modulations, respectively. The thermodynamic uncertainty relations (TUR) hold for all modulations considered. Interestingly, in the case of sinusoidal modulation, the TUR ratio assumes a minimum at the heat engine to refrigerator transition point, while the chopped random basis optimization protocol allows us to keep the ratio small for a wide range of modulation frequencies. Furthermore, our numerical analysis suggests that TUR can show signatures of heat engine to refrigerator transition, for more generic modulation schemes. We also study bounds in fluctuations in the efficiencies of such machines; our results indicate that fluctuations in efficiencies are bounded from above for a refrigerator and from below for an engine. Overall, this study emphasizes the crucial role played by different modulation schemes in designing practical quantum thermal machines.

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.

Measurement-Based Quantum Thermal Machines with Feedback Control

We investigated coupled-qubit-based thermal machines powered by quantum measurements and feedback. We considered two different versions of the machine: (1) a quantum Maxwell's demon, where the coupled-qubit system is connected to a detachable single shared bath, and (2) a measurement-assisted refrigerator, where the coupled-qubit system is in contact with a hot and cold bath. In the quantum Maxwell's demon case, we discuss both discrete and continuous measurements. We found that the power output from a single qubit-based device can be improved by coupling it to the second qubit. We further found that the simultaneous measurement of both qubits can produce higher net heat extraction compared to two setups operated in parallel where only single-qubit measurements are performed. In the refrigerator case, we used continuous measurement and unitary operations to power the coupled-qubit-based refrigerator. We found that the cooling power of a refrigerator operated with swap operations can be enhanced by performing suitable measurements.

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.

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.

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.

Experimental Verification of the Work Fluctuation-Dissipation Relation for Information-to-Work Conversion

We study experimentally work fluctuations in a Szilard engine that extracts work from information encoded as the occupancy of an electron level in a semiconductor quantum dot. We show that as the average work extracted per bit of information increases toward the Landauer limit k_{B}Tln2, the work fluctuations decrease in accordance with the work fluctuation-dissipation relation. We compare the results to a protocol without measurement and feedback and show that when no information is used, the work output and fluctuations vanish simultaneously, contrasting the information-to-energy conversion case where increasing amount of work is produced with decreasing fluctuations. Our study highlights the importance of fluctuations in the design of information-to-work conversion processes.

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.

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.

Violating the thermodynamic uncertainty relation in the three-level maser

Nanoscale heat engines are subject to large fluctuations which affect their precision. The thermodynamic uncertainty relation (TUR) provides a trade-off between output power, fluctuations, and entropic cost. This trade-off may be overcome by systems exhibiting quantum coherence. This Letter provides a study of the TUR in a prototypical quantum heat engine, the Scovil-Schulz-DuBois maser. Comparison with a classical reference system allows us to determine the effect of quantum coherence on the performance of the heat engine. We identify analytically regions where coherence suppresses fluctuations, implying a quantum advantage, as well as regions where fluctuations are enhanced by coherence. This quantum effect cannot be anticipated from the off-diagonal elements of the density matrix. Because the fluctuations are not encoded in the steady state alone, TUR violations are a consequence of coherence that goes beyond steady-state coherence. While the system violates the conventional TUR, it adheres to a recent formulation of a quantum TUR. We further show that parameters where the engine operates close to the conventional limit are prevalent and TUR violations in the quantum model are not uncommon.

Kinetic uncertainty relation on first-passage time for accumulated current

The kinetic uncertainty relation (KUR) is a trade-off relation between the precision of an observable and the mean dynamical activity in a fixed time interval for a time-homogeneous and continuous-time Markov chain. In this Letter, we derive the KUR on the first passage time for the time-integrated current from the information inequality at stopping times. The relation shows that the precision of the first passage time is bounded from above by the mean number of jumps up to that time. We apply our result to simple systems and demonstrate that the activity constraint gives a tighter bound than the thermodynamic uncertainty relation in the regime far from equilibrium.

Thermodynamic Optimality of Glycolytic Oscillations

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

New fluctuation theorems on Maxwell's demon

With increasing interest in the control of systems at the nano- and mesoscopic scales, studies have been focused on the limit of the energy dissipation in an open system by refining the concept of the Maxwell's demon. To uncover the underlying physical principle behind a system controlled by a demon, we prove a previously unexplored set of fluctuation theorems. These fluctuation theorems imply that there exists an intrinsic nonequilibrium state of the system, led by the nonnegative demon-induced dissipative information. A consequence of this analysis is that the bounds of both work and heat are tighter than the limits predicted by the Sagawa-Ueda theorem. We also suggest a possible experimental test of these work and heat bounds.

Thermodynamic Uncertainty Relation in Slowly Driven Quantum Heat Engines

Thermodynamic uncertainty relations express a trade-off between precision, defined as the noise-to-signal ratio of a generic current, and the amount of associated entropy production. These results have deep consequences for autonomous heat engines operating at steady state, imposing an upper bound for their efficiency in terms of the power yield and its fluctuations. In the present Letter we analyze a different class of heat engines, namely, those which are operating in the periodic slow-driving regime. We show that an alternative TUR is satisfied, which is less restrictive than that of steady-state engines: it allows for engines that produce finite power, with small power fluctuations, to operate close to reversibility. The bound further incorporates the effect of quantum fluctuations, which reduces engine efficiency relative to the average power and reliability. We finally illustrate our findings in the experimentally relevant model of a single-ion heat engine.

Thermodynamic uncertainty relation to assess biological processes

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

Thermodynamics of precision in quantum nanomachines

Fluctuations strongly affect the dynamics and functionality of nanoscale thermal machines. Recent developments in stochastic thermodynamics have shown that fluctuations in many far-from-equilibrium systems are constrained by the rate of entropy production via so-called thermodynamic uncertainty relations. These relations imply that increasing the reliability or precision of an engine's power output comes at a greater thermodynamic cost. Here we study the thermodynamics of precision for small thermal machines in the quantum regime. In particular, we derive exact relations between the power, power fluctuations, and entropy production rate for several models of few-qubit engines (both autonomous and cyclic) that perform work on a quantized load. Depending on the context, we find that quantum coherence can either help or hinder where power fluctuations are concerned. We discuss design principles for reducing such fluctuations in quantum nanomachines and propose an autonomous three-qubit engine whose power output for a given entropy production is more reliable than would be allowed by any classical Markovian model.

Thermodynamic uncertainty relation for energy transport in a transient regime: A model study

We investigate a transient version of the recently discovered thermodynamic uncertainty relation (TUR) which provides a precision-cost trade-off relation for certain out-of-equilibrium thermodynamic observables in terms of net entropy production. We explore this relation in the context of energy transport in a bipartite setting for three exactly solvable toy model systems (two coupled harmonic oscillators, two coupled qubits, and a hybrid coupled oscillator-qubit system) and analyze the role played by the underlying statistics of the transport carriers in the TUR. Interestingly, for all these models, depending on the statistics, the TUR ratio can be expressed as a sum or a difference of a universal term which is always greater than or equal to 2 and a corresponding entropy production term. We find that the generalized version of the TUR, originating from the universal fluctuation symmetry, is always satisfied. However, interestingly, the specialized TUR, a tighter bound, is always satisfied for the coupled harmonic oscillator system obeying Bose-Einstein statistics. Whereas, for both the coupled qubit, obeying Fermi-like statistics, and the hybrid qubit-oscillator system with mixed Fermi-Bose statistics, violation of the tighter bound is observed in certain parameter regimes. We have provided conditions for such violations. We also provide a rigorous proof following the nonequilibrium Green's function approach that the tighter bound is always satisfied in the weak-coupling regime for generic bipartite systems.

Unified approach to classical speed limit and thermodynamic uncertainty relation

The total entropy production quantifies the extent of irreversibility in thermodynamic systems, which is nonnegative for any feasible dynamics. When additional information such as the initial and final states or moments of an observable is available, it is known that tighter lower bounds on the entropy production exist according to the classical speed limits and the thermodynamic uncertainty relations. Here we obtain a universal lower bound on the total entropy production in terms of probability distributions of an observable in the time forward and backward processes. For a particular case, we show that our universal relation reduces to a classical speed limit, imposing a constraint on the speed of the system's evolution in terms of the Hatano-Sasa entropy production. Notably, the obtained classical speed limit is tighter than the previously reported bound by a constant factor. Moreover, we demonstrate that a generalized thermodynamic uncertainty relation can be derived from another particular case of the universal relation. Our uncertainty relation holds for systems with time-reversal symmetry breaking and recovers several existing bounds. Our approach provides a unified perspective on two closely related classes of inequality: classical speed limits and thermodynamic uncertainty relations.

Thermodynamic uncertainty relations for bosonic Otto engines

We study two-mode bosonic engines undergoing an Otto cycle. The energy exchange between the two bosonic systems is provided by a tunable unitary bilinear interaction in the mode operators modeling frequency conversion, whereas the cyclic operation is guaranteed by relaxation to two baths at different temperatures after each interacting stage. By means of a two-point-measurement approach we provide the joint probability of the stochastic work and heat. We derive exact expressions for work and heat fluctuations, identities showing the interdependence among average extracted work, fluctuations, and efficiency, along with thermodynamic uncertainty relations between the signal-to-noise ratio of observed work and heat and the entropy production. We outline how the presented approach can be suitably applied to derive thermodynamic uncertainty relations for quantum Otto engines with alternative unitary strokes.

Thermodynamic Uncertainty Relation for Arbitrary Initial States

The thermodynamic uncertainty relation (TUR) describes a trade-off relation between nonequilibrium currents and entropy production and serves as a fundamental principle of nonequilibrium thermodynamics. However, currently known TURs presuppose either specific initial states or an infinite-time average, which severely limits the range of applicability. Here we derive a finite-time TUR valid for arbitrary initial states from the Cramér-Rao inequality. We find that the variance of an accumulated current is bounded from below by the instantaneous current at the final time, which suggests that "the boundary is constrained by the bulk". We apply our results to feedback-controlled processes and successfully explain a recent experiment which reports a violation of a modified TUR with feedback control. We also derive a TUR that is linear in the total entropy production and valid for discrete-time Markov chains with nonsteady initial states. The obtained bound exponentially improves the existing bounds in a discrete-time regime.

Reaching and violating thermodynamic uncertainty bounds in information engines

Thermodynamic uncertainty relations (TURs) set fundamental bounds on the fluctuation and dissipation of stochastic systems. Here, we examine these bounds, in experiment and theory, by exploring the entire phase space of a cyclic information engine operating in a nonequilibrium steady state. Close to its maximal efficiency, we find that the engine violates the original TUR. This experimental demonstration of TUR violation agrees with recently proposed softer bounds: The engine satisfies two generalized TUR bounds derived from the detailed fluctuation theorem with feedback control and another bound linking fluctuation and dissipation to mutual information and Renyi divergence. We examine how the interplay of work fluctuation and dissipation shapes the information conversion efficiency of the engine, and find that dissipation is minimal at a finite noise level, where the original TUR is violated.

Estimating entropy production by machine learning of short-time fluctuating currents

Thermodynamic uncertainty relations (TURs) are the inequalities which give lower bounds on the entropy production rate using only the mean and the variance of fluctuating currents. Since the TURs do not refer to the full details of the stochastic dynamics, it would be promising to apply the TURs for estimating the entropy production rate from a limited set of trajectory data corresponding to the dynamics. Here we investigate a theoretical framework for estimation of the entropy production rate using the TURs along with machine learning techniques without prior knowledge of the parameters of the stochastic dynamics. Specifically, we derive a TUR for the short-time region and prove that it can provide the exact value, not only a lower bound, of the entropy production rate for Langevin dynamics, if the observed current is optimally chosen. This formulation naturally includes a generalization of the TURs with the partial entropy production of subsystems under autonomous interaction, which reveals the hierarchical structure of the estimation. We then construct estimators on the basis of the short-time TUR and machine learning techniques such as the gradient ascent. By performing numerical experiments, we demonstrate that our learning protocol performs well even in nonlinear Langevin dynamics. We also discuss the case of Markov jump processes, where the exact estimation is shown to be impossible in general. Our result provides a platform that can be applied to a broad class of stochastic dynamics out of equilibrium, including biological systems.

Entropy production estimation with optimal current

Entropy production characterizes the thermodynamic irreversibility and reflects the amount of heat dissipated into the environment and free energy lost in nonequilibrium systems. According to the thermodynamic uncertainty relation, we propose a deterministic method to estimate the entropy production from a single trajectory of system states. We explicitly and approximately compute an optimal current that yields the tightest lower bound using predetermined basis currents. Notably, the obtained tightest lower bound is intimately related to the multidimensional thermodynamic uncertainty relation. By proving the saturation of the thermodynamic uncertainty relation in the short-time limit, the exact estimate of the entropy production can be obtained for overdamped Langevin systems, irrespective of the underlying dynamics. For Markov jump processes, because the attainability of the thermodynamic uncertainty relation is not theoretically ensured, the proposed method provides the tightest lower bound for the entropy production. When entropy production is the optimal current, a more accurate estimate can be further obtained using the integral fluctuation theorem. We illustrate the proposed method using three systems: a four-state Markov chain, a periodically driven particle, and a multiple bead-spring model. The estimated results in all examples empirically verify the effectiveness and efficiency of the proposed method.

Power, Efficiency and Fluctuations in a Quantum Point Contact as Steady-State Thermoelectric Heat Engine

The trade-off between large power output, high efficiency and small fluctuations in the operation of heat engines has recently received interest in the context of thermodynamic uncertainty relations (TURs). Here we provide a concrete illustration of this trade-off by theoretically investigating the operation of a quantum point contact (QPC) with an energy-dependent transmission function as a steady-state thermoelectric heat engine. As a starting point, we review and extend previous analysis of the power production and efficiency. Thereafter the power fluctuations and the bound jointly imposed on the power, efficiency, and fluctuations by the TURs are analyzed as additional performance quantifiers. We allow for arbitrary smoothness of the transmission probability of the QPC, which exhibits a close to step-like dependence in energy, and consider both the linear and the non-linear regime of operation. It is found that for a broad range of parameters, the power production reaches nearly its theoretical maximum value, with efficiencies more than half of the Carnot efficiency and at the same time with rather small fluctuations. Moreover, we show that by demanding a non-zero power production, in the linear regime a stronger TUR can be formulated in terms of the thermoelectric figure of merit. Interestingly, this bound holds also in a wide parameter regime beyond linear response for our QPC device.