Related papers: On Araki-Type Trace Inequalities
For positive definite matrices $A$ and $B$, the Araki-Lieb-Thirring inequality amounts to an eigenvalue log-submajorisation relation for fractional powers $$\lambda(A^t B^t) \prec_{w(\log)} \lambda^t(AB), \quad 0<t\le 1,$$ while for…
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…
It is known that for a completely positive and trace preserving (cptp) map ${\cal N}$, $\text{Tr}$ $\exp$$\{ \log \sigma$ $+$ ${\cal N}^\dagger [\log {\cal N}(\rho)$ $-\log {\cal N}(\sigma)] \}$ $\leqslant$ $\text{Tr}$ $\rho$ when $\rho$,…
The Golden-Thompson trace inequality which states that $Tr\, e^{H+K} \leq Tr\, e^H e^K$ has proved to be very useful in quantum statistical mechanics. Golden used it to show that the classical free energy is less than the quantum one. Here…
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…
In this short paper, we show a certain matrix trace inequality and then give a refinement of the trace inequality proven by Belmega, Lasaulce and Debbah. In addition, we give an another improvement of their trace inequality.
Sobolev trace inequalities on nonhomogeneous fractional Sobolev spaces are established.
We prove several trace inequalities that extend the Golden-Thompson and the Araki-Lieb-Thirring inequality to arbitrarily many matrices. In particular, we strengthen Lieb's triple matrix inequality. As an example application of our four…
In what follows we improve an inequality related to matrix theory. T. Laffey proved (2013) a weaker form of this inequality [2].
We prove a trace Hardy type inequality with the best constant on the polyhedral convex cones which generalizes recent results of Alvino et al. and of Tzirakis on the upper half space. We also prove some trace Hardy-Sobolev-Maz'ya type…
Let f be a non-negative concave function on the positive half-line. Let A and B be two positive matrices. Then, for all symmetric norms, || f(A+B) || is less than || f(A)+f(B) ||. When f is operator concave, this was proved by Ando and…
In this short paper, we study some trace inequalities of the products of the matrices and the power of matrices by the use of elementary calculations.
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…
For positive semidefinite $n\times n$ matrices $A$ and $B$, the singular value inequality $(2+t)s_{j}(A^{r}B^{2-r}+A^{2-r}B^{r})\leq 2s_{j}(A^{2}+tAB+B^{2})$ is shown to hold for $r=\frac{1}{2}, 1, \frac{3}{2}$ and all $-2<t\leq 2$.
Several matrix/operator inequalies are given. Most of them are unexpected extensions of the Araki Log-majorization theorem, obtained thanks to a new log-majorization for positive linear maps and normal operators (Theorem 2.9). The main idea…
Let $\mathcal{S}$ be the set of all positive-definite, symmetrizable integer matrices with non-zero upper and lower diagonal and $\mathcal{T}$ to be the set of all positive-definite real symmetric matrices with nonzero upper diagonal such…
We use nearly parallel pure states to characterize positive linear functionals $\phi$ on $\mathbb{M}_n$ as positive multiples of the trace if and only if $\phi(A \natural B) \leq \sqrt{\phi(A) \phi(B)}$ for all positive definite matrices…
Let $u(\cdot,\cdot)$ be the Caffarelli-Silvestre extension of $f.$ The first goal of this article is to establish the fractional trace type inequalities involving the Caffarelli-Silvestre extension $u(\cdot,\cdot)$ of $f.$ In doing so,…
Some subadditivity results involving symmetric (unitarily invariant) norms are obtained. For instance, if $g(t)=\sum_{k=0}^m a_kt^k$ is a polynomial of degree $m$ with non-negative coefficients, then, for all positive operators $A,\,B$ and…
We prove that for $\alpha \in (d-1,d]$, one has the trace inequality \begin{align*} \int_{\mathbb{R}^d} |I_\alpha F| \;d\nu \leq C |F|(\mathbb{R}^d)\|\nu\|_{\mathcal{M}^{d-\alpha}(\mathbb{R}^d)} \end{align*} for all solenoidal vector…