[논문 리뷰] On Local Symmetries And Universality In Cellular Autmata

Laurent Boyer, Guillaume Theyssier|ArXiv.org|2009. 02. 07.

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

한 줄 요약

이 논문은 국소 대칭성으로 정의된 여러 종류의 셀룰러 오토마타—다중집합, 총합기반, 외부-다중집합 셀룰러 오토마타 등—에서 상태 수나 이웃 영역 크기가 증가할 경우, 내재적 보편성이 渐진적으로 거의 확실해진다는 것을 보여준다. 시뮬레이션 서브시프트를 구성하고 확률적 추론을 사용하여, 이러한 가족에서 보편적 셀룰러 오토마타의 밀도가 1에 수렴함을 증명한다. 동시에, 이 가정들 내에서 보편성 문제의 결정 불가능성도 입증한다.

ABSTRACT

Cellular automata (CA) are dynamical systems defined by a finite local rule but they are studied for their global dynamics. They can exhibit a wide range of complex behaviours and a celebrated result is the existence of (intrinsically) universal CA, that is CA able to fully simulate any other CA. In this paper, we show that the asymptotic density of universal cellular automata is 1 in several families of CA defined by local symmetries. We extend results previously established for captive cellular automata in two significant ways. First, our results apply to well-known families of CA (e.g. the family of outer-totalistic CA containing the Game of Life) and, second, we obtain such density results with both increasing number of states and increasing neighbourhood. Moreover, thanks to universality-preserving encodings, we show that the universality problem remains undecidable in some of those families.

연구 동기 및 목표

• 국소 대칭성으로 제약을 받는 셀룰러 오토마타 가족에서 내재적 보편성의 보편성에 대해 조사한다.
• 이전의 제한된 셀룰러 오토마타에 대한 결과를 게임 오브 라이프를 포함한 더 넓고 잘 알려진 가족들인 외부-총합기반 셀룰러 오토마타 등으로 확장한다.
• 상태 수나 이웃 영역 크기가 증가함에 따라 보편성이 渐진적으로 거의 확실해짐을 확립한다.
• 대칭적 셀룰러 오토마타 가족 내에서도 보편성 문제의 결정 불가능성이 유지됨을 보여준다.

제안 방법

• 큰 셀룰러 오토마타 내에서 주어진 셀룰러 오토마타를 시뮬레이션하기 위해 독립적인 서브시프트(예: 0₀와 1₀의 번갈아나오는 패턴)를 구성한다.
• 다중집합 불변성을 사용하여, 이웃 영역 내 상태의 빈도에만 의존하는 국소 전이 함수를 정의한다.
• 확률적 분석을 적용하여, 목표 셀룰러 오토마타를 주어진 서브시프트에서 시뮬레이션하지 못하는 가족 내 셀룰러 오토마타의 비율을 한계화한다.
• 특정 셀룰러 오토마타를 어떤 서브시프트에서 시뮬레이션할 확률이 이웃 영역 크기에 관계없이 일정한 하한선을 가진다는 것을 확립한다.
• 여러 개의 독립 서브시프트를 조합하여, 전체 비시뮬레이션 확률이 서브시프트 수에 따라 지수적으로 감소함을 보여준다.
• 보편성 유지 인코딩을 사용하여, 대칭적 가족 내에서도 보편성 문제의 결정 불가능성이 유지됨을 보여준다.

실험 결과

연구 질문

• RQ1 국소 대칭성으로 정의된 가족에서 보편적 셀룰러 오토마타의 점점 커지는 밀도는 얼마인가?
• RQ2 다중집합 또는 총합기반 셀룰러 오토마타 같은 가정에서 내재적 보편성이 확률이 1에 수렴하도록 보일 수 있는가?
• RQ3 대칭적 셀룰러 오토마타 가정으로 제한된 경우에도 보편성 문제의 결정 불가능성은 유지되는가?
• RQ4 상태 수나 이웃 영역 크기가 증가함에 따라 대칭적 셀룰러 오토마타 가정에서 보편성의 가능성은 어떻게 변화하는가?

주요 결과

• 상태 수나 이웃 영역 크기가 증가함에 따라 다중집합, 총합기반, 외부-다중집합 셀룰러 오토마타 가정에서 보편적 셀룰러 오토마타의 점점 커지는 밀도는 1이 된다.
• 대칭적 가정에 속한 고정된 셀룰러 오토마타에 대해, 가정에서 무작위로 선택한 셀룰러 오토마타가 그를 시뮬레이션할 확률은 이웃 영역 크기가 커질수록 1에 수렴한다.
• 시뮬레이션에 사용 가능한 독립 서브시프트의 수는 이웃 영역 크기와 선형적으로 증가하며, 이는 비시뮬레이션 확률의 지수적 감소에 기여한다.
• 대칭적 가정의 무작위 셀룰러 오토마타가 주어진 셀룰러 오토마타를 시뮬레이션하지 못할 확률은 서브시프트 수가 증가함에 따라 0으로 수렴하는 항목으로 상한이 둔다.
• 보편성 유지 인코딩을 통해, 외부-다중집합 셀룰러 오토마타와 같은 대칭적 가정 내에서도 보편성 문제의 결정 불가능성이 유지됨을 보장한다.
• 이 결과는 이웃 영역 크기가 시뮬레이션 복잡성에 비해 충분히 빠르게 증가할 조건 하에서 성립하며, 외부-다중집합 셀룰러 오토마타의 경우 밀도 1을 확보하기 위해 k′ = o(log log k) 조건이 필요하다.