[論文レビュー] Pasting Quantum Codes

Daniel Gottesman|ArXiv.org|Jul 31, 1996

Quantum Computing Algorithms and Architecture被引用数 17

ひとこと要約

この論文は、より小さな非簡約な量子エラー訂正符号の安定化子生成子を組み合わせることで、より大きな1エラー量子符号を構築するための新しい手法「パスタ」を導入する。主な貢献は、安定化子形式を用い、誤りシンディロームが結合システム全体で区別可能であることを保証することで、既知のすべての完全な1エラー量子符号（7キュービット/13キュービットおよび15キュービット/21キュービット符号を含む）を体系的に生成する方法を提供することである。この方法は、保存された可換性と冪等性を維持する。

ABSTRACT

I describe a method for pasting together certain quantum error-correcting codes that correct one error to make a single larger one-error quantum code. I show how to construct codes encoding 7 qubits in 13 qubits using the method, as well as 15 qubits in 21 qubits and all the other "perfect" codes.

研究の動機と目的

• より小さな既知の符号から、より大きな効率的な1エラー量子エラー訂正符号を体系的に構築するための方法を開発すること。
• 既存の符号生成手法が、専用の量子符号に比べて非効率な符号を生成するという制限を克服すること。
• 7キュービット/13キュービットおよび15キュービット/21キュービット符号を含む、すべての既知の完全な1エラー量子符号の存在を、統一的な構成によって示すこと。
• パスタ過程中に安定化子群の構造を保つことで、結果の符号が非簡約性と訂正可能性を維持すること。

提案手法

• より大きな符号の生成子に、より小さな符号の生成子を拡張することで、2つの非簡約な量子符号を結合する。新しい誤りシンディロームが'00'で始まるようにし、既存のシンディロームと重複しないようにする。
• 元の符号の生成子の積を用いることで、すべての新しい生成子が可換であり、単位元のべき等性を満たすように、安定化子群の構造を保つ。
• より大きな符号の最初の2つの生成子は変更せず、$ M_1 = X_1 \cdots X_n $ および $ M_2 = Z_1 \cdots Z_n $ とし、元のキュービットにおける1キュービット誤りのシンディロームが'01'、'10'、または'11'で始まるようにする。
• 追加されたキュービットにおける新しい誤りは、'00'で始まるシンディロームが割り当てられる。これは、より小さな符号の非簡約性のおかげで、重複しないことが保証される。
• この構成には、より小さな符号がより大きな符号より正確に2つ少ない生成子を持つ必要があり、必要に応じて恒等生成子を追加する。
• この方法は、結果の符号が非簡約的であり、すべての1キュービット誤りを訂正できることを保証する。これは、関数 $ f(E) = (f_{M_1}(E), \dots, f_{M_a}(E)) $ を用いて、誤りシンディロームが明確に区別されることにより実現される。

実験結果

リサーチクエスチョン

• RQ1 より小さな既知の符号から、より大きな1エラー量子符号を体系的に構築する方法を開発することは可能か？
• RQ2 2つの異なる符号からなる結合システムにおいて、誤りシンディロームをどのように保存・区別できるか？
• RQ3 1つの統一的な構成によって、すべての既知の完全な1エラー量子符号を生成することは可能か？
• RQ4 パスタされた符号が有効な安定化子符号であり、訂正可能で非簡約的であることを保証するための制約は何か？
• RQ5 なぜパスタ手法は2つ以上の誤りを訂正する符号には失敗するのか？一般化を妨げる構造的制限は何か？

主な発見

• パスタ手法は、最適な効率を達成する7キュービット/13キュービット符号を成功裏に構築した。これは、量子ハミング境界が許容する範囲内である。
• 5キュービット符号を16キュービット符号にパスタすることで、15キュービット/21キュービット符号が構築され、第二の完全符号の存在が確認された。
• すべての完全な1エラー量子符号で、$ n = (4^j - 1)/3 $ 個のキュービットを持つものは、このパスタ構成によって体系的に生成される。
• この方法により、すべての $ j $ に対して完全符号が存在することを確認でき、$ n-k = 2j $ を満たす。構成的証明が与えられる。
• この構成は安定化子群の構造を保ち、すべての生成子が可換であり、単位元のべき等性を満たすため、有効な量子符号が得られる。
• 2つ以上の誤りを訂正する符号では、この手法が失敗する。これは、元のキュービットと新しいキュービットの両方に誤りが生じた場合（クロス誤り）、元のキュービットの誤りと区別できないためである。