Quantum fluctuation theorems and generalized measurements during the force protocol

Quantum Fluctuation Theorem for Arbitrary Measurement and Feedback Schemes

Fluctuation theorems and the second law of thermodynamics are powerful relations constraining the behavior of out-of-equilibrium systems. While there exist generalizations of these relations to feedback controlled quantum systems, their applicability is limited, in particular when considering strong and continuous measurements. In this Letter, we overcome this shortcoming by deriving a novel fluctuation theorem, and the associated second law of information thermodynamics, which remain applicable in arbitrary feedback control scenarios. In our second law, the entropy production is bounded by the coarse-grained entropy production that is inferrable from the measurement outcomes, an experimentally accessible quantity that does not diverge even under strong continuous measurements. We illustrate our results by a qubit undergoing discrete and continuous measurement, where our approach provides a useful bound on the entropy production for all measurement strengths.

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.

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-Heat Fluctuation Relations in Three-Level Systems Under Projective Measurements

We study the statistics of energy fluctuations in a three-level quantum system subject to a sequence of projective quantum measurements. We check that, as expected, the quantum Jarzynski equality holds provided that the initial state is thermal. The latter condition is trivially satisfied for two-level systems, while this is generally no longer true for N-level systems, with N > 2 . Focusing on three-level systems, we discuss the occurrence of a unique energy scale factor β eff that formally plays the role of an effective inverse temperature in the Jarzynski equality. To this aim, we introduce a suitable parametrization of the initial state in terms of a thermal and a non-thermal component. We determine the value of β eff for a large number of measurements and study its dependence on the initial state. Our predictions could be checked experimentally in quantum optics.

Correspondence between light-absorption spectrum and nonequilibrium work distribution as a mean to access free energy differences between electronic states

The problem of recovering the free energy difference between two electronic states has been investigated by Frezzato [Chem. Phys. Lett. 533, 106 (2012)], exploring the equivalence between light-absorption spectra and work distribution, hence opening to the application of a spectroscopic version of the Jarzynski equality (JE) [Phys. Rev. Lett. 78, 2690 (1997)]. Here, assuming the validity of the time-dependent perturbation theory, we demonstrate that such equivalence does not lead to the known form of the JE. This is ascribed to the fact that light-absorption processes cannot be described as stochastic processes. To emphasize such an aspect, we devise a stochastic model for the UV-vis (ultraviolet and visible) absorption, suitable for determining the free energy difference between two generic quantum manifolds in a JE-like fashion. However, the model would require explicit knowledge of the transition dipole moments, which are in general not available. Nonetheless, we derive a spectroscopic version of the JE that allows us to recover the free energy difference between the ground and an excited electronic state when the latter state is the only one observed in the spectrum.

Quantum work fluctuations in connection with the Jarzynski equality

A result of great theoretical and experimental interest, the Jarzynski equality predicts a free energy change ΔF of a system at inverse temperature β from an ensemble average of nonequilibrium exponential work, i.e., 〈e^{-βW}〉=e^{-βΔF}. The number of experimental work values needed to reach a given accuracy of ΔF is determined by the variance of e^{-βW}, denoted var(e^{-βW}). We discover in this work that var(e^{-βW}) in both harmonic and anharmonic Hamiltonian systems can systematically diverge in nonadiabatic work protocols, even when the adiabatic protocols do not suffer from such divergence. This divergence may be regarded as a type of dynamically induced phase transition in work fluctuations. For a quantum harmonic oscillator with time-dependent trapping frequency as a working example, any nonadiabatic work protocol is found to yield a diverging var(e^{-βW}) at sufficiently low temperatures, markedly different from the classical behavior. The divergence of var(e^{-βW}) indicates the too-far-from-equilibrium nature of a nonadiabatic work protocol and makes it compulsory to apply designed control fields to suppress the quantum work fluctuations in order to test the Jarzynski equality.

Single-temperature quantum engine without feedback control

A cyclically working quantum-mechanical engine that operates at a single temperature is proposed. Its energy input is delivered by a quantum measurement. The functioning of the engine does not require any feedback control. We analyze work, heat, and the efficiency of the engine for the case of a working substance that is governed by the laws of quantum mechanics and that can be adiabatically compressed and expanded. The obtained general expressions are exemplified for a spin in an adiabatically changing magnetic field and a particle moving in a potential with slowly changing shape.

Calorimetric measurement of work for a driven harmonic oscillator

A calorimetric measurement has recently been proposed as a promising technique to measure thermodynamic quantities in a dissipative superconducting qubit. These measurements rely on the fact that the system is projected into energy eigenstates whenever energy is exchanged with the environment. This requirement imposes a restriction on the class of systems that can be measured in this way. Here we extend the calorimetric protocol to the measurement of work in a driven quantum harmonic oscillator. We employ a scheme based on a two-level approximation that makes use of an experimentally accessible quantity and show how it relates to the work obtained through the standard two-measurement protocol. We find that the average work is well approximated in the underdamped regime for short driving times and, in the overdamped regime, for any driving time. However, this approximation fails for the variance and higher moments of work at finite temperatures. Furthermore, we show how to relate the work statistics obtained through this scheme to the work statistics given by the two-measurement protocol.

Comparison between quantum jumps and master equation in the presence of a finite environment

We study the equivalence between the recently proposed finite environment quantum jump model and a master equation approach. We derive microscopically the master equation for a qubit coupled to a finite bosonic environment and show that the master equation is equivalent to the finite environment quantum jump model. We analytically show that both the methods produce the same moments of work when the work is defined through the two-measurement protocol excluding the interaction energy. However, when compared to the work moments computed using the power operator approach, we find a difference in the form of the work moments. To numerically verify our results, we study a qubit coupled to an environment consisting of ten two-level systems.

Bayesian second law of thermodynamics

We derive a generalization of the second law of thermodynamics that uses Bayesian updates to explicitly incorporate the effects of a measurement of a system at some point in its evolution. By allowing an experimenter's knowledge to be updated by the measurement process, this formulation resolves a tension between the fact that the entropy of a statistical system can sometimes fluctuate downward and the information-theoretic idea that knowledge of a stochastically evolving system degrades over time. The Bayesian second law can be written as ΔH(ρ_{m},ρ)+〈Q〉_{F|m}≥0, where ΔH(ρ_{m},ρ) is the change in the cross entropy between the original phase-space probability distribution ρ and the measurement-updated distribution ρ_{m} and 〈Q〉_{F|m} is the expectation value of a generalized heat flow out of the system. We also derive refined versions of the second law that bound the entropy increase from below by a non-negative number, as well as Bayesian versions of integral fluctuation theorems. We demonstrate the formalism using simple analytical and numerical examples.

Quantum jump model for a system with a finite-size environment

Measuring the thermodynamic properties of open quantum systems poses a major challenge. A calorimetric detection has been proposed as a feasible experimental scheme to measure work and fluctuation relations in open quantum systems. However, the detection requires a finite size for the environment, which influences the system dynamics. This process cannot be modeled with the standard stochastic approaches. We develop a quantum jump model suitable for systems coupled to a finite-size environment. We use the method to study the common fluctuation relations and prove that they are satisfied.

Aspects of quantum work

Various approaches of defining and determining work performed on a quantum system are compared. Any operational definition of work, however, must allow for two facts: first, that work characterizes a process rather than an instantaneous state of a system and, second, that quantum systems are sensitive to the interactions with a measurement apparatus. We compare different measurement scenarios on the basis of the resulting postmeasurement states and the according probabilities for finding a particular work value. In particular, we analyze a recently proposed work meter for the case of a Gaussian pointer state and compare it with the results obtained by two projective and, alternatively, two Gaussian measurements. In the limit of a strong effective measurement strength the work distribution of projective two energy measurements can be recovered. In the opposite limit the average of work becomes independent of any measurement. Yet the fluctuations about this value diverge. The performance of the work meter is illustrated by the example of a spin in a suddenly changing magnetic field.

Nonequilibrium potential and fluctuation theorems for quantum maps

We derive a general fluctuation theorem for quantum maps. The theorem applies to a broad class of quantum dynamics, such as unitary evolution, decoherence, thermalization, and other types of evolution for quantum open systems. The theorem reproduces well-known fluctuation theorems in a single and simplified framework and extends the Hatano-Sasa theorem to quantum nonequilibrium processes. Moreover, it helps to elucidate the physical nature of the environment that induces a given dynamics in an open quantum system.

Fluctuations of work in nearly adiabatically driven open quantum systems

We extend the quantum jump method to nearly adiabatically driven open quantum systems in a way that allows for an accurate account of the external driving in the system-environment interaction. Using this framework, we construct the corresponding trajectory-dependent work performed on the system and derive the integral fluctuation theorem and the Jarzynski equality for nearly adiabatic driving. We show that such identities hold as long as the stochastic dynamics and work variable are consistently defined. We numerically study the emerging work statistics for a two-level quantum system and find that the conventional diabatic approximation is unable to capture some prominent features arising from driving, such as the continuity of the probability density of work. Our results reveal the necessity of using accurate expressions for the drive-dressed heat exchange in future experiments probing jump time distributions.

Work measurement as a generalized quantum measurement

We present a new method to measure the work w performed on a driven quantum system and to sample its probability distribution P(w). The method is based on a simple fact that remained unnoticed until now: Work on a quantum system can be measured by performing a generalized quantum measurement at a single time. Such measurement, which technically speaking is denoted as a positive operator valued measure reduces to an ordinary projective measurement on an enlarged system. This observation not only demystifies work measurement but also suggests a new quantum algorithm to efficiently sample the distribution P(w). This can be used, in combination with fluctuation theorems, to estimate free energies of quantum states on a quantum computer.

Generalized energy measurements and modified transient quantum fluctuation theorems

Determining the work which is supplied to a system by an external agent provides a crucial step in any experimental realization of transient fluctuation relations. This, however, poses a problem for quantum systems, where the standard procedure requires the projective measurement of energy at the beginning and the end of the protocol. Unfortunately, projective measurements, which are preferable from the point of view of theory, seem to be difficult to implement experimentally. We demonstrate that, when using a particular type of generalized energy measurements, the resulting work statistics is simply related to that of projective measurements. This relation between the two work statistics entails the existence of modified transient fluctuation relations. The modifications are exclusively determined by the errors incurred in the generalized energy measurements. They are universal in the sense that they do not depend on the force protocol. Particularly simple expressions for the modified Crooks relation and Jarzynski equality are found for Gaussian energy measurements. These can be obtained by a sequence of sufficiently many generalized measurements which need not be Gaussian. In accordance with the central limit theorem, this leads to an effective error reduction in the individual measurements and even yields a projective measurement in the limit of infinite repetitions.