[論文レビュー] 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 バナッハ行列式は、サブリジュエントの恒等式の証明を簡略化するために果たす役割は何か？

主な発見

• 本稿では、初等的な行列演算およびバナッハ行列式にのみ依存して、サブリジュエントのシルベスターの二重和の公式を成功裏に証明した。
• 従来の手法で必要とされた多変数シュール関数や対称関数理論の使用を回避した。
• 高度な代数的構造に基づく従来の証明と比較して、より明確でアクセスしやすい導出を提供した。
• 自己完結的で初等的な議論により、シルベスターの公式の妥当性を確認した。