1
$\开始组$

考虑一个上的2状态概率元胞自动机$L\倍L$具有全部-$0$以及所有-$1$配置为固定点,考虑类似于Toom规则或类似Ising的多数规则。考虑这样一个细胞自动机的扰动,其中所有的转移概率都被改变为一些小的$\epsilon美元$.随着时间的扰动而进化的元胞自动机$0$总的来说-$0$(全部-$1$)配置到时间$t(美元)$假设一次又一次运行未受干扰的细胞自动机时发生了逻辑错误$t(美元)$最终不会收敛到所有-$0$(全部-$1$)状态。

问题:有没有一些细胞自动机的上界已被证明$c_0 t(\frac{\epsilon}{\epsilon_0})^{(\frac{L}{L_0})^2}$逻辑故障的概率$\epsilon美元$-扰动?

我并不太在意我定义上述逻辑错误的方式。例如,也可以简单地使用全球多数票来决定是否发生了故障。或者可以查看单个站点并限制其在$0$状态($1$state)通过类似的方式$c1\epsilon+c0t(\frac{\epsilon}{\epsilon_0})^{(\frac{L}{L_0}$或者,可以查看与扰动细胞自动机的一个时间步长相对应的全局随机矩阵,并断言两个最高幅值特征值之间的差距类似于$e^{-L^2}$。请随意回答您认为最自然的任何定义问题。

Toom规则容错性的Gacs证明,缩放看起来像$e^{-L}$而不是$e^{-L^2}$.我认为Tooms的原始证据也是如此。(附加问题:有人知道如何访问Toom的英文原著《多元系统中的稳定和有吸引力的轨迹》吗?他的网站现在似乎已经关闭了。)我相信这可能是因为在有限圆环上非简单连接配置不会收敛到所有-$0$或全部-$1$.生成的非隐式连接回路$1$的背景是$0$的唯一要求O(L)美元$局部故障。

直觉上,我希望$e^{-L^2}$缩放,因为从所有对象翻转-$0$致所有人-$1$意味着在时空中有一堵时域墙,这需要$O(L^2)$如果每个错误簇的大小在线性时间内固定,则为局部错误。因此,这样一个领域墙的概率如下$\epsilon^{L^2}$。另一方面,此类域墙的数量仅为$t(\frac{1}{\epsilon_0})^{L^2}$有人同意或不同意这种直觉吗?数值实验对此有什么见解吗?

$\端组$
1
  • $\开始组$ 另一个模糊的论点表明我的直觉可能是错误的:任何一维简单CA(如局部多数投票)的记忆寿命都不会随着$L$而增加。现在,如果我们考虑一个$L_1\次L_2$环面上的2D CA,其中我们缩放$L_2$但保留$L_1$常量,那么我们得到一个有效的1D CA,其内存时间不会随$L_2$s增长。如果$L_1$相对较大,则内存寿命将增加到$L_2\大约L_1$,然后变为常量。我预计这个常数会像$e^{L_1}$一样增长,所以在一个$L\乘以L$torus上,内存生存期应该像$e*L$一样增长。 $\端组$ 评论 5月21日23:58

1个答案1

重置为默认值
$\开始组$

直觉上,我希望$e^{-L^2}$缩放,因为从所有对象翻转-$0$致所有人-$1$意味着在时空中有一堵时域墙,这需要$O(L^2)$如果每个错误簇的大小在线性时间内固定,则为局部错误。因此,这种域墙的概率如下$\epsilon^{L^2}$。另一方面,此类域墙的数量仅为$t(\frac{1}{\epsilon_0})^{L^2}$有人同意或不同意这种直觉吗?

我想我确实不同意。

考虑一个确定性Toom-type CA规则,该规则具有这样的属性:一个状态下的细胞簇被另一个状态的细胞包围,不能在某个有限边界区域外扩展,并且必须收缩并最终消失,除非该边界区域包围圆环。

例如,对于Toom的原始规则,一个这样的边界区域由与簇中的单元共享一行或一列的所有单元组成。这意味着如果至少一整列和至少一整行晶格的所有状态都相同$a\在\{0,1\}中$,然后所有细胞最终会收敛到状态美元$根据(未受干扰的)规则。

特别需要注意的是,在$L\倍L$晶格只需要O(L)美元$状态变化,因此在扰动规则下发生的概率应该随着$e^{-L}$一旦发生这种翻转,整个晶格最终将翻转(至少在未受扰动的规则下)。

此外,我推测这实际上是双稳态CA规则的一个一般属性,如:在$L\倍L$格总是有O(L)美元$如果全部翻转到相同状态,将导致整个晶格翻转到该状态的细胞O(L)美元$时间步长。通常情况下,所需的全部工作是使结构以两个不同的方向缠绕在环形晶格上,以便结构外的剩余单元能够围绕圆环连接。

$\端组$
2
  • $\开始组$ 谢谢,这是一个有趣的想法!我还不完全相信:如果我们翻转$O(L)$站点以在环面上创建一个“细十字”,那么CA需要$O(L)$时间来加宽形成这个十字的行和列。在这段时间里,噪音很可能会打破十字架。单个行/列对噪音来说非常不稳定,一旦一个站点翻转,CA就会开始擦除该行/列。 $\端组$ 评论 5月21日16:10
  • $\开始组$ 因此,我们的想法是,虽然噪音是我们要防范的,但它也有助于防止翻转单行以进入稳定的非全0和非全1状态,或者(根据您的答案)翻转十字以从全0翻转到全1。我知道,对于Toom和Gacs在证明中使用的噪声模型,噪声永远不会以这种方式“帮助你”。我在这里考虑的是噪声,它被定义为概率CA规则的一致扰动。您还可以使用“扰动”概率Tooms规则作为开始,然后它应该对常见的噪声模型具有鲁棒性。 $\端组$ 评论 5月21日16:19

您的答案

单击“发布您的答案”,表示您同意我们的服务条款并确认您已阅读我们的隐私政策.

不是你想要的答案吗?浏览标记的其他问题问你自己的问题.