[論文レビュー] On the Structure of Additive Quantum Codes and the Existence of Nonadditive Codes

Vwani Roychowdhury, Farrokh Vatan|ArXiv.org|Oct 9, 1997

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

ひとこと要約

本稿は、加法的（安定化子）量子符号の特徴付けを確立し、より優れた漸近的レートを達成する非加法的量子エラー訂正符号の存在を示している。非加法的符号が R = 1 − 2H(2t/n) のレートに達することを証明し、((11,2,3)) の強非加法的符号を構成することで、特定のパrameterにおいて非加法的符号が加法的符号を上回ることを示している。

ABSTRACT

We first present a useful characterization of additive (stabilizer) quantum error-correcting codes. Then we present several examples of We first present a useful characterization of additive (stabilizer) quantum error--correcting codes. Then we present several examples of nonadditive codes. We show that there exist infinitely many non-trivial nonadditive codes with different minimum distances, and high rates. In fact, we show that nonadditive codes that correct t errors can reach the asymptotic rate R=1-2H(2t/n), where H(x) is the binary entropy function. Finally, we introduce the notion of strongly nonadditive codes (i.e., quantum codes with the following property: the trivial code consisting of the entire Hilbert space is the only additive code that is equivalent to any code containing the given code), and provide a construction for an ((11,2,3)) strongly nonadditive code.

研究の動機と目的

• 加法的（安定化子）量子エラー訂正符号の明確な構造的特徴付けを提供すること。
• 安定化子形式を超えた非加法的量子符号の存在と性質を調査すること。
• 同じエラー訂正能力に対して、非加法的符号が加法的符号よりも高い漸近的レートを達成できることを示すこと。
• 強非加法的符号を導入し、任意の非自明な加法的符号と同値でない符号として定義すること。
• t エラーを訂正できる非加法的符号のレートに関する理論的上限を確立すること。

提案手法

• 本稿は、GF(4) 上の線形代数を用いた安定化子形式を用いて、加法的量子符号の数学的特徴付けを開発する。
• 局所ユニタリ変換による同値クラスを検討することで、非加法的符号の構造を分析するフレームワークを導入する。
• 情報理論的議論を用いて、t エラーを訂正できる非加法的符号の漸近的レート境界 R = 1 − 2H(2t/n) を導出する。
• 明示的な ((11,2,3)) 量子符号を構成し、非自明な加法的符号が局所ユニタリ変換で同値でないことを示すことで、それが強非加法的であることを証明する。
• 局所クリフォード操作に関して閉じた性質を持つ量子符号の性質に依存した構成であり、ユニタリ変換による符号の同値性の概念を用いる。
• 無限に多くの非自明な非加法的符号が、異なる最小距離と高いレートを持つことの証明を含む。

実験結果

リサーチクエスチョン

• RQ1 非加法的量子符号は、レートとエラー訂正能力の両面で加法的符号を上回る可能性があるか？
• RQ2 t エラーを訂正できる非加法的量子符号が達成可能な漸近的レートは何か？
• RQ3 局所ユニタリ変換の下で、任意の加法的符号と同値でない量子符号は存在するか？
• RQ4 特に高い最小距離とレートを持つ非加法的符号の明示的構成は可能か？
• RQ5 強非加法的符号を特徴付ける構造的性質は何か？ そして、それらはどのように構成できるか？

主な発見

• 非加法的量子符号は、任意に高いレートと異なる最小距離を持つことが可能であり、効率的な量子エラー訂正の可能性を示している。
• t エラーを訂正できる非加法的符号の漸近的レートは、R = 1 − 2H(2t/n) で抑えられ、H が二進エントロピー関数であるとすると、加法的符号よりも理論的優位性を示している。
• 明示的な ((11,2,3)) 非加法的符号が構成され、非自明な加法的符号が局所ユニタリ変換で同値でないことを証明した。
• 無限に多くの非自明な非加法的符号が、変動する最小距離と高いレートを持つことが確認され、構造的豊かさと実用的有用性を裏付けた。
• 本稿は、与えられたエラー訂正能力に対して、非加法的符号が安定化子符号の性能限界を超える可能性があることを確立した。
• 強非加法的符号の存在は、安定化子形式がすべての可能な量子エラー訂正符号を記述するものではないことを示唆している。