[论文解读] A non-ergodic probabilistic cellular automaton with a unique invariant measure

Philippe Chassaing, Jean Mairesse|arXiv (Cornell University)|Sep 1, 2010

Cellular Automata and Applications参考文献 15被引用 19

一句话总结

本文构建了一个一维概率细胞自动机（PCA），其邻域大小为2，具有唯一的不变测度但非遍历，证明了唯一不变测度并不蕴含遍历性。该模型在偶数时间与奇数时间之间交替呈现两种不同的测度，导致从任意初始状态均无法收敛，从而通过反例解决了PCA理论中的一个开放问题，即唯一性是否蕴含遍历性。

ABSTRACT

We exhibit a Probabilistic Cellular Automaton (PCA) on the integers with an alphabet and a neighborhood of size 2 which is non-ergodic although it has a unique invariant measure. This answers by the negative an old open question on whether uniqueness of the invariant measure implies ergodicity for a PCA.

研究动机与目标

• 解决概率细胞自动机（PCA）中关于唯一不变测度是否蕴含遍历性的长期开放问题。
• 构造一个PCA的明确例子，其具有唯一不变测度但非遍历。
• 证明对于PCA而言，存在‘唯一但非吸引’的不变测度这一中间情况，与相互作用粒子系统（IPS）中的已知结果形成对比。
• 通过精确计算辅助PCA模型的一维边缘分布，支持主要构造。

提出的方法

• 引入一个主PCA模型A，其具有唯一但非吸引的不变测度，表现出在两个不同测度之间的周期性行为。
• 定义两个辅助PCA模型：模型B（湮灭粒子）和模型C（合并粒子），用于分析模型A的动力学行为。
• 对模型B和C进行一维边缘分布的精确计算，特别证明收敛速度为$1/\sqrt{n}$的阶。
• 构建一个具有特定颜色规则的三色PCA模型D，其粒子根据颜色规则发生湮灭或合并，并利用投影$\pi_B$和$\pi_C$将模型D与模型B和C联系起来。
• 借鉴连续时间IPS文献中的耦合技术，将其适配于离散时间PCA模型，以证明其性质。
• 利用在合并规则下均匀颜色分布的不变性，证明初始i.i.d.配置在投影测度下保持均匀性。

实验结果

研究问题

• RQ1 一维概率细胞自动机的不变测度唯一性是否蕴含遍历性？
• RQ2 是否存在一个PCA，其具有唯一不变测度但非吸引，从而违反遍历性？
• RQ3 能否构造一个PCA，使得系统随时间在两个不同测度之间交替，从而阻止收敛？
• RQ4 能否通过PCA模型中边缘分布的精确计算，证明尽管不变测度唯一，系统仍为非遍历？
• RQ5 在具有湮灭或合并粒子的PCA模型中，收敛到不变测度的速度是多少？

主要发现

• 本文构造了一个一维PCA（模型A），其具有唯一但非吸引的不变测度，证明了‘非遍历但不变测度唯一’这一中间情况的存在。
• 模型A将测度$\mu_0$映射为$\mu_1$，并将$\mu_1$映射回$\mu_0$，因此系统在两者之间交替，导致从任意初始状态均无法实现弱收敛。
• 模型C（合并粒子）的一维边缘分布收敛到不变测度的速度为$1/\sqrt{n}$阶，如定理5.2所证明。
• 对于模型A和B，其一维边缘分布也以$1/\sqrt{n}$阶收敛，如命题6.1所确立。
• 模型D（一个具有特定合并规则的三色PCA）是遍历的，具有唯一的不变测度$\delta_{\circ^{\mathbb{Z}}}$，其投影$\pi_B$和$\pi_C$分别生成模型B和C的实现。
• 在模型D中，初始颜色分布在合并规则下保持均匀，确保$\mathbb{P}(\pi_B(D_{0,n}) = \bullet) = \frac{1}{2} d_n$，其中$d_n$是模型C的一站点边缘分布。