[論文レビュー] A Near-Optimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics

Renaud Vilmart|arXiv (Cornell University)|Dec 21, 2018

Quantum Computing Algorithms and Architecture参考文献 8被引用数 9

ひとこと要約

本稿では、純粋なキュービット量子力学における普遍ZXカルキュラスの近似的に最適な完全な公理体系を2つ提示する。単一の物理的に直感的なオイラー分解規則（EU）を導入し、0→1および1→1の図式における特異値分解（SVD）正規形を活用することで、最小限で意味のある公理を実現し、それらは必要不可欠であり、物理的解釈も可能である。

ABSTRACT

Recent developments in the ZX-Calculus have resulted in complete axiomatisations first for an approximately universal restriction of the language, and then for the whole language. The main drawbacks were that the axioms that were added to achieve completeness were numerous, tedious to manipulate and lacked a physical interpretation. We present in this paper two complete axiomatisations for the general ZX-Calculus, that we believe are optimal, in that all their equations are necessary and moreover have a nice physical interpretation.

研究の動機と目的

• 従来の普遍ZXカルキュラスの完全な公理体系において、直感的で最小限かつ物理的解釈可能な公理の欠如に対処すること。
• すべての純粋キュービット量子プロセスに対して完全性を保ちつつ、ZXカルキュラスの構造的直感性を回復すること。
• ZX図式の特異値分解（SVD）に基づく新しい正規形を導入することで、方程式の導出可能性に関する証明技法を簡素化すること。
• 普遍ZXカルキュラスの完全性が、安定化子公理に加えて1つの追加的で物理的に意味のある規則（EU）のみで達成可能であることを示すこと。

提案手法

• 安定化子断片公理に加え、1キュービットユニタリのオイラー角分解を符号化する1つの規則（EU）からなる新しい公理体系を導入する。
• サイクルのない0→1および1→1のZX図式に対して、グラフィカルなSVD正規形を採用し、それが本質的に一意であることを証明する。
• SVD正規形を用いて、任意の2つの等価な図式が同じ標準形に変換可能であることを示すことで、完全性を証明する。
• （HD）および（EU）規則を1つのよりコンactな規則に統合する、やや異なる公理体系を提示する。
• （EU）規則の強力さとSVDの一意性に依拠して、既知の規則を新しい公理体系から導出することで完全性を証明する。
• マップ・ステート双対性と図式書き換えを用いて循環図式を処理し、（C）および（A）といった重要な方程式の導出を可能にする。

実験結果

リサーチクエスチョン

• RQ1 普遍ZXカルキュラスに対して、完全で最小限かつ物理的直感性を持つ公理体系を構築可能か？
• RQ2 安定化子公理に加えて、オイラー分解規則（EU）を追加することで完全性が達成可能か？
• RQ3 0→1および1→1のZX図式の特異値分解（SVD）が、完全性の証明に用いる本質的に一意な正規形として機能可能か？
• RQ4 普遍ZXカルキュラスの完全性が、安定化子断片の完全性に加えて1つの規則にまで簡略化可能か？
• RQ5 完全性や解釈可能性を損なわず、複数の規則を統合するよりコンactな公理体系は存在するか？

主な発見

• 提案された公理体系は、普遍ZXカルキュラスに対して完全であり、すべての公理が必要不可欠であり、物理的解釈が可能である。
• オイラー分解規則（EU）は、X–Z–X回転の系列として1キュービットユニタリの自然な正規形を提供し、オイラー角理論に裏付けられている。
• サイクルのない0→1および1→1の図式に対するSVD正規形は本質的に一意であり、完全性証明に強力な証明技法を可能にする。
• 普遍ZXカルキュラスの完全性は、安定化子断片の完全性に加え（EU）規則を追加することで成立する。
• 本稿では2つの同等の公理体系を提供する：1つは（HD）および（EU）規則を別個に持つもの、もう1つはそれらを1つの規則に統合したものである。
• 完全性の証明は、公理からの直接導出に依存せず、SVDに基づく正規化を用いることで、煩雑な角度計算を回避する。