[論文レビュー] ZX-calculus for the working quantum computer scientist

John van de Wetering|arXiv (Cornell University)|Dec 27, 2020

Quantum Computing Algorithms and Architecture参考文献 110被引用数 29

ひとこと要約

本稿は、量子計算のための図式的言語であるZXカルクリュスについて、包括的でアクセスしやすい入門を提供する。ZX図式が量子回路および量子状態をどのように表現するかを説明し、量子プロセスの簡略化および検証に用いるための基本的な規則と書き換えシステムの詳細を述べ、完備性定理、クリフォード回路およびToffoliゲートへの拡張、量子回路最適化および測定基盤量子計算への応用を含む主な進展をレビューする。

ABSTRACT

The ZX-calculus is a graphical language for reasoning about quantum computation that has recently seen an increased usage in a variety of areas such as quantum circuit optimisation, surface codes and lattice surgery, measurement-based quantum computation, and quantum foundations. The first half of this review gives a gentle introduction to the ZX-calculus suitable for those familiar with the basics of quantum computing. The aim here is to make the reader comfortable enough with the ZX-calculus that they could use it in their daily work for small computations on quantum circuits and states. The latter sections give a condensed overview of the literature on the ZX-calculus. We discuss Clifford computation and graphically prove the Gottesman-Knill theorem, we discuss a recently introduced extension of the ZX-calculus that allows for convenient reasoning about Toffoli gates, and we discuss the recent completeness theorems for the ZX-calculus that show that, in principle, all reasoning about quantum computation can be done using ZX-diagrams. Additionally, we discuss the categorical and algebraic origins of the ZX-calculus and we discuss several extensions of the language which can represent mixed states, measurement, classical control and higher-dimensional qudits.

研究の動機と目的

• 量子計算の基礎に慣れ親しんだ量子コンピュータ科学者に対して、ZXカルクリュスのやさしくも厳密な紹介を提供すること。
• 実務家がZX図式を日常の量子回路解析および最適化作業に活用できるようにすること。
• 最近のZXカルクリュスの進展、すなわち完備性結果、Toffoliゲートへの拡張、量子基礎およびサーフェスコードへの応用をレビュー・統合すること。
• ZXカルクリュスの圏論的および代数的基礎を明確にし、クイジットや混合状態への一般化を含めること。

提案手法

• Z-スパイダー（位相シフト付き射影演算子）とX-スパイダー、ハダマードゲートを用いて、量子プロセスの図式的表現としてZX図式を導入する。
• ZXカルクリュスの核心的書き換え規則を定義する：スパイダーの統合、恒等子の除去、コピールール、π-交換、バイアリズム、ホフ規則。
• 量子テレポーテーション、GHZ状態準備、マジック状態インジェクションといった標準的な量子プロトコルを、この記法を用いて導出する。
• 圏論を用いて図式の解釈を形式化し、カルクリュスの健全性および完備性を証明する。
• HボックスおよびZHカルクリュスを用いて、Toffoliゲートの取り扱いを拡張し、有限アーベル群とフーリエ変換を用いてクイジットへの一般化を実施する。
• 主な断片（例：オックスフォードおよびナンシーの結果）における完備性定理をレビューし、普遍的量子推論における意味を議論する。

実験結果

リサーチクエスチョン

• RQ1 ZXカルクリュスを用いることで、直感的かつ形式的に正しく、どのように量子回路および量子状態を図式的に推論できるか？
• RQ2 ZXカルクリュスの枠組み内で、量子回路の簡略化および検証を可能にする主要な書き換え規則は何か？
• RQ3 ZXカルクリュスが量子プロセスについて完全な形式的体系を提供するのはどのような場合か。また、その完全性が成立する条件は何か？
• RQ4 ZXカルクリュスは、Toffoliゲートのような非クリフォード操作や、高次元クイジットを扱うためにどのように拡張できるか？
• RQ5 ZXカルクリュスは、量子回路最適化、測定基盤量子計算、およびサーフェスコード量子計算において、どのような実用的応用を持つのか？

主な発見

• ZXカルクリュスは、補完的スパイダーと位相パラメータを用いて、クイジット間の任意の線形写像を表現できる普遍的言語である。
• 主な断片、特に安定化子（クリフォード）断片および完全な qubit 理論について、ZXカルクリュスの完備性定理が確立されており、これらの断片におけるすべての等式的推論が図式的に表現可能であることが示された。
• HボックスやZHカルクリュスといった拡張により、Toffoliゲートおよび制御位相ゲートについての効率的な図式的推論が可能になり、回路の最適化および検証が可能になった。
• 有限アーベル群とフーリエ変換を用いることで、ZXカルクリュスはクイジットへ一般化可能であり、qutrit クリフォード断片についても完全な規則セットが示された。
• カルクリュスは、測定基盤量子計算およびサーフェスコードについての推論に強力なツールを提供しており、ラティスソークレージや誤り耐性量子計算への応用がある。
• ZXカルクリュスの背後にある圏論的枠組み（Frobenius代数およびバイアリズムに基づくもの）は、量子プロセスの代数的構造を説明し、書き換え規則の正当性を裏付けている。