[論文レビュー] Completeness of the Phase-free ZH-calculus

John van de Wetering, Sal Wolffs|arXiv (Cornell University)|Apr 16, 2019

Logic, programming, and type systems参考文献 10被引用数 6

ひとこと要約

本稿では、ラベルなしHボックスに制限された、完全で位相のないZHカルキュラスの断片を提示する。これは、ZHカルキュラスにおけるHボックスとZX三角形生成子を結ぶ、新しい規則を含む最小限の規則集合を導入することで達成される。完全性は、ヴィルマーの完全な∆ZXカルキュラスへの還元により証明され、位相パrameterを含まないToffoli+ハダマードゲートセットによる量子回路の推論が可能になる。

ABSTRACT

The ZH-calculus is a graphical calculus for linear maps between qubits that allows a natural representation of the Toffoli+Hadamard gate set. The original version of the calculus, which allows every generator to be labelled by an arbitrary complex number, was shown to be complete by Backens and Kissinger. Even though the calculus is complete, this does not mean it allows one to easily reason in restricted settings such as is the case in quantum computing. In this paper we study the fragment of the ZH-calculus that is phase-free, and thus is closer aligned to physically implementable maps. We present a modified rule-set for the phase-free ZH-calculus and show that it is complete. We further discuss the minimality of this rule-set and we give an intuitive interpretation of the rules. Our completeness result follows by reducing to Vilmart's rule-set for the phase-free $Δ$ZX-calculus.

研究の動機と目的

• 位相パrameterを含まない、物理的に意味のあるZHカルキュラスの断片を構築し、実装可能な量子回路と整合させる。
• 位相のないZHカルキュラスに適した最小限で直感的な規則集合を特定し、安定化子回路の推論を可能にする。
• 既知の完全な∆ZXカルキュラスへの還元により、位相のないZHカルキュラスの完全性を確立する。
• 規則集合の最小性を分析し、大多数の規則に古典的解釈を提供することで、概念的明確性を高める。
• 新たに導入された規則が完全性のために本当に必要かどうかを検討し、証明における必要性を問い直す。

提案手法

• 位相依存の規則を削除し、位相のない設定で有効な規則のみを保持することで、完全なZHカルキュラスを変更する。
• 2つの新しい規則を導入する：(Z) はスカラー係数（特に1/√2）を扱うためのものであり、(&) はHボックスとZX三角形によるANDゲートの2通りの構成を等価にするためのものである。
• 位相のないZHカルキュラスの完全性を、ヴィルマーの∆ZXカルキュラスの完全性への還元により証明する。既存の完全性結果を活用する。
• 図式的推論と書き換え規則を用いて、同じ線形写像を表すすべての図式が、新しい規則集合のもとで互いに変換可能であることを示す。
• 生成子を標準的な古典的論理ゲート（例：COPY、XOR、AND、NOT）に対応させることで、規則の古典的解釈を提供する。
• 最小性分析を実施し、すべての規則を満たすが1つの規則を除いた代替解釈を構築することで、重要な規則の必要性を証明する。

実験結果

リサーチクエスチョン

• RQ1 位相のない、完全なZHカルキュラスの断片は、Toffoli+ハダマード回路の推論を可能にするものか？
• RQ2 位相パrameterや複雑なラベルに依存せずに、位相のないZHカルキュラスの完全性を確立できるか？
• RQ3 新た導入された2つの規則—(Z) と (&)—は完全性のために厳密に必要であるのか、それとも導出可能であるか？
• RQ4 位相のないZHカルキュラスの規則は、古典論理ゲートの性質として解釈可能か？
• RQ5 ∆ZXカルキュラスへの還元なしに、ZHカルキュラス内で直接的な完全性証明を構築できるか？

主な発見

• 位相のないZHカルキュラスは、HボックスとZX三角形によるANDゲートの2通りの構成を等価にする新しい規則(&)を含む、最小限の規則集合により完全である。
• 完全性は、完全な∆ZXカルキュラスへの還元により確立され、それ自体がZWカルキュラスの完全性に依存している。
• スカラー1/√2を扱う規則(Z)は、現在の証明枠組みでは必要であるが、直接的な完全性証明では回避可能である可能性がある。
• 規則(&)は主に、∆ZXカルキュラスにおけるHボックスと三角形の解釈の等価性を証明するために使用されており、完全性にとって本質的でない可能性がある。
• システム内の大多数の規則は、標準論理ゲート（例：COPY、XOR、AND、NOT）の性質として明確な古典的解釈を持つ。
• 最小性分析により、少なくとも(HS2)または(BA1)、(ZS2)または(BA2)、および(BA2)または(O)のいずれかが含まれている必要があることが示され、重要な規則の構造的必要性が裏付けられる。