[논문 리뷰] Decidability of the isomorphism and the factorization between minimal substitution subshifts

Fabien Durand, Julien Leroy|arXiv (Cornell University)|2018. 06. 13.

semigroups and automata theory참고 문헌 60인용 수 14

한 줄 요약

이 논문은 최소 치환 서브시프트 간의 동형과 인수분해의 결정 가능성을 입증함으로써, 이러한 시스템 간의 임의의 인수 사상이 유한 반경의 슬라이딩 블록 코드와 이격의 거듭제곱의 조합과 성질적으로 동일하다는 것을 보였다. 핵심 기여는 이러한 코드의 반경에 대한 계산 가능한 상한 R을 도출한 것으로, 이는 동형과 인수분해에 대한 알고리즘적 결론 절차를 가능하게 한다.

ABSTRACT

Classification is a central problem for dynamical systems, in particular for families that arise in a wide range of topics, like substitution subshifts. It is important to be able to distinguish whether two such subshifts are isomorphic, but the existing invariants are not sufficient for this purpose. We first show that given two minimal substitution subshifts, there exists a computable constant $R$ such that any factor map between these subshifts (if any) is the composition of a factor map with a radius smaller than $R$ and some power of the shift map. Then we prove that it is decidable to check whether a given sliding block code is a factor map between two prescribed minimal substitution subshifts. As a consequence of these two results, we provide an algorithm that, given two minimal substitution subshifts, decides whether one is a factor of the other and, as a straightforward corollary, whether they are isomorphic.

연구 동기 및 목표

• 기호 동역학에서 오랫동안 미해결된 문제였던 최소 치환 서브시프트 간의 동형과 인수분해의 결정 가능성을 해결하기 위해.
• 일정 길이 치환에 대한 이전 결과를 더 넓은 범주인 비주기적 최소 모르픽 서브시프트로 확장하기 위해.
• 유한 반경 슬라이딩 블록 코드와 이격의 거듭제곱을 이용한 인수 사상과 동형의 구성적 특성화를 제공하기 위해.
• 최소 치환 서브시프트의 자동화군이 유한 차수의 ℤ를 갖는 유사적 구조를 이루며, 이를 계산 가능한 방식으로 규명하기 위해.
• 모르픽 수열의 맥락에서 궤도 동치성과 서브시프트 인수분해에 대한 미해결 질문들을 다루기 위해.

제안 방법

• 두 최소 치환 서브시프트 간의 임의의 인수 사상이 계산 가능한 상한 R에 의해 제한된 반경의 슬라이딩 블록 코드를 통해 인수화됨을 증명한다.
• 반복 정규화 과정을 활용하여 인수 사상의 반경을 줄이며, 일정 길이 서브시프트에서의 이전 결과를 일반적인 최소 치환 서브시프트로 일반화한다.
• 인식 가능성과 균일하게 반복되는 모르픽 언어의 구조를 활용하여 가능한 인수 사상의 복잡도를 제한한다.
• 프레스버거 산술과 D0L 등가성에 기반한 모르픽 언어 포함 및 등가성의 결정 가능성을 적용하여 인수 사상 조건을 검증한다.
• 주어진 슬라이딩 블록 코드가 두 주어진 최소 치환 서브시프트 간의 유효한 인수 사상인지 확인하는 알고리즘을 구축한다.
• 유한 반경 코드에 대한 전수 검색을 통해 반경 제한 결과와 알고리즘 검증을 통합하여 동형과 인수분해를 결정한다.

실험 결과

연구 질문

• RQ1 두 최소 치환 서브시프트가 동형인지 여부가 결정 가능한가?
• RQ2 두 최소 치환 서브시프트 사이에 인수 사상이 존재하는지 알고리즘적으로 결정할 수 있는가?
• RQ3 모든 최소 치환 서브시프트 간의 인수 사상들을 표현하는 데 사용되는 슬라이딩 블록 코드의 반경에 대해 통일된 계산 가능한 상한 R이 존재하는가?
• RQ4 주어진 최소 모르픽 서브시프트의 모든 비주기적 인수 서브시프트 집합을 알고리즘적으로 계산할 수 있는가?
• RQ5 최소 치환 서브시프트에 대해 궤도 동치성이 결정 가능한가, 그리고 이는 동형과 어떻게 관련이 있는가?

주요 결과

• 모든 최소 치환 서브시프트 간의 인수 사상은 반경이 R 이하인 슬라이딩 블록 코드와 이격의 거듭제곱의 조합을 통해 인수화됨을 보장하는 계산 가능한 상수 R이 존재한다.
• 주어진 슬라이딩 블록 코드가 두 최소 치환 서브시프트 간의 유효한 인수 사상인지 여부는 결정 가능하다.
• 반경 제한 인수화와 효과적인 검증의 직접적 결과로서, 최소 치환 서브시프트 간의 동형 문제는 결정 가능하다.
• 동일한 알고리즘 프레임워크를 통해, 한 최소 치환 서브시프트가 다른 서브시프트의 인수인지 여부를 결정할 수 있다.
• 모든 최소 치환 서브시프트의 자동화군은 유한 개의 비이격 자동화를 가지며, 이를 효과적으로 계산할 수 있다.
• 이 결과는 일정 길이 치환에 대한 이전의 결정 가능성 결과를 전적으로 비주기적 최소 모르픽 서브시프트의 전체 범주로 확장하며, 살로와 토르마의 작업을 일반화한다.