[論文レビュー] Improvements of some operator inequalities involving positive linear maps via the Kantorovich constant

Leila Nasiri, Mojtaba Bakherad|arXiv (Cornell University)|Jan 6, 2018

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

ひとこと要約

この論文は、カントロビッチ定数を用いて、正の線形写像を含む作用素不等式を改善し、スペクトルの制約下で加重算術平均と幾何平均の鋭い逆不等式を確立する。$ p \geq 2 $ に対して先行研究を一般化し、カントロビッチ定数およびその変種を用いてより緊密な境界を与える。

ABSTRACT

We present some operator inequalities for positive linear maps that generalize and improve the derived results in some recent years. For instant, if $A$ and $B$ are positive operators and $m,m^{'},M,M^{'}$ are positive real numbers satisfying either one of the condition $ 0

研究の動機と目的

• 正の線形写像の下で作用素平均に関する最近の逆不等式を精緻化・一般化すること。
• カントロビッチ型不等式の有効範囲を $ p \leq 2 $ から $ p \geq 2 $ へ拡張し、既存の境界を改善すること。
• スペクトルの制約を組み合わせたカントロビッチ定数を用いて、アンドウの不等式の新しい逆不等式を提供すること。
• スペクトル制約とカントロビッチ定数を用いて、作用素平均および正の線形写像に関する先行結果を統合・強化すること。

提案手法

• スペクトルの制約 $ 0 < m \leq B \leq m' < M' \leq A \leq M $ の下で、カントロビッチ定数 $ K(h) = \frac{(1+h)^2}{4h} $（$ h = \frac{M}{m} $）を用いて、$ \Phi^p(A \nabla_\nu B + 2rMm(A^{-1} \nabla B^{-1} - A^{-1} \sharp B^{-1})) $ の新しい不等式を導出する。
• 上界を鋭くするために、修正された定数 $ \left( \frac{K(h)}{4^{\frac{2}{p}-1} K^{r_1}(\sqrt{h'})} \right)^p $（$ r_1 = \min\{2r, 1-2r\} $）を導入し、$ \Phi^p(A \sharp_\nu B) $ の上界を改善する。
• Lowner-Heinz定理とスペクトル写像を用いて、正のユニタル線形写像下での作用素平均とその変換を関連付ける。
• スペクトル $ C = A^{-1/2} B A^{-1/2} $ に対して、不等式 $ \nu t^{1-\nu} + (1-\nu)\lambda_0 t^{-\nu} \leq \mu_0 $ を用い、$ \mu_0, \lambda_0 $ をスペクトルの制約から導出する。
• 修正された算術-幾何平均不等式とカントロビッチ定数を組み合わせ、アンドウの不等式の逆不等式を導出する。
• セオの研究から得られる定数 $ K(m,M,\nu) $ を用い、$ K(h)^{-r} $ と組み合わせることで、$ \Phi(A) \sharp_\nu \Phi(B) \leq K(m,M,\nu)^{-1} K(h)^{-r} \Phi(A \sharp_\nu B) $ の逆不等式の境界を改善する。

実験結果

リサーチクエスチョン

• RQ1 カントロビッチ定数を用いて、逆不等式 $ \Phi^p\left(\frac{A+B}{2}\right) \leq K^p(h) \Phi^p(A \sharp B) $ を $ p \geq 2 $ に拡張し、より良い定数を得ることは可能か？
• RQ2 スペクトル制約下で、$ A \nabla_\nu B $ と $ A \sharp_\nu B $ を含む不等式をカントロビッチ定数でどのように精緻化できるか？
• RQ3 スペクトル比 $ h $ とパラメータ $ r = \min\{\nu, 1-\nu\} $ を同時に組み込むことで、アンドウの不等式の逆不等式を改善することは可能か？
• RQ4 $ p \geq 2 $ に対して、$ \Phi^p(A \nabla_\nu B + 2rMm(A^{-1} \nabla B^{-1} - A^{-1} \sharp B^{-1})) $ の $ \Phi^p(A \sharp_\nu B) $ に関する最適な定数は何か？
• RQ5 作用素 $ A $ と $ B $ がスペクトルで分離している場合、すなわち $ M_1 < m_2 $ または $ M_2 < m_1 $ のとき、アンドウの不等式の逆不等式は強化可能か？

主な発見

• スペクトルの制約 $ 0 < m \leq B \leq m' < M' \leq A \leq M $ の下で、$ p \geq 2 $ に対して不等式 $$ \Phi^p\left(A \nabla_\nu B + 2rMm(A^{-1} \nabla B^{-1} - A^{-1} \sharp B^{-1})\right) \leq \left( \frac{K(h)}{4^{\frac{2}{p}-1} K^{r_1}(\sqrt{h'})} \right)^p \Phi^p(A \sharp_\nu B) $$ が成り立つ。ここで $ r_1 = \min\{2r, 1-2r\} $、$ h = \frac{M}{m} $、$ h' = \frac{M'}{m'} $、$ K(h) = \frac{(1+h)^2}{4h} $ である。
• 同じ境界は $ (\Phi(A) \sharp_\nu \Phi(B))^p $ に対しても成り立ち、画像および画像の平均の両方に対して一様に成り立つことを示している。
• アンドウの不等式の逆不等式は、$ \Phi(A) \sharp_\nu \Phi(B) \leq K(m,M,\nu)^{-1} K(h)^{-r} \Phi(A \sharp_\nu B) $ に改善され、$ M_1 < m_2 $ の条件下で $ h = \frac{m_2^2}{M_1^2} $ とし、$ K(h) $ は $ (1, \infty) $ で増加する。
• 定数 $ \left( \frac{K(h)}{4^{\frac{2}{p}-1} K^{r_1}(\sqrt{h'})} \right)^p $ は、$ p \geq 2 $ に対して従来の定数よりも鋭く、特に $ h' > 1 $ のとき $ K^{r_1}(\sqrt{h'}) $ が減少するため、より緊密な境界を与える。
• $ \nu = \frac{1}{2} $ のとき、この結果はセオの不等式の精緻化版に還元され、幾何平均の画像に対する境界が $ K(h)^{-1/2} $ によって改善される。
• 特に $ h' > 1 $ のとき、$ K^{r_1}(\sqrt{h'}) $ が $ h' $ と共に増加するため、全体の定数が小さくなり、逆不等式が著しく強化される。