Related papers: Some inequalities of matrix power and Karcher mean…
Let $f$ be an operator convex function on $(0,\infty)$, and $\Phi$ be a unital positive linear maps on $B(H)$. we give a complementary inequality to Davis-Choi-Jensen's inequality as follows \begin{equation*} f(\Phi(A))\geq…
We prove inequalities on non-integer powers of products of generalized matrices functions on the sum of positive semi-definite matrices. For example, for any real number $r \in \{1\} \cup [2, \infty)$, positive semi-definite matrices $A_i,\…
We prove majorization inequalities for different means of positive definite matrices. These include the Cartan mean (the Karcher mean), the log Euclidean mean, the Wasserstein mean and the power mean.
We improve and generalize some operator inequalities for positive linear maps. It is shown, among other inequalities, that if $0<m\le B\le m'<M'\le A\le M$ or $0<m\le A\le m'<M'\le B\le M$, then for each $2\le p<\infty $ and $\nu \in \left[…
Let $\phi$ be a linear map from the $n\times n$ matrices ${\mathcal M}_n$ to the $m\times m$ matrices ${\mathcal M}_m$. It is known that $\phi$ is $2$-positive if and only if for all $K\in {\mathcal M}_n$ and all strictly positive $X\in…
We present some operator inequalities for positive linear maps that generalize and improve the derived results in some recent years. For instant, if $A$ and $B$ are positive operators and $m,m^{'},M,M^{'}$ are positive real numbers…
We present some properties of (not necessarily linear) positive maps between $C^*$-algebras. We first extend the notion of Lieb functions to that of Lieb positive maps between $C^*$-algebras. Then we give some basic properties and…
We prove that the known sufficient conditions on the real parameters $(p,q)$ for which the matrix power mean inequality $((A^p+B^p)/2)^{1/p}\le((A^q+B^q)/2)^{1/q}$ holds for every pair of matrices $A,B>0$ are indeed best possible. The proof…
The long run behaviour of linear dynamical systems is often studied by looking at eventual properties of matrices and recurrences that underlie the system. A basic problem that lies at the core of many questions in this setting is the…
The purpose of this paper is to present some general inequalities for operator concave functions which include some known inequalities as a particular case. Among other things, we prove that if $A\in \mathcal{B}\left( \mathcal{H} \right)$…
Let $\mu$ be a probability measure of compact support on the set $\mathbb{P}_n$ of all positive definite matrices, let $t\in(0,1]$, and let $P_t(\mu)$ be the unique positive solution of $X=\int_{\mathbb{P}_n}X\sharp_t Z d\mu(Z)$. In this…
Let $A, B$ be positive definite matrices, $p=1, 2$ and $r\ge 0$. It is shown that \begin{equation*} ||A+ B + r(A\sharp_t B+A\sharp_{1-t} B)||_p \le ||A+ B + r(A^{t}B^{1-t} + A^{1-t}B^t)||_p. \end{equation*} We also prove that for positive…
We obtain limit theorems for $\Phi(A^p)^{1/p}$ and $(A^p\sigma B)^{1/p}$ as $p\to\infty$ for positive matrices $A,B$, where $\Phi$ is a positive linear map between matrix algebras (in particular, $\Phi(A)=KAK^*$) and $\sigma$ is an operator…
We improve the operator Kantorovich inequality as follows: Let $A$ be a positive operator on a Hilbert space with $0<m\le A \le M$. Then for every unital positive linear map $\Phi$, \[\Phi(A^{-1})^2\le (\frac{(M+m)^2}{4Mm})^2\Phi(A)^{-2}.\]…
Assuming a unitarily invariant norm $|||\cdot|||$ is given on a two-sided ideal of bounded linear operators acting on a separable Hilbert space, it induces some unitarily invariant norms $|||\cdot|||$ on matrix algebras $\mathcal{M}_n$ for…
Let $A,B\in \mathbb{B}(\mathscr{H})$ be such that $0<b_{1}I \leq A \leq a_{1}I$ and $0<b_{2}I \leq B \leq a_{2}I$ for some scalars $0<b_{i}< a_{i},\;\; i=1,2$ and $\Phi:\mathbb{B}(\mathscr{H})\rightarrow\mathbb{B}(\mathscr{K})$ be a…
A linear map between matrix spaces is positive if it maps positive semidefinite matrices to positive semidefinite ones, and is called completely positive if all its ampliations are positive. In this article quantitative bounds on the…
Let $A$ and $ B$ be $n\times n$ positive definite complex matrices, let $\sigma$ be a matrix mean, and let $f : [0,\infty)\to [0,\infty)$ be a differentiable convex function with $f(0)=0$. We prove that $$f^{\prime}(0)(A \sigma B)\leq…
An algorithm for computing the Karcher mean of $n$ positive definite matrices is proposed, based on the majorization-minimization (MM) principle. The proposed MM algorithm is parameter-free, does not need to choose step sizes, and has a…
Power nonnegative matrices are defined as complex matrices having at least one nonnegative integer power. We exploit the possibility of deriving a Perron Frobenius-like theory for these matrices, obtaining three main results and drawing…