[论文解读] A note on the non-commutative arithmetic-geometric mean inequality

Teng Zhang|arXiv (Cornell University)|Nov 18, 2014

Mathematical Inequalities and Applications参考文献 2被引用 3

一句话总结

本文证明了当 $ m = 3 $ 时，对 $ n = 3k $ 个正定矩阵的非交换矩阵算术-几何平均不等式，确立了所有三重乘积的归一化和主导于仅涉及不同下标三重乘积的归一化和。证明通过对称矩阵不等式使用算子范数界，并利用递归分解论证，将结果从 $ n = m = 3 $ 扩展至 $ n = 3k $。

ABSTRACT

This note proves the following inequality: if $n=3k$ for some positive integer $k$, then for any $n$ positive definite matrices $A_1,A_2,\cdots,A_n$, \begin{equation} \frac{1}{n^3}\Big\|\sum_{j_1,j_2,j_3=1}^{n}A_{j_1}A_{j_2}A_{j_3}\Big\| \geq \frac{(n-3)!}{n!} \Big\|\sum_{\substack{j_1,j_2,j_3=1,\\ ext{$j_1$, $j_2$, $j_3$ all distinct}}}^{n}A_{j_1}A_{j_2}A_{j_3}\Big\|, \end{equation} where $\|\cdot\|$ represents the operator norm. This inequality is a special case of a recent conjecture by Recht and Ré.

研究动机与目标

• 解决 Recht 和 Ré 关于 $ m=3 $ 且 $ n=3k $ 时非交换矩阵 AGM 不等式的猜想。
• 建立一个涉及所有三重乘积算子范数与仅含不同下标三重乘积算子范数的矩阵不等式。
• 通过缩放与分解论证，将 $ n=m=3 $ 的情形推广至更大的 $ n=3k $。
• 为使用无放回抽样分析随机算法的收敛性提供基础。
• 识别出将结果推广至 $ m=4 $ 及其他酉不变范数的开放问题。

提出的方法

• 将不等式简化为在均匀随机排列抽样下，证明期望乘积 $ \mathbb{E}[\mathbf{A}_{i_1}\mathbf{A}_{i_2}\mathbf{A}_{i_3}] $ 的算子范数有界。
• 应用引理 2.1，证明对对称正定矩阵有 $ \mathbf{A}_{i_1}\mathbf{A}_{i_2}\mathbf{A}_{i_3} + \mathbf{A}_{i_3}\mathbf{A}_{i_2}\mathbf{A}_{i_1} \leq \mathbf{A}_{i_1}\mathbf{A}_{i_2}\mathbf{A}_{i_1} + \mathbf{A}_{i_3}\mathbf{A}_{i_2}\mathbf{A}_{i_3} $。
• 利用引理 2.2 证明当 $ \mathbf{A} \leq \mathbf{B} $ 时，有 $ \mathbf{C}\mathbf{A}\mathbf{C} \leq \mathbf{C}\mathbf{B}\mathbf{C} $，从而实现范数比较。
• 推导出在约束 $ \sum \mathbf{A}_j \leq \mathbf{I} $ 下的不等式 $ (\mathbf{A}_{i_1} + \mathbf{A}_{i_3})\mathbf{A}_{i_2}(\mathbf{A}_{i_1} + \mathbf{A}_{i_3}) \leq (\mathbf{A}_{i_1} + \mathbf{A}_{i_3})(\mathbf{I} - \mathbf{A}_{i_1} - \mathbf{A}_{i_3})(\mathbf{A}_{i_1} + \mathbf{A}_{i_3}) $。
• 通过引理 3.1 将 $ n=m=3 $ 的结果推广至 $ n=3k $，该引理表明若不等式对 $ (n_0, m_0) $ 成立，则对 $ (k n_0, m_0) $ 也成立。
• 在归纳步骤中，将下标集合划分为 $ k $ 个大小为 3 的组，将每组视为单个矩阵处理。

实验结果

研究问题

• RQ1 非交换 AGM 不等式是否对 $ m=3 $ 且 $ n=3k $（$ k $ 为正整数）成立？
• RQ2 是否能通过递归或缩放论证将 $ n=m=3 $ 的情形推广至 $ n=3k $？
• RQ3 是否存在引理 2.1 的四矩阵推广，从而可证明 $ m=4 $ 的情形？
• RQ4 该不等式能否推广至所有酉不变范数，而不仅限于算子范数？
• RQ5 该猜想成立的最小 $ n $ 和 $ m $ 条件是什么？它是否对 $ m=4 $ 成立？

主要发现

• 该不等式对 $ m=3 $ 且 $ n=3k $ 成立，从而证明了该特定情形下的猜想。
• 在约束 $ \sum \mathbf{A}_j \leq \mathbf{I} $ 下，期望乘积 $ \mathbb{E}[\mathbf{A}_{i_1}\mathbf{A}_{i_2}\mathbf{A}_{i_3}] $ 的上界为 $ \frac{1}{n^3}\mathbf{I} $。
• 证明依赖于对称矩阵不等式，以及 $ \mathbf{A}_{i_1} + \mathbf{A}_{i_3} \leq \mathbf{I} - \mathbf{A}_{i_2} $ 的事实，从而通过引理 2.2 实现范数支配。
• 通过引理 3.1，结果可扩展至 $ n=3k $，该引理允许从 $ n_0=3 $ 缩放至任意 $ k \geq 1 $ 的 $ n=3k $。
• $ n=m=2 $ 的情形已知成立，且引理 3.1 暗示该不等式对 $ n=2k $、$ m=2 $ 也成立，尽管这并非本文的重点。
• 本文识别出通过新四矩阵不等式猜想实现 $ m=4 $ 推广的潜在路径，但未提供证明。