Extensions of Lieb's concavity theorem

Abstract

The operator function (A,B)\to\tr f(A,B)(K^*)K, defined on pairs of bounded self-adjoint operators in the domain of a function f of two real variables, is convex for every Hilbert Schmidt operator K, if and only if f is operator convex. As a special case we obtain a new proof of Lieb's concavity theorem for the function (A,B)\to\tr A^pK^*B^{q}K, where p and q are non-negative numbers with sum p+q\le 1. In addition, we prove concavity of the operator function (A,B)\to \tr(A(A+μ_1)^{-1}K^* B(B+μ_2)^{-1}K) on its natural domain D_2(μ_1,μ_2), cf. Definition 4.1

The format of one reference is changed such that CiteBase can identify it

References in corpus (1)

• Trace functions as Laplace transforms

Cited by in corpus (14)

• Metric adjusted skew information
• A Matrix Convexity Approach to Some Celebrated Quantum Inequalities
• Operator log-convex functions and operator means
• Relations for certain symmetric norms and anti-norms before and after partial trace
• Metric adjusted skew information: Convexity and restricted forms of superadditivity
• On the joint convexity of the Bregman divergence of matrices
• Exponential clustering of bipartite quantum entanglement at arbitrary temperatures
• A volume inequality for quantum Fisher information and the uncertainty principle
• Generalized Wigner-Yanase Skew Information and the Affiliated Inequality
• Characterisation of matrix entropies
• Convexity of quantum ${\chi }^2$-divergence
• Convex multivariate operator means
• Quantum entropy derived from first principles
• Jointly convex quantum Jensen divergences