[論文レビュー] Fault-tolerant conversion between stabilizer codes by Clifford operations

Yongsoo Hwang, Byung-Soo Choi+2 more|arXiv (Cornell University)|Nov 9, 2015

Quantum Computing Algorithms and Architecture参考文献 9被引用数 6

ひとこと要約

本稿では、Clifford操作を用いて stabilizer code 相互間の変換を体系的かつ耐故障的に実行する手法を提案する。両方のコードを標準化された IABC 形式に変換し、構造的差異に基づいて特定の2キュービット Clifford ゲートを適用することで、継続的な量子誤り訂正を介して耐故障性を確保する。この手法により、[[5,1,3]]、Steane、[[15,1,3]] Reed-Muller、および (3,4)-QPC コード間の変換が成功裏に実現された。

ABSTRACT

We propose a scheme that converts a stabilizer code into another stabilizer code in a fault tolerant manner. The scheme first puts both codes in specific forms, and proceeds the conversion from a source code to a target code by applying Clifford gates. The Clifford gates are chosen from the comparisons between both codes. The fault tolerance of the conversion is guaranteed by quantum error correction in every step during the entire conversion process. As examples, we show three conversions: the $[[5,1,3]]$ stabilizer code and Steane code, Steane code and $[[15,1,3]]$ Reed-Muller code, and Steane code and $(3,4)$-QPC code.

研究の動機と目的

• デコードせずに異なる stabilizer code 間の変換を体系的かつ耐故障的に実行する手法の開発。
• コンピュータ探索ベースの従来手法の制限を克服し、構造に基づくスケーラブルな代替手法を提供すること。
• 量子コンputing部品（例：メモリ vs. 処理）の最適化および異なる量子システム間のインターフェース化のための効率的コード変換を可能にすること。
• 変換の各段階で誤り訂正能力を維持することで、変換全体にわたり耐故障性を保証すること。

提案手法

• Clifford操作を用いて、ソースおよびターゲットの stabilizer code をすべて標準化された IABC 形式に変換する。
• IABC 形式に変換されたコード間の構造的差異を特定し、必要な Clifford ゲートの順序を同定する。
• CNOT、CZ、SWAP などの2キュービット Clifford ゲートの順序を適用し、段階的にソースコードをターゲットコードに変換する。
• 各段階で1キュービットおよび2キュービット誤りがすべて訂正可能であることを量子誤り訂正を用いて確認することで、耐故障性を保証する。
• stabilizer formalism およびパウリ演算子の二進表現を用いて、コード生成子を体系的に分析・比較する。
• 最終段階で逆方向の Clifford 操作を適用し、アーキテクチャキュービットを既知の状態に復元することで、クリーンに変換を完了する。

実験結果

リサーチクエスチョン

• RQ1 論理状態をデコードせずに、stabilizer code 変換をどのようにして耐故障的に実現できるか？
• RQ2 どのような体系的かつ効率的な手法が、異なる stabilizer code 間の Clifford に基づく変換を可能にするか？
• RQ3 変換中継続的な誤り訂正を実施することで、コード変換の耐故障性を保証できるか？
• RQ4 Steane コードと [[15,1,3]] Reed-Muller コードのようなコード間の構造的差異は、Clifford ゲートの選択にどのように影響するか？
• RQ5 IABC 形式は、スケーラブルかつ体系的なコード変換プロトコルを実現するために果たす役割は何か？

主な発見

• 提案手法により、[[5,1,3]] stabilizer コードから Steane コードへの変換が Clifford ゲートのシーケンスを用いて実現され、耐故障性が維持された。
• Steane コードから [[15,1,3]] Reed-Muller コードへの変換は、構造的な Clifford サーキットを用いて達成され、すべての中間状態が最小距離3であり、誤りが訂正可能であった。
• Steane コードから (3,4)-QPC コードへの耐故障的変換は、12キュービットの回路と5つのアーキテクチャ|+⟩状態を用いて実装され、各段階での誤り訂正により検証された。
• 変換中のすべての中間コードは最小距離3であり、すべての2キュービット誤りが一意にシンドロームで特定されるか、1キュービット誤りと縮退していることが保証された。
• 従来のアプローチとは異なり、コードの構造を活用することで、総当りのコンピュータ探索を回避し、より長いコードへのスケーラビリティを実現した。
• 本手法は、量子インターフェース設計に応用可能であり、光子損失とゲート誤りといった異なる誤りモデルに最適化された部品間の耐故障的相互運用を可能にする。