[論文レビュー] Probabilistic initial value problem for cellular automaton rule 172

Henryk Fukś|arXiv (Cornell University)|Jul 7, 2010

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

ひとこと要約

この論文は、長さ3のブロックの前像木の位相的構造を分析することで、細胞オートマトン規則172の確率的初期値問題を解く組み合わせ的手法を提示する。nステップ後のブロック確率の正確な式をフィボナッチ数およびラマヌジャン数を用いて導出し、1の密度が指数的減衰に伴う減衰振動を示すことを示している。フィボナッチ数列およびラマヌジャン数列を含む閉形式の解が得られる。

ABSTRACT

We consider the problem of computing a response curve for binary cellular automata -- that is, the curve describing the dependence of the density of ones after many iterations of the rule on the initial density of ones. We demonstrate how this problem could be approached using rule 130 as an example. For this rule, preimage sets of finite strings exhibit recognizable patterns, and it is therefore possible to compute both cardinalities of preimages of certain finite strings and probabilities of occurrence of these strings in a configuration obtained by iterating a random initial configuration $n$ times. Response curves can be rigorously calculated in both one- and two-dimensional versions of CA rule 130. We also discuss a special case of totally disordered initial configurations, that is, random configurations where the density of ones and zeros are equal to 1/2.

研究の動機と目的

• p=1/2 のランダムな初期ベルヌーイ測度の下で、細胞オートマトン規則172の確率的初期値問題を解くこと。
• 規則172をn回反復した後のすべての長さ3ブロックの確率を正確に表現すること。
• 有限長3文字列の前像木の位相的構造を分析し、nステップ分の前像を組み合わせ的に数えること。
• 1の密度がフィボナッチ数とラマヌジャン数の項の相互作用によって、減衰振動を示すことを確立すること。
• この手法が、前像木構造が規則的な他の初等的細胞オートマトン規則に対しても適用可能であることを示すこと。

提案手法

• 規則172におけるすべての長さ3ブロックの前像木を構築し、そのレベル集合を分析してnステップ分の前像を数える。
• 古典的な組み合わせ的数え上げ技法を用いて、各3ビットブロックのnステップ分の前像集合の濃度を計算する。
• ブロックの確率は、4^n（nステップ後の可能な3ビットブロックの総数）でスケーリングされた前像数から導出される。
• フィボナッチ数およびラマヌジャン数の閉形式表現を活用し、確率および密度を正確な代数的形で表現する。
• この手法は、前像木の規則的な構造に依存しており、フィボナッチ数およびラマヌジャン数列に結びついた再帰関係を用いて正確な数え上げが可能である。
• マーカフ連鎖に基づく確率計算を用いて、任意の初期測度μ_pへの一般化が可能であるが、これは今後の課題として残されている。

実験結果

リサーチクエスチョン

• RQ1 p=1/2 のランダムな初期状態から規則172をn回反復した場合、各3ビットブロックが出現する正確な確率は何か？
• RQ2 規則172において、1の密度は時間経過とともにどのように変化し、どのような動的特徴を示すか？
• RQ3 初等的細胞オートマトンの前像木構造を活用して、ブロック確率の正確な解析的表現を導出できるか？
• RQ4 なぜフィボナッチ数およびラマヌジャン数が規則172のブロック確率の正確な式に現れるのか？
• RQ5 この手法は、前像木トポロジーが規則的な他の細胞オートマトン規則にどの程度一般化可能か？

主な発見

• nステップ後の規則172における1の密度は、5/8 − 2^{−n−2}F_{n+3} − 2^{−n−4}F_{n+2} で与えられ、指数的減衰に伴う減衰振動を示す。
• 確率 P_n(001) = P_n(100) = 1/8 はすべてのnに対して一定であり、動的変換に対して不変であることを示す。
• 確率 P_n(011) = P_n(110) = 2^{−n−4}L_{n+2} はラマヌジャン数 L_{n+2} を含み、数論的数列とCAのダイナミクスの関連を示す。
• 確率 P_n(101) = 2^{−n−4}F_{n+2} および P_n(111) = 2^{−n−3}F_{n+3} は明示的にフィボナッチ数に依存している。
• ブロック000のnステップ分の前像集合の濃度は、5·4^n − 2^{n+1}F_{n+3} − 2^{n−1}F_{n+2} として、組み合わせ的数え上げにより導出される。
• この手法は、マーカフ連鎖技術を用いて任意の初期測度μ_pに一般化可能であるが、本研究では完全に計算されていない。