We prove a generalization of the classic Groenewold-Lindblad entropy inequality, combining decoherence and the quantum Bayes theorem into a simple unified picture where decoherence increases entropy while observation decreases it. This provides a rigorous quantum-mechanical version of the second law of thermodynamics, governing how the entropy of a system (the entropy of its density matrix, partial-traced over the environment and conditioned on what is known) evolves under general decoherence and observation. The powerful tool of spectral majorization enables both simple alternative proofs of the classic Lindblad and Holevo inequalities without using strong subadditivity, and also novel inequalities for decoherence and observation that hold not only for von Neumann entropy, but also for arbitrary concave entropies.
We prove a generalization of the classic Groenewold-Lindblad entropy inequality, combining decoherence and the quantum Bayes theorem into a simple unified picture where decoherence increases entropy while observation decreases it. This provides a rigorous quantum-mechanical version of the second law of thermodynamics, governing how the entropy of a system (the entropy of its density matrix, partial-traced over the environment and conditioned on what is known) evolves under general decoherence and observation. The powerful tool of spectral majorization enables both simple alternative proofs of the classic Lindblad and Holevo inequalities without using strong subadditivity, and also novel inequalities for decoherence and observation that hold not only for von Neumann entropy, but also for arbitrary concave entropies.
This paper presents self-contained proofs of the strong subadditivity inequality for quantum entropy and some related inequalities for the quantum relative entropy, most notably its convexity and its monotonicity under stochastic maps. Moreover, the approach presented here, which is based on Klein's inequality and one of Lieb's less well-known concave trace functions, allows one to obtain conditions for equality. Using the fact that the Holevo bound on the accessible information in a quantum ensemble can be obtained as a consequence of the monotonicity of relative entropy, we show that equality can be attained for that bound only when the states in the ensemble commute. The paper concludes with an Appendix giving a short description of Epstein's elegant proof of the relevant concavity theorem of Lieb.
We build a framework for the thermodynamics of macroscopic quantum systems. In contrast with approaches requiring access to the full density matrix, our framework relies on a coarse-grained description, based on measurement statistics of a few observables. When these observables commute, the outcomes define classical macrostates whose entropy is quantified by observational entropy, accounting for uncertainty about both the macrostate and the microstate within it. We extend this notion to non-commuting observables forming a subalgebra of the operator space, and use Jaynes' principle to define an algebra-dependent entropy interpolating between von Neumann and observational entropies. Given initial and final measurement sets, connected by internal and/or environment-induced dynamics, we derive a second law for the coarse-grained dynamics. Unlike formulations based on von Neumann entropy, our inequality captures irreversibility from both non-unitary environment-induced dynamics and internal equilibration. It takes the usual form of a positive entropy production when the system is initially at internal equilibrium, while correction terms capture nonequilibrium resources ignored by the coarse-graining. We also derive fluctuation theorems for coarse-grained thermodynamic quantities. Along a quasi-static path of measurement schemes, we identify quantum macroscopic notions of work and heat fulfilling the first and second laws, including an additional work contribution from manipulating the algebra to which the system is confined, through external constraints or quantum measurement backaction. Finally, we apply our framework to examples illustrating the impact of varying the coarse-graining scheme. Our approach unifies macroscopic and stochastic thermodynamics in a genuinely quantum framework, laying the basis for a versatile, experimentally friendly toolbox to analyze complex quantum dynamics.
In this article we propose a quantum version of Shannon's conditional entropy. Given two density matrices ρ and σ on a finite dimensional Hilbert space and with S(ρ) = —Tr ρ ln ρ being the usual von Neumann entropy, this quantity S(ρ | σ) is concave in ρ and satisfies 0 ≤ S(ρ | σ) ≤ S(ρ), a quantum analogue of Shannon's famous inequality. Thus we view S(ρ | σ) as the entropy of ρ conditioned by σ. The second inequality is an equality if σ is a multiple of the identity. In contrast to the classical case, however, S(ρ | ρ) = 0 if and only if the non-vanishing eigenvalues of ρ are all non-degenerate. Also in general and again in contrast to the corresponding classical situation S(ρ, σ) = S(σ) + S(ρ | σ) is not symmetric in ρ and σ even if they commute. We also show that there is no quantum version of conditional entropy in terms of two density matrices, which shares more properties with the classical case and which in particular reduces to the classical case when the two density matrices commute. As an alternative we propose to use spectral resolutions of the unit matrix instead of density matrices. We briefly compare this with the algebraic approach of Connes and Størmer and Connes, Narnhofer and Thirring.
For a quantum state undergoing unitary Schrödinger time evolution, the von Neumann entropy is constant. Yet the second law of thermodynamics, and our experience, show that entropy increases with time. Ingarden introduced the quantum operator entropy, which is the Shannon entropy of the probability distribution for the eigenvalues of a Hermitian operator [R. S. Ingarden, Quantum information theory, Rep. Math. Phys. 10, 43 (1976)RMHPBE0034-487710.1016/0034-4877(76)90005-7]. These entropies characterize the missing information about a particular observable inherent in the quantum state itself. The von Neumann entropy is the quantum operator entropy for the case when the operator is the density matrix. We examine pure state unitary evolution in a simple model system composed of a set of highly interconnected topologically disordered states and a time-independent Hamiltonian. An initially confined state is subject to free expansion into available states. The time development is completely reversible with no loss of quantum information and no course graining is applied. The positional entropy increases in time in a way that is consistent with both the classical statistical mechanical entropy and the second law.
Bell's inequalities, in the form given by Cerf and Adami, are derived from the combination of the second law of thermodynamics and the Markov postulate. Violations of these inequalities are discussed in terms of the mixing characteristics of the density operators. A quantum mechanical bound for a system of three qubits, two of which are entangled, is found and is shown to lead to strong subadditivity in one case. Finally, in interpreting the results, the role the uncertainty relations play in the definition of entropy and the second law is discussed, demonstrating a link to Bell's inequalities. Additionally the second law is shown to be dependent on the type of measurement in quantum systems. Specifically, a more general statement of the second law appropriate to both quantum and classical systems is suggested.
For a quantum state undergoing unitary Schrodinger time evolution, the von Neumann entropy is constant. Yet the second law of thermodynamics, and our experience, show that entropy increases with time. Ingarden introduced the quantum operator entropy, which is the Shannon entropy of the probability distribution for the eigenvalues of a Hermitian operator. These entropies characterize the missing information about a particular observable inherent in the quantum state itself. The von Neumann entropy is the quantum operator entropy for the case when the operator is the density matrix. We examine pure state unitary evolution in a simple model system comprised of a set of highly-interconnected topologically disordered states and a time-independent Hamiltonian. An initially confined state is subject to free expansion into available states. The time development is completely reversible with no loss of quantum information and no course graining is applied. The positional entropy increases in time in a way that is consistent with both the classical statistical mechanical entropy and the second law.