셀룰러 오토마타 대규모 반정연산자 연구

초록

본 논문은 고정된 시프트 공간 위에서 작용하는 셀룰러 오토마타 변환들의 반정연산자(semigroup)를 조사한다. 두 가지 ‘큰’ 성질, 즉 무한 불변 폐집합이 전체 공간밖에 없는 ID 성질과 최대 가환성(MC) 성질을 중심으로, 정수 곱셈을 모사하는 반정연산자와 심볼 집합을 정수환 ℤₙ으로 두고 선형 변환만으로 구성된 반정연산자를 비교한다. 결과적으로 심볼 수 s가 소수의 거듭 제곱이 아닐 때 곱셈 반정연산자는 ID와 MC를 동시에 만족하고, s가 소수일 때 선형 반정연산자는 ID와 MC를 모두 만족한다는 점을 보인다. 또한 일방향 시프트와 양방향 시프트 사이에 반정연산자를 대응시키는 방법을 제시해 두 성질을 보존한다.

상세 분석

논문은 먼저 시프트 공간 Σ^ℤ 혹은 Σ^ℕ(Σ는 유한 알파벳) 위에서 정의되는 셀룰러 오토마타(CA)의 변환군을 반정연산자 구조로 바라본다. 여기서 ‘ID’(Infinite‑Dense) 성질은 반정연산자가 어떤 비자명한 무한 폐집합을 불변시킬 수 없다는 의미이며, ‘MC’(Maximal‑Commutative) 성질은 그 반정연산자 집합이 서로 가환하면서도 더 큰 가환 반정연산자를 포함하지 못한다는 강력한 제약을 뜻한다. 두 성질은 각각 동역학적 복잡도와 대수적 구조를 측정하는 지표로 작용한다.

첫 번째 예시는 1‑차원 토러스 ℝ/ℤ 위에서 정수 곱셈을 모사하는 CA들의 반정연산자이다. 구체적으로, 심볼 집합 Σ를 크기 s인 순환군 ℤ_s와 동일시하고, 각 정수 m에 대해 x↦mx(mod s) 를 셀룰러 오토마타로 구현한다. 이때 반정연산자 ⟨μ_m | m∈ℤ⟩는 곱셈군의 이미지이므로 가환이며, 서로 다른 m이 만들어내는 변환들은 복합적으로 전체 공간을 섞는다. 논문은 s가 소수의 거듭 제곱(p^k)일 경우, 특정 비자명한 고정점 집합(예: p‑진법으로 일정 패턴을 갖는 서브시프트)이 존재함을 보이며, 이는 ID 성질을 깨뜨린다. 반대로 s가 p^k 형태가 아니면, 모든 비자명한 폐집합은 결국 전체 공간으로 확대되므로 ID가 성립한다. 가환성은 언제나 유지되는데, 이는 곱셈 연산이 교환법칙을 만족하기 때문이다. 따라서 ‘곱셈 반정연산자’는 “s가 소수 거듭 제곱이 아닐 때 ID ∧ MC”라는 정확한 조건을 만족한다.

두 번째 예시는 심볼 집합을 정수환 ℤ_n(=ℤ/sℤ)으로 두고, 선형 CA, 즉 변환이 행렬 A∈M_{ℤ_n}에 의해 정의되는 경우이다. 여기서 각 셀은 주변 셀들의 선형 결합으로 업데이트되며, 전체 변환은 행렬 곱으로 표현된다. 이 반정연산자는 언제나 가환성을 가진다. 왜냐하면 두 선형 변환 A와 B가 행렬 곱 AB와 BA가 일반적으로 다르지만, 반정연산자 집합을 “모든 선형 CA” 전체로 잡으면, 두 변환을 동시에 적용할 수 있는 공통 상위 구조가 존재하고, 이는 가환성을 강제한다(논문에서는 ‘최대 가환성’이라는 용어로 정의). ID 성질은 s가 소수일 때만 만족한다. 소수 s에서는 ℤ_s가 체가 되므로, 선형 CA는 전역적으로 전위(permute)성을 가지며, 비자명한 불변 폐집합이 존재하지 않는다. 반면 s가 합성수이면, 예를 들어 s=ab (a,b>1)인 경우, a‑배수 혹은 b‑배수 패턴을 유지하는 서브시프트가 불변 집합이 되어 ID가 깨진다. 따라서 ‘선형 반정연산자’는 “항상 MC, s가 소수일 때만 ID”라는 결론에 도달한다.

추가적으로, Σ에 유한체 구조가 존재할 경우(예: s=p^k, p가 소수, k≥1) 선형 CA는 체 위의 선형 변환이 되므로, 모든 비자명한 불변 집합이 사라지고 ID와 MC를 동시에 만족한다. 이는 체 구조가 제공하는 가역성 및 분해 가능성 덕분이다.

마지막으로 논문은 일방향(한쪽 무한) 시프트 Σ^ℕ와 양방향(양쪽 무한) 시프트 Σ^ℤ 사이에 반정연산자를 대응시키는 사상 Φ를 정의한다. Φ는 한쪽 시프트에서 정의된 CA를 양쪽 시프트에 자연스럽게 확장하거나, 반대로 제한함으로써 ID와 MC 성질을 보존한다. 이 대응은 동역학적 성질이 시프트 방향에 독립적임을 보여주며, 연구 결과의 일반성을 크게 확장한다.

요약하면, 논문은 심볼 수 s의 산술적 성질에 따라 CA 반정연산자의 ‘크기’가 달라짐을 정밀히 분석하고, ID와 MC라는 두 가지 대수·동역학적 기준을 통해 그 차이를 명확히 구분한다. 이는 셀룰러 오토마타 이론과 대수적 동역학 사이의 교차점을 새롭게 조명하는 중요한 기여라 할 수 있다.