[论文解读] Reverses of the Young inequality for matrices and operators

Mojtaba Bakherad, Mario Krnić+1 more|arXiv (Cornell University)|Oct 8, 2014

Mathematical Inequalities and Applications参考文献 16被引用 6

一句话总结

本文在矩阵与算子理论中建立了杨不等式（Young operator inequality）的逆不等式，利用酉不变范数、迹、行列式及奇异值提供了更紧致的界。主要成果包括：针对希尔伯特-施密特范数的逆杨不等式，以及一个涉及算子均值的新逆不等式：$ A\nabla_{-r}B + 2r(A\nabla B - A\sharp B) \leq A\sharp_{-r}B $，当且仅当 $ A = B $ 时取等，该结果在正算子的特定条件下扩展并改进了已知不等式，提升了精度。

ABSTRACT

We present some reverse Young-type inequalities for the Hilbert-Schmidt norm as well as any unitarily invariant norm. Furthermore, we give some inequalities dealing with operator means. More precisely, we show that if $A, B\in {\mathfrak B}(\mathcal{H})$ are positive operators and $r\geq 0$, $A abla_{-r}B+2r(A abla B-A\sharp B)\leq A\sharp_{-r}B$ and prove that equality holds if and only if $A=B$. We also establish several reverse Young-type inequalities involving trace, determinant and singular values. In particular, we show that if $A, B$ are positive definite matrices and $r\geq 0$, then $\label{reverse_trace} \mathrm{tr}((1+r)A-rB)\leq \mathrm{tr}|A^{1+r}B^{-r} |-r(\sqrt{\mathrm{tr} A} - \sqrt{\mathrm{tr} B})^{2}$.

研究动机与目标

• 在正算子与矩阵的背景下，建立经典杨不等式的逆不等式。
• 通过引入酉不变范数、迹、行列式及奇异值，改进现有的杨型不等式。
• 推导涉及算子均值的新逆不等式，特别是针对加权均值中负参数的情形。
• 通过引入数值与谱技术，改进已知不等式（如 Hirzallah-Kittaneh 和 Kosaki 的结果），获得更紧致的界。

提出的方法

• 利用对数极大化技术与奇异值性质，推导逆杨不等式。
• 应用 Binet-Cauchy 定理与行列式恒等式，将矩阵表达式与特征值及奇异值关联。
• 运用极分解与谱理论，分析正算子在函数演算下的行为。
• 采用 $ r $-参数族均值 $ A\sharp_{-r}B $，推广几何平均并推导逆不等式。
• 利用 $ k $-阶复合矩阵 $ C_k(X) $ 分析奇异值的对数极大化。
• 基于数值不等式与矩阵范数性质的证明技术，尤其针对希尔伯特-施密特范数与酉不变范数。

实验结果

研究问题

• RQ1 在正算子的特定条件下，矩阵的古典杨不等式是否可被逆向？
• RQ2 希尔伯特-施密特范数及其他酉不变范数的最紧致逆不等式是什么？
• RQ3 如何将算子均值推广至负参数，以获得新的逆不等式？
• RQ4 在参数化均值下，迹、行列式与奇异值不等式可被多大程度地优化？
• RQ5 对数极大化在推导矩阵积的逆不等式中起到何种作用？

主要发现

• 对所有 $ r \geq 0 $，不等式 $ A\nabla_{-r}B + 2r(A\nabla B - A\sharp B) \leq A\sharp_{-r}B $ 成立，且当且仅当 $ A = B $ 时取等。
• 建立了迹的逆杨不等式：$ \mathrm{tr}((1+r)A - rB) \leq \mathrm{tr}\left|A^{1+r}B^{-r}\right| - r\left(\sqrt{\mathrm{tr}A} - \sqrt{\mathrm{tr}B}\right)^2 $。
• 对正定矩阵 $ A, B $，有 $ \mathrm{det}\left((1+r)B^{-1/2}AB^{-1/2} - rI_n\right) + r^n\mathrm{det}\left((B^{-1/2}AB^{-1/2})^{1/2} - I_n\right)^2 \leq \mathrm{det}(A)^{1+r}\mathrm{det}(B)^{-r} $。
• 奇异值满足 $ s(A^{1+r}XB^{1+r}) \succ_{\log} s^{1+r}(AXB)s^{-r}(X) $，表明存在对数极大化结构。
• 不等式 $ \|A^\nu XB^{1-\nu}\|_2^2 + r_0^2\|AX - XB\|_2^2 \leq \|\nu AX + (1-\nu)XB\|_2^2 $ 被改进，其中包含一个涉及 $ r_0 = \min\{\nu, 1-\nu\} $ 的逆向项。
• 本文证明了 $ s_j(A^{1+r}B^{-r}) \geq (1+r)s_j(B^{-1/2}AB^{-1/2}) - r + r(s_j^{1/2}(B^{-1/2}AB^{-1/2}) - 1)^2 $，为奇异值提供了下界。