[論文レビュー] Topological completely positive entropy is no simpler in $\mathbb Z^2$-SFTs

Linda Brown Westrick|arXiv (Cornell University)|Apr 25, 2019

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

ひとこと要約

この論文は、すべての計算可能順序数ランクにおいて、位相的完全正のエントロピー（TCPE）を有する $ζ^2$-SFT（2次元の有限型移行）を構成し、このクラスにおいてTCPEが $Π^1_1$-完全であることを証明する。これは、一般の位相的系におけるTCPEよりも単純な記述が不可能であることを示し、未解決の問題を解決する。

ABSTRACT

We construct Z^2-SFTs at every computable level of the hierarchy of topological completely positive entropy (TCPE), answering Barbieri and García-Ramos, who asked if there was one at level 3. Furthermore, we show the property of TCPE in Z^2-SFTs is coanalytic complete. Thus there is no simpler description of TCPE in Z^2-SFTs than in the general case.

研究の動機と目的

• $ζ^2$-SFT におけるTCPEが、一般の位相的系よりも単純な算術的記述を有するかどうかを特定すること。
• バルビエリとガルシア＝ラモスが提起した、TCPE階層のレベル3における $ζ^2$-SFT の存在に関する問いに答えること。
• $ζ^2$-SFT におけるTCPEランクが、$ω_1^{ck}$ 未満のすべての計算可能順序数に達可能であることを示すこと。
• $ζ^2$-SFT におけるTCPEの複雑さが、一般の位相的系における複雑さと一致することを示し、記述的集合論的難易度が低下しないこと。

提案手法

• 計算可能で整礎かつ太った木から $ζ^2$-SFT を構成し、『ファブライト』埋め込み操作を用いて位相的構造を強制する。
• 有効な記述的集合論を用いて、計算可能木の整礎性と、それらから得られるSFTにおけるTCPEを関連付ける。
• 木に基づく記号的系から導かれるSFTの一般化された伝達的ランクを用いて、TCPEランクの階層を定義する。
• ソフィック計算を用いて、エントロピー対の分離や極限挙動の制御といった追加制約を強制する。
• 木の太さ条件を適用し、得られるSFTが正しいTCPEランクを持ち、誤った同値類を避けるように保証する。
• 計算可能木の整礎性問題を $ζ^2$-SFT におけるTCPEに還元することで、$Π^1_1$-完全性を証明する。

実験結果

リサーチクエスチョン

• RQ1 $ω_1^{ck}$ 未満のすべての計算可能順序数ランクにおいて、$ζ^2$-SFT がTCPEを実現可能か？
• RQ2 バルビエリ＝ガルシア＝ラモスの階層のレベル3におけるTCPEを有する $ζ^2$-SFT は存在するか？
• RQ3 $ζ^2$-SFT におけるTCPEの性質は、算術的論理式で記述可能か、それとも本質的に複雑であるか？
• RQ4 $ζ^2$-SFT におけるTCPEの複雑さは、一般の位相的系におけるものと同一か、それとも単純化可能か？
• RQ5 SFT のTCPEランクは、木のランクに基づく記号的構成によって完全に制御可能か？

主な発見

• すべての計算可能順序数 $\alpha < \omega_1^{ck}$ に対して、正確にランク $\alpha$ のTCPEを有する $ζ^2$-SFT が存在し、階層の完全な実現性が示された。
• $ζ^2$-SFT におけるTCPEの性質は $Π^1_1$-完全であり、より単純（算術的）な記述は存在しない。
• 木に基づくSFTを $ζ^2$-SFT に埋め込むために『ファブライトに載せる』操作を用い、TCPEランクを保存または2倍にできる。
• ランク $\beta$ の太った木 $T$ から得られるSFTのTCPEランクは、木の構造に応じて $2\beta - 1$ または $2\beta$ である。
• 付加記号 $\ast$ と $\dagger$ を用いた構成の変更により、極限ランクを含むようにTCPEランクを調整可能である。
• 計算可能木 $S$ の整礎性と、関連する $ζ^2$-SFT におけるTCPEが同値であることが示され、$Π^1_1$-完全性を示す還元が確立された。