[论文解读] A Newton Polygon Rule for Formally-Real Valued Fields and Multiplicities over the Signed Tropical Hyperfield

Trevor Gunn|arXiv (Cornell University)|Nov 27, 2019

Polynomial and algebraic computation参考文献 7被引用 4

一句话总结

本文通过在带符号的热带超域 $\mathbf{TR}$ 上引入一个重数公式，为形式实、非阿基米德、有序赋值域上的多项式建立了一个统一的牛顿多边形法则。它证明了具有赋值 $r$ 和正号的根的重数等于初始形式 $\operatorname{in}_{-r}(p)$ 中符号变化的次数，该结果提供了一个与实际根数模 2 同余的上界——从而统一了笛卡尔符号法则与经典的牛顿多边形法则。

ABSTRACT

By defining multiplicities for zeros of polynomials over hyperfields, Baker and Lorscheid were able to provide a unifying perspective on Descartes's rule and the Newton polygon rule for polynomials over a formally-real and valued field respectively. In this paper, we apply their multiplicity formula to the hyperfield associated with formally-real, valued fields to prove a Newton polygon rule which combines Descartes's rule of signs with the classical Newton polygon rule.

研究动机与目标

• 统一形式实赋值域上多项式所适用的笛卡尔符号法则与经典牛顿多边形法则。
• 通过带符号的热带超域 $\mathbf{TR}$ 定义并计算根的重数，基于符号与赋值结构。
• 建立一个重数公式，以界定给定符号与赋值下实根数量的上界，且误差为偶数，归因于共轭复根对。
• 证明该重数为最大值，并可通过显式提升至一个实闭、非阿基米德赋值域来实现。

提出的方法

• 通过类似于 Baker 与 Lorscheid 在 $\mathbf{S}$ 与 $\mathbf{T}$ 上的方法，使用递归公式在带符号的热带超域 $\mathbf{TR}$ 上定义重数。
• 证明对于 $a = (+1, r)$，重数 $\operatorname{mult}^{\mathbf{TR}}_a(p)$ 等于 $\Delta(\operatorname{in}_{-r}(p))$，即在斜率 $-r$ 处多项式初始形式的符号变化次数。
• 构造一个 $p \in \mathbf{TR}[x]$ 的提升 $P \in \mathbf{R}[[t^{\mathbb{R}}]][x]$，使得 $P$ 实现了具有指定赋值与符号的实根的最大数量。
• 利用笛卡尔符号法则的逆命题，选择初始形式的提升 $R_\sigma(x)$，使其恰好具有预测数量的正或负实根。
• 通过调整缩放因子 $t^\delta$ 来控制次数，确保提升后多项式的牛顿多边形与原多项式一致。
• 验证 $\operatorname{in}_\sigma(P)$ 的根的首项恰好对应于 $R_\sigma(x)$ 的根，从而实现重数上界的构造。

实验结果

研究问题

• RQ1 能否通过带符号的热带超域 $\mathbf{TR}$ 上的单一重数公式，统一笛卡尔符号法则与牛顿多边形法则？
• RQ2 多项式初始形式中符号变化次数与具有给定赋值与符号的实根数量之间的确切关系为何？
• RQ3 在 $\mathbf{TR}$ 上定义的重数是否为具有指定符号与赋值的实根数量的上界？其差值的成因是什么？
• RQ4 能否将 $\mathbf{TR}$ 上的多项式提升至一个实闭、非阿基米德有序赋值域，使得具有给定符号与赋值的实根数量达到最大？

主要发现

• 对于 $a = (+1, r)$，重数 $\operatorname{mult}^{\mathbf{TR}}_a(p)$ 等于 $\Delta(\operatorname{in}_{-r}(p))$，即在斜率 $-r$ 处 $p$ 的初始形式中符号变化的次数。
• 该重数是任何提升至实闭、非阿基米德有序赋值域的多项式中，具有赋值 $r$ 与正号的根数的上界。
• 该上界与实际根数之间的差值恒为偶数，对应于共轭复根对。
• 对任意 $p \in \mathbf{TR}[x]$，存在一个提升 $P \in \mathbf{R}[[t^{\mathbb{R}}]][x]$，使得 $P$ 恰好具有 $\operatorname{mult}^{\mathbf{TR}}_a(p)$ 个赋值为 $|a|$ 且首项系数为正的根；类似地，通过 $p(-x)$ 可实现负号情况。
• 该构造确保 $P$ 的牛顿多边形与 $p$ 一致，且 $P$ 的根的首项恰好对应于初始形式 $R_\sigma(x)$ 的实根。
• 该方法将 Baker 与 Lorscheid 在 $\mathbf{S}$ 与 $\mathbf{T}$ 上的结果推广至带符号的热带超域 $\mathbf{TR}$，完成了对这三个关键超域上重数分类的完整构建。