[論文レビュー] Flag Gadgets based on Classical Codes

Benjamin Anker, Milad Marvian|arXiv (Cornell University)|Dec 21, 2022

Metaheuristic Optimization Algorithms Research被引用数 4

ひとこと要約

この論文は、特定のBCH符号を用いた古典的符号を用いて、故障耐性量子計算におけるフラッグゲートの設計フレームワークを導入し、アーキテクチャ的アシスタントキュービットのオーバーヘッドを大幅に削減する。符号の測定フラッグを古典的パリティーチェックで符号化することで、距離-dの安定化子符号に対して重み-wの符号を測定する際、従来のO(w)手法と比較して指数的削減を達成し、O(t log w)のフラッグキュービットで実現する。これは、キュービットの測定とリセットが遅い状況において特に有効である。

ABSTRACT

Fault-tolerant syndrome extraction is a key ingredient in implementing fault-tolerant quantum computations. While conventional methods use a number of extra qubits linear in the weight of the syndrome, several improvements have been introduced using flag gadgets. In this work, we develop a framework to design flag gadgets using classical codes. Using this framework we show how to perform fault-tolerant syndrome extraction for any stabilizer code with arbitrary distance using exponentially fewer qubits than conventional methods when qubit measurement and reset are relatively slow compared to a round of error correction. We further take advantage of the saving provided by our construction to fault-tolerantly measure multiple stabilizers using a single gadget, and show that it maintains the same exponential advantage when it is used to fault-tolerantly extract the syndrome of quantum LDPC codes. Using the developed framework we perform computer-assisted search to find several small examples where our constructions reduce the number of qubits required. These small examples may be relevant to near-term experiments on small-scale quantum computers.

研究の動機と目的

• 故障耐性符号抽出における高いキュービットオーバーヘッドを解消すること、特にキュービットの測定とリセットが遅い状況において。
• 距離や符号構造に依存しない任意の安定化子符号に適用可能なフラッグゲートの体系的構築法を開発すること。
• 従来手法と比較して、アーキテクチャ的アシスタントキュービットの要件を指数的に削減すること。
• 1つのゲートで複数の安定化子を同時に抽出できるようにフレームワークを拡張すること。
• リソースオーバーヘッドを最小限に抑えることで、近位量子デバイスへの実用的実装を可能にすること。

提案手法

• 距離d = 2t + 1の古典的BCH符号のパリティーチェック行列を用いて、フラッグキュービットの測定を符号化する。
• 各フラッグキュービットの測定を、古典的符号のパリティーチェックにマッピングすることで、符号の誤りを局所化可能にする。
• 符号抽出中に誤りが伝搬するのを防ぐために、BCH符号のパリティーチェック構造を空間的にd回繰り返す。
• 繰り返しパリティーチェックを用いて、物理的ゲートの制約による不正確さを緩和し、故障耐性を維持する。
• フラッグパターンを用いて符号上の誤りを特定・訂正し、故障耐性を保証するデコードルールを適用する。
• ペアドデータCNOTの間の領域に制限して補正を配置することで、補正の最適化を図り、故障耐性の実装を保証する。

実験結果

リサーチクエスチョン

• RQ1 キュービットの測定とリセットが速くない状況において、任意の安定化子符号に対して指数的キュービット節約を達成できるフラッグゲートを構築できるか？
• RQ2 フレームワークを拡張し、1つのゲートで複数の安定化子符号を同時に抽出できるか？
• RQ3 古典的符号を体系的に用いて、誤り検出・訂正能力を明示的に保証する故障耐性フラッグゲートを設計できるか？
• RQ4 現実的な物理的制約下で、故障耐性符号抽出を保証するための最小フラッグキュービット数は何か？
• RQ5 量子LDPC符号の符号抽出において、顕著なアーキテクチャ的アシスタントキュービットオーバーヘッド削減を実現できるか、フレームワークを適合可能か？

主な発見

• 提案された構成では、距離-d = 2t + 1の量子符号に対して、重み-wの符号を抽出するのに(2t + 1)t⌈log₂ w⌉個のフラッグキュービットしか使用せず、従来のO(w)手法と比較して指数的節約を達成する。
• このフレームワークは、任意の安定化子符号（距離に依存せず）に対して故障耐性符号抽出を可能にし、高速なキュービット測定やリセットを必要としない。
• 量子LDPC符号に適用した場合、キュービットリセットが存在しない状況でも、符号抽出における指数的キュービット節約を維持する。
• コンピュータ支援探索により、小さな符号例が同定され、これにより近位量子実験に実用的であることが示された。
• 1つのゲートで複数の安定化子を故障耐性で抽出でき、指数的オーバーヘッドの利点を保持する。
• ペアドデータCNOTの間の領域に制限して補正を行うことで、故障耐性の訂正が可能となり、最小重み補正が故障耐性を保つ。