[论文解读] Palindromic richness and Coxeter groups

Edita Pelantová, Štěpán Starosta|arXiv (Cornell University)|Aug 15, 2011

semigroups and automata theory被引用 1

一句话总结

本文引入了 G-丰富性（G-richness），这是在自由幺半群上关于一个由同态和反同态构成的群 G 作用下封闭的无限词中回文丰富性的推广。文章建立了 G-丰富词的等价刻画——将经典的回文丰富性推广至由 G 中反同态定义的一般化回文——并给出了两个显式构造的例子，展示了该理论在考克斯eter群和广义对称性中的适用性。

ABSTRACT

For a given finite group $G$ consisting of morphisms and antimorphisms of a free monoid $\mathcal{A}^*$, we study infinite words with language closed under the group $G$. We focus on the notion of $G$-richness which describes words rich in generalized palindromic factors, i.e., in factors $w$ satisfying $\Theta(w) = w$ for some antimorphism $\Theta \in G$. We give several equivalent descriptions which are generalizations of know characterizations of rich words (in the terms of classical palindromes) and show two examples of $G$-rich words.

研究动机与目标

• 将回文丰富性的概念推广至在自由幺半群上关于一个同态与反同态群 G 作用下不变的词。
• 定义并刻画 G-丰富词，即那些在 G 中反同态作用下固定了广义回文因子的词。
• 将经典回文丰富性的已知刻画推广至群不变语言的设定。
• 提供 G-丰富词的显式构造，以在考克斯eter群的背景下说明理论的应用。

提出的方法

• 将 G-丰富词定义为语言在群 G 的同态与反同态作用下封闭的无限词，其中 G 中反同态固定的因子被视为广义回文。
• 利用因子复杂度与群作用下的对称性，建立 G-丰富性的等价刻画。
• 利用考克斯eter群的结构构造 G-丰富词的例子，借助其基于对合的对称性。
• 通过将 G 中任意反同态替代标准反转操作，推广经典回文丰富性准则（如因子复杂度条件）。
• 分析群作用下无限词的语言，以识别确保最大回文因子丰富的条件。
• 证明 G-丰富性在 G 中同态与反同态作用下保持不变，从而确保语言在群作用下的不变性。

实验结果

研究问题

• RQ1 经典回文丰富性的概念如何推广至在同态与反同态群作用下不变的词？
• RQ2 G-丰富词在因子复杂度与 G 中反同态对称性方面有哪些等价刻画？
• RQ3 当 G 是作用于自由幺半群上的考克斯eter群时，哪些无限词表现出 G-丰富性？
• RQ4 G 中的反同态如何定义广义回文？G-丰富词具有哪些结构性质？
• RQ5 G-丰富性理论能否用于构造超出经典回文的新型回文丰富词？

主要发现

• G-丰富性由等价条件刻画，这些条件推广了经典回文丰富性，包括广义因子复杂度条件。
• 本文证明：一个词是 G-丰富词，当且仅当每个因子在 G 中某个反同态下具有广义回文闭包。
• 构造了两个 G-丰富词的显式例子，其中一个源自类型 A∞ 的考克斯eter群所关联的无限词。
• G-丰富词的语言在 G 中所有同态与反同态作用下封闭，确保在群作用下的不变性。
• 该理论将经典回文丰富性推广至非反转对称性，G 中的反同态充当广义反转算子的角色。
• 本文表明，当同态与群作用可交换时，G-丰富性在同态像下保持不变，从而确保结构的稳定性。