[论文解读] Gröbner Basis Theory for Modules over Polynomial Rings over Fields with Valuation

Aritra Sen, Ambedkar Dukkipati|arXiv (Cornell University)|Apr 29, 2014

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

一句话总结

本文将Gröbner基理论扩展至赋值域上多项式环上的自由模，通过在首项定义中引入系数赋值，并使用取值于ℕ的ecart函数以维持良序。本文提出了一种类似Buchberger的算法，用于计算Gröbner基与Hilbert多项式，证明在此框架下首 submodule 的大小可保持恒定，相较于标准Gröbner基具有计算优势。

ABSTRACT

A motivation to study Gröbner theory for fields with valuations comes from tropical geometry, for example, they can be used to compute tropicalization of varieties \citep{maclagan2009introduction}. The computational aspect of this theory was first studied in (Chen \& Maclagan, 2013). In this paper, we generalize this Gröbner basis theory to free modules over polynomial rings over fields with valuation. As the valuation of coefficients is also taken into account while defining the initial term, we do not necessarily get a monomial order. To overcome this problem we have to resort to other techniques like the use of ecart function where the codomain is the well-ordered set $\mathbb{N}$, and thereby give a method to calculate the Gröbner basis for submodules generated by homogeneous elements.

研究动机与目标

• 将Gröbner基理论推广至赋值域上多项式环的模，其中系数赋值影响首项的定义。
• 通过引入取值于ℕ的ecart函数，克服因赋值基项排序导致标准单项序失效的问题。
• 开发一种类似Buchberger的算法，用于计算由齐次元素生成的子模的Gröbner基。
• 利用所提算法实现对分次模的Hilbert多项式计算。
• 将该框架扩展至ℤ/p^ℓℤ[x₁,…,xₙ]上的自由模，实现相应的标准型与Gröbner基算法。

提出的方法

• 通过系数赋值之和与加权单项式次数的组合，定义基于赋值的项序，替代标准单项序。
• 引入取值于ℕ的ecart函数，以确保良序，并在缺乏单项序的情况下支持Buchberger准则。
• 为赋值域上多项式环的模构建标准型算法，通过首项与ecart引导的约化步骤实现。
• 通过计算S-多项式并模当前基约化，改进Buchberger算法，确保余式为零以验证Gröbner基。
• 通过追踪分次设定下首子模的增长，应用该算法计算Hilbert多项式。
• 通过结合模运算与类赋值性质，将框架扩展至ℤ/p^ℓℤ[x₁,…,xₙ]-模，适配标准型与Gröbner基计算。

实验结果

研究问题

• RQ1 Gröbner基理论能否推广至赋值域上多项式环的模，其中系数赋值影响项序？
• RQ2 当因赋值基项比较导致标准单项序失效时，如何维持良序并计算Gröbner基？
• RQ3 与标准Gröbner基相比，该赋值基Gröbner基方法在基大小与效率方面有何计算优势？
• RQ4 能否利用该新框架有效计算分次模的Hilbert多项式？
• RQ5 该理论在多大程度上可扩展至有限环如ℤ/p^ℓℤ[x₁,…,xₙ]？

主要发现

• 所提方法生成的Gröbner基可显著小于标准Gröbner基，一个示例显示尽管次数增加，首子模的大小仍保持恒定。
• 使用取值于ℕ的ecart函数可确保良序，并支持类似Buchberger的准则以验证Gröbner基。
• 该算法通过追踪赋值基序下首子模的增长，正确计算了分次模的Hilbert多项式。
• 该框架成功扩展至ℤ/p^ℓℤ[x₁,…,xₙ]上的自由模，其标准型算法与类似Buchberger的准则已适配有限环环境。
• 当且仅当生成集为Gröbner基时，S-多项式的余式为零，确保了算法的正确性。
• 通过在ℤ/p^ℓℤ上计算Gröbner基并提升至ℚ，该方法可缓解系数膨胀问题，提供一条实用的计算路径。