숨겨진 시뮬레이션 셀룰러 오토마타의 복잡도와 단순성 사이의 역설

초록

본 논문은 셀룰러 오토마타(CA) 간 시뮬레이션을 두 가지 방식, 즉 팩터 시뮬레이션과 서브오토마타 시뮬레이션으로 구분하여 연구한다. 팩터 시뮬레이션은 제한 집합과 열 요인의 복잡성을 보존하는 반면, 서브오토마타 시뮬레이션은 어떠한 CA라도 단순한 제한 집합(NL‑인식) 혹은 단순한 열 요인(유한형식) 을 가진 CA의 서브오토마타로 구현할 수 있음을 보인다. 이를 통해 복잡한 시뮬레이션 능력을 겉으로는 단순한 동역학 지표로 숨길 수 있음을 입증한다.

상세 분석

이 연구는 셀룰러 오토마타의 동역학적 복잡성을 평가하는 두 가지 전통적인 도구, 즉 제한 집합(limit set)과 열 요인(column factor)을 중심으로 시뮬레이션 관계를 재정의한다. 팩터 시뮬레이션은 두 CA 사이에 전단사적(onto) 연속 사상인 팩터 맵이 존재함을 의미한다. 이러한 맵은 시뮬레이션 대상 CA의 모든 궤적을 시뮬레이터 CA의 궤적으로 투사하므로, 제한 집합과 열 요인의 언어적 복잡도(예: 정규, 컨텍스트프리, NL 등)가 감소하지 않는다. 논문은 구체적으로 “시뮬레이터 CA는 시뮬레이션 대상보다 복잡도가 같거나 높다”는 정리를 증명하고, 이를 통해 팩터 시뮬레이션이 복잡성 보존의 강한 제약을 가진다는 점을 강조한다.

반면 서브오토마타 시뮬레이션은 시뮬레이터 CA의 상태 집합에 시뮬레이션 대상 CA의 상태 집합을 포함시키고, 전이 규칙을 제한된 부분집합에만 적용하는 방식이다. 이 접근법은 시뮬레이터 CA가 전체적으로는 매우 단순한 동역학(예: 제한 집합이 NL‑인식 언어, 열 요인이 유한형식) 을 가질 수 있게 하면서도, 그 내부에 복잡한 CA를 은밀히 내재시킬 수 있음을 보여준다. 저자들은 모든 CA가 “단순한 제한 집합을 가진 CA의 서브오토마타”이자 “단순한 열 요인을 가진 CA의 서브오토마타”가 될 수 있음을 구성적으로 증명한다. 특히 제한 집합이 NL‑인식 언어라는 것은 비결정적 로그스페이스 알고리즘으로 인식 가능함을 의미하고, 열 요인이 유한형식이라는 것은 해당 언어가 고정된 길이의 패턴으로 완전히 기술될 수 있음을 뜻한다.

이러한 결과는 본질적으로 보편적인(CA) 시뮬레이션 능력을 갖는 CA가 동역학적 지표만으로는 그 복잡성을 판단하기 어렵다는 중요한 교훈을 제공한다. 특히 “내재적 보편성(intrinsically universal)”을 가진 CA가 제한 집합이나 열 요인 측면에서 단순함을 보일 수 있다는 사실은 기존의 복잡도 분류 체계에 새로운 차원을 추가한다. 논문은 또한 이러한 은닉 메커니즘이 복잡도 이론과 동역학 사이의 경계를 흐리게 만들며, 시뮬레이션 능력을 숨기기 위한 설계 원칙을 제시한다는 점에서 실용적 의미도 갖는다.