차원에 따라 달라지는 셀룰러 오토마타의 위상역학

초록

본 논문은 1차원에서 주로 연구된 셀룰러 오토마타(CA)의 위상역학을 고차원, 특히 2차원과 3차원으로 확장한다. 차원이 증가함에 따라 민감도와 등연속점(equicontinuous point) 사이의 관계가 크게 달라짐을 보이며, 2차원에서는 민감하지 않지만 등연속점이 없는 CA, 민감도 상수의 비재귀성, 비재귀적 등연속점만을 갖는 CA, 그리고 등연속점이 가산 개만 존재하는 CA 등을 구성한다. 또한, 차원에 따라 민감한 CA 집합의 복잡도 계층이 변하는데, 1차원에서는 Π₂ 수준이지만 3차원에서는 Σ₃‑hard임을 증명한다. 이러한 결과들은 차원에 따른 위상역학적 성질의 근본적인 차이를 드러내며, 기존의 1차원 결과를 일반화하거나 부정한다.

상세 분석

논문은 먼저 셀룰러 오토마타의 위상공간을 이산 알파벳 A 위에 정의된 무한 격자 ℤᵈ 에 대한 곱위 topology로 설정하고, Hedlund 정리를 이용해 CA를 shift‑commuting 연속 사상으로 본다. 기존 1차원 연구에서는 모든 비민감 CA가 적어도 하나의 등연속점을 갖는다는 ‘Equ / Sens’ 분할이 알려져 있었다(𝒦˙urka). 저자들은 이 현상이 차원 2 이상에서는 깨진다는 것을 핵심적으로 보여준다.

핵심 구성은 2차원 CA F이다. F는 12개의 상태를 갖는 두 개의 서브셋, 고체(S)와 액체(L)로 나뉜다. 고체는 제한된 패턴(Σ_S)만 허용하는 ‘장애물’ 역할을 하며, 주변이 액체일 경우에만 유지된다. 액체는 U와 D라는 두 개의 입자 상태와 0(배경)으로 구성된다. 입자는 서로 결합해 좌측으로 이동하고, 고체 장애물을 우회하기 위해 위·아래로 분리·재결합한다. 이 메커니즘을 ‘침식(erosion)’과 ‘침투(infiltration)’라 부른다. 침식 단계에서는 고체 영역이 점차 0으로 변하면서 결국 Σ_S 형태의 직사각형 장애물 집합만 남는다. 침투 단계에서는 입자들이 임의의 멀리 떨어진 위치에서 시작해 장애물 사이를 돌아다니며, 원하는 액체 셀에 도달할 수 있다. 이 두 단계는 Lemma 1‑3에서 형식적으로 증명된다.

이러한 동작 덕분에 F는 민감하지 않음을 보인다. 임의의 ε에 대해 충분히 큰 고체 장애물(크기 ≈ −log ε)을 중심에 두면, 초기 구성의 작은 변동은 그 장애물 내부·외부에 전파되지 않아 거리 ε 이하로 유지된다(Prop 2). 반면, 등연속점이 존재하지 않음은 침투 메커니즘을 이용해 반증한다. 등연속점 x가 존재한다고 가정하고, x의 어느 위치 z₀가 0이라면 ε = 2^{−‖z₀‖∞−1}을 잡는다. 이후 충분히 작은 δ를 선택해 x와 거리 δ 이하인 구성 y를 만든 뒤, y에 먼 거리에서 입자를 추가해 y′를 만든다. 침투 Lemma 3에 의해 어느 시점 n에서 Fⁿ(y)와 Fⁿ(y′)는 z₀에서 서로 다른 상태를 보이게 되며, 이는 등연속성 정의에 위배된다(Prop 3). 따라서 F는 비민감·비등연속이라는 새로운 클래스를 형성한다(N 클래스).

다음으로 저자들은 복잡도 측면을 탐구한다. 2차원에서는 민감도 상수(민감도 ε)의 최소값을 결정하는 문제가 재귀적으로 정의될 수 없으며(Prop 8), 등연속점 자체가 비재귀적(또는 가산 개만 존재)인 CA도 구성한다. 이는 1차원에서 민감도 상수와 등연속점 존재 여부가 r.e. 혹은 co‑r.e. 문제였던 것과 대조된다. 또한, ‘Equ’, ‘Sens’, ‘N’ 세 집합 모두 r.e.도 co‑r.e.도 아닌 언어임을 보이며, 이는 기존에 알려진 CA의 가역성·전사성·영점성 문제보다 높은 복잡도 계층에 있음을 시사한다.

마지막으로 차원에 따른 복잡도 계층 변화를 다룬다. 1차원에서는 민감한 CA 집합이 Π₂(∀∃) 수준에 속하지만, 3차원에서는 Σ₃(∃∀∃)‑hard임을 증명한다. 이는 차원이 하나씩 증가할 때, 셀룰러 오토마타가 구현할 수 있는 ‘전역적’ 제약이 급격히 복잡해짐을 의미한다. 저자들은 이를 위해 기존의 1차원 불가능성 결과를 차원 2와 3으로 확장하는 복잡도 감소(리덕션) 기법을 설계한다.

전체적으로 논문은 차원은 위상역학적·계산 복잡도적 특성에 결정적인 역할을 한다는 강력한 메시지를 전달한다. 2차원에서 처음으로 ‘민감하지 않지만 등연속점도 없는’ CA가 존재함을 보이며, 차원 상승이 새로운 동적 현상을 창출한다는 점을 명확히 증명한다. 이는 셀룰러 오토마타 이론뿐 아니라, 고차원 복셀 자동화, 물리학적 격자 모델, 그리고 복잡계 연구에 중요한 통찰을 제공한다.