내재적 보편성을 갖는 셀룰러 오토마타의 탐구

초록

이 논문은 셀룰러 오토마타(CA)의 내재적 보편성(intrinsic universality)을 정의하고, 작은 차원·상태 수를 가진 보편 CA를 구성하는 방법과 보편성이 없는 CA를 판별하는 기법을 제시한다. 또한 내재적 보편성 자체가 결정 불가능함을 증명한다.

상세 분석

논문은 먼저 셀룰러 오토마타의 형식적 정의를 제시한다. d‑차원 CA는 상태 집합 S, 유한 이웃집합 N, 그리고 지역 규칙 f : S^N → S 로 구성되며, 전역 함수 G는 모든 격자점에 동시에 f를 적용한다. Hedlund‑Richardson 정리에 따라 연속이며 이동(shift)와 교환(commute)하는 함수가 바로 CA의 전역 함수가 된다.

내재적 보편성은 “어떤 CA B도 적절한 확대(rescaling)와 삽입(embedding) 과정을 거쳐 A의 전역 함수 안에 포함될 수 있다”는 관계 ⊑ 로 정의된다. 여기서 확대는 공간을 m‑패킹(b_m)하고, 시간을 n‑스텝, 그리고 위치를 k‑시프트하는 연산을 포함한다. 두 종류의 확대 관계가 제시되는데, 하나는 injective bulking(삽입이 1‑대‑1)이고, 다른 하나는 mixed bulking(삽입이 집합값을 갖는 다중 삽입)이다. 두 관계 모두 반순서(quasi‑order)이며, 각각의 최대 동등 클래스 U_i, U_m 이 내재적 보편성을 나타낸다. 현재 알려진 모든 mixed‑bulking 보편 CA는 injective‑bulking 보편 CA로도 증명될 수 있어, 두 클래스가 동일한지 여부는 아직 미해결 문제(Open Problem 2)이다.

내재적 보편성의 존재와 비존재를 판단하는 메커니즘도 논의된다. Ollinger는 내재적 보편성이 결정 불가능함을 보였는데, 이는 Mazoyer‑Rapaport의 주기적 구성에 대한 영점성(nilpotency) 문제를 귀납적으로 변환함으로써 증명된다. 따라서 일반적인 알고리즘으로 CA가 내재적 보편인지 여부를 판별할 수 없다.

구성 측면에서는, 2‑차원에서는 von Neumann 이웃집합을 이용해 2 상태만으로도 보편 CA를 만들 수 있음을 Banks가 증명했다(Theorem 4). 1‑차원에서는 초기 이웃집합 {−1,0,1}을 사용해 4 상태 CA가 내재적 보편성을 가짐을 Ollinger‑Richard가 제시했다(Theorem 6). 더 작은 상태 수를 목표로 한 연구에서는 2‑상태 1‑차원 CA가 5개의 이웃을 필요로 함을 보여준다(Corollary 5). 또한, 전통적인 튜링 보편성 관점에서 가장 작은 보편 CA인 Rule 110(2 상태, 3 이웃)도 존재하지만, 이는 아직 내재적 보편성 여부가 미해결(Open Problem 8)이다.

비보편성을 증명하는 도구로는 패턴 문제와 검증 문제가 제시된다. 내재적 보편 CA에서는 패턴 문제가 불가능하고, 검증 문제가 P‑complete임을 보였다(Theorem 9, 10). 반면, 단순한 CA에서는 이 문제들이 결정 가능하거나 낮은 복잡도 클래스로 귀속된다. 이러한 복잡도 분석은 CA의 동적 행동을 형식적으로 구분하는 데 유용하다.

마지막으로, 논문은 현재까지 알려진 작은 보편 CA들의 구체적인 설계 아이디어(입자와 충돌, 회로 인코딩 등)를 요약하고, 향후 연구 과제로서 (1) U_i와 U_m의 동등성 여부, (2) Rule 110의 내재적 보편성, (3) 비보편성을 판별할 새로운 기법 개발 등을 제시한다.