[論文レビュー] Balanced Sparsest Generator Matrices for MDS Codes

Son Hoang Dau, Wentu Song+2 more|arXiv (Cornell University)|Jan 22, 2013

Coding theory and cryptography参考文献 5被引用数 8

ひとこと要約

本稿では、任意の $n$ と $k$ および十分に大きな $q$ に対して、$[n,k]_q$ MDS コードが存在し、その生成行列が、(各行に正確に $n-k+1$ 個の非ゼロ要素を持つ) スパースかつ (列の重みが互いに1以内に収まる) バランスが取れていることを証明している。この構成は、組合せ行列設計と大規模な有限体上の代数的条件に依存しており、センサーネットワークにおける最適な負荷分散と最小限の符号化複雑性を実現する。

ABSTRACT

We show that given $n$ and $k$, for $q$ sufficiently large, there always exists an $[n, k]_q$ MDS code that has a generator matrix $G$ satisfying the following two conditions: (C1) Sparsest: each row of $G$ has Hamming weight $n - k + 1$; (C2) Balanced: Hamming weights of the columns of $G$ differ from each other by at most one.

研究の動機と目的

• センサーやノードに均等に負荷を分散させる必要があるセンサーネットワークにおいて、効率的でバランスの取れたエラー訂正符号を設計するという課題に対処すること。
• 各行の非ゼロ要素数を最小限に抑える（最もスパースな）生成行列を構築すると同時に、列の重みが可能な限り等しくなる（バランスが取れている）ようにすること。
• 任意の $n$、$k$ および十分に大きな $q$ に対して、このようなバランスが取れ、かつ最もスパースな生成行列が存在することを証明すること。
• 組合せ行列の性質とネットワークフローによる検証を活用して、このような行列を多項式時間で構成するアルゴリズムを提供すること。

提案手法

• 本稿では、生成行列 $\mathbf{G}$ から導かれるバイナリーサポート行列 $\mathbf{M}$ を定義し、その要素は非ゼロ要素の位置を示す。
• 多項式 $f(\mathrm{var}(\mathbf{M}))$ を用いて、$\mathbf{M}$ が十分に大きな体 $\mathbb{F}_q$ 上で MDS コードをサポートできるかどうかを判定する。
• 反復的に列の重みを調整することでバランスを達成し、同時に行の重みが $n-k+1$ の条件を維持する構成的アルゴリズムを提案する。
• 条件 (P3) — すなわち、行列が MDS コードをサポートすることを保証する条件 — は、最小カット容量をテストするネットワークフロー定式化を用いて検証される。
• 組合せ的補題を用いて、行と列の重み制約が、互いに素な行集合のような構造的性質を強制することを示し、バランスが破られる場合に矛盾が生じることを示す。
• 反復回数が有界で、ネットワークフローのチェックが効率的であるため、構成は多項式時間で終了することが証明される。

実験結果

リサーチクエスチョン

• RQ1 十分に大きな $q$ に対して、任意の $[n,k]_q$ MDS コードについて、その生成行列がスパースかつバランスが取れているものが存在するか？
• RQ2 このような生成行列を多項式時間でアルゴリズム的に構成できるか？
• RQ3 どのような組合せ的および代数的条件が、バイナリーサポート行列が大規模な有限体上での MDS コードに対応することを保証するか？
• RQ4 生成行列の行の重みを最小限に保ちながら、列の重みの不均衡をどのように回避できるか？
• RQ5 MDS コードのスパース生成行列における列の重みの最大差はいくつであるか？

主な発見

• 任意の $n$ と $k$ および $q > \binom{n-1}{k-1}$ に対して、各行に正確に $n-k+1$ 個の非ゼロ要素を持つ $[n,k]_q$ MDS コードが存在する。
• このような生成行列の列の重みは、互いに1以内に収まるため、ネットワーク内のセンサー間で完全な負荷分散が達成される。
• このような行列の存在は、多項式 $f(\mathrm{var}(\mathbf{M}))$ がゼロでないことによって保証され、これにより $\mathbf{G}$ のすべての $k \times k$ の部分行列がフルランクであることが保証される。
• 反復的に列の重みを調整しながら行の重みと MDS 条件を維持する多項式時間アルゴリズムにより、このような行列が構成可能である。
• アルゴリズムの正しさは、行と列のサポート構造に基づく背理的議論に依存しており、重複する行集合が、必要な重みバランスを破ることを示している。
• アルゴリズムの最大反復回数は $(k-1)\lfloor n/2 \rfloor$ で有界であり、これにより効率性が保証される。