[论文解读] A note on the definition of sliding block codes and the Curtis-Hedlund-Lyndon Theorem

Marcelo Sobottka, Daniel Gonçalves|arXiv (Cornell University)|Jul 8, 2015

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

一句话总结

本文提出了一个针对可数（可能无限）字母表上的移位空间的滑动块编码的广义定义，其中局部规则依赖于根据每个位置周围配置自适应调整的可变邻域。关键贡献是重新表述了Curtis-Hedlund-Lyndon定理，将广义滑动块编码精确刻画为连续且与平移交换的映射——在无限字母表设定下恢复了经典等价性。

ABSTRACT

In this note we propose an alternative definition for sliding block codes between shift spaces. This definition coincides with the usual definition in the case that the shift space is defined on a finite alphabet, but it encompass a larger class of maps when the alphabet is infinite. In any case, the proposed definition keeps the idea that a sliding block code is a map with a local rule. Using this new definition we prove that the Curtis-Hedlund-Lyndon Theorem always holds for shift spaces over countable alphabets.

研究动机与目标

• 解决由于缺乏紧致性，经典Curtis-Hedlund-Lyndon定理在无限字母表上的移位空间中失效的问题。
• 解决当字母表无限时，连续且与移位交换的映射与经典滑动块编码之间存在的不匹配问题。
• 提出一种广义的滑动块编码定义，保持局部性，但允许邻域根据配置而变化。
• 证明连续性与平移交换性完全刻画了广义滑动块编码，从而在无限字母表情况下恢复经典定理的等价性。

提出的方法

• 通过依赖于输入序列局部配置的一族有限邻域来定义广义滑动块编码。
• 将经典滑动块编码重述为每个输出符号通过局部规则依赖于固定有限邻域的映射。
• 利用移位空间的拓扑结构——特别是闭开圆柱体和移位不变性——分析连续性和移位交换性质。
• 证明一个映射是广义滑动块编码当且仅当它是连续的且与所有平移交换，使用圆柱体的原像及其分解为圆柱体的并集。
• 利用连续且与移位交换的映射的原像为圆柱体并集的事实，确保开集性与连续性。
• 证明当字母表有限时，广义定义退化为经典定义，从而与既有理论保持一致。

实验结果

研究问题

• RQ1 是否可以将经典滑动块编码的定义扩展至无限字母表上的移位空间，同时保持局部性原则？
• RQ2 为什么经典Curtis-Hedlund-Lyndon定理在无限字母表上失效？缺少了何种结构性质？
• RQ3 是否存在更广义的映射类，仍满足连续性和移位交换性，但无法被经典定义所捕获？
• RQ4 能否基于滑动块编码的广义定义，在无限字母表上建立Curtis-Hedlund-Lyndon定理的修订版本？
• RQ5 在无限字母表设定下，连续性、平移不变性与局部规则存在性之间存在何种关系？

主要发现

• 所提出的广义滑动块编码定义扩展了经典定义，并自然适用于可数无限字母表上的移位空间。
• 广义定义保持了局部规则的直观思想，但允许邻域大小和形状根据每个位置周围的配置而变化。
• 一个映射是广义滑动块编码当且仅当它是连续的且与所有平移交换。
• 该修订的刻画在无限字母表情况下恢复了Curtis-Hedlund-Lyndon定理的等价性，而经典版本因缺乏一致连续性而失效。
• 证明依赖于这样一个事实：连续且与移位交换的映射的圆柱体原像为圆柱体的并集，因此是开集，从而保证了连续性。
• 映射 $\Phi(\mathbf{x})_j = \max_{i \geq j} x_i$ 的例子表明其连续且与移位交换，但不是广义滑动块编码，说明新定义的必要性。