[論文レビュー] A Note on Non-Additive Quantum Codes

Markus Grassl, Thomas Beth|ArXiv.org|Mar 10, 1997

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

ひとこと要約

本稿は、2つの量子誤り訂正符号を組み合わせることで、非加法的符号が得られることを示す、結合量子符号の概念を導入する。加法的符号から出発しても、結果として得られる符号は非加法的になり得ることを示している。また、符号の消失訂正能力を完全に特徴付けるために、消失空間を導入し、ユニタリ関連の符号に対しては、消失空間および純粋消失空間を明示的に計算可能であることを示しており、最小距離のみに依存する考察を超えた深い洞察を提供する。

ABSTRACT

A method to combine two quantum error-correcting codes is presented. Even when starting with additive codes, the resulting code might be non-additive. Furthermore, the notion of the erasure space is introduced which gives a full characterisation of the erasure-correcting capabilities of the codes. For the special case that the two codes are unitary images of each other, the erasure space and the pure erasure space of the resulting code can be calculated.

研究の動機と目的

• 2つの既存の量子符号を組み合わせることで、新たな量子符号を構築する手法を開発すること、特に加法的符号から出発しても可能であることを目的とする。
• 消失空間を数学的ツールとして導入し、符号の消失訂正能力を完全に特徴付けること。
• 重み分布が同一である非同値な量子符号を、消失空間を用いて比較するフレームワークを提供すること。
• 特に、成分符号が互いにユニタリ写像である場合に、結合符号の消失訂正特性を分析すること。
• 加法的符号の組み合わせから自然に非加法的符号が生じることを示し、利用可能な量子符号のクラスを拡張すること。

提案手法

• 長さが等しい2つの量子符号が生成する部分空間の和として、量子符号の結合構成を提案する。
• 条件 (1) および (2) を満たす誤り演算子の集合として、消失空間 ${\cal E}({\cal C})$ を導入し、訂正可能な消失誤りを保証する。
• 重みが $d-1$ より小さい演算子からなる部分集合として、純粋消失空間 ${\cal E}_{\text{pure}}({\cal C})$ を定義する。
• ユニタリ変換 $\tau$ および巡回シフト $\pi$ を用いて同値な符号を生成し、結合符号の消失空間を明示的に計算可能にする。
• 具体的な例にこの形式を適用する：$((5,1,3))$ 符号と $((4,4,2))$ 符号を用い、それぞれの消失空間を計算し、得られる結合符号を分析する。
• パウリ行列および $E = \sigma_{i_1} \otimes \cdots \otimes \sigma_{i_N}$ の形をした誤り演算子を用い、誤り訂正条件を表現・分析する。

実験結果

リサーチクエスチョン

• RQ1 加法的符号を用いた符号の結合から、非加法的量子符号を体系的に構築できるか？
• RQ2 量子符号の消失訂正能力を最小距離を越えて完全に特徴付けるにはどうすればよいか？
• RQ3 成分符号が互いにユニタリ写像である場合に、結合符号の消失空間の構造はいかなるものか？
• RQ4 純粋消失空間を用いて、訂正不能な誤り演算子を検出・分類できるか？
• RQ5 個々の符号の消失空間と、それらの結合符号の消失空間の関係は何か？

主な発見

• 2つの符号が加法的であっても、それらの結合は非加法的符号となり得る。これは、非加法的符号を生成する新たな道筋を示している。
• 消失空間 ${\cal E}({\cal C})$ は、訂正可能な消失誤りの集合を完全に特徴付けるものであり、最小距離のみに依存するものよりも洗練されたツールを提供する。
• $((5,1,3))$ 符号はユニタリ写像の結合として構成されており、純粋消失空間にはすべての重み1および重み2の誤り演算子が含まれるが、すべての重み3演算子は含まれない。
• 2つの $((4,4,2))$ 符号の結合符号 ${\cal C}^{(1)} \oplus \tau{\cal C}^{(1)}$ は、最小距離が1の $((4,8,1))$ 符号となり、位相のみまたは振幅のみの消失を訂正可能である。
• 特定の重み3誤り演算子、例えば $\sigma_y \otimes \sigma_z \otimes \openone \otimes \sigma_y$ 及びその巡回シフトは、消失空間に属さないため、すべての3消失パターンを訂正できないことが確認された。
• 結合符号の消失空間には、$\sigma_x \otimes \openone^3$ および $\sigma_z \otimes \openone^3$ の形をしたすべての重み1誤り演算子、およびその巡回シフトが含まれており、これは符号の部分的な消失訂正能力を説明している。