다차원 효과적 S아딕 시스템은 소픽이다

초록

본 논문은 유한한 대체 규칙 집합에서 선택된 효과적인 대체열을 적용해 생성되는 다차원 S아딕 서브시프트가 소픽 서브시프트임을 증명한다. 핵심 아이디어는 Mozes의 비결정론적 대체 이론과 Ho​chman·Aubrun·Sablik의 효과적 서브시프트 구현 결과를 결합해, 선택된 대체열을 1‑차원 효과적 서브시프트로 코딩하고 이를 2‑차원(또는 3‑차원) 소픽 서브시프트로 구현하는 것이다.

상세 분석

논문은 먼저 기호역학에서 기본적인 개념인 전이불변 집합(서브시프트), 유한 유형 서브시프트(SFT), 그리고 SFT의 이미지인 소픽 서브시프트를 정의한다. 다차원 대체(substitution)는 각 알파벳 기호를 일정한 직사각형 패턴으로 교체하는 함수이며, 비퇴화(non‑degenerate) 조건을 만족해야 한다. 저자는 두 종류의 S아딕 서브시프트를 소개한다. 첫 번째는 로컬 S아딕 서브시프트 (T_{\mathcal S}) 로, 이는 모든 유한 패턴이 어떤 기호에 대해 일정한 대체열 (\mathcal S)를 적용해 얻은 패턴에 포함되는 경우를 의미한다. 두 번째는 글로벌 (T’_{\mathcal S}) 로, 이는 임의의 깊이 (n)에 대해 역대체를 통해 현재 구성으로 복원 가능한 경우를 정의한다.

핵심 정리는 “효과적(effective) 대체열”이라면, 즉 그 열이 튜링 기계에 의해 생성 가능한 경우, 해당 S아딕 서브시프트는 소픽이다는 것이다. 이를 보이기 위해 저자는 먼저 Mozes(1989)의 비결정론적 대체 이론을 활용한다. Mozes는 비결정론적 대체 집합이 특정 “속성 A”를 만족하면 생성되는 서브시프트가 소픽임을 증명했으며, 여기서 속성 A는 2×2 블록이 어떤 대체 규칙 선택에 관계없이 일관된 방식으로 확장될 수 있음을 의미한다. 논문은 모든 결정론적 대체 집합이 속성 A를 자동으로 만족한다는 점을 강조한다.

그 다음, 효과적 대체열을 1‑차원 효과적 서브시프트로 코딩한다. Ho​chman(2009)과 Aubrun·Sablik(2010)의 결과에 따르면, 임의의 1‑차원 효과적 서브시프트는 차원을 하나 올린 SFT(또는 소픽 서브시프트)의 팩터와 투사(프로젝션) 연산만으로 구현될 수 있다. 저자는 이를 2‑차원(또는 3‑차원) 소픽 서브시프트에 적용해, 대체열의 선택 정보를 격자 구조 안에 삽입한다. 이 격자 구조는 각 레벨에서 어떤 대체가 선택되었는지를 기록하며, Mozes의 비결정론적 대체 모델과 정확히 일치한다. 따라서 최종적으로 얻어지는 다차원 서브시프트는 Mozes의 정리와 Ho​chman‑Aubrun‑Sablik의 구현 정리를 동시에 만족하므로 소픽임이 보장된다.

또한 논문은 S아딕 서브시프트의 두 변형 (T_{\mathcal S})와 (T’{\mathcal S}) 모두에 대해 동일한 논증이 적용됨을 보여준다. 특히 (T’{\mathcal S})는 역대체가 가능한 모든 구성들을 포함하지만, 효과적 대체열이 주어지면 역대체 과정 역시 위의 격자 코딩에 의해 제한되므로 소픽 서브시프트에 포함된다.

결과적으로, 무한히 많은 대체열 선택이 가능한 일반적인 S아딕 시스템은 소픽이 아니지만, 그 선택이 효과적(재귀적으로 열거 가능)하면 반드시 소픽 서브시프트가 된다. 이는 다차원 기호역학에서 복잡도와 결정 가능성 사이의 경계를 명확히 하는 중요한 정리이며, 기존에 알려진 “모든 다차원 대체 서브시프트는 소픽이다”라는 결과를 효과적 조건으로 일반화한다.