[논문 리뷰] The Ellis Semigroup of a Generalised Morse System

Petra Staynova|arXiv (Cornell University)|2017. 11. 28.

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

한 줄 요약

이 논문은 Haddad와 Johnson의 2기수 일반화 모스 시스템의 엘리스 반군에 대한 결과를 임의의 유한 알파벳으로 일반화하며, 치환 시스템을 사용하여 최대 등지속성 인식 요소로의 거의 일대일(Almost One-to-One, AI) 확장을 새롭게 구성한다. 이는 그들의 증명에서 핵심적인 오류를 수정하기 위해 IP 집합의 클러스터 점에 관한 핵심 명제에 반례를 제시함으로써 이루어지며, 엘리스 반군의 구조를 완전히 규명하여 각각 두 개의 이드포텐트를 포함하는 두 개의 최소 이상이 존재함을 보여준다.

ABSTRACT

In this article, we calculate the Ellis semigroup of a certain class of constant length substitutions. This generalises a result of Haddad and Johnson [HJ97] from the binary case to substitutions over arbitrarily large finite alphabets. Moreover, we provide a class of counter-examples to one of the propositions in their paper, which is central to the proof of their main theorem. We give an alternative approach to their result, which centers on the properties of the Ellis semigroup. To do this, we also show a new way to construct an AI tower to the maximal equicontinuous factor of these systems, which gives a more particular approach than the one given by Dekking [Dek78].

연구 동기 및 목표

• Haddad와 Johnson의 2기수 일반화 모스 시스템의 엘리스 반군 결과를 임의의 유한 알파벳에 대한 치환으로 확장한다.
• Haddad와 Johnson의 증명에서 발생한 핵심적인 오류를 규명하고, 특히 IP 클러스터 점에 관한 잘못된 명제를 수정한다.
• 치환 시스템과 슬라이딩 블록 코드를 사용하여 최대 등지속성 인식 요소로의 새로운 직접적 구성 방법을 제공한다.
• 일정 길이 치환 시스템의 엘리스 반군의 구조를 완전히 규명하며, 각각 두 개의 이드포텐트를 포함하는 두 개의 최소 이상을 식별한다.

제안 방법

• Auslander-Ellis 정리에서 유도된 IP 클러스터 점과 이드포텐트 이론을 응용하여 엘리스 반군의 구조를 분석한다.
• 최대 등지속성 인식 요소로의 새로운 중간 치환 시스템을 구성함으로써 AI 확장을 일반화한다. 이는 Dekking의 방법을 확장한 것이다.
• 기수 $r$의 자릿수 합 기준을 사용하여 반복 치환에 따른 점의 상을 결정함으로써 극한점의 명시적 계산을 가능하게 한다.
• Coven와 Keane의 결과를 이진 일정 길이 치환에서의 등지속성 타워 구조에 적용하여 일반적인 경우로 확장한다.
• 생성 집합 $P = \{m \in \mathbb{Z} : m < 0\} \cup \{pr^{2m} : m \in \mathbb{N}\}$을 사용한 새로운 반례 구성 방법을 통해 Haddad와 Johnson의 핵심 명제를 반증한다.
• 엘리스 반군과 디스타르 시스템의 성질을 활용하여 IP 클러스터 점에 의존하지 않고도 이드포텐트와 최소 이상을 검증한다.

실험 결과

연구 질문

• RQ1 임의의 유한 알파벳에서의 일정 길이 치환에 대해 엘리스 반군의 구조는 Haddad와 Johnson이 연구한 이진 경우와 동일한가?
• RQ2 Haddad와 Johnson의 논문에서 $\mathbb{N}$-카스케이드의 IP 클러스터 점이 $\mathbb{Z}$-카스케이드로 확장된다는 것을 연결하는 핵심 명제는 일반적인 치환에 대해 유효한가?
• RQ3 치환 시스템과 슬라이딩 블록 코드를 사용하여 최대 등지속성 인식 요소로의 새로운 명시적 AI 확장을 구성할 수 있는가?
• RQ4 일정 길이 치환의 엘리스 반군의 완전한 구조는 무엇인가? 특히 최소 이상의 수와 성격, 이드포텐트의 수를 포함하여 규명한다.
• RQ5 모든 연속적인 이진 치환은 Haddad와 Johnson의 핵심 명제에 대한 반례가 되는가? 본 논문에서 이를 입증하였다.

주요 결과

• 임의의 유한 알파벳에서의 일정 길이 치환에 대해 엘리스 반군은 정확히 두 개의 최소 이상을 가지며, 각각 두 개의 이드포텐트를 포함한다.
• 이 논문은 Haddad와 Johnson의 핵심 명제에 대한 반례를 제시하여, $\mathbb{N}$-카스케이드에서의 IP 클러스터 점이 주장한 바와 같이 $\mathbb{Z}$-카스케이드로 반드시 확장되지 않음을 보여준다.
• 중간 치환 시스템과 슬라이딩 블록 코드를 정의함으로써 최대 등지속성 인식 요소로의 명시적 AI 확장을 달성한다.
• 이드포텐트 $g_1$은 $P^+ = \{pr^{2m} : m \in \mathbb{N}\}$에 沿해 IP 클러스터 점이 아니며, 이는 $\mathbb{Z}$-카스케이드의 경우에 대한 명제의 주장이 잘못되었음을 반증한다.
• 모든 연속적인 이진 치환은 Haddad와 Johnson의 명제에 대한 반례가 되며, 이 오류는 특정 사례에 국한되지 않음을 입증한다.
• 새로운 AI 확장 접근법은 Dekking의 일반적 방법보다 더 명시적이고 구조적인 대안을 제공하며, 기수 $r$의 자릿수 합에 기반한 명시적 대수 조건을 포함한다.