[논문 리뷰] Revisiting the Rice Theorem of Cellular Automata

P. Guillon, Gaétan Richard|arXiv (Cornell University)|2010. 01. 01.

Cellular Automata and Applications참고 문헌 2인용 수 5

한 줄 요약

이 논문은 이원 상태 세포를 가진 일차원 세포자동기계에 대해 Kari의 Rice 정리를 정교화한다. 즉, 모든 한계집합 성질 중에서 전사성 이외의 성질은 결정 불가능하다는 것을 증명한다. 강력한 얼음붙은 단어 기반의 새로운 인코딩과 하위서브시프트의 제어된 시뮬레이션을 통해, 비트리비어 성질(전사성 제외)은 조건이 고정된 이원 알파벳에서도 결정 불가능하다는 것을 보여준다.

ABSTRACT

A cellular automaton is a parallel synchronous computing model, which consists in a juxtaposition of finite automata whose state evolves according to that of their neighbors. It induces a dynamical system on the set of configurations, i.e. the infinite sequences of cell states. The limit set of the cellular automaton is the set of configurations which can be reached arbitrarily late in the evolution. In this paper, we prove that all properties of limit sets of cellular automata with binary-state cells are undecidable, except surjectivity. This is a refinement of the classical "Rice Theorem" that Kari proved on cellular automata with arbitrary state sets.

연구 동기 및 목표

• 일차원 세포자동기계의 이원 상태 세포에 대해, 전사성 이외의 비트리비어 한계집합 성질이 결정 가능한지 여부를 규명하는 것.
• 알파벳이 고정된 이원 상태의 경우에 Kari의 한계집합에 대한 결정 불가능성 결과를 확장하는 것.
• 강력한 얼음붙은 단어를 사용한 통일된 인코딩 메커니즘을 구축하여, 한계집합 내에서 임의의 하위서브시프트를 시뮬레이션하는 것.
• 한계집합의 비전사성 성질이 결정 불가능하다는 것을 보이기 위해, 영속성 문제를 그 성질로 환원하는 것.
• 고정된 알파벳을 가진 세포자동기계의 한계집합 성질에서 결정 가능성과 결정 불가능성의 경계를 명확히 하는 것.

제안 방법

• 유한 알파벳 내에서 강력한 얼음붙은 단어의 개념을 도입하여, 겹치지 않는 패턴을 보장함으로써 내장된 구성의 명확한 식별이 가능하도록 하는 것.
• 기본 자동기 G가 하위서브시프트 Σ에서 작동하고, 인코딩 및 동기화를 위한 보조 자동기 N과 S를 포함하는 복합 세포자동기 ΔG,N,S를 사용하는 것.
• 지역 규칙 δ를 네 가지 경우로 나누어 적용: (1) Σ에서 G를 적용, (2) 얼음붙은 패턴을 사용해 N과 S를 압축 및 시뮬레이션, (3) S가 발사 상태에 도달했을 때 압축 해제 및 상태 갱신, (4) 잘못된 구성일 경우 기본값 0으로 설정.
• 모든 구성이 진화 과정에서 임의로 늦게 나타나도록 보장하기 위해, 화약대원 문제의 해법(S)을 활용하여, 원래 구성이 한계집합에 그대로 유지됨을 보장하는 것.
• 인코딩 알파벳 E의 얼음붙은 성질을 활용하여, 겹치는 패턴 간 간섭을 방지함으로써 유일한 복호화와 명확한 시뮬레이션을 보장하는 것.
• N의 영속성 문제를 ΔG,N,S의 한계집합에서 성질의 결정 가능성으로 환원하여, 만약 그러한 성질이 결정 가능했다면 영속성 문제 역시 결정 가능할 것이며, 이는 기존에 알려진 결정 불가능성과 모순됨을 보여주는 것.

실험 결과

연구 질문

• RQ1 일차원 세포자동기계의 이원 상태 세포에 대해, 전사성 이외의 비트리비어 한계집합 성질 중 결정 가능한 것이 존재하는가?
• RQ2 알파벳이 두 기호로 고정된 경우, 세포자동기계에 대한 고전적 Rice 정리를 정교화할 수 있는가?
• RQ3 작은 크기의 겹치지 않는 인코딩을 통해, 세포자동기계의 한계집합 내에서 임의의 하위서브시프트를 시뮬레이션하는 것이 가능한가?
• RQ4 얼음붙은 인코딩 알파벳이 존재할 경우, 보조 자동기의 신뢰성 있는 시뮬레이션과 원래 시스템의 동역학 유지가 가능한가?
• RQ5 일관된 구조를 통해 영속성 문제의 결정 불가능성이 다른 한계집합 성질로 이행될 수 있는가?

주요 결과

• 일차원 세포자동기계의 이원 상태 세포에 대해, 모든 비트리비어 한계집합 성질은 전사성 이외에는 결정 불가능하다.
• 알파벳이 두 개로 고정된 상태에서 전사성은 여전히 결정 가능하므로, 이 설정에서 유일한 비트리비어 결정 가능 성질이다.
• ΔG,N,S의 구조는 Firing Squad 자동기 S의 동기화 메커니즘 덕분에, 하위서브시프트 Σ의 임의의 구성이 진화 과정에서 임의로 늦게 나타날 수 있도록 보장한다.
• 강력한 얼음붙은 단어의 사용은 인코딩 내 임베딩된 패턴 간 겹침을 방지하여, 시뮬레이션의 무결성을 유지하고 유일한 복호화를 가능하게 한다.
• 영속성 문제에서 한계집합 성질로의 환원은, 그러한 성질(전사성 제외)이 결정 가능하다면 영속성 문제 역시 결정 가능하다는 것을 의미하며, 이는 일반적으로 불가능하다.
• 이 증명은 알파벳이 고정된 상태에서 한계집합 성질 중에서 결정 가능한 유일한 성질이 전사성임을 입증하며, 세포자동기계 이론에서 오랫동안 남아있던 열린 문제를 해결한다.