Estimation of work at the quantum scale remains a central challenge in quantum thermodynamics. Canonical approaches have a fundamental drawback: they assume classical control of the quantum system, as implicit in a time-dependent Hamiltonian. Yet the energetic cost of implementing this control is omitted and can exceed the system's energy scale by orders of magnitude, calling into question the operational significance of work values. We address this by autonomizing the controlled energy transfer, embedding the driven dynamics into an energy-conserving evolution on a larger quantum system. Work is then unambiguously identified with the energy transferred between the two systems, singling out a unique observable on the driven system: the work operator. We show that the quantum work operator evades a no-go theorem by deriving a quantum fluctuation theorem that recovers the Jarzynski equality in classical scenarios. We incorporate imperfect control and quantify corrections to work statistics. Extending the framework to open quantum systems, we obtain an operatorial first law in which work, heat, and internal-energy changes are represented by distinct operators on the reduced system. Together, these results settle the long-standing debate over whether work is a quantum observable: it is, once the controlling system is included in the description rather than treated as external.
Comments
11 pages main text, 37 pages appendix, 1 figure. Minor changes from previous version. Comments welcome :)
Estimation of work at the quantum scale remains a central challenge in quantum thermodynamics. Canonical approaches have a fundamental drawback: they assume classical control of the quantum system, as implicit in a time-dependent Hamiltonian. Yet the energetic cost of implementing this control is omitted and can exceed the system's energy scale by orders of magnitude, calling into question the operational significance of work values. We address this by autonomizing the controlled energy transfer, embedding the driven dynamics into an energy-conserving evolution on a larger quantum system. Work is then unambiguously identified with the energy transferred between the two systems, singling out a unique observable on the driven system: the work operator. We show that the quantum work operator evades a no-go theorem by deriving a quantum fluctuation theorem that recovers the Jarzynski equality in classical scenarios. We incorporate imperfect control and quantify corrections to work statistics. Extending the framework to open quantum systems, we obtain an operatorial first law in which work, heat, and internal-energy changes are represented by distinct operators on the reduced system. Together, these results settle the long-standing debate over whether work is a quantum observable: it is, once the controlling system is included in the description rather than treated as external.
In this Letter we propose a framework to define work as a quantum observable on a control device which is driving a system. Motivated by the conceptual difference between well known quantum versions of the Jarzynski equality (JE), where the initial and final system Hamiltonian have to be known in advance, and their classical counterparts where such knowledge is not needed, we construct a scheme where a work increment is given by an expectation value of a quantum observable on an external system. We further show that such a definition of work satisfies a fluctuation theorem which allows the free energy difference to be estimated operationally without knowledge about the Hamiltonian of the system at the end of the driving protocol. However, knowledge about the basis of the initial Hamiltonian is in general still needed. Providing two examples we describe how bounds on free energy differences could approximately be determined in experiments.
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.
Originally formulated for macroscopic machines, the laws of thermodynamics were recently shown to hold for quantum systems coupled to ideal sources of work (external classical fields) and heat (systems at equilibrium). Ongoing efforts have been focusing on extending the validity of thermodynamic laws to more realistic, non-ideal energy sources. Here, we go beyond these extensions and show that energy exchanges between arbitrary quantum systems are structured by the laws of thermodynamics. We first generalize the second law and identify the associated work and heat exchanges. After recovering known results from ideal work and heat sources, we analyze some consequences of hybrid work and heat sources. We illustrate our general laws with microscopic machines realizing thermodynamic tasks in which the roles of heat and work sources are simultaneously played by elementary quantum systems. Our results open perspectives to understand and optimize the energetic performances of realistic quantum devices, at any scale.
During the last decades, there have been many theoretical and experimental advances both in the extension of thermodynamics to comprise microscopic systems out-of-equilibrium and in the understanding of quantum mechanics.Along with the state-of-the-art capability of controlling fragile quantum systems in a wide variety of physical platforms, this context has paved the way for the current strategic efforts to develop a thermodynamic theory of quantum systems.In this sense, the research field coined as quantum thermodynamics (QT) already plays a key role in the design and development of future quantum-based technologies.More specifically, QT aims both to apply the usual thermodynamic concepts and notions to describe arbitrary non-equilibrium quantum systems and to understand the emergence of classical thermodynamic behaviour from the underlying fundamentally quantum dynamics.However, despite all current progress, there is still no consolidated formalism for a general thermodynamic description of fully autonomous quantum objects.Besides, the lack of consensus on some central aspects, such as the definitions of quantum counterparts of thermodynamic quantities, is particularly notorious.In this thesis, we focus on the energetic analysis within autonomous quantum systems.To this aim, we propose a novel and general formalism for a dynamic description of the energy exchanges between interacting subsystems.From the Schmidt decomposition approach, we identify effective Hamiltonians as the representative operators for characterizing the local internal energies, whose expectation values satisfy the usual thermodynamic notion of energy additivity.In contrast to the currently used methodologies, such procedure treats the subsystems with equal footing and do not rely on any sort of approximations and additional hypotheses, e.g., semi-classical description, weak-coupling regime, strict energy conservation and Markovian dynamics.In short, our proposal contributes to the development of QT by providing a new formalism that does not suffer from the usual restrictive shortcomings and establishes a new and exact route for defining other general thermodynamic quantities to the quantum regime.
Abstract Work is a process-based quantity, and its measurement typically requires interaction with a measuring device multiple times. While classical systems allow for non-invasive and accurate measurements, quantum systems present unique challenges due to the influence of the measuring device on the final value of work. As recent studies have shown, among these challenges is the impossibility of formulating a universal definition of work that respects energy conservation for coherent quantum systems and is compatible with the Jarzynski equality—a fluctuation relation linking the equilibrium free energy difference to the non-equilibrium work. Here, we overcome this challenge by introducing a genuinely quantum, positive correction to the Jarzynski equality stemming from imposing energy conservation. When sufficiently large, this correction forces quantum work to violate the second law more often. Moreover, we construct modified two-point measurement (TPM) schemes for work, along with circuit implementations for them. These measurement schemes correctly certify energy conservation and remain consistent with our quantum-corrected fluctuation relation.
Accurately describing work extraction from a quantum system is a central objective for the extension of thermodynamics to individual quantum systems. The concepts of work and heat are surprisingly subtle when generalizations are made to arbitrary quantum states. We formulate an operational thermodynamics suitable for application to an open quantum systems undergoing a general quantum evolution. We derive the first law of ther- modynamics for a process described by a completely-positive and trace-preserving map and show consistency with the Hatano-Sasa statement of the second law. We show that heat, from the first law, is positive when the input state of the map majorises the output state. Moreover, the change in entropy is also positive for the same majorisation condition. This makes a strong connection between the two operational laws of thermodynamics. Introduction.— The laws of thermodynamics were forged in the furnaces of the industrial revolution, as engineers and scientists refined their picture of energy, studying heat and its interconversion to mechanical work with a view to powering the mines and factories of this new era of human endeavor. Followed by the development of statistical mechanics at the change of the centuries (1), far from its pragmatic inception, thermodynamics is now a theory with a remarkable range of applicability, successfully describing the properties of macro- scopic systems ranging from refrigerators to black holes (2). Moving on to the 21st century with both the industrial and electronic revolutions behind us, we are currently pushing technology towards and beyond the microscopic scale. With a view to devices operating at a scale where quantum mech- anical laws become important we may ask whether the solid and some combination of the two (8). Finally, central to the work presented here is a work extraction formalism for non-passivity of quantum states (9). Despite the range of ap- proaches a more general picture for the thermodynamics of general quantum evolutions is far from clear. In this Letter, we take an operational approach to character- izing the energy change of an open quantum process described by a completely-positive trace-preserving (CPTP) map. In analogy to the first law of thermodynamics we discuss work done, extractable work, and heat. The concepts of ergotropy and adiabatic work allow us to state our main result: An op- erational first law for general quantum processes. We show that our operational first law is in agreement with widely used Hatano-Sasa version of the second law for CPTP maps (10, 11) by explicitly stating the Clausius inequality for unital and thermal maps. We then show that both operational heat and the change in von Neumann entropy are positive when the input state of the map majorises the output state. Thermodynamics of quantum systems.— The first law of thermodynamics states that the internal energy change in a thermodynamic process can be split up into two contributions - work and heat: dE = Q + W. For a generic quantum system, the internal energy at time t is E(t) = tr( (t)H(t)), implying that the change in the internal energy dE depends only on the end points. Heat and work on the other hand are path-dependent—thus the different notation for the 'differen- tials'. As an illustration we may consider the heat expended when pushing a piston into a cylinder filled with gas: It not only depends on the initial and final positions of the piston but also on how fast it is pushed. Using the derivative of the internal energy with respect to time the following two expres- sions are motivated (10):