Aperiodic tile sets from Sturmian lattices

기술 요약: 슈투르미안 격자로부터의 비주기적 타일 집합

문제 정의
본 논문은 비주기적 타일 집합(평면을 타일링할 수는 있지만 오직 비주기적인 방식으로만 타일링할 수 있는 타일들의 집합)의 구축을 다룬다. "스미스 터틀(Smith Turtle)" 모노타일과 같은 최근의 발견은 비주기적 모노타일의 존재를 입증했으나, 저자들은 이 현상을 일반화하고자 한다. 구체적으로, 저자들은 **이차 무리수 기울기를 가진 슈투르미안 단어(Sturmian words of quadratic slopes)**에 기반하여 비주기적 타일 집합을 구성하는 명시적인 알고리즘을 찾고자 한다. 목표는 타일 집합의 기저가 되는 스케일링 상수가 임의의 실수 이차체의 단원(unit)에 대응하도록 하여, 무수히 많은 본질적으로 서로 다른 비주기적 타일 집합을 생성하는 것이다.

방법론
저자들은 계층적 고유-구성(치환) 구조에 의존하는 전통적인 접근 방식에서 벗어난 구성 방법을 제안한다. 이들의 방법론은 두 가지 주요 구성 요소에 의존한다:

1. 슈투르미안 격자(Sturmian Lattices): 저자들은 슈투르미안 단어로 생성되는 그리드 구조를 활용한다. 슈투르미안 격자는 $0, 2\pi/3, 4\pi/3$ 방향을 가진 세 종류의 평행한 직선군으로 정의된다. $i+j+k=0$을 만족하는 인덱스 $i, j, k$에 대하여, 직선 $a=a(i), b=b(j), c=c(k)$는 고정된 아주 작은 크기의 삼각형을 경계로 형성해야 한다는 조건이 붙는다. 이 격자에서 인접한 평행선 사이의 간격은 특정 무리수 기울기 $\alpha$를 가진 균형 잡힌 수열(Sturmiam words)을 인코딩한다.
2. 유계 변위(Bounded Displacement, BD) 동치성: 저자들은 델론 집합(Delone sets)의 유계 변위 동치성을 핵심적인 기술적 도구로 사용한다. 저자들은 서로 다른 점 집합들(특히 그들의 타일링 내 "볼트(Bolts)"의 중심들) 사이의 관계를 다대다 대응 관계로 취급한다. 이들은 델론 집합을 특정 자연 밀도를 가진 부분집합들로 분할하고, 대수적 제약을 강제하기 위해 이들 사이에 BD 대응 관계를 설정한다.

타일 집합의 구성
타일 집합은 작은 원판이 제거된 육각형으로부터 유도된 두 가지 유형의 구성 요소를 사용하여 구축된다:

• 너트(Nuts): 아마만 바(Ammann bars, 직선을 형성하기 위해 정렬되어야 하는 선분)를 포함하는 고리 모양의 조각들이다. 이들은 슈투르미안 격자의 기하학적 구조를 강제한다.
• 볼트(Bolts): BD 대응 관계를 수행하는 원판 모양의 조각들이다. 격자의 세 방향에 대응하여 세 가지 유형의 볼트($S, M, L$)가 존재한다.

이 구성은 볼트 중심의 자연 밀도를 제어함으로써 특정 기울기 $\alpha$를 강제한다. 기울기 $\alpha$를 갖는 유효한 타일링에서, 볼트 집합 $S, M, L$의 밀도는 다음 비율을 만족해야 한다:
$$\delta(S) : \delta(M) : \delta(L) = (1-\alpha)^2 : 2\alpha(1-\alpha) : \alpha^2$$
이차 무리수 $\alpha$에 대한 타일 집합을 구축하기 위해, 저자들은 슈투르미안 격자의 델론 집합을 정수 계수 $(x', y', z')$와 $(x'', y'', z'')$에 비례하는 밀도를 가진 부분집합들로 분할한다. 이 계수들은 너트와 결합되었을 때 필요한 밀도 비율을 강제하는 "패치-타일(patch-tiles, 볼트들의 조합)"을 정의한다. 이러한 제약이 특정 기울기를 강제한다는 증명은 이차 곡선과 직선이 최대 두 점에서 교차한다는 기초적인 사실에 근거한다.

주요 결과

• 정리 3: 모든 이차 무리수 기울기 $\alpha \in [0,1]$에 대하여, 정확히 해당 기울기(또는 그 갈로아 공액)를 갖는 슈투르미안 격자를 강제하는 비주기적 타일 집합 $\mathcal{A}(\alpha)$가 존재한다.
• 확장 상수(Expansion Constants): 이 타일 집합들의 기저가 되는 확장 상수는 실수 이차체 $\mathbb{Q}(\alpha)$의 단원이다.
• 비주기성: 무리수 기울기를 가진 슈투르미안 격자는 비자명한 주기를 갖지 않으므로, $\mathcal{A}(\alpha)$에 의해 생성되는 모든 타일링은 비주기적이다.
• 기수(Cardinality): 저자들은 타일 집합의 개수에 대한 상한을 제공한다: $Card(\mathcal{A}_\lambda) \leq 2\lambda + O(1)$, 여기서 $\lambda$는 확장 상수이다.
• 예시: 논문은 $\alpha = \sqrt{6}-2$인 경우의 구성을 상세히 설명하며, 이 경우 29개의 패치-타일과 $5+2\sqrt{6}$의 확장 상수를 갖는다.

의의 및 주장
본 논문은 스미스 터틀(이는 $\mathbb{Q}(\sqrt{5})$의 기울기에 해당함)의 특수한 경우를 넘어, 모든 이차 무리수 기울기로부터 비주기적 타일 집합을 생성하는 체계적이고 명시적인 알고리즘을 제공한다고 주장한다.

이 연구의 주요 차별점은 다음과 같다:

• 자기 유사성으로부터의 독립성: 치환 기반의 많은 증명들과 달리, 이 구성은 타일 집합이 자기 유사적 타일링을 강제할 필요가 없다. 증명은 밀도 매칭과 기하학적 제약에 기초한다.
• 일반성: 이 방법은 확장 상수로 모든 실수 이차체의 단원을 실현함으로써, 본질적으로 서로 다른 무수히 많은 비주기적 타일 집합을 만들어낸다.
• 메커니즘: 이 연구는 슈투르미안 격자에서 발생하는 타일들을 매칭시키는 중심 메커니즘으로서 유계 변위 동치성의 역할을 강조하며, 조합론적 단어의 성질과 기하학적 타일링 제약 사이의 관계에 대한 새로운 관점을 제시한다.

저자들은 슈투르미안 격점의 전체 분류, 기수 추정 및 추가 예시가 별도의 완전한 버전인 [2]에 제시되어 있으며, 본 노트는 존재 정리와 증명의 개요에 집중하고 있음을 밝힌다.