A Counterexample to the Tang Zhang Schatten Norm Conjecture and Sharp Positive Results

技术摘要：对 Tang–Zhang Schatten 范数猜想的反例及精确正向结果

问题陈述
本文研究了关于矩阵之和的 Schatten $p$-范数与其绝对值之和的 Schatten $p$-范数之间不等式的精确常数 $c_p(m)$。具体而言，对于 $m \ge 2$ 且 $1 \le p \le \infty$，作者考虑以下不等式：
$$\left\| \sum_{k=1}^m A_k \right\|_p \le c_p(m) \left\| \sum_{k=1}^m |A_k| \right\|_p$$
其中 $A_k \in M_n(\mathbb{C})$，$|A| = (A^*A)^{1/2}$，且 $\|A\|_p = (\text{Tr}|A|^p)^{1/p}$。常数 $c_p(m)$ 定义为在所有维度 $n$ 和非零族 $(A_1, \dots, A_m)$ 上的上确界。

Tang 和 Zhang 此前确定了 $p=1, 2, \infty$ 时的精确值，并对所有有限的 $p > 1$ 提出了一个显式公式猜想。他们的猜想认为，精确常数由方程 $x^p - 2x - (m-1) = 0$ 的唯一根 $x_{p,m} > 1$ 导出的 $C^{TZ}_{p,m}$ 给出。已知该下界可以通过秩为 1 的等角族达到。核心问题在于：对于一般的矩阵和一般的 $p$，该猜想公式是否代表真实的精确常数。

研究方法
作者结合了显式代数构造、有理算术验证和变分分析：

1. 显式反例构造： 为了反驳该猜想，作者构造了一个特定的实 $2 \times 2$ 秩为 1 矩阵族（$m=2, n=2$）在 $p=3/2$ 时的情况。他们定义了向量 $e, u, v$ 以及矩阵 $A_1 = ee^T$ 和 $A_2 = uv^T$。
2. 有理认证： 作者没有依赖浮点近似，而是使用精确的有理算术计算了其反例的范数比值与所求猜想常数的比值。他们建立了七个严格的有理不等式，以证明所达到的比值严格大于猜想的常数。
3. 简化为标量优化问题： 对于正向结果，作者将矩阵不等式问题简化为一个标量优化问题。通过将秩为 1 的矩阵表示为 $A_k = r_k u_k v_k^*$，他们将 Schatten 范数与 Gram 矩阵 $L = U^*U$ 和 $G = V^*V$ 的特征值联系起来。这使得应用凸性论证和特征值主值化成为可能。
4. 针对 $p=4$ 的变分分析： 对于 $m=2$ 且 $p=4$ 的任意矩阵情况，作者利用极分解和酉不变性。他们展开了 $(H+K)^4$ 的迹（其中 $H=|A|, K=|B|$），并应用 Hölder 和 Cauchy–Schwarz 不等式来限制分子和分母，从而将问题简化为最大化一个二元函数。

主要贡献与结果

1. 对 Tang–Zhang 猜想的反驳：
   本文提供了一个确定的反例，表明 Tang–Zhang 猜想对于一般矩阵是不成立的。

   • 定理 1.1： 对于 $m=n=2$ 且 $p=3/2$，存在实秩为 1 矩阵 $A_1, A_2$，使得比值 $\frac{\|A_1+A_2\|_{3/2}}{\||A_1|+|A_2|\|_{3/2}}$ 严格大于 $207/200$。
   • 作者通过严格证明，所求的猜想常数 $C^{TZ}_{3/2, 2}$ 严格小于 $207/200$。因此，该公式无法给出精确常数，即使是在受限的秩为 1 矩阵类中也是如此。

2. 秩至多为 1 的求和项的精确上界 ($p \ge 2$)：
   尽管猜想在一般情况下失效，但作者证明了当限制在秩至多为 1 的矩阵族时，Tang–Zhang 公式在 $p \ge 2$ 时是精确的。

   • 定理 1.2： 对于 $m \ge 2$ 且 $2 \le p < \infty$，如果 $A_1, \dots, A_m$ 的秩至多为 1，则 $\|\sum A_k\|_p \le C^{TZ}_{p,m} \|\sum |A_k\|_p$。
   • 该常数在无维度限制的设定下是精确的，并在 $n \ge m$ 时达到。作者提供了等号成立情况的完整分类，这些情况要求右奇异向量 ($v_k$) 之间具有特定的内积结构，并且左奇异向量具有共同的列空间。
   • 推论 3.1： 针对秩为 1 矩阵的端点情况 $p=\infty$ 也得到了解决，其精确常数为 $\sqrt{m}$。

3. 任意矩阵的精确常数 ($m=2, p=4$)：
   作者确定了当 $p=4$ 时两个任意复矩阵的精确常数，移除了秩为 1 的限制。

   • 定理 1.3： 对于 $A, B \in M_n(\mathbb{C})$，不等式 $\|A+B\|_4^4 \le x^2(x+1)^2 \||A|+|B|\|_4^4$ 成立，其中 $x > 1$ 是 $x^4 - 2x - 1 = 0$ 的解。
   • 该常数等于 $(C^{TZ}_{4,2})^4$，这表明对于这个特定情况（$m=2, p=4$），Tang–Zhang 公式确实提供了正确的精确界限，即使对于全秩矩阵也是如此。当 $n \ge 2$ 时达到该界限。

意义与主张
本文声称解决了 Tang–Zhang 猜想的状态，即通过证明虽然该猜想公式并非对所有 $p > 1$ 普遍有效（在 $p=3/2$ 时失效），但在重要的特定情形下仍然是正确的精确界限：

• 对于所有 $p \ge 2$ 的秩为 1 族，它是精确的。
• 对于 $m=2$ 且 $p=4$ 的全矩阵情况，它是精确的。

这项工作强调了 Schatten 范数不等式的复杂性，表明精确常数的行为取决于求和项的指数 $p$ 和秩约束。作者强调，其反例是通过精确的有理算术进行认证的，避免了数值不确定性。本文得出结论：Tang–Zhang 公式虽然是一个由特定秩为 1 配置达到的有效下界，但并不是所有 $p > 1$ 的通用解。