Quantum work and the thermodynamic cost of quantum measurements

Operational Work Fluctuation Theorem for Open Quantum Systems

The classical Jarzynski equality establishes an exact relation between the stochastic work performed on a system driven out of thermal equilibrium and the free energy difference in a corresponding quasistatic process. This fluctuation theorem bears experimental relevance, as it enables the determination of the free energy difference through the measurement of externally applied work in a nonequilibrium process. In the quantum case, the Jarzynski equality only holds if the measurement procedure of the stochastic work is drastically changed: it is replaced by a so-called two-point measurement scheme that requires the knowledge of the initial and final Hamiltonian and therefore lacks the predictive power for the free energy difference that the classical Jarzynski equation is known for. Here, we propose a quantum fluctuation theorem that is valid for externally measurable quantum work determined during the driving protocol. In contrast to the two-point measurement case, the theorem also applies to open quantum systems and the scenario can be realized without knowing the system Hamiltonian. Our fluctuation theorem comes in the form of an inequality and therefore only yields bounds to the true free energy difference. The inequality is saturated in the quasiclassical case of vanishing energy coherences at the beginning and at the end of the protocol. Thus, there is a clear quantum disadvantage.

Energy exchange statistics and fluctuation theorem for nonthermal asymptotic states

Energy exchange statistics between two bodies at different thermal equilibria obey the Jarzynski-Wójcik fluctuation theorem. The corresponding energy scale factor is the difference of the inverse temperatures associated to the bodies at equilibrium. In this work, we consider a dissipative quantum dynamics leading the quantum system towards a possibly nonthermal, asymptotic state. To generalize the Jarzynski-Wójcik theorem to nonthermal states, we identify a sufficient condition I for the existence of an energy scale factor η^{*} that is unique, finite, and time independent, such that the characteristic function of the energy exchange distribution becomes identically equal to 1 for any time. This η^{*} plays the role of the difference of inverse temperatures. We discuss the physical interpretation of the condition I, showing that it amounts to an almost complete memory loss of the initial state. The robustness of our results against quantifiable deviations from the validity of I is evaluated by experimental studies on a single nitrogen-vacancy center subjected to a sequence of laser pulses and dissipation.

Work fluctuation theorems with initial quantum coherence

Fluctuation theorems are fundamental results in nonequilibrium thermodynamics beyond the linear response regime. Among these, the paradigmatic Tasaki-Crooks fluctuation theorem relates the statistics of the works done in a forward out-of-equilibrium quantum process and in a corresponding backward one. In particular, the initial states of the two processes are thermal states and thus incoherent in the energy basis. Here we aim to investigate the role of initial quantum coherence in work fluctuation theorems, by considering a quasiprobability distribution of work. To do this, we formulate and examine the implications of a detailed fluctuation theorem, which reproduces the Tasaki-Crooks fluctuation theorem in the absence of initial quantum coherence.

Work and efficiency fluctuations in a quantum Otto cycle with idle levels

We study the performance of a quantum Otto heat engine with two spins coupled by a Heisenberg interaction, taking into account not only the mean values of work and efficiency but also their fluctuations. We first show that, for this system, the output work and its fluctuations are directly related to the magnetization and magnetic susceptibility of the system at equilibrium with either heat bath. We analyze the regions where the work extraction can be done with low relative fluctuation for a given range of temperatures, while still achieving an efficiency higher than that of a single spin system heat engine. In particular, we find that, due to the presence of "idle" levels, an increase in the interspin coupling can either increase or decrease fluctuations, depending on the other parameters. In all cases, however, we find that the relative fluctuations in work or efficiency remain large, implying that this microscopic engine is not very reliable as a source of work.

Limits on quantum measurement engines

A quantum measurement involves energy exchanges between the system to be measured and the measuring apparatus. Some of them involve energy losses, for example because energy is dissipated into the environment or is spent in recording the measurement outcome. Moreover, these processes take time. For this reason, these exchanges must be taken into account in the analysis of a quantum measurement engine, and set limits to its efficiency and power. We propose a quantum engine based on a spin 1/2 particle in a magnetic field and study its limitations due to the quantum nature of the evolution. The coupling with the electromagnetic vacuum is taken into account and plays the role of a measurement apparatus. We fully study its dynamics, work, power, and efficiency.

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.

Single-energy-measurement integral fluctuation theorem and nonprojective measurements

We study a Jarzysnki-type equality for work in systems that are monitored using nonprojective unsharp measurements. The information acquired by the observer from the outcome f of an energy measurement and the subsequent conditioned normalized state ρ[over ̂](t,f) evolved up to a final time t are used to define work, as the difference between the final expectation value of the energy and the result f of the measurement. The Jarzynski equality obtained depends on the coherences that the state develops during the process, the characteristics of the meter used to measure the energy, and the noise it induces into the system. We analyze those contributions in some detail to unveil their role. We show that in very particular cases, but not in general, the effect of such noise gives a factor multiplying the result that would be obtained if projective measurements were used instead of nonprojective ones. The unsharp character of the measurements used to monitor the energy of the system, which defines the resolution of the meter, leads to different scenarios of interest. In particular, if the distance between neighboring elements in the energy spectrum is much larger than the resolution of the meter, then a similar result to the projective measurement case is obtained, up to a multiplicative factor that depends on the meter. A more subtle situation arises in the opposite case in which measurements may be noninformative, i.e., they may not contribute to update the information about the system. In this case a correction to the relation obtained in the nonoverlapping case appears. We analyze the conditions in which such a correction becomes negligible. We also study the coherences, in terms of the relative entropy of coherence developed by the evolved post-measurement state. We illustrate the results by analyzing a two-level system monitored by a simple meter.

Energy dynamics, heat production and heat-work conversion with qubits: toward the development of quantum machines

We present an overview of recent advances in the study of energy dynamics and mechanisms for energy conversion in qubit systems with special focus on realizations in superconducting quantum circuits. We briefly introduce the relevant theoretical framework to analyze heat generation, energy transport and energy conversion in these systems with and without time-dependent driving considering the effect of equilibrium and non-equilibrium environments. We analyze specific problems and mechanisms under current investigation in the context of qubit systems. These include the problem of energy dissipation and possible routes for its control, energy pumping between driving sources and heat pumping between reservoirs, implementation of thermal machines and mechanisms for energy storage. We highlight the underlying fundamental phenomena related to geometrical and topological properties, as well as many-body correlations. We also present an overview of recent experimental activity in this field.

Most general class of quasiprobability distributions of work

How to give a statistical description of the thermodynamics in quantum systems is an open fundamental question. Concerning the work, the presence of initial quantum coherence in the energy basis can give rise to a quasiprobability of work, which can take negative values. Our aim is to identify the most general quasiprobability of work satisfying some fundamental conditions. By doing so, we introduce a general notion of quasiprobability in analogy to Gleason's theorem. Then, we use these quasiprobabilities to define the quasiprobability of work, and finally we discuss the contextuality of the protocol.

Joint measurability in nonequilibrium quantum thermodynamics

In this Letter we investigate the concept of quantum work and its measurability from the viewpoint of quantum measurement theory. Very often, quantum work and fluctuation theorems are discussed in the framework of projective two-point measurement (TPM) schemes. According to a well-known no-go theorem, there is no work observable which satisfies both (i) an average work condition and (ii) the TPM statistics for diagonal input states. Such projective measurements represent a restrictive class among all possible measurements. It is desirable, both from a theoretical and experimental point of view, to extend the scheme to the general case including suitably designed unsharp measurements. This shifts the focus to the question of what information about work and its fluctuations one is able to extract from such generalized measurements. We show that the no-go theorem no longer holds if the observables in a TPM scheme are jointly measurable for any intermediate unitary evolution. We explicitly construct a model with unsharp energy measurements and derive bounds for the visibility that ensure joint measurability. In such an unsharp scenario a single work measurement apparatus can be constructed that allows us to determine the correct average work and to obtain free energy differences with the help of a Jarzynski equality.

Energetic Cost of Measurements Using Quantum, Coherent, and Thermal Light

Quantum measurements are basic operations that play a critical role in the study and application of quantum information. We study how the use of quantum, coherent, and classical thermal states of light in a circuit quantum electrodynamics setup impacts the performance of quantum measurements, by comparing their respective measurement backaction and measurement signal to noise ratio per photon. In the strong dispersive limit, we find that thermal light is capable of performing quantum measurements with comparable efficiency to coherent light, both being outperformed by single-photon light. We then analyze the thermodynamic cost of each measurement scheme. We show that single-photon light shows an advantage in terms of energy cost per information gain, reaching the fundamental thermodynamic cost.

Class of quasiprobability distributions of work with initial quantum coherence

The work is a concept of fundamental importance in thermodynamics. An open question is how to describe the work fluctuation for quantum coherent processes in the presence of initial quantum coherence in the energy basis. With the aim of giving a unified description, here we introduce and study a class of quasiprobability distributions of work, which give an average work equal to the average energy change of the system and reduce to the two-projective-measurement scheme for an initial incoherent state. Moreover, we characterize the work with the help of fluctuation relations. In particular, by considering the joint distribution of work and initial quantum coherence, we find a fluctuation theorem involving quantum coherence, from which follows a second law of thermodynamics in the case of initial thermal populations.

Quantum-Classical Correspondence Principle for Heat Distribution in Quantum Brownian Motion

Quantum Brownian motion, described by the Caldeira-Leggett model, brings insights to the understanding of phenomena and essence of quantum thermodynamics, especially the quantum work and heat associated with their classical counterparts. By employing the phase-space formulation approach, we study the heat distribution of a relaxation process in the quantum Brownian motion model. The analytical result of the characteristic function of heat is obtained at any relaxation time with an arbitrary friction coefficient. By taking the classical limit, such a result approaches the heat distribution of the classical Brownian motion described by the Langevin equation, indicating the quantum-classical correspondence principle for heat distribution. We also demonstrate that the fluctuating heat at any relaxation time satisfies the exchange fluctuation theorem of heat and its long-time limit reflects the complete thermalization of the system. Our research study justifies the definition of the quantum fluctuating heat via two-point measurements.

Thermalization processes induced by quantum monitoring in multilevel systems

We study the heat statistics of a multilevel N-dimensional quantum system monitored by a sequence of projective measurements. The late-time, asymptotic properties of the heat characteristic function are analyzed in the thermodynamic limit of a high, ideally infinite, number M of measurements (M→∞). In this context, the conditions allowing for an infinite-temperature thermalization (ITT), induced by the repeated monitoring of the quantum system, are discussed. We show that ITT is identified by the fixed point of a symmetric random matrix that models the stochastic process originated by the sequence of measurements. Such fixed point is independent on the nonequilibrium evolution of the system and its initial state. Exceptions to ITT, which we refer to as partial thermalization, take place when the observable of the intermediate measurements is commuting (or quasicommuting) with the Hamiltonian of the quantum system or when the time interval between measurements is smaller or comparable with the system energy scale (quantum Zeno regime). Results on the limit of infinite-dimensional Hilbert spaces (N→∞), describing continuous systems with a discrete spectrum, are also presented. We show that the order of the limits M→∞ and N→∞ matters: When N is fixed and M diverges, then ITT occurs. In the opposite case, the system becomes classical, so that the measurements are no longer effective in changing the state of the system. A nontrivial result is obtained fixing M/N^{2} where instead partial ITT occurs. Finally, an example of partial thermalization applicable to rotating two-dimensional gases is presented.

Quantum and Classical Ergotropy from Relative Entropies

The quantum ergotropy quantifies the maximal amount of work that can be extracted from a quantum state without changing its entropy. Given that the ergotropy can be expressed as the difference of quantum and classical relative entropies of the quantum state with respect to the thermal state, we define the classical ergotropy, which quantifies how much work can be extracted from distributions that are inhomogeneous on the energy surfaces. A unified approach to treat both quantum as well as classical scenarios is provided by geometric quantum mechanics, for which we define the geometric relative entropy. The analysis is concluded with an application of the conceptual insight to conditional thermal states, and the correspondingly tightened maximum work theorem.

Quantum Foundations of Classical Reversible Computing

The reversible computation paradigm aims to provide a new foundation for general classical digital computing that is capable of circumventing the thermodynamic limits to the energy efficiency of the conventional, non-reversible digital paradigm. However, to date, the essential rationale for, and analysis of, classical reversible computing (RC) has not yet been expressed in terms that leverage the modern formal methods of non-equilibrium quantum thermodynamics (NEQT). In this paper, we begin developing an NEQT-based foundation for the physics of reversible computing. We use the framework of Gorini-Kossakowski-Sudarshan-Lindblad dynamics (a.k.a. Lindbladians) with multiple asymptotic states, incorporating recent results from resource theory, full counting statistics and stochastic thermodynamics. Important conclusions include that, as expected: (1) Landauer's Principle indeed sets a strict lower bound on entropy generation in traditional non-reversible architectures for deterministic computing machines when we account for the loss of correlations; and (2) implementations of the alternative reversible computation paradigm can potentially avoid such losses, and thereby circumvent the Landauer limit, potentially allowing the efficiency of future digital computing technologies to continue improving indefinitely. We also outline a research plan for identifying the fundamental minimum energy dissipation of reversible computing machines as a function of speed.

Quantum Jarzynski Equality in Open Quantum Systems from the One-Time Measurement Scheme

In open quantum systems, a clear distinction between work and heat is often challenging, and extending the quantum Jarzynski equality to systems evolving under general quantum channels beyond unitality remains an open problem in quantum thermodynamics. In this Letter, we introduce well-defined notions of guessed quantum heat and guessed quantum work, by exploiting the one-time measurement scheme, which only requires an initial energy measurement on the system alone. We derive a modified quantum Jarzynski equality and the principle of maximum work with respect to the guessed quantum work, which requires the knowledge of the system only. We further show the significance of guessed quantum heat and work by linking them to the problem of quantum hypothesis testing.

Heat and Work Along Individual Trajectories of a Quantum Bit

We use a near quantum limited detector to experimentally track individual quantum state trajectories of a driven qubit formed by the hybridization of a waveguide cavity and a transmon circuit. For each measured quantum coherent trajectory, we separately identify energy changes of the qubit as heat and work, and verify the first law of thermodynamics for an open quantum system. We further establish the consistency of these results by comparison with the master equation approach and the two-projective-measurement scheme, both for open and closed dynamics, with the help of a quantum feedback loop that compensates for the exchanged heat and effectively isolates the qubit.

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.

Thermodynamic Cost and Benefit of Memory

This Letter exposes a tight connection between the thermodynamic efficiency of information processing and predictive inference. A generalized lower bound on dissipation is derived for partially observable information engines which are allowed to use temperature differences. It is shown that the retention of irrelevant information limits efficiency. A data representation method is derived from optimizing a fundamental physical limit to information processing: minimizing the lower bound on dissipation leads to a compression method that maximally retains relevant, predictive, information. In that sense, predictive inference emerges as the strategy that least precludes energy efficiency.

Symmetry and its breaking in a path-integral approach to quantum Brownian motion

We study the Caldeira-Leggett model where a quantum Brownian particle interacts with an environment or a bath consisting of a collection of harmonic oscillators in the path-integral formalism. Compared to the contours that the paths take in the conventional Schwinger-Keldysh formalism, the paths in our study are deformed in the complex time plane as suggested by the recent study by C. Aron, G. Biroli, and L. F. Cugliandolo [SciPost Phys. 4, 008 (2018)10.21468/SciPostPhys.4.1.008]. This is done to investigate the connection between the symmetry properties in the Schwinger-Keldysh action and the equilibrium or nonequilibrium nature of the dynamics in an open quantum system. We derive the influence functional explicitly in this setting, which captures the effect of the coupling to the bath. We show that in equilibrium the action and the influence functional are invariant under a set of transformations of path-integral variables. The fluctuation-dissipation relation is obtained as a consequence of this symmetry. When the system is driven by an external time-dependent protocol, the symmetry is broken. From the terms that break the symmetry, we derive a quantum Jarzynski-like equality for a quantum mechanical worklike quantity given as a function of fluctuating quantum trajectory. In the classical limit, the transformations becomes those used in the functional integral formalism of the classical stochastic thermodynamics to derive the classical fluctuation theorem.

Operational approach to quantum stochastic thermodynamics

We set up a framework for quantum stochastic thermodynamics based solely on experimentally controllable but otherwise arbitrary interventions at discrete times. Using standard assumptions about the system-bath dynamics and insights from the repeated interaction framework, we define internal energy, heat, work, and entropy at the trajectory level. The validity of the first law (at the trajectory level) and the second law (on average) is established. The theory naturally allows one to treat incomplete information and it is able to smoothly interpolate between a trajectory-based and an ensemble level description. We use our theory to compute the thermodynamic efficiency of recent experiments reporting on the stabilization of photon number states using real-time quantum feedback control. Special attention is paid to limiting cases of our general theory, where we recover or contrast it with previous results. We point out various interesting problems, which the theory is able to address rigorously, such as the detection of quantum effects in thermodynamics.

Experimentally reducing the quantum measurement back action in work distributions by a collective measurement

In quantum thermodynamics, the standard approach to estimating work fluctuations in unitary processes is based on two projective measurements, one performed at the beginning of the process and one at the end. The first measurement destroys any initial coherence in the energy basis, thus preventing later interference effects. To decrease this back action, a scheme based on collective measurements has been proposed by Perarnau-Llobet et al. Here, we report its experimental implementation in an optical system. The experiment consists of a deterministic collective measurement on two identically prepared qubit states, encoded in the polarization and path degree of a single photon. The standard two-projective measurement approach is also experimentally realized for comparison. Our results show the potential of collective schemes to decrease the back action of projective measurements, and capture subtle effects arising from quantum coherence.

Quantum Measurement Cooling

Invasiveness of quantum measurements is a genuinely quantum mechanical feature that is not necessarily detrimental: Here we show how quantum measurements can be used to fuel a cooling engine. We illustrate quantum measurement cooling (QMC) by means of a prototypical two-stroke two-qubit engine which interacts with a measurement apparatus and two heat reservoirs at different temperatures. We show that feedback control is not necessary for operation while entanglement must be present in the measurement projectors. We quantify the probability that QMC occurs when the measurement basis is chosen randomly, and find that it can be very large as compared to the probability of extracting energy (heat engine operation), while remaining always smaller than the most useless operation, namely, dumping heat in both baths. These results show that QMC can be very robust to experimental noise. A possible low-temperature solid-state implementation that integrates circuit QED technology with circuit quantum thermodynamics technology is presented.

Quantum fluctuation theorem for error diagnostics in quantum annealers

Near term quantum hardware promises unprecedented computational advantage. Crucial in its development is the characterization and minimization of computational errors. We propose the use of the quantum fluctuation theorem to benchmark the accuracy of quantum annealers. This versatile tool provides simple means to determine whether the quantum dynamics are unital, unitary, and adiabatic, or whether the system is prone to thermal noise. Our proposal is experimentally tested on two generations of the D-Wave machine, which illustrates the sensitivity of the fluctuation theorem to the smallest aberrations from ideal annealing. In addition, for the optimally operating D-Wave machine, our experiment provides the first experimental verification of the integral fluctuation in an interacting, many-body quantum system.

Dynamics of a qubit while simultaneously monitoring its relaxation and dephasing

Decoherence originates from the leakage of quantum information into external degrees of freedom. For a qubit, the two main decoherence channels are relaxation and dephasing. Here, we report an experiment on a superconducting qubit where we retrieve part of the lost information in both of these channels. We demonstrate that raw averaging the corresponding measurement records provides a full quantum tomography of the qubit state where all three components of the effective spin-1/2 are simultaneously measured. From single realizations of the experiment, it is possible to infer the quantum trajectories followed by the qubit state conditioned on relaxation and/or dephasing channels. The incompatibility between these quantum measurements of the qubit leads to observable consequences in the statistics of quantum states. The high level of controllability of superconducting circuits enables us to explore many regimes from the Zeno effect to underdamped Rabi oscillations depending on the relative strengths of driving, dephasing, and relaxation.

Information leaked by a quantum system into its environment causes decoherence but if it is recorded then it can be used to infer the quantum state. Ficheux et al. monitor the relaxation and dephasing of a qubit and show that this allows all three components of the qubit to be probed simultaneously.

Emergence of a fluctuation relation for heat in nonequilibrium Landauer processes

In a generalized framework for the Landauer erasure protocol, we study bounds on the heat dissipated in typical nonequilibrium quantum processes. In contrast to thermodynamic processes, quantum fluctuations are not suppressed in the nonequilibrium regime and cannot be ignored, making such processes difficult to understand and treat. Here we derive an emergent fluctuation relation that virtually guarantees the average heat produced to be dissipated into the reservoir either when the system or reservoir is large (or both) or when the temperature is high. The implication of our result is that for nonequilibrium processes, heat fluctuations away from its average value are suppressed independently of the underlying dynamics exponentially quickly in the dimension of the larger subsystem and linearly in the inverse temperature. We achieve these results by generalizing a concentration of measure relation for subsystem states to the case where the global state is mixed.

Trade-Off Between Speed and Cost in Shortcuts to Adiabaticity

Achieving effectively adiabatic dynamics is a ubiquitous goal in almost all areas of quantum physics. Here, we study the speed with which a quantum system can be driven when employing transitionless quantum driving. As a main result, we establish a rigorous link between this speed, the quantum speed limit, and the (energetic) cost of implementing such a shortcut to adiabaticity. Interestingly, this link elucidates a trade-off between speed and cost, namely, that instantaneous manipulation is impossible as it requires an infinite cost. These findings are illustrated for two experimentally relevant systems-the parametric oscillator and the Landau-Zener model-which reveal that the spectral gap governs the quantum speed limit as well as the cost for realizing the shortcut.

Einstein-Podolsky-Rosen paradox implies a minimum achievable temperature

This work examines the thermodynamic consequences of the repeated partial projection model for coupling a quantum system to an arbitrary series of environments under feedback control. This paper provides observational definitions of heat and work that can be realized in current laboratory setups. In contrast to other definitions, it uses only properties of the environment and the measurement outcomes, avoiding references to the "measurement" of the central system's state in any basis. These definitions are consistent with the usual laws of thermodynamics at all temperatures, while never requiring complete projective measurement of the entire system. It is shown that the back action of measurement must be counted as work rather than heat to satisfy the second law. Comparisons are made to quantum jump (unravelling) and transition-probability based definitions, many of which appear as particular limits of the present model. These limits show that our total entropy production is a lower bound on traditional definitions of heat that trace out the measurement device. Examining the master equation approximation to the process at finite measurement rates, we show that most interactions with the environment make the system unable to reach absolute zero. We give an explicit formula for the minimum temperature achievable in repeatedly measured quantum systems. The phenomenon of minimum temperature offers an explanation of recent experiments aimed at testing fluctuation theorems in the quantum realm and places a fundamental purity limit on quantum computers.