[論文レビュー] Completeness of the ZX-calculus for Pure Qubit Clifford+T Quantum Mechanics

Kang Feng Ng, Quanlong Wang|arXiv (Cornell University)|Jan 22, 2018

Logic, programming, and type systems参考文献 2被引用数 15

ひとこと要約

本稿では、Z[i, 1/√2] への複素数環の制限を用いて、Clifford+T量子力学のZXカルキュラスの完全な公理的体系を提示する。これは、任意の可換環上で完全性が保証されるZWカルキュラスの完全性を活用したものである。本稿では、Toffoliゲートの構成を簡略化し、一般化補完性を一般化スパイト則の下で統一するための2つの新しい生成子—三角形とλボックス—を導入し、従来の研究と比較してZXからZWカルキュラスへの翻訳がより直接的になるようにし、完全性を達成している。

ABSTRACT

Recently, we gave a complete axiomatisation of the ZX-calculus for the overall pure qubit quantum mechanics. Based on this result, here we also obtain a complete axiomatisation of the ZX-calculus for the Clifford+T quantum mechanics by restricting the ring of complex numbers to its subring corresponding to the Clifford+T fragment resting on the completeness theorem of the ZW-calculus for arbitrary commutative ring. In contrast to the first complete axiomatisation of the ZX-calculus for the Clifford+T fragment, we have two new generators as features rather than novelties: the triangle can be employed as an essential component to construct a Toffoli gate in a very simple form, while the lambda box can be slightly extended to a generalised phase so that the generalised supplementarity (cyclotomic supplementarity ) is naturally seen as a special case of the generalised spider rule.

研究の動機と目的

• Clifford+T量子力学断片のZXカルキュラスの完全な公理的体系を提供すること。
• 余分な規則を導出することでルール集合を簡略化し、図の複雑さを低減すること。
• 三角形とλボックスの2つの新しい生成子の導入とその正当化を図り、表現力と構造的明確性を向上させること。
• ZXカルキュラスからZWカルキュラスへの翻訳をより直接的に行い、完全性証明フレームワークを強化すること。
• 一般化補完性（円分補完性）がλボックスを介して一般化スパイト則の特別な場合として自然に生じることを示すこと。

提案手法

• ZXカルキュラスにおける複素振幅の環を、Clifford+T断片に対応する部分環 Z[i, 1/√2] に制限する。
• 任意の可換環上で完全性が保証されるZWカルキュラスの完全性を、基礎定理として活用する。
• 三角形生成子をToffoliゲートの構成のためのコンパクトな構成要素として導入し、λボックスを一般化位相ゲートとして導入する。
• 他の規則から冗長性を導出することで、元のルール集合（例：TR4, TR10, TR11）の簡略化を図る。
• ZXカルキュラスからZWカルキュラスへの直接的な解釈写像とその逆写像を構築し、一貫性と正しさを保証する。
• 図式的推論と書き換え規則を用いて、すべてのClifford+T図についてZXの導出可能性が意味的等価性と一致することを証明する。

実験結果

リサーチクエスチョン

• RQ1 Clifford+T量子力学断片のZXカルキュラスに対して、完全かつ最小限の公理的体系を達成できるか？
• RQ2 三角形とλボックスの2つの新しい生成子の導入により、ZX図の書き換えにおける表現力と単純さはどのように向上するか？
• RQ3 ZWカルキュラスの完全性と可換環上での完全性を活用することで、Clifford+TのZXカルキュラスの完全性を直接的翻訳によって確立できるか？
• RQ4 λボックスを介して一般化補完性（円分補完性）が、一般化スパイト則の下で単一の一般化則に統合できる範囲はどの程度か？
• RQ5 本稿の非安定化規則（図のノード数の観点から）は、先行研究の完全性結果と比較して、どのように複雑さが異なるか？

主な発見

• ZXカルキュラスは、Z[i, 1/√2] に制限されたとき、Clifford+T量子力学に対して完全である。これにより、すべての図の間の等価性が導出可能である。
• 加法規則（AD）は簡略化可能であり、複数の規則（TR4, TR10, TR11）は他の規則から導出可能であるため、ルール集合の冗長性が低減される。
• 三角形生成子により、Toffoliゲートの構成が非常に簡潔に可能となり、回路の表現力と単純化の可能性が向上する。
• λボックスは一般化位相に拡張可能であり、その下で一般化補完性（円分補完性）は一般化スパイト則の特別な場合となる。
• 本稿における非安定化規則の図は1図あたり最大8ノードであり、先行研究[4]の17ノードの最大値と比べて顕著に低い。
• ZXからZWへの翻訳とその逆も直接的かつ一貫しており、解釈の合成が恒等写像を生成するため、健全性と完全性が保証される。