[论文解读] On flow-equivalence of R-graph shifts

Wolfgang Krieger|arXiv (Cornell University)|Jun 24, 2014

Cellular Automata and Applications参考文献 4被引用 5

一句话总结

该论文证明，对于某些 R-图，其关联的 R-图移位的流等价性蕴含底层 R-图的同构性。论文证明了性质 (A) 及其关联的半群在流等价下保持不变，并在附加结构条件 (a)–(d) 下，这种不变性可推出 R-图同构。该结果将 Costa 和 Steinberg 关于马尔可夫-戴克移位的研究推广至更广泛的 R-图移位类。

ABSTRACT

We show that Property $(A)$ of subshifts and the semigroup, that is associated to subshifts with Property (A), are invariants of flow equivalence. We show for certain $\mathcal R$-graphs that their isomorphism is implied by the flow equivalence of their $\mathcal R$-graph shifts.

研究动机与目标

• 建立子移位在流等价下性质 (A) 及其关联半群的不变性。
• 证明对于满足条件 (a)–(d) 的 R-图，其 R-图移位的流等价性蕴含其底层 R-图的同构性。
• 将先前关于马尔可夫-戴克移位的结果推广至更广泛的 R-图移位类。
• 刻画 R-图半群确定 R-图同构类的条件。

提出的方法

• 通过轨道和语言不变性，证明性质 (A) 在符号扩展和流等价下保持不变。
• 通过轨道映射 ξσ，证明具有性质 (A) 的子移位所关联的半群在流等价下保持不变。
• 引入 R-图移位作为由 E− ∪ E+ 中可接受词语定义的子移位，且满足特定约束。
• 使用由生成元和关系（涉及幂等元及 R(q,r) 关系）定义的 R-图半群 SR(P, E−, E+)。
• 应用 [HK] 的结果，表明条件 (a)–(d) 蕴含 R-图移位具有性质 (A)，且其关联半群为 R-图半群。
• 通过流等价诱导的 R-图半群同构，建立 R-图之间的同构关系。

实验结果

研究问题

• RQ1 性质 (A) 在子移位的流等价下是否保持不变？
• RQ2 具有性质 (A) 的子移位所关联的半群在流等价下是否保持不变？
• RQ3 在何种条件下，R-图移位的流等价性蕴含其底层 R-图的同构性？
• RQ4 能否利用 R-图半群在流等价下的不变性推导出 R-图同构？
• RQ5 R-图的何种结构条件可确保其移位的流等价性蕴含 R-图同构？

主要发现

• 性质 (A) 在流等价下保持不变，由包含关系 ξσ(Ω(An(X))) ⊂ Ω(A2n(X(σ))) 及其逆映射所证明。
• 具有性质 (A) 的子移位所关联的半群在流等价下保持不变，且映射 ξσ 诱导出半群同构。
• 对于满足条件 (a)–(d) 的 R-图，其 R-图移位的流等价性蕴含 R-图同构。
• 条件 (a)–(d) 确保 R-图移位具有性质 (A)，且其关联半群为 R-图半群。
• 该结果将 Costa 和 Steinberg 关于马尔可夫-戴克移位的定理推广至更广泛的 R-图移位类。
• 尽管 Dyck 移位 D2 × BK（K > 1）不满足 (a)–(d)，但其仍满足结论，原因在于 K-群不变性与半群结构。