[論文レビュー] Applying causality principles to the axiomatization of probabilistic cellular automata

Pablo Arrighi, Renan Fargetton+2 more|HAL (Le Centre pour la Communication Scientifique Directe)|Feb 4, 2011

Cellular Automata and Applications被引用数 5

ひとこと要約

本稿は、因果性の原則に基づき、確率的セルオートマトン（PCA）の新しい操作的定義を提案する。標準的な公理的アプローチ（非信号伝達やスクリーニング・オフなど）は、局所化可能性を保証しないことが示され、局所的確率写像の合成として定義される、合成可能で完全な枠組みが提示される。この定義により、操作的記述そのものより単純な公理的体系は存在しないことが明らかになる。

ABSTRACT

Cellular automata (CA) consist of an array of identical cells, each of which may take one of a finite number of possible states. The entire array evolves in discrete time steps by iterating a global evolution G. Further, this global evolution G is required to be shift-invariant (it acts the same everywhere) and causal (information cannot be transmitted faster than some fixed number of cells per time step). At least in the classical, reversible and quantum cases, these two top-down axiomatic conditions are sufficient to entail more bottom-up, operational descriptions of G. We investigate whether the same is true in the probabilistic case. Keywords: Characterization, noise, Markov process, stochastic Einstein locality, screening-off, common cause principle, non-signalling, Multi-party non-local box.

研究の動機と目的

• 局所的メカニズムで実装可能なPCAを、完全かつ合成可能である形で公理化する長年の問題に取り組む。
• 非信号伝達、スクリーニング・オフ、共通原因といった標準的な公理的原則が、局所的に実装可能なPCAを特徴づけることができるかを調査する。
• 標準的なPCA定義（例：Standard-PCA）が、特に遠く離れた領域に及ぶ相関関係を持つ場合に不完全で合成可能性を欠いていることを示す。
• 非信号伝達条件だけでは、古典的・量子的状況とは異なり、確率的系において局所化可能性を保証できないことを示す。
• 物理的に意味のある、シフト不変で局所的に実装可能な確率写像をすべて捉える新しい操作的PCA定義を確立する。

提案手法

• 二段階の操作的モデルを提案：まず、各セルの近傍に基づいて局所的確率写像 $ C $ がセルを更新する。次に、近隣の出力に基づいて局所的確率写像 $ D $ がセルを更新する。
• PCAを $ G = (igotimes D)(igotimes C) $ として定義し、$ C $ と $ D $ を有限近傍に作用する局所的確率行列とする。
• 反例を用いて、非信号伝達やスクリーニング・オフ条件が、長距離の統計的相関が存在する場合に局所化可能性を含まないことを示す。
• より厳密な因果性条件の階層である $ V^k $-因果性を導入し、$ k \to \infty $ の極限で最終的な操作的定義に収束することを示す。
• 合成可能性を分析し、新しい定義のもとで二つのPCA写像の合成が再びPCAであることを示し、反復に対する閉包性を保証する。
• 新しい定義が、Standard-PCAでは表現できない例（例：パリティPCA）を捉えられることを示し、完全性を証明する。

実験結果

リサーチクエスチョン

• RQ1 非信号伝達やスクリーニング・オフの原則だけでは、局所的に実装可能な確率的セルオートマトンを特徴づけられるか？
• RQ2 なぜ標準的なPCA定義（例：Standard-PCA）は、パリティPCAのような物理的に意味のあるモデルを捉えられていないのか？
• RQ3 操作的原則に整合し、恣意的な仮定を避ける合成可能で完全なPCAの公理的体系は存在するか？
• RQ4 非信号伝達を越えて、因果性が確率的系における局所的メカニズムによる確率写像の実装を保証する役割を果たすのはどのようなものか？
• RQ5 PCAの操作的記述は、より単純で抽象的な公理的体系に置き換え可能か、それとも自己完結的であるのか？

主な発見

• 非信号伝達条件だけでは、古典的・量子的状況とは異なり、確率的系において局所化可能性を保証できない。
• 遠く離れた領域に広がるグローバルな統計的相関を示すパリティPCAは、Standard-PCAでは表現できないため、従来の定義が不完全であることが証明される。
• 二つのStandard-PCA写像の合成は、必ずしもStandard-PCAではないため、標準的枠組みの合成可能性における根本的な欠陥が明らかになる。
• 提案された定義 $ G = (igotimes D)(igotimes C) $ は、完全かつ合成可能であり、すべてのシフト不変で局所的に実装可能な確率写像を捉えている。
• $ V^k $-因果性の極限 $ k \to \infty $ は、操作的モデルと同等の定義をもたらし、より単純な公理的体系が存在しないことを示す。
• 本稿は、操作的記述そのものより非自明な公理的体系は存在しないと結論づけ、分野における否定的だが基盤的となる結果をもたらす。