[論文レビュー] Fast fault-tolerant filtering of quantum codewords

Andrew Steane|ArXiv.org|Feb 6, 2002

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

ひとこと要約

この論文は、ラテン長方形に基づく構造的・並列化されたゲートネットワークを用いて、量子符号状態を準備および検証する耐故障手法を提案し、時間ステップ数と物理的演算数を顕著に削減する。繰り返しのシンダム測定を最小限に抑え、符号の対称性を活用することで、ノイズ耐性閾値を1桁上昇させ、t誤り訂正可能な符号に対してより効率的かつスケーラブルな量子誤り訂正を実現する。

ABSTRACT

The stabilization of a quantum computer by repeated error correction can be reduced almost entirely to repeated preparation of blocks of qubits in quantum codeword states. These are multi-particle entangled states with a high degree of symmetry. The required accuracy can be achieved by measuring parity checks, using imperfect apparatus, and rejecting states which fail them. This filtering process is considered for t-error-correcting codes with t>1. It is shown how to exploit the structure of the codeword and the check matrix, so that the filter is reduced to a minimal form where each parity check need only be measured once, not > t times by the (noisy) verification apparatus. This both raises the noise threshold and also reduces the physical size of the computer. A method based on latin rectangles is proposed, which enables the most parallel version of a logic gate network to be found, for a class of networks including those used in verification. These insights allowed the noise threshold to be increased by an order of magnitude.

研究の動機と目的

• 量子誤り訂正（QEC）のリソースオーバーヘッドを低減するため、耐故障的量子符号状態の準備におけるシンダム検証ステップ数と時間ステップ数を最小限に抑える。
• ノイズの多い検証装置を用いる場合、繰り返しのシンダム測定を回避することで、耐故障的量子計算のノイズ耐性閾値を向上させる。
• 故障耐性を保持したまま物理的リソース要件を削減する最小限の並列化ゲートネットワークを構築する体系的な手法を開発する。
• CSS符号の代数的構造とそのチェック行列を活用して、効率的なアシスタント状態の準備および検証回路を設計する。

提案手法

• ラテン長方形の構成を用いて、データキュービットとアシスタントキュービット間の制御位相（CZ）ゲートの時間ステップを割り当て、1つの時間ステップで1つのキュービットが1回より多くゲートに参加しないように保証する。
• この手法をGネットワーク（論理的|0⟩L状態の準備用）およびHネットワーク（シンダムの検証用）に適用し、合計時間ステップ数をN+1+Tmに最小限に抑える。ここでNはチェック行列Aの各行または各列の最大重みに基づく最小時間ステップ数である。
• 検証ビットから最後のr個のアシスタントキュービットへの1つのCZゲートを同時に適用することで、合計時間ステップ数を削減する。
• アシスタント状態の誤りが制御された方法で伝播することに依存している：1回の故障によりデータに1つの誤りが生じるが、これは訂正可能であり、繰り返し測定方式とは異なり、有害ではない。
• 複数の独立して準備されたアシスタント状態の多数決を用いて誤りを検出・訂正するが、故障耐性ネットワークにより各シンダムが一度だけ抽出されるようにすることで、繰り返しの必要性を低減する。
• 組合せ論のハルの定理を用いて、r×(n−r)のラテン長方形が、最小アルファベットサイズN = w_maxで存在することを証明する。ここでw_maxはチェック行列Aの各行または各列の最大重みである。

実験結果

リサーチクエスチョン

• RQ1 符号のチェック行列の構造を活用することで、耐故障的量子符号状態のシンダム検証に要する時間ステップ数を削減できるか？
• RQ2 繰り返しのシンダム測定を最小限に抑えつつ、誤り検出能力を維持する耐故障的検証ネットワークをどのように構築できるか？
• RQ3 ラテン長方形の使用が、量子誤り訂正回路における制御ゲート操作の最大並列化をどの程度可能にするか？
• RQ4 検証の時間ステップ数と演算数を削減することで、耐故障的量子コンピュータ全体のノイズ耐性閾値にどのような影響を与えるか？

主な発見

• ラテン長方形の構成を用いることで、シンダム検証に要する時間ステップ数がN+1+Tmに削減され、ここでNはチェック行列Aの最大行または列の重みに基づく最小値である。
• 各シンダムが一度だけ抽出されるようにすることで、繰り返しのシンダム測定の必要性が低減され、複数の検証サイクルによる誤りの蓄積が回避される。
• 繰り返しのチェックを最小限に抑え、ゲート操作を並列化することで、耐故障的量子計算のノイズ耐性閾値が1桁上昇する。
• この手法により、コードが訂正可能な誤り数t（通常、大規模な量子計算では7から15の範囲に位置する）の程度、リソースの節約が可能となる。
• この手法はすべてのCSS符号に適用可能であり、論理キュービット状態の準備および検証のための最小限で耐故障性のあるネットワークの構築を可能にする。
• 理論的分析により、検証ネットワークにおける1回の故障から生じる誤りは、データにたった1つの誤りに限定され、これは無害で訂正可能であることが確認された。繰り返し測定方式とは異なり、誤りが蓄積されることはない。