[论文解读] On the Connection Between Ritt Characteristic Sets and Buchberger-Gröbner Bases

Dongming Wang|arXiv (Cornell University)|Jun 30, 2015

Polynomial and algebraic computation参考文献 6被引用 5

一句话总结

本文通过引入W-特征集——即多项式理想的约化的字典序Gröbner基中最小的三角集——建立了Ritt的特征集与Buchberger的Gröbner基之间的强关联。证明了当W-特征集为升列时，其为Ritt特征集；当其为正则时，可通过伪除法生成Ritt特征集；在非正则情况下，通过伪可除性关系揭示了其结构特性，从而实现了到正规三角集的算法化分解。

ABSTRACT

For any polynomial ideal $I$, let the minimal triangular set contained in the reduced Buchberger-Gröbner basis of $I$ with respect to the purely lexicographical term order be called the W-characteristic set of $I$. In this paper, we establish a strong connection between Ritt's characteristic sets and Buchberger's Gröbner bases of polynomial ideals by showing that the W-characteristic set $C$ of $I$ is a Ritt characteristic set of $I$ whenever $C$ is an ascending set, and a Ritt characteristic set of $I$ can always be computed from $C$ with simple pseudo-division when $C$ is regular. We also prove that under certain variable ordering, either the W-characteristic set of $I$ is normal, or irregularity occurs for the $j$th, but not the $(j+1)$th, elimination ideal of $I$ for some $j$. In the latter case, we provide explicit pseudo-divisibility relations, which lead to nontrivial factorizations of certain polynomials in the Buchberger-Gröbner basis and thus reveal the structure of such polynomials. The pseudo-divisibility relations may be used to devise an algorithm to decompose arbitrary polynomial sets into normal triangular sets based on Buchberger-Gröbner bases computation.

研究动机与目标

• 建立多项式理想中Ritt特征集与Buchberger Gröbner基之间的正式关联。
• 定义并分析W-特征集，即在纯字典序项序下，约化Buchberger-Gröbner基中最小的三角集。
• 证明当W-特征集为升列或正则时，其为Ritt特征集。
• 揭示在消去理想非正则情况下伪可除性关系的结构作用。
• 通过Gröbner基计算，实现对任意多项式集到正规三角集的算法化分解。

提出的方法

• 将W-特征集定义为在纯字典序项序下，约化Buchberger-Gröbner基中最小的三角集。
• 当W-特征集为正则时，使用伪除法从其计算Ritt特征集。
• 通过变量排序分析消去理想，以检测在第j个但非第(j+1)个层级出现的非正则性。
• 从Buchberger-Gröbner基中导出显式的伪可除性关系，揭示多项式非平凡的因式分解。
• 基于B-约化多项式构建分裂过程，将Gröbner基分解为有限多个正规三角集。
• 通过强正则Gröbner基精化，确保每个结果的W-特征集均为正规且满足sat(𝐶𝑖) = ⟨𝐺𝑖⟩。

实验结果

研究问题

• RQ1 在何种条件下，多项式理想的W-特征集是Ritt特征集？
• RQ2 如何通过伪除法从Buchberger-Gröbner基计算Ritt特征集？
• RQ3 当W-特征集非正则时，Buchberger-Gröbner基中编码了何种结构信息？
• RQ4 在非正则情况下，伪可除性关系是否可导致基多项式的非平凡因式分解？
• RQ5 是否能通过Buchberger-Gröbner基计算，实现对任意多项式集到正规三角集的算法化分解？

主要发现

• 当W-特征集为升列时，其必为Ritt特征集。
• 当W-特征集为正则时，可通过简单的伪除法从其计算出理想的Ritt特征集。
• 在特定变量排序下，非正则性出现在第j个但非第(j+1)个消去理想层级，其由显式的伪可除性关系刻画。
• 这些伪可除性关系导致Buchberger-Gröbner基中某些多项式的非平凡因式分解，揭示其内部结构。
• 基于B-约化多项式的分裂过程因升链条件而有限终止，生成有限多个正规三角集。
• 所得W-特征集满足sat(𝐶𝑖) = ⟨𝐺𝑖⟩，确保分解的正确性与完备性。