하이퍼볼릭 평면 도미노 문제는 결정 불가능

초록

본 논문은 정다각형(정7각형)만을 이용한 타일 집합으로 하이퍼볼릭 평면을 채우는 일반 타일링 문제(GTP)가 알고리즘적으로 결정될 수 없음을 증명한다. 기존 유클리드 평면에 대한 결과를 하이퍼볼릭 모델인 {7,3} 테르너리 헤프그리드에 옮겨오며, 복잡한 “맨티라(mantilla)” 구조와 피보나치 트리를 활용해 튜링 기계의 연산을 평면에 인코딩한다. 결과적으로 하이퍼볼릭 평면에서의 도미노 문제는 불완전성(undecidability)임을 보인다.

상세 분석

논문은 먼저 기존 유클리드 평면에서의 Berger‑Robinson 증명을 재검토하고, 그 핵심 아이디어가 “원점 제약(origin‑constrained) 타일링”을 통해 튜링 기계의 무한 연산을 시뮬레이션한다는 점을 강조한다. 하이퍼볼릭 평면에서는 {7,3} 정다각형 타일링(테르너리 헤프그리드)을 기본 격자로 채택한다. 이 격자는 각 정7각형의 내각이 2π/3이므로 반사에 의해 전체 평면을 균등하게 채울 수 있다.

핵심 구성요소는 ‘꽃(flower)’이라 불리는 지역이다. α‑타일(중심)과 β‑타일(꽃잎)으로 이루어진 4개의 α와 17개의 β 타일을 이용해, 각 α 타일이 β 타일에 둘러싸이도록 강제한다. 이렇게 하면 겹치지 않는 ‘맨티라(mantilla)’라는 복합 타일링이 생성된다. 맨티라 내부에서는 중점선을 따라 피보나치 트리가 자연스럽게 형성되며, 트리의 검은·흰 노드가 각각 두 개·세 개의 자식을 갖는 구조를 가진다.

각 트리의 경계는 ‘iso‑cline’이라 불리는 무한 곡선으로, 이 곡선은 평면을 두 개의 무한 영역으로 분할한다. iso‑cline 위에서는 검은 타일이 항상 존재하도록 강제함으로써, 트리의 루트와 그 자식들 사이에 일관된 색상 패턴을 유지한다. 이러한 색상 규칙은 나중에 튜링 기계의 셀 상태(0/1)를 인코딩하는 데 사용된다.

다음 단계에서는 ‘괄호(brackets)’ 구조를 도입한다. 0세대는 일정 간격으로 R, M, B 라는 라벨이 순환하는 점열을 만든다. 활성 구간(R‑B)과 침묵 구간(B‑R)을 구분하고, 세대가 진행될수록 M 라벨을 가진 점 중 무작위로 하나를 선택해 R 또는 B 로 전환한다. 이 과정을 무한히 반복하면 ‘무한 모델(infinite model)’이 형성되며, 각 세대는 서로 반대 색을 갖는 활성·침묵 구간을 만든다.

이 무한 모델을 유클리드 평면에 ‘삼각형(interwoven triangles)’ 형태로 끌어올린다. 활성 구간은 색이 있는 등변삼각형으로, 침묵 구간은 ‘팬텀(phantom)’이라 부르는 투명 삼각형으로 변환된다. 같은 색 삼각형은 서로 겹치지 않으며, 팬텀은 두 층으로 중첩될 수 있다. 삼각형과 팬텀의 교차점은 ‘축(axis)’ 위에 위치하고, 여기서부터 계산이 시작된다.

마지막으로, 이러한 삼각형·팬텀 구조를 하이퍼볼릭 평면의 맨티라에 매핑한다. 피보나치 트리의 중점선과 iso‑cline이 삼각형의 변과 일치하도록 설계함으로써, 트리의 각 노드가 튜링 기계의 셀을 나타내게 된다. 트리의 성장(노드 추가)은 튜링 기계의 시간 전진을, iso‑cline을 따라 이동은 공간 이동을 의미한다.

결과적으로, 주어진 타일 집합이 하이퍼볼릭 평면을 완전히 채울 수 있는지 여부는 해당 튜링 기계가 무한히 실행되는지와 동치가 된다. 튜링 기계의 정지 문제는 결정 불가능하므로, 하이퍼볼릭 평면의 도미노 문제 역시 결정 불가능함을 증명한다. 논문은 또한 Jarkko Kari의 전혀 다른 조합론적 증명과 비교하며, 현재 제시된 기하학적·구조적 접근이 어떻게 기존 결과를 일반화하고 강화하는지를 논의한다.