[论文解读] Noncommutative Involutive Bases

Gareth A. Evans|ArXiv.org|Feb 7, 2006

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

一句话总结

本文将非交换多项式环中的格罗布纳基推广为非交换对合基，提出使用强、弱、全局和局部对合划分计算它们的新算法。关键贡献是提出一个可证明正确的算法，通过非交换对合约化计算格罗布纳基，其终止性由对合划分的稳定性与可扩展性性质保证。

ABSTRACT

The theory of Groebner Bases originated in the work of Buchberger and is now considered to be one of the most important and useful areas of symbolic computation. A great deal of effort has been put into improving Buchberger's algorithm for computing a Groebner Basis, and indeed in finding alternative methods of computing Groebner Bases. Two of these methods include the Groebner Walk method and the computation of Involutive Bases. By the mid 1980's, Buchberger's work had been generalised for noncommutative polynomial rings by Bergman and Mora. This thesis provides the corresponding generalisation for Involutive Bases and (to a lesser extent) the Groebner Walk, with the main results being as follows. (1) Algorithms for several new noncommutative involutive divisions are given, including strong; weak; global and local divisions. (2) An algorithm for computing a noncommutative Involutive Basis is given. When used with one of the aforementioned involutive divisions, it is shown that this algorithm returns a noncommutative Groebner Basis on termination. (3) An algorithm for a noncommutative Groebner Walk is given, in the case of conversion between two harmonious monomial orderings. It is shown that this algorithm generalises to give an algorithm for performing a noncommutative Involutive Walk, again in the case of conversion between two harmonious monomial orderings. (4) Two new properties of commutative involutive divisions are introduced (stability and extendibility), respectively ensuring the termination of the Involutive Basis algorithm and the applicability (under certain conditions) of homogeneous methods of computing Involutive Bases.

研究动机与目标

• 将对合基理论从交换环推广到非交换多项式环。
• 开发基于各种对合划分计算非交换对合基的新算法。
• 在和谐单项序下，将格罗布纳路径与对合路径推广至非交换设置。
• 建立理论性质——稳定性与可扩展性——以确保非交换设置下非交换对合基的终止性与同质方法的适用性。

提出的方法

• 提出四种新的非交换对合划分：强、弱、全局和局部，基于重叠条件与可乘变量。
• 开发使用这些划分计算非交换对合基的算法，包含对合约化与延拓步骤。
• 引入和谐单项序的概念，以在非交换格罗布纳基与对合路径之间实现序的转换。
• 应用连续性与完备性概念，确保对合基计算的正确性与终止性。
• 使用改进的布赫贝格算法版本，适用于非交换设置，包含约化与S-多项式处理的判别准则。
• 使用ANSI C与AlgLib实现并测试该算法，源代码在附录B中提供，以确保可复现性。

实验结果

研究问题

• RQ1 对合基理论能否成功推广至非交换多项式环？
• RQ2 哪些类型的对合划分适用于非交换设置，它们如何确保终止性与正确性？
• RQ3 格罗布纳路径能否扩展至非交换环，其在何种条件下保持对合结构？
• RQ4 哪些性质——如稳定性与可扩展性——是保证非交换对合基中终止性与同质方法适用性的必要条件？
• RQ5 不同非交换对合划分在计算效率与基大小方面有何比较？

主要发现

• 所提出的非交换对合基算法在使用任一新对合划分时，终止后能正确计算出格罗布纳基。
• 引入稳定性与可扩展性性质可确保终止性，并使同质方法在非交换设置中得以应用。
• 非交换格罗布纳路径算法在转换两个和谐单项序时有效，推广了交换情形。
• 非交换对合路径算法在相同条件下也有效，且在基转换过程中保持对合结构。
• 使用ANSI C与AlgLib实现的系统成功计算出对合基与约化格罗布纳基，测试案例包括理想成员关系问题。
• 系统正确识别了多项式在理想中的成员关系，例如验证 $ zyx + 1 $ 与 $ xz^2 + yz^2 - 1 $ 属于由 $ \{x+y+z-3, x^2+y^2+z^2-9, x^3+y^3+z^3-24\} $ 生成的理想，而 $ x^{10} $ 不属于该理想。