[论文解读] A local balance property of episturmian words

Gwénaël Richomme|arXiv (Cornell University)|Feb 10, 2007

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

一句话总结

本文建立了一种类局部平衡性质，用于刻画episturmian词与Arnoux-Rauzy序列，将Sturmian词中已知的平衡性质推广至更广范围。证明了无限词$w$为epistandard当且仅当存在至少两个不同的字母$a$和$b$，使得$aw$与$bw$均为episturmian，从而通过局部因子结构与morphic闭包给出了这些序列的新刻画方式。

ABSTRACT

We prove that episturmian words and Arnoux-Rauzy sequences can be characterized using a local balance property. We also give a new characterization of epistandard words and show that the set of finite words that are not factors of an episturmian word is not context-free.

研究动机与目标

• 将Sturmian词的经典平衡性质通过基于因子的局部条件推广至episturmian与Arnoux-Rauzy序列。
• 基于episturmian自同态下$aw$与$bw$的闭包，提供epistandard词的新刻画方式。
• 研究满足局部平衡条件的递归三元词的结构性质，特别是包含特定二元因子的词。
• 通过分析其因子结构与morphic像，解决关于三元递归词局部平衡性质的morphic生成的一个猜想。

提出的方法

• 在形如$AtA$的因子上引入局部平衡性质，其中$t$为词的因子，并分析此类因子是否被限制在$atA \cup Ata$或$btA \cup Atb$中。
• 使用操作$L_\alpha$与$R_\alpha$定义词的左、右扩展，通过递归方式将词简化为更简单形式，同时保持局部平衡性质。
• 对通过$L_\alpha$与$R_\alpha$操作递归简化词的过程进行归纳，证明若词满足局部平衡性质，则其简化形式亦满足。
• 应用如$f(a) = (ab)^n c$、$f(b) = (ab)^{n+1} c$及其变体$g_1$、$g_2$等自同态，生成满足局部平衡条件的三元词示例。
• 分析包含$ab$、$bc$与$ca$作为二元因子的递归三元词的因子结构，以探索其morphic起源。
• 利用episturmian词的递归性与镜像闭包性质，证明局部平衡性质在morphic扩展与简化下的不变性。

实验结果

研究问题

• RQ1 能否通过$AtA$形式因子上的局部条件，将Sturmian词的经典平衡性质推广至episturmian与Arnoux-Rauzy序列？
• RQ2 epistandard词的精确结构性质是什么？其与$aw$与$bw$在episturmian自同态下闭包的关系如何？
• RQ3 所有满足局部平衡性质且包含$ab$、$bc$与$ca$作为因子的递归三元词，是否均为递归平衡词（Sturmian或周期词）的morphic像？
• RQ4 哪些可能的自同态$f$满足$f(w')$生成的词为递归三元词且满足局部平衡性质？
• RQ5 在词的递归简化过程中，$L_\alpha$与$R_\alpha$操作如何保持或反映局部平衡性质？

主要发现

• episturmian词与Arnoux-Rauzy序列满足局部平衡性质：对任意因子$t$，$AtA$中的因子集合被包含在$atA \cup Ata$或$btA \cup Atb$中。
• 无限词$w$为epistandard当且仅当存在至少两个不同的字母$a$与$b$，使得$aw$与$bw$均为episturmian。
• 局部平衡性质在$L_\alpha$与$R_\alpha$操作下保持不变：若$w = L_\alpha(w')$或$w = R_\alpha(w')$，则$w$满足该性质当且仅当$w'$满足。
• 满足局部平衡性质的三元递归词示例包括$(abc)^\omega$、$(bca)^\omega$、$(cab)^\omega$，以及Sturmian词在特定自同态如$f(a) = (ab)^n c$、$f(b) = (ab)^{n+1} c$下的morphic像。
• 周期词$(abcabacbabcb)^\omega$满足局部平衡性质，且包含除$aa$、$bb$与$cc$外的所有二元因子，确认其属于具有局部平衡性质的词类。
• 本文未解决的问题是：所有满足局部平衡性质且包含$ab$、$bc$、$ca$的递归三元词是否均为递归平衡词morphic像的后缀，提示可通过morphic生成实现潜在分类。