[論文レビュー] The Ellis Semigroup of a Generalised Morse System

Petra Staynova|arXiv (Cornell University)|Nov 28, 2017

semigroups and automata theory参考文献 18被引用数 4

ひとこと要約

本稿は、HaddadとJohnsonの二進一般化モース系のエリス半群に関する結果を、任意の有限アルファベットへ一般化し、置換系を用いて最大等連続因子へのほぼ一対一（AI）拡張の新しい構成を提供する。彼らの証明における重大な誤りを是正し、IPクラスタ点に関する鍵となる命題に対して反例を提示する。エリス半群構造を完全に特徴付け、それぞれに2つのイデムポテン要素を含む2つの極小イデアルを示している。

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の二進一般化モース系のエリス半群に関する結果を、任意の有限アルファベットにおける置換へ拡張すること。
• HaddadとJohnsonの証明における重大な誤りを特定・是正すること、特にIPクラスタ点に関する誤った命題を特定すること。
• 置換系とスライディングブロック符号を用いて、最大等連続因子への新しい直接的構成法によるほぼ一対一（AI）拡張を提供すること。
• 定長置換系のエリス半群構造を完全に特徴付け、極小イデアルが2つあり、それぞれが2つのイデムポテン要素を含むことの特定

提案手法

• アウスランダー＝エリスの定理における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の鍵となる命題の反例となり得るのか？

主な発見

• 任意の有限アルファベットにおける定長置換のエリス半群は、正確に2つの極小イデアルを持ち、それぞれが2つのイデムポテン要素を含む。
• 本稿は、HaddadとJohnsonの鍵となる命題に対する反例を提示し、$\mathbb{N}$-カスケードにおけるIPクラスタ点が、彼らの主張のように$\mathbb{Z}$-カスケードに必ずしも拡張されないことを示している。
• 中間置換系とスライディングブロック符号を定義することで、最大等連続因子へのAI拡張の明示的構成が達成された。
• イデムポテン要素$g_1$はIP集合$P^+ = \{pr^{2m} : m \in \mathbb{N}\}$に沿ったIPクラスタ点ではないため、$\mathbb{Z}$-カスケードの場合の命題の主張は反証された。
• すべての連続的二進置換がHaddadとJohnsonの命題の反例となり、誤りは特定のケースに限らないことが示された。
• 本稿のAI拡張への新しいアプローチは、Dekkingの一般的手法に代わるより明確で構成的な代替手段を提供し、基数$r$の桁和に基づく明示的な代数的条件を備えている。