[论文解读] HD0L-$ω$-equivalence and periodicity problems in the primitive case (to the memory of G. Rauzy)

Fabien Durand|Nov 2, 2011

Mathematical Dynamics and Fractals参考文献 26被引用 6

一句话总结

该论文通过利用Rauzy归纳法和返回词分析，确立了原始形态序列的HD0L ω-等价性和周期性问题的可判定性。它证明了通过计算至可计算界限内的返回词，可以算法性地判定由原始同态生成的形态序列的周期性；并表明，只有当两个原始同态在特定返回词条件下共享一个公共幂时，它们才会生成相同的序列。

ABSTRACT

In this paper I would like to witness the mathematical inventiveness of G. Rauzy through personnal exchanges I had with him. The objects that will emerge will be used to treat the decidability of the HD 0 L $ω$-equivalence and periodicity problems in the primitive case.

研究动机与目标

• 通过证明两个形态序列是否相等的可判定性，解决长期悬而未决的原始情形下的HD0L ω-等价性问题。
• 将Gérard Rauzy关于导出序列周期性的洞见推广为一种通用的算法框架。
• 建立两个生成相同不动点的原始替换在何种条件下必然具有公共非平凡幂的条件。
• 在原始性条件下，为形态序列的最终周期性提供可判定准则。
• 通过将返回词结构与动力系统及替换动力系统相联系，推广形态序列的相关结果。

提出的方法

• 使用导出序列构造（Rauzy归纳法），通过聚焦于特定前缀的返回词，迭代分析形态序列。
• 应用返回词映射 λ_n，将原始序列的返回结构与同态 φ 下编码序列的返回结构相关联。
• 采用可计算的界 K = (4K_σ³)^{|σ|K_σ²+1}(K_σ+1)^{K_σ²}，以限制检测周期性所需的迭代次数。
• 将问题简化为检查 φ(u_i) 的返回词数量是否恰好为 1（对于某个 i < K）。
• 利用均匀重复性与鸽巢原理，确保重复的 (λ_i, σ_i) 对意味着最终周期性。
• 通过同态复合将一般情形约化为非擦除编码，确保算法可计算性。

实验结果

研究问题

• RQ1 是否可判定由原始同态生成的两个形态序列是否相等，即原始情形下HD0L ω-等价性是否可判定？
• RQ2 能否通过算法确定由原始同态生成的形态序列的周期性？
• RQ3 当两个原始替换生成相同的不动点时，在何种条件下它们必然具有非平凡公共幂？
• RQ4 在编码下，形态序列的返回词结构是否保留了足够信息以判定周期性？
• RQ5 Rauzy归纳法能否用于算法性地检测形态序列中的最终周期性？

主要发现

• HD0L ω-等价性问题在原始同态下是可判定的，提供了构造性算法以测试两个形态序列的相等性。
• 由原始同态生成的形态序列的周期性是可判定的，且存在一个界 K，用于限制检测周期性所需的导出序列构造的迭代次数。
• 若某前缀的返回词向量生成 ℤ^d，则生成相同序列的两个原始同态必须具有公共幂。
• 对于二元字母表上的可逆替换，若它们共享相同的不动点，则必须具有非平凡公共幂，因为返回词向量张成 ℤ²。
• 周期性检测的算法依赖于计算 φ(u_i) 在 i < K 时的返回词数量，其中 K 是依赖于同态参数的可计算指数界。
• 该结果将Cobham定理推广至形态序列，表明若一个序列同时是 α-和 β-替换的（α 和 β 为乘法独立的Perron数），则它必为最终周期序列。