[논문 리뷰] Aperiodic Points in Z²-subshifts

Grandjean, Anael, Hellouin de Menibus, Benjamin외 1명|arXiv (Cornell University)|2018. 01. 01.

Cellular Automata and Applications참고 문헌 19인용 수 6

한 줄 요약

이 논문은 두 차원 부분격자(subshifts)의 구조적 및 조합적 성질을 분석하기 위해 두 가지 도구를 사용한다: 패턴 기반 전순서(pre-order) ⪯와 캔터-벤디크슨 차수(Cantor-Bendixson rank). 이는 가산 SFTs에서 가장 단순한 패턴 구성 요소를 가진 비순환 구성(configuration)이 항상 존재함을 증명하고, 금지된 패턴을 통한 비가산 부분격자의 특성화를 제시하며, 특정한 캔터-벤디크슨 차수(특히 극한 순서수 λ에 대해 λ+2인 경우)가 불가능함을 보여주어, 가산 SFTs의 가능한 차수를 몇 가지 해결되지 않은 케이스로 좁힘.

ABSTRACT

We consider the structure of aperiodic points in Z^2-subshifts, and in particular the positions at which they fail to be periodic. We prove that if a Z^2-subshift contains points whose smallest period is arbitrarily large, then it contains an aperiodic point. This lets us characterise the computational difficulty of deciding if an Z^2-subshift of finite type contains an aperiodic point. Another consequence is that Z^2-subshifts with no aperiodic point have a very strong dynamical structure and are almost topologically conjugate to some Z-subshift. Finally, we use this result to characterize sets of possible slopes of periodicity for Z^3-subshifts of finite type.

연구 동기 및 목표

• 다차원 부분격자, 특히 두 차원에서 구성의 구조적 및 조합적 성질을 이해하는 것.
• 유한형 부분격자(SFTs)의 가산 부분격자에서 가장 단순한 비순환 구성(configuration)을 특성화하는 것.
• 패턴 기반 언어 성질을 사용하여 부분격자에서의 비가산성의 원인을 규명하는 것.
• 가산 SFTs의 캔터-벤디크슨 차수의 가능한 값들을 조사하고, 특정한 무한한 차수 클래스를 제거하는 것.

제안 방법

• 모든 유한 패턴이 y에 포함되어 있을 경우 x ⪯ y가 되는 패턴 포함 기반 전순서 관계 ⪯ 사용.
• 부분격자의 위상적 복잡성 분석을 위해 캔터-벤디크슨 유도 과정 적용.
• 위상적 및 조합적 추론을 통해 부분격자는 유한, 가산 무한, 또는 비가산임을 증명.
• 부분격자에서의 순환성 문제를 일차원 투영으로 환원하고, 극한에 대한 닫힘 성질을 활용.
• 금지된 패턴으로부터 SFTs를 구성하고, 특정한 순환성을 가진 구성(configuration)을 반복 제거함으로써 파생된 부분격자를 분석.
• 콤���트성 추론과 순서수 초월 귀납법(transfinite induction)을 사용하여 불가능한 캔터-벤디크슨 차수에 모순을 이끌어냄.

실험 결과

연구 질문

• RQ1 가산 SFTs에서 비순환 구성(configuration)의 최소 조합적 복잡도는 무엇인가?
• RQ2 어떤 구성(configuration)이 부분격자의 비가산성을 유도하는가?
• RQ3 가산 SFTs에서 실현 가능한 캔터-벤디크슨 차수는 무엇이며, 어떤 것은 배제되는가?
• RQ4 전순서 ⪯는 구성(configuration)의 패턴 구성(content)을 위상적 복잡성과 반영하는 방식으로 구성(configuration)을 분류하는 데 사용될 수 있는가?
• RQ5 복잡도 함수 Cm,n(c)와 구성(configuration)의 캔터-벤디크슨 차수 또는 ⪯-레벨 사이에 연결 고리가 존재하는가?

주요 결과

• 모든 가산 SFTs에서, 비순환 구성(configuration) 중에서 전순서 ⪯에 대해 최소인 구성(configuration)이 항상 존재한다. 즉, 비순환 구성(configuration) 중에서 가능한 한 적은 수의 패턴을 포함한다.
• 부분격자가 비가산임은 그 안에 포함된 구성(configuration)의 언어가 특정한 금지 패턴 집합을 포함하고, 이로 인해 비가산하게 확장 가능한 경우에 국한된다.
• 가산 SFTs의 캔터-벤디크슨 차수는 어떤 극한 순서수 λ에 대해서도 λ+2가 될 수 없다. 이는 큰 범주의 가능한 차수를 제거한다.
• 가산 SFTs의 λ번째 파생 부분격자에 속하는 모든 구성(configuration)은 적어도 한 방향으로는 순환적이다. 또한, 가능한 주기의 집합은 이동에 대해 유한하다.
• 가산 SFTs의 최소 비순환 구성(configuration)은 패턴 포함에 대해 닫혀 있고, 어떤 순환 구성(configuration)과도 동치가 아니다.
• 구성(configuration) c의 ⪯-레벨 0에서의 복잡도 함수 Cm,n(c)는 일정하며, 레벨 1에서는 선형이고, 레벨 2에서는 이차함수이다. 이는 조합적 복잡성과 위상적 차수 사이에 구조적 연결 고리가 있음을 시사한다.