Detailed Fluctuation Relation for Arbitrary Measurement and Feedback Schemes

Experimental Verification of Demon-Involved Fluctuation Theorems

The limit of energy saving in the control of small systems has recently attracted much interest due to the concept refinement of the Maxwell demon. Inspired by a newly proposed set of fluctuation theorems, we report the first experimental verification of these equalities and inequalities in an ultracold ^{40}Ca^{+} ion system, confirming the intrinsic nonequilibrium in the system due to involvement of the demon. Based on elaborately designed demon-involved control protocols, such as the Szilard engine protocol, we provide experimentally quantitative evidence of the dissipative information and observe tighter bounds of both the extracted work and the demon's efficacy than the limits predicted by the Sagawa-Ueda theorem. Our results substantiate a close connection between the physical nature of information and nonequilibrium processes at the microscale, which help to further understand the thermodynamic characteristics of information and the optimal design of nanoscale and smaller systems.

Influence of the seed of measurement on the work extracted in a quantum Szilard engine

We investigate the influence of the seed of measurement on the performance of a Szilard engine based on a two-mode Gaussian state evolving in a noisy channel. Quantum work is extracted by performing a positive operator-valued measurement (POVM) on one of the two modes, after which this mode reaches equilibrium with the environment. As the seed of measurement, we use a single-mode squeezed thermal state. We employ the Markovian Kossakowski-Lindblad master equation to determine the evolution in time of the considered open system and the quantum work is defined based on the Rényi entropy of order 2. We show that the extracted quantum work and information-work efficiency strongly depend on the characteristic parameters of the system (frequency, average thermal photons number, and squeezing), the noisy channel (temperature and squeezing of the bath), and the seed of measurement (average thermal photons number and strength of the measurement).

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.

Information-to-work conversion in single-molecule experiments: From discrete to continuous feedback

We theoretically investigate the extractable work in single molecule unfolding-folding experiments with applied feedback. Using a simple two-state model, we obtain a description of the full work distribution from discrete to continuous feedback. The effect of the feedback is captured by a detailed fluctuation theorem, accounting for the information aquired. We find analytical expressions for the average work extraction as well as an experimentally measurable bound thereof, which becomes tight in the continuous feedback limit. We further determine the parameters for maximal power or rate of work extraction. Although our two-state model only depends on a single effective transition rate, we find qualitative agreement with Monte Carlo simulations of DNA hairpin unfolding-folding dynamics.

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.

From a feedback-controlled demon to an information ratchet in a double quantum dot

We present a simple strategy for constructing an information ratchet or memory-tape model of Maxwell's demon, from a feedback-controlled model. We illustrate our approach by converting the Annby-Andersson feedback-controlled double quantum dot model [Phys. Rev. B 101, 165404 (2020)2469-995010.1103/PhysRevB.101.165404] to a memory-tape model. We use the underlying network structure of the original model to design a set of bit interaction rules for the information ratchet. The new model is solved analytically in the limit of long interaction times. For finite-time interactions, semianalytical phase diagrams of operational modes are obtained. Stochastic simulations are used to verify theoretical results.

Colossal Power Extraction from Active Cyclic Brownian Information Engines

Brownian information engines can extract work from thermal fluctuations by utilizing information. To date, the studies on Brownian information engines consider the system in a thermal bath; however, many processes in nature occur in a nonequilibrium setting, such as the suspensions of self-propelled microorganisms or cellular environments called an active bath. Here, we introduce an archetypal model for a Maxwell-demon type cyclic Brownian information engine operating in a Gaussian correlated active bath capable of extracting more work than its thermal counterpart. We obtain a general integral fluctuation theorem for the active engine that includes additional mutual information gained from the active bath with a unique effective temperature. This effective description modifies the generalized second law and provides a new upper bound for the extracted work. Unlike the passive information engine operating in a thermal bath, the active information engine extracts colossal power that peaks at the finite cycle period. Our study provides fundamental insights into the design and functioning of synthetic and biological submicrometer motors in active baths under measurement and feedback control.

Quantum Fokker-Planck Master Equation for Continuous Feedback Control

Measurement and feedback control are essential features of quantum science, with applications ranging from quantum technology protocols to information-to-work conversion in quantum thermodynamics. Theoretical descriptions of feedback control are typically given in terms of stochastic equations requiring numerical solutions, or are limited to linear feedback protocols. Here we present a formalism for continuous quantum measurement and feedback, both linear and nonlinear. Our main result is a quantum Fokker-Planck master equation describing the joint dynamics of a quantum system and a detector with finite bandwidth. For fast measurements, we derive a Markovian master equation for the system alone, amenable to analytical treatment. We illustrate our formalism by investigating two basic information engines, one quantum and one classical.

Extractable quantum work from a two-mode Gaussian state in a noisy channel

We study a Szilard engine based on a Gaussian state of a system consisting of two bosonic modes placed in a noisy channel. As the initial state of the system is taken an entangled squeezed thermal state, and the quantum work is extracted by performing a measurement on one of the two modes. We use the Markovian Kossakowski-Lindblad master equation for describing the time evolution of the open system and the quantum work definition based on the second order Rényi entropy to simulate the engine. We also study the information-work efficiency of the Szilard engine as a function of the system parameters. The efficiency is defined as the ratio of the extractable work averaged over the measurement angle and the erasure work, which is proportional to the information stored in the system. We show that the extractable quantum work increases with the temperature of the reservoir and the squeezing between the modes, average numbers of thermal photons and frequencies of the modes. The work increases also with the strength of the measurement, attaining the maximal values in the case of a heterodyne detection. The extractable work is decreasing by increasing the squeezing parameter of the noisy channel and it oscillates with the phase of the squeezed thermal reservoir. The efficiency mostly has a similar behavior with the extractable quantum work evolution. However information-work efficiency decreases with temperature, while the quantity of the extractable work increases.

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.

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.

Information ratchet with time-varying temperature

We discuss a thermodynamic process with information and justify a general form of fluctuation relation. It shows that the fluctuation relation is valid whatever it is the temperature or Hamiltonian that drives the system out of equilibrium state. Based on the stochastic equation we obtain a nonequilibrium equality that involves both information and time-varying temperature. Through the processing of a harmonic system we demonstrate the validity of the equality by converting information into work. We also discuss the general second law of thermodynamics with time-varying temperature and verify its validity in an example by using information to reduce the total entropy.

Thermodynamic uncertainty relations including measurement and feedback

Thermodynamic uncertainty relations quantify how the signal-to-noise ratio of a given observable is constrained by dissipation. Fluctuation relations generalize the second law of thermodynamics to stochastic processes. We show that any fluctuation relation directly implies a thermodynamic uncertainty relation, considerably increasing their range of applicability. In particular, we extend thermodynamic uncertainty relations to scenarios which include measurement and feedback. Since feedback generally breaks time-reversal invariance, the uncertainty relations involve quantities averaged over the forward and the backward experiment defined by the associated fluctuation relation. This implies that the signal-to-noise ratio of a given experiment can in principle become arbitrarily large as long as the corresponding backward experiment compensates, e.g., by being sufficiently noisy. We illustrate our results with the Szilard engine as well as work extraction by free energy reduction in a quantum dot.