[论文解读] Eigenvalues inequalities for convex and logconvex functions

Jaspal Singh Aujla Jean-Christophe Bourin|ArXiv.org|Jan 31, 2006

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

一句话总结

本文建立了凸函数与对数凸函数的经典特征值不等式在矩阵形式下的版本，证明了对于正半定矩阵及单调凹函数 $ f $，存在酉矩阵 $ U, V $，使得 $ f(A+B) \leq Uf(A)U^* + Vf(B)V^* $。其关键贡献是一项新的特征值算术-几何平均不等式：$ \prod_{j=1}^k \lambda_j^\uparrow(\sqrt{|AB|}) \leq \prod_{j=1}^k \lambda_j^\uparrow\left(\frac{A+B}{2}\right) $，对所有 $ k \leq n $ 成立，该不等式推广了行列式对数凹性性质。

ABSTRACT

Eigenvalues inequalities involving (log) convex/concav functions and Hermitian matrices, positive unital maps are considered. Simple proofs of Bhatia-Kittaneh inequality and Naimark dilation theorem are given.

研究动机与目标

• 将标量特征值不等式在凹函数与凸函数情形下推广至矩阵情形，采用酉共轭方法。
• 在允许酉共轭的条件下，将Choi对算子凸函数的不等式推广至单调凸函数。
• 推导对数凸函数在矩阵情形下的新特征值不等式，尤其涉及正定矩阵的乘积与算术-几何平均。
• 通过酉等价与范数控制关系，给出Bhatia-Kittaneh算术-几何平均不等式的简洁证明。
• 通过Bhatia-Kittaneh结果的逆变换，建立新的调和-几何平均特征值不等式。

提出的方法

• 利用酉共轭保持特征值控制关系，将Choi不等式推广至单调凸函数。
• 应用旋转原理（Rotfel’d）与迹不等式，推导 $ f(A+B) $ 的范数与迹界。
• 利用 $ A \circ B = (A \otimes B)_{\mathcal{E}} $（Kronecker积的压缩）的性质，将Hadamard积与特征值不等式关联。
• 通过极小化-极大原理与算子范数估计，利用单位向量 $ h $ 的 $ \|Ah\|\|Bh\| $ 控制 $ \lambda_k^\downarrow(|AB|) $。
• 应用Weyl定理于特征值乘积，比较 $ \prod \lambda_j^\downarrow(|A_1 \cdots A_m|^{1/m}) $ 与各矩阵特征值的对称平均。
• 通过酉共轭与Bhatia-Kittaneh结果的逆变换，推导主不等式 $ \prod_{j=1}^k \lambda_j^\uparrow(\sqrt{|AB|}) \leq \prod_{j=1}^k \lambda_j^\uparrow\left(\frac{A+B}{2}\right) $。

实验结果

研究问题

• RQ1 正凹函数的标量经典不等式 $ f(a+b) \leq f(a) + f(b) $ 能否通过酉变换推广至矩阵情形？
• RQ2 若允许酉共轭，Choi对算子凸函数的不等式是否对单调凸函数依然成立？
• RQ3 在矩阵情形下，对数凸函数会产生哪些特征值不等式，特别是涉及 $ \sqrt{|AB|} $ 与 $ \frac{A+B}{2} $ 的情形？
• RQ4 能否推导出一个推广行列式对数凹性性质的新矩阵算术-几何平均不等式？
• RQ5 是否存在关于 $ |A_1 \cdots A_m|^{1/m} $ 的迹不等式，使其迹不超过 $ A_i $ 迹的算术平均？

主要发现

• 对任意定义在 $ [0,\infty) $ 上的单调凹函数 $ f $ 且满足 $ f(0) \geq 0 $，以及所有 $ A,B \in \mathcal{S}_n $，存在酉矩阵 $ U,V $，使得 $ f(A+B) \leq Uf(A)U^* + Vf(B)V^* $。
• 不等式 $ \prod_{j=1}^k \lambda_j^\uparrow(\sqrt{|AB|}) \leq \prod_{j=1}^k \lambda_j^\uparrow\left(\frac{A+B}{2}\right) $ 对所有 $ k = 1,\dots,n $ 成立，推广了行列式对数凹性。
• 导出了一个调和-几何平均不等式：$ \prod_{j=1}^k \lambda_j^\downarrow(\sqrt{|AB|}) \geq \prod_{j=1}^k \lambda_j^\downarrow\left(\frac{2}{A^{-1}+B^{-1}}\right) $，对所有 $ k \leq n $ 成立。
• 通过基于酉矩阵的简短论证，结合算子范数与极小化-极大原理，重新证明了Bhatia-Kittaneh算术-几何平均不等式。
• 对 $ m $ 个正定矩阵 $ \{A_i\} $，有迹不等式 $ \text{tr}(|A_1\cdots A_m|^{1/m}) \leq \text{tr}\left(\frac{A_1+\cdots+A_m}{m}\right) $ 成立，且对 $ m $ 次幂有类似界。
• 本文猜想：对所有非负凹函数 $ f $，有 $ \|f(A+B)\| \leq \|f(A)+f(B)\| $，将Kosem近期结果推广至算子范数情形。