[論文レビュー] Robust quantum computation by simulation

Seth Lloyd, Benjamin Rahn+1 more|ArXiv.org|Dec 8, 1999

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

ひとこと要約

本稿では、トーリックコードや非アーベル任意onsを含むトポロジカルな量子系のシミュレーションを通じて、ロバストな量子計算を実現する新しい手法を提案する。トポロジカル保護が自然にエラーを抑制する。主な貢献は、非アーベル任意onsのシミュレーションを用いて、アクティブなエラー補正を用いずに、普遍的なフォールトトレラント量子計算を達成できることを示したことである。

ABSTRACT

Simulation of quantum systems that provide intrinsically fault-tolerant quantum computation is shown to preserve fault tolerance. Errors committed in the course of simulation are eliminated by the natural error-correcting features of the systems simulated. Two examples are explored, toric codes and non-abelian anyons. The latter is shown to provide universal robust quantum computation via simulation.

研究の動機と目的

• フォールトトレラントな量子計算が、トポロジカルな量子系のシミュレーションによって達成可能かどうかを調査すること。
• トポロジカル系の自然なエラーリスクヘッジ特性が、シミュレーション中に量子情報を保持するかどうかを調査すること。
• 非アーベル任意onsをフォールトトレラントな方法でシミュレートした場合、普遍的な量子計算が可能かどうかを特定すること。
• アクティブなエラー補正に依存しない、トポロジカル順序に基づくロバストな量子計算のフレームワークを確立すること。

提案手法

• 量子回路またはハミルトニアンの時間発展を用いて、トーリックコードや非アーベル任意onsなどのトポロジカルな量子系をシミュレートする。
• 任意onsのトポロジカルデゲネラシーとバーニング統計を活用し、局所的摂動に対して本質的に頑健な方法で量子情報を符号化・操作する。
• 安定化子形式とトポロジカル不変量を用いて、局所的エラー下でも論理的演算が保持されることを保証する。
• エラーがトポロジカル順序の非局所的性質によって抑制されることを示すことで、シミュレーション過程におけるフォールトトレランスが保たれることを実証する。
• 任意onsのバーニング操作を用いて普遍的なゲートセットを構築し、シミュレートされた系が普遍的な量子計算をサポートすることを示す。
• 局所的エラーがグローバルなトポロジカル不変量に影響しないことの分析を通じて、エラー抑制メカニズムを明らかにする。

実験結果

リサーチクエスチョン

• RQ1 トーリックコードのようなトポロジカルな量子系のシミュレーションが、内在的なフォールトトレランスを提供するか。
• RQ2 任意onsのバーニングや任意ons統計といったトポロジカル特性が、シミュレートされた量子計算におけるエラー抑制にどのように寄与するか。
• RQ3 明示的なエラー補正を用いずに、非アーベル任意onsのシミュレーションによって普遍的な量子計算が可能か。
• RQ4 量子シミュレーション中に、トポロジカル順序が量子情報をどのように保護するか。
• RQ5 トポロジカル系のシミュレーションが、元の系のフォールトトレランスを継承できるか。

主な発見

• 局所的エラーがトポロジカルデゲネラシーまたは論理的キュービット状態に影響しないことから、トーリックコードのシミュレーションはフォールトトレランスを保持する。
• 非アーベル任意onsをシミュレートすると、バーニング操作によって普遍的な量子ゲートセットが得られ、普遍的な量子計算が可能になる。
• シミュレートされた系のエラーリスクヘッジ特性は、トポロジカル順序から自然に生じ、シミュレーション中にアクティブなエラー補正が不要になる。
• 論理的情報がトポロジカル不変量の非局所的性質により、局所的摂動に対しても保護されることを、本稿は示している。
• エラーはトポロジカル構造によって抑制され、符号化された情報に影響するのは非局所的プロセスに限られるため、シミュレーションフレームワークはエラー抑制を保証する。
• 結果として、ロバストな量子計算が、トポロジカル系のシミュレーションによって達成可能であり、フォールトトレランスが下位のトポロジカル順序から継承されることを示している。