셀룰러 오토마톤을 통한 무한 문자열 복잡도 계층 연구

초록

본 논문은 1차원 셀룰러 오토마톤(1CA)을 이용해 무한 문자열(스트림)의 복잡도를 비교하는 새로운 차원을 제시한다. σ가 τ로 변환될 수 있으면 σ가 τ보다 복잡하다고 정의하고, 이를 통해 스트림을 복잡도 정도(degree)로 분류한다. 논문은 이 계층의 대수적 성질(비밀밀도, 비정밀성, 원자, 최대도 등)을 분석하고, 스트림 간 reducibility를 판정하는 의사‑알고리즘을 제시한다.

상세 분석

논문은 먼저 기존의 Mealy 기계와 유한 상태 변환기(FST)가 스트림 복잡도 구분에 한계가 있음을 지적한다. 특히 FST는 모든 주기적 스트림을 하나의 정도로 몰아넣는 반면, 1CA는 지역 규칙을 전역에 동시에 적용함으로써 보다 미세한 구분이 가능하다. 이를 기반으로 “σ ≥_C τ”라는 관계를 정의하고, 전이 규칙 δ와 반경 N을 갖는 1CA M에 대해 f_M(σ)=τ가 되면 σ가 τ로 감소(reduce)된다고 본다.

주요 정리들은 다음과 같다.

1. 전이성 및 동치성: 정의된 ▷_C는 전순서이며, ↔_C(=⋄_C)는 동치 관계가 된다. 전역 업데이트를 여러 번 합성하면 반경이 합산된 새로운 1CA를 구성할 수 있다.
2. 유한 변형 폐쇄성: 임의의 유한 문자열 w에 대해 w·σ와 σ는 서로 동치이다. 따라서 초기 유한 접두어나 꼬리를 삽입·제거해도 복잡도 정도는 변하지 않는다.
3. 알파벳 인코딩 보존: 모든 유한 알파벳 Σ를 이진 알파벳 {0,1}으로 인코딩할 수 있으며, 적절히 설계된 1CA를 통해 인코딩 전후의 reducibility가 동일함을 보인다. 이는 복잡도 비교를 이진 스트림에 한정해도 일반성을 유지한다는 의미다.
4. 계층 구조의 비밀밀도와 비정밀성: 원자 정도(atom degree)가 존재함을 증명한다. 즉, 어떤 스트림은 자신보다 낮은 정도가 없으며, 이는 ‘희소(sparse)’ 스트림—예: 1이 드물게 나타나는 스트림—에 해당한다. 동시에 무한 하강 사슬이 존재해 계층이 well‑founded하지 않다.
5. 주기적 스트림의 정수론적 정렬: 궁극적으로 주기적인 스트림은 그 주기의 약수 관계에 따라 순서가 매겨진다. 즉, 주기 p인 스트림은 주기 q인 스트림보다 복잡도가 높다면 p는 q의 배수이다. 이는 셀룰러 오토마톤이 국소 패턴을 보존하면서도 주기 배수를 감지할 수 있기 때문이다.
6. 희소 스트림과 원자: ‘희소’ 스트림—예를 들어, 1이 점점 멀어지는 위치에만 나타나는 경우—은 원자 정도이거나 결국 상수 스트림으로 수렴한다. 이는 이러한 스트림이 1CA에 의해 다른 비희소 스트림으로 변환될 수 없음을 의미한다.
7. 최대 스트림과 부분단어 복잡도: 부분단어 복잡도(subword complexity)가 가능한 최대값을 갖는 스트림은 복잡도 계층에서 최대 정도를 차지한다. 즉, 모든 다른 스트림이 이 스트림으로 감소될 수 있지만, 반대는 불가능하다.
8. 극한(수프) 존재 여부: 일반적인 집합에 대한 상위(수프) 정도가 존재하지 않을 수 있음을 보인다. 이는 서로 다른 스트림들의 상한을 동시에 만족하는 단일 스트림이 존재하지 않을 때 발생한다.

마지막으로, 논문은 “σ ▷_C τ?”를 판정하는 의사‑알고리즘을 제시한다. 알고리즘은 입력 스트림 σ와 목표 스트림 τ의 유한 접두사와 지역 규칙 후보들을 탐색하며, 전역 업데이트가 τ와 일치하는지를 검증한다. 증명은 알고리즘이 모든 가능한 1CA를 체계적으로 탐색함을 보이며, 결정 가능성을 확보한다.

이러한 결과들은 스트림 복잡도 연구에 새로운 도구를 제공한다. 특히, 1CA 기반의 복잡도 정도는 전통적인 계산 이론(Turing degree)과는 다른 미세한 구분을 가능하게 하며, 동적 시스템 관점에서 스트림을 분석하는 새로운 길을 열었다.