[论文解读] On the elementary symmetric functions of a sum of matrices

Roberto S. Costas-Santos|arXiv (Cornell University)|Dec 16, 2006

Advanced Mathematical Theories and Applications参考文献 5被引用 3

一句话总结

本文推导了两个或多个矩阵和的初等对称函数的显式代数表达式，特别关注 $ S_2(A+B) $、$ S_3(A+B) $ 和 $ S_4(A+B) $，使用直接定义和牛顿-吉拉德恒等式。主要贡献是将 $ N \to n+1 $ 个矩阵之和的广义行列式恒等式推广，从而为贝西斯-穆萨-维拉尼（BMV）猜想提供了新见解，并提出了关于矩阵多项式迹中非负系数的更广泛正性猜想。

ABSTRACT

Often in mathematics it is useful to summarize a multivariate phenomenon with a single number and in fact, the determinant -- which is represented by det -- is one of the simplest cases. In fact, this number it is defined only for square matrices and a lot of its properties are very well-known. For instance, the determinant is a multiplicative function, i.e. det(AB)=detA detB, but it is not, in general, an additive function. Another interesting function in the matrix analysis is the characteristic polynomial -- in fact, given a matrix A, this function is defined by $p_A(t)=det(tI-A)$ where I is the identity matrix -- which elements are, up a sign, the elementary symmetric functions associated to the eigenvalues of the matrix A. In the present paper new expressions related with the determinant of sum of matrices and the elementary symmetric functions are given. Moreover, the connection with the Mobius function and the partial ordered sets (poset) is presented. Finally, a problem related with the determinant of sum of matrices is solved.

研究动机与目标

• 推导 $ S_k(A+B) $ 的闭式表达式，其中 $ k=2,3,4 $，$ A,B $ 为 $ n \times n $ 矩阵。
• 将 Chapman 所知的行列式恒等式推广至 $ N \geq n+1 $ 个矩阵之和。
• 支持贝西斯-穆萨-维拉尼（BMV）猜想，并提出关于 $ \mathrm{Tr}((A+tB)^m) $ 和 $ S_k((A+tB)^m) $ 中非负系数的更广泛正性猜想。
• 探索与对称函数理论、整数分拆以及矩阵幂的广义瓦林公式之间的联系。
• 为未来利用组合恒等式和牛顿-吉拉德关系研究矩阵和的对称函数奠定基础。

提出的方法

• 使用拉普拉斯展开和行列式的交替和定义，推导 $ \det(A + \sum A_i) $ 的恒等式，特别针对 $ N \geq n+1 $ 的情形。
• 应用牛顿-吉拉德恒等式，将 $ S_k(A+B) $ 表示为幂和与低阶对称函数的组合。
• 通过索引集 $ \alpha \subseteq \{1,\dots,n\} $ 满足 $ |\alpha| = k $ 进行组合索引，定义 $ S_k(A) = \sum_{|\alpha|=k} \det(A(\alpha,\alpha)) $。
• 利用直接展开和对称函数恒等式，推导 $ S_2(A+B) $、$ S_3(A+B) $ 和 $ S_4(A+B) $ 的显式公式。
• 利用广义瓦林公式，将 $ S_k(A^m) $ 表示为矩阵字的初等对称函数和分拆的组合。
• 证明广义交错和恒等式：$ \sum_{k=0}^N (-1)^k \sum_{|\Omega|=k} \det(A + \sum_{A_i \in \Omega} A_i) = 0 $，在 $ N \geq n+1 $ 时成立，通过归纳法和拉普拉斯展开完成证明。

实验结果

研究问题

• RQ1 能否使用矩阵初等对称函数的定义，推导出 $ S_2(A+B) $、$ S_3(A+B) $ 和 $ S_4(A+B) $ 的显式代数表达式？
• RQ2 广义行列式恒等式 $ \sum_{k=0}^N (-1)^k \sum_{|\Omega|=k} \det(A + \sum_{A_i \in \Omega} A_i) = 0 $ 是否在 $ N \geq n+1 $ 时成立，其对矩阵对称函数有何含义？
• RQ3 贝西斯-穆萨-维拉尼（BMV）猜想能否推广为更广泛的正性猜想，即 $ S_k((A+tB)^m) $ 对所有 $ k=0,1,\dots,r $ 具有非负系数？
• RQ4 整数分拆和对称函数理论在表达 $ S_k(A^m) $ 中起什么作用，能否将其推广至 $ S_k(A_1 + \cdots + A_N) $？
• RQ5 牛顿-吉拉德恒等式如何应用于推导矩阵和的高阶对称函数的闭式表达？

主要发现

• 本文建立了一项新恒等式：$ \sum_{k=0}^N (-1)^k \sum_{|\Omega|=k} \det(A + \sum_{A_i \in \Omega} A_i) = 0 $，当 $ N \geq n+1 $ 时成立，推广了 Chapman 的结果。
• 通过直接计算和牛顿-吉拉德恒等式，推导出 $ S_2(A+B) $、$ S_3(A+B) $ 和 $ S_4(A+B) $ 的显式公式。
• BMV 猜想被证明是更广泛正性猜想的特例（$ k=1 $）：当 $ A,B $ 为半正定矩阵时，$ S_k((A+tB)^m) $ 对所有 $ k=0,1,\dots,r $ 具有非负系数。
• 通过广义瓦林公式给出 $ S_k(A^m) $ 的表达式，涉及分拆 $ \lambda $，其中系数 $ A_\lambda $ 由多项式系数和对称函数恒等式导出。
• 该方法揭示了矩阵对称函数与整数分拆之间的深刻联系，表明分拆理论可能揭示矩阵和的高阶对称函数的结构基础。
• 广义行列式恒等式的证明通过矩阵阶数的归纳法完成，结合拉普拉斯展开和余子式上的归纳假设。