[논문 리뷰] An aperiodic monotile

David J. Smith, Joseph Samuel Myers외 2명|arXiv (Cornell University)|2023. 03. 20.

Quasicrystal Structures and Properties참고 문헌 39인용 수 21

한 줄 요약

이 논문은 hat polykite가 위상 디스크에 대한 비주기적 모노타일(einstein)임을 증명하고, 두 가지 증명과 연속체의 비주기적 도형 Tile(a, b)를 제시한다.

ABSTRACT

A longstanding open problem asks for an aperiodic monotile, also known as an "einstein": a shape that admits tilings of the plane, but never periodic tilings. We answer this problem for topological disk tiles by exhibiting a continuum of combinatorially equivalent aperiodic polygons. We first show that a representative example, the "hat" polykite, can form clusters called "metatiles", for which substitution rules can be defined. Because the metatiles admit tilings of the plane, so too does the hat. We then prove that generic members of our continuum of polygons are aperiodic, through a new kind of geometric incommensurability argument. Separately, we give a combinatorial, computer-assisted proof that the hat must form hierarchical -- and hence aperiodic -- tilings.

연구 동기 및 목표

• 디스크 모양 타일 가운데 하나의 비주기적 모노타일(einstein)을 찾으려는 동기를 부여한다.
• hat polykite가 평면 타일링을 허용하지만 주기적 인 타일링은 없음을 보여준다.
• 비주기성에 대한 두 가지 독립적인 증명을 보여준다(하나는 metatiles를 통한 구성적 증명, 다른 하나는 Berger-스타일).
• 조합적으로 등가 타일링을 가지는 Tile(a, b)와 관련된 도형의 연속체를 탐구한다.

제안 방법

• 국소 hat 구성에서 생기는 metatiles로 불리는 클러스터를 식별하여 hat의 타일링을 구성한다.
• metatiles에 대한 치환 시스템을 형성하여 metatiles와 동일한 조합적 구조를 갖는 supertiles를 생성한다.
• hat로 이루어진 타일링이 강하게 주기적일 수 없음을 보이고 계층적 타일링을 분석하여 비주기성을 증명한다.
• metatiles와 계층적 구조에 대해 Bergif-style 주장을 사용한 두 번째, 조합적/단계적 증명을 제공한다.
• 치환 프레임워크를 뒷받침하고 모든 타일링이 동일한 구조를 따르도록 컴퓨터 보조 케이스 열거를 사용한다.

실험 결과

연구 질문

• RQ1 단일 위상 디스크 타일이 평면을 비주기적으로만 타일링할 수 있는가( is an einstein)?
• RQ2 hat와 그의 연속체 Tile(a, b)가 계층적이고 비주기적인 타일링 구조를 강제하는가?
• RQ3 hat 군집에서 파생된 metatiles가 비주기적 타일링을 생성하는 치환 시스템을 지원하는가?
• RQ4 구성적 증명과 Berger-스타일 주장이 함께 hat 및 관련 도형의 비주기성을 확립하는가?

주요 결과

• The hat polykite는 비주기적 모노타일이다: 평면을 타일링하지만 평행이동에 의해 주기적 타일링은 허용하지 않는다.
• hat로 이루어진 모든 타일링은 비주기성을 강제하는 고유한 supertiles의 계층 구조를 포함한다.
• Metatiles derived from hat clusters admit a substitution system and tile the plane.
• There exists a continuum Tile(a, b) of shapes exhibiting combinatorially equivalent tilings to the hat, all aperiodic except for some degenerate cases.
• A secondary, computer-assisted proof confirms that the hat must form hierarchical—and hence aperiodic—tilings.