[论文解读] Local Gröbner fan: polyhedral and computational approach

Rouchdi Bahloul, Nobuki Takayama|ArXiv.org|Dec 2, 2004

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

一句话总结

本文证明了在形式幂级数环和解析微分算子的齐次化环中，局部 Gröbner 折线图是一个多面体扇形。通过多面体几何与分次环理论，本文证明了局部 Gröbner锥的有限性、凸性与多面体性，并提供了计算它们的算法，填补了先前研究中仅证明有限性而未证明多面体结构的空白。

ABSTRACT

The goal of this paper is to show that the local Gröbner fan is a polyhedral fan for ideals in the ring of power series and the homogenized ring of analytic differential operators. We will also discuss about relations between the local Gröbner fan and the (global) Gröbner fan for a given ideal and algorithms of computing local Gröbner fans. In rings of differential operators, finiteness and convexity of local Gröbner fans were firstly proved by Assi, Castro-Jiménez and Granger. But they did not prove that they are polyhedral fans.

研究动机与目标

• 建立在形式幂级数环和齐次化微分算子环中，局部 Gröbner 折线图是一个多面体扇形。
• 通过证明局部 Gröbner 折线图具有多面体结构（而不仅仅是有限性与凸性），弥合了先前研究中的空白。
• 在交换与非交换情形下，开发用于构造局部 Gröbner 折线图的计算算法。
• 比较局部与全局 Gröbner 折线图，表明它们的最大维锥一致，但全局折线图可能并非多面体。
• 通过计算实例展示该方法的可行性与局限性，包括在双重齐次化 Weyl 代数中的内存密集型情况。

提出的方法

• 利用关于权向量的关联分次环中的标准基理论，定义首项理想与 Gröbner 锥。
• 在分次环 $\mathrm{gr}^u(\hat{O})$ 与 $\mathrm{gr}^w(h_{(\mathbf{0,1})}(\hat{D}))$ 中应用除法定理，以刻画首项理想。
• 将局部 Gröbner 折线图定义为具有相同首项理想的权向量等价类的闭包的集合。
• 通过证明牛顿多面体的面的法锥（在交换情形下）与标准锥（在微分情形下）是有理的、凸的且多面体的，证明了局部 Gröbner 折线图构成一个多面体扇形。
• 采用齐次化技术，将局部结构与全局 Gröbner 折线图联系起来，特别是在双重齐次化 Weyl 代数的背景下。
• 通过 Gröbner 走路与基转换实现局部 Gröbner 折线图的计算算法，并在高维情形下优化内存效率。

实验结果

研究问题

• RQ1 在形式幂级数环 $\mathcal{O}_0$ 中，局部 Gröbner 折线图是否为多面体扇形？
• RQ2 在解析微分算子的齐次化环 $h_{(\mathbf{0,1})}(\mathcal{D}_0)$ 中，局部 Gröbner 折线图是否构成多面体扇形？
• RQ3 局部与全局 Gröbner 折线图如何比较，特别是在多面体结构与最大维锥方面？
• RQ4 能否在如 Weyl 代数等非交换情形下，开发出高效计算局部 Gröbner 折线图的算法？
• RQ5 在双重齐次化 Weyl 代数中，构造复杂数的理想对应的局部 Gröbner 折线图时，其计算限制与内存需求为何？

主要发现

• 在 $\mathcal{O}_0$ 中，局部 Gröbner 折线图是一个多面体扇形，其由有限个闭合多面体锥构成扇形结构。
• 在 $h_{(\mathbf{0,1})}(\mathcal{D}_0)$ 中，局部 Gröbner 折线图也是一个多面体扇形，确认了微分算子情形下标准锥的多面体性质。
• 在 $h_{(\mathbf{0,1})}(D)$ 中由 $x^3 - y^2$ 生成的理想，其局部 Gröbner 折线图仅有一个最大维锥，而全局折线图有多个，表明全局折线图并非多面体。
• 根据推论 4.2.3，局部与全局 Gröbner 折线图的最大维等价类一致，即使全局折线图整体并非多面体。
• 计算实验表明，Gröbner 折线图中最大维锥的数量迅速增长：在齐次化 Weyl 代数中，$n=1$ 时为 2 个，$n=2$ 时为 39 个，$n=3$ 时为 3246 个。
• 在双重齐次化 Weyl 代数中，Gröbner 基计算期间发生内存耗尽，如在 2GB 内存限制下无法完成约化 Gröbner 基的构造。