[论文解读] Concave functions of positive operators, sums and congruences

Jean-Christophe Bourin, Lee, Eun-Young|ArXiv.org|Apr 5, 2008

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

一句话总结

本文在扩张同构与和的条件下，为正算子的凹函数建立了统一的算子不等式，证明了对于非负凹函数 $f$，当 $Z_i$ 为扩张算子时，对称范数满足 $\|f(\sum Z_i^* A_i Z_i)\| \leq \|\sum Z_i^* f(A_i) Z_i\|$。该结果推广了次可加性与同构不等式，并在可逆性假设下扩展至无穷维希尔伯特空间。

ABSTRACT

Subaddivity type matrix inequalities for concave funcions and symetric norms are given.

研究动机与目标

• 统一并推广两个已知的算子范数不等式：$f(A+B)$ 的次可加性与扩张 $Z$ 的同构不等式。
• 建立一个单一、全面的不等式，涵盖正算子上凹函数的次可加性与扩张同构行为。
• 利用酉不变范数与算子理论方法，将这些结果扩展至无穷维情形。
• 基于 Ky Fan 范数与对称范数的性质，提供一种无需依赖复杂积分表示的初等证明。

提出的方法

• 以 Ky Fan $k$-范数为基础，通过谱控制关系证明对称范数不等式。
• 通过共轭与算子凹函数的逼近，将一般情形约化为非负凸函数 $g$ 的情形。
• 应用 Hansen 不等式于算子凹函数的形式 $f(Z^*AZ) \geq Z^*f(A)Z^*$，并将其适配至扩张 $Z$ 的情形。
• 通过一族具有算子凹逆的函数 $h_r(t)$ 逼近任意凹函数 $f$，以将结果推广至一般 $f$。
• 利用事实：若对所有对称范数均有 $\|X\| \leq \|Y\|$，则对递增凸函数 $g$ 有 $\|g(X)\| \leq \|g(Y)\|$，此由 Ky Fan 原理保证。
• 利用对应于前 $k$ 个最大特征值的谱投影 $E$，将迹不等式约化为 Ky Fan 范数的界。

实验结果

研究问题

• RQ1 能否在对称范数下，将 $f(A+B)$ 的次可加性与扩张 $Z$ 的同构不等式统一于同一框架？
• RQ2 对于所有非负凹函数 $f$ 与扩张 $Z_i$，不等式 $\|f(\sum Z_i^* A_i Z_i)\| \leq \|\sum Z_i^* f(A_i) Z_i\|$ 是否成立？
• RQ3 该统一不等式能否扩展至无穷维希尔伯特空间中的算子？
• RQ4 对称范数与 Ky Fan 范数在证明此类不等式时起到何种作用，且无需依赖积分表示？
• RQ5 正定性与 $Z$ 的扩张性假设如何影响 $f(Z^*AZ)$ 不等式的方向？

主要发现

• 主要结果，定理 3.1，证明了对于正算子 $A_i$ 与扩张算子 $Z_i$，对所有对称范数与非负凹函数 $f$，有 $\|f(\sum Z_i^* A_i Z_i)\| \leq \|\sum Z_i^* f(A_i) Z_i\|$ 成立。
• 该不等式同时推广了次可加性结果 $\|f(A+B)\| \leq \|f(A)+f(B)\|$ 与扩张同构不等式 $\|f(Z^*AZ)\| \leq \|Z^*f(A)Z\|$ 作为特例。
• 证明过程简洁明了，避免使用积分表示，转而依赖 Ky Fan 范数与谱投影。
• 对于算子范数，当 $Z_i$ 可逆且扩张时，该结果可扩展至无穷维希尔伯特空间。
• 推论 3.2 给出了凸函数的对偶不等式：若 $g$ 为凸函数且 $g(0)=0$，则 $\|\sum Z_i^* g(A_i) Z_i\| \leq \|g(\sum Z_i^* A_i Z_i)\|$，当 $Z_i=I$ 时，此即恢复了 Kosem 的结果。
• 本文提供了定理 2.1（扩张同构）的新证明，该证明可推广至无穷维情形，克服了早期证明的局限性。