[論文レビュー] The Fundamental Theorem of Algebra made effective: an elementary real-algebraic proof via Sturm chains

Michael Eisermann|arXiv (Cornell University)|Aug 1, 2008

Polynomial and algebraic computation参考文献 18被引用数 3

ひとこと要約

この論文は、Sturm鎖とガウスの巻き数の代数的定式化を用いて、実代数的で構成的な代数的証明を提示する。実閉体における巻き数の形式的定式化とSturmのアルゴリズムによる根の個数数え上げを活用することで、任意の非定数複素多項式が複素根を持つことを、初等的かつアルゴリズム的な方法で証明する。この証明は、即座に計算可能な根の探索手順に翻訳可能である。

ABSTRACT

Sturm's theorem (1829/35) provides an elegant algorithm to count and locate the real roots of any real polynomial. In his residue calculus (1831/37) Cauchy extended Sturm's method to count and locate the complex roots of any complex polynomial. For holomorphic functions Cauchy's index is based on contour integration, but in the special case of polynomials it can effectively be calculated via Sturm chains using euclidean division as in the real case. In this way we provide an algebraic proof of Cauchy's theorem for polynomials over any real closed field. As our main tool, we formalize Gauss' geometric notion of winding number (1799) in the real-algebraic setting, from which we derive a real-algebraic proof of the Fundamental Theorem of Algebra. The proof is elementary inasmuch as it uses only the intermediate value theorem and arithmetic of real polynomials. It can thus be formulated in the first-order language of real closed fields. Moreover, the proof is constructive and immediately translates to an algebraic root-finding algorithm.

研究の動機と目的

• 実代数と中間値定理のみを用いて、代数学の基本定理の構成的かつ初等的な証明を提供すること。
• 多項式の文脈において、ガウスの幾何的巻き数概念を実代数的枠組みで形式化すること。
• 多項式の演算のみを用いて、カウチの指数を介してSturmの実根数え上げアルゴリズムを複素根へ拡張すること。
• 任意の実閉体上での複素多項式に対して、完全にアルゴリズム的かつコンピュータ検証可能な根の探索手順を開発すること。
• 同じ代数的巻き数フレームワークを用いて、実閉体上での多項式写像に対してブロウワーの不動点定理を回復すること。

提案手法

• 実閉体内での代数的トポロジーの概念を用いて、多項式パスの原点回りの巻き数を形式化すること。
• Sturm鎖を用いて、複素平面上の長方形領域内の複素根の個数を数えるカウチの指数を計算すること。
• ユークリッド除法を用いて、実多項式および複素多項式の両方のSturm系列を再帰的に計算し、根の局所化を可能にすること。
• 代数的巻き数のホモトピー不変性を確立することで、固定点の存在などの位相的結果を証明すること。
• 証明を、すべての実閉体で有効な一階論理の枠組みに翻訳し、広範な適用可能性を保証すること。
• 非ゼロの巻き数に基づく長方形の逐次分割によって誘導される根の探索アルゴリズムを構築すること。

実験結果

リサーチクエスチョン

• RQ1 代数学の基本定理は、実代数と中間値定理のみを用いて構成的に証明可能か？
• RQ2 ガウスの幾何的巻き数は、純粋に代数的かつ一階論理的枠組みでどのように形式化可能か？
• RQ3 Sturmの実根数え上げアルゴリズムは、代数的手段を用いて複素根へ拡張可能か？
• RQ4 実閉体上での結果として得られる根の探索アルゴリズムの計算量的複雑性と有効性はいかほどか？
• RQ5 ブロウワーの不動点定理のような位相的結果は、代数的巻き数から構成的に導出可能か？

主な発見

• 代数学の基本定理は、中間値定理と多項式演算のみを用いて、任意の実閉体で有効な構成的証明が可能である。
• 代数的巻き数は、位相的巻き数の実代数的同等物を提供し、根の個数の厳密な計算を可能にする。
• Sturm–カウチのアルゴリズムは、多項式除法と符号の変化の数え上げのみを用いて、任意の長方形内での複素根の個数を効果的に計算する。
• 証明は、逐次的長方形分割によって収束が保証される、すべての複素根を特定する直接的かつ実装可能なアルゴリズムを生み出す。
• この方法は、巻き数のホモトピー不変性を用いて、実閉体上での多項式写像に対してブロウワーの不動点定理を拡張可能である。
• 証明全体は一階論理に形式化可能であり、すべての実閉体上でコンピュータによる検証が可能である。