[論文レビュー] Non-commutative A-G mean inequality

Tomohiro Hayashi|ArXiv.org|May 1, 2008

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

ひとこと要約

本稿は、非可換 r 平均 $ M_r(A,B) = B^{1/2}(B^{-1/2}AB^{-1/2})^rB^{1/2} $ が、斉次性、双対性、および古典的な算術-幾何平均不等式に類似した作用素不等式を満たす唯一の作用素平均である、という一意的な特徴付けを確立する。$ r > 1 $ の場合、写像 $ M(A,B) $ が $ M(A,B) \geq rA + (1-r)B $、斉次性 $ M(tA,B) = t^r M(A,B) $、双対性 $ M(A,B)^{-1} = M(A^{-1},B^{-1}) $ を満たすならば、$ M = M_r $ である。同様の結果は $ 0 < r < 1 $ の場合にも成り立ち、幾何平均の新しい特徴付けを提供する。

ABSTRACT

In this paper we consider non-commutative analogue for the arithmeticgeometric mean inequality $$a^{r}b^{1-r}+(r-1)b\geq ra$$ for two positive numbers $a,b$ and $r&gt; 1$. We show that under some assumptions the non-commutative analogue for $a^{r}b^{1-r}$ which satisfies this inequality is unique and equal to $r$-mean. The case $0

研究の動機と目的

• 正の作用素に対する古典的な算術-幾何平均不等式の非可換類似を同定すること。
• 作用素不等式制約の下で特定の斉次性および双対性条件を満たす唯一の作用素平均として、r 平均 $ M_r(A,B) $ を証明すること。
• 特に $ r = 1/2 $ の場合の幾何平均に対して、特徴付けを $ 0 < r < 1 $ の場合に拡張すること。
• 作用素不等式および構造的公理を用いて、幾何平均の新しい特徴付けを提供すること。

提案手法

• 非可換類似としての $ a^r b^{1-r} $ の標準的候補として、r 平均 $ M_r(A,B) = B^{1/2}(B^{-1/2}AB^{-1/2})^rB^{1/2} $ を定義する。
• 二変数写像 $ M(A,B) $ に3つの公理を課す：斉次性 $ M(tA,B) = t^r M(A,B) $、双対性 $ M(A,B)^{-1} = M(A^{-1},B^{-1}) $、および $ r > 1 $ の場合の作用素不等式 $ M(A,B) \geq rA + (1-r)B $。
• スペクトル解析と作用素凸性を用いて、単位ベクトル上の二次形式を通じて $ M(A,B) $ と $ M_r(A,B) $ を比較する。
• 有限ランク射影を用いた摂動論を適用して、$ A^{-1/2}M(A,B)A^{-1/2} = A^{-1/2}M_r(A,B)A^{-1/2} $ を示し、これにより $ M = M_r $ を得る。
• 双対性と対称性を用いて、変換 $ X \mapsto X^{1/(r-1)} $ を通じて、$ 1 < r \leq 2 $ の場合に結果を拡張する。
• $ 0 < r < 1 $ の場合、不等式を逆転させて $ M(A,B) \leq rA + (1-r)B $ とし、同様の技法を適用して $ M = M_r $ を結論づける。

実験結果

リサーチクエスチョン

• RQ1 r 平均は、作用素不等式 $ M(A,B) \geq rA + (1-r)B $ の下で、斉次性および双対性を満たす $ a^r b^{1-r} $ の非可換類似として一意的か？
• RQ2 幾何平均は作用素不等式および構造的公理によって一意に特徴付けられるか？
• RQ3 特徴付けは $ 0 < r < 1 $ に拡張可能か、特に $ r = 1/2 $ の場合にそうか？
• RQ4 与えられた公理と不等式を満たす写像として r 平均が唯一のものか、それ以外の代替案があるか？

主な発見

• $ r > 1 $ の場合、$ M(A,B) \geq rA + (1-r)B $、$ M(tA,B) = t^r M(A,B) $、$ M(A,B)^{-1} = M(A^{-1},B^{-1}) $ を満たす任意の写像 $ M(A,B) $ は、r 平均 $ M_r(A,B) $ に等しい。
• $ 0 < r < 1 $ の場合、同じ公理に不等式を逆転させた $ M(A,B) \leq rA + (1-r)B $ を適用しても、依然として $ M = M_r(A,B) $ を強制する。
• r 平均は、提示された公理の下で作用素不等式の唯一の解として一意に特徴づけられ、非可換平均におけるその中心的役割を裏付ける。
• 幾何平均（$ r = 1/2 $）は、同じ公理と不等式 $ M(A,B) \leq \frac{1}{2}A + \frac{1}{2}B $ によっても一意に特徴づけられる。
• 証明は、二次形式の比較と有限ランク射影を用いた摂動論に依拠しており、$ M(A,B) $ と $ M_r(A,B) $ の等価性を強制する。
• 不等式が作用素順序ではなく、二次形式の意味での点ごとの不等式である場合でも、この結果は成立する。