[论文解读] Extended letterplace correspondence for nongraded noncommutative ideals and related algorithms

Roberto La Scala|arXiv (Cornell University)|Jun 26, 2012

Commutative Algebra and Its Applications参考文献 19被引用 5

一句话总结

该论文通过引入字母位置理想中的 L-饱和性，将字母位置对应关系扩展至非分次的非交换理想，从而能够通过齐次交换多项式计算非齐次非交换 Gröbner 基。该方法利用标准交换算法统一处理交换与非交换 Gröbner 基的计算，并通过 Maple 和 Singular 的实验实现验证了其可行性和效率。

ABSTRACT

Let $K\ < x_i\ >$ be the free associative algebra generated by a finite or countable number of variables $x_i$. The notion of "letterplace correspondence" introduced in [1,2] for the graded (two-sided) ideals of $K\ < x_i\ >$ is extended in this paper also to the nongraded case. This amounts to the possibility of modelizing nongraded noncommutative presented algebras by means of a class of graded commutative algebras that are invariant under the action of the monoid $\mathbb N$ of natural numbers. For such purpose we develop the notion of saturation for the graded ideals of $K\ < x_i,t\ >$, where $t$ is an extra variable and for their letterplace analogues in the commutative polynomial algebra $K[x_{ij},t_j]$, where $j$ ranges in $\mathbb N$. In particular, one obtains an alternative algorithm for computing inhomogeneous noncommutative Gröbner bases using just homogeneous commutative polynomials. The feasibility of the proposed methods is shown by an experimental implementation developed in the computer algebra system Maple and by using standard routines for the Buchberger algorithm contained in Singular. References [1] La Scala, R.; Levandovskyy, V., Letterplace ideals and non-commutative Gröbner bases. J. Symbolic Comput., 44 (2009), 1374--1393. [2] La Scala, R.; Levandovskyy, V., Skew polynomial rings, Gröbner bases and the letterplace embedding of the free associative algebra. J. Symbolic Comput., 48 (2013), 110--131

研究动机与目标

• 将字母位置对应关系从分次扩展至自由结合代数中的非分次双边理想。
• 在扩展的自由代数 $ K\langle X, t\rangle $ 的分次理想及其字母位置对应物中发展饱和理论。
• 在 $ K\langle X\rangle $ 的所有理想与 $ K[\bar{X} \times \mathbb{N}^*] $ 中的 $ L $-饱和字母位置理想之间建立双射，以支持算法计算。
• 提供一种仅使用齐次交换多项式的替代算法，用于计算非齐次非交换 Gröbner 基。
• 通过 Maple 和 Singular 中的实验实现，证明该方法在实际应用中的可行性。

提出的方法

• 在字母位置代数 $ K[X \times \mathbb{N}^*] $ 中引入 $ \mathbb{N} $ 对位置索引的作用，从而诱导出多重分次结构。
• 将字母位置理想的 $ L $-饱和性定义为仅涉及位置多重分次下多重线性元素的饱和性质。
• 构建 $ K\langle X\rangle $ 中所有双边理想与 $ K[\bar{X} \times \mathbb{N}^*] $ 中 $ L $-饱和多重分次理想之间的双射，其中 $ \bar{X} = X \cup \{t\} $。
• 利用字母位置对应关系，将非交换理想映射为在移位算子下不变的交换理想。
• 使用 Singular 中的标准 Buchberger 算法实现该方法，并在 Maple 中测试，利用齐次交换 Gröbner 基计算。
• 将该方法应用于计算 Hecke 代数、通用包络代数和 Temperley-Lieb 代数中非齐次关系的非交换 Gröbner 基。

实验结果

研究问题

• RQ1 如何将字母位置对应关系扩展至非分次非交换理想（这些理想本身并不自然具有多重分次结构）？
• RQ2 为确保字母位置对应关系保持非分次理想结构，所需的必要且充分的饱和条件是什么？
• RQ3 能否通过该扩展对应关系，仅使用齐次交换多项式来计算非齐次非交换 Gröbner 基？
• RQ4 在字母位置设置下应用移位算子的计算开销与标准非交换 Gröbner 基算法相比如何？
• RQ5 在多大程度上可以利用现有的交换计算机代数系统，通过该方法计算非交换 Gröbner 基？

主要发现

• 扩展的字母位置对应关系在 $ K\langle X\rangle $ 的所有双边理想与 $ K[\bar{X} \times \mathbb{N}^*] $ 中的 $ L $-饱和字母位置理想之间建立了双射，从而实现了对非分次理想进行全面的算法处理。
• 该方法允许仅使用齐次交换多项式计算非齐次非交换 Gröbner 基，统一了齐次与非齐次情形的处理方式。
• 在 Maple 和 Singular 中的实验结果表明，FreeGBasis 算法的标准变体通常比基础变体更高效，尤其在复杂示例（如 lie7）中表现显著。
• 对于 lie7、heckeD 和 g3332 等示例，当度数界 $ \geq 2d-1 $ 时，该算法能实现完备性，从而提供了饱和性的计算证书。
• Singular 的 'std' 函数在 heckeAd15、heckeEd10 和 teli9d9 上的运行时间分别为 0.26、0.34 和 1.01 秒，表明该方法在内核优化实现中具有可行性。
• 该方法在计算上是可行的，并可通过标准交换计算机代数系统实现新的非交换计算。