[논문 리뷰] Undecidability of translational monotilings

Rachel Greenfeld, Terence Tao|arXiv (Cornell University)|2023. 09. 18.

Cellular Automata and ApplicationsComputer Science인용 수 3

한 줄 요약

이 논문은 유한 아벨 군 $G_0$에 대해 $\mathbb{Z}^2 \times G_0$ 공간에서의 이동 단일타일 테일링의 결정불가성을 입증한다. 이는 $(\sigma, \mathcal{C})$-수수박 퍼즐을 단일타일 테일링 문제에 인코딩하여 이루어지며, 저자들은 버거의 Turning 완전성 증명을 단일타일 테일링으로 확장하여, 주어진 타일이 이러한 군에서 이동 테일링을 허용하는지 여부를 판단할 수 있는 알고리즘이 존재하지 않음을 증명한다. 이는 차원 $d \geq 3$에서 단일타일 테일링의 결정성에 관한 오랫동안 미해결된 문제를 해결한다.

ABSTRACT

In the 60's, Berger famously showed that translational tilings of $\mathbb{Z}^2$ with multiple tiles are algorithmically undecidable. Recently, Bhattacharya proved the decidability of translational monotilings (tilings by translations of a single tile) in $\mathbb{Z}^2$. The decidability of translational monotilings in higher dimensions remained unsolved. In this paper, by combining our recently developed techniques with ideas introduced by Aanderaa and Lewis, we finally settle this problem, achieving the undecidability of translational monotilings of (periodic subsets of) virtually $\mathbb{Z}^2$ spaces, namely, spaces of the form $\mathbb{Z}^2 imes G_0$, where $G_0$ is a finite Abelian group. This also implies the undecidability of translational monotilings in $\mathbb{Z}^d$, $d\geq 3$.

연구 동기 및 목표

• 차원 $d \geq 3$에서 $\mathbb{Z}^d$의 이동 단일타일 테일링이 결정 가능한지 여부를 다루며, 뭄크라지의 $\mathbb{Z}^2$에서의 결정성 결과를 따르는 것.
• 유한 아벨 군 $G_0$에 대해 $\mathbb{Z}^2 \times G_0$에서의 이동 단일타일 테일링이 알고리즘적으로 결정불가능하다는 것을 입증하는 것.
• 다중타일 테일링에 대한 버거의 결정불가성 증명 프레임워크를 단일 타일의 경우로 확장하여, 단일타일 테일링 설정에서 Turning 완전성을 입증하는 것.
• $\mathbb{Z}^2 \times \mathbb{Z}/2\mathbb{Z}$에서 $(\mathcal{S}, \mathcal{C})$-수수박 퍼즐을 이동 단일타일 테일링 문제로 구성적으로 인코딩하여, 테일링의 해가 존재하는지 여부가 퍼즐의 해가 존재하는지 여부와 관련이 있음을 보이는 것.
• 고차원 및 유한 아벨 군으로 구성된 $\mathbb{Z}^2$의 가상 공간에서의 단일타일 테일링의 결정성 문제를 해결하여, 테일링 이론에서 주요 격차를 메우는 것.

제안 방법

• $(\mathcal{S}, \mathcal{C})$-수수박 퍼즐을 $\mathbb{Z}^2 \times \mathbb{Z}/2\mathbb{Z}$에서 이동 단일타일 테일링 문제로 인코딩하며, 타일 $F$는 수수박 값과 제약 조건을 모두 인코딩한다.
• p-진 수수박 규칙을 사용하여 테일링 전역에서 국소 일관성 조건을 강제하여, 각 행, 열, 블록이 요구되는 제약 조건을 만족하도록 한다.
• 해당 타일 $F$의 이동이 군 $\mathbb{Z}^2 \times \mathbb{Z}/2\mathbb{Z}$를 정확히 한 번만 덮을 수 있도록 타일 $F$를 구성하며, 이는 수수박 퍼즐의 해가 존재할 때에만 가능하다.
• 테일링을 주기적 및 비주기적 구성요소로 분해하기 위해 구조 정리를 적용하여, 테일링의 전반적 구조가 수수박 인스턴스의 논리적 일관성을 반영하도록 한다.
• $\iota_0$의 단사성과 $\iota_0(\mathbb{Z}/q\mathbb{Z})$ 및 $-\iota_0(\mathbb{Z}/q\mathbb{Z})$의 서로소 성질을 이용하여 레이블의 유일성을 보장하고 테일링 내 갈등을 방지한다.
• 튜링 기계 시뮬레이션을 통해 일반 테일링 문제를 논리적 결정 문제로 환원하여, 단일타일 테일링 문제의 해가 존재하는 것과 정지 문제의 해가 존재하는 것이 동치임을 보여준다.

실험 결과

연구 질문

• RQ1 수수박 퍼즐의 결정성에 기반해 $\mathbb{Z}^2$에서 결정 가능하다는 것을 고려할 때, $d \geq 3$인 $\mathbb{Z}^d$에서의 이동 단일타일 테일링 문제의 결정성은 가능한가?
• RQ2 왕 테일링의 결정불가성은 고차원 또는 $\mathbb{Z}^2$의 가상 공간에서의 단일 타일(단일타일 테일링)로 확장될 수 있는가?
• RQ3 어떤 고정된 유한 아벨 군 $G_0$가 존재하여 $\mathbb{Z}^2 \times G_0$에서의 이동 단일타일 테일링이 결정불가능한가?
• RQ4 비주기적 테일링이 구성되었음에도 불구하고, 유한 아벨 군으로 구성된 $\mathbb{Z}^2$의 가상 공간에서 주기적 이동 단일타일 테일링의 결정불가성은 유지되는가?
• RQ5 $\mathbb{Z}^2$에서 결정불가성에 필요한 최소 타일 수를 11 이하, 특히 2로 줄일 수 있는가?

주요 결과

• 모든 유한 아벨 군 $G_0$에 대해 $\mathbb{Z}^2 \times G_0$에서의 이동 단일타일 테일링 문제의 결정불가성이 입증되었으며, 이는 고차원에서의 결정성 문제를 해결한다.
• 임의의 $(\mathcal{S}, \mathcal{C})$-수수박 퍼즐이 $\mathbb{Z}^2 \times \mathbb{Z}/2\mathbb{Z}$에서 이동 단일타일 테일링 문제로 인코딩되며, 테일링이 존재하는 것은 수수박 퍼즐이 해가 존재할 때에만 가능하다.
• 해가 존재하는 수수박 퍼즐은 $\iota_0$와 $\iota_1$을 이용한 이중사상 인코딩을 통해 유일한 이동 단일타일 테일링과 상응하며, 그 반대도 마찬가지이다.
• 이 구성은 테일링이 비주기적임을 보장하여, 결정불가성 결과가 동일한 설정에서 주기적 단일타일 테일링으로 확장되지 않음을 암시한다.
• 결과적으로, 모든 $d \geq 3$에 대해 $\mathbb{Z}^d$에서의 이동 단일타일 테일링이 결정불가능하다고 함의되며, 이는 어떤 유한 $G_0$에 대해 $\mathbb{Z}^d$가 $\mathbb{Z}^2 \times G_0$를 부분군으로 포함하기 때문이다.
• 현재 결과는 변수 $G_0$에 대해 성립하지만, 고정된 유한 아벨 군 $G_0$에 대해 $\mathbb{Z}^2 \times G_0$에서 단일타일 테일링이 결정불가능한지 여부는 여전히 열린 질문이다.