[论文解读] Remarks on BMV conjecture

Shmuel Friedland|ArXiv.org|Apr 24, 2008

Matrix Theory and Algorithms参考文献 3被引用 3

一句话总结

该论文建立了关于正半定厄米特矩阵 $ A $ 和 $ B $ 的迹多项式 $ \mathrm{Tr}(A + tB)^m $ 中 $ t^k $ 项系数的渐近正性结果。证明了当固定 $ k $ 且 $ \mathrm{Tr}(AB) > 0 $ 时，若 $ m $ 超过某个阈值 $ N(A,B,k) $，则 $ t^k $ 的系数为正，并表明主导渐近行为由 $ A $ 的最大特征值对应的主子矩阵所对应的 $ B $ 的主子矩阵的 $ k $ 次幂的迹所决定。

ABSTRACT

We show that for fixed $A,B$, hermitian nonnegative definite matrices, and fixed $k$ the coefficients of the $t^k$ in the polynomial $ r (A+tB)^m$ is positive if $ r AB >0$ and $m>N(A,B,k)$.

研究动机与目标

• 在 $ \mathrm{Tr}(AB) > 0 $ 的条件下，建立迹多项式 $ \mathrm{Tr}(A + tB)^m $ 中各项系数的渐近正性结果。
• 确定使得 $ t^k $ 系数严格为正的阈值 $ m > N(A,B,k) $。
• 分析当 $ m \to \infty $ 时 $ \mathrm{Tr}(S_{m,k}(A,B)) $ 的主导渐近行为，识别出来自 $ A $ 的最大特征值块及其对应 $ B $ 的子矩阵的主导贡献。
• 在特定约束下，验证 $ n = 3 $ 时 $ \mathrm{Tr}(A + tB)^m $ 中 $ t^3 $ 系数对所有 $ m $ 的非负性。

提出的方法

• 通过递推关系 $ S_{m+1,k} = A S_{m,k} + B S_{m+1,k-1} $（其中当 $ \min(p,q) < 0 $ 时 $ S_{p,q} = 0 $）利用矩阵迹的递归恒等式，将 $ \mathrm{Tr}(S_{m,k}(A,B)) $ 表示为生成函数中的系数。
• 对块托普利茨矩阵 $ T_k(A,B) $ 的预解式应用诺伊曼级数展开，将 $ \mathrm{Tr}(S_{m,k}(A,B)) $ 的生成函数与 $ \mathrm{Tr}\left( (I - tA)^{-1} (B(I - tA)^{-1})^k \right) $ 关联起来。
• 分析有理生成函数 $ \mathrm{Tr}(I - tA)^{-1} (B(I - tA)^{-1})^k $，识别出在 $ z = 1/a_i $ 处的极点，并计算主导极点 $ z = 1/a_p $ 处的留数，其中 $ a_p $ 是 $ A $ 的最大正特征值。
• 证明在 $ z = 1/a_p $ 处的留数为 $ \mathrm{Tr}(C^k) $，其中 $ C $ 是 $ B $ 对应于满足 $ a_i = a_p $ 的指标的主子矩阵，并利用此结果推导出渐近公式。
• 利用迹的循环不变性以及对 $ C,D \succeq 0 $ 有 $ \mathrm{Tr}(CD) \geq 0 $ 的非负性，分析低次项并验证 $ n = 3, k = 3 $ 情况下的非负性。
• 将 $ n = 3, k = 3 $ 的情形简化为在约束 $ \det B = 0 $、$ B \succeq 0 $ 和 $ A = \mathrm{diag}(1,a,0) $ 下，验证一个有理函数在 $ t $ 中的泰勒级数系数的非负性。

实验结果

研究问题

• RQ1 对于固定的 $ k $、$ A $ 和 $ B $，若 $ \mathrm{Tr}(AB) > 0 $，则 $ \mathrm{Tr}(A + tB)^m $ 中 $ t^k $ 的系数是否在 $ m $ 足够大时变为正？
• RQ2 当 $ m \to \infty $ 时，$ \mathrm{Tr}(S_{m,k}(A,B)) $ 的渐近行为如何？哪个 $ B $ 的子矩阵主导了首阶项？
• RQ3 能否对所有 $ m $ 及所有 $ 3 \times 3 $ 正半定矩阵 $ A, B $，建立 $ \mathrm{Tr}(A + tB)^m $ 中 $ t^3 $ 系数的非负性？
• RQ4 $ A $ 和 $ B $ 的结构，特别是其最大特征值的位置，如何影响 $ t^k $ 系数的渐近正性？
• RQ5 当 $ \mathrm{Tr}(AB) = 0 $ 时，它如何导致 $ \mathrm{Tr}(S_{m,k}(A,B)) $ 的消失？

主要发现

• 对于固定的 $ k $、$ A $ 和 $ B $，若 $ \mathrm{Tr}(AB) > 0 $，则 $ \mathrm{Tr}(A + tB)^m $ 中 $ t^k $ 的系数在所有 $ m > N(A,B,k) $ 时为正，从而确立了渐近正性结果。
• 当 $ m \to \infty $ 时，$ \mathrm{Tr}(S_{m,k}(A,B)) $ 的主导渐近行为为 $ \mathrm{Tr}(C^k) \cdot a_p^m \binom{m+k}{k} $，其中 $ C $ 是 $ B $ 对应于满足 $ a_i = a_p $ 的指标的主子矩阵，$ a_p $ 为 $ A $ 的最大正特征值。
• 极限 $ \lim_{m \to \infty} \frac{\mathrm{Tr}(S_{m,k}(A,B))}{a_p^m \binom{m+k}{k}} = \mathrm{Tr}(C^k) $ 成立，且由于 $ C \succeq 0 $，有 $ \mathrm{Tr}(C^k) \geq b_{pp}^k > 0 $，从而保证了正性。
• 当 $ \mathrm{Tr}(AB) = 0 $ 时，有 $ AB = 0 $，因此对所有 $ m,k \geq 1 $，有 $ \mathrm{Tr}(S_{m,k}(A,B)) = 0 $，确认了退化情形。
• 对于 $ n = 3 $，在约束 $ A = \mathrm{diag}(1,a,0) $、$ B \succeq 0 $、$ \det B = 0 $ 以及 $ u,v,w > 0 $ 下，证明了 $ \mathrm{Tr}(A + tB)^m $ 中 $ t^3 $ 系数对所有 $ m $ 非负，方法为分析有理生成函数并验证所有泰勒系数的非负性。
• 该证明依赖于对 $ (B(I - tA)^{-1})^3 $ 的对角线元素的显式计算，并表明在给定约束下，$ \mathrm{Tr}(I - tA)^{-1} (B(I - tA)^{-1})^3 $ 的展开式中所有项的系数均为非负。