In this article we propose a quantum version of Shannon's conditional entropy. Given two density matrices $\\rho$ and $\\sigma$ on a finite dimensional Hilbert space and with $S(\\rho)=-\\tr\\rho\\ln\\rho$ being the usual von Neumann entropy, this quantity $S(\\rho|\\sigma)$ is concave in $\\rho$ and satisfies $0\\le S(\\rho|\\sigma)\\le S(\\rho)$, a quantum analogue of Shannon's famous inequality. Thus we view $S(\\rho|\\sigma)$ as the entropy of $\\rho$ conditioned by $\\sigma$.
In this article we propose a quantum version of Shannon's conditional entropy. Given two density matrices rho and sigma on a finite dimensional Hilbert space and with S(rho)=−trrholnrho being the usual von Neumann entropy, this quantity S(rho∣sigma) is concave in rho and satisfies 0leS(rho∣sigma)leS(rho), a quantum analogue of Shannon's famous inequality. Thus we view S(rho∣sigma) as the entropy of rho conditioned by sigma.
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.
Von Neumann defined the informational entropy of a density matrix ρ by the expression S(ρ)=−tr(ρ ln ρ). [J. Von Neumann, Die Mathematischen Grundlagen der Quantummechanik (Springer-Verlag, Berlin, 1932)]. Here, starting from the definitions of Shannon entropy and of Renyi entropy of random variables, and using some (reasonable) rules of inference, two expressions are obtained for the quantum entropy of a given square (deterministic) matrix, irrespective of any probabilistic framework and/or any randomization technique. These definitions apply directly to linear operators on Hilbert spaces even when they are not of positive trace class, and they contain Von Neumann entropy as a special case. These new measures of uncertainty could provide new approaches to some problems related to structure complexity.
A method for representing probabilistic aspects of quantum systems by means of a density function on the space of pure quantum states is introduced. In particular, a maximum entropy argument allows us to obtain a natural density function that only reflects the information provided by the density matrix. This result is applied to derive the Shannon entropy of a quantum state. The information theoretic quantum entropy thereby obtained is shown to have the desired concavity property, and to differ from the conventional von Neumann entropy. This is illustrated explicitly for a two-state system.
A method for representing probabilistic aspects of quantum systems by means of a density function on the space of pure quantum states is introduced. In particular, a maximum entropy argument allows us to obtain a natural density function that only reflects the information provided by the density matrix. This result is applied to derive the Shannon entropy of a quantum state. The information theoretic quantum entropy thereby obtained is shown to have the desired concavity property, and to differ from the conventional von Neumann entropy. This is illustrated explicitly for a two-state system. (C) 2000 American Institute of Physics. S0022-2488(00)03305-3.
The concept of entropy rst arose in the study of thermodynamics and statistical me- chanics. In information theory the so-called Shannon entropy plays a signi cant role, which measures how much information we gain, on average, when we learn the value of a random variable. An alternative interpretation is that the entropy of the random variable quanti es the amount of uncertainty about the random variable before we learn its value. The concept was introduced by Claude E. Shannon in his 1948 paper "A Mathematical Theory of Communication". In the rst part of the present work we consider this fundamental measure of information and show some of its properties, such as non-negativity. The relative entropy or the Kullback-Leibler divergence is a very useful measure of the distance between two prob- ability distributions. After introducing its de nition and other notions (joint entropy, conditional entropy or mutual information) we can prove additional assertions about the Shannon entropy and present statements about the relations between the above men- tioned quantities. In quantum information theory, there is a quantity, namely von Neumann entropy, which corresponds to Shannon entropy and originates from it. In the section Von Neu- mann entropy we will introduce this quantity which is a continuous functional on the states, or on their mathematical representatives, the density operators, and it ful ls in- equalities such as subadditivity and strong subaddititvity. Just as with the Shannon entropy, it is extremely useful to de ne a quantum version of the relative entropy, which is one of the most important numerical quantities appearing in quantum information theory. It is used as a measure of distinguishability between quantum states. Among others its properties are jointly convexity, monotonicity which are speci cally convenient. Transformations on structures which preserve operations, quantities or relations among elements appear in many areas of mathematics. These are the so-called preservers which show up also in physics and even in chemistry where they are usually called symmetries. Therefore, the study of preserver transformations is an important area of research. The third section of this work is based on a paper, in which Lajos Molnár described the structure every bijective map on the space of all density operators on a given Hilbert space, which preserves the relative entropy. This result is closely related to Wigner's famous theorem on the form of quantum mechanical symmetry transformations. The above theorem of Molnár can be extended into two directions. On the one hand, the result holds also in the case when the transformation under consideration acts on the space of all positive semide nite operators not only on density operators (i.e., we omit the condition of unit trace). On the other hand the statement remains valid even if we omit the strongly restrictive condition that the transformation is bijective. The second result is a joint work with Prof. Lajos Molnár which appeared in the journal Linear Algebra and Its Applications.
Abstract Chapter 20 provides a discussion of entropies and entropic quantities in quantum information theory, briefly considering the generalizations of the Rényi entropy to the quantum regime, but mainly focusing on the von Neumann entropy and its properties such as concavity, the Araki-Lieb inequality, and subadditivity. We introduce the quantum relative entropy, quantum joint entropy, quantum conditional entropy, and quantum mutual information, and prove key properties and results for these quantities, including Klein’s inequality, joint convexity, additivity, and monotonicity under completely positive and trace-preserving maps of the relative entropy, as well as weak monotonicity and strong subadditivity of the von Neumann entropy. We then analyse the relation of (negative) conditional entropy and entanglement. In this context we discuss the conditional amplitude operator and the mutual amplitude operator, as well as conditional Rényi entropies and their role for entanglement detection.