An aperiodic set of Wang tiles for every quadratic irrational

기술 요약: 모든 이차 무리수를 위한 비주기적 왕 타일(Wang Tiles) 집합

문제 정의
본 논문은 왕 타일 집합의 비주기성(aperiodicity)을 증명하는 문제를 다룬다. 비주기적 타일 집합의 존재는 이미 잘 알려져 있으나, 특정 타일 집합이 주기적 타일링을 허용하지 않음을 증명하는 것은 대개 계층적 구조, 고유한 합성 특성 또는 자기 유사성에 기반한 복잡한 조합론적 논증을 필요로 하기에 매우 어렵다. 저자들은 "스트라이프(stripe)" 구조를 가진 왕 타일 집합에 대해, 비주기성을 증명하기 위한 더 직접적이고 산술에 기반한 방법을 제공하고자 한다. 나아가, 본 논문은 역문제에 대한 답을 구하고자 한다. 즉, 동일한 이차수체(quadratic number field) 내에 있는 임의의 두 무리수 쌍 $(\alpha, \beta)$에 대하여, 정확히 그 스트라이프 밀도를 갖는 유효한 타일링을 허용하는 스트라이프를 가진 유한한 비주기적 왕 타일 집합을 구성할 수 있는가?

방법론
핵심 방법론은 스트라이프를 가진 왕 타일과 평면 기하학 사이의 기하-산술적 대응 관계에 의존한다.

1. 스트라이프 분할: 저자들은 수평 및 수직 스트라이프의 존재 여부에 따라 네 개의 부분 집합으로 분할될 수 있는 왕 타일 집합 $T$를 고려한다: $T = T_\square \cup T_\urcorner \cup T_\sqsubset \cup T_\boxplus$.
2. 벡터 인코딩: 타일의 가장자리(edge)에 있는 라벨들은 함수 $v$(수직 라벨)와 $h$(수평 라벨)를 통해 $\mathbb{R}^2$의 벡터로 매핑된다.
3. 사각형 결정: 타일 집합 $T$가 사각형 $ABDC$를 "결정한다"는 것은, 벡터 합$v(a) + h(b) - v(c) - h(d)$가 해당 타일이 속한 분할 집합에 따라 특정 정점($A, B, C,$또는$D$)과 같음을 의미한다.
4. 밀도 방정식: 임의의 이중 주기적(doubly-periodic) 유효 구성(configuration)에 대하여, 수직 스트라이프의 밀도($\alpha$)와 수평 스트라이프의 밀도($\beta$)는 사각형의 정점으로부터 유도된 특정 선형 방정식을 만족해야 한다:
   $$\mathbf{0} = (1-\alpha)((1-\beta)A + \beta B) + \alpha((1-\beta)C + \beta D)$$
   이 방정식은 기하학적으로 해석된다: $(\alpha, \beta)$의 해는 사각형 $ABDC$에 외접하는 유일한 포물선을 통과하며 원점을 지나는 직선들과 대응한다.
5. 비주기성 기준: 만약 이 방정식의 해가 무리수라면(구체적으로, 연관된 이차 방정식의 판별식이 양수이지만 완전제곱수가 아니라면), 주기적 타일링은 존재할 수 없다. 왜냐_하면 주기적 타일링은 유리수 밀도를 요구하기 때문이다.

주요 기여 및 결과

• 정리 A (비주기성을 위한 충분 조건): 저자들은 스트라이프를 가진 왕 타일 집합이 비주기적이기 위한 충분 조건을 확립한다. 만약 타일들이 특정 결정 조건(사격형이 특정 방식으로 퇴화하지 않도록 보장함)을 만족하는 정수 정점을 가진 사각형 $ABDC$를 결정하고, 연관된 이차 방정식의 판별식이 완전제곱수가 아니라면, 해당 집합은 주기적 타일링을 허용하지 않는다.

  • 적용: 이 정리는 아만 만(Ammann) 16-타일 집합, 페노로즈(Penrose) 타일링을 인코딩한 24-타일 집합, 그리고 메탈릭 평균(metallic mean) 왕 타일 가계(family)를 포함한 알려진 타일 집합들에 대해 비주기성을 입증하는 새로운 짧은 증명을 제공한다. 이 증명들은 전통적인 계층적 분해 논증을 우회한다.

• 정리 B (이차 무리수를 위한 구성): 본 논문은 동일한 이차수체 내의 모든 쌍 $(\alpha, \beta)$(둘 다 유리수이거나 둘 다 무리수인 경우)에 대하여, 다음을 만족하는 스트라이프를 가진 유한한 왕 타일 집합이 존재함을 증명한다:

  1. 사각형 $ABDC$를 결정하며,$(\alpha, \beta)$는 밀도 방정식의 해이다.
  2. 수직 및 수평 스트라이프 밀도가 정확히 $\alpha$와 $\beta$인 유효한 타일링을 허용한다.
  3. $\alpha$와 $\beta$가 무리수라면 비주기적이다.
  • 구성: 이 구성은 타일 색상을 정의하기 위해 실수의 "균형 잡힌 표현(balanced representation)"(슈투름 수열(Sturmian sequences)과 유사함)을 사용하여 스트라이프 밀도가 목표 값과 일치하도록 한다. 저자들은 필요한 타일 수에 대한 명시적인 상한을 제공한다.

• 알고리즘적 접근 (섹션 5): 본 논문은 주어진 왕 타일 집합으로부터 벡터 $v, h$ 및 사각형 $ABDC$를 계산하기 위한 선형 대수 알고리즘(선형 변환의 풀백(pullback)에 기반함)을 제시한다. 이를 통해 다양한 알려진 타일 집합에 대해 정리 A의 충분 조건을 자동 검증할 수 있다.

의의 및 주장
저자들은 자신들의 작업이 기존의 긴 조합론적 논증을 스트라이프 밀도의 무리성에 기반한 직접적인 산술 논증으로 대체함으로써, 여러 중요한 타일 집합에 대한 비주기성의 "짧은 증명"을 제공한다고 주장한다. 이 접근 방식은 곱셈적 산술을 사용한 카리(Kari)의 초기 연구와 유사하지만, 포물선의 기하학적 성질과 덧셈적 산술을 활용한다는 점에서 차이가 있다.

또한, 본 논문은 이차 무리수 밀도를 갖는 비주기적 타일을 생성하는 문제에 대한 구성적 해결책을 제공하며, 이는 기존 문헌에서 사례가 드물거나 복잡한 치환 규칙(예: 모제스(Mozes)의 구성)에 의존했던 공백을 메운다. 저자들은 자신들의 구성이 이차 대수(algebraic numbers of degree 2)의 맥락에서 "가능한 한 단순하다"고 명시한다.

한계 및 미해결 과제
논문은 연구 범위에 대해 다음과 같이 신중한 태도를 유지한다:

• 정리 A의 충분 조건은 스트라이프를 가진 왕 타일 집합에 구체적으로 적용된다.
• 정리 B의 구성은 특정 밀도를 갖는 타일링의 존재를 보장하지만, 저자들은 질문 9.1을 제기한다: 구성된 타일 집합의 모든 유효한 구성이 이 특정 밀도를 갖는가, 아니면 동일한 방정식을 갖는 다른 밀도의 구성들이 존재할 수 있는가?
• 질문 9.2는 이러한 새로운 타일 집합들에 의해 생성된 왕 쉬프트(Wang shifts)가 최소 동역학계(minimal dynamical systems)인지 묻는다.
• 질문 9.3은 이 쉬프트들이 자기 유사성(확장 가능한 2D 치환을 허용함)을 갖는지 묻는다. 이는 메탈릭 평균 타일링에서는 알려진 성질이지만, 일반적인 구성에 대해서는 아직 증명되지 않았다.

저자들은 일반적인 도미노 문제(domino problem)를 해결하거나 모든 경우에 대해 비주기성을 위한 최소 타일 수를 찾아냈다고 주장하지 않는다. 대신, 비주기성을 증명하기 위한 새로운 효율적인 도구를 제공하고, 주어진 이차 무리수 밀도를 갖는 비주기적 집합을 체계적으로 구성하는 방법을 제공하였다.