[논문 리뷰] The Identity Problem in $\mathbb{Z} \wr \mathbb{Z}$ is decidable

Ruiwen Dong|arXiv (Cornell University)|2023. 01. 01.

semigroups and automata theory인용 수 1

한 줄 요약

이 논문은 기본적인 메타아벨 군인 와이어드 곱 $ℤ \wr \u2124$ 에서 정체성 문제와 군 문제의 결정 가능성을 확립한다. 두 문제를 모두 자연수 다항식 반군 $\mathbb{N}[X^{\pm}]$ 위의 동차 선형 방정식계로 감소시키고, 차수 제약 조건을 다루기 위해 국소-전역 원리를 일반화함으로써, 알고리즘 군론 분야에서 오랫동안 미해결이었던 문제들에 대한 완전한 해답을 제시한다. 이는 동일한 군에서 반군 멤버십 문제의 결정 불가능성 결과를 보완한다.

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.

연구 동기 및 목표

• 알고리즘 군론에서 미해결이었던, 유한 생성 부분반군에 대한 와이어드 곱 $\mathbb{Z} \wr \mathbb{Z}$ 에서의 정체성 문제와 군 문제의 결정 가능성을 해결하기 위해.
• Dong(2023)의 $b = \pm 1$ 인 생성자에 대한 부분 결과를 일반적인 생성자에 대해 전반적인 해법으로 확장하기 위해.
• $\mathbb{Z} \wr \mathbb{Z}$ 에서 반군 멤버십의 결정 불가능성과 군 멤버십의 결정 가능성 사이의 격차를 메우기 위해, 메타아벨 군 내 알고리즘적 성질에 대한 이해를 심화하기 위해.
• 일반적인 프레임워크를 개발하여, $\mathbb{N}[X^{\pm}]$ 위의 선형 방정식계에 차수 제약 조건을 포함하는 문제를 효과적으로 해결할 수 있도록 하기 위해.

제안 방법

• 정체성 문제와 군 문제를 모두 자연수 다항식 반군 $\mathbb{N}[X^{\pm}]$ 위의 동차 선형 방정식계로 감소시키며, 지수의 차수 제약 조건을 함께 고려한다.
• 반군 원소를 $\mathbb{Z}$ 위의 산책으로 모델링하기 위해 새로운 그래프 이론적 구성 기법을 사용하여 생성자의 행동을 다항식 방정식으로 표현한다.
• Einsiedler, Mouat, Tuncel의 국소-전역 원리를 차수 제약 조건을 포함하도록 일반화하여, 이전에는 원래 공식과 호환되지 않았던 제약 조건을 다룰 수 있도록 한다.
• 초기 형의 분석과 계수 조건의 효과적 계산을 가능하게 하기 위해 정수 계수 다항식환 $\mathbb{Z}[X^{\pm}]$ 위의 슈퍼 그로브너 기저를 적용한다.
• 초기 형의 계수 조건을 만족하는 실수 계수의 존재성을 결정하기 위해 실수 위에서의 선형 계획법을 사용한다.
• Tarski의 실수의 일阶논리 이론의 결정 가능성 정리를 활용하여, 모든 $r > 0$ 에서 국소 긍정성 조건을 만족하는 해의 존재성을 검증한다.

실험 결과

연구 질문

• RQ1 유한 생성 부분반군에 대해 와이어드 곱 $\mathbb{Z} \wr \mathbb{Z}$ 에서 정체성 문제가 결정 가능한가?
• RQ2 군 문제, 즉 유한 생성 부분반군이 실제로 군인지 여부를 판단할 수 있는가? $\mathbb{Z} \wr \mathbb{Z}$ 에서의 군 문제의 결정 가능성은 어떻게 되는가?
• RQ3 동일한 군에서 반군 멤버십 문제가 결정 불가능한 데도 불구하고, 이러한 문제들의 결정 가능성은 달성 가능한가?
• RQ4 자연수 다항식 반군 $\mathbb{N}[X^{\pm}]$ 위의 다항식계에서 차수 제약 조건을 의사결정 절차에서 효과적으로 다룰 수 있는가?
• RQ5 긍정성과 차수 제약 조건을 모두 포함하는 일반화된 국소-전역 원리는 대수적 의사결정 문제에 대해 어떻게 형식화할 수 있는가?

주요 결과

• 모든 유한 생성 부분반군에 대해 $\mathbb{Z} \wr \mathbb{Z}$ 에서의 정체성 문제가 결정 가능하다.
• 모든 유한 생성 부분반군에 대해 $\mathbb{Z} \wr \mathbb{Z}$ 에서의 군 문제가 결정 가능하다.
• 이러한 결정 가능성 결과는 두 문제를 모두 자연수 다항식 반군 $\mathbb{N}[X^{\pm}]$ 위의 동차 선형 방정식계로 감소시키며, 차수 제약 조건을 포함함으로써 달성된다.
• 기존 Einsiedler, Mouat, Tuncel의 작업을 확장하여 차수 제약 조건을 포함하는 일반화된 국소-전역 원리가 증명되었으며, 이는 감소 과정에 필수적이다.
• 슈퍼 그로브너 기저와 실수 위의 선형 계획법의 활용은 긍정성 조건과 차수 조건에 대한 효과적인 의사결정 절차를 가능하게 한다.
• 이 결과는 일반 메타아벨 군에서 알고리즘 문제를 해결하는 데 있어서 핵심 단계를 완성하였으며, $\mathbb{Z} \wr \mathbb{Z}$ 는 유한 생성 자유 메타아벨 군의 보편적 모델이기 때문이다.