[논문 리뷰] Tiling Problems on Baumslag-Solitar groups

Nathalie Aubrun, Jarkko Kari|arXiv (Cornell University)|2013. 09. 05.

Cellular Automata and Applications참고 문헌 12인용 수 6

한 줄 요약

이 논문은 모든 m,n > 0에 대해 Baumslag-Solitar 군 BS(m,n)에서 약한 비주기적 타일 집합을 구성하여, 이러한 군에서 도미노 문제의 결정불가성을 증명한다. 조각별 애핀 사상과 Turning 기계를 타일링에 인코딩하여, 비재귀적(비재귀적) 타일 집합의 존재를 보이며, 이는 비가상 자유 군 환경에서 기본적인 결정불가성과 비주기성 결과를 수립한다.

ABSTRACT

We exhibit a weakly aperiodic tile set for Baumslag-Solitar groups, and prove that the domino problem is undecidable on these groups. A consequence of our construction is the existence of an arecursive tile set on Baumslag-Solitar groups.

연구 동기 및 목표

• 비가상 자유 유한생성 군에서 도미노 문제의 결정가능성에 대해 조사한다.
• Baumslag-Solitar 군에서 약한 비주기적 타일 집합을 구성한다. 이 군은 두 생성자, 한 관계자로 이루어진 군으로, 단어 문제의 결정가능성을 가진다.
• 이 군들에서 도미노 문제가 결정불가능함을 보이며, Z²를 초월한 기존 결과를 확장한다.
• BS(m,n)에서 비재귀적 타일 집합의 존재를 보이며, 이는 유효한 타일링이 존재하지만, 모든 타일링이 비재귀적임을 의미한다.
• 타일링 동역학과 비유럽 기하군 설정에서의 계산적 결정불가성 간의 구성적 연결을 제공한다.

제안 방법

• 저자들은 Baumslag-Solitar 군 BS(m,n)의 카일리 그래프에 Wang 타일을 정의하며, 국소 타일링 규칙을 위해 변 색상 제약 조건을 사용한다.
• 36개의 2배 곱하기를 위한 타일과 10개의 2/3 곱하기를 위한 타일을 포함한 BS(3,2)에서 46개의 타일을 특별히 구성한다. 캐리 값으로 산술 동역학을 인코딩한다.
• 타일 집합은 실수에서 m을 곱하고 n으로 나누는 것을 시뮬레이션하는 동역학 시스템 T를 구현한다. 주기성과 비주기성은 log_m(n)의 무리수 성질에 의해 결정된다.
• 조각별 애핀 사상의 생존 문제의 결정불가능성을 BS(m,n)에서의 도미노 문제로 환원하여, 알려진 결정불가능성 결과를 활용한다.
• 모든 재귀적 입력에서 멈추지만 일부 비재귀적 입력에서는 멈추지 않는 Turning 기계를 인코딩함으로써, 유효한 타일링은 존재하지만 모든 타일링이 비재귀적임을 보여준다.
• 증명은 군이 타일링을 이동을 통해 작용하며, 타일링 동역학에서 주기성이 없음을 통해 약한 비주기성을 보장한다는 사실에 기반한다.

실험 결과

연구 질문

• RQ1 모든 m,n > 0에 대해 Baumslag-Solitar 군 BS(m,n)에서 약한 비주기적 타일 집합이 존재하는가?
• RQ2 그들의 단어 문제의 결정가능성과 비가상 자유성에도 불구하고, Baumslag-Solitar 군에서 도미노 문제가 결정불가능한가?
• RQ3 비가산적, 비가상 자유 군인 BS(m,n)와 같이 비재귀적(비재귀적) 타일 집합이 존재할 수 있는가?
• RQ4 조각별 애핀 사상의 동역학을 비유클리드 군 그래프에서 타일링에 효과적으로 인코딩할 수 있는가?
• RQ5 BS(m,n)의 대수적 구조와 비주기적 타일링의 존재 간의 관계는 무엇인가?

주요 결과

• 모든 m,n > 0에 대해 BS(m,n)에서 약한 비주기적 타일 집합이 존재하며, BS(3,2)에 대해 명시적으로 46개의 타일로 구성되었다.
• 모든 Baumslag-Solitar 군 BS(m,n)에서 도미노 문제가 결정불가능하다. 조각별 애핀 사상의 생존 문제의 결정불가능성으로부터 환원하여 증명되었다.
• BS(m,n)에서 비재귀적 타일 집합이 존재한다. 이는 유효한 타일링은 존재하지만, 모든 타일링이 비재귀적임을 의미하며, 새로운 형태의 결정불가능성을 보여준다.
• 타일 집합은 실수에서 m을 곱하고 n으로 나누는 것을 시뮬레이션하는 동역학 시스템을 인코딩하며, 주기성은 log_m(n)의 무리수 성질에 의해 결정된다.
• 이 구성은 모든 BS(m,n)로 일반화되며, 동일한 증명 구조와 비주기성 성질을 가지며, m과 n이 서로소일지라도 독립적이다.
• 결과적으로, 비가산적, 비가상 자유 군이지만 단어 문제의 결정가능성을 지닌 군에서도 타일링 문제의 결정불가능성과 비재귀적 해의 존재가 가능함을 보여준다.