[論文レビュー] A note on the non-commutative arithmetic-geometric mean inequality

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

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

ひとこと要約

この論文は、$ n = 3k $ 個の正定値行列と $ m = 3 $ の場合に、非可換な行列の相加相乗平均の不等式を証明し、すべての三重積の正規化された和が、異なる添字を持つものに制限された和を支配することを示している。証明は、対称行列の不等式を用いた作用素ノルムの上限評価に基づき、$ 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éの非可換行列AGM不等式に関する予想（$ m=3 $、$ n=3k $ の場合）を解決すること。
• すべての三重積の作用素ノルムと、異なる添字を持つものに制限された三重積の作用素ノルムとの間の行列不等式を確立すること。
• $ 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のグループにブロック分解し、帰納ステップでは各グループを1つの行列として扱う。

実験結果

リサーチクエスチョン

• RQ1 $ m=3 $ および $ n=3k $（$ k $ は正の整数）のとき、非可換なAGM不等式は成り立つか？
• RQ2 $ n=m=3 $ の場合を、再帰的またはスケーリングの議論を用いて $ n=3k $ に拡張できるか？
• RQ3 補題2.1を4つの行列に一般化できるか？その一般化があれば、$ 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_0=3 $ から $ n=3k $ へのスケーリングが可能となり、任意の $ k \geq 1 $ に対して結果が拡張される。
• $ n=m=2 $ の場合は既に知られており、補題3.1により $ n=2k $、$ m=2 $ に対しても不等式が成り立つが、本研究の焦点ではない。
• 本論文では、$ m=4 $ への道筋として、新しい4行列不等式の予想を提示しているが、その証明は提供されていない。