[論文レビュー] Refinements of the trace inequality of Belmega, Lasaulce and Debbah

Shigeru Furuichi, Minghua Lin|arXiv (Cornell University)|Dec 31, 2009

Mathematical Inequalities and ApplicationsMathematics参考文献 2被引用数 20

ひとこと要約

この論文は、Belmega, Lasaulce, および Debbah の行列トレース不等式を、正定値および半正定値行列に関するトレース不等式を用いて精錬する。新規のトレース不等式の応用とコーシー・シュワルツ型推定を用いて、よりきつい下界を確立し、元のトレース式が交差項の絶対値によって下から抑えられることを証明する。さらに、4倍のスケーリング係数を導入することで、個々の項が負であっても非負性が保証されるように不等式を改善する。

ABSTRACT

In this short paper, we show a certain matrix trace inequality and then give a refinement of the trace inequality proven by Belmega, Lasaulce and Debbah. In addition, we give an another improvement of their trace inequality.

研究の動機と目的

• 正定値および半正定値行列に対する Belmega, Lasaulce, および Debbah のトレース不等式を精錬すること。
• トレースの性質と行列分解を用いた、元の不等式の新しいかつより単純な証明を提供すること。
• 行列差の積の交差項を含む絶対値項を導入することで、よりきつい下界を確立すること。
• 2番目の項に 4 のスケーリング係数を導入することで、元の不等式を改善し、個々の項が負であっても非負性が保証されることを示すこと。

提案手法

• ヘルミートかつ半正定値行列に対するコーシー・シュワルツ型トレース不等式を用いて、新しい行列トレース不等式を導出する。
• 行列和の逆行列を含む積のトレースを比較するための補題 2.2 を適用する。
• 補題 2.3 および定理 2.4 を用いて、トレースの和を、交差項の絶対値の 2 倍によって下から抑え込む。
• 行列分解とトレースの対称性を用いて、元の不等式を精錬に適した形に表現する。
• パラメータ a と b を用いた重み付きトレース不等式を導入し、後に a = 1 および b = 4 に設定することで、境界を強化する。
• 精錬された不等式を元の式に適用し、交差項の境界の優位性により、和が非負のまま保たれることを示す。

実験結果

リサーチクエスチョン

• RQ1 Belmega, Lasaulce, および Debbah のトレース不等式は、元の非負性条件よりもきつい下界を提供するように精錬可能か？
• RQ2 トレース差を、交差項の絶対値として表現する方法は存在するか？ これにより不等式の精度が向上するか？
• RQ3 個々の成分が負であっても非負性が保証されるように、スケーリング係数を導入することで不等式を強化可能か？
• RQ4 パラメータ a と b を用いた重み付きトレース不等式の使用は、行列トレース式においてより頑健な境界をもたらすか？
• RQ5 精錬された不等式は、パラメータ r を含む一般化が可能か？ すべての正の r に対して非負性が保たれるか？

主な発見

• 論文は、元の式が Tr[(C−D)(B+D)⁻¹(A−B)(A+C)⁻¹] の絶対値によって下から抑えられる、精錬されたトレース不等式を証明する。
• 精錬された境界は、元の不等式よりもきつい。これは、行列差と逆行列和の間の相互作用を明示的に取り入れているためである。
• 2番目のトレース項に 4 のスケーリング係数を導入した新しい不等式が確立され、個々の項が負であっても非負性が保証される。
• 証明技法は、コーシー・シュワルツ法を行列トレースに一般化した重み付きトレース不等式に依存する。
• 精錬された不等式は、すべての正定値行列 A, B および半正定値行列 C, D に対して成り立ち、トレース優位性の意味で鋭い境界を与える。
• パラメータ r への一般化が得られ、行列 A および B を r でスケーリングしても不等式がすべての r > 0 に対して成り立つことが示された。