[論文レビュー] Operator inequalities and gyrolines of the weighted geometric means

Sejong Kim|arXiv (Cornell University)|Sep 22, 2020

Mathematical Inequalities and Applications参考文献 31被引用数 5

ひとこと要約

本稿は、正定値作用素における2種類の重み付き幾何平均、標準幾何平均 $A\#_t B$ とスペクトル幾何平均 $A\natural_t B$ を調査する。両者間に成分ごとの全単射関係を確立し、新しい半距離 $d(A,B) = 2\|\log(A^{-1}\#B)\|_2$ の下でスペクトル幾何平均が距離の中点として機能することを証明するとともに、$2\times2$ 行列および密度行列に対して明示的な公式を導出する。主な貢献は、作用素不等式および幾何的性質を通じて、これらの平均をギャロ群構造と双曲幾何に結びつけることにある。

ABSTRACT

We consider in this paper two different types of the weighted geometric means of positive definite operators. We show the component-wise bijection of these geometric means and give a geometric property of the spectral geometric mean as a metric midpoint. Moreover, several interesting inequalities related with the geometric means of positive definite operators will be shown. We also see the meaning of weighted geometric means in the gyrogroup structure with finite dimension and find the formulas of weighted geometric means of 2-by-2 positive definite matrices and density matrices.

研究の動機と目的

• 正定値作用素の標準幾何平均 $A\#_t B$ とスペクトル幾何平均 $A\natural_t B$ の間の成分ごとの全単射関係を確立すること。
• 新しい半距離 $d(A,B) = 2\|\log(A^{-1}\#B)\|_2$ の下でスペクトル幾何平均を距離の中点として特徴づけること。
• 有限次元のギャロ群構造における重み付き幾何平均の役割と、双曲幾何における幾何的解釈を調査すること。
• $2\times2$ 正定値行列および可逆密度行列の重み付き幾何平均の明示的閉形式表現を導出すること。
• 新しい半距離 $d$ とリーマントレース距離 $\delta$ を比較し、作用素不等式を確立する。特に、アンドウ＝ヒアイの不等式の十分条件を提示すること。

提案手法

• トレース距離の下でのリーマン幾何測地線として、標準重み付き幾何平均を $A\#_t B = A^{1/2}(A^{-1/2}BA^{-1/2})^t A^{1/2}$ と定義する。
• 固有値に基づく構成により、幾何平均を一般化するスペクトル幾何平均 $A\natural_t B = (A^{-1}\#B)^t A (A^{-1}\#B)^t$ を導入する。
• スペクトル分解と作用素単調性を用いて、$A\#_t B$ と $A\natural_t B$ の間の成分ごとの全単射関係を確立する。
• 新しい半距離 $d(A,B) = 2\|\log(A^{-1}\#B)\|_2$ を定義し、$A\natural_{1/2}B$ がこの距離の下で一意の中点であることを証明する。
• ギャロ群理論を用いて、正定値行列の錐および可逆密度行列をギャロベクトル空間としてモデル化し、幾何平均をギャロラインおよびコギャロライン曲線に関連付ける。
• 固有値分解とトレース恒等式を用いて、$2\times2$ 正定値行列および密度行列の明示的線形結合公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 標準幾何平均 $A\#_t B$ とスペクトル幾何平均 $A\natural_t B$ は、どのように成分ごとの全単射関係で結びついているか？
• RQ2 新しい半距離 $d(A,B) = 2\|\log(A^{-1}\#B)\|_2$ の下で、スペクトル幾何平均 $A\natural B$ は距離の中点として特徴づけられるか？
• RQ3 重み付き幾何平均は、正定値作用素および密度行列のギャロ群構造において、どのように代数的および幾何的に機能するか？
• RQ4 $2\times2$ 正定値行列および可逆密度行列の重み付き幾何平均の明示的閉形式表現は何か？
• RQ5 新しい半距離 $d$ とリーマントレース距離 $\delta$ はどのように比較できるか？両者の間に成り立つ作用素不等式は何か？

主な発見

• スペクトル幾何平均 $A\natural B$ は、半距離 $d(A,B) = 2\|\log(A^{-1}\#B)\|_2$ の下で $A$ と $B$ の一意な距離の中点である。
• 標準幾何平均 $A\#_t B$ は、リーマントレース距離 $\delta(A,B) = \|\log(A^{-1/2}BA^{-1/2})\|_2$ の下で一意なリーマン測地線の中点である。
• 任意の $A,B \in \mathbb{P}_n$ に対して、不等式 $d(A,B) \leq \delta(A,B)$ が成り立ち、等号が成り立つのは $A$ と $B$ が可換である場合に限る。
• 成分ごとの全単射関係は、スペクトル分解と対数関数およびべき関数の作用素単調性を用いて確立される。
• $2\times2$ 正定値行列および可逆密度行列に対して、$A\#_t B$ と $A\natural_t B$ の明示的公式が、単位行列とトレースゼロ行列の線形結合として導出された。
• アンドウ＝ヒアイの不等式が、スペクトル幾何平均を関連付ける十分条件を用いて拡張され、対数マジョライゼーションおよびユニタリに不変なノルムと結びつけられた。