[論文レビュー] Supplementarity is Necessary for Quantum Diagram Reasoning

Simon Perdrix, Quanlong Wang|arXiv (Cornell University)|Jun 9, 2015

Logic, programming, and type systems被引用数 5

ひとこと要約

この論文は、補完性方程式——量子状態の基本的性質——がπ/2の倍数でない角度では導出不可能であることを示すことにより、Clifford+T量子力学におけるZXカルキュラスのπ/4断片が完全でないことを証明している。著者らは補完性のための図式的規則を導入し、反位相反対の統合を可能にし、完全に図式的解釈を提供することで、補完性が安定化子量子力学を超えた完全な図式的推論において不可欠であることを確立している。

ABSTRACT

The ZX-calculus is a powerful diagrammatic language for quantum mechanics and quantum information processing. We prove that its π/4-fragment is not complete, in other words the ZX-calculus is not complete for the so called "Clifford+T quantum mechanics". The completeness of this fragment was one of the main open problems in categorical quantum mechanics, a programme initiated by Abramsky and Coecke. The ZX-calculus was known to be incomplete for quantum mechanics. On the other hand, its π/2-fragment is known to be complete, i.e. the ZX-calculus is complete for the so called "stabilizer quantum mechanics". Deciding whether its π/4-fragment is complete is a crucial step in the development of the ZX-calculus since this fragment is approximately universal for quantum mechanics, contrary to the π/2-fragment. To establish our incompleteness result, we consider a fairly simple property of quantum states called supplementarity. We show that supplementarity can be derived in the ZX-calculus if and only if the angles involved in this equation are multiples of π/2. In particular, the impossibility to derive supplementarity for π/4 implies the incompleteness of the ZX-calculus for Clifford+T quantum mechanics. As a consequence, we propose to add the supplementarity to the set of rules of the ZX-calculus. We also show that if a ZX-diagram involves antiphase twins, they can be merged when the ZX-calculus is augmented with the supplementarity rule. Merging antiphase twins makes diagrammatic reasoning much easier and provides a purely graphical meaning to the supplementarity rule.

研究の動機と目的

• カテゴリカル量子力学における主要な未解決問題を解決すること：ZXカルキュラスのπ/4断片がClifford+T量子力学に対して完全であるか否か。
• 補完性方程式——量子状態の重要な性質——がZXカルキュラスの枠組み内で導出可能かどうかを調査すること。
• 補完性が、安定化子量子力学を超えて近似的な普遍性へ拡張するZXカルキュラスを拡張する際に必要不可欠であるかどうかを特定すること。
• ZX図式における反位相反対の概念を通じて、補完性の完全な図式的解釈を提供すること。
• 補完性規則を追加した拡張されたZXカルキュラスを提案し、図式的推論と完全性を向上させること。

提案手法

• 論文は、標準的解釈と書き換え規則の妥当性を用いて、ZXカルキュラスにおける補完性方程式の導出可能性を分析している。
• 角度がπ/2の倍数である場合に限り、補完性がZXカルキュラスで導出可能であることを示し、解釈J.K♯を用いた導出式を用いている。
• 図式の構造的およびスカラー的挙動を分析するために、修正された解釈J.K♯k,ℓが用いられている。
• 双代数則(B2)、ホップ則、およびπの吸収性を用いて、補完性方程式の両辺の図式を簡略化・比較している。
• 複雑な図式の標準的解釈を導出し、それらをスカラー方程式に還元して等価性を検証する手法が採用されている。
• 同じ色、同じ近傍、角度差がπである頂点——反位相反対——の概念が導入され、補完性の図式的表現としての役割を果たしている。

実験結果

リサーチクエスチョン

• RQ1 角度がπ/2の倍数でない、特にπ/4の場合に、補完性方程式がZXカルキュラスで導出可能か。
• RQ2 近似的な普遍性を有するにもかかわらず、ZXカルキュラスのπ/4断片がClifford+T量子力学に対して完全であるか。
• RQ3 補完性規則が、根本的な量子状態の性質に完全に図式的意味を与えるか。
• RQ4 ZX図式における反位相反対は、補完性規則を用いて統合可能か。また、これにより図式的推論が簡略化されるか。
• RQ5 補完性は、安定化子量子力学を超えてZXカルキュラスを拡張し、Clifford+T回路に対して完全性を達成する際に不可欠か。

主な発見

• 角度がπ/4の場合、ZXカルキュラスのπ/4断片はClifford+T量子力学に対して完全でない。補完性方程式は導出不可能である。
• 補完性は、関係する角度がπ/2の倍数である場合に限りZXカルキュラスで導出可能であり、導出可能性の明確な境界が特定された。
• ZXカルキュラスの標準的解釈は妥当であり、この解釈下での補完性方程式の導出は、α ≡ 0 mod π/2 という条件に帰着する。
• 解釈から導出された方程式 (1 + e²ⁱᵃ)(1 − e⁴ⁱᵃ) = 0 は、α がπ/2の倍数である場合にのみ成立する。
• 補完性規則を追加することで、反位相反対の統合が可能となり、図式的推論が簡略化され、規則に図式的意味付けが与えられる。
• 補完性規則を追加しても、一般にはZXカルキュラスは完全性を失ったままであり、例えば角度に奇数を乗じるといった代替解釈が依然として妥当であるため。