Operational thermodynamics of open quantum systems

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):