[论文解读] An Algorithm for Computing a Minimal Comprehensive Gröbner\, Basis of a Parametric Polynomial System

Deepak Kapur, Yiming Yan|arXiv (Cornell University)|Mar 17, 2020

Polynomial and algebraic computation被引用 6

一句话总结

本文提出一种算法，通过识别并移除非本质多项式，从给定的忠实全面Gröbner基（CGB）计算出一个极小全面Gröbner基（MCGB）。该方法利用关联的全面Gröbner系统（CGS）进行覆盖检查以确定本质性，确保生成的MCGB既极小又忠实，实验结果表明，与输入的CGB相比，其规模最多可减少100%。

ABSTRACT

An algorithm to generate a minimal comprehensive Gröbner\, basis of a parametric polynomial system from an arbitrary faithful comprehensive Gröbner\, system is presented. A basis of a parametric polynomial ideal is a comprehensive Gröbner\, basis if and only if for every specialization of parameters in a given field, the specialization of the basis is a Gröbner\, basis of the associated specialized polynomial ideal. The key idea used in ensuring minimality is that of a polynomial being essential with respect to a comprehensive Gröbner\, basis. The essentiality check is performed by determining whether a polynomial can be covered for various specializations by other polynomials in the associated branches in a comprehensive Gröbner\, system. The algorithm has been implemented and successfully tried on many examples from the literature.

研究动机与目标

• 为参数多项式系统定义一个极小全面Gröbner基（MCGB），作为迈向规范CGB的一步。
• 解决现有CGB中缺乏唯一性和极小性的问题，这些CGB通常包含冗余或非本质的多项式。
• 开发一种算法，从CGB中移除非本质多项式，同时保持忠实性和极小性。
• 证明MCGB可显著小于输入的CGB，从而提高参数理想计算的效率。
• 使能够从计算得到的MCGB重构出更简单、更紧凑的全面Gröbner系统（CGS）。

提出的方法

• 该算法以一个忠实全面Gröbner基（CGB）作为输入，其中所有多项式均属于原始理想。
• 若某多项式无法被关联全面Gröbner系统（CGS）中其他分支的多项式覆盖，则定义其为本质的。
• 通过验证：对于每个参数特化，该多项式的特化不能被CGB中其他多项式的特化约化，来检查其本质性。
• 仅保留本质多项式，形成一个极小CGB（MCGB）。
• 通过一个二次简化步骤，允许非子集极小CGB的生成，即利用其他本质多项式来约化本质多项式。
• 该算法已在文献示例中实现并验证，包括一个CGB规模减少100%的案例。

实验结果

研究问题

• RQ1 能否从任意忠实全面Gröbner基计算出一个极小全面Gröbner基？
• RQ2 在所有参数特化下，CGB中的多项式何时可被视为本质的？
• RQ3 能否在不损失特化后生成Gröbner基能力的前提下，显著减小CGB的规模？
• RQ4 能否从一个极小CGB重构出更简单的全面Gröbner系统（CGS）？
• RQ5 所提出的MCGB算法是否能生成一个既极小又忠实的基，并为规范CGB的定义提供可能？

主要发现

• MCGBMain算法成功移除了非本质多项式，在测试示例中使输入CGB的规模最多减少100%。
• 在理想⟨uy+x, vz+x+1⟩的示例中，该算法计算出{f, g, h}作为极小CGB，排除了非本质的−h。
• 对于理想⟨uz+x, (u+1)y−x⟩，MCGB为{f, g}，使原始CGB规模减少33%，并在此基础上重构出更简单的CGS。
• 该算法确保MCGB中的所有多项式均为忠实的，即属于原始理想，从而在特化下保持正确性。
• 从MCGB重构出的CGS通常比原始CGS更紧凑，证明了其结构上的简化性。
• 该方法在多种示例中均表现有效，表明许多现有CGB包含可被消除的冗余或非本质多项式。