[論文レビュー] A universal completion of the ZX-calculus

Kang Feng Ng, Quanlong Wang|arXiv (Cornell University)|Jun 29, 2017

Quantum Mechanics and Applications参考文献 11被引用数 46

ひとこと要約

本稿は、ZWカルクリュースの完全性を活用することで、純粋なキュービット量子力学の全理論についてZXカルクリュースの完全性を確立する。実数値の位相とラムダボックスを拡張した図式的ルールを導入し、ZXカルクリュースとZWカルクリュースの間で可逆な翻訳を構築し、すべてのZW書き換えルールが翻訳のもとで保存されることを証明することで、キュービット上の量子力学における普遍的完全性を達成する。

ABSTRACT

In this paper, we give a universal completion of the ZX-calculus for the whole of pure qubit quantum mechanics. This proof is based on the completeness of another graphical language: the ZW-calculus, with direct translations between these two graphical systems.

研究の動機と目的

• 純粋なキュービット量子力学の全理論について、ZXカルクリュースの完全性を確立すること。
• 長年の未解決問題である、ZXカルクリュースが量子力学におけるすべての有効な等式を完全に捉えられるかという問題に取り組むこと。
• ZXカルクリュースとZWカルクリュースの間のギャップを埋めるために、可逆的かつ構造を保存する翻訳を構築すること。
• 標準のZX位相を用いて表現可能な新しい図式的記号（ラムダボックスと三角形）をZXカルクリュースに拡張すること。
• ZWカルクリュースのキュービット量子力学における完全性が、翻訳とルール保存を通じてZXカルクリュースの完全性を示すことに寄与することを示すこと。

提案手法

• ラムダボックス（λ ≥ 0）と三角形の2つの新しい図式的要素を導入し、これらは標準のZXカルクリュースにおける位相ゲートを用いて表現可能である。
• ZXカルクリュースからZWカルクリュースへの可逆な翻訳写像（J·KXW）とその逆（J·KWX）を定義し、図式の構造と解釈を保存する。
• ZWカルクリュースのすべての書き換えルールが、ZXカルクリュースへの翻訳のもとで有効であることを証明し、ルールの一貫性を保証する。
• 既知のZWカルクリュースの普遍的キュービット量子力学における完全性を基礎的事実として用いる。
• 翻訳写像とルール保存を適用することで、ヒルベルト空間解釈における量子力学で有効な任意の等式がZXカルクリュースで導出可能であることを示す。
• 両カテゴリのモノイダル構造と解釈ファンクターの構成的性質を活用し、翻訳間で整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 ZXカルクリュースは、純粋なキュービット量子力学の全領域について普遍的完全性を有するか？
• RQ2 ZWカルクリュースのキュービット量子力学における完全性は、ZXカルクリュースの完全性を示すのに十分か？
• RQ3 ラムダボックスや三角形のような新しい図式的要素は、構文の拡張なしに標準のZXカルクリュース内で表現可能か？
• RQ4 ZWカルクリュースの書き換えルールは、ZXカルクリュースに翻訳された際にも有効に保たれるか？
• RQ5 ZXカルクリュースとZWカルクリュースの間で、可逆的かつ構造を保存する翻訳を構築できるか、それによって完全性の結果を移転できるか？

主な発見

• ZXカルクリュースは、普遍的純粋キュービット量子力学について完全である。すなわち、ヒルベルト空間の意味論において有効なすべての等式が、そのルールを用いて導出可能である。
• 完全性の結果は、ZWカルクリュースの書き換えルールがZXカルクリュースへの翻訳のもとで保存されることを証明することで達成される。
• ラムダボックス（λ ≥ 0）と三角形の記号は、位相ゲートとその代数的組み合わせを用いて、標準のZXカルクリュース内で表現可能である。
• ZXからZWへの翻訳とその逆は可逆的かつ構造を保存する。両者の合成写像は、ZX図式上で恒等写像を生成する。
• 証明は、キュービット量子力学におけるZWカルクリュースの完全性を前提としており、既知の基礎的事実として想定される。
• この結果により、ZXカルクリュースがキュービット上での量子力学の普遍的図式的言語であることが確認され、安定化子やClifford+T量子力学の制限的フラグメントに対する従来の完全性結果が拡張される。