[論文レビュー] N-dimensional Quantum Cellular Automata

Pablo Arrighi, Vincent Nesme+1 more|arXiv (Cornell University)|Nov 26, 2007

Quantum-Dot Cellular Automata被引用数 6

ひとこと要約

本稿は、グラフ上のユニタリかつ因果的量子進化についての表現定理を確立し、このようなグローバルなダイナミクスが、隣接ノードにのみ作用する量子回路によって局所的に実装可能であることを証明する。これは、アタイオマティックなQCAと構成的QCAの両アプローチを橋渡しし、離散時空グラフ上の量子進化において、因果性とユニタリティが局所的構造を強制することを示している。

ABSTRACT

We consider a graph with a single quantum system at each node. The entire compound system evolves in discrete time steps by iterating a global evolution $U$. We require that this global evolution $U$ be unitary, in accordance with quantum theory, and that this global evolution $U$ be causal, in accordance with special relativity. By causal we mean that information can only ever be transmitted at a bounded speed, the speed bound being quite naturally that of one edge of the underlying graph per iteration of $U$. We show that under these conditions the operator $U$ can be implemented locally; i.e. it can be put into the form of a quantum circuit made up with more elementary operators -- each acting solely upon neighbouring nodes. We take quantum cellular automata as an example application of this representation theorem: this analysis bridges the gap between the axiomatic and the constructive approaches to defining QCA. KEYWORDS: Quantum cellular automata, Unitary causal operators, Quantum walks, Quantum computation, Axiomatic quantum field theory, Algebraic quantum field theory, Discrete space-time.

研究の動機と目的

• 量子セルオートマトン（QCA）の数学的基盤を、ユニタリティと因果性といった基本的物理原則に基づいて確立すること。
• QCAのアタイオマティックな定義と、それらの具体的な構成的実装との間のギャップを解消すること。
• グローバルなユニタリ進化が因果的制約のもとで、必ず局所的最近接相互作用から生じることを示すこと。
• 量子セルオートマトンを離散時空モデルと結びつける厳密な枠組みを提供すること。

提案手法

• グラフの各ノードに量子系を配置し、グローバルな進化をユニタリ演算子 $U$ で記述する。
• 情報が1ステップあたり最大1本の辺を越えて伝播できないようにすることで因果性を課し、ライトコーン構造を強制する。
• 代数的および作用素論的技法を用いて $U$ の構造を分析し、それが局所的に実装可能でなければならないことを示す。
• 隣接ノードにのみ作用する基本的なユニタリ演算子を用いて $U$ の量子回路分解を構成する。
• グローバルな進化 $U$ が、離 discrete 時空因果性と整合的な局所ユニタリ操作の系列に分解可能であることを示す。
• この枠組みを量子セルオートマトンに適用し、QCAがユニタリティと因果性の公理から自然に生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 因果的制約のもとで、グラフ上のグローバルなユニタリ進化は、局所的最近接操作に分解可能か？
• RQ2 離散的時間と空間における因果性は、量子系におけるユニタリ演算子の構造にどのように制約を加えるか？
• RQ3 グラフ上のユニタリ進化が局所的量子回路によって物理的に実現可能であるための条件は何か？
• RQ4 ユニタリティと因果性の公理が、量子セルオートマトンのダイナミクスをどの程度一意に決定づけるか？
• RQ5 この枠組みは、QCAのアタイオマティックな定義と構成的定義の両アプローチをどの程度統合するか？

主な発見

• グローバルなユニタリ進化 $U$ は、最近接ノードに作用するユニタリゲートから成る量子回路として局所的に実装可能でなければならない。
• 信号伝播速度の上限（因果性）が、グローバル進化が局所的相互作用に分解されることを強制する。
• 表現定理により、任意のユニタリかつ因果的進化は、局所的量子操作の系列から生じることが証明される。
• 量子セルオートマトンは、離散時空におけるユニタリティと因果性の公理から自然に生じる。
• この枠組みはQCAの構成的実現を提供し、抽象的なアタイオマティックな定義と物理的実装可能性とのギャップを解消する。