[論文レビュー] An Introduction to Topological Quantum Codes

Héctor Bombín|arXiv (Cornell University)|Nov 1, 2013

Quantum Computing Algorithms and Architecture被引用数 24

ひとこと要約

この論文は、量子誤り訂正における局所性制約に対処するためのトポロジカル量子符号の導入を提案する。ラティスのグローバルなトポロジカル性質を用いて、量子情報を強固に符号化する。表面コードおよびカラーコードが、相関のないビット反転および位相反転誤りに対して約11%の誤り閾値を達成することを示し、局所的安定化子測定とホモロジーに基づく誤り訂正により、フォールトトレランス型量子計算を実現可能にする。

ABSTRACT

This is the chapter \emph{Topological Codes} of the book \emph{Quantum Error Correction}, edited by Daniel A. Lidar and Todd A. Brun, Cambridge University Press, New York, 2013. http://www.cambridge.org/us/academic/subjects/physics/quantum-physics-quantum-information-and-quantum-computation/quantum-error-correction

研究の動機と目的

• 量子誤り訂正分野の研究者に対して、トポロジカル量子符号の基礎的理解を提供すること。
• 幾何的局所性制約下でフォールトトレランス型量子計算を達成するという課題に取り組むこと。
• 特にホモロジー理論を含む代数的トポロジーとトポロジカル符号との間の関係を確立すること。
• 有限のノイズレベルにおいても信頼性の高い量子計算を可能にする、誤り閾値の存在を示すこと。
• 局所的測定とトポロジカル不変量を用いて、論理的操作と誤り訂正を実装できるかを示すこと。

提案手法

• D次元ラティス上での有界サポートを持つ安定化子生成子を用いて、局所的安定化子符号を形式化する。
• 特にホモロジー群（H₁ = Z₁/B₁）を用いて、論理的演算子と誤りシンドロームを分類する。
• 誤り訂正をホモロジー同値としてモデル化する：誤りは正確な経路ではなく、ホモロジーに沿って補正される。
• 閾値の計算のため、量子誤り訂正問題を統計力学的モデル（例：ランダム結合イジング模型）に写像する。
• 双対ラティスとストリングネット演算子を用いて、論理的演算と任意Anyons励起状態を記述する。
• 境界と符号変形を用いて平面符号を導入し、ユニバーサルゲートセットとフォールトトレランス型操作を可能にする。

実験結果

リサーチクエスチョン

• RQ1 幾何的局所性を尊重しつつ、フォールトトレランス型操作を可能にする方法で、量子情報をどのように符号化できるか？
• RQ2 特にホモロジーというトポロジカル不変量が、論理的キュービットと誤り訂正を特徴付ける役割を果たすか？
• RQ3 相関のないノイズモデル下でのトポロジカル符号の臨界誤り閾値は何か？
• RQ4 表面コードとカラーコードは、論理的ゲート実装および誤り閾値特性においてどのように異なるか？
• RQ5 トランスバーサルゲートと符号変形を用いて、トポロジカル符号がユニバーサル量子計算をサポートできるか？

主な発見

• 相関のないビット反転および位相反転誤りに対して、トポロジカル符号は約11%の誤り閾値を達成し、大規模系において漸近的に完全な誤り訂正を保証する。
• 2次元局所符号における符号距離は d = O(√n) に比例するが、誤り閾値がもたらす統計的耐性のおかげで、フォールトトレランスが制限されない。
• トポロジカル符号における論理的演算子は、閉じたループのホモロジー類に対応するが、安定化子生成子は境界に対応する。
• 誤り訂正はホモロジー同値まで有効であるため、誤りはホモトピー的に同値であれば補正可能である。
• 2次元カラーコードは、3次元に拡張することで、CNOTおよびTゲートを含むトランスバーサル実装可能なユニバーサルゲートセットを可能にする。
• 符号変形と境界を用いることで、平面トポロジカル符号においてユニバーサル量子計算が可能となり、状態準備、測定、ゲート操作が実現できる。