[论文解读] Advances on the Bessis-Moussa-Villani Trace Conjecture

Christopher J. Hillar|ArXiv.org|Jul 8, 2005

Matrix Theory and Algorithms参考文献 9被引用 4

一句话总结

该论文通过推导最小化或最大化迹多项式 Tr[(A + tB)^m] 的某个系数的矩阵的欧拉-拉格朗日方程，推进了贝西斯-穆萨-维拉尼（BMV）迹猜想。证明了若该猜想对某个 m 失效，则对所有更大的 m 均失效，并表明仅需验证奇异的半正定矩阵或无穷多个 m 即可证明其普遍成立。

ABSTRACT

A long-standing conjecture asserts that the polynomial \[p(t) = ext{Tr}[(A+tB)^m]\] has nonnegative coefficients whenever $m$ is a positive integer and $A$ and $B$ are any two $n imes n$ positive semidefinite Hermitian matrices. The conjecture arises from a question raised by Bessis, Moussa, and Villani (1975) in connection with a problem in theoretical physics. Their conjecture, as shown recently by Lieb and Seiringer, is equivalent to the trace positivity statement above. In this paper, we derive a fundamental set of equations satisfied by $A$ and $B$ that minimize or maximize a coefficient of $p(t)$. Applied to the Bessis-Moussa-Villani (BMV) conjecture, these equations provide several reductions. In particular, we prove that it is enough to show that (1) it is true for infinitely many $m$, (2) a nonzero (matrix) coefficient of $(A+tB)^m$ always has at least one positive eigenvalue, or (3) the result holds for singular positive semidefinite matrices. Moreover, we prove that if the conjecture is false for some $m$, then it is false for all larger $m$.

研究动机与目标

• 为解决长期存在的贝西斯-穆萨-维拉尼（BMV）迹猜想，该猜想断言当 A 和 B 为半正定厄米特矩阵时，Tr[(A + tB)^m] 的系数均为非负数。
• 确定使迹多项式 p(t) = Tr[(A + tB)^m] 的某个系数取极小或极大值的极值矩阵 A 和 B 的必要条件。
• 通过证明若该猜想对某个 m 失效，则对所有更大的 m 均失效，以及仅需在奇异矩阵或无穷多个 m 的情况下验证该猜想，从而将问题简化为更简单的情形。
• 建立若该猜想对奇异半正定矩阵成立，则对所有此类矩阵（包括可逆矩阵）均成立的结论。

提出的方法

• 通过在单位范数约束下对迹系数 Tr[S_{m,k}(A,B)] 应用变分法，推导出一组基本的矩阵方程——称为欧拉-拉格朗日方程。
• 利用迹恒等式 Tr[S_{m,k}(A,B)] = (m/(m-k)) Tr[AS_{m-1,k}(A,B)] = (m/k) Tr[BS_{m-1,k-1}(A,B)]，建立不同 m 和 k 下系数之间的关系。
• 应用柯西-施瓦茨不等式和范数界，推导出 Hermitian 矩阵单位范数时的上界 |Tr[S_{m,k}(A,B)]| ≤ (m choose k)。
• 利用半正定矩阵乘积具有非负特征值的性质，分析 Tr[AS_{m,k}(A,B)] 和 Tr[BS_{m,k}(A,B)] 的符号。
• 运用齐次性和连续性论证，将问题约化为单位范数矩阵，并分析极值构型。
• 基于迹恒等式和特征值非负性，采用反证法证明：除非该猜想成立，否则可逆矩阵不可能使迹系数取极小值。

实验结果

研究问题

• RQ1 在何种条件下，矩阵 A 和 B 会使迹多项式 Tr[(A + tB)^m] 的某个系数取极小或极大值？
• RQ2 若 BMV 猜想对某个 m 失效，是否对所有更大的 m 均失效？
• RQ3 能否将该猜想约化为奇异半正定矩阵的情形？
• RQ4 仅需对无穷多个 m 验证该猜想，是否足以确立其普遍有效性？
• RQ5 欧拉-拉格朗日方程对极值矩阵 A 和 B 施加了何种约束？

主要发现

• 若 BMV 猜想对某个 m 失效，则对所有更大的 m 均失效，确立了反例的向上封闭性质。
• 该猜想对所有 m 成立，当且仅当它对无穷多个 m 成立，提供了强有力的简化判据。
• 该猜想等价于如下陈述：当 A 和 B 为半正定矩阵时，(A + tB)^m 的每个非零系数至少有一个正特征值。
• 该猜想对所有半正定矩阵成立，当且仅当它对所有奇异半正定矩阵成立。
• 若在 A 和 B 可逆的点处，迹系数 Tr[S_{m,k}(A,B)] 取得最小值，则产生矛盾，意味着极值矩阵必为奇异矩阵。
• 对所有单位范数的 Hermitian 矩阵，上界 |Tr[S_{m,k}(A,B)]| ≤ (m choose k) 成立，且当 m > 2 时，仅当 A = ±B 且 A 仅有一个非零特征值时取等。