[論文レビュー] Unitarity in one dimensional nonlinear quantum cellular automata

David Meyer|ArXiv.org|May 15, 1996

Cellular Automata and Applications参考文献 42被引用数 19

ひとこと要約

この論文は、線形性制約を緩和することで、1次元における非自明で一様かつユニタリな量子セルオートマトン（QCA）の存在を確立し、ユニタリティが局所的遷移振幅における可解な制約と同値であることを証明する。非線形QCAの明示的なパラメータ化された族を提示し、1次元系におけるユニタリティの決定可能性を示す。

ABSTRACT

Unitarity of the global evolution is an extremely stringent condition on finite state models in discrete spacetime. Quantum cellular automata, in particular, are tightly constrained. In previous work we proved a simple No-go Theorem which precludes nontrivial homogeneous evolution for linear quantum cellular automata. Here we carefully define general quantum cellular automata in order to investigate the possibility that there be nontrivial homogeneous unitary evolution when the local rule is nonlinear. Since the unitary global transition amplitudes are constructed from the product of local transition amplitudes, infinite lattices require different treatment than periodic ones. We prove Unitarity Theorems for both cases, expressing the equivalence in $1+1$ dimensions of global unitarity and certain sets of constraints on the local rule, and then show that these constraints can be solved to give a variety of multiparameter families of nonlinear quantum cellular automata. The Unitarity Theorems, together with a Surjectivity Theorem for the infinite case, also imply that unitarity is decidable for one dimensional cellular automata.

研究の動機と目的

• 局所的ルールが非線形である場合に、1次元量子セルオートマトンにおいて非自明で一様かつユニタリな時間発展が可能かどうかを調査すること。線形QCAの制限を乗り越える。
• 無限大および周期的格子の両方に対して、量子セルオートマトンを厳密に定義し、グローバルな振幅積構造のための取り扱いの違いを明確にすること。
• 経路重み付きグラフ表現を用いて、局所的遷移振幅にかかる制約を導出し、グローバルユニタリティの必要十分条件を確立すること。
• グローバルユニタリティと局所的制約の同値性を証明することで、1次元QCAにおけるユニタリティの決定可能性を示すこと。
• 非線形QCAの計算的および物理的意味、特に臨界的挙動や連続極限の可能性について探求すること。

提案手法

• 有限近傍に作用する局所的ルールを持つ量子セルオートマトンを定義し、収束性および全射性の要件から、無限大格子と周期的格子の区別を行う。
• 重み付きグラフ $G_1$ および $G_2$ 上の配置と経路の間の一対一対応を用い、グローバルユニタリティを経路重み制約に翻訳する。
• ユニタリティ定理3.9および3.10を導出し、グローバルユニタリティがグラフ表現における経路重みのノルム保存制約と同値であることを示す。
• 無限大格子に対して全射性定理（3.18）を導入し、全射性がユニタリティの独立した必要条件であることを証明する。
• 導出された制約を解くことで、非線形QCAの明示的な多パラメータ族を構成し、$2^{k-1}$ 個の振幅ベクタフレームを含むケースを含む。
• 生成関数および行列表現（例：$A_2^n$）を用いて経路重みを計算し、ルール空間の一貫性を検証する。

実験結果

リサーチクエスチョン

• RQ1 局所的ルールが非線形である場合に、1次元量子セルオートマトンにおいて非自明で一様かつユニタリな時間発展が存在可能か？
• RQ2 1次元QCAにおけるグローバルユニタリティのための局所的遷移振幅の必要十分条件は何か？
• RQ3 1次元量子セルオートマトンにおけるユニタリティは決定可能か？ もしそうなら、どのような条件下で？
• RQ4 非線形QCAのルール空間は線形QCAのそれとどのように異なり、どのような構造的特徴が現れるか？
• RQ5 これらの非線形QCAの連続極限を意味的に定義可能か？ また、臨界的挙動を示すか？

主な発見

• 非線形的で一様かつユニタリな1次元量子セルオートマトンが存在し、線形性を緩和することで線形的ノーゴ定理を回避しつつユニタリティを維持している。
• グローバルユニタリティは、局所的遷移振幅における有限個の代数的制約と同値であり、これらは可解であり、多パラメータ族のQCAを生成する。
• 無限大格子では、ユニタリティにはノルム保存と全射性の両方が必要であり、後者は全射性定理によって独立した条件として捉えられる。
• 小規模近傍QCAの局所的ルール空間は多次元的であり、最大で $2^{k-1}$ 個の異なる振幅ベクタフレームを持つため、豊かな量子的挙動を示す。
• ユニタリティは1次元QCAにおいて決定可能であり、グローバルユニタリティと局所的制約の同値性により、アルゴリズム的検証が可能である。
• 結果から、非線形QCAは臨界的挙動を支持する可能性があり、計算的ユニバーサリティが臨界点で出現するという予想を調査する自然な設定であると示唆される。