[论文解读] The Identity Problem in $\mathbb{Z} \wr \mathbb{Z}$ is decidable

Ruiwen Dong|arXiv (Cornell University)|Jan 1, 2023

semigroups and automata theory被引用 1

一句话总结

本文證明了在半直積 ℤ ≀ ℤ 中，Identity Problem 與 Group Problem 的可判定性，此為一個基本的冪零可交換群。透過將兩個問題簡化為在半環 ℕ[X±] 上求解具有次數約束的齊次線性方程組，並透過推廣局部-整體原理以處理這些約束，作者們為算法群論中長期未解的問題提供了完整解答，補足了此前在相同群中 Semigroup Membership 問題的不可判定性結果。

ABSTRACT

We consider semigroup algorithmic problems in the wreath product $\mathbb{Z} \wr \mathbb{Z}$. Our paper focuses on two decision problems introduced by Choffrut and Karhumäki (2005): the Identity Problem (does a semigroup contain the neutral element?) and the Group Problem (is a semigroup a group?) for finitely generated sub-semigroups of $\mathbb{Z} \wr \mathbb{Z}$. We show that both problems are decidable. Our result complements the undecidability of the Semigroup Membership Problem (does a semigroup contain a given element?) in $\mathbb{Z} \wr \mathbb{Z}$ shown by Lohrey, Steinberg and Zetzsche (ICALP 2013), and contributes an important step towards solving semigroup algorithmic problems in general metabelian groups.

研究动机与目标

• 解決算法群論中關於 ℤ ≀ ℤ 中 Identity Problem 與 Group Problem 可判定性的問題。
• 將先前部分結果（如 Dong (2023) 對於 b = ±1 的生成元）推廣至任意生成元的完整解法。
• 彙整 ℤ ≀ ℤ 中 Semigroup Membership 的不可判定性與 Group Membership 的可判定性之間的差距，促進對冪零可交換群中算法性質的理解。
• 發展一個通用框架，以解決 ℕ[X±] 上具有次數約束的線性方程組，其應用不限於此特定群。

提出的方法

• 將 ℤ ≀ ℤ 中的 Identity 與 Group Problem 簡化為在半環 ℕ[X±] 上求解具有指數次數約束的齊次線性方程組。
• 使用一種新型圖論構造，將半群元素建模為 ℤ 上的路徑，以將生成元行為編碼為多項式方程。
• 將 Einsiedler、Mouat 與 Tuncel 的局部-整體原理推廣至包含次數約束，此類約束在原始公式中無法相容。
• 應用在環 ℤ[X±] 上的超 Gröbner 基以分析初始形式，並促進係數條件的有效計算。
• 在 ℝ 上使用線性規劃以判斷是否存在滿足正規性與初始形式次數約束的實係數。
• 利用 Tarski 定理（實數一階理論的可判定性）來驗證在所有 r > 0 條件下，滿足局部正規性條件的解是否存在。

实验结果

研究问题

• RQ1 在 ℤ ≀ ℤ 中，對於有限生成的子半群，Identity Problem 是否可判定？
• RQ2 在 ℤ ≀ ℤ 中，Group Problem 是否可判定？即能否判斷一個有限生成的子半群是否實際上為一個群？
• RQ3 儘管在同一群中 Semigroup Membership 問題不可判定，是否仍可達成這些問題的可判定性？
• RQ4 在 ℕ[X±] 上的多項式系統中，如何有效處理次數約束？
• RQ5 能否提出一個推廣的局部-整體原理，以在代數決策問題中同時納入正規性與次數約束？

主要发现

• 在 ℤ ≀ ℤ 中，對於所有有限生成的子半群，Identity Problem 是可判定的。
• 在 ℤ ≀ ℤ 中，對於所有有限生成的子半群，Group Problem 是可判定的。
• 透過將兩個問題簡化為在半環 ℕ[X±] 上具有次數約束的齊次線性方程組，達成可判定性結果。
• 證明了一個推廣的局部-整體原理，將 Einsiedler、Mouat 與 Tuncel 的先前工作延伸至包含次數約束，此為簡化過程的關鍵。
• 利用超 Gröbner 基與在 ℝ 上的線性規劃，實現了對正規性與次數條件的有效決策程序。
• 此結果完成了在一般冪零可交換群中解決算法問題的一個關鍵步驟，因為 ℤ ≀ ℤ 是有限生成自由冪零可交換群的通用模型。