[논문 리뷰] Von Neumann Regularity, Split Epicness and Elementary Cellular Automata

Ville Salo|arXiv (Cornell University)|2018. 04. 11.

Cellular Automata and Applications참고 문헌 7인용 수 1

한 줄 요약

이 논문은 혼합형 유한형 하향세트(subshifts of finite type, SFTs) 위의 세포자기모형(cellular automata)에서 폰 노이만 정칙성(von Neumann regularity)이 소픽 시프트(sofic shifts)와 블록 사상(block maps)의 범주에서 이미지 위로의 분할 에피크니스(split epicness)와 동치임을 입증한다. 저자들은 범주론적 방법과 계산적·수작업 분석을 융합하여 원시 세포자기모형(elementary cellular automata, ECA)의 정칙성의 결정 가능성을 증명하며, 이로써 이전까지 미해결이었던 모든 케이스를 해결한다: ECA 6, 7, 23, 33, 57, 77는 정칙이며, 9, 27, 28, 41, 58은 정칙이 아니며, 정칙 규칙에 대해 약한 역원을 찾고, 정칙성이 아님을 증명하기 위해 주기 1의 궁극적으로 주기적인 점들을 사용한다.

ABSTRACT

We show that a cellular automaton on a mixing subshift of finite type is a Von Neumann regular element in the semigroup of cellular automata if and only if it is split epic onto its image in the category of sofic shifts and block maps. It follows from [S.-Törmä, 2015] that Von Neumann regularity is decidable condition, and we decide it for all elementary CA.

연구 동기 및 목표

• 원시 세포자기모형(ECA) 중 폰 노이만 정칙성을 갖는 것들을 특정함으로써, [1]에서 제기된 미해결 문제를 해결하는 것.
• 혼합형 SFT 위의 세포자기모형에 대해 소픽 시프트와 블록 사상의 범주에서 폰 노이만 정칙성과 분할 에피크니스 사이의 동치성을 확립하는 것.
• 논문 [8]의 알고리즘적 방법을 수작업 및 계산적 분석과 융합하여 원시 세포자기모형의 폰 노이만 정칙성이 결정 가능함을 증명하는 것.
• 정칙 ECA에 대해 명시적인 약한 역원을 제공하고, 다른 경우에 대해 궁극적으로 주기적인 점들을 사용하여 정칙성이 아님을 증명하는 것.

제안 방법

• 혼합형 SFT 위의 세포자기모형에 대해 소픽 시프트와 블록 사상의 범주 K3에서 폰 노이만 정칙성과 분할 에피크니스가 동치임을 증명하는 것.
• 확장 보조정리(Extension Lemma)를 사용하여 CA의 이미지 위의 오른쪽 역원이 전체 공간으로 확장될 수 있음을 보이며, 이는 알고리즘적 결정 가능성을 가능하게 한다.
• 논문 [8]의 방법을 적용하여 분할 에피크니스를 결정하며, 이는 소픽 시프트 간의 사상에 대해 결정 가능함이 알려져 있다.
• SAGE를 사용한 컴퓨터 지원 검색을 통해 ECA의 이미지를 계산하고, 그 이미지 내 금지 패턴을 확인하는 것.
• 수작업 분석을 통해 [8]에서 제시된 강한 주기적 점 조건을 점검하며, 특히 주기 1인 점들을 중심으로 정칙성이 아님을 반증하는 것.
• 16진수로 표현된 '적용 가능한 첫 번째 경우' 규칙 형식을 사용하여 약한 역원을 제시하며, 닫힌 집합 표현을 분리 정규형(disjunctive normal form)으로 제공하는 것.

실험 결과

연구 질문

• RQ1 원시 세포자기모형 중 폰 노이만 정칙성을 갖는 것은 무엇인지, 특히 [1]에서 미해결이었던 11개의 케이스를 해결하는가?
• RQ2 혼합형 유한형 하향세트 위의 세포자기모형에 대해 폰 노이만 정칙성이 결정 가능한가?
• RQ3 소픽 시프트의 범주에서 이미지 위로의 분할 에피크니스가 이러한 CA에 대해 폰 노이만 정칙성과 일치하는가?
• RQ4 정칙 ECA에 대해 약한 역원을 구성할 수 있으며, 이러한 역원의 최소 반경 또는 복잡도는 얼마인가?
• RQ5 ECA 이미지의 구조적 성질(예: SFT 대 비어 있는 소픽 시프트)은 정칙성이 아님을 증명하는 데 어떤 식으로 활용될 수 있는가?

주요 결과

• ECA 6, 7, 23, 33, 57, 77는 폰 노이만 정칙이며, 반경 최대 5 이내의 약한 역원을 갖는다.
• ECA 9, 27, 28, 41, 58는 주기 1의 궁극적으로 주기적인 점들을 사용한 강한 주기적 점 조건에서의 모순으로 인해 정칙이 아님이 입증된다.
• ECA 9, 27, 28, 41, 58의 이미지는 비어 있는 소픽 시프트이며, 이는 그들의 정칙성이 아님에 기여하지만, 이는 단지 충분 조건은 아니다.
• ECA 57의 경우 반경 3에서 역원 구성 과정에서 모순이 발견되어 현재 반경이 최적일 가능성이 있음을 시사하지만, 이는 엄밀히 확인되지 않았다.
• ECA 6의 역원에 대한 16진수 표현은 컴퓨터 검색을 통해 발견되었으며, 사전에 그러한 구조가 존재할 것이라는 기대 없이 발견된 놀라운 규칙성이다.
• 저자들은 수작업 적용을 위해 복사-붙여넣기 가능한 형식으로 16진수 및 분리 정규형 표현을 제공한다.