We propose an alternative notion of time reversal in open quantum systems as represented by linear quantum operations, and a related generalization of classical entropy production in the environment. This functional is the ratio of the probability to observe a transition between two states under the forward and the time reversed dynamics, and leads, as in the classical case, to fluctuation relations as tautological identities. As in classical dynamics in contact with a heat bath, time reversal is not unique, and we discuss several possibilities. For any bistochastic map its dual map preserves the trace and describes a legitimate dynamics reversed in time, in that case the entropy production in the environment vanishes. For a generic stochastic map we construct a simple quantum operation which can be interpreted as a time reversal. For instance, the decaying channel, which sends the excited state into the ground state with a certain probability, can be reversed into the channel transforming the ground state into the excited state with the same probability.
We propose an alternative notion of time reversal in open quantum systems as represented by linear quantum operations, and a related generalization of classical entropy production in the environment. This functional is the ratio of the probability to observe a transition between two states under the forward and the time reversed dynamics, and leads, as in the classical case, to fluctuation relations as tautological identities. As in classical dynamics in contact with a heat bath, time reversal is not unique, and we discuss several possibilities. For any bistochastic map its dual map preserves the trace and describes a legitimate dynamics reversed in time, in that case the entropy production in the environment vanishes. For a generic stochastic map we construct a simple quantum operation which can be interpreted as a time reversal. For instance, the decaying channel, which sends the excited state into the ground state with a certain probability, can be reversed into the channel transforming the ground state into the excited state with the same probability.
The dynamics of an open quantum system can be described by a quantum operation: A linear, complete positive map of operators. Here, I exhibit a compact expression for the time reversal of a quantum operation, which is closely analogous to the time reversal of a classical Markov transition matrix. Since open quantum dynamics are stochastic, and not, in general, deterministic, the time reversal is not, in general, an inversion of the dynamics. Rather, the system relaxes toward equilibrium in both the forward and reverse time directions. The probability of a quantum trajectory and the conjugate, time reversed trajectory are related by the heat exchanged with the environment.
The dynamics of an open quantum system can be described by a quantum operation: A linear, complete positive map of operators. Here, I exhibit a compact expression for the time reversal of a quantum operation, which is closely analogous to the time reversal of a classical Markov transition matrix. Since open quantum dynamics are stochastic, and not, in general, deterministic, the time reversal is not, in general, an inversion of the dynamics. Rather, the system relaxes toward equilibrium in both the forward and reverse time directions. The probability of a quantum trajectory and the conjugate, time reversed trajectory are related by the heat exchanged with the environment.
Abstract One of the major goals of quantum thermodynamics is the characterization of irreversibility and its consequences in quantum processes. Here, we discuss how entropy production provides a quantification of the irreversibility in open quantum systems through the quantum fluctuation theorem. We start by introducing a two-time quantum measurement scheme, in which the dynamical evolution between the measurements is described by a completely positive, trace-preserving (CPTP) quantum map (forward process). By inverting the measurement scheme and applying the time-reversed version of the quantum map, we can study how this backward process differs from the forward one. When the CPTP map is unital, we show that the stochastic quantum entropy production is a function only of the probabilities to get the initial measurement outcomes in correspondence of the forward and backward processes. For bipartite open quantum systems we also prove that the mean value of the stochastic quantum entropy production is sub-additive with respect to the bipartition (except for product states). Hence, we find a method to detect correlations between the subsystems. Our main result is the proposal of an efficient protocol to determine and reconstruct the characteristic functions of the stochastic entropy production for each subsystem. This procedure enables to reconstruct even others thermodynamical quantities, such as the work distribution of the composite system and the corresponding internal energy. Efficiency and possible extensions of the protocol are also discussed. Finally, we show how our findings might be experimentally tested by exploiting the state of-the-art trapped-ion platforms.
We present a general quantum fluctuation theorem for the entropy production of an open quantum system coupled to multiple environments, not necessarily at equilibrium. Such a general theorem, when restricted to the weak-coupling and Markovian regime, holds for both local and global master equations, corroborating the thermodynamic consistency of local quantum master equations. The theorem is genuinely quantum, as it can be expressed in terms of conservation of a Hermitian operator, describing the dynamics of the system state operator and of the entropy change in the baths. The integral fluctuation theorem follows from the properties of such an operator. Furthermore, it is also valid when the system is described by a time-dependent Hamiltonian. As such, the quantum Jarzynski equality is a particular case of the general result presented here. Moreover, our result can be extended to nonthermal baths, as long as microreversibility is preserved. We present some numerical examples to showcase the exact results previously obtained. We finally generalize the fluctuation theorem to the case where the interaction between the system and the bath is explicitly taken into account. We show that the fluctuation theorem amounts to a relation between time-reversed dynamics of the global density matrix and a two-time correlation function along the forward dynamics involving the baths' entropy alone.
Abstract We introduce a fully quantum notion of entropy production based on the non-commutative extension of the classical log-ratio between forward and reverse processes. Given a pair of quantum objects associated with the forward and reverse descriptions, we define a Hermitian entropy-production operator whose expectation value is non-negative and equal to the Belavkin–Staszewski relative entropy. The operator satisfies exact integral and detailed fluctuation theorems without requiring commutativity. We then specialize this construction to the case in which the forward process is described by a single quantum channel and the reverse process is defined inferentially, through Bayesian retrodiction relative to a prior state, with the Petz transpose map as the Bayesian inverse. In this setting, the relevant quantities can be evaluated explicitly, leading to a number of natural structural and physical properties. The framework recovers the classical formula in the commutative limit, yields explicit expressions for the average entropy production, and clarifies where the fully quantum case departs from standard thermodynamic expectations.
We consider the temporal evolution of an isolated system of particles from a non-equilibrium state of entropy S = S′ to the equilibrium state of maximum entropy S = S max, S′ ≤ S max. The application of usual density matrix theory to the temporal development of S leads us to the unexpected result P = dS/dt = 0. The entropy does not change in time. This result is valid in case of the equilibrium state. However it is wrong for a non-equilibrium state, which could not irreversibly change from S′ to S max by entropy production P > 0. This contradicts the second law of thermodynamics. The paradoxial result can be traced back to the Liouville theorem. To overcome this difficulty, we introduce the t–P space. The time t and the entropy production P are observables in quantum thermodynamics. They are defined by the eigenvalue equations t|t〉 = t|t〉 and P|P〉 = P|P〉. The operators t and P do not commute. We have a non-vanishing commutator, [t,P] = ik, and consequently a t–P uncertainty relation, ΔtΔP ≥ k/2. The Boltzmann constant k is characteristic of quantum thermodynamics and represents the atomic entropy unit. — The time evolution operator U(τ) = exp[−(i/k)τP] shifts the time t by τ, U(τ)|t〉 = |t + τ〉. The generator of τ is the operator P of entropy production. Then the eigenvector |P〉 is also an eigenket of U(t), and it follows with progressing time τ ≥ 0 that τP ≥ 0 and hence P = dS/dt ≥ 0. This is the second law of thermodynamics, which is correctly reproduced in quantum thermodynamics. — Exchanging −τ for +τ replaces the equations of forward time +τ by the equations of backward time −τ. Independent of the direction of the arrow of time, the entropy of the system always increases or remains constant in the limit of the equilibrium state, dS ≥ 0. This is characteristic of irreversibility, for the system does not return to its initial state on time reversal. — The t–P uncertainty relation allows to discuss the temporal evolution of the expectation value 〈P〉 of entropy production and the lifetime Δt of the transient states, the system passes through on approaching the equilibrium state. In case of a non-equilibrium state 〈P〉, ΔP, and Δt are finite. On approaching the equilibrium state, 〈P〉 and ΔP decrease, consequently Δt increases. Finally, in the case of equilibrium (eq), we have 〈P〉eq = 0, ΔP eq = 0, and Δt eq → ∞. The lifetime of the equilibrium state is unlimited, because the entropy production 〈P〉 and the uncertainty of entropy production ΔP exactly vanish. The temporal evolution of the system can be described by means of a phenomenological equation.