[論文レビュー] On the Locality of Codeword Symbols in Non-Linear Codes

Michael A. Forbes, Sergey Yekhanin|arXiv (Cornell University)|Mar 15, 2013

Coding theory and cryptography参考文献 1被引用数 7

ひとこと要約

本稿は非線形符号における局所性-冗長性のトレードオフについて、新たな証明を確立し、従来線形符号にのみ知られていた構造定理を最適非線形符号へと拡張する。$d < r+3$ である最適 $(r,d)$-符号では、すべての局所性制約が可逆であることが示され、符号構造が特定可能となる：$k/r$ 個の軽量パリティ（局所性 $r$）、およびすべての情報記号に依存する $d-2$ 個の重いパリティ（より高い局所性 $\\_\geq k - (k/r - 1)(d - 3)$）。これは非線形設定におけるピラミッド符号構造の一般化である。

ABSTRACT

Consider a possibly non-linear (n,K,d)_q code. Coordinate i has locality r if its value is determined by some r other coordinates. A recent line of work obtained an optimal trade-off between information locality of codes and their redundancy. Further, for linear codes meeting this trade-off, structure theorems were derived. In this work we give a new proof of the locality / redundancy trade-off and generalize structure theorems to non-linear codes.

研究の動機と目的

• 非線形符号における局所性-冗長性下界の新たな証明を確立すること。
• 従来線形符号にのみ知られていた構造定理を最適非線形符号へと拡張すること。
• 最適性が可逆性を意味することを示すことで、非線形符号における非可逆局所性制約の課題を解決すること。
• 最適非線形符号の正確な構造を、$d < r+3$ の場合に同定すること、特に軽量および重いパリティの役割を明らかにすること。
• 最適非線形符号の構造がピラミッド符号と類似していることを示すこと。$k/r$ 個の局所性 $r$ の軽量パリティと、より高い局所性を持つ $d-2$ 個の重いパリティを有する。

提案手法

• 局所復元制約を活用して逐次的に部分符号を構築する画期的なアルゴリズム的手法を用い、ブロック長を次元よりも速く短縮する。
• 得られた部分符号にSingletonの不等式を適用し、ブロック長 $n \geq k + \lceil k/r \rceil + d - 2$ に対する主な下界を導出する。
• 最適符号において、非線形の場合でさえもすべての局所性制約が可逆であることを、符号語間の依存構造を分析することで証明する。
• 符号を disjoint な局所性グループ（サイズ $r+1$）に分割する座標再順序付けを導入し、各グループが $r$ 個の他の記号から1つの記号を復元可能であることを保証する。
• 部分符号解析を用いて、距離制約に対する背理法により、$d < r+3$ の場合に重いパリティがすべての $k$ 個の情報記号に依存しなければならないことを示す。
• 部分符号にMDS符号の性質を適用し、$H \setminus \{h\}$ における二重数え上げの議論を用いて、重いパリティの局所性に対する下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 線形符号における局所性-冗長性トレードオフを、新たな証明技法を用いて非線形符号へと拡張できるか？
• RQ2 最適符号における構造定理（例：軽量および重いパリティの存在）は非線形設定でも成立するか？
• RQ3 最適符号において非線形符号が非可逆局所性制約を有しない理由は何か？ また、可逆性をどのように強制できるか？
• RQ4 最適非線形符号の構造は、ピラミッド符号のような既知の構成とどのように比較できるか？
• RQ5 最適非線形符号において、$d < r+3$ の場合のパリティ記号の正確な局所性は何か？

主な発見

• 本稿は非線形符号におけるブロック長の新たな下界を証明した：$n \geq k + \lceil k/r \rceil + d - 2$。これは線形符号の場合と一致する。
• 最適非線形符号で $d < r+3$ の場合、すべての局所性制約が可逆である。これは構造定理を可能にする重要な技術的洞察である。
• 符号構造は正確に $k/r$ 個の軽量パリティから成り、それぞれが互いに素な $r$ 個の情報記号に依存し、局所性は正確に $r$ である。
• 残りの $d-2$ 個の重いパリティはすべての $k$ 個の情報記号に依存し、局所性は $k - (k/r - 1)(d - 3)$ 以上である。
• 最適非線形符号の構造はピラミッド符号と類似しており、明確な軽量・重いパリティの分離がなされている。
• 解析により、最適非線形符号が最適線形符号と同一の局所性と冗長性のトレードオフを達成し、同一の構造的制約を持つことが確認された。