[論文レビュー] On the Hardnesses of Several Quantum Decoding Problems

Kao-Yueh Kuo, Chung-Chin Lu|arXiv (Cornell University)|Jun 21, 2013

Quantum Computing Algorithms and Architecture被引用数 6

ひとこと要約

本稿は、デポラライジングチャネル上での符号化された量子符号の3つの基本的デコーディング問題である、量子バウンデッドディスタンスデコーディング（QBDD）、量子最大尤度デコーディング（QMLD）、量子最小誤差確率デコーディング（QMEPD）のNP困難性を確立している。QBDDからQMLD、QMLDからQMEPDへの多項式時間還元を用いて、一般の安定化子符号における効率的デコーディングがおそらく不可能であることを証明し、量子符号に基づく暗号のセキュリティ基盤を強化している。

ABSTRACT

We classify the time complexities of three important decoding problems for quantum stabilizer codes. First, regardless of the channel model, quantum bounded distance decoding is shown to be NP-hard, like what Berlekamp, McEliece and Tilborg did for classical binary linear codes in 1978. Then over the depolarizing channel, the decoding problems for finding a most likely error and for minimizing the decoding error probability are also shown to be NP-hard. Our results indicate that finding a polynomial-time decoding algorithm for general stabilizer codes may be impossible, but this, on the other hand, strengthens the foundation of quantum code-based cryptography.

研究の動機と目的

• 量子安定化子符号の主要なデコーディング問題の計算複雑性を分類すること。
• 量子バウンデッドディスタンスデコーディング（QBDD）が、チャネルモデルにかかわらずNP困難であることを確立すること。
• デポラライジングチャネル上での量子最大尤度デコーディング（QMLD）および量子最小誤差確率デコーディング（QMEPD）のNP困難性を証明すること。
• これらのデコーディング問題の困難性が、量子符号に基づく暗号システムのセキュリティを支えることを示すこと。
• デポラライジングチャネル上での一般化重み計測における最適デコーディングの複雑性に関する未解決問題を解消すること。

提案手法

• QBDDのNP困難性を示すために、NP完全問題であるコセット重み問題への還元を用い、古典的結果を量子設定に拡張する。
• 一般化重み計測を用いて、安定化子符号における誤りパターンと誤り訂正能力を定義する。
• 十分に小さな誤り確率εを持つチャネルモデルを構築することで、QBDDからQMLDへの多項式時間還元を実現する。
• 最尤誤りコセットが尤度関数を支配するように適切に選んだεを用いて、QMLDからQMEPDへのさらなる還元を実施する。
• フルランクのチェック行列の構造とパウリ群表現を活用し、誤りパターンをモデル化する。
• 尤度関数 α_v = (1−ε)^n Σ_{u∈v+Row(H)} (ε/3 / (1−ε))^{gw(u)} の分析により、εが十分に小さい場合に最適解が一意に特定可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 一般化重み計測下における安定化子符号の量子バウンデッドディスタンスデコーディング（QBDD）はNP困難か？
• RQ2 デポラライジングチャネル上での量子最大尤度デコーディング（QMLD）はNP困難か？
• RQ3 デポラライジングチャネル上での量子最小誤差確率デコーディング（QMEPD）はNP困難か？
• RQ4 QBDDのNP困難性を用いて、多項式時間還元によりQMLDおよびQMEPDのNP困難性を証明できるか？
• RQ5 デポラライジングチャネル上での最適デコーディングの困難性は、量子符号に基づく暗号システムのセキュリティを支持するか？

主な発見

• 一般化重み計測下における安定化子符号の量子バウンデッドディスタンスデコーディング（QBDD）は、チャネルモデルにかかわらずNP困難である。
• デポラライジングチャネル上での量子最大尤度デコーディング（QMLD）は、QBDDからの多項式時間還元によりNP困難であることが示された。
• デポラライジングチャネル上での量子最小誤差確率デコーディング（QMEPD）は、QMLDからの多項式時間還元によりNP困難であることが証明された。
• これらのデコーディング問題のNP困難性は、一般の安定化子符号に対して多項式時間デコーディングアルゴリズムが存在しないことを示唆しており、P = NPでない限り成立しない。
• 一般化重み計測下でのデコーディングの困難性は、最適デコーディングに基づく傍受攻撃に対する量子符号に基づく暗号のセキュリティ基盤を強化する。
• 還元の正しさを保証するため、十分に小さなチャネル誤り確率εを設定することで、尤度関数が正しいコセットを優位に選ぶようにしている。