[論文レビュー] Reverses of the Young inequality for matrices and operators

Mojtaba Bakherad, Mario Krnić+1 more|arXiv (Cornell University)|Oct 8, 2014

Mathematical Inequalities and Applications参考文献 16被引用数 6

ひとこと要約

この論文は、行列および作用素論におけるヤング作用素不等式の逆不等式を確立し、ユニタリに不変なノルム、トレース、行列式、特異値を用いてより鋭い境界を提供する。主な結果として、ヒルベルト＝シュミットノルムにおけるヤングの逆不等式と、作用素平均を含む新しい逆不等式 $ A\nabla_{-r}B + 2r(A\nabla B - A\sharp B) \leq A\sharp_{-r}B $ が得られ、等号成立は $ A = B $ のときに限る。これは、正の作用素に対して特定の条件下で既知の不等式をより精密に拡張したものである。

ABSTRACT

We present some reverse Young-type inequalities for the Hilbert-Schmidt norm as well as any unitarily invariant norm. Furthermore, we give some inequalities dealing with operator means. More precisely, we show that if $A, B\in {\mathfrak B}(\mathcal{H})$ are positive operators and $r\geq 0$, $A abla_{-r}B+2r(A abla B-A\sharp B)\leq A\sharp_{-r}B$ and prove that equality holds if and only if $A=B$. We also establish several reverse Young-type inequalities involving trace, determinant and singular values. In particular, we show that if $A, B$ are positive definite matrices and $r\geq 0$, then $\label{reverse_trace} \mathrm{tr}((1+r)A-rB)\leq \mathrm{tr}|A^{1+r}B^{-r} |-r(\sqrt{\mathrm{tr} A} - \sqrt{\mathrm{tr} B})^{2}$.

研究の動機と目的

• 正の作用素および行列の文脈における古典的ヤング不等式の逆不等式を確立すること。
• ユニタリに不変なノルム、トレース、行列式、特異値を組み込むことにより、既存のヤング型不等式を精緻化すること。
• 特に負のパラメータを含む重み付き平均に関する作用素平均を含む新しい逆不等式を導出すること。
• ヒルツァラフ＝キッタンヒの不等式やコサキの不等式など既知の不等式を、数値的およびスペクトル的技法を用いてより鋭い境界を導入することで改善すること。

提案手法

• 特異値の性質と対数優勢化技術を用いたヤング逆不等式の導出。
• ビネート＝シュヴァイツァーの定理と行列式の恒等式を用いて、行列式を固有値および特異値に結びつける。
• 極分解とスペクトル論を用いて、関数計算における正の作用素の挙動を分析する。
• 幾何平均の一般化としての $ r $ パrameter族の平均 $ A\sharp_{-r}B $ を用い、逆不等式を導出する。
• 特異値の対数優勢化を分析するための $ k $ 階の合成行列 $ C_k(X) $ の利用。
• 特にヒルベルト＝シュミットノルムおよびユニタリに不変なノルムに対して、数値不等式および行列ノルムの性質に基づく証明技法。

実験結果

リサーチクエスチョン

• RQ1 正の作用素に特定の条件が課された場合、行列における古典的ヤング不等式は逆転可能か？
• RQ2 ヒルベルト＝シュミットノルムおよび他のユニタリに不変なノルムに対して、最も鋭い逆不等式は何か？
• RQ3 作用素平均を負のパラメータに拡張することで、新たな逆不等式を導出できるか？
• RQ4 パラメータ化された平均を用いることで、トレース、行列式、特異値の不等式はどの程度精緻化できるか？
• RQ5 対数優勢化は、行列積の逆不等式を導出する際に果たす役割は何か？

主な発見

• すべての $ r \geq 0 $ に対して不等式 $ A\nabla_{-r}B + 2r(A\nabla B - A\sharp B) \leq A\sharp_{-r}B $ が成り立ち、等号成立は $ A = B $ のときに限る。
• トレースに関するヤングの逆不等式が確立された：$ \mathrm{tr}((1+r)A - rB) \leq \mathrm{tr}\left|A^{1+r}B^{-r}\right| - r\left(\sqrt{\mathrm{tr}A} - \sqrt{\mathrm{tr}B}\right)^2 $。
• 正定値行列 $ A, B $ に対して、行列式は $ \mathrm{det}\left((1+r)B^{-1/2}AB^{-1/2} - rI_n\right) + r^n\mathrm{det}\left((B^{-1/2}AB^{-1/2})^{1/2} - I_n\right)^2 \leq \mathrm{det}(A)^{1+r}\mathrm{det}(B)^{-r} $ を満たす。
• 特異値は $ s(A^{1+r}XB^{1+r}) \succ_{\log} s^{1+r}(AXB)s^{-r}(X) $ を満たし、これは対数優勢化構造を示している。
• 不等式 $ \|A^\nu XB^{1-\nu}\|_2^2 + r_0^2\|AX - XB\|_2^2 \leq \|\nu AX + (1-\nu)XB\|_2^2 $ は、$ r_0 = \min\{\nu, 1-\nu\} $ を含む逆項を用いて鋭く改善された。
• 本論文では $ s_j(A^{1+r}B^{-r}) \geq (1+r)s_j(B^{-1/2}AB^{-1/2}) - r + r(s_j^{1/2}(B^{-1/2}AB^{-1/2}) - 1)^2 $ が証明され、特異値の下界が得られた。