[논문 리뷰] The domino problem on groups of polynomial growth

Alexis Ballier, Maya Stein|arXiv (Cornell University)|2013. 11. 17.

semigroups and automata theory참고 문헌 19인용 수 7

한 줄 요약

이 논문은 유한 생성 가상 야드니르푸프 군에 대해 도미노 문제의 결정 가능성이 유한 생성 가상 자유군일 때이고 그때에만 성립함을 증명한다. 저자들은 비가상 자유군이 비자명하고 유한 생성되며 토피온 없는 중심을 지닌 경우 두꺼운 끝을 포함함을 보여, 이를 통해 구성된 반그리드 구조를 통해 ℤ²에서의 결정 불가능한 도미노 문제로의 환원을 가능하게 하여 이러한 군들에 대한 도미노 문제의 결정 불가능성을 증명한다.

ABSTRACT

We characterize the virtually nilpotent finitely generated groups (or, equivalently by Gromov's theorem, groups of polynomial growth) for which the Domino Problem is decidable: These are the virtually free groups, i.e. finite groups, and those having $\Z$ as a subgroup of finite index.

연구 동기 및 목표

• 유한 생성 군이 도미노 문제를 결정 가능하게 하는 것은 유한 생성 가상 자유군일 때에만 성립한다는 추측을, 가상 야드니르푸프 군에 대해 증명함으로써 해결하기.
• 중심에 비자명하고 유한 생성되며 토피온 없는 부분군을 포함하는 모든 유한 생성 군에 대해 결과를 확장하기.
• 이러한 군들에 속하는 비가상 자유군들이 도미노 문제의 결정 불가능성을 보여주기 위해 그 캐일리 그래프에 격자 유사 구조를 구성함.
• 이러한 군들의 도미노 문제에서 결정 불가능한 ℤ²의 도미노 문제로의 환원을 제공함으로써 결정 불가능성을 확립하기.
• 유한 생성 가상 야드니르푸프 군의 범주 내에서 도미노 문제의 결정 가능성은 가상 자유군을 특징짓는다는 것을 보여주기.

제안 방법

• Woess의 결과를 사용하여, 임의의 유한 생성 비가상 자유 군은 두꺼운 끝을 가짐을 보임.
• Halin의 정리의 확장 적용을 통해 비자명하고 유한 생성되며 토피온 없는 중심을 지닌 군의 캐일리 그래프에 반그리드 구조(ℕ×ℤ 유사)를 매립함.
• 지역 제약 조건을 유지하면서 재귀적 레이블링 과정을 사용하여 군 위에 구성(configuration)을 구성하고 ℤ²에서의 타일링을 시뮬레이션함.
• 이러한 격자 유사 구조의 존재를 활용하여 군에서의 도미노 문제를 결정 불가능한 ℤ²의 도미노 문제로 환원함.
• 유한 지수 부분군에 대해 도미노 문제가 불변임을 이용하여, 부분군에서의 결정 불가능성을 전체 군으로 이전함.
• 기존의 모나딕 이차논리 및 MSO 이론 결과를 적용하여, 가상 야드니르푸프 경우에서 도미노 문제의 결정 가능성과 가상 자유성의 관련성을 연결함.

실험 결과

연구 질문

• RQ1 유한 생성 가상 야드니르푸프 군에 대해 도미노 문제의 결정 가능성은 언제 성립하는가?
• RQ2 군의 중심에 비자명하고 유한 생성되며 토피온 없는 부분군이 존재할 경우, 군이 가상 자유가 아니면 도미노 문제가 결정 불가능한가?
• RQ3 ℤ²에서의 도미노 문제의 결정 불가능성은 특정 구조적 성질을 지닌 다른 군들의 도미노 문제로 환원될 수 있는가?
• RQ4 군의 캐일리 그래프에서의 두꺼운 끝의 구조가 격자를 시뮬레이션하고 결정 불가능성을 유도하는 데 얼마나 활용될 수 있는가?
• RQ5 유한 생성 군 전반에 대해 가상 자유성과 도미노 문제의 결정 가능성 간의 동치성은 추측과 같이 성립하는가?

주요 결과

• 유한 생성 가상 야드니르푸프 군에서 도미노 문제의 결정 가능성은 군이 가상 자유일 때에만 성립한다.
• 비자명하고 유한 생성되며 토피온 없는 부분군을 중심에 포함하는 임의의 유한 생성 군에서 도미노 문제의 결정 가능성은 군이 가상 자유일 때에만 성립한다.
• 비가상 자유 군이 이러한 중심을 지닐 경우 두꺼운 끝을 포함하며, 이는 그 캐일리 그래프에 반그리드 구조를 구성하는 데 가능하게 한다.
• 이 반그리드 구조의 존재는 군에서의 도미노 문제를 결정 불가능한 ℤ²의 도미노 문제로의 환원을 가능하게 한다.
• ℤ²에서의 도미노 문제의 결정 불가능성은 이러한 비가상 자유 군들 전반에 걸쳐 결정 불가능성을 암시한다.
• 결과는 논문의 추측을 유한 생성 가상 야드니르푸프 군의 범주에서 확인하고, 중심이 구조화된 더 넓은 군의 범주로 확장한다.