[论文解读] Operator symmetric moduli and sharp triangle inequalities

Teng Zhang|arXiv (Cornell University)|Mar 1, 2026

Mathematical Inequalities and Applications被引用 0

一句话总结

该论文比较常规算子模|Z|、算术对称模|Z|sym 与二次对称模|Z|qsym，给出在单位不变范数下的尖常数等价与尖的三角型不等式，并且结果依赖于维数与范数，给出极值示例。

ABSTRACT

We compare the usual operator modulus with two symmetrized variants, the arithmetic symmetric modulus and the quadratic symmetric modulus. For every unitarily invariant norm, we determine sharp equivalence constants among these three moduli. We also establish sharp triangle-type inequalities for unitarily invariant norms, controlling sums of matrices by sums of symmetrized moduli, including optimal Schatten $p$-norm bounds and a phase transition phenomenon for the quadratic version. Explicit low-dimensional examples are provided to show that the constants are best possible. In particular, we answer two questions posed by Bourin and Lee in \cite{BL26b}.

研究动机与目标

• 表征三种模之间的尖常数关系：对任意 Z ∈ Mn，|Z|、|Z|sym、|Z|qsym 的关系常数.
• 给出单位不变范数下矩阵和的尖型三角不等式.
• 推导 Schatten p-范数及相关量的维数与范数依赖界限.
• 给出显式的 2x2 与 3x3 极值器以证明尖性并回答 Bourin 与 Lee 的问题。

提出的方法

• 利用平方根函数的运算子凹性/单调性比较模。
• 结合 Bourin–Uchiyama 的次可加性与 Ky Fan 控制性对正块矩阵的作用。
• 将二次对称模嵌入块矩阵以将估计转移到常规模。
• 运用 Schatten p-范数技术、扩张、对偶性与 Lieb–凹性获得尖常数。
• 构造明确的低维极值器（如 2x2 与 3x3 实例）以证实尖性。

实验结果

研究问题

• RQ1 存在常数 C1 与 C2 满足 |Z|1 与 |Z|2 的配对关系：C1|| |Z|1 || ≤ || |Z|2 || ≤ C2|| |Z|1 ||，对于三种模之间的配对吗？
• RQ2 在将 |•| 替换为 |•|sym 或 |•|qsym 时，单位不变范数下矩阵和的尖型三角不等式是否保持？
• RQ3 在 Schatten p-范数下，将各 Ak 的和与它们模的和相比的不等式的维数依赖常数是多少？
• RQ4 是否存在普适的支配常数用于通过酉共轭关系将 |X|qsym 与 |X|sym 联系起来？

主要发现

• 对于每个单位不变范数，1/2 ≤ || |Z|sym || / || |Z| || ≤ 1，且两端界值均为尖界。
• 对于每个单位不变范数，(√2)/2 ≤ || |Z|qsym || / || |Z| || ≤ √2，且两端界值均为尖界。
• || |Z|sym || ≤ || |Z|qsym || ≤ √2 || |Z|sym ||，且常数为尖值 1 与 √2。
• 尖的维数依赖细化：|| ∑ Ak || ≤ √(min{m,n}) || ∑ |Ak| ||，且该常数为尖。
• 和与和的不等式：|| ∑ Ak || ≤ 2 || ∑ |Ak|sym ||，以及 || ∑ Ak || ≤ √2 || ∑ |Ak|qsym ||，两者均为尖值常数。
• 对于 Schatten p-范数，|| ∑ Ak || ≤ 2^{1−1/p} || ∑ |Ak|sym ||，为尖值；并在 p = 2 处出现相位转变：当 1 ≤ p ≤ 2 时 || ∑ Ak || ≤ || ∑ |Ak|qsym ||，当 2 ≤ p ≤ ∞ 时 || ∑ Ak || ≤ 2^{1/2−1/p} || ∑ |Ak|qsym ||，均为尖值。