Reverse log-majorization for nonnegative matrix powers

From papers

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

Ar+qBqlogAr(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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.