[論文レビュー] Always Finite Entropy and Lyapunov exponents of two-dimensional cellular automata

Pierre Tisseur|arXiv (Cornell University)|Feb 21, 2005

Cellular Automata and Applications参考文献 7被引用数 6

ひとこと要約

本稿は、2次元セルオートマトン（CA）の複雑さを有限で同型不変な指標として測るための、常に有限のエントロピー（AFE）を導入する。標準的な測度エントロピーは2次元ではしばしば無限大または未定義となる問題を解決する。本稿では、2次元シフトエントロピーと方向的リャプノフ指数の間の新しい不等式を確立し、1次元の結果を一般化することで、2次元CAシステムにおける情報伝播の定量的分析を可能にする。

ABSTRACT

Given a new definition for the entropy of a cellular automata acting on a two-dimensional space, we propose an inequality between the entropy of the shift on a two-dimensional lattice and some angular analog of Lyapunov exponents.

研究の動機と目的

• 2次元セルオートマトン（CA）に対して、標準的な測度エントロピーがしばしば無限大または未定義となる問題を解決すること。
• 1次元のエントロピー概念を2次元系に一般化し、有限で同型不変な複雑さの指標である「常に有限のエントロピー」（AFE）を定義すること。
• AFE、2次元シフトエントロピー、および方向的リャプノフ指数の間の定量的関係を確立し、情報伝播速度の分析を可能にすること。
• 1次元CAに用いられるリャプノフ指数の枠組みを、角度による方向的伝播速度を用いて2次元CAに拡張すること。
• 特に加法的および線形規則に対して、標準エントロピーの有限で計算可能な代替指標を提供すること。

提案手法

• すべての2次元セルオートマトンに対して有限である「常に有限のエントロピー」（AFE）と呼ばれる新しい測度エントロピーの定義を提案し、$ h_{\nu}^{2D}(F) $ と表記する。
• 方向的リャプノフ指数 $ \lambda(\theta) $ を、反復による不安定集合の成長に基づき、方向 $ \theta $ における摂動伝播速度として定義する。
• 格子上での有限時間内における摂動成長の離散化近似を用い、角度領域にわたる和への変換を導出する。
• 一般化されたシャノン型定理を適用し、上界を導出する：$ h_{\nu}^{2D}(F) \leq h_{\nu}(\sigma_1,\sigma_2) \times \left( \int_0^{2\pi} \frac{\lambda^2(\theta)}{2} d\theta + \sqrt{2} \int_0^{\pi} \lambda(\theta) d\theta + \frac{\pi}{2} \right) $。
• リャプノフ指数 $ \lambda(\theta) $ の一様連続性を用い、リーマン積分を用いて離散近似が連続積分に収束することを確立する。
• 例として $ F_3 $ と $ F'_k $ を用い、フレームワークの妥当性を検証し、AFEが既知の値と一致し、新しい上界が以前の推定値よりもタイトであることを示す。

実験結果

リサーチクエスチョン

• RQ1 2次元セルオートマトンが双射である場合、その常に有限のエントロピーは有限でかつゼロに等しいか？
• RQ2 2次元CAが正だが有限な標準的測度エントロピーを持つことは可能か？これは、エントロピーがゼロまたは無限大のいずれかであるとされるシェレシュチェフスキーの予想に反するか？
• RQ3 2次元CAがAFEがゼロである一方で、標準的測度エントロピーが正であることは可能か？
• RQ4 最大値に依存せずに、方向的リャプノフ指数を $ \theta $ に関して連続的に定義することは可能か？
• RQ5 恒等写像である場合に正確にゼロとなる、よりタイトな上界を導出可能か？

主な発見

• すべての2次元セルオートマトンに対して、常に有限のエントロピー $ h_{\nu}^{2D}(F) $ は有限であり、2次元における標準的エントロピーの無限大問題を解決する。
• 例 $ F_3 $ に対して、AFEは $ 2\log(2) $ であり、新しい上界は $ \lambda_T^{F_3} = 3.628 $ を与え、以前の推定値4よりもタイトである。
• 族 $ F'_k $ に対しては、AFEは半径 $ r $ に対して線形に増加するが、上界は $ k $ に対して二次的に増加するため、$ k $ が増加するにつれて上界と実際の値の差が拡大する。
• 方向的リャプノフ指数 $ \lambda(\theta) $ は連続的かつ区分的定義されており、$ \theta \in [0, \pi/4] $ では $ \lambda(\theta) = \cos(\theta) $、$ \theta \in [\pi/4, \pi/2] $ では $ \lambda(\theta) = \cos(\pi/2 - \theta) $ であり、$ [0, \pi] $ で対称性を示す。
• 不等式 $ h_{\nu}^{2D}(F) \leq h_{\nu}(\sigma_1,\sigma_2) \times \left( \int_0^{2\pi} \frac{\lambda^2(\theta)}{2} d\theta + \sqrt{2} \int_0^{\pi} \lambda(\theta) d\theta + \frac{\pi}{2} \right) $ が一般の上界として確立された。
• このフレームワークは1次元の結果を一般化し、無限エントロピーを持つ高次元動的系への応用の可能性を示唆する。