[論文レビュー] The idiots guide to Quantum Error Correction

Simon J. Devitt, Kae Nemoto+1 more|arXiv (Cornell University)|May 18, 2009

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

ひとこと要約

この論文は、量子エラー訂正（QEC）およびフォールトトレランス型量子計算の基礎的で理解しやすい導入を提供しており、量子情報がデコherenceやノイズからどのように論理的キュービットの符号化とエラー検出によって保護されるかを説明している。適切な符号設計とフォールトトレランス型プロトコルを用いることで、キュービットの脆さにもかかわらず大規模な量子計算が理論的に可能になることが示されている。

ABSTRACT

Contents Quantum Error Correction and fault-tolerant quantum computation represent arguably the most vital theoretical aspect of quantum information processing. It was well known from the early developments of this exciting field that the fragility of coherent quantum systems would be a catastrophic obstacle to the development of large scale quantum computers. The introduction of

研究の動機と目的

• キュービットのデコherenceに対する解決策としての量子エラー訂正の基本的原則を説明すること。
• 量子系が環境ノイズやデコherenceに対して極めて感受性が強いという挑戦に応えること。
• エラー訂正符号を用いたフォールトトレランス型量子計算の理論的基盤を確立すること。
• 分野に初めて入門する研究者にとって、高度な量子エラー訂正の概念をわかりやすく伝えること。

提案手法

• 計算状態を直接測定せずにエラーを検出・訂正できるように、複数の物理キュービットにわたる論理キュービットを符号化する。
• 安定化子形式を用いてエラー訂正符号を定義し、エラーのシンディームを特定する。
• 高い論理的閾値とトポロジカルなフォールトトレランス性を有するため、表面コードがフォールトトレランス型量子計算の有力候補であると紹介する。
• トランスバーサルゲートを通じて、エラー保護を維持したまま符号化されたキュービット上で論理的操作を実行する方法を説明する。
• コード距離が十分に大きいと、論理的エラー率を物理的エラー率より低く抑えることができる閾値が存在することを示す。
• 簡単な例と直感的な説明を用いて、エラー検出、シンディーム測定、論理ゲートの実装を説明する。

実験結果

リサーチクエスチョン

• RQ1 物理キュービットにおけるデコherenceやノイズからどのように量子情報を保護できるか？
• RQ2 量子エラー訂正符号の核心的原則は何か？ そして、エラーはどのように検出・訂正されるのか？
• RQ3 物理的操作にエラーが含まれる状況でも、フォールトトレランス型量子計算はどのように達成できるか？
• RQ4 論理キュービットと安定化子測定は、量子コherencyを維持するために果たす役割は何か？
• RQ5 フォールトトレランス型量子システムをスケーリングアップするための実用的要件は何か？

主な発見

• 量子エラー訂正により、論理キュービットを複数の物理キュービットに符号化することで、デコherenceからの量子情報の保護が可能になる。
• 論理状態を崩さずにエラーのシンディームを測定できるため、破壊的でないエラー検出が可能になる。
• フォールトトレランス型プロトコルにより、物理的操作のエラーが論理回路内で制御不能に拡散することを防げる。
• 表面コードはコード距離に指数関数的に依存する論理的エラー率を達成し、スケーラブルな量子計算を可能にする。
• トランスバーサルゲートにより、エラー伝播を低く抑えながら論理的操作を実装できるため、フォールトトレランスの重要な要件を満たす。
• エラー率が特定の閾値未満であれば、論理キュービットは任意に低いエラー確率で維持可能であり、理論的には大規模な量子計算が可能になる。