[논문 리뷰] On the automorphism group of minimal S-adic subshifts of finite alphabet rank

Bastíán Espinoza, Alejandro Maass|arXiv (Cornell University)|2020. 08. 13.

semigroups and automata theory참고 문헌 12인용 수 4

한 줄 요약

이 논문은 유한 알파벳 랭크를 가진 최소 S-adic 하위역동계의 자기동형군이 가상으로 ℤ임을 증명한다. 이는 이전의 저복잡도 하위역동계에 대한 결과를 일반화한 것이다. 증명은 이러한 시스템이 유한한 점근적 클래스를 가지며, 이는 자기동형군의 대수적 구조가 유한 순환군임을 제약함으로써 이루어진다.

ABSTRACT

It has been recently proved that the automorphism group of a minimal subshift with non-superlinear word complexity is virtually $\mathbb{Z}$ [DDPM15, CK15]. In this article we extend this result to a broader class proving that the automorphism group of a minimal S-adic subshift of finite alphabet rank is virtually $\mathbb{Z}$. The proof is based on a fine combinatorial analysis of the asymptotic classes in this type of subshifts, which we prove are a finite number.

연구 동기 및 목표

• 비초선형 복잡도를 가진 최소 하위역동계의 자기동형군이 가상으로 ℤ임을 증명한 결과를 더 넓은 범주로 일반화하기 위해.
• 유한 알파벳 랭크를 가진 최소 S-adic 하위역동계의 자기동형군의 구조를 연구하기 위해.
• S-adic 하위역동계에서의 유한한 점근적 클래스가 자기동형군의 가상 순환성으로 이어짐을 확립하기 위해.
• 저복잡도 하위역동계에 대한 기존 결과를 통합하고 확장하기 위해, 이는 치환 시스템, 선형적으로 재귀적인 시스템, 간격 교환 변환의 기호적 코딩을 포함한다.

제안 방법

• 단어의 구조와 분해에 대한 조합 기법을 사용하여 S-adic 하위역동계의 점근적 클래스를 분석하기 위해.
• 다른 초기 기호를 가진 분해 가능 시퀀스에 대해, 가능한 왼쪽으로 닫히는 접두어의 수에 대한 유한한 상한(길이 ⟨W⟩)을 사용하기 위해.
• DDMP16에서 제시된 점근적 클래스 논증의 개선된 버전을 적용하여, 유한한 점근적 클래스가 가상으로 ℤ인 자기동형군을 암시함을 보여주기 위해.
• 지시 시퀀스가 전반적으로 증가하고 유한한 알파벳 랭크를 가진다는 사실이 점근적 클래스의 유한성을 보장함을 증명하기 위해.
• 유도된 단어의 주기성에 기반한 추론을 사용하여, 최소 주기와 접두사-접미사 관계를 통해 자기동형의 구조를 제약하기 위해.
• 인식 가능하고, 원시적이며, 적절한 S-adic 시스템의 성질을 활용하여 자기동형군 내의 구조적 강성(rigidity)을 확보하기 위해.

실험 결과

연구 질문

• RQ1 유한 알파벳 랭크를 가진 최소 S-adic 하위역동계의 자기동형군은 비초선형 복잡도 하위역동계의 경우와 마찬가지로 가상으로 ℤ인가?
• RQ2 유한 알파벳 랭크를 가진 S-adic 하위역동계에서 점근적 클래스는 최대 몇 개인가? 이 수는 균일하게 유계가 되는가?
• RQ3 유한 알파벳 랭크를 가진 S-adic 시스템의 조합적 구조를 활용하여 그 자기동형군의 대수적 구조를 제약할 수 있는가?
• RQ4 저복잡도 하위역동계의 자기동형군에 대한 결과들이 유한 위상 랭크를 가진 더 넓은 범주인 S-adic 하위역동계로 얼마나 일반화되는가?
• RQ5 지시 시퀀스에 어떤 조건이 성립하면 자기동형군이 단지 가상으로 ℤ일 뿐 아니라 유한 생성되기도 하는가?

주요 결과

• 유한 알파벳 랭크를 가진 모든 최소 S-adic 하위역동계의 자기동형군은 가상으로 ℤ이다.
• 이러한 시스템에서 점근적 클래스의 수는 유한하며, 이 유한성은 군의 가상 순환성의 핵심 요소이다.
• 다른 초기 기호를 가진 분해 가능 시퀀스에 대해, 길이 ⟨W⟩의 가능한 왼쪽으로 닫히는 접두어의 수에 대한 균일한 상한으로서 122(|W|)^7 이하의 값이 존재한다.
• 증명은 자기동형군이 이동과 유한군에 의해 생성됨을 보여주며, 이는 Aut(X,T)/⟨T⟩ 가 유한함을 의미한다.
• 이 결과는 모든 유한 위상 랭크를 가진 최소 S-adic 하위역동계에 적용되며, 치환 하위역동계, 선형적으로 재귀적인 시스템, 간격 교환 변환의 기호적 코딩을 포함한다.
• 이 정리는 이전의 비초선형 복잡도 하위역동계에 대한 결과를 확장하며, 유한 랭크 브라텔리-버쉬크 시스템의 수준 하위역동계와 그 기호적 인자들 또한 포함한다.