A negative exponent range for Audenaert's complementary McCarthy trace inequality

技术摘要：关于 Audenaert 互补 McCarthy 迹不等式负指数范围的研究

问题陈述
本文针对涉及正矩阵 $A$ 和 $B$ 的迹不等式理论中的一个特定空白进行了研究。Audenaert 此前建立了涉及混合项 $\text{Tr}(A^{1/2}BA^{1/2})^{q/2}$ 的互补型 McCarthy 类不等式。已知的结论涵盖了特定的指数 $q$ 范围：

• 反向不等式 ($\ge$)：对于 $0 < q \le 1$ 且 $2 \le q \le 3$ 时成立。
• 直接不等式 ($\le$)：对于 $q \le -2$ 时成立。
  $-2 < q < 0$ 和 $q \ge 3$ 的范围在 Audenaert 和 Kittaneh 的问题列表中被留作猜想。本研究的主要目标是解决负指数范围 $-2 < q < 0$ 的猜想，并澄清正范围 $q \ge 3$ 的状态。

方法论
作者采用了算子理论技术，特别侧重于矩阵均值和对数主优势化（log-majorization）：

1. 反转与平行和（Parallel Sum）： 对于负指数情况（$q < 0$），作者令 $q = -r$（其中 $r > 0$），并进行反转操作，设 $X = A^{-1}$ 且 $Y = B^{-1}$。这使得问题转化为建立关于平行和 $X : Y = (X^{-1} + Y^{-1})^{-1}$ 的迹不等式。
2. Kubo–Ando 均值： 证明利用了 Kubo–Ando 均值的链式关系，特别是调和均值（$X!Y$）、几何均值（$X\#Y$）与算术均值之间的关系。不等式 $X!Y \le X\#Y \le (X+Y)/2$ 是推导的核心。
3. 对数主优势化： 作者应用了一种 Ando–Hiai 型对数主优势化结果（引理 2.1），该结果将几何均值 $X\#Y$ 的特征值与乘积 $X^{1/2}Y^{1/2}$ 的奇异值联系起来。这使得通过 Schatten 拟范数来界定涉及几何均值的迹项成为可能。
4. Schatten Hölder 不等式： 使用有限维 Schatten Hölder 不等式来将混合项 $\|X^{1/2}Y^{1/2}\|_r^r$ 限制在 $\text{Tr}(X^r)$ 和 $\text{Tr}(Y^r)$ 的范围内。
5. 范数压缩不等式： 对于正指数情况，作者利用 Audenaert 现有的关于正半定 $2 \times 2$ 分块矩阵的范数压缩不等式来直接导出结果，而非开发新的矩阵不等式。

主要贡献与结果

• 解决负指数猜想： 本文证明了对于所有 $q < 0$（而不只是 $q \le -2$），不等式
  $$\text{Tr}(A+B)^q \le \text{Tr}(A^q) + \text{Tr}(B^q) + (2q-2)\text{Tr}(A^{1/2}BA^{1/2})^{q/2}$$
  均成立。这解决了猜想范围 $-2 < q < 0$。

  • 中间结果： 作者首先建立了关于平行和的一个单参数非对称迹不等式（定理 3.1），然后将其特化为对称情况（定理 3.3），从而得到了最优系数 $2 - 2^{-r}$（当 $q=-r$ 时等价于 $2q-2$）。

• 澄清正指数范围： 本文表明，对于所有 $q \ge 2$，不等式
  $$\text{Tr}(A+B)^q \ge \text{Tr}(A^q) + \text{Tr}(B^q) + (2q-2)\text{Tr}(A^{1/2}BA^{1/2})^{q/2}$$
  均成立。这涵盖了猜想范围 $q \ge 3$，并将已知界限从 $q \ge 3$ 强化到了 $q \ge 2$。作者指出，这是一个基于文献观察的结果，是从 Audenaert 的范数压缩结果中直接推导出的，而非一种新的分块矩阵不等式。

• 等号成立条件： 本文对负指数范围下的等号成立情况进行了严格表征。经证明，当且仅当 $A = B$ 时，等号成立。证明过程涉及分析 Kubo–Ando 均值链及对数主优势化步骤中的等号成立条件，表明 $X:Y = \frac{1}{2}(X\#Y)$ 蕴含 $X=Y$。

意义与主张
本文声称解决了 Audenaert–Kittaneh 问题列表中关于负指数范围 $-2 < q < 0$ 的特定开放问题。作者强调，负指数部分是本工作的“新贡献”，依赖于对平行和迹不等式和对数主优势化技术的创新应用。

关于正指数范围，作者谦虚地将其贡献描述为一种“文献观察”，旨在澄清自然端点 $q=2$，并确认 $q \ge 3$ 的情况可以直接从已建立的范数压缩结果中得出。本文并未提出新的应用或未来的实验方向，而是专注于这些特定迹不等式猜想的理论解决。