[論文レビュー] Relative generalized Hamming weights of q-ary Reed-Muller codes

Olav Geil, Stefano Martin|arXiv (Cornell University)|Jul 23, 2014

Coding theory and cryptography参考文献 23被引用数 3

ひとこと要約

本稿は、グレブナー基底理論とフットプリントバウンドを用いて、$q$-ary Reed-Muller符号の相対一般化ハミング重み（RGHWs）を決定し、符号に基づくラムプ秘密分散方式における情報漏洩れを完全に特徴づける。主な貢献は、高次元におけるRGHWsを計算する低複雑性のアルゴリズムと、2変数符号に対する閉形式の式を得ることであり、これにより分散ストレージシステムにおけるセキュリティと局所的誤り訂正の正確な定量的評価が可能になる。

ABSTRACT

Coset constructions of $q$-ary Reed-Muller codes can be used to store secrets on a distributed storage system in such a way that only parties with access to a large part of the system can obtain information while still allowing for local error-correction. In this paper we determine the relative generalized Hamming weights of these codes which can be translated into a detailed description of the information leakage [2, 24, 21, 11].

研究の動機と目的

• $q$-ary Reed-Muller符号に基づくラムプ秘密分散方式における情報漏洩れを特徴づけること。
• $q$-ary Reed-Muller符号の相対一般化ハミング重み（RGHWs）を2変数およびそれ以上の次元の場合に特定すること。
• 高次元におけるRGHWsを効率的に計算する低複雑性のアルゴリズムを開発すること。
• 2変数の場合のRGHWsに対して閉形式の式を提供すること。
• Reed-Muller符号の局所的訂正可能性と分散ストレージにおける情報理論的セキュリティの間の明確な関係を確立すること。

提案手法

• Feng-Raoバウンドに依存せずに、RGHWsを分析するためにグレブナー基底理論のフットプリントバウンドを用いる。
• 部分順序と辞書式順序を逆転させる写像$\mu$を用いた双対性変換を適用する。
• $N_{(a,b)}(m)$および$\nabla N_{(a,b)}(m)$の集合を定義・分析し、RGHWsの計算に用いる。
• 一対一対応である変換$\mu$を活用し、$\nabla N_{(a,b)}(m)$を$\Delta L_{(a,b)}(m)$と関連づけ、補題A.1によるバウンドを可能にする。
• 第5節で、順序イデアルとフットプリント推定を用いて任意のRGHWを効率的に計算する一般アルゴリズムを開発する。
• 理論的証明と具体例（特に第6節における2変数ケースの詳細分析）を通じて、結果の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 2変数における$q$-ary Reed-Muller符号の相対一般化ハミング重みの正確な値は何か？
• RQ2 高次元における$q$-ary Reed-Muller符号のRGHWsは、どのようにして効率的に計算できるか？
• RQ3 符号に基づくラムプ秘密分散方式における、局所的訂正可能性と情報漏洩れの正確な関係は何か？
• RQ4 RGHWsは、このような方式における不正な参加者に漏洩する情報量をどのように定量的に表すか？
• RQ5 2変数の場合の$q$-ary Reed-Muller符号のRGHWsに対して、閉形式の式を導出できるか？

主な発見

• 本稿では、2変数における$q$-ary Reed-Muller符号の相対一般化ハミング重みに対して閉形式の式を導出している。
• $s$変数における$q$-ary Reed-Muller符号の任意の相対一般化ハミング重みを計算する低複雑性のアルゴリズムが開発された。
• フットプリントバウンドと変換$\mu$が、Feng-Raoバウンドに依存せずにRGHWsを計算する有効なツールであることが示された。
• RGHWsは、$q$-ary Reed-Muller符号を用いた符号に基づくラムプ秘密分散方式における情報漏洩れを完全に特徴づける。
• 結果から、$q$-ary Reed-Muller符号はコセット構成においても局所的訂正可能性を維持しており、分散ストレージにおける耐障害性を裏付ける。
• 解析により、セキュリティレベルとリカバリ効率がRGHWsに密接に関連しており、これらは漏洩量と回復閾値の両方を定量的に表すことが明らかになった。