비균일 셀룰러 오토마톤의 서전크티비티와 가역성

초록

본 논문은 유한 메모리와 균일하게 제한된 특이점을 가진 비균일 셀룰러 오토마톤(NUCA)이 서전크티브 군 위에서 가역이면 반드시 가역(역함수도 NUCA)임을 보이며, 이를 기존의 서전크티비티 정리와 이중 서전크티비티 정리의 NUCA 버전으로 확장한다.

상세 분석

논문은 먼저 Gottschalk의 서전크티비티 추측을 소개하고, 이를 만족하는 군을 ‘서전크티브 군’이라 정의한다. Gromov‑Weiss 정리에 의해 모든 sofic 군이 서전크티브임을 상기한 뒤, 저자는 이러한 군 위에서 비균일 셀룰러 오토마톤(NUCA)의 동역학적 성질을 조사한다. NUCA는 각 셀마다 다른 지역 전이 함수를 가질 수 있는 일반화된 CA이며, 여기서는 유한 메모리 집합 M⊂G와 각 셀 g∈G에 할당된 지역 정의 함수 s_g∈A^{A^M} 로 정의된다. 중요한 개념으로 ‘전역 교란’(global perturbation)과 ‘균일하게 제한된 특이점’(uniformly bounded singularity)을 도입한다. 전자는 s가 어느 유한 집합을 제외하고는 일정함을 의미하고, 후자는 임의의 유한 집합 E에 대해 더 큰 유한 집합 F가 존재해 F∩E에서 s가 일정함을 보장한다.

동역학적 성질은 ‘전사(pre‑injective)’, ‘후사(post‑surjective)’, 그리고 이들의 안정 버전(stably…)으로 정의된다. 특히, NU와 CA에서 가역성은 ‘stable injective’와 동치이며, ‘stable invertible’는 모든 지역 전이 함수들의 조합이 서로 역함수를 이루는 강한 형태이다. 논문은 다음 네 가지 주요 정리를 증명한다.

• Theorem A: G가 가산 서전크티브 군이고, M이 유한일 때, s가 asymptotically constant하고 σ_s가 stable injective이면 σ_s는 stable invertible가 된다. 즉, 가역 NUCA는 반드시 역함수도 NUCA가 된다.
• Corollary 1은 Theorem A와 기존 결과를 결합해, (i) G가 amenable이고 σ_s가 injective인 경우, (ii) G가 sofic이고 σ_s가 reversible인 경우, 모두 σ_s가 stable invertible임을 제시한다.
• Theorem B는 ‘post‑injunctive’ 군(모든 post‑surjective CA가 pre‑injective인 군) 위에서, σ_s가 stable post‑surjective이면 σ_s 역시 stable invertible임을 보인다. 이는 Capobianco‑Kari‑Taati의 이중 서전크티비티 정리를 NUCA로 확장한 결과이다.
• Theorem C와 Theorem D는 앞의 결과들을 ‘균일하게 제한된 특이점’을 가진 NUCA로 일반화한다. 즉, s가 asymptotically constant이 아닐지라도, 특이점이 유한하게 제한돼 있으면 같은 결론이 성립한다.

핵심 증명 아이디어는 G가 서전크티브이므로 injective CA는 surjective이며, 이를 지역 교란에 대해 ‘stable’ 속성을 이용해 전역적으로 전이한다는 점이다. 또한, 선형 NUCA에 대해는 dual NUCA 개념을 도입해 invertibility와 post‑surjectivity 사이의 대칭성을 이용한다(Proposition 1). 이를 통해 Question 1(stable injective ⇒ stable invertible)과 Question 2(stable post‑surjective ⇒ stable invertible)가 선형 경우 동치임을 보인다.

논문은 또한 기존 문헌에서 알려진 예시(예: injective이지만 비 surjective인 NUCA)와의 차이를 명확히 하며, ‘local perturbation of CA’라는 구체적 모델을 통해 비동기식 CA와의 연관성을 제시한다. 마지막으로, 아직 해결되지 않은 일반적인 질문들을 제시하고, 향후 연구 방향을 제시한다.