[論文レビュー] Constructive Conjugate Codes for Quantum Error Correction and Cryptography

Mitsuru Hamada|ArXiv.org|Mar 28, 2007

Quantum Computing Algorithms and Architecture参考文献 27被引用数 4

ひとこと要約

本稿は、量子エラー訂正および暗号に適した多項式時間構成可能な共役符号対の族を提示し、加法的量子チャネルにおいて最高の既知の達成可能レートを達成する。この構成は、幾何的Goppa符号に基づく連結商符号に依存しており、多項式時間複雑性のデコーディングを可能にするとともに、ビット反転および位相反転ノイズを示す量子チャネルにおいて、漸近的に容量限界 $ R_{\text{CSS}} = 1 - H(W_1) - H(W_2) $ を達成する。

ABSTRACT

A conjugate code pair is defined as a pair of linear codes either of which contains the dual of the other. A conjugate code pair represents the essential structure of the corresponding Calderbank-Shor-Steane (CSS) quantum error-correcting code. It is known that conjugate code pairs are applicable to quantum cryptography. In this work, a polynomial construction of conjugate code pairs is presented. The constructed pairs achieve the highest known achievable rate on additive channels, and are decodable with algorithms of polynomial complexity.

研究の動機と目的

• 量子エラー訂正および量子暗号に適した、構成的で多項式時間のコード生成法の開発。
• 共役符号対構造の制約下で、量子チャネルにおいて最高の既知の達成可能レートを達成すること。
• 構成された符号が多項式時間複雑性でデコーディング可能であることを保証し、実装可能性を確保すること。
• 代数的幾何符号を用いて、非構成的容量達成符号と実用的量子符号スキームの間のギャップを埋めること。
• デコーディング誤り確率を用いた量子暗号プロトコルの安全性と信頼性の評価フレームワークを提供すること。

提案手法

• 幾何的Goppa符号から導出される連結商符号を用いた、共役符号対の多項式的構成を提案する。
• 商符号 $ L_j / L_{\overline{j}}^\perp $ を用いて共役対を構造化し、内部符号設計による双対包含関係を保証する。
• 外符号として1点幾何的Goppa符号を用い、$ \lfloor (N - K_2)/2 \rfloor - g $ 個までの誤りを補正可能な多項式時間デコーディングアルゴリズムを備える。
• タイプの方法と確率的解析を用いて、バランスの取れたアンサンブル内の多数の符号が優良であることを示し、存在性の議論を可能にする。
• エントロピー関数とチャネルパラメータを用いてデコーディング誤り確率の上限を確立し、容量達成性能に至る。
• 幾何的Goppa符号の生成行列およびパリティーチェック行列の構成に既知の多項式時間アルゴリズムを活用し、全体の多項式時間複雑性を保証する。

実験結果

リサーチクエスチョン

• RQ1 加法的量子チャネルにおいて、最高の既知のレートを達成しつつ、多項式時間複雑性で明示的に共役符号対を構成可能か？
• RQ2 このような符号は、低デコーディング誤り確率を維持したまま、多項式時間アルゴリズムでデコーディング可能か？
• RQ3 デコーディング誤り確率基準下での共役符号の達成可能レートは何か？ また、既知の境界と比較してどうか？
• RQ4 この構成は、ビット反転および位相反転ノイズを示す一般の量子チャネルに対して、容量達成量子符号を生成するために拡張可能か？
• RQ5 商符号および連結構造の使用は、レート、デコーディング複雑性、誤り性能のトレードオフをどのように改善するか？

主な発見

• 構成された共役符号対は、加法的量子チャネルにおいて最高の既知の達成可能レート $ R_{\text{CSS}} = 1 - H(W_1) - H(W_2) $ を達成する。
• デコーディング誤り確率はコード長とともに指数関数的に減少し、$ \limsup_{N_o \to \infty} -\frac{1}{N_o} \log_q P_{e,j} \geq \frac{1}{2}(1 - R_j^*)[E(W, r_j^*) - \varepsilon] $ を満たす。これは容量達成性能を示唆する。
• 符号は多項式的構成可能である：共役符号対の生成行列はコード長に関して多項式時間で生成可能である。
• 1点幾何的Goppa符号を外符号として用いることで、多項式時間デコーディングが達成可能であり、効率的なデコーディングアルゴリズムを備える。
• 内部符号が全空間に相当する極端な状況でも、符号構成は頑健であり、標準的な連結符号に還元される。
• この方法により、非構成的または非効率的であった既存の構成に対する、構成的かつデコーダブルな符号による容量限界 $ R_{\text{CSS}} $ の達成が確認された。