초균등 초평면 채우기 경로 구축

초록

본 논문은 초평면의 삼진 헵타그리드에서 단순 평면채우기 속성을 만족하는 균등 경로를 구성하는 방법을 제시한다. 기존 유클리드 평면에서의 강한 버전과 달리, 초평면에서는 단순 버전만을 증명하며, 이를 위해 ‘마닐라’ 구조와 교차 삼각형, 신호 전파 메커니즘을 활용한 복합적인 셀룰러 오토마톤 설계를 제안한다.

상세 분석

이 연구는 초평면(하이퍼볼릭 평면)의 특수한 타일링인 삼진 헵타그리드(t ternary heptagrid)를 기반으로, 단순 평면채우기(simple plane‑filling) 속성을 만족하는 균등 경로를 구성한다는 점에서 의미가 크다. 평면채우기 속성은 두 가지 수준으로 구분된다. ‘강한(strong)’ 버전은 각 셀에 고정된 색을 할당하고, 그 색에 따라 경로가 결정되는 반면, ‘단순(simple)’ 버전은 셀마다 하나의 경로 조각만 존재하면 된다. 기존에 J. Kari가 1994년에 유클리드 평면에서 강한 버전을 증명했지만, 초평면에서는 기하학적 왜곡과 무한한 곡률 때문에 동일한 접근이 바로 적용되지 않는다.

논문은 먼저 초평면의 삼진 헵타그리드 구조를 정의한다. 이 그리드는 정규 7각형이 3개씩 모여 하나의 정점에 모이는 형태로, 각 정점에서 3개의 ‘등거리선(isoclines)’이 방사형으로 뻗는다. 이러한 등거리선은 셀들의 계층적 관계를 정의하는데, 저자는 이를 ‘이소클라인’이라고 명명하고, 각 이소클라인을 따라 신호를 전파시켜 경로를 구축한다.

핵심 아이디어는 ‘마닐라(mantilla)’라 불리는 기본 패턴을 만든 뒤, 그 위에 ‘교차 삼각형(interwoven triangles)’을 겹쳐 놓는 것이다. 마닐라 패턴은 흑백 색칠된 7각형들의 규칙적인 배열로, 각 흑색 타일은 ‘정점’ 역할을 하며, 백색 타일은 ‘정점 사이의 연결’ 역할을 한다. 교차 삼각형은 서로 다른 세대(generation)의 삼각형이 겹쳐지면서, 각 세대마다 다른 색(예: 파란색, 빨간색, 초록색)으로 구분된다. 이러한 겹침 구조는 경로가 셀을 지나갈 때마다 ‘진입점(entry)’과 ‘탈출점(exit)’을 명확히 정의하게 하며, 경로가 무한히 반복되지 않도록 보장한다.

신호 전파 메커니즘은 두 종류로 나뉜다. 첫 번째는 ‘수평 신호(horizontal signal)’로, 같은 이소클라인 상에서 좌우로 이동하며 삼각형의 베이스를 따라 전파된다. 두 번째는 ‘수직 신호(vertical signal)’로, 등거리선을 따라 위아래로 이동하며 삼각형의 꼭짓점에서 시작된다. 이 두 신호는 서로 교차하면서 ‘스위치(switch)’ 역할을 하는 ‘라벨’(예: B, Y, G)을 교환한다. 라벨 교환은 경로가 특정 셀을 통과할 때마다 발생하며, 이를 통해 경로는 자기 자신을 ‘재구성’한다.

논문은 또한 셀룰러 오토마톤을 설계한다. 각 셀은 주변 7개의 이웃 셀 상태를 입력으로 받아, 내부 상태(색, 라벨, 신호 방향)를 업데이트한다. 이 오토마톤은 초기 단계에서 마닐라와 교차 삼각형을 생성하고, 이후 신호 전파를 통해 경로를 점진적으로 완성한다. 중요한 점은 이 오토마톤이 ‘한 번에 하나의 셀만 활성화’되는 비동기식 모델을 가정한다는 것이다. 이는 초평면의 무한히 많은 셀 중에서도 유한한 시간 안에 모든 셀이 정확히 한 번씩 방문되는 ‘균등 경로’를 보장한다.

수학적 증명은 크게 두 부분으로 나뉜다. 첫 번째는 ‘정밀성(precision)’을 보이는 부분으로, 모든 셀에 대해 진입점과 탈출점이 정확히 하나씩 존재함을 귀납적으로 증명한다. 두 번째는 ‘완전성(completeness)’을 보이는 부분으로, 경로가 무한히 확장될 때 어떤 셀도 놓치지 않고 결국 방문하게 됨을 보인다. 특히, 교차 삼각형의 세대가 무한히 증가함에 따라 등거리선 사이의 ‘갭(gap)’이 점점 작아지며, 결국 모든 셀을 포괄하게 된다.

결과적으로, 이 논문은 초평면에서도 단순 평면채우기 속성을 만족하는 균등 경로가 존재함을 최초로 증명한다. 이는 초기 연구가 강한 버전만을 다루던 것과 대비되며, 초평면의 복잡한 기하학적 구조에서도 셀룰러 오토마톤 기반의 경로 설계가 가능함을 보여준다. 향후 연구에서는 강한 버전의 확장 가능성, 다른 초평면 타일링(예: {p,q} 격자)으로의 일반화, 그리고 계산 복잡도 분석 등이 기대된다.