1차원 효과적 폐쇄 서브시프트를 2차원 타일링으로 구현하기

초록

본 논문은 1차원에서 효과적으로 폐쇄된 서브시프트를 2차원 제한된 타일 집합(SFT)으로 시뮬레이션할 수 있음을 보이며, 이를 위한 두 가지 독립적인 방법—레빈 전통을 잇는 Aubrun‑Sablik 접근법과 가츠의 고정점 아이디어를 활용한 Durand‑Romashchenko‑Shen 접근법—을 비교·분석한다.

상세 분석

논문은 먼저 1차원 효과적 폐쇄 서브시프트(Forbidden set F가 가산인 문자열 집합)와 2차원 SFT(타일 집합 τ에 의해 정의되는 평면 타일링)의 기본 개념을 정리한다. Michael Hochman이 3차원에서 이러한 시뮬레이션이 가능함을 증명한 뒤, 2차원에서도 동일한 결과가 성립한다는 질문을 제기한다. 핵심 정리(Theorem 1.1)는 임의의 1차원 효과적 폐쇄 서브시프트 S에 대해, 확장된 알파벳 A′와 2차원 SFT S′, 그리고 사상 d:A′→A가 존재해 d(S′)=(\overline{S}) (즉, 각 문자 a∈A를 수직으로 복제한 2차원 서브시프트)임을 보인다.

이를 구현하기 위해서는 평면 전체에 계산을 삽입해야 하는데, 타일링 이론에서 이미 알려진 “대칭 깨기” 기법이 필요하다. Berger의 비주기 타일 집합과 Robinson이 정형화한 자기유사(self‑similar) 구조는 무한히 많은 계산 영역을 생성하고, 각 영역에서 튜링 기계 혹은 셀룰러 오토마톤을 실행하도록 만든다. 그러나 단순히 여러 복제된 계산을 배치하는 것만으로는 입력(수직선에 기록된 A‑문자열)을 전역적으로 검증하기에 충분치 않다.

첫 번째 접근법(Aubrun‑Sablik)은 Levin이 제시한 “레벨별 스트립” 설계에 기반한다. 자기유사 타일링의 각 레벨마다 무한히 긴 수직 스트립을 만들고, 그 안에서 제한된 공간·시간 내에 부분 문자열을 검사한다. 레벨이 높아질수록 스트립의 폭과 검사 구간이 확대되어 결국 모든 금지 문자열을 차단한다. 이 방법은 복잡도 측면에서 Kolmogorov 복잡도가 낮은 문자열을 차단하는 특정 서브시프트에 처음 적용되었지만, 일반적인 효과적 폐쇄 서브시프트에도 확장 가능하도록 추가적인 “중복 책임 구역”을 도입한다.

두 번째 접근법(Durand‑Romashchenko‑Shen)은 고전적인 Kleene 고정점 정리를 2차원 타일링에 옮긴다. 먼저 임의의 타일 집합 τ에 대해 매크로‑타일 τ′를 구성해 매크로‑타일이 τ와 동일한 동작을 강제한다. 그런 다음 고정점 트릭을 이용해 τ와 τ′를 동형시켜, 타일 자체가 자신의 매크로‑구조를 복제하도록 만든다. 이 고정점 타일링은 각 매크로‑타일 안에 독립적인 계산 모듈을 삽입할 수 있게 하며, 입력 비트를 계층적으로 전달하고 검증한다. 결과적으로 모든 레벨에서 유한한 시간·공간 내에 부분 문자열 검사를 수행하면서도, 전체 평면에 걸쳐 일관된 입력 흐름을 유지한다.

두 방법을 비교하면, Aubrun‑Sablik 방식은 기하학적 자기유사성을 이용해 “땅 위에서” 계산을 전개하고, 레벨마다 책임 구역을 겹치게 함으로써 비정상적인 경우에도 대응한다. 반면 고정점 방식은 계산 구조 자체를 타일에 내재시켜 “고정점 매크로‑타일”을 형성하고, 레벨 간 전파를 프로그램적(재귀적)으로 구현한다. 전자는 구현이 직관적이지만 복잡한 겹침 관리가 필요하고, 후자는 이론적으로 깔끔하지만 고정점 구성을 위한 추가 설계가 요구된다.

결과적으로 논문은 2차원 SFT가 1차원 효과적 폐쇄 서브시프트를 완전하게 시뮬레이션할 수 있음을 두 가지 독립적인 도구 체계로 증명하고, 각 도구의 장·단점을 명확히 제시함으로써 향후 고차원 서브시프트 시뮬레이션 연구에 중요한 토대를 제공한다.