[论文解读] The Ellis Semigroup of a Generalised Morse System

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

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

一句话总结

本文将 Haddad 和 Johnson 关于二元广义 Morse 系统的 Ellis 半群结果推广到任意有限字母表，通过替换系统构造了一种新的几乎一一（AI）扩张至最大等度连续因子。本文通过构造反例纠正了其证明中的一个关键错误，即对 IP 聚点的关键命题提出质疑，并完全刻画了 Ellis 半群结构，表明存在两个极小理想，每个理想包含两个幂等元。

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 关于二元广义 Morse 系统的 Ellis 半群结果推广至任意有限字母表上的替换系统。
• 识别并纠正 Haddad 和 Johnson 证明中的关键错误，特别是关于 IP 聚点的有缺陷命题。
• 通过替换系统和滑动块编码，提供一种新的、直接的几乎一一（AI）扩张构造，用于最大等度连续因子。
• 完全刻画常长度替换系统的 Ellis 半群结构，识别出两个极小理想，每个理想包含两个幂等元。

提出的方法

• 将 Auslander-Ellis 定理中的 IP 聚点与幂等元理论应用于分析 Ellis 半群结构。
• 构造一个新的中间替换系统，作为最大等度连续因子的 AI 扩张，推广了 Dekking 的方法。
• 使用 r 进制数位和准则来确定点在迭代替换下的像，从而实现极限点的显式计算。
• 将 Coven 和 Keane 关于二元常长度替换中等度连续塔结构的结果推广至一般情形。
• 提出一种新颖的反例构造，使用生成集 $P = \{m \in \mathbb{Z} : m < 0\} \cup \{pr^{2m} : m \in \mathbb{N}\}$，以证伪 Haddad 和 Johnson 的关键命题。
• 利用 Ellis 半群与非游荡系统（distal systems）的性质，无需依赖 IP 聚点论证，验证幂等元与极小理想。

实验结果

研究问题

• RQ1 常长度替换在任意有限字母表上的 Ellis 半群是否具有与 Haddad 和 Johnson 研究的二元情形相同的结构？
• RQ2 Haddad 和 Johnson 论文中关于 $\mathbb{N}$-级联中的 IP 聚点与 $\mathbb{Z}$-级联中 IP 聚点之间联系的关键命题，是否对一般替换系统成立？
• RQ3 能否通过替换系统和滑动块编码，构造一种新的显式 AI 扩张至最大等度连续因子？
• RQ4 常长度替换的 Ellis 半群完整结构是什么，包括极小理想的数量与性质，以及幂等元的分布？
• RQ5 所有连续的二元替换是否都是 Haddad 和 Johnson 关键命题的反例，如本文所展示？

主要发现

• 任意有限字母表上常长度替换的 Ellis 半群恰好有两个极小理想，每个理想包含两个幂等元。
• 本文提供了 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 进制数位和的显式代数条件。