[논문 리뷰] Hierarchy and Expansiveness in Two-Dimensional Subshifts of Finite Type

Charalampos Zinoviadis|arXiv (Cornell University)|2016. 03. 17.

Cellular Automata and Applications참고 문헌 30인용 수 4

한 줄 요약

이 논문은 전개하는 하위역학의 관점에서 이차원 유한형 부분격자(2D SFTs)를 조사하며, '매우 전개성' SFTs—즉, 유일한 비전개성 방향을 가진 SFTs—의 개념을 도입한다. Gács 및 다른 이들의 영감을 받은 계층적이고 자기유사적인 구조를 사용하여, 매우 전개성 SFTs가 일반적인 2D SFTs의 전체 계산 복잡성을 반영함을 증명한다. 이는 빈도 문제의 결정 불가능성과 비주기적 예제의 존재를 포함한다.

ABSTRACT

Using a deterministic version of the self-similar (or hierarchical, or fixed-point ) method for constructing 2-dimensional subshifts of finite type (SFTs), we construct aperiodic 2D SFTs with a unique direction of non-expansiveness and prove that the emptiness problem of SFTs is undecidable even in this restricted case. As an additional application of our method, we characterize the sets of directions that can be the set of non-expansive directions of 2D SFTs.

연구 동기 및 목표

• 이차원 부분격자 유형(SFTs)의 계산적 및 기하학적 행동을 전개하는 하위역학을 통해 이해하기.
• 전개성 방향이 이차원 SFTs의 복잡성 결정에 미치는 역할을 조사하기.
• 정확히 하나의 비전개성 방향을 가진 '매우 전개성 SFTs' 클래스가 일반적인 2D SFTs에서 관찰되는 전반적인 행동 범위를 나타내는지 판단하기.
• 계산 가능한 이차원 SFTs의 수열에 대해 전개성 방향을 가진 보편 시뮬레이터의 존재를 확립하기.
• 이차원 SFTs의 비전개성 방향 집합의 가능한 형태를 특성화하기.

제안 방법

• Gács, Durand, Romashchenko, Shen 등이 이전에 개발한 계층적이고 자기유사적인(고정점 기반) 방법을 사용하여 2D SFTs를 구성한다.
• 특히 중첩 및 명시적 시뮬레이션을 포함한 SFTs 간의 시뮬레이션 개념을 적용하여 서로 다른 SFTs와 그 역학적 성질을 연결한다.
• 주소 및 시계 필드를 갖는 셀룰러 오토마타 규칙 기반 프로그래밍 언어를 사용하여 SFTs 내부에서 튜링 기계 계산을 시뮬레이션한다.
• 주기적 행동을 모델링하고 구성 구조에 제약 조건을 부과하기 위해 IPPA(Infinite Periodic Pattern Automaton)의 개념을 정의하고 사용한다.
• Medvedev 도수 이론을 적용하여 모든 Medvedev 클래스에 매우 전개성 SFTs가 포함됨을 보여준다.
• 위상적 및 역학적 정의를 사용하여 전개성의 개념을 정의하며, 한 방향이 전개성임은 직선 위의 유한 패턴이 전체 구성 상태를 유일하게 결정함을 의미한다.

실험 결과

연구 질문

• RQ1 매우 전개성 2D SFTs는 일반적인 2D SFTs의 모든 행동—결정 불가능성과 비주기성 포함—을 시뮬레이션할 수 있는가?
• RQ2 이차원 SFTs의 비전개성 방향 집합은 어떤 것이 가능한가? 그리고 이를 특성화할 수 있는가?
• RQ3 빈도 문제의 결정 불가능성은 매우 전개성 2D SFTs 클래스로 제한된 경우에도 유지되는가?
• RQ4 모든 Medvedev 클래스는 매우 전개성 2D SFTs로 표현될 수 있는가?
• RQ5 계산 가능한 이차원 SFTs의 수열에 대해 전개성 방향을 가진 보편적인 2D SFT가 존재하는가? 이는 명시적 시뮬레이션을 통해 수열의 모든 원소를 시뮬레이션할 수 있는가?

주요 결과

• 비주기적인 매우 전개성 2D SFT가 존재함을 보여주며, 이는 단 하나의 비전개성 방향이 존재하는 상황에서도 비주기성이 달성될 수 있음을 시사한다.
• 매우 전개성 2D SFTs 클래스에 대해 빈도 문제의 결정 불가능성이 입증되어, 이 하위집합이 일반적인 2D SFTs의 전체 결정 불가능성을 그대로 계승함을 보여준다.
• 모든 Medvedev 클래스에 매우 전개성 2D SFTs가 포함되며, 이는 이 클래스가 Medvedev 계층에서의 모든 수준의 계산 복잡성 수준을 포괄할 수 있음을 나타낸다.
• 이차원 SFTs의 비전개성 방향 집합은 유리 기울기를 포함하고, 특정 위상 조건을 만족하는 임의의 부분집합일 수 있으며, 이러한 집합은 완전히 특성화될 수 있다.
• 모든 계산 가능한 이차원 SFTs의 수열에 대해 전개성 방향을 가진 보편적인 2D SFT가 존재하며, 이는 명시적 시뮬레이션을 통해 수열의 모든 원소를 시뮬레이션할 수 있다.