[논문 리뷰] Computing (or not) Quasi-Periodicity Functions of Tilings

Alexis Ballier, Emmanuel Jeandel|arXiv (Cornell University)|2010. 12. 03.

Cellular Automata and Applications참고 문헌 26인용 수 8

한 줄 요약

이 논문은 이전 연구에서 잘못된 주장한 바를 수정하며, 유일하게 준주기적 타일링을 허용하는 타일셋이 준주기성 함수를 재귀적으로 유계로 둘 수 있음을 증명한다. 동시에, 어떤 준주기적 타일링도 계산 가능하게 유계로 둘 수 없는 타일셋을 구성한다. 효과적인 1차원 부분하향세트와 인코딩 기법을 사용하여, 이러한 무한성의 가능성을 입증함으로써, 타일링 역학과 계산 가능성 이론 분야의 핵심 문제를 해결한다.

ABSTRACT

We know that tilesets that can tile the plane always admit a quasi-periodic tiling [4, 8], yet they hold many uncomputable properties [3, 11, 21, 25]. The quasi-periodicity function is one way to measure the regularity of a quasi-periodic tiling. We prove that the tilings by a tileset that admits only quasi-periodic tilings have a recursively (and uniformly) bounded quasi-periodicity function. This corrects an error from [6, theorem 9] which stated the contrary. Instead we construct a tileset for which any quasi-periodic tiling has a quasi-periodicity function that cannot be recursively bounded. We provide such a construction for 1-dimensional effective subshifts and obtain as a corollary the result for tilings of the plane via recent links between these objects [1, 10].

연구 동기 및 목표

• 유일하게 준주기적 타일링을 허용하는 일부 타일셋이 준주기성 함수를 계산 불가능하게 유계로 둘 수 있다는 [6, 정리 9]의 잘못된 주장의 수정.
• 준주기적 타일링의 준주기성 함수가 재귀적으로 유계로 둘 수 있는지 여부를 조사하며, 특히 유일하게 이러한 타일링을 허용하는 타일셋에서의 경우를 중심으로 한다.
• 1차원 효과적 부분하향세트와 2차원 타일링 간의 연결 고리를 확립하여, 준주기성 유계의 결과를 전이한다.
• 모든 준주기적 타일링의 준주기성 함수가 재귀적 유계를 초월하는 타일셋의 존재를 입증한다.

제안 방법

• 모든 균일하게 재현되는 구성이 주어진 부분 재귀 함수 φ(n)보다 정의된 점에서 준주기성 함수가 초과하는 효과적인 1차원 부분하향세트를 구성한다.
• 이중층 구조를 사용: 첫 번째 층은 계산 가능한 수열 (u_n)을 인코딩하고, 두 번째 층은 φ(n)에 의해 결정된 간격에서 1의 주기적 배열을 강제하여 패턴 재현을 지연시킨다.
• 기존의 1차원 효과적 부분하향세트에서 2차원 SFT(subequilibrium of finite type)로의 인코딩 기법을 적용하여, 준주기성과 함수 성장 특성을 유지한다.
• 부분 재귀 함수의 열거를 통해 대각선화 추론을 적용하여 함수 φ(n) = φ_n(n) + 1을 정의함으로써, φ가 계산 가능하게 유계로 둘 수 없음을 보장한다.
• 패턴의 출현 여부가 코재귀적으로 열거 가능하다는 사실을 활용하여, 인코딩 과정에서 결정 가능성 문제를 피한다.
• 1차원 사례로의 감소를 통해, 최종적으로 유도된 2차원 타일셋의 모든 준주기적 타일링의 준주기성 함수가 재귀적으로 유계로 둘 수 없음을 증명한다.

실험 결과

연구 질문

• RQ1 유일하게 준주기적 타일링을 허용하는 타일셋의 준주기성 함수가 재귀적으로 유계로 둘 수 있는가?
• RQ2 모든 준주기적 타일링의 준주기성 함수가 계산 가능하게 유계로 둘 수 없는 타일셋이 존재하는가?
• RQ3 [6, 정리 9]에서 제시한 주장 — 그러한 무한성 타일셋이 존재한다 — 는 올바른가 아니면 잘못된가?
• RQ4 효과적인 1차원 부분하향세트를 사용하여 준주기성 함수가 무한한 2차원 타일셋을 구성할 수 있는가?
• RQ5 재귀적으로 열거 가능한 집합을 타일 패tern에 인코딩할 경우, 도미노 문제의 결정 가능성에 어떤 영향을 미치는가?

주요 결과

• 논문은 유일하게 준주기적 타일링을 허용하는 타일셋이 준주기성 함수를 균일하고 재귀적으로 유계로 둘 수 있음을 증명하며, [6, 정리 9]의 잘못된 주장에 시정한다.
• 모든 준주기적 구성이 주어진 부분 재귀 함수 φ(n)보다 정의된 점에서 준주기성 함수가 초과하는 효과적인 1차원 부분하향세트를 구성한다.
• 이 구성은 2차원 타일셋이 존재하며, 그 모든 준주기적 타일링의 준주기성 함수가 재귀적으로 유계로 둘 수 없음을 시사한다.
• 핵심 기술적 통찰은 1차원 부분하향세트에서 비계산 가능한 함수 φ(n)에 의해 결정된 간격에 1을 강제함으로써, 준주기성 함수의 재귀적 유계를 방지할 수 있다는 점이다.
• 논문은 [6, 정리 9]의 구성에서 결함을 밝혀내며: 비재귀 집합 K를 계산 가능한 패턴 크기 g(i)로 인코딩할 경우 K는 결정 가능해지며, 이는 비재귀성과 모순된다.
• 따라서 [6, 정리 9]의 주장은 잘못되었고, 올바른 결과는 그러한 무한성 타일셋이 존재한다는 것이다 — 그러나 이는 본 논문에서 제시한 바와 같은 다른 타당한 구성을 통해만 가능하다.