Singular values of products of positive operators: AZB and ZAB

These are sharp inequalities for singular values. More generally, for monotone pairs of positive operators A and B, there exist unitaries U and V such that2aba+bU|ZAB|U∗⩽|AZB|⩽a+b2abV|ZAB|V∗.