[論文レビュー] A generalization of a trace inequality for positive definite matrices

E. Veronica Belmega, Marc Jungers+1 more|arXiv (Cornell University)|Nov 20, 2010

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

ひとこと要約

本稿では、正定値行列に関するトレース不等式を任意の $ K \geq 1 $ に一般化し、正定値および半正定値行列の差を含む特定の行列式のトレースが非負であることを証明する。この結果は再帰的分解、行列トレースの性質、および正定値行列の逆行列に関する補助的補題に依存しており、MIMO通信ゲームにおけるナッシュ均衡の一意性の証明に応用される。

ABSTRACT

In this note we generalize the trace inequality derived by [1] to the case where the number of terms of the sum (denoted by K) is arbitrary.

研究の動機と目的

• 既知の $ K=1 $ および $ K=2 $ のトレース不等式を任意の $ K \geq 1 $ に一般化すること。
• 正定値および半正定値行列の差を含む行列トレース式の非負性条件を確立すること。
• MIMO通信ゲームにおける対角的厳密凹性の証明を支援し、ナッシュ均衡の一意性を保証すること。
• 制御理論およびマルチエージェントシステムにおけるトレース不等式の適用範囲を拡張すること。

提案手法

• 各 $ k \in \{1, \dots, K\} $ に対して、累積和 $ \mathbf{X}_k = \sum_{i=1}^k \mathbf{A}_i $ および $ \mathbf{Y}_k = \sum_{i=1}^k \mathbf{B}_i $ を定義する。
• トレース式 $ \mathcal{T}_K $ を再帰的に $ \mathcal{T}_K = \mathcal{T}_{K-1} + \text{Tr}\left\{ (\mathbf{A}_K - \mathbf{B}_K) \left[ \mathbf{Y}_K^{-1} - \mathbf{X}_K^{-1} \right] \right\} $ として書き直す。
• 補題 2.1 を適用して、正定値行列の和の逆行列を用いたトレース項の上限を求める。
• 補題 2.2 を用いて、行列の差と逆行列を含むトレース式の対称性と実数性を活用する。
• 帰納法を用いて $ \mathcal{T}_K $ の下界を確立し、式を非負の二次形式に分解する。
• 下界を $ \text{Tr}(\mathbf{N}\mathbf{N}^H) \geq 0 $ の形のトレースの和として表現することで、$ \mathcal{T}_K \geq 0 $ を結論づける。

実験結果

リサーチクエスチョン

• RQ1 K=2 のトレース不等式を任意の $ K \geq 1 $ に拡張できるか？
• RQ2 行列式 $ \text{Tr}\left\{ \sum_{k=1}^K (\mathbf{A}_k - \mathbf{B}_k) \left[ \left( \sum_{\ell=1}^k \mathbf{B}_\ell \right)^{-1} - \left( \sum_{\ell=1}^k \mathbf{A}_\ell \right)^{-1} \right] \right\} $ のトレースが非負のまま保たれる条件は何か？
• RQ3 行列トレース不等式を用いて、マルチユーザー MIMO ゲームにおける対角的厳密凹性をどのように検証できるか？
• RQ4 正定値および半正定値行列の性質が、このようなトレース式の非負性を保証するために果たす役割は何か？

主な発見

• すべての $ K \geq 1 $ に対してトレース不等式 $ \mathcal{T}_K \geq 0 $ が成り立つ。ただし $ \mathbf{A}_1, \mathbf{B}_1 $ は正定値であり、$ k \geq 2 $ に対して $ \mathbf{A}_k, \mathbf{B}_k $ は半正定値である。
• 証明により、$ \mathcal{T}_K $ の下界が、行列の逆行列と差の関係を含む非負の二次形式の和として確立される。
• $ \mathcal{T}_K $ の非負性は、$ \text{Tr}(\mathbf{N}\mathbf{N}^H) \geq 0 $ が成り立つこと（$ \mathbf{N} = \mathbf{A}^{-1/2} \mathbf{X} \mathbf{B}^{-1/2} $）から生じ、実数かつ非負のトレース値を保証する。
• 本結果は、$ K=1 $ および $ K=2 $ の既存の研究を一般化し、任意の $ K \geq 1 $ に対して統一的な不等式を提供する。
• この不等式は、MIMOゲームにおける対角的厳密凹性の証明を支援し、ナッシュ均衡の一意性を保証する。