Completely positive trace preserving (CPTP) maps are essential for the formulation of the second law of thermodynamics. The dynamics of quantum systems initially correlated with their environments are in general not described by such maps. We explore, how this issue can be fixed by describing the classical analogue of this problem. We consider initially correlated probability distributions, whose subsequent system dynamics is ill-described by stochastic maps, and prescribe the correct way to describe the dynamics. We use this prescription to discuss the classical version of the second law, valid for initially correlated probability distributions.
Completely positive trace preserving (CPTP) maps are essential for the formulation of the second law of thermodynamics. The dynamics of quantum systems initially correlated with their environments are in general not described by such maps. We explore, how this issue can be fixed by describing the classical analogue of this problem. We consider initially correlated probability distributions, whose subsequent system dynamics is ill-described by stochastic maps, and prescribe the correct way to describe the dynamics. We use this prescription to discuss the classical version of the second law, valid for initially correlated probability distributions.
We study stochastic thermodynamics for a quantum system of interest whose dynamics is described by a completely positive trace-preserving (CPTP) map as a result of its interaction with a thermal bath. We define CPTP maps with equilibrium as CPTP maps with an invariant state such that the entropy production due to the action of the map on the invariant state vanishes. Thermal maps are a subgroup of CPTP maps with equilibrium. In general, for CPTP maps, the thermodynamic quantities, such as the entropy production or work performed on the system, depend on the combined state of the system plus its environment. We show that these quantities can be written in terms of system properties for maps with equilibrium. The relations that we obtain are valid for arbitrary coupling strengths between the system and the thermal bath. The fluctuations of thermodynamic quantities are considered in the framework of a two-point measurement scheme. We derive the entropy production fluctuation theorem for general maps and a fluctuation relation for the stochastic work on a system that starts in the Gibbs state. Some simplifications for the probability distributions in the case of maps with equilibrium are presented. We illustrate our results by considering spin 1/2 systems under thermal maps, nonthermal maps with equilibrium, maps with nonequilibrium steady states, and concatenations of them. Finally, and as an important application, we consider a particular limit in which the concatenation of maps generates a continuous time evolution in Lindblad form for the system of interest, and we show that the concept of maps with and without equilibrium translates into Lindblad equations with and without quantum detailed balance, respectively. The consequences for the thermodynamic quantities in this limit are discussed.
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):
The description of the dynamics of an open quantum system in the presence of initial correlations with the environment needs different mathematical tools than the standard approach to reduced dynamics, which is based on the use of a time-dependent completely positive trace preserving (CPTP) map. Here, we take into account an approach that is based on a decomposition of any possibly correlated bipartite state as a conical combination involving statistical operators on the environment and general linear operators on the system, which allows one to fix the reduced-system evolution via a finite set of time-dependent CPTP maps. In particular, we show that such a decomposition always exists, also for infinite dimensional Hilbert spaces, and that the number of resulting CPTP maps is bounded by the Schmidt rank of the initial global state. We further investigate the case where the CPTP maps are semigroups with generators in the Gorini-Kossakowski-Lindblad-Sudarshan form; for two simple qubit models, we identify the positivity domain defined by the initial states that are mapped into proper states at any time of the evolution fixed by the CPTP semigroups.
Quantum technology is progressing towards fast quantum control over systems interacting with small environments. Hence such technologies are operating in a regime where the environment remembers the system's past, and the applicability of complete-positive trace preserving maps is no longer valid. The departure from complete positivity means many useful bounds, like entropy production, Holevo, and data processing inequality are no longer applicable to such systems. We address these issues by deriving a generalized bound for entropy valid for quantum dynamics with arbitrary system-environment correlations. We employ superchannels, which map quantum operations performed by the experimenter, represented in terms of completely positive maps, to states. Our bound has information-theoretic applications, as it generalizes the data processing inequality and the Holevo bound. We prove that both data processing inequality and the Holevo are valid even when system is correlated with the environment.
For an open quantum system to evolve under CPTP maps, assumptions are made on the initial correlations between the system and the environment. Hermitian-preserving trace-preserving (HPTP) maps are considered as the local dynamic maps beyond CPTP. In this paper, we provide a succinct answer to the question of what physical maps are in the HPTP realm by two approaches. The first is by taking one step out of the CPTP set, which provides us with Semi-Positivity (SP) TP maps. The second way is by examining the physicality of HPTP maps, which leads to Semi-Nonnegative (SN) TP maps. Physical interpretations and geometrical structures are studied for these maps. The non-CP SPTP maps Ψ correspond to the quantum non-Markovian process under the CP-divisibility definition (Ψ=Ξ∘Φ−1, where Ξ and Φ are CPTP). When removing the invertibility assumption on Φ, we land in the set of SNTP maps. A by-product of set relations is an answer to the following question -- what kind of dynamics the system will go through when the previous dynamic Φ is non-invertible. In this case, the only locally well-defined maps are in SN\SP, they live on the boundary of SN. Otherwise, the non-local information will be irreplaceable in the system's dynamic. With the understanding of physical maps beyond CPTP, we prove that the current quantum error correction scheme is still sufficient to correct quantum non-Markovian errors. In some special cases, lack of complete positivity could provide us with more error correction methods with less overhead.
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 system undergoing quantum evolution under a general quantum process by which we mean a completely positive and trace-preserving map. We derive an operational first law of thermodynamics for such processes and show consistency with the second law. We show that heat, from the first law, is positive when the input state of the map majorizes the output state. Moreover, the change in entropy is also positive for the same majorization condition. This makes a strong connection between the two operational laws of thermodynamics.