[論文レビュー] Complete ZX-Calculi for the Stabiliser Fragment in Odd Prime Dimensions

Robert Booth, Titouan Carette|arXiv (Cornell University)|Jan 1, 2022

Quantum Computing Algorithms and Architecture参考文献 52被引用数 4

ひとこと要約

本稿は、奇素数次元における量子力学の安定化子断片に対して、完全で公理化されたZX計算体系を提示する。これにより、先行の高次元提案で失われた「接続性のみが重要である」（Only Connectivity Matters, OCM）原則を回復する。完全性は、Clifford群の群論的構造に基づく一連の再書き換え規則によって達成され、破棄写像を用いて混合状態の安定化子理論およびアフィン共コisotropic関係へと拡張される。

ABSTRACT

We introduce a family of ZX-calculi which axiomatise the stabiliser fragment of quantum theory in odd prime dimensions. These calculi recover many of the nice features of the qubit ZX-calculus which were lost in previous proposals for higher-dimensional systems. We then prove that these calculi are complete, i.e. provide a set of rewrite rules which can be used to prove any equality of stabiliser quantum operations. Adding a discard construction, we obtain a calculus complete for mixed state stabiliser quantum mechanics in odd prime dimensions, and this furthermore gives a complete axiomatisation for the related diagrammatic language for affine co-isotropic relations.

研究の動機と目的

• 奇素数次元における安定化子量子力学の完全で直感的なZX計算体系の構築。
• qubit用ZX計算体系の特徴である「Only Connectivity Matters」（OCM）メタルールを、高次元系において回復すること。
• 破棄構成を用いて、奇素数次元における混合状態の安定化子量子力学の完全な公理化の提供。
• 拡張された計算体系を用いて、アフィン共コイソトロピック関係の完全な公理化の確立。
• qubitフレームワークを素数次元クーピットへ拡張する際、単純さと図的直感を維持すること。

提案手法

• 奇素数次元 p にパrameter化されたZX計算体系の族を導入し、Zp × Zp の要素でラベル付けされたスパインダーを用いて、安定化子状態および操作を表現する。
• 奇素数次元におけるClifford群のシンプレクティック構造および群論的性質に基づく再書き換え規則を定義する。
• 奇素数次元におけるパウリおよびClifford操作が、位相空間 Zp × Zp 上のアフィン変換に対応することを活用する。
• 等長性および正規形の議論を用いて、任意の安定化子ZX図式間の等価性が再書き換え規則によって導出可能であることを示し、完全性を証明する。
• 混合状態をモデル化するため、計算体系に破棄写像を追加し、CPM(Stabp) における完全性を確立する。
• 規則 p = 1 による商をとることで、自然な解釈を介してアフィン共コイソトロピック関係の完全な公理化が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 奇素数次元における安定化子断片に対して、完全で直感的なZX計算体系を構築可能か？ また、OCM などの特徴を保持できるか？
• RQ2 奇素数次元におけるClifford群の群論的構造を、図式的計算体系にどのように表現できるか？
• RQ3 安定化子ZX計算体系を、奇素数次元における混合状態に拡張可能か？ かつ完全性を維持できるか？
• RQ4 得られた計算体系が、同じ設定下でアフィン共コイソトロピック関係の完全な公理化を提供できるか？
• RQ5 qubitの場合と同様に、計算体系を単純化または最小化可能か？

主な発見

• 提案されたZX計算体系は、奇素数次元における量子力学の安定化子断片に対して完全である。すなわち、安定化子図式間のすべての等価性が再書き換え規則によって導出可能である。
• 計算体系は、「Only Connectivity Matters」（OCM）原則を効果的に回復しており、図式の同値性が接続性にのみ依存することを保証する。
• 破棄写像を追加することで、奇素数次元における混合状態の安定化子量子力学の完全かつ普遍的な計算体系が得られる。
• 計算体系は、シンプレクティック構造を尊重する自然な解釈を介して、Zp 上のアフィン共コイソトロピック関係の圏に対する完全な公理化を提供する。
• ZX図式をアフィンラグランジュ的または共コイソトロピック関係として解釈する方法が明示的に定義され、生成子が位相空間 Zp × Zp 上の特定のアフィン変換に写される。
• 計算体系が規則 p = 1 による商をとっても、依然として健全かつ完全であることが確立された。これは、非自明なスカラーを除去し、アフィン共コイソトロピック関係の構造と整合する。