Some convexity and monotonicity results of trace functionals

Abstract

In this paper, we prove the convexity of trace functionals $$(A,B,C)\mapsto \text{Tr}|B^{p}A{C}^q{|}^s,$$ for parameters $(p,q,s)$ that are best possible, where $B$ and $C$ are any $n$-by-$n$ positive definite matrices, and $A$ is any $n$-by-$n$ matrix. We also obtain the monotonicity versions of trace functionals of this type. As applications, we extend some results in \cite{HP12quasi,CFL16some} and resolve a conjecture in \cite{RZ14} in the matrix setting. Other conjectures in \cite{RZ14} will also be discussed. We also show that some related trace functionals are not concave in general. Such concavity results were expected to hold in different problems.

arXiv comment16 pages. Revised based on the report of the referee

References in corpus (7)

• Sandwiched Rényi Divergence Satisfies Data Processing Inequality
• alpha-z-relative Renyi entropies
• Operator log-convex functions and operator means
• From Wigner-Yanase-Dyson conjecture to Carlen-Frank-Lieb conjecture (New title)
• Inequalities for quantum divergences and the Audenaert-Datta conjecture
• Trace functions as Laplace transforms
• Characterizing Schwarz maps by tracial inequalities