[论文解读] 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

一句话总结

本文提出了一种适用于二维元胞自动机（CA）的有限、同构不变复杂度度量——恒定有限熵（AFE），以解决标准度量熵在二维情况下常为无穷大或未定义的问题。该文建立了一个新颖的不等式，将 AFE 与二维移位熵及方向性李雅普诺夫指数联系起来，推广了一维结果，并实现了对二维 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.

研究动机与目标

• 解决标准度量熵在二维元胞自动机（CA）中常为无穷大或未定义的问题。
• 定义一种有限、同构不变的复杂度度量——恒定有限熵（AFE），将其推广至二维系统，类比一维熵的概念。
• 建立 AFE、二维移位熵与方向性李雅普诺夫指数之间的定量关系，以分析信息传播速度。
• 将李雅普诺夫指数框架从一维 CA 扩展至二维 CA，使用角度化、方向性的传播速率。
• 为二维 CA 提供一种有限且可计算的标准熵替代方案，尤其适用于加法与线性规则。

提出的方法

• 提出一种新的度量熵定义，称为恒定有限熵（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 若一个二维元胞自动机是双射的，其恒定有限熵是否有限且等于零？
• RQ2 二维 CA 是否可能具有正但有限的标准度量熵，从而与谢列舍夫斯基猜想（即其值要么为零，要么为无穷大）相矛盾？
• RQ3 是否存在二维 CA 的 AFE 为零，但其标准度量熵为正的情况？
• RQ4 方向性李雅普诺夫指数是否可连续定义于 $ \theta $，而无需依赖最大值？
• RQ5 能否找到一个更紧的上界，使其在 CA 为恒等映射时恰好为零？

主要发现

• 恒定有限熵 $ h_{\nu}^{2D}(F) $ 对所有二维元胞自动机均为有限值，解决了二维标准熵无穷大的问题。
• 对于示例 $ 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) $ 作为一般上界。
• 该框架推广了一维结果，并暗示可进一步扩展至具有无穷熵的高维动力系统。