[論文レビュー] Quantum Information Set Decoding Algorithms

Ghazal Kachigar, Jean–Pierre Tillich|arXiv (Cornell University)|Mar 1, 2017

Quantum Computing Algorithms and Architecture参考文献 3被引用数 9

ひとこと要約

この論文は、MMTの情報集合符号化（ISD）と量子ウォーク技術、およびグローバー探索を組み合わせることで、コードベース暗号における新しい量子デコーディングアルゴリズムを提示している。最悪ケースの計算量は $2^{0.05869n}$ に達し、メモリ使用量の最適化と量子スピードアップにより、ベアンシュタインの先行する量子ISDアルゴリズム（$2^{0.06035n}$）を上回っている。

ABSTRACT

The security of code-based cryptosystems such as the McEliece cryptosystem relies primarily on the difficulty of decoding random linear codes. The best decoding algorithms are all improvements of an old algorithm due to Prange: they are known under the name of information set decoding techniques. It is also important to assess the security of such cryptosystems against a quantum computer. This research thread started in Overbeck and Sendrier's 2009 survey on code-based cryptography, and the best algorithm to date has been Bernstein's quantising of the simplest information set decoding algorithm, namely Prange's algorithm. It consists in applying Grover's quantum search to obtain a quadratic speed-up of Prange's algorithm. In this paper, we quantise other information set decoding algorithms by using quantum walk techniques which were devised for the subset-sum problem by Bernstein, Jeffery, Lange and Meurer. This results in improving the worst-case complexity of $2^{0.06035n}$ of Bernstein's algorithm to $2^{0.05869n}$ with the best algorithm presented here (where $n$ is the codelength).

研究の動機と目的

• ランダム線形符号のデコーディングにおける量子計算量を改善すること、これはコードベース暗号の根幹的な問題である。
• プロランジュの単純なISDアルゴリズムを超えて、高度な量子技術を適用することで、より洗練されたISDアルゴリズムにおける量子スピードアップを拡張すること。
• MMTのISD手法の最適化された変種を用いて、量子ウォークアルゴリズムを活用することで、最悪ケースのデコーディング計算量を低減すること。
• 古典的ISD変種の高い空間計算量が、量子優位性を得るために量子化された場合に与える影響を解決すること。
• より洗練された古典的ISDアルゴリズムが、単純なアルゴリズムよりも比例的に大きな量子スピードアップをもたらすかどうかを特定すること。

提案手法

• サブセットサム問題に元来開発された量子ウォーク技術を、コードベース暗号におけるシンディームデコーディング問題に適応する。
• MMTアルゴリズムの構造とグローバーの量子探索、および量子ウォークを組み合わせ、誤りパターンの探索空間を縮小する。
• 探索空間内の変数数を削減するために、「1+1=0」のテクニックを用いた改良されたMMTフレームワークを導入する。
• 時間と空間のトレードオフを最適化するために、サイズ $\tilde{\Theta}(V^{8/5})$ の注意深く構築されたグラフ $\mathcal{G}$ 上で量子ウォークを実行する。
• SageMathを用いた再帰的ゴールデンセクション探索により、コードレートと相対誤り重みの両方のパラメータに対して、複雑さ指数 $\alpha(R, \omega)$ を数値的に最小化する。
• 特に $H_2(x)$ を含む二項係数とエントロピー関数の漸近的解析を通じて、最適化されたパrameter設定下での複雑さ指数を導出する。

実験結果

リサーチクエスチョン

• RQ1 量子ウォーク技術は、グローバー基づくスピードアップを上回る、情報集合符号化の量子計算量を著しく改善できるか？
• RQ2 量子版MMTアルゴリズムは、量子版プロランジュのアルゴリズムと比較して、漸近的計算量の面で優れているか？
• RQ3 古典的ISD変種の空間計算量は、それらの量子版の実行可能性と効率性にどのように影響を与えるか？
• RQ4 単純なISDアルゴリズムと比較して、MMT や BJMM ようなより洗練された古典的ISDアルゴリズムの量子スピードアップに顕著な差があるか？
• RQ5 相対誤り重みが0に近づくにつれて、最良のアルゴリズムの量子複雑さ指数は、古典的指数に収束するか？

主な発見

• 提案されたMMTQWアルゴリズムは、最悪ケースの計算量が $2^{0.05869n}$ に達し、ベアンシュタインの $2^{0.06035n}$ の結果を著しく上回っている。
• この改善は、MMTアルゴリズムと量子ウォーク、グローバー探索を組み合わせることで達成され、時間と空間計算量のトレードオフが最適化されている。
• 「1+1=0」のテクニックを用いた改良されたMMT構造により、変数数が削減され、より良い量子スピードアップが可能になった。
• 複雑さ指数 $\alpha_{\text{MMTQW}}$ は、$\alpha_{\text{MMTQW}} \approx \frac{\alpha_{\text{Dumer}}}{2} + 4.9 \times 10^{-4}$ を満たし、わずかだが有意義な改善を示している。
• 分析の結果、BJMM や メイ・オゼロフのようなより複雑な古典的ISD変種に基づくアルゴリズムでは、高い空間計算量のため、量子スピードアップが顕著でないことが判明した。
• 数値的結果は、改善がコードレート範囲 $0.3 \leq R \leq 0.7$ において最も顕著であり、新アルゴリズムとベアンシュタインの結果との間に明確なギャップがあることを確認している。