[论文解读] A Generalized Criterion for Signature Related Gröbner Basis Algorithms

Yao Sun, Dingkang Wang|arXiv (Cornell University)|Jan 18, 2011

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

一句话总结

本文提出了一种签名基格罗布纳基算法的广义准则，通过多项式上的广义偏序统一了现有的准则（如F5和GVW），其关键贡献在于证明了该准则对任意可接受的偏序均成立，且无需假设齐次系统或特定的临界对处理顺序，从而实现了新准则的系统性开发与验证。

ABSTRACT

A generalized criterion for signature related algorithms to compute Gröbner basis is proposed in this paper. Signature related algorithms are a popular kind of algorithms for computing Gröbner basis, including the famous F5 algorithm, the extended F5 algorithm and the GVW algorithm. The main purpose of current paper is to study in theory what kind of criteria is correct in signature related algorithms and provide a generalized method to develop new criteria. For this purpose, a generalized criterion is proposed. The generalized criterion only relies on a general partial order defined on a set of polynomials. When specializing the partial order to appropriate specific orders, the generalized criterion can specialize to almost all existing criteria of signature related algorithms. For {\em admissible} partial orders, a complete proof of the correctness of the algorithm based on this generalized criterion is also presented. This proof has no extra requirements on the computing order of critical pairs, and is also valid for non-homogeneous polynomial systems. More importantly, the partial orders implied by existing criteria are admissible. Besides, one can also check whether a new criterion is correct in signature related algorithms or even develop new criteria by using other admissible partial orders in the generalized criterion.

研究动机与目标

• 建立签名基格罗布纳基算法正确性的理论基础，超越现有准则的限制。
• 通过可接受的偏序识别确保准则正确的必要与充分条件。
• 提供一个通用框架，用于验证或开发新准则，而无需从头开始重新证明正确性。
• 消除先前证明中的限制性假设，如要求齐次系统或特定的临界对处理顺序。

提出的方法

• 基于定义在多项式签名上的广义偏序，提出一种广义准则，当已知多项式的签名在该序下支配某临界对时，拒绝该临界对。
• 将可接受的偏序定义为能保持正确性所必需的代数结构的偏序，确保被拒绝的S-对不会损害格罗布纳基计算。
• 证明现有准则（F5、GVW、扩展F5）在特定可接受序下的特例即为广义准则的特例。
• 提供广义算法的完整正确性证明，该证明不依赖于临界对处理顺序或系统齐次性。
• 引入一种基于全序的新准则，证明其在理论上可拒绝几乎所有无用的临界对。
• 通过标准示例（Katsura、Cyclic）的实证基准测试，将性能与F5、GVW及其他变体进行比较。

实验结果

研究问题

• RQ1 何种广义偏序条件可确保签名基格罗布纳基算法的正确性，且不依赖于临界对处理顺序？
• RQ2 广义准则是否能统一并涵盖所有已知的签名基准则，包括F5与GVW中的准则？
• RQ3 当偏序不可接受时，广义准则的正确性是否仍能保持？是否存在虽不可接受但仍产生正确算法的偏序？
• RQ4 广义准则是否可用于通过选择适当的可接受偏序，系统性地开发新的高效准则？
• RQ5 在广义准则中，若将全序作为底层偏序，是否能实现对冗余临界对的近乎最优拒绝？

主要发现

• 广义准则对任意可接受的偏序均正确，且其证明适用于齐次与非齐次多项式系统，无需指定临界对处理顺序。
• 当特化到各自对应的可接受偏序时，F5与GVW准则被证明是广义准则的特例。
• 基于全序的新准则在理论上可最优地拒绝无用临界对，表明其具有高度的效率潜力。
• 实证结果表明，新算法在多个基准测试中优于F5与GVW，尤其在Katsura6、Katsura7与Cyclic6上表现更优，归因于更少的约化与更优的临界对拒绝。
• 采用最小签名策略的算法有时表现优于其他策略，因其生成的临界对更少；而最小次数策略在所需约化次数较低时更具效率。
• 本文识别出一个不可接受的偏序，其导致错误结果，凸显了可接受性对正确性的必要性。