[論文レビュー] Coherent Parity Check Construction for Quantum Error Correction

Nicholas Chancellor, Aleks Kissinger+2 more|arXiv (Cornell University)|Nov 23, 2016

Quantum Computing Algorithms and Architecture参考文献 44被引用数 18

ひとこと要約

本稿では、古典的パリティーチェックを模倣する一貫性のあるパリティーチェック（CPC）フレームワークを導入し、量子誤り訂正符号の設計を直感的でデバイス固有の方法で行えるようにする。実際のイオントラップの誤り率を用いて、[[10,3,3]]や[[12,4,3]]のような低オーバーヘッドな符号を示し、CPC符号がCSS符号であることを示し、構成をZX記法にマッピングすることで自動推論を可能にし、トランスバーサルゲートや複数の符号ブロックを必要とせずにブロック内での計算を実現する。

ABSTRACT

We present a framework for constructing and analysing quantum error correction codes that gives simple and intuitive tools for designing codes based on device specifications. Built from a direct analog of classical parity checking, these coherent parity codes use a simple model for constraints between qubits and decoding of information. With an associated graphical language, this coherent parity check (CPC) construction enables automated search for codes, and we give discovered examples of low-overhead codes for small devices ([[10,3,3]], and [[12,4,3]]) based on realistic error rates taken from current ion trap state-of-the-art . We show that CPC codes form a class of CSS codes. We further show that the graphical language maps to the category-theoretic ZX calculus, which enables the use of the automated reasoning tool Quantomatic to derive properties of the codes. We show how automated reasoning allows us to perform computation between qubits in the same code-block without requiring multiple codeblocks and/or transversal gates. These tools offer a significant aid to put quantum error correction theory into design practice for practical quantum technologies in both the immediate future and looking forwards to large-scale deployable quantum computing. Furthermore, the close theoretical link between the CPC construction and classical error correction codes opens up the possibility of constructing quantum versions of modern high- performance error correction codes (such as LDPC and turbo codes) that approach the Shannon limit.

研究の動機と目的

• 量子誤り訂正理論と実際の量子ハードウェア設計を結ぶために、現実のデバイス仕様に特化したフレームワークを構築すること。
• 古典的パリティーチェックの直接的な類似物を用いて、単純で直感的な量子符号の構築法を開発すること。
• グラフィカル言語を用いて、ZX記法にリンクされた自動推論ツールを活用して符号の発見と分析を自動化すること。
• トランスバーサルゲートや複数の符号ブロックを必要とせずに、単一の符号ブロック内でフォールトトレランス計算を可能にすること。
• LDPCやターボ符号のような高性能な古典的符号の量子版の可能性を調査すること。

提案手法

• CPCフレームワークは、古典的パリティーチェックの直接的な量子アナログを用いて、キュービット間の制約を定義し、構造的な符号設計手法を提供する。
• 符号構造を表現・分析するためのグラフィカル言語が導入され、視覚的かつ自動化された推論を可能にする。
• このグラフィカル言語は、圏論的ZX記法に正式にマッピングされ、Quantomaticなどの自動化ツールとの統合を可能にする。
• 一貫性のあるパリティーチェックの下で論理キュービット状態が安定化することを保証することで、CSS符号の構築を支援する。
• Quantomaticによる自動推論により、符号の性質の導出が可能になり、ブロック内での量子計算が促進される。
• 現在のイオントラップ技術からの現実的な誤り率を用いて、符号の発見をガイドし、小規模デバイスでの性能評価が行われる。

実験結果

リサーチクエスチョン

• RQ1 物理的デバイス制約を直接反映する量子誤り訂正フレームワークは、どのように設計すれば実用的実装が可能になるか？
• RQ2 一貫性のあるパリティーチェック構成により、近い将来の量子ハードウェアに適した低オーバーヘッドな量子符号を達成できるか？
• RQ3 CPC符号のグラフィカル表現は、ZX記法のような既存の圈权論的フレームワークにどの程度形式化され、リンク可能か？
• RQ4 自動推論ツールは、外部のゲートトランスポートや複数の符号ブロックを必要とせずに、量子符号の性質を導出・検証するためにどのように活用できるか？
• RQ5 CPCフレームワークは、LDPCやターボ符号のような高性能な古典的符号の量子版を構築するために拡張可能か？

主な発見

• CPC構成により有効なCSS符号が得られ、従来の量子誤り訂正理論との整合性が確認された。
• フレームワークにより、[[10,3,3]]や[[12,4,3]]といった低オーバーヘッドな量子符号の発見が可能になった。実際のイオントラップ誤り率を用いて評価された。
• CPC符号のグラフィカル表現は、ZX記法に正確にマッピングされ、Quantomaticなどのツールを用いた自動検証と推論が可能になった。
• 自動推論により、単一の符号ブロック内で論理演算を直接実行でき、トランスバーサルゲートや複数の符号ブロックの必要性が排除された。
• CPCと古典的誤り訂正の間の密接な理論的関係は、シャノン限界に近い量子LDPCおよびターボ符号の開発への道筋を示した。
• 本手法により、理論から実装への量子誤り訂正の実用的移行が、現在および近い将来の量子技術に向けた実現可能なものとなった。