Reverse log-majorization for nonnegative matrix powers

About 1 year old · traced to

Let A,B≥0A,B\geq 0, and let p,q,rp,q,r be real parameters satisfying 0<p≤q0<p\leq q and r≥0r\geq 0. Here ≻log⁡\succ_{\log} denotes log-majorization. Reverse log-majorization conjecture. One has

Ar+qBq≻log⁡Ar(Ap/2BpAp/2)q/p.A^{r+q} B^q \succ_{\log} A^r \left( A^{p/2} B^p A^{p/2} \right)^{q/p}.

This is proposed as a reverse log-majorization statement complementing an earlier result in the paper, and as a route toward the preceding trace conjecture for s∈[1,2]s\in[1,2]. Its status is not resolved in the supplied text.

References

Primary source

Po-Chieh Liu and Hao-Chung Cheng, “On Araki-Type Trace Inequalities”, arXiv:2507.05242 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.