Quantum Fluctuation Theorems, Contextuality, and Work Quasiprobabilities

No-Broadcasting Characterizes Operational Contextuality

Operational contextuality forms a rapidly developing subfield of quantum information theory. However, the characterization of the quantum mechanical entities that fuel the phenomenon has remained unknown with many partial results existing. Here, we present a resolution to this problem by connecting operational contextuality one-to-one with the no-broadcasting theorem. The connection works both on the level of full quantum theory and subtheories thereof. We demonstrate the connection in various relevant cases, showing especially that for quantum states the possibility of demonstrating contextuality is exactly characterized by non-commutativity, and for measurements this is done by a norm-1 property closely related to repeatability. Moreover, we show how techniques from broadcasting can be used to simplify known foundational results in contextuality.

Work extraction from quantum coherence in non-equilibrium environment

Ergotropy, which represents the maximum amount of work that can be extracted from a quantum system, has become a focal point of interest in the fields of quantum thermodynamics and information processing. In practical scenarios, the interaction of quantum systems with their surrounding environment is unavoidable. Recent studies have increasingly focused on analyzing open quantum systems affected by non-stationary environmental fluctuations due to their significant impact on various physical scenarios. While much research has concentrated on work extraction from these systems, it often assumes that the environmental degrees of freedom are substantial and that the environment is effectively in equilibrium. This has led us to explore work extraction from quantum systems under non-stationary environmental conditions. In this work, the dynamics of ergotropy will be investigated in a non-equilibrium environment for both Markovian and non-Markovian regime. In this study, both the coherent and incoherent parts of the ergotropy will be considered. It will be shown that for a non-equilibrium environment, the extraction of work is more efficient compared to when the environment is in equilibrium.

Probing coherent quantum thermodynamics using a trapped ion

Quantum thermodynamics is aimed at grasping thermodynamic laws as they apply to thermal machines operating in the deep quantum regime, where coherence and entanglement are expected to matter. Despite substantial progress, however, it has remained difficult to develop thermal machines in which such quantum effects are observed to be of pivotal importance. In this work, we demonstrate the possibility to experimentally measure and benchmark a genuine quantum correction, induced by quantum friction, to the classical work fluctuation-dissipation relation. This is achieved by combining laser-induced coherent Hamiltonian rotations and energy measurements on a trapped ion. Our results demonstrate that recent developments in stochastic quantum thermodynamics can be used to benchmark and unambiguously distinguish genuine quantum coherent signatures generated along driving protocols, even in presence of experimental SPAM errors and, most importantly, beyond the regimes for which theoretical predictions are available (e.g., in slow driving).

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.

Optimal work extraction from quantum batteries based on the expected utility hypothesis

Work extraction in quantum finite systems is an important issue in quantum thermodynamics. The optimal work extracted is called ergotropy, and it is achieved by maximizing the average work extracted over all the unitary cycles. However, an agent that is non-neutral to risk is affected by fluctuations and should extract work by following the expected utility hypothesis. Thus, we investigate the optimal work extraction performed by a risk non-neutral agent by maximizing the average utility function over all the unitary cycles. We mainly focus on initial states that are incoherent with respect to the energy basis, achieving a probability distribution of work. In this case we show how the optimal work extraction will be performed with an incoherent unitary transformation, namely a permutation of the energy basis, which depends on the risk aversion of the agent. We give several examples, in particular also the work extraction from an ensemble of quantum batteries is examined. Furthermore, we also investigate how work extraction is affected by the presence of initial quantum coherence in the energy basis by considering a quasiprobability distribution of work.

Controlling work output and coherence in finite-time quantum Otto engines through monitoring

We examine the role of diagnostic quantum measurements on the work statistics of a finite-time quantum Otto heat engine operated in the steady state. We consider three pointer-based measurement schemes that differ in the number of system-pointer interactions and pointer measurements. We show that the coherence of the working substance and the work output of the engine can be controlled by tuning the monitoring measurements. Moreover, for a working substance consisting of a two-level system we show that while all three schemes reproduce the predictions of the cycle without any monitoring for the average work in the limit of infinitely weak measurement, only two of the schemes can reproduce the two-point projective measurement results in the limit of strong measurement.

Exploring quasiprobability approaches to quantum work in the presence of initial coherence: Advantages of the Margenau-Hill distribution

In quantum thermodynamics, the two-projective-measurement (TPM) scheme provides a successful description of stochastic work only in the absence of initial quantum coherence. Extending the quantum work distribution to quasiprobability is a general way to characterize work fluctuation in the presence of initial coherence. However, among a large number of different definitions, there is no consensus on the most appropriate work quasiprobability. In this article, we list several physically reasonable requirements including the first law of thermodynamics, time-reversal symmetry, positivity of second-order moment, and a support condition for the work distribution. We prove that the only definition that satisfies all these requirements is the Margenau-Hill (MH) quasiprobability of work. In this sense, the MH quasiprobability of work shows its advantages over other definitions. As an illustration, we calculate the MH work distribution of a breathing harmonic oscillator with initial squeezed states and show the convergence to classical work distribution in the classical limit.

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.

Quasiprobability distribution of work in the quantum Ising model

A complete understanding of the statistics of the work done by quenching a parameter of a quantum many-body system is still lacking in the presence of an initial quantum coherence in the energy basis. In this case, the work can be represented by a class of quasiprobability distributions. Here, we try to clarify the genuinely quantum features of the process by studying the work quasiprobability for an Ising model in a transverse field. We consider both a global and local quench by focusing mainly on the thermodynamic limit. We find that, while for a global quench there is a symmetric noncontextual representation with a Gaussian probability distribution of work, for a local quench we can get quantum contextuality as signaled by a negative fourth moment of the work. Furthermore, we examine the critical features related to a quantum phase transition and the role of the initial quantum coherence as a useful resource.

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.

Spin Quantum Heat Engine Quantified by Quantum Steering

Following the rising interest in quantum information science, the extension of a heat engine to the quantum regime by exploring microscopic quantum systems has seen a boon of interest in the last decade. Although quantum coherence in the quantum system of the working medium has been investigated to play a nontrivial role, a complete understanding of the intrinsic quantum advantage of quantum heat engines remains elusive. We experimentally demonstrate that the quantum correlation between the working medium and the thermal bath is critical for the quantum advantage of a quantum Szilárd engine, where quantum coherence in the working medium is naturally excluded. By quantifying the nonclassical correlation through quantum steering, we reveal that the heat engine is quantum when the demon can truly steer the working medium. The average work obtained by taking different ways of work extraction on the working medium can be used to verify the real quantum Szilárd engine.

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.

Complete Incompatibility, Support Uncertainty, and Kirkwood-Dirac Nonclassicality

For quantum systems with a finite dimensional Hilbert space of states, we show that the complete incompatibility of two observables-a notion we introduce-is equivalent to the large support uncertainty of all states. The Kirkwood-Dirac (KD) quasiprobability distribution of a state-which depends on the choice of two observables-has emerged in quantum information theory as a tool for assessing nonclassical features of the state that can serve as a resource in quantum protocols. We apply our result to show that, when the two observables are completely incompatible, only states with minimal support uncertainty can be KD classical, all others being KD nonclassical. We illustrate our findings with examples.

Minimizing Backaction through Entangled Measurements

When an observable is measured on an evolving coherent quantum system twice, the first measurement generally alters the statistics of the second one, which is known as measurement backaction. We introduce, and push to its theoretical and experimental limits, a novel method of backaction evasion, whereby entangled collective measurements are performed on several copies of the system. This method is inspired by a similar idea designed for the problem of measuring quantum work [Perarnau-Llobet et al., Phys. Rev. Lett. 118, 070601 (2017)PRLTAO0031-900710.1103/PhysRevLett.118.070601]. By using entanglement as a resource, we show that the backaction can be extremely suppressed compared to all previous schemes. Importantly, the backaction can be eliminated in highly coherent processes.

Quantum Coherence and Ergotropy

Constraints on work extraction are fundamental to our operational understanding of the thermodynamics of both classical and quantum systems. In the quantum setting, finite-time control operations typically generate coherence in the instantaneous energy eigenbasis of the dynamical system. Thermodynamic cycles can, in principle, be designed to extract work from this nonequilibrium resource. Here, we isolate and study the quantum coherent component to the work yield in such protocols. Specifically, we identify a coherent contribution to the ergotropy (the maximum amount of unitarily extractable work via cyclical variation of Hamiltonian parameters). We show this by dividing the optimal transformation into an incoherent operation and a coherence extraction cycle. We obtain bounds for both the coherent and incoherent parts of the extractable work and discuss their saturation in specific settings. Our results are illustrated with several examples, including finite-dimensional systems and bosonic Gaussian states that describe recent experiments on quantum heat engines with a quantized load.

Work Fluctuations in Slow Processes: Quantum Signatures and Optimal Control

An important result in classical stochastic thermodynamics is the work fluctuation-dissipation relation (FDR), which states that the dissipated work done along a slow process is proportional to the resulting work fluctuations. We show that slowly driven quantum systems violate this FDR whenever quantum coherence is generated along the protocol, and we derive a quantum generalization of the work FDR. The additional quantum terms in the FDR are found to lead to a non-Gaussian work distribution. Fundamentally, our result shows that quantum fluctuations prohibit finding slow protocols that minimize both dissipation and fluctuations simultaneously, in contrast to classical slow processes. Instead, we develop a quantum geometric framework to find processes with an optimal trade-off between the two quantities.

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.

Quantum thermodynamics and open-systems modeling

A comprehensive approach to modeling open quantum systems consistent with thermodynamics is presented. The theory of open quantum systems is employed to define system bath partitions. The Markovian master equation defines an isothermal partition between the system and bath. Two methods to derive the quantum master equation are described: the weak coupling limit and the repeated collision model. The role of the eigenoperators of the free system dynamics is highlighted, in particular, for driven systems. The thermodynamical relations are pointed out. Models that lead to loss of coherence, i.e., dephasing are described. The implication of the laws of thermodynamics to simulating transport and spectroscopy is described. The indications for self-averaging in large quantum systems and thus its importance in modeling are described. Basic modeling by the surrogate Hamiltonian is described, as well as thermal boundary conditions using the repeated collision model and their use in the stochastic surrogate Hamiltonian. The problem of modeling with explicitly time dependent driving is analyzed. Finally, the use of the stochastic surrogate Hamiltonian for modeling ultrafast spectroscopy and quantum control is reviewed.

Certifying Nonclassical Behavior for Negative Keldysh Quasiprobabilities

We introduce an experimental test for ruling out classical explanations for the statistics obtained when measuring arbitrary observables at arbitrary times using individual detectors. This test requires some trust in the measurements, represented by a few natural assumptions on the detectors. In quantum theory, the considered scenarios are well captured by von Neumann measurements. These can be described naturally in terms of the Keldysh quasiprobability distribution (KQPD), and the imprecision and backaction exerted by the measurement apparatus. We find that classical descriptions can be ruled out from measured data if and only if the KQPD exhibits negative values. We provide examples based on simulated data, considering the influence of a finite amount of statistics. In addition to providing an experimental tool for certifying nonclassicality, our results bestow an operational meaning upon the nonclassical nature of negative quasiprobability distributions such as the Wigner function and the full counting statistics.

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.

Anomalous Thermalization in Quantum Collective Models

We show that apparently thermalized states still store relevant amounts of information about their past, information that can be tracked by experiments involving nonequilibrium processes. We provide a condition for the microcanonical quantum Crook's theorem, and we test it by means of numerical experiments. In the Lipkin-Meshkov-Glick model, two different procedures leading to the same equilibrium states give rise to different statistics of work in nonequilibrium processes. In the Dicke model, two different trajectories for the same nonequilibrium protocol produce different statistics of work. Microcanonical averages provide the correct results for the expectation values of physical observables in all the cases; the microcanonical quantum Crook's theorem fails in some of them. We conclude that testing quantum fluctuation theorems is mandatory to verify if a system is properly thermalized.

Leggett-Garg Inequalities for Quantum Fluctuating Work

The Leggett-Garg inequalities serve to test whether or not quantum correlations in time can be explained within a classical macrorealistic framework. We apply this test to thermodynamics and derive a set of Leggett-Garg inequalities for the statistics of fluctuating work done on a quantum system unitarily driven in time. It is shown that these inequalities can be violated in a driven two-level system, thereby demonstrating that there exists no general macrorealistic description of quantum work. These violations are shown to emerge within the standard Two-Projective-Measurement scheme as well as for alternative definitions of fluctuating work that are based on weak measurement. Our results elucidate the influences of temporal correlations on work extraction in the quantum regime and highlight a key difference between quantum and classical thermodynamics.