[논문 리뷰] An alternative proof for an aperiodic monotile

Shigeki Akiyama, Yoshiaki Araki|arXiv (Cornell University)|2023. 07. 23.

semigroups and automata theoryComputer Science인용 수 3

한 줄 요약

이 논문은 Smith Hat 단일타일, 특히 Tile$(\sqrt{3}:1)$ 변형에 대해, 새로운 골드 헥스 대체 시스템과 불리한 빈도를 가진 선형 표시인 골드 암만 막대(Golden Ammann Bar, GAB)를 사용하여 비주기성에 대한 간결하고 자가 포함된 증명을 제시한다. 유한한 정점 아틀라스 전이도형을 통한 대체의 일관성과 GAB 빈도의 무리수 성질을 입증함으로써, 이 타일로 구성된 모든 타일링이 비주기적임을 보이며, 기존의 [12]에서 제시된 복잡한 대체 시스템이나 메타타일에 의존하지 않는 더 간단한 대체 증명을 제공한다.

ABSTRACT

We give an alternative simple proof that the monotile introduced by Smith, Myers, Kaplan and Goodman-Strass is aperiodic.

연구 동기 및 목표

• 복잡한 대체 시스템이나 메타타일에 의존하지 않고, Smith Hat 단일타일 Tile$(\sqrt{3}:1)$의 비주기성에 대한 대체적이고 초보자 수준의 증명을 제공하는 것.
• 유한한 패치타일 집합에 기반한 잘 정의된 기하학적 대체 규칙을 통해 Tile$(\sqrt{3}:1)$로 타일링이 존재함을 입증하는 것.
• 특정 선형 표시인 골드 암만 막대(GAB)를 사용하여 비주기성을 입증하는 것. 이 GAB의 타일링 내 빈도가 무리수임을 보이는 것이 핵심이다.
• 이전의 [12]나 [9]의 결과 또는 기본 Laves 타일에 대한 가정에 의존하지 않는 자가 포함된 증명을 제공하는 것.

제안 방법

• 자기 유사한 극한 비율 $\tau^2$를 가지는 4개의 패치타일(T_n, PD_n, ZD_n, ZT_n)을 기반으로 한 새로운 대체 규칙인 '골드 헥스 대체'를 도입한다.
• 5단계 패치타일을 분석하여 27개의 유한한 정점 아틀라스를 구성함으로써, 반복적인 대체에서 경계 맞춤의 일관성을 확보한다.
• 골드 암만 막대(GAB)를 타일에 대한 선형 표시로 정의하며, 특정 변과 일치하고 카고메 타일링의 부분 구성요소를 이룬다.
• 두 가지 방법을 사용하여 큰 패치에서 GAB 총 길이를 계산한다: 한쪽은 변 구성에 기반하고, 다른 한쪽은 뒤집힌 타일 수에 기반한다.
• 두 길이 계산을 동일시함으로써 $q^2 - q + \frac{1}{5} = 0$의 이차방정식을 유도하며, 그 해는 $q = \frac{5 \pm \sqrt{5}}{10}$로 무리수이다.
• GAB 빈도의 무리수 성질을 이용하여 주기적인 타일링이 존재할 수 없음을 결론 내림으로써 비주기성을 증명한다.

실험 결과

연구 질문

• RQ1 Smith Hat 단일타일 Tile$(\sqrt{3}:1)$의 비주기성은 [12]에서 사용된 조합론적 대체 규칙이나 메타타일에 의존하지 않고 증명될 수 있는가?
• RQ2 골드 헥스 대체에서 일관된 유한한 정점 아틀라스 전이도형이 존재한다면, 이는 유효한 타일링의 존재를 의미하는가?
• RQ3 골드 암만 막대(GAB)는 주기성을 탐지하는 데 사용될 수 있는 선형 표시인가? 그리고 타일링 내에서 GAB의 빈도는 얼마인가?
• RQ4 타일링 내 GAB 빈도가 무리수인가? 그리고 이는 비주기성을 의미하는가?
• RQ5 제안된 증명은 기본 Laves 타일에 대한 가정에 의존하는 다른 증명에 비해 일반성과 자가 포함성 면에서 어떻게 비교되는가?

주요 결과

• 골드 헥스 대체는 잘 정의되어 있으며, 일관된 27개의 정점 아틀라스를 포함함으로써 Tile$(\sqrt{3}:1)$로 타일링이 존재함을 입증한다.
• 변 구성 기반과 뒤집힌 타일 수 기반의 GAB 총 길이 계산을 동일시함으로써 $q^2 - q + \frac{1}{5} = 0$의 방정식을 도출하였으며, 그 해는 $q = \frac{5 \pm \sqrt{5}}{10}$이다.
• 두 해인 $q_1 \approx 0.276$와 $q_2 \approx 0.724$는 모두 무리수이며, 이는 GAB 빈도가 주기적이지 않음을 확인한다.
• GAB 빈도가 무리수이므로 주기적인 타일링이 존재할 수 없으며, 따라서 Tile$(\sqrt{3}:1)$로 구성된 모든 타일링이 비주기적임을 증명한다.
• 이 증명은 기존의 [9]와 마찬가지로 기본 Laves 타일의 존재에 대한 가정이 필요로 하지 않으며, 자가 포함되어 있다.
• GAB 빈도 $q$는 카고메 부분 구성요소의 세 방향 모두에서 동일하며, $q_2/q_1 = \tau^2$이므로 자기 유사한 구조임을 나타낸다.