[论文解读] Solving Detachability Problem for the Polynomial Ring by Signature-based Groebner Basis Algorithms

Yao Sun, Dingkang Wang|arXiv (Cornell University)|Aug 5, 2011

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

一句话总结

本文提出了一种高效方法，仅利用基于签名的Gröbner基算法（如F5和GVW）的输出，解决多项式环中的可分离性问题。通过从基于签名的输出构建完整标记的Gröbner基，实现了理想成员关系和多项式关于生成元的显式表示的多项式时间计算，且无需额外的Gröbner基计算。

ABSTRACT

Signature-based algorithms are a popular kind of algorithms for computing Groebner basis, including the famous F5 algorithm, F5C, extended F5, G2V and the GVW algorithm. In this paper, an efficient method is proposed to solve the detachability problem. The new method only uses the outputs of signature-based algorithms, and no extra Groebner basis computations are needed. When a Groebner basis is obtained by signature-based algorithms, the detachability problem can be settled in polynomial time.

研究动机与目标

• 解决计算Gröbner基元素相对于理想生成元表示的计算成本，这是解决可分离性问题的关键瓶颈。
• 克服一般方法效率低下的问题，这些方法需要通过引入辅助变量来追踪表示关系，从而扩展多项式环。
• 实现从基于签名的算法输出直接计算表示，而无需修改算法本身。
• 提供一种方法，仅利用现有基于签名的算法输出，恢复关系式模块基并高效求解理想成员关系问题。
• 建立一个框架，从基于签名的算法的简化输出（如单项式标记或签名标记基）计算完整标记的Gröbner基。

提出的方法

• 引入标记Gröbner基的概念，其中每个基元素均关联一个系数向量，表示其相对于原始生成元的表达式。
• 通过基于签名比较的递归约化过程，从单项式标记或签名标记的Gröbner基构造完整标记的Gröbner基。
• 使用一个称为“Representation”的函数，通过追踪使用现有基元素及其标记的约化过程，为Gröbner基中的每个多项式计算其系数向量。
• 利用签名序和首项幂积（lpp）比较，确保表示计算的正确性与终止性。
• 将该方法应用于F5和GVW等基于签名的算法，这些算法输出简化标记的基，通过从其输出中恢复完整的系数信息。
• 证明所得到的完整标记基可直接提供所有Gröbner基元素相对于原始生成元的表示，从而立即解决可分离性问题。

实验结果

研究问题

• RQ1 是否可以仅利用基于签名的Gröbner基算法输出，无需额外的Gröbner基计算，高效解决可分离性问题？
• RQ2 是否能够从基于签名的算法输出中恢复每个Gröbner基元素相对于原始生成元的表示？
• RQ3 该方法能否推广至多种基于签名的算法（包括F5和GVW），尽管其内部追踪机制存在差异？
• RQ4 从基于签名的输出中恢复表示的计算复杂度是多少？是否可实现多项式时间复杂度？
• RQ5 如何从相同输出中高效恢复原始生成元的关系式模块？

主要发现

• 所提出的方法仅利用基于签名的算法输出，在多项式时间内计算出Gröbner基元素相对于原始生成元的表示。
• 该方法从单项式标记或签名标记基构造完整标记的Gröbner基，从而可直接解决可分离性问题。
• 该算法高效且无需修改或重新运行基于签名的算法，保持了其性能特征。
• 该方法成功处理了F5和GVW算法的输出，尽管GVW输出构成Gröbner基的理论依据强于F5。
• 通过使用完整标记基对理想中任一多项式进行约化，其系数向量可直接从标签中提取，从而实现表示的直接计算。
• 该方法通过利用基于签名计算中被约化为零的多项式的签名，高效计算出关系式模块的基。