그룹 집합 위의 셀룰러 오토마타

초록

이 논문은 셀룰러 오토마타의 셀 공간을 정수 격자 대신 좌측 동질 공간(구, 유클리드 공간, 하이퍼볼릭 타일링, 정점 전이 그래프 등)으로 일반화한다. 전이 함수의 대칭성, 합성, 제한·확장, 그리고 위상·균등 연속성에 대한 새로운 차르티스‑헨들‑리돈 정리를 제시하고, 아멘블리티와 관련된 타르스키‑퐁델 정리 및 정원‑에덴 정리를 확장한다. 또한 신호 기계 기반의 최적 시간 파이어‑스쿼드 동기화 알고리즘을 제시한다.

상세 분석

본 연구는 전통적인 셀룰러 오토마타(CA)가 정수 격자 ℤⁿ 위에서 정의되는 한계를 뛰어넘어, 좌측 동질 공간(left‑homogeneous space)이라는 보다 일반적인 구조 위에 CA를 구축한다. 이러한 공간은 군 G 가 집합 M 에 전이적으로 작용하는 경우이며, 구면, 유클리드 공간, 하이퍼볼릭 평면의 균일 타일링, 정점 전이 그래프(특히 Cayley 그래프) 등 다양한 예시를 포함한다.

핵심 기술은 지역 전이 함수 δ 가 갖는 대칭성이다. 저자는 δ가 “좌측 G‑동형성”을 보존할 때, 전역 전이 함수 τ 가 **이동(translation) 동등성(equivariance)**을 만족하고, 두 전이 함수의 합성 역시 전역 전이 함수가 된다는 사실을 증명한다. 이는 기존 군 기반 CA에서 자명했던 성질을 일반 공간으로 확장한 것으로, δ의 대칭이 없으면 합성에서 비대칭이 발생해 CA의 일관성이 깨진다.

다음으로, 공역(quotient), 직적(product), 제한(restriction), 확장(extension) 연산을 통해 셀 공간을 변형할 때 전역 전이 함수가 어떻게 변환되는지를 체계화한다. 예를 들어, 이웃 구조가 특정 차원에만 의존한다면 해당 차원에 대한 제한이 가능하고, 반대로 차원을 추가하면 확장이 가능하다. 또한, 군의 정상 부분군에 대한 몫 공간으로의 사상은 전역 전이 함수를 자연스럽게 내려보내며, 역으로 상위 공간으로 끌어올릴 때는 추가적인 대칭 조건이 필요하다.

위상·균등 구조와의 연계에서는, 전역 전이 함수가 연속성과 균등 연속성을 만족하도록 적절한 프로덕트 위상(또는 균등성)를 정의한다. 저자는 이러한 위상 하에서 τ가 이동 동등성과 연속성을 동시에 만족하면, τ는 정확히 하나의 CA에 대응한다는 위상적 차르티스‑헨들‑리돈 정리를 증명한다. 이는 기존 정리의 “연속함수 = CA”라는 등가성을 좌측 동질 공간에서도 성립시키는 중요한 결과다.

아멘블리티(amenability)와 관련해서는, 군 기반 CA에서 Garden‑of‑Eden 정리가 “전사성(surjectivity) ⇔ 전사 전이 전제(pre‑injectivity)”와 동치임을 알려준다. 저자는 우측 아멘블리티(right amenability) 개념을 좌측 동질 공간에 일반화하고, 타르스키‑퐁델 정리를 이용해 동일한 동치가 성립하는 아멘블리티 조건을 제시한다. 특히, Følner 네트와 Paradoxical 분해를 이용해 공간이 “유한군처럼 행동”하는지를 판정한다.

시프트 공간(shift space)과 Myhill‑Moore 정리도 확장한다. 전역 전이 함수를 이동 불변하고 콤팩트한 부분집합(시프트 공간)으로 제한할 경우, 해당 공간이 유한 타입이며 **강하게 비가역적(strongly irreducible)**이면, 전사성 ⇔ 전사 전이 전제가 여전히 유지된다. 이는 기존 정수 격자에서의 결과를 일반적인 동질 공간으로 옮긴다.

마지막으로, **신호 기계(signal machines)**를 도입해 파이어‑스쿼드 동기화 문제(Firing Squad Synchronisation Problem)를 일반 그래프형 셀 공간에 대해 시간 최적인 **준해법(quasi‑solution)**을 제시한다. 신호 기계는 이벤트 누적을 처리할 수 있는 연속적 모델이며, 이를 통해 무한히 많은 상태를 사용하되 각 상태는 단순한 기하학적 구조만을 담당한다. 결과적으로, 모든 연결된 유한 그래프에서 초기 하나의 셀만 활성화된 상태에서 전체를 동시에 “발사” 상태로 전이시키는 알고리즘을 제공한다.

이와 같이 논문은 대칭성, 위상·균등 연속성, 아멘블리티, 시프트 공간, 그리고 동기화 알고리즘이라는 다섯 축을 통해 셀룰러 오토마타 이론을 크게 확장하고, 기존 정수 격자 기반 결과들을 일반적인 군 작용 공간으로 일반화한다는 학문적 의의를 갖는다.