Generalizations for singular value and arithmetic-geometric mean inequalities of operators (Q2183632)

Let \(n\) be a natural number, \(A_{i}, B_{i}, X_{i}, Y_{i}\) be compact operators on a complex Hilbert space for \(i=1,2,\dots,n\) such that \(X_{i}\) and \(Y_{i}\) are positive. Then the following singular value inequality is obtained: \[ 2s_{j}\left(\sum_{i=1}^{n}A_{i}X_{i}^{\frac{1}{2}} Y_{i}^{\frac{1}{2}}B_{i}^{*}\right)\leq s_{j}^{2}(W) \] for \(j=1,2,\dots\), where \[W=\begin{bmatrix} A_{1}X_{1}^{\frac{1}{2}} & \cdots & A_{n}X_{n}^{\frac{1}{2}} \\ B_{1}Y_{1}^{\frac{1}{2}} & \cdots & B_{n}Y_{n}^{\frac{1}{2}} \end{bmatrix}.\] It interpolates the singular value inequalities \[ 2s_{j}(AB^{*})\leq s_{j}(A^{*}A+B^{*}B) \] and \[ s_{j}(A-B)\leq s_{j}(A\oplus B), \] which were shown in [\textit{W. Audeh}, Adv. Oper. Theory 5, No. 2, 371--381 (2020; Zbl 1444.47033)] and [\textit{X.-Z. Zhan}, SIAM J. Matrix Anal. Appl. 22, No. 3, 819--823 (2001; Zbl 0985.15016)], respectively. Moreover, the above main result gives sharper inequalities than the inequalities \[ s_{j}(AXB^{*})\leq \frac{\|X\|}{2} s_{j}(|A|^{2}+|B|^{2}) \] and \[ s_{j}(AXA^{*}-BXB^{*})\leq \|X\| s_{j}(A^{*}A\oplus B^{*}B) \] for all compact operators \(A,B,X\) such that \(X\) is positive. These were shown in [\textit{H. Albadawi}, Ann. Funct. Anal. 3, No. 1, 10--18 (2012; Zbl 1270.47013)]. The main result is a generalization of several other singular value inequalities.