[論文レビュー] 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)$ における符号の変化回数に一致する。これにより、実際の根の数と符号が一致する上界が得られ、その誤差は偶数であり、これは複素共役対に起因する。この結果は、デカルトの符号の法則と古典的なノートン多角形則を一般化する。

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)$ が、傾き $-r$ における $p$ の初期形の符号変化回数 $\Delta(\operatorname{in}_{-r}(p))$ に等しいことを証明する。
• $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)$ は、傾き $-r$ における $p$ の初期形の符号変化回数 $\Delta(\operatorname{in}_{-r}(p))$ に等しい。
• この重複度は、$p$ の任意の持ち上げについて、付値 $r$ で正の符号を持つ実根数の上界である。
• この上界と実際の根数との差は常に偶数であり、これは複素共役対に起因する。
• $\mathbf{TR}[x]$ 内の任意の $p$ に対して、$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}$ に一般化し、これらの三つの主要ハイパーフィールド上での重複度の分類を完成させる。