Skip to main content

All Questions

Tagged with or
Filter by
Sorted by
Tagged with
2 votes
0 answers
160 views

An "almost" true inequality for Hermitian matrices

Let $A$ be an $N\times N$ Hermitian matrix. For $p+q$ even, consider the following inequality: $$\frac{1}{N}\sum_{i=1}^N (A^p)_{ii} (A^q)_{ii} \geq \Big(\frac{1}{N}\sum_{i=1}^N (A^p)_{ii} \Big) \Big(\...
3 votes
0 answers
261 views

Inequalities involving traces of products of hermitian positive semidefinite matrices

$\DeclareMathOperator{\tr}{tr}$ Fix an integer $n \geq 2$. Let $A_1, \dotsc, A_n$ be hermitian positive semidefinite matrices, with each $A_i$ being $m$ by $m$. Consider the symmetric group $S_n$ on $...
0 votes
0 answers
61 views

An inequality regarding operator concave function

Crossposted from math.SE Let $\mathbb P_n$ be the space of all $n \times n$ self-adjoint positive definite matrices. Consider the function $\varphi: \mathbb P_n \longrightarrow \mathbb R$ defined by $...
2 votes
0 answers
198 views

Equality condition for Araki–Lieb–Thirring inequality

I'd like to have the equality condition in the Araki–Lieb–Thirring inequality $$\operatorname{Tr} [(BAB)^r]\leq \operatorname{Tr} [(B^{r}A^{r}B^{r})],$$ valid for $A,B$ semidefinite positive and $r\...