[論文レビュー] NP-Complete Problems for Lee Metric Codes

Violetta Weger, Paolo Santini+2 more|arXiv (Cornell University)|Feb 27, 2020

Coding theory and cryptography参考文献 29被引用数 4

ひとこと要約

この論文は、有限環上の符号に対してリー距離の下でのエラー検出問題（SDP）のNP完全性を確立し、情報集合符号化（ISD）アルゴリズムをこの距離に一般化し、広範な符号パラメータの範囲でその計算複雑性を分析することで、リー距離符号理論および符号に基づく暗号のための基礎的複雑性結果を提供する。

ABSTRACT

We consider codes over finite rings endowed with the Lee metric and prove the NP-completeness of the associated syndrome decoding problem (SDP). Then, we study the best known algorithms for solving the SDP, which are information set decoding (ISD) algorithms, and generalize them to the Lee metric case. Finally we assess their complexity for a wide range of parameters.

研究の動機と目的

• 有限環上の符号に対してリー距離の下でのエラー検出問題（SDP）がNP完全であることを証明すること。
• 情報集合符号化（ISD）アルゴリズムの枠組みをリー距離設定に拡張すること。
• 多様な符号パラメータにわたる一般化されたISDアルゴリズムの計算複雑性を分析すること。
• リー距離符号を用いた符号に基づく暗号システムの安全性の理論的基盤を確立すること。

提案手法

• リー距離におけるSDPのNP完全性を示すために、既知のNP完全問題への還元を実施する。
• 重みと誤りパターン選択基準を再定義することで、古典的ISDアルゴリズムをリー距離に適応する。
• リー重みの性質を活用して情報集合を特定・符号化する一般化されたISDアルゴリズムの設計。
• リー距離における有効な情報集合を発見するための試行回数の期待値を推定するために組合せ的分析を用いる。
• 符号長、次元、最小リー距離の変動に応じたアルゴリズムの期待実行時間の漸近的分析を通じた複雑性評価。
• 異なる距離領域におけるアルゴリズムの性能を評価するため、有限環上の符号族をパラメータ化する。

実験結果

リサーチクエスチョン

• RQ1 リー距離が用いられる有限環上の符号に対して、エラー検出問題（SDP）はNP完全であるか？
• RQ2 情報集合符号化（ISD）アルゴリズムは、リー距離の下で効率的に動作するようにどのように拡張できるか？
• RQ3 リー距離符号の一般化されたISDアルゴリズムの計算複雑性は、さまざまな符号パラメータにおいてどのように変化するか？
• RQ4 リー距離は、ハミング距離と比較して、符号化アルゴリズムの効率性と実行可能性にどのように影響を与えるか？
• RQ5 これらの発見は、リー距離符号を用いた符号に基づく暗号システムの安全性にどのような意味を持つのか？

主な発見

• 有限環上の符号に対してリー距離の下でのエラー検出問題（SDP）がNP完全であることが証明された。
• リー重みの性質を活用することで、リー距離用に一般化されたISDアルゴリズムが、探索空間を非自明に削減することが可能である。
• 一般化されたISDアルゴリズムの複雑性は、リー距離および符号パラメータに依存しており、誤り重みに指数関数的に依存することが示された。
• 分析の結果、特定のパラメータ領域では、リー距離符号がハミング距離符号と同等またはそれ以上の符号化効率を示す可能性があることが明らかになった。
• これらの結果から、リー距離符号は後量子暗号の実用的候補となり得るが、その安全性はSDPの困難性に根ざしている。
• 本研究は、リー距離符号を用いた符号に基づく暗号システムの安全性を評価する理論的枠組みを提供した。