다차원 SFT의 튜링 차수 연구

초록

이 논문은 2차원 서브시프트(또는 타일링)에서 나타나는 튜링 차수들을 조사한다. Π⁰₁ 클래스 P에 대해, P×ℤ²와 재귀적으로 동형인 SFT X를 구성하고, P에 계산 가능한 원소가 있으면 X와 P가 동일한 튜링 차수 집합을 갖는다. 반대로 X에 계산 가능한 원소가 전혀 없을 경우, X의 구성원들 사이에 서로 다른 하지만 비교 가능한 차수가 반드시 존재함을 보인다.

상세 분석

본 논문은 두 차원 SFT(서브시프트 오브 파이니트 타입)의 튜링 차수 구조를 Π⁰₁ 클래스와 직접 연결함으로써, 기존의 메드베데프(Medvedev) 차수 결과를 한 단계 강화한다. 핵심 정리는 다음과 같다. 첫째, 임의의 Π⁰₁ 클래스 P에 대해, P×ℤ²와 재귀적으로 동형인 SFT X를 만들 수 있다. 이를 위해 저자는 원점 제약(origin‑constrained) 타일링을 이용해, Turing 기계의 연산을 평면에 삽입하고, 계산이 진행되는 영역을 격자 형태로 제한한다. 두 번째 주요 결과는 P가 계산 가능한 원소를 포함하면, X와 P가 정확히 같은 튜링 차수 집합을 공유한다는 점이다. 여기서 “같은 차수 집합”이란, 두 집합 안의 모든 원소가 서로 동등한 튜링 차수 관계에 놓인다는 의미이며, 이는 재귀적 동형성(recursive homeomorphism)을 통해 증명된다. 세 번째 결과는 X가 전혀 계산 가능한 구성원을 갖지 않을 때 발생한다. 저자는 이러한 비계산 가능 SFT에서는 반드시 서로 다른 차수를 갖지만, 어느 정도 비교 가능한(≤ₜ 관계에 있는) 차수 쌍이 존재함을 보인다. 이는 모든 Π⁰₁ 클래스가 그런 성질을 갖지는 않으며, 특히 비교 불가능한 차수를 가진 Π⁰₁ 클래스가 존재함을 이용해 반례를 만든다. 논문은 또한 카운터블 Π⁰₁ 클래스가 항상 계산 가능한 원소를 포함한다는 사실을 활용해, 카운터블 SFT의 경우 차수 구조가 완전히 일치함을 결론짓는다. 기술적으로는 “희소 격자(sparse grid)” 타일셋을 설계해, 격자 외부의 모든 점이 최대 하나의 검은 선 교차만을 갖도록 함으로써, 비계산 가능한 구성원들이 격자 내부에만 제한되도록 만든다. 이 타일셋은 제한된 수의 비동형점만을 가지며, 따라서 전체 SFT는 카운터블이며 Cantor‑Bendixson 순위가 1인 점을 제외하고는 모두 격자 구조에 의해 제어된다. 이러한 정교한 타일링 기법은 기존의 Myers 혹은 Hanf 방식보다 강력하게 원점 제약을 구현하고, 원래 Π⁰₁ 클래스와 정확히 일치하는 튜링 차수 집합을 보장한다. 최종적으로 논문은 2차원 SFT와 Π⁰₁ 클래스 사이의 차수 대응 관계를 완전하게 규명함으로써, 동적 시스템과 계산 이론 사이의 교차점을 명확히 제시한다.