[論文レビュー] Simplification Strategies for the Qutrit ZX-Calculus

Alex Townsend-Teague, Konstantinos Meichanetzidis|arXiv (Cornell University)|Mar 11, 2021

Quantum Computing Algorithms and Architecture被引用数 9

ひとこと要約

本稿では、三値量子計算の安定化子断片におけるqutrit ZXカルキュラスのための効率的な簡略化戦略を開発し、局所補完から導かれるqutrit特有のピボット規則を導入する。主な貢献は、qutrit安定化子ZX図式の効率的書き換えを可能にすることであり、ジョーンズ多項式の評価やグラフ彩色といった問題における複雑性理論的洞察を提供し、次元d=3で複雑性に明確な遷移が生じることを示している。

ABSTRACT

The ZX-calculus is a graphical language for suitably represented tensor networks, called ZX-diagrams. Calculations are performed by transforming ZX-diagrams with rewrite rules. The ZX-calculus has found applications in reasoning about quantum circuits, condensed matter systems, quantum algorithms, quantum error correcting codes, and counting problems. A key notion is the stabiliser fragment of the ZX-calculus, a subfamily of ZX-diagrams for which rewriting can be done efficiently in terms of derived simplifying rewrites. Recently, higher dimensional qudits - in particular, qutrits - have gained prominence within quantum computing research. The main contribution of this work is the derivation of efficient rewrite strategies for the stabiliser fragment of the qutrit ZX-calculus. Notably, this constitutes a first non-trivial step towards the simplification of qutrit quantum circuits. We then give further unexpected areas in which these rewrite strategies provide complexity-theoretic insight; namely, we reinterpret known results about evaluating the Jones polynomial, an important link invariant in knot theory, and counting graph colourings.

研究の動機と目的

• qutrit ZXカルキュラスの安定化子断片のための効率的な簡略化戦略を開発すること。
• qubitベースの局所補完およびピボット規則をqutrit設定に拡張すること。
• ZXカルキュラスフレームワークを通じて、ジョーンズ多項式の評価やグラフ彩色といった問題の複雑性理論的洞察を提供すること。
• 将来のqutrit回路最適化および一般のqudit簡略化への応用を可能にすること。

提案手法

• qutrit局所補完操作の合成により、qutrit版のピボット規則を導出する。
• 導出された書き換え規則を用いて、qutrit安定化子ZX図式を効率的に簡略化する。
• 簡略化戦略を適用して、ジョーンズ多項式やグラフ彩色といったテンソルネットワーク問題を符号化・分析する。
• 既知の複雑性結果をZXカルキュラスに再解釈し、安定化子図式として表現可能な問題が tractable であることを示す。
• 書き換え中に導入されるスカラー因子を効率的に追跡し、正しさを保持する。
• 安定化子断片の完全性と効率性を活用して、次元d=3でPから#P-hardに遷移する問題を分析する。

実験結果

リサーチクエスチョン

• RQ1 ZXカルキュラスにおいて、qubitsからqutritsへの局所補完およびピボット操作の一般化はどのように可能か？
• RQ2 qutrit安定化子ZX図式のための効率的な簡略化戦略は何か？
• RQ3 これらの戦略は、単位根におけるジョーンズ多項式の評価の複雑性にどのように洞察をもたらすか？
• RQ4 ZX図式として符号化された場合、グラフ彩色問題の複雑性遷移点は何か？
• RQ5 qutrit ZXカルキュラスの安定化子断片を用いて、既知の複雑性結果を再導出または再解釈できるか？

主な発見

• 本稿では、3つの局所補完操作の合成としてqutrit特有のピボット規則を導出し、qutrit安定化子ZX図式の効率的書き換えを可能にした。
• 簡略化戦略により、d ∈ {2,3,4} における単位根でのジョーンズ多項式の評価がPに属することが示され、ZGL(d ≥5) は依然として#P-hardのままである。
• グラフ彩色問題において、d=3でPから#P-completeに遷移する。これは、d=3におけるXボックス行列が安定化子qutrit図式として表現できないという事実と整合的である。
• 本研究では、次元d=3で安定化子ZX図式として表現可能な問題が効率的に簡略化可能であることが示されたが、より高次元の表現を必要とする問題は非効率的になる。
• 結果として、テンソルネットワーク問題における複雑性位相遷移を理解するための新しい図式的・代数的フレームワークが提供された。
• 著者らは、書き換え中に導入されるスカラー因子を効率的に追跡できることを示し、正しさを保持するとともに、振幅の正確な計算を可能にした。