A Unified Treatment of Convexity of Relative Entropy and Related Trace Functions, with Conditions for Equality

Abstract

We introduce a generalization of relative entropy derived from the Wigner-Yanase-Dyson entropy and give a simple, self-contained proof that it is convex. Moreover, special cases yield the joint convexity of relative entropy, and for the map (A,B) --> Tr K^* A^p K B^{1-p} Lieb's joint concavity for 0 < p < 1 and Ando's joint convexity for 1 < p < 2. This approach allows us to obtain conditions for equality in these cases, as well as conditions for equality in a number of inequalities which follow from them. These include the monotonicity under partial traces, and some Minkowski type matrix inequalities proved by Lieb and Carlen for mixed (p,q) norms. In all cases the equality conditions are independent of p; for extensions to three spaces they are identical to the conditions for equality in the strong subadditivity of relative entropy.

Final version to appear in Rev. Math. Phys. with many typos and minor errors corrected

References in corpus (5)

• Structure of states which satisfy strong subadditivity of quantum entropy with equality
• A Matrix Convexity Approach to Some Celebrated Quantum Inequalities
• The exact cost of redistributing multipartite quantum states
• A Minkowski Type Trace Inequality and Strong Subadditivity of Quantum Entropy II: Convexity and Concavity
• Another Short and Elementary Proof of Strong Subadditivity of Quantum Entropy

Cited by in corpus (32)

• Extractable Work from Correlations
• Quantum f-divergences and error correction
• The ${\chi }^2$-divergence and Mixing times of quantum Markov processes
• Different quantum f-divergences and the reversibility of quantum operations
• Renyi generalizations of the conditional quantum mutual information
• Some general properties of unified entropies
• Matrix versions of the Hellinger distance
• Reversibility conditions for quantum operations
• Remainder Terms for Some Quantum Entropy Inequalities
• Relations for certain symmetric norms and anti-norms before and after partial trace
• Preservation of a quantum Renyi relative entropy implies existence of a recovery map
• Contraction coefficients for noisy quantum channels
• Families of completely positive maps associated with monotone metrics
• On the Brukner-Zeilinger approach to information in quantum measurements
• Bounds of the Pinsker and Fannes Types on the Tsallis Relative Entropy
• Upper continuity bounds on the relative $q$-entropy for $q>1$
• Remarks on on Kim's Strong Subadditivity Matrix Inequality: Extensions and Equality Conditions
• Attainability and lower semi-continuity of the relative entropy of entanglement, and variations on the theme
• Recoverability of quantum channels via hypothesis testing
• WYD-like skew information measures
• On quantum quasi-relative entropy
• Convexity of quasi-entropy type functions: Lieb's and Ando's convexity theorems revisited
• Upper continuity bound on the quantum quasi-relative entropy
• Frozen condition of quantum coherence
• Monotonicity of the Holevo quantity: a necessary condition for equality in terms of a channel and its applications
• Tomita-Takesaki Modular Theory vs. Quantum Information Theory
• Geometric conditions for saturating the data processing inequality
• Yet Another Proof of the Joint Convexity of Relative Entropy
• More on a trace inequality in quantum information theory
• Extensions of some matrix inequalities related to trace and partial traces
• Fano type quantum inequalities in terms of $q$-entropies
• Geometric measures of discordlike quantum correlations based on Tsallis relative entropy