[論文レビュー] Continuum versus Discrete: A Physically Interpretable General Rule For Cellular Automata By Means of Modular Arithmetic

Luan Carlos de Sena Monteiro Ozelim, André Luís Brasil Cavalcante+1 more|arXiv (Cornell University)|Jun 12, 2012

Cellular Automata and Applications被引用数 7

ひとこと要約

本論文は、モジュラー算術と新しい「イオータ・デルタ」関数を用いて、物理的に解釈可能な一般化された細胞オートマトン（CA）の規則を導入し、CA規則の定量的解釈を可能にする。イオータ・デルタ関数を有限差分法と結びつけることで、特に移流拡散系および異常拡散に対して、離散的CAダイナミクスに連続的物理的意味を付与する。

ABSTRACT

Describing complex phenomena by means of cellular automata (CA) has shown to be a very effective approach in pure and applied sciences. In fact, the number of published papers concerning this topic has tremendously increased over the last twenty years. Most of the applications, notwithstanding, use cellular automata to qualitatively describe the phenomena, which is surely a consequence of the way the automata rules have been defined. In the present paper a general rule which describes every of Wolfram's cellular automata is derived. The new representation is given in terms of a new function hereby defined, the iota-delta function. The latter function is further generalized in order to provide a general rule for not only Wolfram's but also to every CA rule which depends on the sum and products of the values of cells in the automaton mesh. By means of a parallel between the finite difference method and the iota-delta function, the new representation provides a straightforward physical interpretation of CA, which gives, for the first time, a quantitative interpretation of the generating rule itself. By means of the new formulation, advective-diffusive phenomena are analyzed. In particular, the relation between CA automata and anomalous diffusion is briefly discussed.

研究の動機と目的

• 従来の細胞オートマトン規則が純粋に定性的に定義されることが多いため、定量的物理的解釈の欠如に応えること。
• Wolframの基本的細胞オートマトン規則を統一的かつ解釈可能な形で表現できる一般化された数学的枠組みを構築すること。
• Wolframの規則を超えて、セル値の和および積に依存する任意のCA規則へと枠組みを拡張すること。
• 細胞オートマトンと有限差分法との直接的な類似性を確立し、離散的ダイナミクスの物理的解釈を可能にすること。
• 提案された定式化を通じて、CAと異常拡散との関係を調査すること。

提案手法

• CA遷移規則をモジュラー算術で表現するためのコアとなる「イオータ・デルタ」関数を導入する。
• 隣接セル値を用いてセル状態遷移を関数として表現することにより、モジュラー算術を用いたCAの一般規則を導出する。
• イオータ・デルタ関数と有限差分近似との類似性を確立し、離散的更新の物理的解釈を可能にする。
• イオータ・デルタ関数を、CA規則におけるセル値の和および積の任意の組み合わせを扱えるように一般化する。
• CAダイナミクスを偏微分方程式にマッピングすることで、移流拡散過程のモデリングにフレームワークを適用する。
• スケーリング行動を通じて、提案された定式化を用いてCAシステムにおける異常拡散の出現を分析する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、モジュラー算術を用いてWolframの256個の基本的細胞オートマトン規則を統一的かつ物理的に解釈可能な形で導出できるか？
• RQ2 イオータ・デルタ関数は、離散的細胞オートマトンと連続的有限差分法との間の溝をどのように埋めるか？
• RQ3 提案された枠組みは、細胞オートマトンにおける移流拡散現象を定量的にモデリングできるか？
• RQ4 提案されたCA定式化と異常拡散プロセスとの関係は何か？
• RQ5 イオータ・デルタ関数の一般化は、隣接セル状態の和および積に基づく任意のCA規則への応用をどのように可能にするか？

主な発見

• イオータ・デルタ関数は、Wolframの256個の基本的細胞オートマトン規則を統一的なモジュラー算術フレームワークで成功裏に表現した。
• 偏微分方程式の有限差分近似と結びつけることで、CA規則に直接的な物理的解釈を可能にする。
• 物理的に意味のある更新規則を通じて、離散的系における移流拡散現象の定量的モデリングが可能になった。
• フレームワークは、CAダイナミクスと異常拡散との間の関係を明らかにした。特に、非ガウス的スケーリング行動を通じて顕在した。
• イオータ・デルタ関数の一般化により、隣接セル状態の和および積に基づくCA規則の体系的構築が可能となった。
• 本手法は、解釈可能で物理的根拠を持つ更新規則を用いて、離散的CAが連続的物理学を模倣できることを示した。