[论文解读] On images of sofic systems

Wolfgang Krieger|arXiv (Cornell University)|Jan 10, 2011

Mathematical Dynamics and Fractals参考文献 10被引用 3

一句话总结

本文建立了从拓扑传递的Sofic系统到其他Sofic系统的同态存在的必要与充分条件，以及从拓扑混合的Sofic系统到低熵Sofic系统的满同态存在的必要与充分条件。通过符号动力学与短语结构半群，本文利用上下文类和辅助映射显式构造编码映射，并通过基于正则语言理论的有限状态构造证明了该存在性问题的可判定性。

ABSTRACT

Let $Σ$ and $\barΣ$ be finite alphabets. For topologically transitive sofic systems $ X\subset Σ^{\Bbb Z}$ and $\widetilde X\subset \widetildeΣ^{\Bbb Z}$ we give a necessary and sufficient condition for the existence of a homomorphism from $X$ to $\widetilde X$. For topologically mixing sofic systems $X \subset Σ^{\Bbb Z}$ and $\widetilde X\subset \widetildeΣ^{\Bbb Z}$, such that the topological entropy of $\widetilde X$ is less than the topological entropy of $X$, we give a necessary and sufficient condition for the existence of a homomorphism of $X$ onto $\widetilde X$.

研究动机与目标

• 确定从拓扑传递的Sofic系统到另一Sofic系统的同态存在的必要与充分条件。
• 建立从拓扑混合的Sofic系统到另一熵较低的Sofic系统的满同态存在的条件。
• 证明这些存在性条件可通过有限状态构造与正则语言性质实现可判定性。
• 将一般同态的可判定性结果扩展至拓扑混合情形下的满同态。

提出的方法

• 本文利用子移位的短语结构半群，特别是词语的上下文类，通过代数结构表征同态。
• 引入辅助映射与紧开集，以在移位空间中分离周期性与非周期性事件。
• 该构造依赖于同步词语及其上下文类，以构建同态的编码窗口。
• 对于满同态，该方法通过受控重复构造足够长的周期性事件，并采用平移不变的编码方式。
• 编码过程以块的形式定义，使用映射 Θ⁻、Θ⁺ 和 Θ 下的上下文类像，通过向下取整函数进行时间偏移与长度调整。
• 通过将问题约化为有限状态自动机与正则语言性质，确立了可判定性，利用形式语言理论中的已知可判定性结果。

实验结果

研究问题

• RQ1 在何种条件下，从拓扑传递的Sofic系统 X 到另一Sofic系统 X̃ 的同态存在？
• RQ2 在何种条件下，从拓扑混合的Sofic系统 X 到低熵Sofic系统 X̃ 的满同态存在？
• RQ3 此类同态的存在性能否通过算法判定？
• RQ4 如何利用周期点数据与上下文类显式构造同态？
• RQ5 Sofic系统的何种结构性质可保证满因子映射的存在？

主要发现

• 给出了从拓扑传递的Sofic系统 X 到另一Sofic系统 X̃ 的同态存在的必要与充分条件，该条件基于上下文类及其短语结构半群的相容性。
• 对于满足 h(X) > h(X̃) 的拓扑混合Sofic系统，存在从 X 到 X̃ 的满同态的必要与充分条件，该条件基于上下文类与周期点的相容性。
• 同态与满同态的存在性条件均可判定，因为它们可约化为正则语言上的有限状态计算。
• 同态的构造通过一个编码窗口实现，该窗口使用上下文类的像与辅助映射将 X 的块映射到 X̃ 的块。
• 该方法确保所得映射在所有点（包括周期点与非周期点）上均为连续、与移位运算可交换且定义良好。
• 满同态情形的可判定性从一般同态情形扩展而来，证实了此类映射的算法可构造性。