Related papers: Convexity of a certain operator trace functional

We consider convex trace functions $\Phi_{p,q,s} = Trace[ (A^{q/2}B^p A^{q/2})^s]$ where $A$ and $B$ are positive $n\times n$ matrices and ask when these functions are convex or concave. We also consider operator convexity/concavity of…

In this paper, we prove the convexity of trace functionals $$(A,B,C)\mapsto \text{Tr}|B^{p}AC^{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…

We revisit and prove some convexity inequalities for trace functions conjectured in the earlier part I. The main functional considered is \Phi_{p,q}(A_1,A_2,...,A_m) = (trace((\sum_{j=1}^m A_j^p)^{q/p}))^{1/q} for m positive definite…

We consider both known and not previously studied trace functions with applications in quantum physics. By using perspectives we obtain convexity statements for different notions of residual entropy, including the entropy gain of a quantum…

Employing the notion of operator log-convexity, we study joint concavity$/$ convexity of multivariable operator functions: $(A,B)\mapsto F(A,B)=h\left[ \Phi(f(A))\ \sigma\ \Psi(g(B))\right]$, where $\Phi$ and $\Psi$ are positive linear maps…

In this paper we show that for a non-negative operator monotone function $f$ on $[0, \infty)$ such that $f(0)= 0$ and for any positive semidefinite matrices $A$ and $B$, $$ Tr((A-B)(f(A)-f(B))) \le Tr(|A-B|f(|A-B|)). $$ When the function…

We study geometric properties of trace functionals that generalize those in [Zhang, Adv. Math. 365:107053 (2020)], arising from a novel family of conditional entropies with applications in quantum information. Building on new convexity…

We refine Epstein's method to prove joint concavity/convexity of matrix trace functions of Lieb type $\mathrm{Tr}\,f(\Phi(A^p)^{1/2}\Psi(B^q)\Phi(A^p)^{1/2})$ and symmetric (anti-) norm functions of the form…

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…

For any densely defined, lower semi-continuous trace \tau on a C*-algebra A with mutually commuting C*-subalgebras A_1, A_2, ... A_n, and a convex function f of n variables, we give a short proof of the fact that the function (x_1, x_2,…

We consider the following trace function on n-tuples of positive operators: \Phi_p(A_1,A_2,...,A_n) = Trace (\sum_{j=1}^n A_j^p)^{1/p} and prove that it is jointly concave for 0<p\le 1 and convex for p=2. We then derive from this a…

Certain trace inequalities related to matrix logarithm are shown. These results enable us to give a partial answer of the open problem conjectured by A.S.Holevo. That is, concavity of the auxiliary function which appears in the random…

In this paper we study the joint convexity/concavity of the trace functions \[ \Psi_{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…

In this paper, we obtain the subadditivity inequality of strongly operator convex functions on $(0, \infty)$ and $(-\infty,0)$. Applying the properties of operator convex functions, we deduce the subadditivity property of operator monotone…

We introduce the notion of $k$-trace and use interpolation of operators to prove the joint concavity of the function $(A,B)\mapsto\text{Tr}_k\big[(B^\frac{qs}{2}K^*A^{ps}KB^\frac{qs}{2})^{\frac{1}{s}}\big]^\frac{1}{k}$, which generalizes…

Let $p$ be a positive number and $h$ a function on $\mathbb{R}^+$ satisfying $h(xy) \ge h(x) h(y)$ for any $x, y \in \mathbb{R}^+$. A non-negative continuous function $f$ on $K (\subset \mathbb{R}^+)$ is said to be {\it operator…

In the present article, it is proved that every nuclear operator in a locally convex space E has a well-defined trace if E possesses the approximation property. However, even if a space possesses the approximation property this still does…

The joint convexity of the map $(X,A) \mapsto X^* A^{-1} X$, an integral representation of operator convex functions, and an observation of Ando are used to obtain a simple proof of both the joint convexity of relative entropy and a trace…

We obtain operator concavity (convexity) of some functions of two or three variables by using perspectives of regular operator mappings of one or several variables. As an application, we obtain, for $ 0<p < 1,$ concavity, respectively…

Given a positive function $f$ on $(0,\infty)$ and a non-zero real parameter $\theta$, we consider a function $I_f^\theta(A,B,X)=Tr X^*(f(L_AR_B^{-1})R_B)^\theta(X)$ in three matrices $A,B>0$ and $X$. In the literature $\theta=\pm1$ has been…