[論文レビュー] Graphs States and the necessity of Euler Decomposition

Ross Duncan, Simon Perdrix|arXiv (Cornell University)|Feb 3, 2009

Quantum Mechanics and Applications参考文献 9被引用数 10

ひとこと要約

この論文は、グラフ状態における局所補完同値性に関するVan den Nestの定理を証明するための必要不可欠な新しい公理として、アダマールゲートのオイラー分解を、圏的量子力学の枠組みに導入する。赤-緑計算に基づく図式的計算を用いて、著者たちは、その定理がオイラー分解と論理的に同値であることを示し、既存の公理から導けないことを、モデルに基づく反例によって証明する。

ABSTRACT

Coecke and Duncan recently introduced a categorical formalisation of the interaction of complementary quantum observables. In this paper we use their diagrammatic language to study graph states, a computationally interesting class of quantum states. We give a graphical proof of the fixpoint property of graph states. We then introduce a new equation, for the Euler decomposition of the Hadamard gate, and demonstrate that Van den Nest's theorem--locally equivalent graphs represent the same entanglement--is equivalent to this new axiom. Finally we prove that the Euler decomposition equation is not derivable from the existing axioms.

研究の動機と目的

• 赤-緑計算における圏的量子力学の枠組みにおいて、アダマールゲートのオイラー分解を新たな公理として追加する必要性を確立すること。
• Van den Nestの定理（局所的に同値なグラフが同じもつれを表す）が、アダマールゲートのオイラー分解と論理的に同値であることを証明すること。
• アダマールゲートのオイラー分解が、赤-緑計算の既存の公理から導けないことを示すこと。
• オイラー分解が成立しない赤-緑計算のモデル（特に $ n = 2 $ の場合の $ \llbracket \cdot \rrbracket_n $）を構築し、それが公理系から独立であることを証明すること。
• 抽象的な圏的量子力学と、特に測定ベース量子計算における具体的な量子情報問題との橋渡しをすること。

提案手法

• 量子プロセスを図式的に表現するための赤-緑計算を、量子状態と操作の図として用いる。
• Z状態と制御Zゲートによって生成される特定の図式としてグラフ状態を定義し、図式的計算を用いてその不動点性を証明する。
• アダマールゲートのオイラー分解式を導入する：$ H = p_Z(-\pi/2) \circ p_X(-\pi/2) \circ p_Z(-\pi/2) $、ここで $ p_X $ および $ p_Z $ は位相シフトを表す。
• 図式的推論を用いて、Van den Nestの定理とオイラー分解との論理的同値性を確立する。
• 既存のすべての公理を保存するが、$ n \geq 2 $ ではオイラー分解を無効にする関手 $ \llbracket \cdot \rrbracket_n $ を構築し、それが非導出性を証明する。
• モデル理論的アプローチを用いて、オイラー分解が現在の公理集合から独立であることを示し、その失敗するモデルを提示する。

実験結果

リサーチクエスチョン

• RQ1 赤-緑計算の既存の公理から、アダマールゲートのオイラー分解は導けるか？
• RQ2 グラフ状態の局所補完に関するVan den Nestの定理は、現在の圏的量子力学の枠組み内で導けるか？
• RQ3 Van den Nestの定理とアダマールゲートのオイラー分解との同値性は、図式的に証明可能か？
• RQ4 図式的計算においてVan den Nestの定理を証明するために必要な最小の追加公理の集合は何か？
• RQ5 現在のシステムにオイラー分解が存在しないことで、グラフ状態に関する非自明な結果が得られなくなるか？

主な発見

• Van den Nestの定理は、図式的計算においてアダマールゲートのオイラー分解と論理的に同値である。
• アダマールゲートのオイラー分解は、赤-緑計算の既存の公理から導けない。
• オイラー分解が失敗する赤-緑計算のモデル（特に $ n = 2 $ の $ \llbracket \cdot \rrbracket_n $）が存在し、それが独立性を証明する。
• オイラー分解を公理として追加することで、理論の不整合が解消される：以前は証明不能であった、2つの異なるアダマールゲートの表現が等価であることが保証される。
• この結果は、見かけ上抽象的な公理（オイラー分解）が、量子情報分野における非自明な結果（Van den Nestの定理）を証明するために不可欠であることを示している。
• この発見は、測定ベース量子計算における具体的な問題を検討することで生じ、抽象的な圏的枠組みが実用的な量子情報問題を解決する価値を持つことを強調している。