[论文解读] Newton polygons of higher order in algebraic number theory

Jordi Guàrdia, Jesús Sanz Montes+1 more|ArXiv.org|Jul 16, 2008

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

一句话总结

本文在代数数论中发展了高阶牛顿多边形的理论，实现了在 $p$-进域上对可分多项式进行完全因式分解，并计算关键算术不变量（如判别式、素理想分解和整基）。该方法通过递归构造多边形和剩余多项式，确保在最多 $\operatorname{ind}(f)$ 步内终止，且通过多边形中的组合数据精确计算出指标。

ABSTRACT

We develop a theory of arithmetic Newton polygons of higher order, that provides the factorization of a separable polynomial over a $p$-adic field, together with relevant arithmetic information about the fields generated by the irreducible factors. This carries out a program suggested by Ø. Ore. As an application, we obtain fast algorithms to compute discriminants, prime ideal decomposition and integral bases of number fields.

研究动机与目标

• 开发高阶牛顿多边形的构造性理论，以解决经典因式分解方法在 $p$-进域中的局限性。
• 提供一种系统方法，用于计算数域中的指标 $\operatorname{ind}(f)$、判别式和素理想分解。
• 实现 Ø. Ore 长期寻求的计划：将牛顿多边形理论从经典的三种分解方式扩展至完整不可约因式分解。
• 建立一种有限且算法可处理的过程，仅通过多项式除法和有限域上的因式分解来计算算术不变量。

提出的方法

• 构造阶数 $r \geq 1$ 的牛顿多边形，通过类型及其代表元推广 Ore 的原始一阶多边形。
• 为多边形的每条边引入高阶剩余多项式，以在每一阶次细化因式分解。
• 定义阶数 $1 \leq s \leq r$ 的高阶指标 $\operatorname{ind}_s(f)$，并根据多边形数据递归计算。
• 利用结式和指标定理，将总指标 $\operatorname{ind}(f)$ 与高阶指标之和关联起来。
• 应用指标定理，保证因式分解过程在最多 $\operatorname{ind}(f)$ 步内终止。
• 利用高效运算：带整系数的多项式除法和有限域上的因式分解，从而实现高效的算法。

实验结果

研究问题

• RQ1 能否发展一种系统性、构造性的牛顿多边形理论扩展，以超越经典三种分解方式，完全因式分解 $p$-进域上的多项式？
• RQ2 如何定义高阶牛顿多边形，以捕捉所有不可约因子，并计算完整的判别式与整基？
• RQ3 从高阶多边形中导出的哪些组合不变量可实现指标 $\operatorname{ind}(f)$ 的精确计算？
• RQ4 是否存在一种有限且算法有效的过程，仅通过基本多项式运算计算素理想分解与判别式？

主要发现

• 该理论确保因式分解过程在最多 $\operatorname{ind}(f)$ 步内终止，且当且仅当 $\operatorname{ind}_{r+1}(f) = 0$ 时，有 $\operatorname{ind}(f) = \operatorname{ind}_1(f) + \cdots + \operatorname{ind}_r(f)$。
• 由每个不可约因子生成的 $p$-进域的分歧指数和剩余次数由高阶多边形边及其剩余多项式的组合数据决定。
• 该 $p$-进域的最大理想由从多边形数据显式构造的统一生成元生成。
• 指标 $\operatorname{ind}(f)$ 精确计算为从牛顿多边形结构导出的高阶指标之和。
• 该方法通过引入高阶类型和代表元，为 Ore 的计划提供了构造性解决方案，推广了经典牛顿多边形理论。
• 整个过程仅依赖于两种高效运算：带整系数的多项式除法和有限域上的因式分解，从而实现了判别式与整基计算的快速算法。