[论文解读] An Elementary Proof of the Fundamental Theorem of Tropical Algebra

Nathan Grigg, Nathan Manwaring|ArXiv.org|Jul 17, 2007

Polynomial and algebraic computation被引用 8

一句话总结

本文给出了有理数热带半环上热带代数基本定理的初等证明，表明任意一个系数为有理数的一元热带多项式，其函数等价类下可唯一分解为一次热带多项式的乘积。关键创新在于使用最小系数多项式作为典范代表，从而实现构造性因式分解算法，并证明有理数在热带多项式因式分解下是代数封闭的。

ABSTRACT

In this paper we give an elementary proof of the Fundamental Theorem of Algebra for polynomials over the rational tropical semi-ring. We prove that, tropically, the rational numbers are algebraically closed. We provide a simple algorithm for factoring tropical polynomials of a single variable. A central idea is the concept of least-coefficient polynomials as representatives for classes of functionally equivalent polynomials. This idea has importance far beyond the proof of the Fundamental Theorem of Tropical Algebra.

研究动机与目标

• 为有理数热带半环上的热带代数基本定理提供一种易于理解的初等证明。
• 确立有理数在热带多项式因式分解下是代数封闭的。
• 引入并形式化最小系数多项式的概念，作为函数等价类的典范代表。
• 开发一种利用此典范形式的构造性热带多项式因式分解算法。
• 通过拐点集（零点集）定义，阐明热带根的代数与几何意义。

提出的方法

• 定义有理数热带半环 (Q ∪ {∞}, ⊕, ⊙)，其中 min 作为加法，经典加法作为乘法。
• 引入函数等价性（f ∼ g）：即多项式函数相等，不同于系数逐项相等。
• 定义最小系数为：若降低该系数将改变函数值，则该系数为最小系数，并证明一个系数是最小系数当且仅当它在某一点处取得最小值。
• 引入最小系数多项式——即所有系数均为最小系数的多项式——并证明其为函数等价类的唯一代表。
• 通过将最小系数多项式表示为线性项 (x ⊕ d_i) 的乘积，开发因式分解算法，其中 d_i 为相邻系数之间的差值。
• 证明线性因式 (x ⊕ d) 整除 f(x) 当且仅当 d 是 f(x) 的拐点，即至少有两个单项式在该点同时取得最小值。

实验结果

研究问题

• RQ1 是否可以不依赖扩展的热带结构，而以初等方法证明热带代数基本定理？
• RQ2 函数等价性在热带多项式因式分解中起什么作用？如何在算法上处理它？
• RQ3 如何为每个热带多项式函数等价类构造一个典范代表？
• RQ4 热带根的精确代数与几何意义为何？其与拐点集的关系是什么？
• RQ5 为何有理数热带半环在热带因式分解下是代数封闭的？

主要发现

• 每个有理系数的热带多项式在函数等价下等价于唯一的最小系数多项式。
• 最小系数多项式分解为线性因式 (x ⊕ d_i) 的形式是唯一的，仅顺序不同。
• 线性因式 (x ⊕ d) 整除 f(x) 当且仅当 d 是 f 的拐点，即 f(d) 由至少两个单项式共同实现最小值。
• 最小系数多项式中相邻系数之间的差值 d_i = a_{i-1} - a_i 恰好对应于热带根。
• 多项式的热带零点集（拐点集）正是多个单项式同时取得最小值的点的集合，这些点恰好对应于唯一因式分解中的因式。
• 该结果可推广至任意有序域，表明任何此类域在添加 ∞ 后均在热带因式分解下是代数封闭的。