[論文レビュー] Cellular Automata as a Model of Physical Systems

Donny Cheung, Carlos A. Pérez-Delgado|Kent Academic Repository (University of Kent)|Sep 10, 2008

Cellular Automata and Applications参考文献 14被引用数 3

ひとこと要約

この論文は、細胞オートマトン（CA）を抽象的な数学的モデルではなく、物理的理論として再定義し、同期化とリソース制約を考慮することで物理的に整合性を持つようにするための閉じた細胞オートマトン（CCA）を導入する。主な貢献は、物理的根拠に基づく枠組みを提供し、厳密な量子化を可能にし、局所ユニタリ量子細胞オートマトン（LUQCA）を生み出すことである。LUQCAは、任意の量子計算および任意の精度で離散化された均一な量子系を効率的にシミュレートできる。

ABSTRACT

Cellular Automata (CA), as they are presented in the literature, are abstract mathematical models of computation. In this pa- per we present an alternate approach: using the CA as a model or theory of physical systems and devices. While this approach abstracts away all details of the underlying physical system, it remains faithful to the fact that there is an underlying physical reality which it describes. This imposes certain restrictions on the types of computations a CA can physically carry out, and the resources it needs to do so. In this paper we explore these and other consequences of our reformalization.

研究の動機と目的

• 従来の細胞オートマトンが無限格子上で瞬時に同期して更新されることを仮定しているが、これは物理的に現実的でないため、その物理的非現実性を是正すること。
• メモリや同期化などの物理的リソースを考慮することで、細胞オートマトンを物理的系の理論として形式化すること。
• 物理的に意味のある細胞オートマトンの量子化の基盤を確立し、量子モデルが実際に存在する物理的系に対応することを保証すること。
• CCAが任意の可逆的CAをシミュレートできることを示し、従来のCAがリソースコストを伴って系統的にCCAに変換可能であることを示すこと。
• 量子回路および均一な量子系を効率的にシミュレートできるユニバーサルな量子細胞オートマトン（LUQCA）の構築を可能にすること。

提案手法

• 従来のCAの物理的再定式化として、同期化と更新フェーズを明示的に要求する閉じた細胞オートマトン（CCA）を導入する。
• CCAを二段階プロセスとして定義する：相互作用（セルが隣接セルに基づいて新しい状態を計算する段階）と、独立した更新（状態が再書き込みされる段階）。
• 相互作用フェーズと更新フェーズを物理的に実現するために、二重レジスタ格子モデル（Σ × Σ）を用いる。これにより、瞬時のグローバル同期が回避される。
• 量子の場合にユニタリ演算子に対して平行移動の可換性を適用し、空間的および時間的均一性を保証する。
• 有限次元ヒルベルト空間上でのユニタリ局所的相互作用および更新演算子を用いることで、CCAの量子版として局所ユニタリ量子細胞オートマトン（LUQCA）を構築する。
• LUQCAが任意の量子回路をシミュレートでき、有限領域の均一な量子系の時間発展を任意の精度で効率的に近似できることを示す。

実験結果

リサーチクエスチョン

• RQ1 従来の細胞オートマトンは、リソース制限や同期制約を考慮することで、物理的に整合性のあるモデルとして再定式化可能か？
• RQ2 物理的系を正しく表すために、メモリや更新タイミングなどの物理的制約をどのように定義すべきか？
• RQ3 標準的なCAから、計算的挙動を保ちながら物理的に整合性のある古典的CAモデル（CCA）をどのように構築できるか？
• RQ4 物理的根拠に基づく古典的モデルから、実際に存在する量子系に対応する量子細胞オートマトンを導出可能か？
• RQ5 任意の量子計算を正確かつ効率的にシミュレートできるユニバーサルな量子細胞オートマトンは存在するか？

主な発見

• 閉じた細胞オートマトン（CCA）は、瞬時のグローバル更新などの物理的に不可能な挙動を排除するため、物理的更新順序を明示することで実現される。
• 任意の従来のCAは、有効な手続きにより系統的にCCAに変換可能であるが、明示的なメモリと同期の管理に伴いリソースコストが生じる可能性がある。
• 可逆的従来CAは、可逆性を保ちつつ物理的実現可能性を確保するため、可逆的CCAに変換可能である。
• 局所ユニタリ量子細胞オートマトン（LUQCA）形式は、ユニタリ操作により量子可逆性を保証する物理的に整合性のあるCAの量子化を提供する。
• 任意の量子計算を正確かつ効率的にシミュレートできるユニバーサルなLUQCAが存在する。
• LUQCAは、任意の有限領域の均一な量子系の時間発展を任意の精度でシミュレートでき、物理的量子系の離散化モデルとしての有効性が立証される。