[논문 리뷰] Clandestine Simulations in Cellular Automata

P. Guillon, Pierre-Étienne Meunier외 1명|arXiv (Cornell University)|2010. 09. 28.

Cellular Automata and Applications참고 문헌 13인용 수 3

한 줄 요약

이 논문은 세포자동자(CA)가 하위자동자 임bedding을 통해 다른 모든 CA를 시뮬레이션할 수 있음을 보여주며, 복잡한 역학적 행동을 숨길 수 있음을 시사한다. 특히, 내재적 보편성(intrinsic universality)을 가진 CA는 단순한 귀결집합(NL-인정가능) 또는 유한형 열쇠 인자(finite-type column factors)를 가질 수 있다. 반면, 인자 시뮬레이션(factor simulation)은 귀결집합과 열쇠 인자의 복잡성을 유지하므로, 역학적 복잡성 유지를 고려할 때 시뮬레이션 유형 간의 본질적 비대칭성이 드러난다.

ABSTRACT

This paper studies two kinds of simulation between cellular automata: simulations based on factor and simulations based on sub-automaton. We show that these two kinds of simulation behave in two opposite ways with respect to the complexity of attractors and factor subshifts. On the one hand, the factor simulation preserves the complexity of limits sets or column factors (the simulator CA must have a higher complexity than the simulated CA). On the other hand, we show that any CA is the sub-automaton of some CA with a simple limit set (NL-recognizable) and the sub-automaton of some CA with a simple column factor (finite type). As a corollary, we get intrinsically universal CA with simple limit sets or simple column factors. Hence we are able to 'hide' the simulation power of any CA under simple dynamical indicators.

연구 동기 및 목표

• 세포자동자에서 시뮬레이션 유형과 그 귀결집합 및 열쇠 인자의 복잡성 간의 관계를 조사하는 것.
• 세포자동자에서 내재적 보편성이 단순한 역학적 지표, 예를 들어 NL-인정가능 귀결집합 또는 유한형 열쇠 인자를 동시에 가질 수 있는지 확인하는 것.
• [The05]에서 제기된, NL-인정가능 귀결집합을 가진 내재적 보편성 세포자동자의 존재 문제를 해결하는 것.
• 역학적 불변량 측면에서, 복잡성을 유지하는 인자 시뮬레이션(factor simulations)과 복잡성을 유지하지 않는 하위자동자 시뮬레이션(sub-automaton simulations) 간의 차이를 명확히 하는 것.

제안 방법

• 저자들은 두 가지 시뮬레이션 관계를 정의한다: 연속적 투영을 통한 인자 시뮬레이션과 국소 균일 임베딩을 통한 하위자동자 시뮬레이션.
• 이 둘의 시뮬레이션 유형 하에서 귀결집합과 열쇠 인자의 행동을 분석하기 위해 위상수학적 및 형식언어이론적 도구를 사용한다.
• 신호 기반 역사 다이어그램과 유한한 신호 전파를 이용해 특정 CA를 구성한다.
• 구성된 구성의 귀결집합이 로그 공간 내에서 인정가능함을 보이기 위해 구성 요소를 상호 배타적인 케이스로 분해한다.
• 유효한 역사 다이어그램을 특성화하고 잘못된 구성 요소를 제거하기 위해 보조정리를 사용하며, 이를 통해 언어가 NL 계산 하에서 닫혀 있음을 보장한다.
• 정규 언어와 NL-인정가능 언어의 결과를 조합하여 전체 귀결집합이 NL-인정가능함을 보이고, 단순한 역학을 가진 내재적 보편성을 확립한다.

실험 결과

연구 질문

• RQ1 내재적 보편성을 가진 세포자동자가 NL-인정가능 귀결집합을 가질 수 있는가?
• RQ2 내재적 보편성을 가진 세포자동자가 유한형 열쇠 인자를 가질 수 있는가?
• RQ3 하위자동자 시뮬레이션은 귀결집합과 열쇠 인자의 복잡성을 유지하는가?
• RQ4 역학적 복잡성 유지 측면에서 인자 시뮬레이션과 하위자동자 시뮬레이션 간에 본질적 비대칭성이 존재하는가?
• RQ5 내재적 보편성을 가진 세포자동자에서 귀결집합의 단순성과 열쇠 인자의 단순성을 동시에 달성할 수 있는가?

주요 결과

• NL-인정가능 귀결집합을 가진 내재적 보편성 세포자동자가 존재함을 보여주며, [The05]에서 제기된 열린 문제를 해결하였다.
• 유한형 열쇠 인자를 가진 내재적 보편성 세포자동자가 존재함을 보여주며, 보편성이 복잡한 열쇠 역학을 요구하지 않음을 입증하였다.
• 인자 시뮬레이션은 귀결집합과 열쇠 인자의 복잡성을 유지한다. 즉, 시뮬레이터는 시뮬레이션 대상 CA보다 복잡도가 낮을 수 없다.
• 하위자동자 시뮬레이션은 복잡성을 유지하지 않는다. 임의의 CA는 귀결집합이 단순한(NL-인정가능) 및 열쇠 인자가 유한형인 CA의 하위자동자로 임베딩될 수 있다.
• 구성된 보편적 CA의 귀결집합은 구성 요소를 상호 배타적인 NL-인정가능 케이스로 분해하고 비결정적 선택을 통해 조합함으로써 NL-인정가능함을 달성하였다.
• 결과적으로, 어떤 CA의 시뮬레이션 능력도 단순한 역학적 지표, 예를 들어 단순한 귀결집합 또는 유한형 열쇠 인자를 통해 숨길 수 있음을 보여주었다.