[논문 리뷰] The Garden of Eden theorem: old and new

Tullio Ceccherini‐Silberstein, Michel Coornaert|arXiv (Cornell University)|2017. 07. 27.

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

한 줄 요약

이 논문은 셀룰러 오토마타 및 동역학계에서 Garden of Eden 정리와 그 일반화에 대한 종합적인 조사를 제공한다. 애매한 군에 대해, 셀룰러 오토마타의 전사성은 전입성과 동치임을 입증하며, 고전적 Moore-Myhill 정리를 ℤᵈ를 초월해 모든 애매한 군으로 확장한다. 주요 결과로는 엔트로피, 동형성, 대수적 평균 차원에 대한 고찰이 포함된다.

ABSTRACT

We review topics in the theory of cellular automata and dynamical systems that are related to the Moore-Myhill Garden of Eden theorem.

연구 동기 및 목표

• 고전적 Garden of Eden 정리를 ℤᵈ를 초월해 일반적인 애매한 군으로 통합하고 확장하기.
• 전사성이 전입성을 유도하는 데 있어 애매성의 역할을 명확히 하기.
• 정리의 일반화를 부분위상, 대수적 동역학계, 하이퍼볼릭 동역학계로 확장하기.
• 엔트로피, 평균 차원, Garden of Eden 구성요소의 존재 간 상호작용 탐색하기.
• Garden of Eden 정리를 통해 셀룰러 오토마타, 군론, 동역학계를 연결하는 자가 일관된 참고자료 제공하기.

제안 방법

• Følner 넷과 엔트로피 기반 추론을 사용하여 Garden of Eden 정리를 가산 애매한 군으로 일반화한다.
• Curtis-Hedlund-Lyndon 정리를 적용하여 연속성과 동치성에 의해 셀룰러 오토마타를 특성화한다.
• 애매한 군 위의 대수적 셀룰러 오토마타를 위한 핵심 불변량으로서 대수적 평균 차원을 도입한다.
• Gromov의 일반화에서 단순형 그래프에 대해 안정된 공간과 유계 전파, 조밀한 호로노미를 활용한다.
• 동형성과 강한 기초성(strong irreducibility)을 활용하여 결과를 부분위상 및 확장성 시스템으로 확장한다.
• 전입성과 상호 소거 가능한 패턴의 개념을 활용하여 전사성을 특성화한다.

실험 결과

연구 질문

• RQ1 어느 군에 대해 Garden of Eden 정리—즉, 전사성이면 전입성임—이 성립하는가?
• RQ2 엔트로피와 평균 차원은 셀룰러 오토마타에서 Garden of Eden 구성요소의 존재와 어떻게 관련되는가?
• RQ3 Garden of Eden 정리는 대수적 셀룰러 오토마타와 주된 대수적 동역학계로 확장될 수 있는가?
• RQ4 비애매한 군에 대해 Garden of Eden 정리의 실패 또는 성립에 있어 애매성의 역할은 무엇인가?
• RQ5 Gromov의 정리 일반화가 애매한 단순형 그래프 위의 안정된 공간에 대해 어느 정도 적용될 수 있는가?

주요 결과

• Bartholdi와 Kielak에 의해 증명된 바와 같이, Garden of Eden 정리는 모든 애매한 군에 대해 성립하며, 비애매한 군에 대해서는 실패한다.
• 애매한 군에 대해, 셀룰러 오토마타의 전사성은 전입성과 동치이며, 이는 원래의 ℤᵈ에서의 Moore-Myhill 결과를 일반화한 것이다.
• 애매한 군 위의 대수적 셀룰러 오토마타에서, 전사성은 (* 주의 깊게) 전입성과 동치이며, 대수적 평균 차원을 통해 형식화된다.
• Gromov의 일반화로 정리의 범위는 애매한 단순형 그래프에서 유계 차수와 조밀한 부분等距군을 갖는 전파 유계 안정 공간으로 확장된다.
• 강한 기초성, 유한형 부분위상이며, 전파 유계 및 조밀한 호로노미를 갖는 사상에서 동일한 엔트로피를 가진다.
• Garden of Eden 정리를 만족하는 군의 집합은 정확히 애매한 군의 집합이며, Schupp가 제기한 오랫동안 미해결이었던 문제를 해결한다.