[论文解读] A Simple Proof of Sylvester's Double Sums for Subresultants

Carlos D’Andrea, Hoon Hong+2 more|arXiv (Cornell University)|Apr 19, 2006

Polynomial and algebraic computation参考文献 12被引用 2

一句话总结

本文使用基本矩阵代数和范德蒙德行列式，提供了一个简化版的西尔维斯特子结式公式证明，替代了以往依赖多舒尔函数的复杂方法。主要贡献在于通过直接、初等的推导，确立了西尔维斯特双和公式在多项式根表示下的有效性。

ABSTRACT

In 1853 Sylvester stated an elegant formula that expresses the subresultants in terms of the roots of the input polynomials. The validity of this formula was recently independently proved by Apery and Jouanolou and by Lascoux and Pragacz, by using the theory of multi-Schur functions. In this paper we provide a simpler proof that uses only basic properties of matrix multiplication and Vandermonde determinants.

研究动机与目标

• 提供西尔维斯特子结式双和公式的更易理解的证明，该公式以输入多项式的根来表达子结式。
• 用初等线性代数技术替代基于多舒尔函数的复杂方法。
• 证明基本的矩阵乘法性质和范德蒙德行列式足以推导出该公式。
• 提供一个自包含的初等证明，避免使用高级对称函数理论。

提出的方法

• 证明依赖于矩阵乘法的基本性质，以操作多项式结式和子结式。
• 使用范德蒙德行列式来表达输入多项式根的对称函数。
• 推导过程通过根的单项式线性组合构造子结式的矩阵表示。
• 通过利用行列式恒等式和矩阵秩的性质，证明将子结式与双和表达式联系起来。
• 论证避免使用对称函数或舒尔函数，仅依赖基本代数运算。
• 最后一步表明，所构造的表达式与西尔维斯特原始的双和公式一致。

实验结果

研究问题

• RQ1 能否仅使用基本矩阵和行列式性质来证明西尔维斯特子结式的双和公式？
• RQ2 是否可能在不引入高级对称函数理论的情况下推导出子结式公式？
• RQ3 如何通过初等代数方法表达多项式根与子结式之间的关系？
• RQ4 范德蒙德行列式在简化子结式恒等式证明中起到什么作用？

主要发现

• 本文成功地仅使用基本矩阵运算和范德蒙德行列式，证明了西尔维斯特子结式的双和公式。
• 该证明避免了先前方法中所需的多舒尔函数和对称函数理论。
• 与基于复杂代数结构的先前证明相比，该方法提供了更清晰、更易理解的推导过程。
• 结果通过一个自包含的初等论证，确认了西尔维斯特公式的正确性。