Lets sayLet $A$ and $B$ arebe two Hermitian matrices with positive eigenvalues.
Let say Let $k>0$ isbe a integer.
Let Let $P=(P_1,P_2,\cdots,P_k)$$P=(P_1,P_2,\dots,P_{2k})$ be an arbitrarya sequence of $k$ $A$s and $k$ $B$s in any given order.
Is there a trace inequality in form of
$tr\,\prod^{k}_{i=1} P_i \leq $ $tr\,A^k B^k$Do we have ${\rm tr}\,\prod^{2k}_{i=1} P_i \leq {\rm tr}\,A^k B^k$ ?