[論文レビュー] An introduction to reliable quantum computation

Panos Aliferis|arXiv (Cornell University)|Jul 11, 2011

Quantum Computing Algorithms and Architecture参考文献 32被引用数 5

ひとこと要約

この論文は、ノイズの多いハードウェアにもかかわらずスケーラブルで信頼性の高い量子計算を可能にするための基盤として、量子フォールトトレランスを導入する。量子誤り訂正——フォールトトレランスゲージと階層的符号化を用いて実装される——が、量子重ね合わせ状態や位相を保護する仕組みであり、主な結果として、フォールトトレランスが可能になるための臨界ノイズ閾値が存在することを示している。これは現実的なノイズモデル下でも成り立つ。

ABSTRACT

This is an introduction to software methods of quantum fault tolerance. Broadly speaking, these methods describe strategies for using the noisy hardware components of a quantum computer to perform computations while continually monitoring and actively correcting the hardware faults. We discuss parallels and differences with similar methods for ordinary digital computation, we discuss some of the noise models used in designing and analyzing noisy quantum circuits, and we sketch the logic of some of the central results in this area of research.

研究の動機と目的

• ノイズが存在する中での信頼性の高い量子計算の理論的基盤を確立すること。
• 量子誤り訂正が計算中に重ね合わせ状態や量子干渉をどのように保つのかを説明すること。
• 局所的マルコフおよび非マルコフ的ノイズを含む現実的なノイズモデル下でも、フォールトトレランス量子計算が可能であることを示すこと。
• アーキテクチャの独立性を保ちつつ、研究者がフォールトトレランス量子計算手法を自立的に理解・実装できる道筋を提供すること。
• アシスタント状態の精錬と量子トランスポートが、高精度な論理的演算を実現する上で果たす役割を強調すること。

提案手法

• 論理的キュービットを複数の段階に符号化する階層的符号化方式を用い、誤り率を段階的に低減する。
• フォールトトレランスゲージ——多数の物理的操作から構成される——を用い、計算中に誤りを検出し訂正しながら量子コherencyを維持する。
• 表面コードや安定子コードなどの量子誤り訂正符号を適用し、ビット反転および位相反転誤りから論理的キュービットを保護する。
• 量子トランスポートと状態精錬（Bravyi-Kitaevプロトコルを用いて）を用い、フォールトトレランスゲートに不可欠な高精度なアシスタント状態を準備する。
• ノイズの解析に再帰的スキームを適用し、フォールトトレランス計算が失敗する臨界ノイズ閾値の存在を特定する。
• 新規アシスタント状態の準備と最大並列処理といった理想化された仮定を考慮し、閾値の存在を証明するために不可欠である。

実験結果

リサーチクエスチョン

• RQ1 量子ハードウェア部品にノイズが存在する中でも、量子計算を信頼性を持って行うことは可能か？
• RQ2 現実的なノイズモデル下でフォールトトレランス量子計算を達成するための必要条件は何か？
• RQ3 フォールトトレランスの臨界ノイズ閾値は、誤り訂正方式やノイズ特性にどのように依存するか？
• RQ4 長時間にわたる計算中、量子誤り訂正は量子コヒーレンスと干渉をどの程度保てるか？
• RQ5 アシスタント状態の精錬と量子トランスポートは、フォールトトレランスユニバーサル量子計算を実現するために果たす役割は何か？

主な発見

• フォールトトレランス量子計算には臨界ノイズ閾値が存在し、表面コードやKnillの方式では数値的推定で最大1.0×10⁻²に達する。
• 解析的推定では、主にKnillの方式およびその変種に対して最大1.0×10⁻³に達する。
• 最高性能を発揮する方式は、量子トランスポートとBravyi-Kitaev状態精錬プロトコルを活用し、高精度なアシスタント状態を実現している。
• 最近の証明により、非マルコフ的局所ノイズ下でもフォールトトレランスが可能であることが示され、以前の結果を拡張している。
• 閾値の存在は、新規アシスタント状態の準備と最大並列処理といった仮定に依存しており、これらが閾値の存在を保証する上で不可欠である。
• リークノイズ、偏りのあるノイズ（例：位相遅れ支配型）、ガウスノイズについても分析されており、これら現実的なノイズモデル下でもフォールトトレランスが実現可能であることが示されている。