[論文レビュー] Multidimensional effective S-adic systems are sofic

Nathalie Aubrun, Mathieu Sablik|arXiv (Cornell University)|Mar 4, 2011

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

ひとこと要約

この論文は、有限集合からの有効な置換の列を適用して生成される多次元有効 S-巡回符号—は、sofic subshift であることを証明している。主な洞察は、2次元または3次元の有効なサブシフトを用いて置換を同期化し、置換の列を sofic 構造に埋め込むことである。正確な特徴付けが得られる：S-巡回符号が sofic であるための必要十分条件は、置換の列が有効であることである。

ABSTRACT

In this article we prove that multidimensional effective S-adic systems, obtained by applying an effective sequence of substitutions chosen among a finite set of substitutions, are sofic subshifts.

研究の動機と目的

• どの多次元 S-巡回符号が sofic であるかを特徴付けること。
• S-巡回符号が sofic サブシフトとして表現可能となる条件を特定すること。
• 有効な置換列と高次元における soficity の間のギャップを埋めること。
• 既知の置換的サブシフトと soficity に関する結果を、多次元 S-巡回符号設定に拡張すること。

提案手法

• Hochman や DRS/AS の有効なサブシフトに関する結果を用いて、2次元または3次元の sofic サブシフトを構成し、置換の列を符号化する。
• 同じ置換を各行または各列に一様に適用する、同期化されたサブシフト $\widetilde{\mathbf{T}}_{\widetilde{\mathscr{S}}}$ を導入する。
• 配置空間と置換列の記号的符号化を結合する最終的なサブシフト $\mathbf{T}_{\texttt{Final}}$ を定義する。
• 文字列から文字への因子写像 $\pi_{\texttt{Final}}$ を用いて、$\mathbf{T}_{\texttt{Final}}$ を元の配置空間へ射影する。
• 置換の独自の導出性を活用し、配置から各置換列が一意に特定可能であることを保証する。
• 有効なサブシフトが再帰的に可算可能であり、禁止パターンをチューリングマシンで列挙することで、置換列を再構築する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で多次元 S-巡回符号が sofic であるか？
• RQ2 有効な置換列は高次元で sofic サブシフトを生成できるか？
• RQ3 置換列の計算可能性を用いて sofic S-巡回符号を特徴付けることは可能か？
• RQ4 非決定的置換列は、どのようにして sofic 構造を形成するように同期化できるか？

主な発見

• 多次元有効 S-巡回符号は sofic サブシフトであることが示され、計算可能性と soficity の間の明確な関係が確立された。
• 証明は、配置と置換列の両方を符号化する sofic サブシフトを構成し、レベル間での同期を保証する。
• sofic S-巡回符号のクラスは、正確に有効な置換列によって生成されるものと一致する。
• 構成は、既知の有効なサブシフトと soficity に関する結果を用いて、有効なサブシフトを2次元または3次元空間に埋め込むことに依存する。
• 置換の独自の導出性により、配置から置換列を再構築可能であり、因子写像が適切に定義可能である。
• この結果は、Mozes の置換的サブシフトに関する定理を、高次元における S-巡回符号設定に一般化する。