[論文レビュー] A matrix subadditivity inequality for symmetric norms

Jean-Christophe Bourin|ArXiv.org|Jun 8, 2009

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

ひとこと要約

本稿では、対称ノルムに関して、正規行列に対する行列の劣加法性不等式を確立する。任意の正規 $ n \times n $ 行列 $ A $ および $ B $、および任意の非負の凹関数 $ f $ に対して、すべての対称ノルムにおいて $ \|f(|A+B|)\| \leq \|f(|A|) + f(|B|)\| $ が成り立つ。この結果は、正作用素に対する既知の不等式を正規作用素へ一般化し、ブロック行列や拡張的同型変換への応用を含む。

ABSTRACT

Well-known subadditivity results for positive operators (of Brown-Kosaki and Rotfeld/Ando-Zhan types) are extended to Hermitian and normal ones. Applications to Cartesian decomposition and block-matrices are given.

研究の動機と目的

• 正作用素に対する既知の対称ノルムに関する劣加法性不等式を、正規作用素へ拡張すること。
• このような不等式における e-凸性仮定の必要性に関する文献上の未解決予想を解明すること。
• 対称ノルム、凹関数、および正規またはエルミート作用素を含む行列不等式の一般枠組みを確立すること。
• ブロック行列および拡張的変換に対する新しいノルム不等式を提供し、既存の結果を一般化すること。
• 正規作用素 $ N $ および非負の凹関数 $ f $ に対して、すべての正線形写像 $ \Phi $ について $ \|f(|\Phi(N)|)\| \leq \|\Phi(f(|N|))\| $ が成り立つような条件を同定すること。

提案手法

• 正規行列 $ A, B $ および非負の凹関数 $ f $ に対して、主不等式 $ \|f(|A+B|)\| \leq \|f(|A|) + f(|B|)\| $ を、ユニタリ不変性およびスペクトルの主要化を用いて証明する。
• 正規作用素を実部と虚部に分解することで、問題をエルミート作用素へ還元する。
• 対称（ユニタリ不変）ノルムの理論および Weyr の主要化を用いて、$ f(|A+B|) $ と $ f(|A|) + f(|B|) $ の固有値を比較する。
• 凹関数 $ f $ に対して、複素数 $ z = a + ib $ に対して $ f(|z|) \leq f(|a|) + f(|b|) $ が成り立つことを利用し、これを行列へ拡張する。
• 拡張的 $ Z $ および正規 $ A $ に対して、不等式 $ \|f(|Z^*AZ|)\| \leq \|Z^*f(|A|)Z\| $ を用いて結果を拡張的同型変換へ一般化する。
• 近似法およびスペクトル分解を用いて、$ f(0) \geq 0 $ を満たす非負の凹関数へ結果を拡張し、トレース不等式を含む。

実験結果

リサーチクエスチョン

• RQ1 正作用素から正規作用素へ、劣加法性不等式 $ \|f(|A+B|)\| \leq \|f(|A|) + f(|B|)\| $ を、e-凸性を仮定せずに拡張できるか。
• RQ2 対称ノルムは、作用素の絶対値に凹関数を適用した場合の劣加法性をどのように保ち続けるか。
• RQ3 ブロック行列構造およびエルミート分割は、$ f(|\mathbb{A}|) $ と $ \sum f(|A_{i,j}|) $ のノルム比較にどのように影響するか。
• RQ4 拡張的 $ Z $ および正規 $ A $ に対して、不等式 $ \|f(|Z^*AZ|)\| \leq \|Z^*f(|A|)Z\| $ が成り立つ条件は何か。
• RQ5 すべての正規 $ N $ および非負の凹関数 $ f $ に対して $ \|f(|\Phi(N)|)\| \leq \|\Phi(f(|N|))\| $ が成り立つような正線形写像 $ \Phi $ のクラスは、どのように特徴づけられるか。

主な発見

• 主たる結果として、すべての正規 $ n \times n $ 行列 $ A $, $ B $、および任意の非負の凹関数 $ f $ に対して、すべての対称ノルムにおいて $ \|f(|A+B|)\| \leq \|f(|A|) + f(|B|)\| $ が成り立つことが確立された。
• この結果はブロック行列へ拡張可能である：エルミートブロック行列 $ \mathbb{A} = [A_{i,j}] $ に対して、すべての対称ノルムにおいて $ \|f(|\mathbb{A}|)\| \leq \|\sum f(|A_{i,j}|)\| $ が成り立つ。
• 拡張的 $ Z $ および正規 $ A $ に対して、不等式 $ \|f(|Z^*AZ|)\| \leq \|Z^*f(|A|)Z\| $ が成り立つ。これは正作用素に対する既知の結果を一般化する。
• 同じ条件下で、トレース不等式 $ \mathrm{Tr}\,f(|Z^*AZ|) \leq \mathrm{Tr}\,Z^*f(|A|)Z $ が確立され、Rotfel’d の不等式が正規作用素へ拡張された。
• 類似の結果において従来必要とされてきた e-凸性仮定が、不要であることが示され、文献上の予想が解決された。
• この枠組みにより、劣加法性および同型変換不等式を統一的に取り扱えるようになり、行列平均や固有値の主要化への応用が可能になった。