[論文レビュー] Entanglement-assisted Coding Theory

Min-Hsiu Hsieh|ArXiv.org|Jul 14, 2008

Quantum Computing Algorithms and Architecture参考文献 59被引用数 11

ひとこと要約

本稿では、量子誤り訂正符号の構築を簡素化するために事前に共有された量子もつれを利用する、もつれ支援型量子誤り訂正符号（EAQECC）およびもつれ支援型演算子量子誤り訂正符号（EAOQECC）を導入する。また、任意の古典的線形符号がシンプレクティック幾何学と安定化子形式を用いてEAQECCに変換可能であることを示す。主な貢献は、より優れた性能と少ないもつれ要件を実現する、もつれ支援型量子準巡回低密度パリティ検査符号（QC-LDPC）の体系的構築法であり、反復的デコード性能が優れていることがシミュレーションで確認されている。

ABSTRACT

In this dissertation, I present a general method for studying quantum error correction codes (QECCs). This method not only provides us an intuitive way of understanding QECCs, but also leads to several extensions of standard QECCs, including the operator quantum error correction (OQECC), the entanglement-assisted quantum error correction (EAQECC). Furthermore, we can combine both OQECC and EAQECC into a unified formalism, the entanglement-assisted operator formalism. This provides great flexibility of designing QECCs for different applications. Finally, I show that the performance of quantum low-density parity-check codes will be largely improved using entanglement-assisted formalism.

研究の動機と目的

• 事前に共有されたもつれを活用することで、標準的な量子誤り訂正符号の制限を克服し、符号構築を簡素化すること。
• 任意の古典的線形符号からもつれ支援型量子符号を構築する一般枠組みを確立すること。
• 反復的和積アルゴリズムを用いて、低誤り率で効率的な量子準巡回LDPC符号を開発すること。
• 符号レートと最小距離を最大化すると同時に、初期もつれの必要量を最小化すること。
• より優れた古典的符号が反復デコード性能においてもより優れた量子符号をもたらすことを実証すること。

提案手法

• 安定化子形式とシンプレクティックベクトル空間構造を用いて、古典的線形符号をもつれ支援付きの量子符号に写像する。
• CSS構成法を適用して、古典的四元数符号をもつれ支援型量子符号に変換し、制約を軽減した誤り訂正を可能にする。
• 有限体乗法的群に基づく指数行列を用いて、制御された周囲長とパリティ検査構造を持つ量子QC-LDPC符号を生成する。
• タイプIおよびタイプIIの準巡回LDPC構成を導入し、タイプIIではもつれ削減のためのゼロ部分行列の挿入が可能で、柔軟性が向上する。
• 反復的デコードに100回の反復を用いた和積アルゴリズム（SPA）を適用し、異なる符号族間での性能を比較する。
• シンプレクティック形式と符号パラメータを用いて、必要なebits（もつれペア）の上限を導出し、効率的なリソース推定を可能にする。

実験結果

リサーチクエスチョン

• RQ1 任意の古典的線形符号をもつれ支援型量子誤り訂正符号に変換可能か？
• RQ2 量子LDPC符号を構築する際、事前に共有するもつれの量をどのように最小化できるか？
• RQ3 反復デコード下での量子符号性能に、符号の周囲長と古典的符号の距離が及ぼす影響は何か？
• RQ4 タイプII準巡回LDPC符号は、タイプIに比べて効率的なEAQECC構築において利点を有するか？
• RQ5 改善された古典的符号性能が、反復デコードにおいて直接的により優れた量子符号性能に反映されるか？

主な発見

• 提案されたもつれ支援型量子QC-LDPC符号（ex1）は、[[120,38,4]]符号で符号レート38/120 ≈ 0.317を達成し、両方のレートとデコード性能でex-HI符号を上回る性能を示した。
• 周囲長8の符号ex2は、周囲長6のex1とほぼ同等の性能を示し、反復デコードにおいて周囲長を6を超えて増加させても恩恵がほとんど得られないことを示している。
• シミュレーション結果から、より優れた古典的符号がより優れた量子符号をもたらすことが確認された。特に、[63,39,9]BCH符号から導出された符号は、ex-MacKay符号に比べて優れた性能を示した。
• タイプIIQC-LDPC符号は、ゼロ部分行列の挿入が可能であるため、もつれ削減においてより高い柔軟性を示す可能性を示したが、さらなる検討が必要である。
• もつれ支援型形式により、任意の古典的線形符号からEAQECCを構築可能であり、標準的なQECCに必要な双対包含制約を回避できる。
• 和積アルゴリズムにより、構築されたEAQECCの効果的なデコードが可能であり、性能は古典的符号の距離とサイクル構造に強く関連している。