계산 복잡도와 서브패턴 구조를 가진 가산 2차원 SFT 연구

초록

이 논문은 가산인 2차원 전이제한 집합(SFT)과 그보다 일반적인 서브시프트의 위상적 파생과 서브패턴 순서 구조를 탐구한다. 주요 결과로는 파생 연산을 반복했을 때 계산 복잡도가 최고 수준에 도달하는 SFT, 무한 하강 사슬을 포함하는 소픽스(Sofic) 시프트, 임의의 유한 부분 순서를 실현할 수 있는 SFT들의 가족, 그리고 무한한 칸토어-벤디킨 순위를 갖는 자연스러운 SFT의 예시가 제시된다.

상세 분석

논문은 먼저 가산 서브시프트의 위상적 파생(derivative) 개념을 정밀히 정의하고, 파생 연산을 반복함에 따라 발생하는 칸토어-벤디킨 계층을 분석한다. 특히 2차원 SFT에 대해 파생을 무한히 적용했을 때 얻어지는 언어가 재귀열(Π₁⁰) 이상의 복잡성을 가질 수 있음을 보인다. 이를 위해 저자들은 격자 위에 복잡한 계산 과정을 인코딩하는 타일링 규칙을 설계했으며, 각 파생 단계마다 새로운 제한이 추가되어 언어의 복잡도가 단계적으로 상승한다. 결과적으로 해당 SFT의 ω-반복 파생은 모든 재귀열을 포함하는 완전한 Π₁⁰ 집합과 동형이 된다.

다음으로 서브패턴(poset) 구조에 주목한다. 서브패턴 순서는 두 구성 패턴 사이에 포함 관계가 존재할 때 정의되는 부분 순서이며, 이는 서브시프트의 구조적 복잡성을 측정하는 도구로 활용된다. 논문은 소픽스 시프트를 구성하여 이 순서가 무한한 하강 사슬을 포함하도록 만든다. 구체적으로, 격자에 점진적으로 더 작은 패턴을 삽입하는 규칙을 도입해, 각 패턴이 이전 패턴을 엄격히 포함하면서도 무한히 내려가는 사슬을 형성한다. 이는 가산 서브시프트에서도 서브패턴 순서가 복잡한 구조를 가질 수 있음을 보여준다.

또한, 임의의 유한 부분 순서를 실현할 수 있는 SFT들의 가족을 구축한다. 저자들은 유한 그래프를 기반으로 한 “패턴 블록”을 정의하고, 각 블록 사이에 지정된 포함 관계를 타일링 규칙으로 변환한다. 이 과정을 통해 원하는 유한 포지션을 정확히 재현하는 SFT를 얻으며, 이는 서브패턴 포지션이 어떤 유한 포지션도 표현 가능함을 증명한다.

마지막으로, 무한 칸토어-벤디킨 순위를 갖는 자연스러운 SFT 예시를 제시한다. 여기서는 셀룰러 오토마톤의 동작을 격자에 구현하고, 그 동작이 무한히 반복되는 동안 새로운 파생이 계속 발생하도록 설계한다. 결과적으로 파생 과정을 무한히 진행해도 더 이상 새로운 점이 사라지지 않는 단계에 도달하지 않으며, 이는 해당 SFT의 칸토어-벤디킨 순위가 무한함을 의미한다. 전체적으로 논문은 가산 2차원 SFT와 소픽스 시프트가 위상적·계산적 복잡성 측면에서 매우 풍부한 구조를 가질 수 있음을 다양한 구성 예시와 정밀한 증명을 통해 보여준다.