모어 정리의 역정리와 군의 가용성 특성

본 논문은 셀룰러 오토마톤(CA)의 두 핵심 현상인 Garden‑of‑Eden(GOE)과 Mutually Erasable Patterns(MEP)를 이용해 군 G의 가용성(amenability)을 완전히 특징짓는 정리를 제시한다. 서론에서는 CA의 정의와 GOE·MEP 개념을 소개하고, 기존에 Zⁿ 등 아벨리안 군에서 “GOE 존재 ⇔ MEP 존재”라는 모어‑마이힐 정리가 알려져 있음을 언급한다. 이후 Ceccherini‑Silberstein·Machì·Scarabotti가 가용 군에 대해 동일한 정리를 일반화했으나, 비가용 군에 대한 반례는 아직 명확히 제시되지 않았다는 점을 지적한다. 주요 결과는 Theorem 1.2로, 군 G가 가용적이면 G 위의 모든 유한 CA가 MEP를 가질 경우 반드시 GOE를 가진다. 반대로 G가 비가용이면, MEP는 존재하지만 GOE는 존재하지 않는 CA를 명시적으로 구성한다. 이 정리는 기존의 “가용성 ⇔ 모어‑마이힐 정리 성립”이라는 추측을 완전히 증명한다. 비가용 군에 대한 반례 구축은 두 단계로 이루어진다. 첫 단계에서는 충분히 큰 유한 생성 집합 S를 잡고, Hall‑Rado 정리를 이용해 “2:1 압축 벡터 필드” f: G→G (각 x에 대해 f⁻¹(x) = {x·s₁, x·s₂}이며 s₁,s₂∈S) 를 만든다. 이 f를 사용해 상태 집합 Q = S×{0,1}×S 로 정의된 CA θ를 설계한다. θ는 입력 패치 φ∈Q^S에 대해 사전 순 최소 쌍 (s,t)를 찾아 (p,α,q) 형태의 새로운 상태를 반환한다(식 2.1). θ의 두 핵심 성질을 증명한다. 첫째, θ는 전사적이므로 GOE가 존재하지 않는다. 임의의 구성 φ에 대해, f⁻¹(x) = {x·s, x·t}를 이용해 ψ(x·s)와 ψ(x·t)를 적절히 할당하면 Θ(ψ)=φ가 되므로 전사성을 확보한다. 둘째, θ는 MEP를 가진다. 특정 위치 y에 대해 ψ와 ψ′를 y·t만 다르게 바꾸어도 Θ(ψ)=Θ(ψ′)가 되며, 이는 θ 정의에서 β 좌표가 무시되는 구조적 특성 때문이다. 비가용 군에 대한 일반적인 반례는 Lemma 3.1에서 제시된 “m:n 압축 대응” 개념을 도입함으로써 확장된다. 비가용 군 G는 모든 생성 집합 S에 대해 정수 m>n과 함수 f: G×G→ℕ이 존재하여, 각 x에 대해 #f⁻¹(x)=m, #f(x)=n, 그리고 f(x,y)≠0 ⇒ y∈xS 를 만족한다. 이를 기반으로 상태 집합을 Q = (S×{0,1}×Sⁿ)ⁿ 로 확장하고, θ를 식 3.4와 같이 정의한다. 이 θ 역시 전사적이어서 GOE가 없고, 사용되지 않는 αₙ₊₁,…,αₘ 좌표가 존재하므로 MEP를 가진다. 논문은 또한 다음과 같은 부가적인 논의를 포함한다. (1) G‑셋에 대한 일반화 가능성: 셀룰러 오토마톤을 오른쪽 G‑셋 X 위에 정의할 경우, X의 가용성 개념과 Theorem 1.2의 적용 범위가 아직 명확하지 않다. (2) Myhill 정리의 비가용 군에 대한 반례: GOE ⇒ MEP는 일반 비가용 군에서는 아직 반례가 알려지지 않았으며, 선형 CA와 군 대수 구조를 이용한 접근법을 제시한다. 특히 Conjecture 4.1은 비가용 군 G에 대해 유한 체 K와 α,β∈KG가 오른쪽 공통 배수를 갖지 않을 경우, 선형 CA를 통해 GOE는 존재하지만 MEP는 존재하지 않는 상황을 만들 수 있음을 주장한다. (3) 기존 연구와의 연계: Moore와 Myhill의 원래 정리, Gromov의 엔도몰피즘, 그리고 이전의 가용 군에 대한 결과들을 통합·확장한다. 결론적으로, 이 논문은 “가용성 ⇔ 모어‑마이힐 정리의 성립”이라는 명제를 완전히 증명함으로써 군 이론과 셀룰러 오토마톤 이론 사이의 깊은 연결고리를 밝힌다. 비가용 군에 대한 구체적인 CA 구성은 향후 비가용성의 동역학적 특성을 탐구하는 중요한 도구가 될 것이며, 선형 CA와 군 대수적 구조를 결합한 새로운 연구 방향을 제시한다.