[论文解读] Quantified block gluing, aperiodicity and entropy of multidimensional SFT

Silvère Gangloff, Mathieu Sablik|arXiv (Cornell University)|Jun 6, 2017

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

一句话总结

本文引入了带有间隙函数 f(n) 的块粘合概念，分析其对二维有限型子移位（Z²-SFTs）非周期性和熵的影响。研究证明线性块粘合 SFT 可以是非周期性的，并能实现所有非负 Π₁-可计算熵，解决了关于传递 SFT 熵的一个问题。该构造使用结构化的、类似 DNA 的细胞单元，通过受控的信息传递和错误信号实现计算。

ABSTRACT

It is possible to define mixing properties for subshifts according to the intensity which allows to concatenate two rectangular blocks. We study the interplay between this intensity and computational properties. In particular we prove that there exists linearly block gluing subshift of finite type which are aperiodic and that all right-recursively enumerable positive number can be realized as entropy of linearly block gluing Z 2-subshift of finite type. Like linearly block gluing imply transitivity, this last point answer a question asked in [HM10] about the characterization of the entropy of transitive subshift of finite type.

研究动机与目标

• 理解在 Z²-SFT 中，带有间隙函数 f(n) 的块粘合所施加的动力学与可计算性约束。
• 研究线性块粘合 SFT 是否可以是非周期性的，以挑战‘类似混合的性质会限制计算普遍性’的假设。
• 表征 f-块粘合 SFT 可能的熵集合，特别是在线性间隙范式下。
• 探索亚对数与线性间隙函数之间的边界，涉及周期性、可判定性及熵的可计算性。

提出的方法

• 引入 f-块粘合的概念，即两个大小为 n 的块之间可允许 f(n) 的间隙进行粘合。
• 以刚性化的 Robinson 子移位作为基础结构，以确保结构稳定性与受控的信息传播。
• 采用类似细胞自动机的构造方式，包含‘核’（中心数据存储）、‘墙’、‘细胞质’和‘格网’层，以模拟计算过程。
• 通过细胞间的错误信号通信协调行为并传播信息，模仿分子生物学机制。
• 利用图案扩展与受控着色及计数器位置构造通用计算单元，以模拟图灵计算。
• 通过图案扩展的归纳界推导熵的上界，利用有效配置数的递归计数方法。

实验结果

研究问题

• RQ1 当 f(n) ∈ O(n) 时，f-块粘合 SFT 是否可以是非周期性的，尽管具有类似混合的性质？
• RQ2 当 f(n) 为线性时，f-块粘合 SFT 的可能熵集合是什么？
• RQ3 间隙函数 f(n) 如何影响语言的可判定性以及周期点的密度？
• RQ4 f-块粘合 SFT 的熵是否能实现所有非负 Π₁-可计算实数？
• RQ5 块粘合构造与分子生物学系统之间存在哪些结构类比？

主要发现

• 存在一个 f-块粘合 SFT，其 f(n) ∈ O(n)，且为非周期性，证明线性块粘合并不排除非周期性。
• 当 f(n) ∈ o(log n) 且 f ≤ id 时，f-块粘合 SFT 的语言是可判定的，其熵是可计算的。
• 所有非负 Π₁-可计算实数均可作为线性块粘合 Z²-SFT 的熵被实现，回答了 [HM10] 中提出的问题。
• 当 f(n) ∈ O(n) 时，f-块粘合 SFT 的可能熵集合恰好是右递归可枚举的非负实数集合。
• 在构造中，kr-块的有效扩展数量被限制在 3(r+1)^k+9 以内，从而可通过递归计数实现熵估计。
• 所构造 SFT 的熵满足 h(d(r)_A(Z)) = h(Z) + log₂(1 + r)/r，表明其随结构复杂度呈受控的加法增长。