Information Gain and Loss for a Quantum Maxwell's Demon

Transport and Nonreciprocity in Monitored Quantum Devices: An Exact Study

We study noninteracting fermionic systems undergoing continuous monitoring and driven by biased reservoirs. Averaging over the measurement outcomes, we derive exact formulas for the particle and heat flows in the system. We show that these currents feature competing elastic and inelastic components, which depend nontrivially on the monitoring strength γ. We highlight that monitor-induced inelastic processes lead to nonreciprocal currents, allowing one to extract work from measurements without active feedback control. We illustrate our formalism with two distinct monitoring schemes providing measurement-induced power or cooling. Optimal performances are found for values of the monitoring strength γ, which are hard to address with perturbative approaches.

Information engine with feedback delay based on a two-level system

An information engine based on a two-level system in contact with a thermal reservoir is studied analytically. The model incorporates delay time between the measurement of the state of the system and the feedback. The engine efficiency and work extracted per cycle are studied as a function of delay time and energy spacing between the two levels. It is found that the range of delay time over which one can extract work from the information engine increases with temperature. For delay times comparable to the relaxation time, efficiency and work per cycle are maxima when k_{B}T≈2U_{0}, the energy difference between the levels. The generalized Jarzynski equality and the generalized integral fluctuation theorem are explicitly verified for the model. The results from the model are compared with the simulation results for a feedback engine based on a particle moving in a one-dimensional square potential. The variation of efficiency, work per cycle, and efficacy with the delay time is compared using relaxation time in the two-level model as the fitting parameter, leading to a good fit.

Thermodynamic bound on quantum state discrimination

We show that the second law of thermodynamics poses a restriction on how well we can discriminate between quantum states. By examining an ideal gas with a quantum internal degree of freedom undergoing a cycle based on a proposal by Peres, we establish a nontrivial upper bound on the attainable accuracy of quantum state discrimination. This thermodynamic bound, which relies solely on the linearity of quantum mechanics and the constraint of no work extraction, matches Holevo's bound on accessible information, but is looser than the Holevo-Helstrom bound. The result gives more evidence on the disagreement between thermodynamic entropy and von Neumann entropy and places potential limitations on proposals beyond quantum mechanics.

Experimental Test of the Jarzynski Equality in a Single Spin-1 System Using High-Fidelity Single-Shot Readouts

The Jarzynski equality (JE), which connects the equilibrium free energy with nonequilibrium work statistics, plays a crucial role in quantum thermodynamics. Although practical quantum systems are usually multilevel systems, most tests of the JE were executed in two-level systems. A rigorous test of the JE by directly measuring the work distribution of a physical process in a high-dimensional quantum system remains elusive. Here, we report an experimental test of the JE in a single spin-1 system. We realized nondemolition projective measurement of this three-level system via cascading high-fidelity single-shot readouts and directly measured the work distribution utilizing the two-point measurement protocol. The validity of the JE was verified from the nonadiabatic to adiabatic zone and under different effective temperatures. Our work puts the JE on a solid experimental foundation and makes the nitrogen-vacancy (NV) center system a mature toolbox to perform advanced experiments of stochastic quantum thermodynamics.

A chemical reaction network implementation of a Maxwell demon

We study an autonomous model of a Maxwell demon that works by rectifying thermal fluctuations of chemical reactions. It constitutes the chemical analog of a recently studied electronic demon. We characterize its scaling behavior in the macroscopic limit, its performances, and the impact of potential internal delays. We obtain analytical expressions for all quantities of interest: the generated reverse chemical current, the output power, the transduction efficiency, and correlation between the number of molecules. Due to a bound on the nonequilibrium response of its chemical reaction network, we find that, contrary to the electronic case, there is no way for the Maxwell demon to generate a finite output in the macroscopic limit. Finally, we analyze the information thermodynamics of the Maxwell demon from a bipartite perspective. In the limit of a fast demon, the information flow is obtained, its pattern in the state space is discussed, and the behavior of partial efficiencies related to the measurement and feedback processes is examined.

A Wigner Quasiprobability Distribution of Work

In this article, we introduce a quasiprobability distribution of work that is based on the Wigner function. This proposal rests on the idea that the work conducted on an isolated system can be coherently measured by coupling the system to a quantum measurement apparatus. In this way, a quasiprobability distribution of work can be defined in terms of the Wigner function of the apparatus. This quasidistribution contains the information of the work statistics and also holds a clear operational definition that can be directly measured in a real experiment. Moreover, it is shown that the presence of quantum coherence in the energy eigenbasis is related with the appearance of features related to non-classicality in the Wigner function such as negativity and interference fringes. On the other hand, from this quasiprobability distribution, it is straightforward to obtain the standard two-point measurement probability distribution of work and also the difference in average energy for initial states with coherences.

Efficiency at Maximum Power of a Carnot Quantum Information Engine

Optimizing the performance of thermal machines is an essential task of thermodynamics. We here consider the optimization of information engines that convert information about the state of a system into work. We concretely introduce a generalized finite-time Carnot cycle for a quantum information engine and optimize its power output in the regime of low dissipation. We derive a general formula for its efficiency at maximum power valid for arbitrary working media. We further investigate the optimal performance of a qubit information engine subjected to weak energy measurements.

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.

Information flows in macroscopic Maxwell's demons

A CMOS-based implementation of an autonomous Maxwell's demon was recently proposed [Phys. Rev. Lett. 129, 120602 (2022)0031-900710.1103/PhysRevLett.129.120602] to demonstrate that a Maxwell demon can still work at macroscopic scales, provided that its power supply is scaled appropriately. Here we first provide a full analytical characterization of the nonautonomous version of that model. We then study system-demon information flows within generic autonomous bipartite setups displaying a macroscopic limit. By doing so, we can study the thermodynamic efficiency of both the measurement and the feedback process performed by the demon. We find that the information flow is an intensive quantity and that, as a consequence, any Maxwell's demon is bound to stop working above a finite scale if all parameters but the scale are fixed. However, this can be prevented by appropriately scaling the thermodynamic forces. These general results are applied to the autonomous CMOS-based demon.

Driven particle in a one-dimensional periodic potential with feedback control: Efficiency and power optimization

A Brownian particle moving in a staircaselike potential with feedback control offers a way to implement Maxwell's demon. An experimental demonstration of such a system using sinusoidal periodic potential carried out by Toyabe et al. [Nat. Phys. 6, 988 (2010)1745-247310.1038/nphys1821] has shown that information about the particle's position can be converted to useful work. In this paper, we carry out a numerical study of a similar system using Brownian dynamics simulation. A Brownian particle moving in a periodic potential under the action of a constant driving force is made to move against the drive by measuring the position of the particle and effecting feedback control by altering potential. The work is extracted during the potential change and from the movement of the particle against the external drive. These work extractions come at the cost of information gathered during the measurement. Efficiency and work extracted per cycle of this information engine are optimized by varying control parameters as well as feedback protocols. Both these quantities are found to crucially depend on the amplitude of the periodic potential as well as the width of the region over which the particle is searched for during the measurement phase. For the case when potential flip (i.e., changing the phase of the potential by 180^{∘}) is used as the feedback mechanism, we argue that the square potential offers a more efficient information-to-work conversion. The control over the numerical parameters and averaging over large number of trial runs allow one to study the nonequilibrium work relations with feedback for this process with precision. It is seen that the generalized integral fluctuation theorem for error-free measurements holds to within the accuracy of the simulation.

Maxwell Demon that Can Work at Macroscopic Scales

Maxwell's demons work by rectifying thermal fluctuations. They are not expected to function at macroscopic scales where fluctuations become negligible and dynamics become deterministic. We propose an electronic implementation of an autonomous Maxwell's demon that indeed stops working in the regular macroscopic limit as the dynamics becomes deterministic. However, we find that if the power supplied to the demon is scaled up appropriately, the deterministic limit is avoided and the demon continues to work. The price to pay is a decreasing thermodynamic efficiency. Our Letter suggests that novel strategies may be found in nonequilibrium settings to bring to the macroscale nontrivial effects so far only observed at microscopic scales.

Dark-state-induced heat rectification

Heat and noise control is essential for the continued development of quantum technologies. For this purpose, a particularly powerful tool is the heat rectifier, which allows for heat transport in one configuration of two baths but not the reverse. Here we propose a class of rectifiers that exploits the unidirectionality of a low temperature bath to force the system into a dark state, thus blocking heat transport in one configuration of the two baths. However, if the two baths are switched around, a heat current is observed. An implementation using a qutrit coupled to two harmonic oscillators is proposed and rectification values beyond 10^{3} are achieved for realistic parameter values. Furthermore, we show that the heat current can be amplified by an order of magnitude through external driving without diminishing the diode functionality. The heat rectification effect is seen for a large range of parameters and it is robust towards both decay and dephasing.

Key for a Hidden Quantum State

Quantum trajectories are crucial to understanding the evolution of open systems. We consider an open cavity mode undergoing up and down multistate quantum jumps due to the emission and absorption of photons. We prove that among all subtrajectories, starting simultaneously from different photon number states, only one survives a long single-run evolution. A random Fock state terminating the subtrajectory becomes known for the ergodic case via the key-the processed record of the input and output photocounts, and the trajectory duration. Based on this result, we propose a robust protocol to infer the Fock state, a valuable resource for quantum applications.

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.

Necessity of feedback control for the quantum Maxwell demon in a finite-time steady feedback cycle

We revisit quantum Maxwell demon in thermodynamic feedback cycle in the steady-state regime. We derive a generalized version of the Clausius inequality for a finite-time steady feedback cycle with a single heat bath. It is shown to be tighter than previously known ones, and allows us to clarify that feedback control is necessary to violate the standard Clausius inequality.

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.

Quantum Fluctuation Theorem under Quantum Jumps with Continuous Measurement and Feedback

While the fluctuation theorem in classical systems has been thoroughly generalized under various feedback control setups, an intriguing situation in quantum systems, namely under continuous feedback, remains to be investigated. In this work, we derive the generalized fluctuation theorem under quantum jumps with continuous measurement and feedback. The essence for the derivation is to newly introduce the operationally meaningful information, which we call quantum-classical-transfer (QC-transfer) entropy. QC-transfer entropy can be naturally interpreted as the quantum counterpart of transfer entropy that is commonly used in classical time series analysis. We also verify our theoretical results by numerical simulation and propose an experiment-numerics hybrid verification method. Our work reveals a fundamental connection between quantum thermodynamics and quantum information, which can be experimentally tested with artificial quantum systems such as circuit quantum electrodynamics.

Quantum Maxwell's demon assisted by non-Markovian effects

Maxwell's demon is the quintessential example of information control, which is necessary for designing quantum devices. In thermodynamics, the demon is an intelligent being who utilizes the entropic nature of information to sort excitations between reservoirs, thus lowering the total entropy. So far, implementations of Maxwell's demon have largely been limited to Markovian baths. In our work, we study the degree to which such a demon may be assisted by non-Markovian effects using a superconducting circuit platform. The setup is two baths connected by a demon-controlled qutrit interface, allowing the transfer of excitations only if the overall entropy of the two baths is lowered. The largest entropy reduction is achieved in a non-Markovian regime and, importantly, due to non-Markovian effects, the demon performance can be optimized through proper timing. Our results demonstrate that non-Markovian effects can be exploited to boost the information transfer rate in quantum Maxwell demons.

Efficiently fueling a quantum engine with incompatible measurements

We propose a quantum harmonic oscillator measurement engine fueled by simultaneous quantum measurements of the noncommuting position and momentum quadratures of the quantum oscillator. The engine extracts work by moving the harmonic trap suddenly, conditioned on the measurement outcomes. We present two protocols for work extraction, respectively based on single-shot and time-continuous quantum measurements. In the single-shot limit, the oscillator is measured in a coherent state basis; the measurement adds an average of one quantum of energy to the oscillator, which is then extracted in the feedback step. In the time-continuous limit, continuous weak quantum measurements of both position and momentum of the quantum oscillator result in a coherent state, whose coordinates diffuse in time. We relate the extractable work to the noise added by quadrature measurements, and present exact results for the work distribution at arbitrary finite time. Both protocols can achieve unit work conversion efficiency in principle.

Detecting Heat Leaks with Trapped Ion Qubits

The concept of passivity has been conceived to set bounds on the evolution of microscopic systems initialized in thermal states. We experimentally demonstrate the utility of two frameworks, global passivity and passivity deformation, for the detection of coupling to a hidden environment. We employ a trapped-ion quantum processor, where system qubits undergoing unitary evolution may optionally be coupled to an unobserved environment qubit, resulting in a heat leak. Evaluating the measurement data from the system qubits only, we show that global passivity can verify the presence of a heat leak, which is not detectable by a microscopic equivalent of the second law of thermodynamics. Furthermore, we experimentally show that passivity deformation allows for even more sensitive detection of heat leaks, as compared to global passivity, and detect a heat leak with an error margin of 5.3 standard deviations, in a scenario where other tests fail.

Quantum Euler Relation for Local Measurements

In classical thermodynamics the Euler relation is an expression for the internal energy as a sum of the products of canonical pairs of extensive and intensive variables. For quantum systems the situation is more intricate, since one has to account for the effects of the measurement back action. To this end, we derive a quantum analog of the Euler relation, which is governed by the information retrieved by local quantum measurements. The validity of the relation is demonstrated for the collective dissipation model, where we find that thermodynamic behavior is exhibited in the weak-coupling regime.

Thermodynamics of memory erasure via a spin reservoir

Thermodynamics with multiple conserved quantities offers a promising direction for designing novel devices. For example, Vaccaro and Barnett's [J. A. Vaccaro and S. M. Barnett, Proc. R. Soc. A 467, 1770 (2011)1364-502110.1098/rspa.2010.0577; S. M. Barnett and J. A. Vaccaro, Entropy 15, 4956 (2013)ENTRFG1099-430010.3390/e15114956] proposed information erasure scheme, where the cost of erasure is solely in terms of a conserved quantity other than energy, allows for new kinds of heat engines. In recent work, we studied the discrete fluctuations and average bounds of the erasure cost in spin angular momentum. Here we clarify the costs in terms of the spin equivalent of work, called spinlabor, and the spin equivalent of heat, called spintherm. We show that the previously found bound on the erasure cost of γ^{-1}ln2 can be violated by the spinlabor cost, and only applies to the spintherm cost. We obtain three bounds for spinlabor for different erasure protocols and determine the one that provides the tightest bound. For completeness, we derive a generalized Jarzynski equality and probability of violation which shows that for particular protocols the probability of violation can be surprisingly large. We also derive an integral fluctuation theorem and use it to analyze the cost of information erasure using a spin reservoir.

The Rabi problem with elliptical polarization

We consider the solution of the equation of motion of a classical/quantum spin subject to a monochromatical, elliptically polarized external field. The classical Rabi problem can be reduced to third-order differential equations with polynomial coefficients and hence solved in terms of power series in close analogy to the confluent Heun equation occurring for linear polarization. Application of Floquet theory yields physically interesting quantities like the quasienergy as a function of the problem’s parameters and expressions for the Bloch–Siegert shift of resonance frequencies. Various limit cases are thoroughly investigated.

Experimental Assessment of Entropy Production in a Continuously Measured Mechanical Resonator

The information on a quantum process acquired through measurements plays a crucial role in the determination of its nonequilibrium thermodynamic properties. We report on the experimental inference of the stochastic entropy production rate for a continuously monitored mesoscopic quantum system. We consider an optomechanical system subjected to continuous displacement Gaussian measurements and characterize the entropy production rate of the individual trajectories followed by the system in its stochastic dynamics, employing a phase-space description in terms of the Wigner entropy. Owing to the specific regime of our experiment, we are able to single out the informational contribution to the entropy production arising from conditioning the state on the measurement outcomes. Our experiment embodies a significant step towards the demonstration of full-scale control of fundamental thermodynamic processes at the mesoscopic quantum scale.

The Energetic Cost of Work Extraction

We analyze work extraction from a qubit into a waveguide (WG) acting as a battery, where work is the coherent component of the energy radiated by the qubit. The process is stimulated by a wave packet whose mean photon number (the battery's charge) can be adjusted. We show that the extracted work is bounded by the qubit's ergotropy, and that the bound is saturated for a large enough battery's charge. If this charge is small, work can still be extracted. Its amount is controlled by the quantum coherence initially injected in the qubit's state, that appears as a key parameter when energetic resources are limited. This new and autonomous scenario for the study of quantum batteries can be implemented with state-of-the-art artificial qubits coupled to WGs.

Landauer's Principle in a Quantum Szilard Engine without Maxwell's Demon

Quantum Szilard engine constitutes an adequate interplay of thermodynamics, information theory and quantum mechanics. Szilard engines are in general operated by a Maxwell’s Demon where Landauer’s principle resolves the apparent paradoxes. Here we propose a Szilard engine setup without featuring an explicit Maxwell’s demon. In a demonless Szilard engine, the acquisition of which-side information is not required, but the erasure and related heat dissipation still take place implicitly. We explore a quantum Szilard engine considering quantum size effects. We see that insertion of the partition does not localize the particle to one side, instead creating a superposition state of the particle being in both sides. To be able to extract work from the system, particle has to be localized at one side. The localization occurs as a result of quantum measurement on the particle, which shows the importance of the measurement process regardless of whether one uses the acquired information or not. In accordance with Landauer’s principle, localization by quantum measurement corresponds to a logically irreversible operation and for this reason it must be accompanied by the corresponding heat dissipation. This shows the validity of Landauer’s principle even in quantum Szilard engines without Maxwell’s demon.

Fluctuation theorem in cavity quantum electrodynamics systems

We derive an integral fluctuation theorem (FT) in a general setup of cavity quantum electrodynamics systems. In the derivation, a key difficulty lies in a diverging behavior of entropy change arising from the zero-temperature limit of an external bath, which is required to describe the cavity loss. We solve this difficulty from the viewpoint of absolute irreversibility and find that two types of absolute irreversibility contribute to the integral FT. Furthermore, we show that, in a stationary and small cavity-loss condition, these contributions have simple relationships to the average number of photons emitted out of the cavity, and the integral FT yields an approximate form independent of the setup details. We illustrate the general results with a numerical simulation in a model of quantum heat engine.

Feedback-Induced Quantum Phase Transitions Using Weak Measurements

We show that applying feedback and weak measurements to a quantum system induces phase transitions beyond the dissipative ones. Feedback enables controlling essentially quantum properties of the transition, i.e., its critical exponent, as it is driven by the fundamental quantum fluctuations due to measurement. Feedback provides the non-Markovianity and nonlinearity to the hybrid quantum-classical system, and enables simulating effects similar to spin-bath problems and Floquet time crystals with tunable long-range (long-memory) interactions.

Efficiency of a cyclic quantum heat engine with finite-size baths

In this paper we investigate the relationship between the efficiency of a cyclic quantum heat engine with the Hilbert space dimension of the thermal baths. By means of a general inequality, we show that the Carnot efficiency can be obtained only when both the hot and cold baths are infinitely large. By further introducing a specific model where the baths are constituted of ensembles of finite-dimensional particles, we further demonstrate the relationship between the engine's power and efficiency, with the dimension of the working substance and the bath particles.

Optimal Probabilistic Work Extraction beyond the Free Energy Difference with a Single-Electron Device

We experimentally realize protocols that allow us to extract work beyond the free energy difference from a single-electron transistor at the single thermodynamic trajectory level. With two carefully designed out-of-equilibrium driving cycles featuring kicks of the control parameter, we demonstrate work extraction up to large fractions of k_{B}T or with probabilities substantially greater than 1/2, despite the zero free energy difference over the cycle. Our results are explained in the framework of nonequilibrium fluctuation relations. We thus show that irreversibility can be used as a resource for optimal work extraction even in the absence of feedback from an external operator.

Symmetry Constrained Decoherence of Conditional Expectation Values

Conditional expectation values of quantum mechanical observables reflect unique non-classical correlations, and are generally sensitive to decoherence. We consider the circumstances under which such sensitivity to decoherence is removed, namely, when the measurement process is subjected to conservation laws. Specifically, we address systems with additive conserved quantities and identify sufficient conditions for the system state such that its coherence plays no role in the conditional expectation values of observables that commute with the conserved quantity. We discuss our findings for a specific model where the system-detector coupling is given by the Jaynes-Cummings interaction, which is relevant to experiments tracking trajectories of qubits in cavities. Our results clarify, among others, the role of coherence in thermal measurements in current architectures for quantum thermodynamics experiments.

Detailed Fluctuation Relation for Arbitrary Measurement and Feedback Schemes

Fluctuation relations are powerful equalities that hold far from equilibrium. However, the standard approach to include measurement and feedback schemes may become inapplicable in certain situations, including continuous measurements, precise measurements of continuous variables, and feedback induced irreversibility. Here we overcome these shortcomings by providing a recipe for producing detailed fluctuation relations. Based on this recipe, we derive a fluctuation relation which holds for arbitrary measurement and feedback control. The key insight is that fluctuations inferable from the measurement outcomes may be suppressed by postselection. Our detailed fluctuation relation results in a stringent and experimentally accessible inequality on the extractable work, which is saturated when the full entropy production is inferable from the data.