[论文解读] Hierarchy and Expansiveness in Two-Dimensional Subshifts of Finite Type

Charalampos Zinoviadis|arXiv (Cornell University)|Mar 17, 2016

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

一句话总结

本文從擴展子動力學的視角探討二維有限類子移位（2D SFTs），引入「極端擴展」SFTs的概念——即僅有一個非擴展方向的SFTs。透過受Gács等人啟發的分層自相似構造，作者證明極端擴展SFTs完整捕獲了一般2D SFTs的計算複雜度，包括可滿足性問題的不可判定性與非周期性例子的存在。

ABSTRACT

Using a deterministic version of the self-similar (or hierarchical, or fixed-point ) method for constructing 2-dimensional subshifts of finite type (SFTs), we construct aperiodic 2D SFTs with a unique direction of non-expansiveness and prove that the emptiness problem of SFTs is undecidable even in this restricted case. As an additional application of our method, we characterize the sets of directions that can be the set of non-expansive directions of 2D SFTs.

研究动机与目标

• 透過擴展子動力學理解二維有限類子移位（SFTs）的計算與幾何行為。
• 探討擴展方向在決定2D SFTs複雜度中的角色。
• 確定極端擴展SFTs類別——即僅有一個非擴展方向的SFTs——是否展現出一般2D SFTs所見的全部行為範圍。
• 建立可計算序列的2D SFTs中具有擴展方向的通用模擬器。
• 特徵化2D SFTs可能的非擴展方向集合。

提出的方法

• 使用由Gács、Durand、Romashchenko與Shen等人先前發展的分層自相似（固定點）方法構造2D SFTs。
• 應用SFTs之間的模擬概念，特別是巢狀與顯式模擬，以關聯不同SFTs及其動力學性質。
• 採用基於細胞自動機規則的程式語言，包含位址與時鐘欄位，以在SFTs內模擬圖靈機運算。
• 定義並使用IPPAs（無限週期性圖案自動機）來模擬週期性行為，並對配置結構施加約束。
• 應用Medvedev度理論，證明每個Medvedev類別都包含一個極端擴展SFT。
• 使用拓撲與動力學定義的擴展性，其中若線上有限模式唯一決定整個配置，則該方向為擴展方向。

实验结果

研究问题

• RQ1 極端擴展2D SFTs能否模擬一般2D SFTs的所有行為，包括不可判定性與非週期性？
• RQ2 2D SFTs的非擴展方向可能集合為何？能否加以特徵化？
• RQ3 即使限制在極端擴展2D SFTs類別中，可滿足性問題是否仍不可判定？
• RQ4 每個Medvedev類別是否都能由一個極端擴展2D SFT表示？
• RQ5 是否存在一個通用2D SFT，能透過顯式模擬，模擬所有具有擴展方向的可計算2D SFT序列成員？

主要发现

• 存在一個非週期性的極端擴展2D SFT，證明即使僅有一個非擴展方向，非週期性仍可達成。
• 極端擴展2D SFTs類別的可滿足性問題不可判定，顯示此子類別繼承了整體2D SFTs的完整不可判定性。
• 每個Medvedev類別都包含一個極端擴展2D SFT，顯示此類別足夠豐富，能捕獲Medvedev層次中所有計算複雜度層級。
• 2D SFTs的非擴展方向集合可以是任何滿足有理斜率封閉性與特定拓撲條件的集合，且此類集合可完全特徵化。
• 對於每一個具有擴展方向的可計算2D SFT序列，均存在一個通用2D SFT，能透過顯式模擬，模擬序列中所有元素。