[論文レビュー] Embedding classical into quantum computation

Richard Jozsa|ArXiv.org|Dec 24, 2008

Quantum Computing Algorithms and Architecture参考文献 3被引用数 6

ひとこと要約

本稿では、古典的に効率的にシミュレート可能な量子回路を特定する形式的枠組みを導入し、Gottesman-Knillの定理におけるクリフォード回路とValiantの定理におけるマッチゲート回路が特殊ケースであることを示している。主な貢献は、非近隣相互作用を許容する、または行列式制約を緩和するといった最小限の拡張が、普遍的量子計算能力を回復することを明らかにした点にあり、これはエンタングルメントそのものが量子優位性の唯一の要因ではないことを示唆している。

ABSTRACT

We describe a simple formalism for generating classes of quantum circuits that are classically efficiently simulatable and show that the efficient simulation of Clifford circuits (Gottesman-Knill theorem) and of matchgate circuits (Valiant's theorem) appear as two special cases. Viewing these simulatable classes as subsets of the space of all quantum computations, we may consider minimal extensions that suffice to regain full quantum computational power, which provides an approach to exploring the efficacy of quantum over classical computation.

研究の動機と目的

• 古典的に効率的にシミュレート可能な量子回路族を特定する一般形式的枠組みを構築すること。
• Gottesman-Knillの定理とValiantの定理を共通の構造的枠組みの下で統一すること。
• 古典的にシミュレート可能なクラスを超えて、普遍的量子計算的ユニバーサリティを回復させる最小限の量子的拡張を同定すること。
• パウリ群やクリフォード代数といった代数的構造が、古典的シミュレーションを可能にする理由を調査すること。
• 特定の古典的にシミュレート可能な基盤に対して、量子計算的パワーの「本質」を同定すること。

提案手法

• S_nとその関連する正規化群K_nを定義し、K_nがS_nの構造を共役作用に関して保存することを保証する。
• クリフォード回路における安定化子形式を用い、クリフォードゲートによる共役作用がパウリ演算子の積構造を保存することを示す。
• マッチゲート回路にジョルダン＝ヴァイナー表現を適用し、近隣相互作用マッチゲートがクリフォード代数の線形部分の正規化子として作用することを示す。
• 量子状態の時間発展が共役作用に関して多項式的に有界な部分空間内に留まる場合、古典的シミュレーションが効率的に行えることを示す。
• 近隣相互作用から任意距離へのゲート範囲の拡張が、シミュレータビリティと計算パワーに与える影響を分析する。
• 複雑性理論的議論を用いて、マッチゲートのゲート範囲を近隣から超えると、P = NP = PPが崩壊することを示し、これにより超古典的計算パワーが生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 量子回路にどのような構造的条件が満たされると、古典的に効率的にシミュレート可能になるか？
• RQ2 Gottesman-Knillの定理とValiantの定理を、一つの形式的枠組みで統一できるか？
• RQ3 古典的にシミュレート可能な回路族に、どのような最小限の量子資源を追加すると、普遍的量子計算的ユニバーサリティが回復するか？
• RQ4 なぜ特定の代数的構造（例：パウリ群、クリフォード代数）が、量子時間発展にもかかわらず古典的シミュレーションを可能にするのか？
• RQ5 古典的シミュレータビリティは、ユニタリ共役作用に関して多項式的に有界な部分空間の保存に依存しているとみなせるか？

主な発見

• Gottesman-Knillの定理とValiantの定理は、S_nに対するゲート集合の正規化性という形式的枠組みの下で統一され、古典的シミュレータビリティが生じる。
• 量子状態の時間発展がユニタリ共役作用に関して多項式的に有界な部分空間（例：パウリ群、クリフォード代数の線形部分）に留まる場合、古典的シミュレーションが可能となる。
• 非近隣相互作用を許容する、またはマッチゲートの行列式制約を緩和するといった最小限の拡張が、普遍的量子計算的ユニバーサリティを回復する。
• 孤立した単一のSWAPゲート（ほぼマッチゲート）の導入が、ユニバーサリティの回復に十分であり、これによりこれらのゲートが最小限の量子資源である可能性を示唆している。
• 近隣マッチゲートの範囲を第二近隣まで拡張すると、P = NP = PPが成立することになり、これはその拡張が真の量子計算パワーを導入することを示している。
• 多項式的に有界な部分空間に留まるという性質が、指数的に大きな代数的構造（例：パウリ群、クリフォード代数）を有するにもかかわらず、共役作用に関しては計算が容易に保たれることから、深い構造的簡略化が存在することが明らかになった。