제델 라오 타일링의 대체 구조와 최소 비주기성 서브시프트

초록

제델‑라오가 발견한 11개의 비주기적 왕 타일 집합 𝑇₀에 대해, 저자는 전체 타일링 공간 Ω₀에서 최소 비주기적 서브시프트 X₀를 구성하고, 각 타일링을 19개의 고유한 ‘슈퍼타일’(크기 45~112)로 유일하게 분해한다. 이 슈퍼타일들은 19개의 자체‑유사 비주기 타일 𝕌와 동형이며, 마커 타일, 결함선 제거, 전단(conjugacy) 등을 이용한 12단계의 가산적 절차와 알고리즘으로 증명한다. 또한 Ω₀∖X₀는 모든 변환 불변 확률 측도에 대해 영집합일 것이라는 추측을 제시한다.

상세 분석

이 논문은 최근에 최소 크기(11개) 비주기적 왕 타일 집합 𝑇₀을 발견한 제델‑라오의 결과를 심층적으로 확장한다. 저자는 먼저 Ω₀=Ω_{𝑇₀} 라는 전체 타일링 전역을 정의하고, 그 안에서 최소 비주기적 서브시프트 X₀를 존재시킨다. X₀의 핵심 특성은 ‘유일한 분해’이다. 즉, X₀에 속하는 어떤 타일링도 19개의 서로 다른 패치(‘슈퍼타일’)로 정확히 하나씩 나뉘며, 이 슈퍼타일들의 크기는 45, 70, 72, 112 등 네 종류이며 각각 두 개, 네 개, 여섯 개, 일곱 개가 존재한다. 이러한 슈퍼타일은 기존의 11개 타일과는 달리 자체‑유사(self‑similar) 구조를 가지고 있어, 각각이 다시 19개의 새로운 왕 타일 𝕌에 대응한다.

저자는 ‘마커 타일(marker tiles)’이라는 개념을 도입해 단계별 디서브스티튜션(desubstitution)을 수행한다. 마커 타일은 특정 반경 내에서 주변 타일들의 색상 구성을 통해 식별 가능한 타일 집합으로, 이를 통해 기존 타일링을 더 큰 ‘블록’으로 압축하고, 압축된 블록을 새로운 타일 𝑆로 정의한다. 알고리즘 1은 주어진 타일 집합 𝑇와 반경 r에 대해 마커 타일을 탐색하고, 알고리즘 2는 마커를 이용해 새로운 타일 집합 𝑆와 인식 가능한 2‑차원 형태소 ω:Ω_{𝑆}→Ω_{𝑇}를 자동으로 구성한다. 이 두 알고리즘을 연속 적용해 𝑇₀→𝑇₁→𝑇₂→𝑇₃→𝑇₄까지 진행한다.

그러나 𝑇₄에서는 마커가 존재하지 않으며, 이는 ‘수평 결함선(horizontal fault line)’ 때문이다. 결함선은 색 0이 무한히 이어지는 행이 존재해, 좌우 이동만으로도 타일링이 유지되면서 기존의 19‑패치 구조가 깨진다. 이를 해결하기 위해 저자는 𝑇₅를 정의하고, 기존 타일에 장식(decoration)을 추가해 결함선을 차단한다. 𝑇₅와 𝑇₄ 사이의 사상 𝑗:Ω₅→Ω₄는 위벡터(1,1;0,1)⁻¹에 의한 전단(conjugacy) η:Ω₆→Ω₅와 결합돼, 𝑇₆에서는 대각선 마커가 등장해 다시 마커 기반 디서브스티튜션을 적용할 수 있게 된다.

이후 𝑇₆→𝑇₇→…→𝑇₁₂ 까지 다섯 차례 더 반복하면 최종적으로 Ω₁₂가 19개의 자체‑유사 타일 𝕌와 동형임을 보인다. 𝕌는 이전 연구