[論文レビュー] Problems in application of LDPC codes to information reconciliation in quantum key distribution protocols

Ryutaroh Matsumoto|ArXiv.org|Aug 14, 2009

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

ひとこと要約

本稿は、量子鍵配送（QKD）における情報再構成にLDPC符号を適用する応用を調査し、それをSlepian-Wolf分散的ソース符号化問題として定式化する。主な障壁として、事前最適化されたLDPC行列の欠如、パuncturing/短縮によるレート適合の難しさ、および多様なチャネル状態にわたる普遍的符号の必要性を特定し、これらがLDPCベースの再構成が広く使用されているCascadeプロトコルに取って代わることを妨げていることを示している。

ABSTRACT

The information reconciliation in a quantum key distribution protocol can be studied separately from other steps in the protocol. The problem of information reconciliation can be reduced to that of distributed source coding. Its solution by LDPC codes is reviewed. We list some obstacles preventing the LDPC-based distributed source coding from becoming a more favorable alternative to the Cascade protocol for information reconciliation in quantum key distribution protocols. This exposition does not require knowledge of the quantum theory.

研究の動機と目的

• QKDプロトコルにおける情報再構成にLDPC符号を用いる可能性を分析すること。
• LDPCベースの再構成がCascadeプロトコルに取って代わることを妨げる実用的障壁を同定すること。
• 多様なチャネル状態において良好に動作する普遍的で、レート適合可能なLDPC符号の必要性を強調すること。
• 情報再構成をプライバシー強化とは独立して分析可能であり、符号理論的解析を可能にすることを明確にすること。

提案手法

• QKDにおける情報再構成を、デコーダーに完全なサイド情報を持つSlepian-Wolf分散的ソース符号化問題としてモデル化する。
• スパースなパリティーチェック行列を用いたLDPC符号を符号化に適用し、シンディーム $ MX^n $ を圧縮されたソースとして使用する。
• LDPC行列のタナー図上で和積（信念伝播）デコーディングを実行し、初期の対数尤度比は $ P_{X|Y} $ から導出する。
• 密度発展法を用いて、二進対称チャネルを仮定したもとでLDPC行列を最適化し、漸近的最適性を達成する。
• 変動する条件付きエントロピー $ H(X|Y) $ に対応するため、行列のパuncturing/短縮を検討するが、これが主要な実用的課題であると特定する。
• アキュムレータ接続型LDPC符号や拡張子ベースの符号といった既存の解決策を評価し、理論的限界から性能ギャップが生じていることを指摘する。

実験結果

リサーチクエスチョン

• RQ1 理論的利点があるにもかかわらず、なぜLDPCベースの再構成法はQKDにおけるCascadeプロトコルに取って代わられていないのか？
• RQ2 QKDにおける情報再構成にLDPC符号を導入する際の主な実用的障壁は何か？
• RQ3 1つのLDPC行列をパuncturingまたは短縮によって、複数の $ H(X|Y) $ 値に対応させることができるか？
• RQ4 同じ $ H(X|Y) $ を持つすべてのチャネル分布に対して良好に動作する普遍的LDPC符号を設計することは可能か？
• RQ5 Slepian-Wolf符号化における補助的確率変数の最適化は、QKDにおける情報漏洩を低減するためにどのように活用できるか？

主な発見

• i.i.d.ソースの下で、LDPC符号はSlepian-Wolf符号化において漸近的に最適な圧縮レートに達することができる。
• Cascadeプロトコルは、複雑さの低さと普遍性の高さから、情報漏洩がやや高いにもかかわらず、依然としてLDPCベースの手法よりも広く採用されている。
• 任意の $ P_{XY} $ に対して事前最適化されたLDPC行列は公開されておらず、ユーザーが自らコストの高い密度発展法に基づく最適化を実施する必要がある。
• 1つのLDPC行列をパuncturingまたは短縮して複数のレートに対応させるのは非自明であり、標準的なチャネル符号化とは異なり、まだ効果的に解決されていない。
• アキュムレータ接続型LDPC符号などの既存の解決策は理論的限界に達していないことが判明しており、改善の余地がある。
• 同じ $ H(X|Y) $ を持つすべての $ P_{XY} $ に対して良好に動作する普遍的LDPC行列は未解決の問題であるが、拡張子符号や線形計画法デコーダーは部分的な理論的解決を提供している。