[論文レビュー] On a decomposition lemma for positive semi-definite block-matrices

Jean-Christophe Bourin, Eun‐Young Lee+1 more|arXiv (Cornell University)|Feb 2, 2012

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

ひとこと要約

本稿では、正定値ブロック行列に対する分解補題を提示し、任意のこのような行列が、ブロック対角行列のユニタリ共役の和として表現可能であることを示している。主な貢献は、対称ノルムにおける鋭いノルム不等式およびマジョライゼーション結果を可能にする新たな構造的洞察である。これにより、最近のマジョライゼーション不等式の簡単な証明が可能となり、ロトフェルト型やミンコフスキー型の古典的不等式の拡張も得られる。

ABSTRACT

This short note, in part of expository nature, points out several new or recent consequences of a quite nice decomposition for positive semi-definite matrices.

研究の動機と目的

• 正定値ブロック行列に対する分解補題を確立し、作用素論における既知の結果を拡張すること。
• 分解補題を用いて、新しい対称（ユニタリ不変）ノルムの不等式を導出すること。
• 分解フレームワークを用いて、[5] で最近得られたマジョライゼーション結果の簡単な証明を提供すること。
• ノルム推定において、非対角ブロックをその実部または虚部に置き換える条件を調査すること。
• 正規非対角ブロックなどの弱い仮定の下でもマジョライゼーション結果が成り立つかを検討し、予想を提示すること。

提案手法

• ユニタリ変換 $ J = \frac{1}{\sqrt{2}} \begin{bmatrix} I & -I \\ I & I \end{bmatrix} $ を用いて、正定値ブロック行列を $ \frac{A+B}{2} \pm \mathrm{Re}X $ および $ \frac{A+B}{2} \pm \mathrm{Im}X $ の形に再表現する。
• 分解補題を適用：$ \begin{bmatrix} A & X \\ X^* & B \end{bmatrix} = U \begin{bmatrix} A & 0 \\ 0 & 0 \end{bmatrix} U^* + V \begin{bmatrix} 0 & 0 \\ 0 & B \end{bmatrix} V^* $（$ U, V $ はユニタリ）により、ノルム推定を導出する。
• 関数不等式 $ f(S+T) \leq U f(S) U^* + V f(T) V^* $（$ f(t) = t^p $、$ 0 < p < 1 $）を用い、$ p $ 乗の行列の対称ノルムを評価する。$ p \geq 1 $ の場合は凸性を用いる。
• 三角不等式および対称ノルムの性質を用いて、行列の固有値の和を $ \| (A+B)^\downarrow + (\mathrm{Re}X)^\downarrow \| $ の形で評価する。
• ユニタリ合同を用いて、問題を $ X $ を $ zX $（$ |z|=1 $）に置き換えた場合に還元し、数値域および数値半径を用いた評価を可能にする。
• 対称ノルムがユニタリ共役に関して不変であること、および $ \| Z \oplus Z \| \leq 2 \| A \oplus B \| $ を利用して、シュレーディンガーノルム不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 分解補題を用いて、正定値ブロック行列に対する新しい対称ノルム不等式を導出できるか？
• RQ2 マジョライゼーション不等式 $ \left\| \begin{bmatrix} A & X \\ X^* & B \end{bmatrix} \right\| \leq \| A + B \| $ が成り立つための必要十分条件は何か？
• RQ3 非対角ブロックがヘルミートでない場合（正規である場合）にもマジョライゼーション結果は拡張可能か？
• RQ4 非対角ブロック $ X $ の実部および虚部は、全体のブロック行列のノルム推定にどのように影響するか？
• RQ5 分解補題は、無限次元ヒルベルト空間上のコンパクト作用素へ拡張可能か？

主な発見

• 分解補題により、任意の正定値ブロック行列が、ブロック対角行列のユニタリ共役の和として表現可能であり、ノルム不等式の構造的基盤が得られる。
• すべての対称ノルムおよび $ p > 0 $ に対して、不等式 $ \left\| \begin{bmatrix} A & X \\ X^* & B \end{bmatrix}^p \right\| \leq 2^{|p-1|} \left( \| (A+B)^p \| + \| |X - X^*|^p \| \right) $ が成り立つ。$ p \geq 1 $ および $ X = 0 $ の場合に等号が成立することも特定されている。
• 非対角ブロック $ X $ がヘルミートであるとき、すべての対称ノルムに対してマジョライゼーション $ \left\| \begin{bmatrix} A & X \\ X^* & B \end{bmatrix} \right\| \leq \| A + B \| $ が成り立ち、古典的不等式 $ \left\| \begin{bmatrix} A & 0 \\ 0 & B \end{bmatrix} \right\| \leq \| A + B \| $ を回復する。
• 作用素ノルムに関しては、$ \left\| \begin{bmatrix} A & X \\ X^* & B \end{bmatrix} \right\|_\infty \leq \| A + B \|_\infty + 2w(X) $ が成り立ち、例 $ A = \begin{bmatrix} 1 & 0 \\ 0 & 0 \end{bmatrix} $、$ B = \begin{bmatrix} 0 & 0 \\ 0 & 1 \end{bmatrix} $、$ X = \begin{bmatrix} 0 & 1 \\ 0 & 0 \end{bmatrix} $ で等号が成立する。
• 条件 $ 0 \notin W_{\text{int}}(X) $ の下で、不等式 $ \left\| \begin{bmatrix} A & X \\ X^* & B \end{bmatrix} \right\| \leq \| A + B \| + \| X \| $ が成り立ち、数値半径を用いて $ \| \cdot \|_\infty \leq \| A + B \|_\infty + w(X) $ に拡張可能である。
• 補題 2.10 のマジョライゼーション結果が、非対角ブロックが正規である場合にも成立すると予想される。これは理論の拡張を示唆する。