From Wigner-Yanase-Dyson conjecture to Carlen-Frank-Lieb conjecture (New title)

Abstract

In this paper we study the joint convexity/concavity of the trace functions \[ Ψ_{p,q,s}(A,B)=\text{Tr}(B^{\frac{q}{2}}K^*A^{p}KB^{\frac{q}{2}})^s,~~p,q,s\in \mathbb{R}, \] where $A$ and $B$ are positive definite matrices and $K$ is any fixed invertible matrix. We will give full range of $(p,q,s)\in {\mathbb{R}}^3$ for ${\Psi }_{p,q,s}$ to be jointly convex/concave for all $K$. As a consequence, we confirm a conjecture of Carlen, Frank and Lieb. In particular, we confirm a weaker conjecture of Audenaert and Datta and obtain the full range of $(\alpha ,z)$ for $\alpha$-$z$ Rényi relative entropies to be monotone under completely positive trace preserving maps. We also give simpler proofs of many known results, including the concavity of ${\Psi }_{p,0,1/p}$ for $0<p<1$ which was first proved by Epstein using complex analysis. The key is to reduce the problem to the joint convexity/concavity of the trace functions \[ Ψ_{p,1-p,1}(A,B)=\text{Tr} K^*A^{p}KB^{1-p},~~-1\le p\le 1, \] using a variational method.

arXiv comment14 pages, 1 figure. Some errors and typos corrected. Title changed. Main results improved: a unified and simple proof of the convexity/concavity of a large family of trace functions ${\Psi }_{p,q,s}$ using a variational method and the convexity/concavity (due to Ando/Lieb) of ${\Psi }_{p,1-p,1}$. To appear in Adv. Math

References in corpus (9)

• On quantum Renyi entropies: a new generalization and some properties
• Strong converse for the classical capacity of entanglement-breaking and Hadamard channels via a sandwiched Renyi relative entropy
• The Uncertainty Relation for Smooth Entropies
• Monotonicity of a relative Rényi entropy
• Quantum hypothesis testing and the operational interpretation of the quantum Renyi relative entropies
• alpha-z-relative Renyi entropies
• A Minkowski Type Trace Inequality and Strong Subadditivity of Quantum Entropy II: Convexity and Concavity
• Inequalities for quantum divergences and the Audenaert-Datta conjecture
• Entropic Fluctuations in Quantum Statistical Mechanics. An Introduction

Cited by in corpus (25)

• Divergence radii and the strong converse exponent of classical-quantum channel coding with constant compositions
• The strong converse exponent of discriminating infinite-dimensional quantum states
• Monotonic multi-state quantum $f$-divergences
• Some continuity properties of quantum Rényi divergences
• Equality conditions of Data Processing Inequality for $\alpha$-$z$ Rényi relative entropies
• Mixed-state additivity properties of magic monotones based on quantum relative entropies for single-qubit states and beyond
• Multivariate Trace Inequalities, p-Fidelity, and Universal Recovery Beyond Tracial Settings
• Geometric relative entropies and barycentric Rényi divergences
• An invitation to the sample complexity of quantum hypothesis testing
• Multivariate Fidelities
• Petz-Rényi Relative Entropy of Thermal States and their Displacements
• Generalized Entropic Quantum Speed Limits
• Geometric properties for a class of deformed trace functions
• Generalizing Lieb's Concavity Theorem via Operator Interpolation
• A remark on non-commutative $L^p$-spaces
• Rényi-Holevo inequality from $\alpha$-$z$-Rényi relative entropies
• Geometric conditions for saturating the data processing inequality
• Reverse Holder, Minkowski, And Hanner Inequalities For Matrices
• Riemannian-geometric generalizations of quantum fidelities and Bures-Wasserstein distance
• Information geometry of bosonic Gaussian thermal states
• A new fidelity of quantum channel evolution and its geometric interpretation
• Some convexity and monotonicity results of trace functionals
• Variational Representations related to Quantum Rényi Relative Entropies
• Log-majorizations between quasi-geometric type means for matrices
• Conditions for Large-Sample Majorization of Pairs of Flat States in Terms of $\alpha$-z Relative Entropies