[论文解读] A matrix subadditivity inequality for symmetric norms

Jean-Christophe Bourin|ArXiv.org|Jun 8, 2009

Mathematical Inequalities and Applications参考文献 5被引用 5

一句话总结

本文建立了对称范数下的矩阵次可加性不等式：对于任意正规的 $ n \times n $ 矩阵 $ A $ 和 $ B $，以及任意非负凹函数 $ f $，在所有对称范数下均有 $ \|f(|A+B|)\| \leq \|f(|A|) + f(|B|)\| $ 成立。该结果将先前针对正算子的不等式推广至正规算子，适用于分块矩阵和扩张同构变换。

ABSTRACT

Well-known subadditivity results for positive operators (of Brown-Kosaki and Rotfeld/Ando-Zhan types) are extended to Hermitian and normal ones. Applications to Cartesian decomposition and block-matrices are given.

研究动机与目标

• 将已知的对称范数次可加性不等式从正算子推广至正规算子。
• 解决文献中关于此类不等式中 e-凸性假设必要性的开放猜想。
• 建立一个涉及对称范数、凹函数以及正规或厄米特算子的矩阵不等式的一般框架。
• 为分块矩阵和扩张变换提供新的范数不等式，推广先前的结果。
• 刻画满足 $ \|f(|\Phi(N)|)\| \leq \|\Phi(f(|N|))\| $ 的正线性映射 $ \Phi $ 的条件，推广至正规算子。

提出的方法

• 利用酉不变性与谱极大化，证明正规矩阵 $ A, B $ 与非负凹函数 $ f $ 下的主不等式 $ \|f(|A+B|)\| \leq \|f(|A|) + f(|B|)\| $。
• 通过将正规算子分解为实部与虚部，将问题约化为厄米特算子的情形。
• 应用对称（酉不变）范数理论与 Weyr 极大化，比较 $ f(|A+B|) $ 与 $ f(|A|) + f(|B|) $ 的特征值。
• 利用凹函数 $ f $ 满足 $ f(|z|) \leq f(|a|) + f(|b|) $ 对复数 $ z = a + ib $ 成立的性质，并将其推广至矩阵情形。
• 通过不等式 $ \|f(|Z^*AZ|)\| \leq \|Z^*f(|A|)Z\| $ 将结果推广至扩张变换，其中 $ Z $ 为扩张矩阵，$ A $ 为正规矩阵。
• 利用逼近技巧与谱分解，将结果从非负凹函数扩展至满足 $ f(0) \geq 0 $ 的函数，包括迹不等式。

实验结果

研究问题

• RQ1 能否在不依赖 e-凸性假设的前提下，将次可加性不等式 $ \|f(|A+B|)\| \leq \|f(|A|) + f(|B|)\| $ 从正算子推广至正规算子？
• RQ2 对称范数在保持凹函数作用于算子绝对值时的次可加性中起到何种作用？
• RQ3 分块矩阵结构与厄米特分块如何影响 $ f(|\mathbb{A}|) $ 与 $ \sum f(|A_{i,j}|) $ 之间范数比较？
• RQ4 在何种条件下，不等式 $ \|f(|Z^*AZ|)\| \leq \|Z^*f(|A|)Z\| $ 对扩张矩阵 $ Z $ 与正规算子 $ A $ 成立？
• RQ5 能否刻画正线性映射 $ \Phi $ 的类，使得对所有正规算子 $ N $ 与非负凹函数 $ f $，均有 $ \|f(|\Phi(N)|)\| \leq \|\Phi(f(|N|))\| $？

主要发现

• 主结果表明：对所有 $ n \times n $ 正规矩阵 $ A $、$ B $ 及任意非负凹函数 $ f $，在所有对称范数下均有 $ \|f(|A+B|)\| \leq \|f(|A|) + f(|B|)\| $ 成立。
• 该结果可推广至分块矩阵：对厄米特分块矩阵 $ \mathbb{A} = [A_{i,j}] $，有 $ \|f(|\mathbb{A}|)\| \leq \|\sum f(|A_{i,j}|)\| $，对所有对称范数成立。
• 对扩张矩阵 $ Z $ 与正规算子 $ A $，不等式 $ \|f(|Z^*AZ|)\| \leq \|Z^*f(|A|)Z\| $ 成立，推广了正算子的已知结果。
• 在相同条件下建立了迹不等式 $ \mathrm{Tr}\,f(|Z^*AZ|) \leq \mathrm{Tr}\,Z^*f(|A|)Z $，将 Rotfel’d 不等式推广至正规算子。
• 此前类似结果中所需的 e-凸性假设被证明是不必要的，解决了文献中的一个猜想。
• 该框架可统一处理次可加性与同构不等式，适用于矩阵平均与特征值极大化。