인과 그래프 동역학 셀룰러 오토마타의 일반화

초록

본 논문은 셀룰러 오토마타(CA)의 개념을 고정된 격자 대신 임의의 시변 그래프로 확장한다. 정보 전파 속도를 그래프 거리 기준으로 제한하는 ‘인과성’ 조건과, 위치에 무관한 변환 규칙을 일반화한 ‘번역 불변성’을 정의하고, 이러한 규칙을 만족하는 동역학을 ‘인과 그래프 동역학(CGD)’이라 명명한다. CGD는 합성·역함수·연속성 등 CA 이론의 핵심 정리를 그대로 유지한다는 점에서 이론적 견고함을 보인다.

상세 분석

논문은 먼저 셀룰러 오토마타의 핵심 원리인 ‘국소성’과 ‘동시성’을 그래프 구조에 어떻게 옮길 수 있는지를 체계적으로 탐구한다. 그래프의 정점은 라벨(상태)을 가지고, 각 정점은 자신의 이웃 정점과의 거리(그래프 거리) 내에서만 정보를 교환한다는 제한을 두어 ‘인과성’(causality)을 정의한다. 이때 거리 제한은 고정된 반경 r을 두어, 반경 r 이내의 이웃만이 다음 시간 단계의 상태를 결정하도록 하는데, 이는 전통적인 CA에서 셀의 반경 r 이웃과 동일한 역할을 한다.

다음으로 ‘번역 불변성’(translation‑invariance)의 일반화가 제시된다. 격자형 CA에서는 전역적인 이동 연산이 존재하지만, 임의의 그래프에서는 정점들의 명시적 위치 개념이 없으므로, 논문은 그래프 동형사상에 대한 불변성을 도입한다. 구체적으로, 그래프 G와 그 동형 G′ 사이에 존재하는 전단사 φ에 대해, 동역학 F가 φ와 교환(commute)한다면 F는 번역 불변성을 만족한다는 정의를 내린다. 이는 그래프 구조가 변하더라도 동일한 로컬 규칙이 적용된다는 의미이며, 동역학이 그래프 자체를 생성·소멸시키는 경우에도 적용 가능하도록 설계되었다.

정의된 CGD는 ‘연속성’(continuity)과 ‘역함수 존재성’(invertibility) 측면에서도 CA와 동등한 성질을 가진다. 유한 그래프 집합 위에서 CGD는 디스크리트 토폴로지 하에 연속 함수와 동치임을 보이며, 이는 로컬 규칙이 유한히 많은 경우에만 전체 변환이 결정된다는 점을 의미한다. 또한, CGD가 가역적이면 그 역함수 역시 동일한 인과·번역 불변성 조건을 만족하는 CGD가 됨을 증명한다. 이러한 결과는 기존 CA 이론에서 ‘역가역성 정리’와 직접적으로 대응한다.

마지막으로 논문은 여러 예시를 통해 CGD의 적용 가능성을 보여준다. Boolean 네트워크, 동적 네트워크 생성 모델, Regge calculus 기반의 이산 시공간 모델 등에서 로컬 규칙을 정의하고, 인과성 제한을 통해 물리적 의미를 부여한다. 특히, 그래프 자체가 시간에 따라 재구성되는 상황에서도 정보 전파 속도가 제한되는 구조적 제약을 유지함으로써, 복잡계 과학과 이론 물리학에서의 ‘노-시그널링(no‑signalling)’ 원리를 자연스럽게 구현한다는 점이 주목할 만하다.

전반적으로 이 논문은 셀룰러 오토마타 이론을 그래프 이론과 결합함으로써, 동적 네트워크를 수학적으로 엄밀히 다룰 수 있는 새로운 프레임워크를 제공한다. 정의가 간결하고, 기존 CA 이론의 핵심 정리를 그대로 확장한다는 점에서 이론적 견고함을 확보했으며, 다양한 분야에 적용 가능한 풍부한 응용 가능성을 시사한다.