[論文レビュー] Completely strong superadditivity of generalized matrix functions

Minghua Lin, Suvrit Sra|arXiv (Cornell University)|Oct 8, 2014

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

ひとこと要約

この論文は、一般化された行列関数（例えば行列式やパーマネント）の完全強い超加法性（CSS）を、正定値ブロック行列の錐上で確立する。著者たちは、対称化されたテンソル積とこれらの関数の完全正定値性を活用し、古典的な超加法性を拡張するブロック行列不等式を証明し、トンプソンの1961年行列式不等式に対する新たな簡潔な証明を提示する。

ABSTRACT

We prove that generalized matrix functions satisfy a block-matrix strong superadditivity inequality over the cone of positive semidefinite matrices. Our result extends a recent result of Paksoy-Turkmen-Zhang (V. Paksoy, R. Turkmen, F. Zhang, Inequalities of generalized matrix functions via tensor products, Electron. J. Linear Algebra 27 (2014) 332-341.). As an application, we obtain a short proof of a classical inequality of Thompson (1961) on block matrix determinants.

研究の動機と目的

• 一般化された行列関数の強い超加法性をブロック行列に拡張し、完全強い超加法性（CSS）の概念を導入すること。
• 行列式とパーマネントが正定値ブロック行列上でのCSSであることを確立すること。
• CSS性質を用いてトンプソンの1961年行列式不等式に対する新たな、洗練された証明を提供すること。
• 作用素論的および多重線形代数的手法を用いて、従来の超加法性および行列式不等式に関する結果を統一・一般化すること。

提案手法

• 群の特徴指標に基づく重み付き和として定義される一般化された行列関数 $ d_{χ}^{G}(A) $ を導入し、行列式やパーマネントを一般化する。
• テンソル拡張におけるブロックごとの写像の正定値性を要請する、ブロック行列写像における完全強い超加法性（CSS）の概念を導入する。
• 対称化されたテンソル積空間 $ \mathcal{V}_{\chi}^{m}(G) $ と誘導された作用素 $ K(T) $ を用い、テンソル空間上の線形作用素として一般化された行列関数を表現する。
• 写像 $ K $ が正定値性を保ち、乗法的であることを証明し、これによりブロック行列不等式を導く。
• 行列 $ [K(A_{ij})] $ が $ K(\bm{A}) $ の圧縮であることを示し、ブロック行列構造と作用素不等式を結びつける。
• CSS不等式をブロック行列に適用し、主要な結果 $ \det_m(\bm{A}+\bm{B}) \geq \det_m(\bm{A}) + \det_m(\bm{B}) $ を得る。この不等式はトンプソンの不等式を含意する。

実験結果

リサーチクエスチョン

• RQ1 完全正定値性の下で、一般化された行列関数の強い超加法性はブロック行列へ拡張可能か？
• RQ2 すべての一般化された行列関数が正定値ブロック行列上でのCSS性を持つと示せるか？
• RQ3 CSS不等式はトンプソンの1961年行列式不等式に対する新たな直接的証明を可能にするか？
• RQ4 対称化されたテンソル積構成と誘導作用素 $ K(T) $ は、超加法性のブロック構造への拡張をどのように支援するか？
• RQ5 完全正定値性は、一般化された行列関数のブロック行列超加法性の妥当性を保証するために果たす役割は何か？

主な発見

• 行列式やパーマネントを含む一般化された行列関数は、正定値ブロック行列の錐上で完全強く超加法的（CSS）である。
• すべての正定値ブロック行列 $ \bm{A}, \bm{B} \in \mathbb{M}_m(\mathbb{M}_n) $ に対して不等式 $ \operatorname{det}_m(\bm{A}+\bm{B}) \geq \operatorname{det}_m(\bm{A}) + \operatorname{det}_m(\bm{B}) $ が成り立ち、スカラー成分の場合など特定の状況で等号が成立する。
• CSS性質は $ K(\bm{A}) $ の圧縮を介して証明され、$ [K(A_{ij})] $ がブロック作用素 $ K(\bm{A}) $ の正定値圧縮であることが示された。
• この証明手法により、トンプソンの1961年行列式不等式 $ \det \bm{A} \leq \det(\det_m(\bm{A})) $ に対する新たな洗練された導出が得られ、すべての正定値ブロック行列に対して成立する。
• この結果は、パクソイ＝トゥルクメン＝チャンのブロック超加法性を完全正定値性の枠組みに拡張し、すべての一般化された行列関数にまで一般化する。
• CSS不等式はテンソル積埋め込みのもとで保存され、ブロック行列理論における高次行列式不等式の証明の基盤をなす。