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

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

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

ひとこと要約

本稿は、正定値および半正定値行列に対して、差と逆行列を含む特定の行列式のトレースが非負であることを示す、新しいトレース不等式を確立する。主な貢献は、既知のスカラー不等式の行列拡張であり、トレースの性質と正定値性の議論を用いて証明され、通信ゲームにおける純粋ナッシュ均衡の一意性を保証するゲーム理論への応用を有する。

ABSTRACT

In this note we prove that Tr (MN+ PQ)>= 0 when the following two conditions are met: (i) the matrices M, N, P, Q are structured as follows: M = A -B, N = inv(B)-inv(A), P = C-D, Q =inv (B+D)-inv(A+C), where inv(X) denotes the inverse matrix of X (ii) A, B are positive definite matrices and C, D are positive semidefinite matrices.

研究の動機と目的

• 正の実数の差と逆数を含む既知のスカラー不等式を一般化する、行列値トレース不等式を確立すること。
• 構造化された正定値および半正定値行列の差と逆行列を含む合成行列式のトレースが非負であることを証明すること。
• ゲーム理論における行列戦略の凹ゲームに、対角的厳密凹性条件を拡張する理論的基盤を提供すること。
• 行列戦略を用いた通信ゲームにおいて、純粋ナッシュ均衡の一意性を示すために不等式の有用性を示すこと。

提案手法

• 証明は3つの主要な補題に依存する：正定値行列に対する既知のトレース不等式、半正定値行列の積のトレースの非負性に関する性質、および摂動下での逆行列比較に関する新しい不等式。
• 主な不等式は2つの部分に分解される：行列AとBを含む部分と、CとDを含む部分で、後者が非自明なケースである。
• 非自明なケースは、トレース式を再表現し、トレースの巡回不変性と行列順序の性質を用いて分析される。
• 証明は、行列の逆行列が正定値順序に関して単調であるという事実を利用している。すなわち、X ⪰ Y ≻ 0 ならば X⁻¹ ⪯ Y⁻¹ である。
• 重要なステップでは、2番目のトレース成分が負であるという仮定の下で、交差項のトレースが非正であることを示す必要がある。
• 最終的な不等式は、Lemma 2.3を直接適用できる形に簡略化され、逆行列の差のトレースの非負性が確立される。

実験結果

リサーチクエスチョン

• RQ1 正定値条件のもとで、スカラー不等式 (α−β)(1/β−1/α)+(γ−δ)(1/(β+δ)−1/(α+γ))≥0 は行列に拡張可能か？
• RQ2 A, B が正定値で、C, D が半正定値であるとき、行列式 Tr{(A−B)(B⁻¹−A⁻¹)+(C−D)((B+D)⁻¹−(A+C)⁻¹)} のトレースが非負であることを証明できるか？
• RQ3 トレース不等式は、行列値戦略を用いたゲーム理論的モデルにおける対角的厳密凹性条件を一般化するのに十分に強固か？
• RQ4 行列の逆行列と差の構造的性質のうち、どのような性質がトレース式の非負性を保証するか？

主な発見

• 与えられた行列条件のもとで、トレース不等式 Tr{(A−B)(B⁻¹−A⁻¹)+(C−D)((B+D)⁻¹−(A+C)⁻¹)} が非負であることが証明された。
• 和の2番目の項が負であっても、逆行列の構造のおかげで1番目の項がそれを補う限り、不等式は成り立つ。
• 証明は、行列の逆行列の単調性と、半正定値行列の積のトレースの非負性に依存している。
• 重要な中間的結果として、Lemma 2.3 は、ヘルミート行列 X および正定値行列 A, B と半正定値行列 C, D に対して、Tr{X A⁻¹ X B⁻¹} ≥ Tr{X (A+C)⁻¹ X (B+D)⁻¹} を確立する。
• 不等式はスカラーの場合を一般化し、ゲーム理論におけるトレースに基づく凹性条件の適用範囲を拡張する。
• この結果により、行列戦略を用いた凹ゲームにおける純粋ナッシュ均衡の一意性が保証され、ローゼンの対角的厳密凹性条件が一般化される。