[论文解读] Computing holes in semi-groups

Raymond Hemmecke, Akimichi Takemura+1 more|arXiv (Cornell University)|Jul 24, 2006

Commutative Algebra and Its Applications参考文献 4被引用 2

一句话总结

本文提出了一种算法，用于计算由 Z^d 中的整数向量生成的幺半群 Q 的差集 H = Qsat \ Q，当 H 有限时，提供了 H 中元素条目值的上界。此外，该文提出一种方法以识别所有 Q-极小饱和点，从而为幺半群空洞提供了显式的结构洞察。

ABSTRACT

Abstract. In this paper we present an algorithm to compute an explicit description for the difference of a semi-group Q generated by vectors in Z d and its saturation Qsat. If H = Qsat \\ Q is finite, we give an upper bound for the entries of h ∈ H. Finally, we present an algorithm to find all Q-minimal saturation points in Q. 1.

研究动机与目标

• 开发一种算法，用于计算差集 H = Qsat \ Q，表示幺半群 Q 与其饱和 Qsat 之间的差异。
• 当 H 有限时，建立 H 中元素条目值的上界。
• 识别 Q 中所有 Q-极小饱和点，这些点对于理解空洞集的结构至关重要。
• 为由整数向量生成的幺半群提供空洞集 H 的显式、算法化描述。

提出的方法

• 该算法使用整数规划和格基约化技术，计算由 Z^d 中向量生成的幺半群 Q 的饱和 Qsat。
• 通过测试元素是否属于 Qsat 并排除属于 Q 的元素，采用构造性方法确定差集 H = Qsat \ Q。
• 利用 Q 的生成向量导出的边界，计算 H 中元素条目值的上界。
• 通过迭代测试 H 中元素在 Q-幺半群序下的极小性，识别 Q-极小饱和点。
• 该算法利用仿射幺半群的结构和整数锥的性质，确保算法的正确性与终止性。

实验结果

研究问题

• RQ1 如何显式计算由 Z^d 中整数向量生成的幺半群 Q 的空洞集 H = Qsat \ Q？
• RQ2 当 H 有限时，H 中元素条目值的上界可建立为何种形式？
• RQ3 如何系统性地找到 Q 中所有 Q-极小饱和点？
• RQ4 Q 和 Qsat 的哪些结构特性使得空洞和极小点的算法计算成为可能？

主要发现

• 本文提供了一种算法，可显式计算任意由 Z^d 中向量生成的幺半群 Q 的差集 H = Qsat \ Q。
• 当 H 有限时，本文建立了 H 中元素条目值的上界，该上界依赖于 Q 的生成向量。
• 该算法成功识别出所有 Q-极小饱和点，即在 Q-幺半群序下 H 中的极小元素。
• 通过利用格论和整数规划技术，该方法确保了算法的终止性与正确性。