시간 순서로 구현하는 비동기 셀룰러 오토마타 연산

초록

본 논문은 1차원 원형 격자 위에서 상태가 0·1인 원소 집합을 갖는 초단순 셀룰러 오토마타(ECA)를 비동기적으로 업데이트할 때 발생하는 계산 능력을 조사한다. 특히 Wolfram 규칙 57을 대상으로, 셀들의 업데이트 순서를 자유롭게 선택(비동기성)함으로써 모든 짝순열(교대군)과 다수의 비전단 사상까지 구현할 수 있음을 보인다. n≤10(또는 11)인 경우, 규칙 57은 임의의 입력 벡터 v∈F₂ⁿ을 임의의 출력 w∈F₂ⁿ 로 변환할 수 있는 업데이트 규칙 집합을 제공한다. 또한 비전단 함수들의 구조적 특징을 정리하고, 비동기 업데이트가 전통적인 동기식 CA와 비교해 계산적 풍부함을 크게 확대한다는 점을 강조한다.

상세 분석

논문은 먼저 1차원 원형 격자 Z/nZ 위에 정의된 초단순 셀룰러 오토마타(ECA)를 비동기적으로 동작시키는 모든 가능한 업데이트 순서(시간적 순서)를 수학적으로 모델링한다. 여기서 ‘업데이트 규칙’은 각 셀을 언제, 어떤 순서로 갱신할지를 지정하는 전사 함수이며, 이는 전통적인 동기식 CA에서 한 번에 전체 셀을 동시에 갱신하는 방식과는 근본적으로 다르다. 저자들은 n≤11인 경우 전체 가능한 순열( n! 개) 중에서 실제로 구현 가능한 순열 집합을 exhaustive search 방식으로 탐색하였다. 그 결과, Wolfram 규칙 57(이진 규칙 00111001)만이 모든 입력 v∈F₂ⁿ을 임의의 출력 w∈F₂ⁿ 로 매핑할 수 있는 충분한 비동기 순서를 제공한다는 사실을 발견했다. 이는 규칙 57이 ‘전역 전단성(전단군)’을 초과하여 ‘교대군(Alternating group)’ 전체를 생성한다는 의미이며, n≤10에 대해서는 모든 짝순열을 정확히 구현할 수 있음을 증명한다.

다음으로 저자들은 비전단(비가역) 함수들의 구현 가능성을 조사한다. 비동기 업데이트는 셀들의 상태가 부분적으로만 바뀌는 단계적 변환을 허용하므로, 특정 입력 집합을 여러 출력 집합으로 압축하는 비전단 사상도 구현 가능하다. 이를 위해 함수의 이미지 크기와 프리이미지(선행 집합) 구조를 분석하고, ‘정상형(normal form)’이라 부르는 표준 비동기 순서를 정의한다. 이 표준형을 이용하면, 주어진 비전단 함수 f에 대해 f를 구현하는 최소 단계 수와 필요한 업데이트 순서의 조합을 체계적으로 구할 수 있다.

또한 논문은 비동기성의 계산적 의미를 논의한다. 동기식 CA는 보통 ‘전역 함수’를 한 번에 적용하지만, 비동기 CA는 ‘시간적 순서’를 자유롭게 조작함으로써 동일한 전역 함수라도 다양한 경로를 통해 도달한다. 이는 전통적인 CA 이론에서 다루지 못했던 ‘시간적 자유도’를 새로운 계산 자원으로 활용한다는 점에서 혁신적이다. 특히, 규칙 57이 교대군 전체를 생성한다는 결과는, 비동기 CA가 제한된 로컬 규칙만으로도 복잡한 전역 변환을 구현할 수 있음을 보여준다. 이는 암호학, 오류 정정, 그리고 분산 시스템에서의 동기화 문제 등에 응용 가능성을 시사한다.

마지막으로 저자들은 실험적 검증을 위해 파이썬 기반 시뮬레이터를 구축하고, n=2부터 11까지의 모든 경우에 대해 규칙 57이 전역 전단성을 초과함을 확인하였다. 또한 비전단 함수들의 경우, 구현 가능한 함수 집합이 전체 함수 집합에 비해 어느 정도 제한적이지만, 여전히 실용적인 수준의 다양성을 제공한다는 결론을 내렸다. 전체적으로 이 연구는 비동기 업데이트가 셀룰러 오토마타의 계산 능력을 크게 확장시킬 수 있음을 이론적·실험적으로 입증한 중요한 기여이다.