1 problem

Let $X$ and $Y$ be positive operators, and for $p\geq2$ define the weighted power mean $(tX^p+(1-t)Y^p)^{1/p}$ for $0\leq t\leq1$. Power-mean monotonicity conjecture. The function…