[论文解读] Problems and Conjectures in Matrix and Operator Inequalities

Katrien Audenaert, Fuad Kıttaneh|arXiv (Cornell University)|Jan 25, 2012

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

一句话总结

本文提出了一组经过精心筛选的矩阵与算子不等式中的开放问题与猜想，聚焦于分数次幂和酉不变范数的泛函分析性质。研究探讨了非交换次可加性、互补不等式，以及通过矩阵表述的多项式几何性质，主要贡献包括利用D-相伴矩阵与循环矩阵重新表述森多夫猜想，以及关于范数界与特征值分布的未解问题。

ABSTRACT

We present a treasure trove of open problems in matrix and operator inequalities, of a functional analytic nature, and with various degrees of hardness.

研究动机与目标

• 为泛函分析领域的研究人员整理一份全面但具有选择性的矩阵与算子不等式中具有挑战性的开放问题集。
• 研究非交换次可加性不等式在凹函数与酉不变范数下的有效性及其推广。
• 探索超越柯朗托维奇型界线的互补不等式，特别是那些在矩阵与多项式理论中具有几何解释的不等式。
• 利用矩阵理论工具（如D-相伴矩阵与循环矩阵）重新表述多项式几何中的经典猜想，尤其是森多夫猜想。
• 确定涉及具有指定谱与奇异值的厄米特矩阵、正规矩阵及压缩矩阵的逆特征值问题的必要与充分条件。

提出的方法

• 利用酉不变范数与正半定及正规矩阵的谱性质，推广经典次可加性不等式。
• 应用Schatten p-范数与奇异值理论，分析涉及分数次幂的不等式，例如 $||| |A+B|^p ||| \leq ||| |A|^p + |B|^p |||$ 对于 $0 < p \leq 1$。
• 采用D-相伴矩阵构造，将多项式的根与导数的特征值联系起来，从而实现森多夫猜想的重新表述。
• 利用循环矩阵结构，推导出导数根作为主子矩阵特征值的新表征方式。
• 应用函数演算与数值域理论，分析 $\|p(A)\|$ 的界，以 $\sup\{|p(\mu)| : \mu \in W(A)\}$ 表示，如克鲁泽猜想所述。
• 利用酉相似变换与控制理论技术，探讨涉及 $f(|A+B|)$ 与 $f(|A|)+f(|B|)$ 的不等式，重点关注最优常数界。

实验结果

研究问题

• RQ1 对于所有 $A, B \in \mathbb{M}_n(\mathbb{C})$ 与所有非负凹函数 $f$，不等式 $|||f(|A+B|)||| \leq c \, |||f(|A|)+f(|B|)|||$ 是否在给定酉不变范数下对某个通用常数 $c$ 成立？
• RQ2 不等式 $\sigma_i(A^p B^{1-p} + B^p A^{1-p}) \leq \sigma_i(A + B)$ 是否对所有正半定矩阵 $A, B$ 与 $0 < p < 1$ 成立？
• RQ3 次可加性不等式 $|||f(A+B)||| \leq |||f(A) + f(B)|||$ 是否可推广至所有凹函数 $f$，而无需假设单调性？
• RQ4 在定理2的条件下，是否存在单位阵 $U, V$，使得 $0 \leq f(A+B) - Uf(A)U^* \leq Vf(B)V^*$ 成立？
• RQ5 对于所有矩阵 $A$ 与多项式 $p$，最小常数 $k$ 是多少，使得 $\|p(A)\| \leq k \sup\{|p(\mu)| : \mu \in W(A)\}$ 成立？

主要发现

• 对于所有正半定矩阵 $A, B$ 与 $0 < p \leq 1$，不等式 $||| |A+B|^p ||| \leq ||| |A|^p + |B|^p |||$ 在任意酉不变范数下成立。
• 对于Frobenius范数，李猜想在非正规情形下的最优常数为 $c = \sqrt{(1 + \sqrt{2})/2} \approx 1.207$，尽管目前最佳已知界为 $c = \sqrt{2}$。
• 森多夫猜想等价于：当所有 $\lambda_i$ 落在单位圆盘内时，D-相伴矩阵 $D(I - J/n)$ 的特征值位于闭单位圆盘内。
• 具有根 $\lambda_i$ 的多项式 $p(z)$ 的导数的根，即为一个循环矩阵 $C$ 的主子矩阵 $C'$ 的特征值，其中 $C$ 的特征值为 $\lambda_i$。
• 不等式 $\sigma_i(A^p B^{1-p} + A^{1-p} B^p) \leq \sigma_i(A + B)$ 在 $p = 1/2$ 时已知成立，但对一般 $p \in (0,1)$ 仍为开放问题。
• 克鲁泽猜想提出存在一个通用常数 $k$，使得 $\|p(A)\| \leq k \sup\{|p(\mu)| : \mu \in W(A)\}$，目前最佳已知界猜想为 $k = 2$。