[論文レビュー] A Proposed Quantum Low Density Parity Check Code

Michael S. Postol|ArXiv.org|Aug 29, 2001

Error Correcting Code Techniques参考文献 4被引用数 55

ひとこと要約

本稿では、有限幾何から導かれた古典的LDPC符号を用いた量子低密度パリティーチェック（LDPC）符号を提案し、効率的な符号化と耐障害性デコードを可能にする。巡回LDPC符号に対して行分割を適用し、ビット反転と位相反転エラーの両方をLDPC符号で補正できるCSS符号を構築することで、両方の符号とその双対がスパースである[[15,4]]量子符号を実現し、LDPCに基づく量子エラー訂正の実現可能性を示した。

ABSTRACT

We propose a new CSS code based on the finite geometry low density parity check code of Kou, Lin, and Fossorier.

研究の動機と目的

• スパースなパリティーチェック行列を有する古典的LDPC符号に基づく、より優れた耐障害性を実現する量子エラー訂正符号の開発を目的とする。
• 有限幾何から導かれた巡回符号を活用することで、従来のLDPC符号における符号化の困難さを克服することを目的とする。
• ビット反転と位相反転エラーの両方がLDPC符号で補正されるCSS符号を構築し、両成分にスパース構造を保証することを目的とする。
• ネストされた符号の双対がLDPCのまま保たれることを保証することで、量子符号における反復デコードを可能とすることを目的とする。

提案手法

• 有限射影幾何から古典的LDPC符号を構築し、効率的な符号化を可能とするスパース性と巡回構造を確保する。
• 巡回LDPC符号のパリティーチェック行列に対して行分割を適用し、ヌル空間をより大きく持つネストされた符号を生成する。
• CSS構成を用いて二つのネストされた古典的符号 $C_1 \supset C_2$ から量子符号を構築し、$C_1$ がビット反転エラーを補正し、$C_2^\perp$ が位相反転エラーを補正する。
• 生成行列とチェック多項式の解析により、双対符号 $C_2^\perp$ がLDPCのまま保たれることを確認し、スパース性を保証する。
• 得られた量子符号が $[15,4]$ 符号であり、$C_1$ と $C_2^\perp$ が両方とも低密度パリティーチェック行列を持つことを確認する。
• $
  mathbb{F}_2$ 上の多項式代数を用いて拡張符号のチェック多項式を計算し、行削減により次元を決定する。

実験結果

リサーチクエスチョン

• RQ1 有限幾何から構築された古典的LDPC符号を用いて、両成分がLDPCである量子CSS符号を構築できるか？
• RQ2 巡回LDPC符号のパリティーチェック行列に対する行分割が、ネストされた符号の双対符号においてLDPC性を保つのか？
• RQ3 両方のパリティーチェック行列がスパースであることから、得られる量子符号が低デコード複雑性を維持できるか？
• RQ4 $C_2 \subset C_1$ かつ $C_2^\perp$ がスパースであるようなネストされた符号構造を実現でき、反復デコードが可能になるか？
• RQ5 提案された構成により、非自明なレートとエラー訂正能力を持つ量子符号が得られ、LDPC符号の利点を保ったままとなるか？

主な発見

• 提案された構成により、ビット反転と位相反転エラーの両方をLDPCで補正する$[15,4]$量子符号が得られた。
• 元の符号 $C_1$ のパリティーチェック行列の密度は約0.27であり、双対符号 $C_2^\perp$ の密度は約0.33であり、両者ともスパースのまま保たれた。
• 双対符号 $C_2^\perp$ が $
  rho=5$, $
  gamma=1$, $
  lambda=1$ を満たし、LDPCの定義を満たすことが示された。
• $[15,7]$巡回LDPC符号のパリティーチェック行列に対する行分割により、次元が3の$[30,15]$符号が得られ、ネスト構造が確認された。
• 拡張符号のチェック多項式は $h(x) = x^3 + 1$ であり、双対符号 $C_2^\perp$ の生成多項式は $g^\perp(x) = x^3 + 1$ であることが確認され、循環的かつLDPCの性質を持つことが裏付けられた。
• 両方のエラー種別がLDPC符号で補正されるため、得られた量子符号は原理的に耐障害性を有する。反復デコードの可能性が示唆された。