[论文解读] A generalisation of Mirsky's singular value inequalities

Koenraad M. R. Audenaert|arXiv (Cornell University)|Oct 18, 2014

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

一句话总结

本文通过引入满足 $ f(0) = 0 $ 的正凹函数 $ f $，推广了 Mirsky 的奇异值不等式，证明了对于任意 $ n \times n $ 复矩阵 $ X $ 和 $ Y $，其差的奇异值经 $ f $ 变换后的和满足不等式 $ \sum_{k=1}^m |f(\sigma_{i_k}(X)) - f(\sigma_{i_k}(Y))| \leq \sum_{k=1}^m f(\sigma_k(X - Y)) $。关键贡献在于利用 Thompson-Freede 不等式和钩函数逼近，提出了一种新颖且初等的证明方法。

ABSTRACT

We prove an f-version of Mirsky's singular value inequalities for differences of matrices. This f-version consists in applying a positive concave function f, with f(0)=0, to every singular value in the original Mirsky inequalities.

研究动机与目标

• 通过在奇异值上应用满足 $ f(0) = 0 $ 的正凹函数 $ f $，推广 Mirsky 的奇异值不等式。
• 解决 W. Miao 关于奇异值的 $ f $-版本 Mirsky 型不等式的猜想。
• 提供 Thompson-Freede 不等式 $ f $-版本的全新、初等证明，独立于先前的泛函演算方法。
• 建立一个涉及 $ f(\sigma_i(X)) $、$ f(\sigma_i(Y)) $ 和 $ f(\sigma_k(X - Y)) $ 的奇异值不等式，适用于任意递增的指标序列。

提出的方法

• 通过将任意满足 $ f(0) = 0 $ 的正凹函数 $ f $ 逼近为钩函数 $ h_t(x) = \min(x, t) $ 的正线性组合，证明奇异值的 $ f $-版本 Thompson-Freede 不等式。
• 将证明简化为验证特定钩函数 $ f(x) = \min(x, 1) $ 的情形，利用缩放和连续性论证。
• 将原始的 Thompson-Freede 不等式应用于由 $ X $、$ Y $ 和 $ X - Y $ 构造的 Wielandt 矩阵的特征值，利用其谱对称性。
• 基于在 $ I_{AL} $、$ I_{CL} $、$ I_{AR} $、$ I_{CR} $ 中的成员关系，将指标划分为四个不相交的集合 $ K_1, K_2, K_3, K_4 $，以推导并求和各分量不等式。
• 将 $ K_1, K_2, K_3, K_4 $ 上的不等式组合，重构完整的 $ f $-版本 Thompson-Freede 不等式。
• 利用奇异值满足原始 Thompson-Freede 不等式的恒等式，通过泛函逼近将其提升至 $ f $-版本。

实验结果

研究问题

• RQ1 Mirsky 的奇异值不等式能否推广至任意满足 $ f(0) = 0 $ 的正凹函数 $ f $ 作用于奇异值的情形？
• RQ2 W. Miao 关于奇异值的 $ f $-版本 Mirsky 型不等式的猜想是否对所有此类函数 $ f $ 成立？
• RQ3 是否存在一种初等证明方法，可避免使用高级泛函演算，来证明奇异值的 $ f $-版本 Thompson-Freede 不等式？
• RQ4 能否仅通过原始不等式、指标划分和泛函逼近，推导出 Thompson-Freede 不等式的 $ f $-版本？
• RQ5 证明奇异值 $ f $-版本不等式所需的最少矩阵分析工具集是什么？

主要发现

• 奇异值的 $ f $-版本 Mirsky 不等式成立：对于任意 $ n \times n $ 复矩阵 $ X, Y $、递增指标序列 $ (i_k) $ 和 $ m \leq n $，有 $ \sum_{k=1}^m |f(\sigma_{i_k}(X)) - f(\sigma_{i_k}(Y))| \leq \sum_{k=1}^m f(\sigma_k(X - Y)) $。
• W. Miao 关于 $ f $-版本 Mirsky 不等式的猜想得到证实，解决了矩阵分析中的一个开放问题。
• 通过钩函数 $ h_t(x) = \min(x, t) $ 的泛函逼近，建立了 Thompson-Freede 不等式 $ f $-版本的证明，问题被简化为验证 $ f(x) = \min(x, 1) $ 的情形。
• 主要结果仅通过原始 Thompson-Freede 不等式和初等的基于指标的划分方法推导得出，无需依赖如 Bourin-Uchiyama 定理等高级工具。
• 该证明方法自包含，不依赖酉扩张或算子凸性论证，为先前方法提供了更简单的替代方案。
• 该结果对所有满足 $ f(0) = 0 $ 的正凹函数 $ f $ 成立，且不等式在特定矩阵配置下可趋近于等式，表明其紧致性。