[论文解读] Combinatorial substitutions and sofic tilings

Thomas Fernique, Nicolas Ollinger|arXiv (Cornell University)|Sep 27, 2010

Cellular Automata and Applications参考文献 9被引用 14

一句话总结

本文证明了任意良好组合替换（由连通且一致的规则定义）的极限集是Sofic的，即可以通过带装饰的方块以有限局部约束强制实现。证明采用一种构造性自模拟技术，将分层替换结构编码到局部方块装饰中，将先前结果推广至更广泛的替换类，并采用更简洁的框架。

ABSTRACT

A combinatorial substitution is a map over tilings which allows to define sets of tilings with a strong hierarchical structure. In this paper, we show that such sets of tilings are sofic, that is, can be enforced by finitely many local constraints. This extends some similar previous results (Mozes'90, Goodman-Strauss'98) in a much shorter presentation.

研究动机与目标

• 建立良好组合替换的极限集是Sofic的，即可以通过有限局部约束强制实现。
• 通过以组合条件替代几何条件，推广先前关于替换密铺Sofic性的结果（例如Mozes, Goodman-Strauss）。
• 提供一种更短、更通用的证明框架，适用于更广泛的替换类，包括非几何替换。
• 分析并界定强制Sofic结构所需的有限方块集大小，优于先前构造。

提出的方法

• 将组合替换定义为将方块映射到连通宏观方块并带有面映射的有限规则集。
• 引入一种自模拟机制，使方块通过带装饰的约束模拟其自身的替换结构。
• 通过为方块分配编码父方块索引、邻接方块索引及网络遍历路径的装饰，构建有限方块集τ。
• 使用两个网络：一个用于追踪父方块信息，另一个通过将控制局部化到网络交叉点来减少方块数量。
• 通过装饰系统证明Sofic性，即任何极限集中的密铺均可视为τ-密铺，反之亦然。
• 利用规则数、方块数、面数及网络交点数等参数，推导方块集大小的界。

实验结果

研究问题

• RQ1 能否在不依赖几何约束的条件下，确立组合替换生成的极限集的Sofic性？
• RQ2 如何仅通过方块上的有限局部约束，编码替换密铺的分层结构？
• RQ3 能够强制替换密铺全局结构的最小有限方块集大小是多少？
• RQ4 该构造能否被优化以减少所需方块数量，同时保持正确性？
• RQ5 自模拟技术在非矩形或高维替换中能在多大程度上被推广？

主要发现

• 任意良好组合替换的极限集都是Sofic的，意味着它可以通过带装饰方块的有限局部约束表征。
• 该证明显著短于且更通用，避免了Mozes（1990）和Goodman-Strauss（1998）所用的几何假设。
• 可显式构造有限方块集τ，通过携带父方块和邻接方块索引的带装饰方块强制替换结构。
• 初始方块集大小受O(r p² m n)界约，其中r为规则数，p为网络中方块数，m、n分别为宏观方块的面数和方块数。
• 通过引入与第一张网络相交的第二张网络，方块集大小可减少至约O(r c p (m + q n))，在Rauzy情形下约为7000万张方块。
• 进一步优化——以单个代表方块替代整个网络方块——可使Rauzy示例中方块数减少至约25,000张，表明存在显著的实际改进空间。