[论文解读] Factorization of Non-Commutative Polynomials

Fabrizio Caruso|arXiv (Cornell University)|Feb 16, 2010

graph theory and CDMA systems参考文献 2被引用 3

一句话总结

本文提出了一种在域上对非交换多项式进行因式分解的算法，扩展了詹姆斯·H·达文波特未发表的草图。该算法使用分级分解和符号扩张来处理非齐次情形下的非唯一因式分解问题，已在Axiom计算机代数系统中实现完整，并通过交换像分析和重叠最小化技术显著降低了计算复杂度。

ABSTRACT

We describe an algorithm for the factorization of non-commutative polynomials over a field. The first sketch of this algorithm appeared in an unpublished manuscript (literally hand written notes) by James H. Davenport more than 20 years ago. This version of the algorithm contains some improvements with respect to the original sketch. An improved version of the algorithm has been fully implemented in the Axiom computer algebra system.

研究动机与目标

• 开发一种实用且高效的算法，用于在域上对非交换多项式进行因式分解，解决尽管已有理论草图但缺乏已发表解决方案的问题。
• 通过引入符号扩张来建模可能的抵消效应，解决非齐次多项式因式分解中非唯一性的问题。
• 在Axiom计算机代数系统中实现该算法，利用其对自由幺半群和非交换多项式环的支持。
• 通过两项关键改进减少指数级搜索空间：最小化代数扩张数量，并利用交换像来过滤不可能的因式分解。
• 为非交换因式分解的有限性提供形式化证明的基础，并探索其他代数商结构的可能性。

提出的方法

• 该算法将非交换多项式分解为齐次分量，并通过匹配单项式和在抵消约束下求解系数，递归地确定因式分量。
• 引入新符号（代数扩张）以表示乘积 $GH$ 中重叠单项式之间的可能抵消。
• 使用左商和右商从原多项式 $F$ 中的单项式重构候选因式 $G$ 和 $H$。
• 对于 $F$ 中的每个单项式 $M$，检查候选首因式 $\hat{G}$ 是否左除 $M$，或 $\hat{H}$ 是否右除 $M$，并相应地更新 $G$ 和 $H$。
• 该算法应用由齐次分量 $F_{n-j} = G_{h-j}H_k + \dots + G_h H_{k-j}$ 衍生出的递归方程组，以确定一致的因式结构。
• 利用多项式的交换像对可能的因式次数对进行预过滤，通过二分背包问题减少需探索的案例数。

实验结果

研究问题

• RQ1 能否设计出一种系统且高效的算法，用于在域上对非交换多项式进行因式分解，即使存在因式分解的非唯一性？
• RQ2 如何通过代数方法建模非交换乘积中重叠单项式之间的抵消效应，以实现因式的重构？
• RQ3 在多大程度上可以利用非交换多项式的交换像来剪枝有效因式分解的搜索空间？
• RQ4 是否可以通过对初始单项式因式进行战略性选择，减少所需代数扩张（符号）的数量？
• RQ5 在何种条件下可保证非交换因式分解的有限性，且能否对其进行形式化证明？

主要发现

• 该算法通过将多项式分解为齐次分量，并利用单项式匹配与符号扩张求解因式系数，正确实现了非交换多项式的因式分解。
• 对于多项式 $F = yxyxy - y$，该算法找到了两种不同的因式分解：$(yx \pm 1)(yxy \mp y)$，其来源于条件 $\alpha^2 = 1$。
• 通过利用交换像，结合不可约交换因式上的二分背包问题，显著减少了候选因式次数对的数量。
• 该算法在Axiom中的实现支持所有可能因式分解的符号计算，并以显式描述系数约束的方式输出结果。
• 通过选择重叠最少的初始单项式因式 $\hat{G}$ 和 $\hat{H}$，可最小化所需代数扩张的数量，从而降低计算开销。
• 该算法已完全实现，并将包含在Axiom计算机代数系统的下一个版本中。