15가지 유형군의 볼록 오각형 단일 타일

초록

본 논문은 현재 알려진 15개의 볼록 오각형 단일 타일(모노타일) 유형을 정리하고, 각 유형이 생성할 수 있는 주기·비주기·등변·비등변 타일링의 성질을 분석한다. 특히 유형 간 중복 관계를 베른 다이어그램으로 시각화하고, 경계선이 반사된 타일을 허용하는 경우와 허용하지 않는 경우를 구분한다.

상세 분석

논문은 먼저 “단일 타일(monotile)”이라는 개념을 정의하고, 기존 연구에서 밝혀진 15개의 볼록 오각형 유형(Type 1 ~ Type 15)을 도표와 함께 제시한다. 각 유형은 변의 길이와 내부각 사이의 수식적 관계로 규정되며, 일부 유형은 크기 외에 자유도(degrees of freedom)를 갖는다. 예를 들어 Type 1은 연속된 세 각의 합이 360°(A + B + C = 360°) 혹은 남은 두 각의 합이 180°라는 조건을 만족한다. 반면 Type 14와 Type 15는 형태가 고정돼 있어 자유도가 전혀 없다.

논문은 각 유형이 생성할 수 있는 타일링을 “대표 타일링”으로 제시하고, 이들 타일링에 포함된 최소 단위인 “translation unit”(번역 단위)을 회색 영역으로 표시한다. 이를 통해 모든 15유형이 주기적(Periodic) 타일링을 만들 수 있음을 보인다. 그러나 주기성을 얻기 위해서는 경우에 따라 반사된 타일(뒤쪽 면)을 사용해야 한다. 예를 들어 Type 2, 7 ~ 15는 대표 타일링에 반사 타일이 필수적이며, 반사 타일을 금지하면 해당 유형은 타일링을 구성할 수 없게 된다.

특히 논문은 “edge‑to‑edge” 타일링(모든 변이 완전히 맞닿는 경우)과 “non‑edge‑to‑edge” 타일링을 구분한다. Theorem 1에 따르면, edge‑to‑edge 타일링을 만들 수 있는 볼록 오각형은 Type 1, 2, 4 ~ 9에 속한다. 이는 Type 3, 13 등은 어떠한 변형을 가더라도 edge‑to‑edge 타일링을 만들 수 없음을 의미한다.

또한 베른 다이어그램을 이용해 유형 간 중복 관계를 시각화한다. T₁∩T₂, T₁∩T₄ 등 여러 교집합에 속하는 타일은 자유도가 남아 다양한 형태를 가질 수 있지만, T₁∩T₅∩T₆ 등 일부 교집합은 형태가 고정돼 있다. 특히 T₁∩T₇에 속하는 타일은 Type 1과 Type 7 두 가지 대표 타일링을 모두 구현할 수 있어, 반사 타일 없이도 isohedral(동형) 타일링을 만들 수 있다.

타일링의 대칭성을 분석한 부분에서는, 타일링의 대칭군 Sym(ℑ)과 전이 클래스(transitivity class)를 도입한다. 대표 타일링 중 Type 1 ~ 5는 isohedral(1‑isohedral)이며, Type 6 ~ 9와 11 ~ 13은 2‑isohedral, Type 10, 14, 15는 3‑isohedral이다. 따라서 Type 1 ~ 5에 속하는 타일은 isohedral 타일링을, 그 외는 일반적으로 anisohedral(비동형) 타일링을 만든다.

마지막으로, Mann et al.의 “모든 비표시(convex) 오각형은 최소 하나의 주기적 타일링을 가진다”는 추측과 Rao의 “모든 볼록 오각형 단일 타일은 15가지 유형에 포함된다”는 주장에 대해 논의한다. 두 주장이 아직 완전히 증명되지 않았음에도 불구하고, 현재까지 알려진 모든 볼록 오각형 단일 타일이 15유형 안에 들어가며, 따라서 주기적 타일링을 생성할 수 있다는 결론을 제시한다.