[論文レビュー] 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が平均化通信複雑性と一致することを確立し、特定のサブシフトがその行言語の通信複雑性が無限大である場合、それらがソフィックでないことを示す応用により、ソフィックシフトの拡張予想に関する新たな知見を提供する。

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,+∞).

研究の動機と目的

• シンボリックダイナミクスにおける無限入力、特に多次元サブシフトに対して通信複雑性の概念を形式化すること。
• 複数のビットを1つのチャネルに符号化するなど現実的でないプロトコルを避けるように、無限通信複雑性（ICC）を定義すること。
• ICCと古典的平均化通信複雑性との間の関係を確立し、関連する関係において両者が一致することを示すこと。
• ICCをシンボリックダイナミクスにおける拡張予想に応用し、2次元の有限型サブシフト（ソフィック）がソフィックであるのは、その行言語がソフィックである場合に限ることを示すこと。
• タイリングや無限の図画像の正規言語を分析するための新たな道具を提供すること。

提案手法

• アリスとボブがそれぞれ無限語を保持し、有限で局所的な通信を用いて関係を検証する非決定的プロトコルに基づく、無限通信複雑性（ICC）の形式的枠組みを提案する。
• 構造的制約を課す：プロトコルは平行移動不変で、有限の入力セグメントにのみ依存する。これにより物理的実装可能性が保証され、符号化のトリックを回避できる。
• シンボリックダイナミクスを用いて通信モデルを形式化し、連続性とシフト不変性を活用して分散型意思決定をモデル化する。
• 拡張予想への応用として、無限語の有限接頭語間の関係 Rk,m の通信複雑性を分析する。
• 特に直接和定理を含む既知の有限通信複雑性の結果を用い、漸近的通信複雑性を束縛し、下界を導出する。
• 拡張予想を通信理論的用語に再定式化し、SZ がソフィックであれば、N(Rn,n(S)) ≤ log|Ln(S)| + O(1) が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 無限語や多次元配列などの無限入力に対して、非自明または非物理的なプロトコルを避ける意味のある通信複雑性の概念を定義できるか？
• RQ2 大きな有限入力の極限において、無限通信複雑性（ICC）は平均化通信複雑性と一致するか？
• RQ3 無限語の有限接頭語の通信複雑性と、完全な無限入力の無限通信複雑性との間にはどのような関係があるか？
• RQ4 無限通信複雑性を用いて、2次元ソフィックシフトがその行言語がソフィックである場合にのみ生成可能であるという、シンボリックダイナミクスにおける拡張予想を証明または反証できるか？
• RQ5 拡張予想の反例として機能する、通信複雑性が無限大に発散する自然なサブシフトの例は存在するか？

主な発見

• 無限通信複雑性（ICC）が形式的に定義され、平行移動不変性や有限入力セグメントへの依存性といった自然な性質を満たすことが示された。
• 関係が無限入力上で定義される場合、ICCは平均化通信複雑性と一致することが確認され、漸近的解析への関連性が裏付けられた。
• 任意のサブシフト S に対して、k と m が増加するにつれて N(Rk,m) が無限大に発散する場合、S はソフィックでないことが示され、非ソフィック性の新たな基準が得られた。
• 本稿では、特定の非ソフィックサブシフトに対して N(Rk,m) ≥ log log log n が成り立つことを証明し、見た目には規則的でも通信複雑性が無限大に発散しうることを示した。
• 拡張予想が通信理論的用語に再定式化された：SZ がソフィックであれば、N(Rn,n(S)) ≤ log|Ln(S)| + O(1) であり、既知の反例においてこの境界はタイトであることが示された。
• この枠組みにより、拡張予想の反例候補は、低くはあるが定数でない通信複雑性を持つ言語を含む必要があることが示され、今後の証明に向けた探索空間が狭められた。