[논문 리뷰] A Categorical Outlook on Cellular Automata

Silvio Capobianco, Tarmo Uustalu|arXiv (Cornell University)|2010. 12. 03.

Cellular Automata and Applications참고 문헌 9인용 수 6

한 줄 요약

이 논문은 균일 공간의 범주에서의 지수 comonad에 대한 coKleisli 사상과 관련하여 세포자동기의 국소적 행동이 어떻게 대응되는지를 설명하는 카테고리적 프레임워크를 제안한다. 이는 카테고리 이론적 이중성의 결과로서 Curtis-Hedlund 정리를 회복하며, 전역적 세포자동기 행동이 cofree 코알제브라 사상임을 보여주어 고전적 결과들을 일반적인 카테고리적 관점에서 통합한다.

ABSTRACT

In programming language semantics, it has proved to be fruitful to analyze context-dependent notions of computation, e.g., dataflow computation and attribute grammars, using comonads. We explore the viability and value of similar modeling of cellular automata. We identify local behaviors of cellular automata with coKleisli maps of the exponent comonad on the category of uniform spaces and uniformly continuous functions and exploit this equivalence to conclude some standard results about cellular automata as instances of basic category-theoretic generalities. In particular, we recover Ceccherini-Silberstein and Coornaert's version of the Curtis-Hedlund theorem.

연구 동기 및 목표

• 세포자동기를 comonad를 사용하여 모델링할 수 있는지 탐색하며, 데이터 플로우와 속성 문법의 기존 comonadic 처리와 유사성을 도출한다.
• 균일 공간 위의 지수 comonad의 coKleisli 사상과 세포자동기의 국소적 행동 간의 형식적 카테고리적 동치를 수립한다.
• Curtis-Hedlund 정리를 특수한 경우의 논리적 추론이 아닌 일반적인 카테고리 이론 원리의 결과로 회복한다.
• 이러한 comonadic 프레임워크를 2차원 세포자동기와 점에 의존하는(비균일) 세포자동기로 확장한다.
• comonadic 시각이 세포자동기 이론의 고전적 결과에 대해 개념적 명료성과 구조적 통찰을 제공함을 보여준다.

제안 방법

• 균일 공간과 균일 연속 함수의 범주에서 지수 comonad를 사용하여 세포자동기를 모델링한다.
• comonad가 군 $ G $ 에 대해 $ D A = A^G \times G $ 로 작용할 때, 세포자동기의 국소적 행동을 이 comonad의 coKleisli 사상으로 식별한다.
• counit $ \varepsilon_A(c,x) = c(x) $ 과 comultiplication $ \delta_A(c,x) = (\lambda y.(c,y), x) $ 를 정의하여 coKleisli 확장을 유지한다.
• coKleisli 확장 $ k^\dagger(c,x) = (\lambda y.k(c,y), x) $ 를 사용하여 격자 전역에서의 국소적 업데이트를 모델링한다.
• 전역 세포자동기 행동이 이 comonad의 co-Eilenberg-Moore 범주에서 cofree 코알제브라 사상과 대응됨을 보인다.
• 2차원 자동기를 군 구조를 통해 1차원으로 재해석함으로써 이 프레임워크를 확장하고, 점에 의존하는 자동기를 위해 comonad를 점 매개변수로 확장한다.

실험 결과

연구 질문

• RQ1 세포자동기의 국소적 행동은 균일 공간의 범주에서의 comonad의 coKleisli 사상으로 자연스럽게 특징지어질 수 있는가?
• RQ2 이 comonadic 프레임워크 내에서 일반적인 카테고리 이론 원리의 결과로서 Curtis-Hedlund 정리가 유도되는가?
• RQ3 2차원 세포자동기는 1차원 자동기와 동일한 comonadic 구조로 어떻게 재해석할 수 있는가?
• RQ4 각 세포에서 업데이트 규칙이 다를 수 있는 점에 의존하는 세포자동기는 이 comonadic 프레임워크 내에서 모델링될 수 있는가?
• RQ5 cofree 코알제브라 구성은 전역 세포자동기 행동을 특징짓는 데 어떤 역할을 하는가?

주요 결과

• 고전적 세포자동기의 국소적 행동은 균일 공간의 범주에서의 지수 comonad의 coKleisli 사상과 동치이다.
• 세포자동기의 전역 행동은 이 comonad의 co-Eilenberg-Moore 범주의 cofree 코알제브라 사상과 대응된다.
• Curtis-Hedlund 정리—전역 세포자동기 사상이 균일 연속적이고 이동 불변인 함수로 특징지어짐—은 coKleisli 범주와 cofree 코알제브라의 전부분 범주 간의 동형사상의 결과로 직접적으로 회복된다.
• comonadic 프레임워크는 군 동형사상을 통해 격자를 1차원으로 재해석함으로써 자연스럽게 2차원 세포자동기로 확장되며, 카테고리적 구조를 유지한다.
• 점에 의존하는 세포자동기는 국소 행동이 이웃과 세포의 위치에 모두 의존하는 일반화된 comonad $ D A = A^G \times G $ 를 통해 모델링되며, 그 전역 행동 역시 다시 cofree 코알제브라 사상이 된다.
• 이 프레임워크는 개념적 통합을 제공한다: 고전적 세포자동기는 업데이트 규칙이 점 매개변수를 무시하는 점에 의존하는 자동기의 특수한 경우이다.