[論文レビュー] Models of Quantum Cellular Automata

Carlos A. Pérez-Delgado, Donny Cheung|Kent Academic Repository (University of Kent)|Aug 23, 2005

Quantum-Dot Cellular Automata参考文献 3被引用数 6

ひとこと要約

本稿では、4つのモデル—従来のQCA、マーゴラスQCA、カラーデQCA、連続時間QCA—を導入することで、量子セルオートマトン（QCA）の統一的枠組みを提示する。これらのモデルの計算的同等性を示し、古典的セルオートマトンおよび量子回路モデルの一般化であることを示している。主な貢献は、量子計算をサポートし、アルゴリズム設計と物理的実装を可能にする、形式的で並進不変かつ可逆なQCAモデルの構築である。

ABSTRACT

In this paper we present a systematic view of Quantum Cellular Automata (QCA), a mathematical formalism of quantum computation. First we give a general mathematical framework with which to study QCA models. Then we present four different QCA models, and compare them. One model we discuss is the traditional QCA, similar to those introduced by Shumacher and Werner, Watrous, and Van Dam. We discuss also Margolus QCA, also discussed by Schumacher and Werner. We introduce two new models, Coloured QCA, and Continuous-Time QCA. We also compare our models with the established models. We give proofs of computational equivalence for several of these models. We show the strengths of each model, and provide examples of how our models can be useful to come up with algorithms, and implement them in real-world physical devices.

研究の動機と目的

• 量子セルオートマトン（QCA）の異なるモデルを一つの形式的枠組みに統合すること。
• 古典的セルオートマトンを一般化し、既存のQCAモデルを包含する一般的な数学的枠組みを確立すること。
• 従来のQCA、マーゴラスQCA、カラーデQCA、連続時間QCAといった異なるQCAモデル間の計算的同等性を示すこと。
• 提案されたモデルが普遍的量子計算をサポートし、物理的実装に適していることを示すこと。
• QCAの原理を用いて量子アルゴリズムを設計し、物理的量子デバイスにマッピングする基盤を提供すること。

提案手法

• d次元の整数格子上に、局所的で並進不変なユニタリ発展演算子を有限近傍に作用させる基本的QCAモデルを定義する。
• 部分トレースに基づく整合性条件を用いて、有限部分集合上の状態族がグローバルな発展演算と整合することを保証する。
• 相互作用を局所化するため、N(x) = x + N という近傍スキームを導入する。ここでNは原点を含む有限集合である。
• 近傍上に作用するユニタリ演算子U_N(A)を用いてグローバルな発展演算を定義し、格子全体にわたる並進不変性を強制する。
• 格子の各点に周期的な色分けを割り当てることでカラーデQCAを提案し、色のペアに基づく構造的・非一様な結合ルールを可能にする。
• 時間に依存するハミルトニアンを用い、最近接結合を有する連続時間QCA（CTQCA）を導入する。時間発展演算子はU[t] = ∫e^{iH(t)}dtで与えられ、動的挙動はこれに従う。

実験結果

リサーチクエスチョン

• RQ1 多様なQCAモデルおよび量子格子ガスやパルス駆動量子コンピュータといった関連現象を包含する統一的数学的枠組みを構築するには、どのようにすればよいか？
• RQ2 従来のQCA、マーゴラスQCA、カラーデQCA、連続時間QCAといった異なるQCAモデルが、どのような条件下で計算的に同等となるか？
• RQ3 提案されたQCAモデルは、量子回路モデルをシミュレートでき、普遍的量子計算をサポートできるか？
• RQ4 QCAモデルは、固体系を含む実際の量子デバイスに物理的に実装可能か？ その場合の適応法は何か？
• RQ5 離散時間QCAと連続時間QCAの関係は何か？ 一方が他方を近似可能か？

主な発見

• 提案されたQCA枠組みは、従来のQCA、マーゴラスQCA、カラーデQCA、連続時間QCAを特別な場合として包含できるほど一般性を持つ。
• モデル間の計算的同等性が証明された：マーゴラスQCAはブロック符号化構成により従来のQCAでシミュレート可能であり、逆も同様である。
• カラーデQCAは、格子の色分けに基づく構造的・非一様な結合ルールを可能にし、モジュール型設計と物理的実装を容易にする。
• 連続時間QCAは離散時間QCAと計算的に同等であることが示された。CTQCAはCQCAを正確にシミュレート可能であり、CQCAはΔT → 0の極限でCTQCAを近似可能である。
• この枠組みは、可逆的で局所的かつ並進不変な発展演算をサポートしており、固体状態NMRや捕獲イオンといった系における物理的実現に適している。
• これらのモデルは、物理デバイス上での量子計算の自然な抽象化を提供し、量子ウォークや拡散ダイナミクスの実装例が示されている。