[论文解读] Computability of Extender Sets in Multidimensional Subshifts

P. Guillon, Paviet Salomon, Léo+1 more|arXiv (Cornell University)|Jan 23, 2015

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

一句话总结

本文引入了无限通信复杂度（ICC）作为符号动力学中分析无限输入之间通信的形式化方法，尤其适用于多维子移位和铺砖问题。研究证明ICC与分摊通信复杂度一致，并将该框架应用于证明：若某类子移位的行语言具有无界通信复杂度，则该子移位不是Sofic的，从而为Sofic移位的延拓猜想提供了新见解。

ABSTRACT

Subshifts are sets of colorings of ℤ^d defined by families of forbidden patterns. Given a subshift and a finite pattern, its extender set is the set of admissible completions of this pattern. It has been conjectured that the behavior of extender sets, and in particular their growth called extender entropy [French and Pavlov, 2019], could provide a way to separate the classes of sofic and effective subshifts. We prove here that both classes have the same possible extender entropies: exactly the Π₃ real numbers of [0,+∞).

研究动机与目标

• 为符号动力学中无限输入（特别是多维子移位）的通信复杂度形式化一个概念。
• 以避免不切实际的协议（如依赖将多个比特编码到单个信道）的方式，定义无限通信复杂度（ICC）。
• 建立ICC与经典分摊通信复杂度之间的联系，证明在相关关系下二者一致。
• 将ICC应用于符号动力学中的延拓猜想，该猜想认为二维的有限型子移位（Sofic）仅当其行语言为Sofic时才为Sofic。
• 为研究无限图像的铺砖和正则语言提供新的分析工具，方法基于通信复杂度。

提出的方法

• 基于非确定性协议提出无限通信复杂度（ICC）的形式化方法，其中Alice和Bob各自持有无限字，需通过有限的局部通信验证关系。
• 施加结构约束：协议必须是平移不变的，且仅依赖于有限的输入片段，以确保物理可实现性并避免编码技巧。
• 利用符号动力学形式化通信模型，借助连续性和平移不变性来建模去中心化的决策过程。
• 通过分析无限字有限前缀之间关系Rk,m的通信复杂度，将该框架应用于延拓猜想。
• 运用有限通信复杂度中的已知结果，特别是直接求和定理，来界定渐近通信复杂度并推导下界。
• 将延拓猜想重新表述为通信理论术语：若SZ是Sofic，则N(Rn,n(S))有界于log|Ln(S)| + O(1)。

实验结果

研究问题

• RQ1 能否为无限输入（如无限字或二维数组）定义一个有意义的通信复杂度概念，使其避免平凡或非物理的协议？
• RQ2 在大尺寸有限输入的极限下，无限通信复杂度（ICC）是否与分摊通信复杂度一致？
• RQ3 无限字有限前缀的通信复杂度与完整无限输入的无限通信复杂度之间有何关系？
• RQ4 无限通信复杂度能否用于证明或证伪符号动力学中的延拓猜想，即二维Sofic移位仅在行语言为Sofic时才成立？
• RQ5 是否存在自然的子移位例子，其通信复杂度无界，从而可作为延拓猜想的反例？

主要发现

• 正式定义了无限通信复杂度（ICC），并证明其满足自然性质，如平移不变性，且仅依赖于有限输入片段。
• 对于无限输入上的关系，ICC与分摊通信复杂度一致，验证了其在渐近分析中的相关性。
• 对于任意子移位S，若当k和m增大时，通信复杂度N(Rk,m)无界增长，则S不可能是Sofic，从而提供了一个新的非Sofic性判别准则。
• 本文证明了对于某些非Sofic子移位，有N(Rk,m) ≥ log log log n，表明即使对于外观规则的语言，通信复杂度也可能无界。
• 将延拓猜想重新表述为通信理论术语：若SZ是Sofic，则N(Rn,n(S)) ≤ log|Ln(S)| + O(1)，且该界对已知反例是紧致的。
• 该框架表明，延拓猜想的潜在反例必须涉及通信复杂度低但非常数的语言，从而缩小了未来证明的搜索空间。