[论文解读] Hermitian operators and convex functions

Jean-Christophe Bourin|ArXiv.org|Jan 13, 2006

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

一句话总结

本文为赫米特算子上的凸函数建立了Jensen不等式的矩阵版本，证明了对于任意凸函数 $f$，值 $f\left(\frac{A+B}{2}\right)$ 被 $f(A)$ 与 $f(B)$ 的平均值通过酉变换所主导，即存在酉矩阵 $U,V$ 使得 $f\left(\frac{A+B}{2}\right) \leq \frac{Uf(A)U^* + Vf(B)V^*}{2}$。该结果通过特征值主导关系和压缩技术，将经典凸性推广至算子理论。

ABSTRACT

Several inequalities for eigenvalues involving convex combinations and compressions are given. These inequalities are matrix version of the basic convexity inequality f((a+b)/2) < (f(a)+f(b))/2.

研究动机与目标

• 将标量凸性不等式推广至一般凸函数的矩阵情形。
• 建立推广赫米特矩阵Jensen不等式的算子不等式。
• 通过基于酉变换的主导框架，填补现有结果的空白，该框架适用于所有凸函数，而不仅限于单调或偶函数。
• 通过压缩技术与酉共轭，推导出特征值交错关系。
• 在统一的酉主导框架下，整合并扩展已知的迹不等式（如Brown-Kosaki、Hansen-Pedersen）。

提出的方法

• 引入一种新的压缩不等式：对任意赫米特矩阵 $A$、子空间 ${\cal E}$ 及凸函数 $f$，存在 ${\cal E}$ 上的酉矩阵 $U,V$，使得 $f(A_{\cal E}) \leq \frac{1}{2}(Uf(A)_{\cal E}U^* + Vf(A)_{\cal E}V^*)$。
• 利用谱分解将子空间 ${\cal E}$ 分解为 $f$ 单调的两部分，从而应用极值原理。
• 应用极值原理，通过 $f(A)_{\cal E}$ 的特征值来控制 $f(A_{\cal E})$ 的特征值，进而实现酉等价与主导关系。
• 通过在谱子空间上进行分块对角化，构造酉矩阵 $U$ 和 $V$，以满足主导不等式。
• 利用等距列与部分等距算子推导定理2.1与2.2，将压缩结果推广至加权平均与凸组合情形。
• 建立压缩结果（定理1.1）与凸组合结果（定理2.1–2.2）之间的等价性，表明该框架具有普遍适用性。

实验结果

研究问题

• RQ1 是否可以为所有凸函数（而不仅限于单调或偶函数）建立Jensen不等式的矩阵版本？
• RQ2 即使 $f$ 不是单调函数，是否仍能通过酉变换主导 $f\left(\frac{A+B}{2}\right)$ 与 $f(A)$ 和 $f(B)$ 的平均值？
• RQ3 在矩阵情形下，此类酉主导关系会引出怎样的特征值交错关系？
• RQ4 如何利用压缩不等式 $f(A_{\cal E}) \leq \frac{1}{2}(Uf(A)_{\cal E}U^* + Vf(A)_{\cal E}V^*)$ 推导出迹不等式？
• RQ5 酉主导框架是否能够统一已知的迹不等式，如Brown-Kosaki与Hansen-Pedersen？

主要发现

• 对任意凸函数 $f$、赫米特矩阵 $A,B$ 及 $X = f\left(\frac{A+B}{2}\right)$、$Y = \frac{f(A)+f(B)}{2}$，存在酉矩阵 $U,V$ 使得 $X \leq \frac{1}{2}(U Y U^* + V Y V^*)$。
• 这意味着特征值主导关系成立：对所有 $j \geq 1$，有 $\lambda_{2j-1}(X) \leq \lambda_j(Y)$，其中特征值按递减顺序排列。
• 该结果推广了冯诺依曼迹不等式，并将已知的单调凸函数结果扩展至所有凸函数。
• 对任意子空间 ${\cal E}$ 与凸函数 $f$，压缩不等式 $f(A_{\cal E}) \leq \frac{1}{2}(Uf(A)_{\cal E}U^* + Vf(A)_{\cal E}V^*)$ 成立，其中 $U,V$ 为 ${\cal E}$ 上的酉矩阵。
• 该框架在统一的酉主导不等式下，整合并扩展了Brown-Kosaki与Hansen-Pedersen迹不等式。
• 对无限维算子，主不等式在任意小的正扰动 $rI$ 下仍成立，且保持特征值顺序不变。