[論文レビュー] Comparing the Overhead of Topological and Concatenated Quantum Error Correction

Martin Suchara, Arvin I. Faruque+4 more|arXiv (Cornell University)|Dec 9, 2013

Quantum Computing Algorithms and Architecture参考文献 27被引用数 24

ひとこと要約

本稿では、量子リソース推定ツールボックス（QuRE）を用いて、表面コード（トポロジカル符号）とバコン＝ショアコード（連結符号）のリソースオーバーヘッドを比較した。高物理エラー率（>10⁻⁷）ではトポロジカル符号が少ないリソースを要するが、非常に低いエラー率（<10⁻⁷）では連結符号がより効率的であり、ゲート構成とハードウェア効率性も、特定の量子技術に最適な符号選択に影響を与える。

ABSTRACT

This work compares the overhead of quantum error correction with concatenated and topological quantum error-correcting codes. To perform a numerical analysis, we use the Quantum Resource Estimator Toolbox (QuRE) that we recently developed. We use QuRE to estimate the number of qubits, quantum gates, and amount of time needed to factor a 1024-bit number on several candidate quantum technologies that differ in their clock speed and reliability. We make several interesting observations. First, topological quantum error correction requires fewer resources when physical gate error rates are high, white concatenated codes have smaller overhead for physical gate error rates below approximately 10E-7. Consequently, we show that different error-correcting codes should be chosen for two of the studied physical quantum technologies - ion traps and superconducting qubits. Second, we observe that the composition of the elementary gate types occurring in a typical logical circuit, a fault-tolerant circuit protected by the surface code, and a fault-tolerant circuit protected by a concatenated code all differ. This also suggests that choosing the most appropriate error correction technique depends on the ability of the future technology to perform specific gates efficiently.

研究の動機と目的

• 故障耐性量子計算におけるリソースオーバーヘッドが低い量子エラー訂正符号—トポロジカル符号か連結符号かを特定すること。
• 物理的技術特性（ゲート速度、エラー率）が、エラー訂正符号の最適選択に与える影響を評価すること。
• 異なるエラー訂正符号を用いた故障耐性回路における論理ゲートの構成を分析すること。
• 多様な量子技術、アルゴリズム、エラー訂正符号をカバーする包括的なリソース推定フレームワークの構築と適用すること。

提案手法

• Shorのアルゴリズムを用いた1024ビット整数の因数分解を対象として、量子リソース推定ツールボックス（QuRE）を用いて、量子ビット数、ゲート数、実行時間を推定した。
• 両符号（バコン＝ショア符号（連結符号）と表面符号（トポロジカル符号））に対してタイル状のキュービット配置を採用し、空間的制約と論理ゲートの移動をモデル化した。
• 連結符号の場合、CNOTゲートの実行に必要なキュービットの位置合わせを実現するため、論理的SWAP操作をシミュレートした。
• 表面符号の場合、穴を含む格子上の任意子（anyons）として論理キュービットを表現し、SWAPを必要としない本質的に局所的な操作を可能にした。
• 分析では、すべてのゲートに一様なエラー率を仮定するデポラライジングエラーモデルを採用し、標準的な符号閾値を用いてエラー訂正を実施した。
• ゲート速度と信頼性に差がある3つの物理的技術（高速だが信頼性の低いスーパーコンダクター量子ビット、遅いが信頼性の高いイオントラップ）を想定した。

実験結果

リサーチクエスチョン

• RQ1 1024ビットの数を因数分解する場合、トポロジカル符号と連結符号のどちらが物理的リソース（量子ビット、ゲート、時間）をより少ない数で要するか？
• RQ2 量子技術の物理的エラー率が、トポロジカル符号と連結符号の相対的性能にどのように影響するか？
• RQ3 表面コードとバコン＝ショアコードを用いた故障耐性回路における論理ゲートの構成にどのような差があるか？
• RQ4 CNOTやSWAPゲートの効率性といった、ハードウェア固有の能力が、エラー訂正符号の最適選択にどの程度影響を与えるか？
• RQ5 QuREツールボックスは、技術、アルゴリズム、エラー訂正方式を横断的に比較可能な体系的かつ拡張可能なフレームワークを提供できるか？

主な発見

• 物理ゲートエラー率が約1×10⁻⁷を超えると、トポロジカル符号（表面コード）は連結符号（バコン＝ショアコード）よりも顕著に少ないリソースを要する。
• 物理エラー率が1×10⁻⁷未満の場合は、連結符号のオーバーヘッドがトポロジカル符号を下回り、信頼性の高い技術ではより好ましい。
• 論理ゲートの構成に顕著な差が見られる：バコン＝ショアコードを用いた故障耐性回路はSWAPゲートに支配され、表面コードを用いた回路はCNOTゲートに支配される。
• 最適なエラー訂正符号の選択は、物理エラー率、ゲート速度、特定の2キュービットゲートの効率的実行能力の複雑な相互作用に依存する。
• QuREツールボックスは、局所性、ゲート移動、エラー訂正オーバーヘッドを多様な技術にわたってモデル化することで、量子システム設計の正確かつ体系的な比較を可能にする。
• 一様なエラー率や保守的な並列処理といった単純化仮定は、特に広範なキュービット移動を要する連結符号において、リソース要件を低く見積もる可能性がある。