[论文解读] 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.

研究动机与目标

• 建立一个矩阵值迹不等式，推广涉及正实数差与倒数的已知标量不等式。
• 证明由结构化的正定与半正定矩阵的差与逆矩阵构成的复合矩阵表达式之迹非负。
• 为博弈论中矩阵策略凹博弈的对角严格凹性条件提供理论基础。
• 展示该不等式在证明具有矩阵策略的通信博弈中纯纳什均衡唯一性方面的实用性。

提出的方法

• 证明依赖于三个关键引理：已知的正定矩阵迹不等式、正半定矩阵乘积的迹非负性质，以及一个关于扰动下逆矩阵比较的新不等式。
• 主不等式被分解为两部分：一部分涉及矩阵 A 与 B，另一部分涉及 C 与 D，其中后者为非平凡情形。
• 通过重写迹表达式并利用迹的循环不变性与矩阵序性质，对非平凡情形进行分析。
• 证明利用了矩阵逆关于正半定序的单调性，即若 X ⪰ Y ≻ 0，则 X⁻¹ ⪯ Y⁻¹。
• 关键步骤在于，在第二部分迹为负的假设下，证明交叉项迹非正。
• 最终不等式被简化为可直接应用引理 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.3，证明了对埃尔米特矩阵 X 及正定矩阵 A,B 与半正定矩阵 C,D，有 Tr{X A⁻¹ X B⁻¹} ≥ Tr{X (A+C)⁻¹ X (B+D)⁻¹}。
• 该不等式推广了标量情形，并扩展了基于迹的凹性条件在博弈论中的适用范围。
• 该结果确保了具有矩阵策略的凹博弈中纯纳什均衡的唯一性，因其推广了罗森的对角严格凹性条件。