[논문 리뷰] Cellular automata on a $G$-set

Sébastein Moriceau|arXiv (Cornell University)|2011. 05. 26.

Cellular Automata and Applications인용 수 6

한 줄 요약

이 논문은 군 작용이 있는 G-집합(즉, 전이적 군 작용을 갖춘 집합) 위에서 세포자동기계를 일반화한다. 이는 고전적 군 기반의 프레임워크를 비아벨, 하이퍼볼릭, 타일 기반의 구조를 포함하도록 확장한다. G-집합 위에서 세포자동기계를 위한 새로운 형식적 체계를 제안하고, 등변 자동기계에 대해 헤들런드의 정리의 유사판을 증명하며, 일반 세포자동기계의 복합이 항상 세포자동기계가 되지 않지만 등변성에 대해선 닫혀 있음을 보여준다. 주요 기여는 비표준 기하학과 군 작용에서 세포자동기계의 이론적 기초를 넓히는 데 있다.

ABSTRACT

We extend the usual definition of cellular automaton on a group in order to deal with a new kind of cellular automata, like cellular automata in the hyperbolic plane and we explore some properties of these cellular automata. This definition also allows to deal with maps, intuitively considered as cellular automata, even if they did not match the usual definition, like the Margolus billiard-ball. One of the main results is an extension of Hedlund's theorem for these cellular automata.

연구 동기 및 목표

• 고전적 군 위의 세포자동기계 정의를 전이적 군 작용을 갖는 G-집합 위의 세포자동기계로 일반화하는 것.
• 비아벨 군, 하이퍼볼릭 타일(예: 하이퍼볼릭 평면) 및 기타 비표준 격자에서 세포자동기계의 이론적 프레임워크를 제공하는 것.
• 세포자동기계의 복합이 항상 세포자동기계가 되는 조건, 특히 등변성이 아닌 경우를 조사하는 것.
• 등변 세포자동기계를 일반화된 헤들런드 정리의 형태로 특성화하는 것.
• G-집합 세포자동기계에서 기억 집합의 구조와 좌표계 의존성에 대한 분석.

제안 방법

• G-집합을 군 G의 왼쪽 전이적 작용을 갖는 집합 Γ로 정의하여 고전적 세포자동기계의 격자 구조를 일반화한다.
• T가 G/Stab(α₀)의 완전한 여부합대표자 집합이고 1_G ∈ T인 좌표계 (α₀, T)를 도입하여 셀 주소 부여를 가능하게 한다.
• 유한한 기억 집합 M, 局소 업데이트 규칙 µ: Q^M → Q, 그리고 각 셀 α에 대해 τ(x)(α) = µ(x|M)로 정의되는 전역 업데이트 규칙을 통해 G-집합 위의 세포자동기계를 정의한다.
• 군 작용과 가환하는 등변 세포자동기계를 정의하고, 이들이 일반화된 헤들런드 정리를 만족함을 증명한다.
• 큰 부분군과 안정자 개념을 사용하여 세포자동기계의 복합을 분석하고, 등변성 군의 교차가 큰 부분군이면 복합이 여전히 세포자동기계임을 증명한다.
• 하이퍼볼릭 기하학(예: 코엑서 군, 파oincaré 타일링 정리)과 마르골루스 보드볼 자동기계의 예를 들어 프레임워크를 구체화한다.

실험 결과

연구 질문

• RQ1 타일링된 하이퍼볼릭 평면이나 기타 비아벨 군 작용과 같이 군이 아닌 구조 위에서도 세포자동기계를 의미 있게 정의할 수 있는가?
• RQ2 G-집합 위의 두 세포자동기계의 복합이 항상 세포자동기계가 되는 조건은 무엇인가?
• RQ3 특히 등변 자동기계에 대해, G-집합 위의 세포자동기계에 대해 헤들런드 정리의 일반화된 형태가 존재하는가?
• RQ4 좌표계의 선택이 G-집합 세포자동기계의 기억 집합과 구조에 어떤 영향을 미치는가?
• RQ5 등변성이 아닌 전단사이지만 역행불능인 세포자동기계가 G-집합에서 존재하는가?

주요 결과

• 논문은 G-집합 위의 등변 세포자동기계에 대해 일반화된 헤들런드 정리를 확립하여, 이러한 자동기계가 국소 규칙에 의해 정의될 때이고 오직 그 때에만 연속적이고 등변적임을 보여준다.
• 두 세포자동기계 τ₁과 τ₂의 복합이 세포자동기계임을 증명하기 위해, 그들의 등변성 군 Eq(τ₁) ∩ Eq(τ₂)가 G의 큰 부분군이면 충분하다고 증명한다.
• 마르골루스 보드볼 세포자동기계가 이 프레임워크 하에서 공식적으로 세포자동기계임을 보여주며, 엄밀한 구성에 의해 그 보편성을 확인한다.
• 일반 세포자동기계의 복합이 세포자동기계가 되지 않을 수 있음을 반례를 통해 보여주며, τ∘τ ≠ τ′ 이므로 τ가 등변적이지 않음을 증명한다.
• 고정된 큰 부분군 H에 대해 등변되는 세포자동기계의 집합은 복합에 대해 부분모노이드임을 밝히며, 임의의 큰 부분군 H에 대해 CA(Γ, Q, G)는 CA(Γ, Q, H)의 부분모노이드임을 보여준다.
• G-집합 위의 세포자동기계의 최소 기억 집합은 좌표계의 원점 선택을 제외하고 유일하며, 기억 집합에 대한 표준적인 구조를 확립한다.