[论文解读] Multidimensional effective S-adic systems are sofic

Nathalie Aubrun, Mathieu Sablik|arXiv (Cornell University)|Mar 4, 2011

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

一句话总结

本文证明了多维有效 S-adelic 子移位——由有限集合中有效序列的替换生成——是 sofictic 子移位。关键洞见是通过二维或三维有效子移位实现替换的同步，将替换序列嵌入到 sofictic 结构中，从而建立精确刻画：一个 S-adelic 子移位是 sofictic 的，当且仅当替换序列是有效的。

ABSTRACT

In this article we prove that multidimensional effective S-adic systems, obtained by applying an effective sequence of substitutions chosen among a finite set of substitutions, are sofic subshifts.

研究动机与目标

• 刻画哪些多维 S-adelic 子移位是 sofictic 的。
• 确定 S-adelic 子移位可表示为 sofictic 子移位的条件。
• 弥合高维中有效替换序列与 soficticity 之间的鸿沟。
• 将已知的关于替代子移位与 soficticity 的结果推广到多维 S-adelic 设置中。

提出的方法

• 构建一个二维或三维的 sofictic 子移位，利用 Hochman 和 DRS/AS 关于有效子移位的结果，编码替换序列。
• 引入一个同步子移位 $\widetilde{\mathbf{T}}_{\widetilde{\mathscr{S}}}$，其中相同的替换在行或列上均匀应用。
• 定义最终子移位 $\mathbf{T}_{\texttt{Final}}$，将配置空间与替换序列的符号编码耦合。
• 使用一个字母到字母的因子映射 $\pi_{\texttt{Final}}$，将 $\mathbf{T}_{\texttt{Final}}$ 投影到原始配置空间。
• 利用替换的唯一推导性质，确保从配置中可唯一识别出序列中的每个替换。
• 应用有效子移位是递归可枚举的这一事实，并使用图灵机枚举禁止模式，以重建替换序列。

实验结果

研究问题

• RQ1 在何种条件下，多维 S-adelic 子移位是 sofictic 的？
• RQ2 有效替换序列是否能在高维中生成 sofictic 子移位？
• RQ3 是否存在以替换序列可计算性为依据的 sofictic S-adelic 子移位的刻画？
• RQ4 如何对非确定性替换序列进行同步，以形成一个 sofictic 结构？

主要发现

• 多维有效 S-adelic 系统是 sofictic 子移位，从而在高维中建立了可计算性与 soficticity 之间的精确联系。
• 该证明构建了一个编码了配置和替换序列的 sofictic 子移位，确保了各层级之间的同步。
• sofictic S-adelic 子移位的类恰好与由有效替换序列生成的子移位一致。
• 该构造依赖于利用已知的有效子移位与 soficticity 结果，将有效子移位嵌入二维或三维空间。
• 替换的唯一推导性质确保了可从配置中重建替换序列，从而使因子映射具有良好的定义。
• 该结果将 Mozes 关于替代子移位的定理推广到了高维的 S-adelic 设置中。