[論文レビュー] Locally Repairable Codes and Matroid Theory

Antti Pöllänen|arXiv (Cornell University)|Dec 16, 2015

Advanced Data Storage Technologies被引用数 1

ひとこと要約

本学位論文は、ほぼ線形LRCとマトロイド理論の間のより深い関係を確立することで、局所的に修復可能な符号（LRC）の理論を発展させた。特に、符号の主要なパラメータ（n, k, d, r, δ）がマトロイド不変量であることを示した。既存の研究を改善し、一般化されたSingletonの上限が達成可能なパラメータのクラスを拡張するとともに、最適最小距離dmaxに対するよりタイトな一般下界を提示した。

ABSTRACT

Locally repairable codes (LRCs) are error correcting codes used in distributed data storage. A traditional approach is to look for codes which simultaneously maximize error tolerance and minimize storage space consumption. However, this tends to yield codes for which error correction requires an unrealistic amount of communication between storage nodes. LRCs solve this problem by allowing errors to be corrected locally. This thesis reviews previous results on the subject presented in [1]. These include that every almost affine LRC induces a matroid such that the essential properties of the code are determined by the matroid. Also, the generalized Singleton bound for LRCs can be extended to matroids as well. Then, matroid theory can be used to find classes of matroids that either achieve the bound, meaning they are optimal in a certain sense, or at least come close to the bound. This thesis presents an improvement to the results of [1] in both of these cases. [1] T. Westerb\"ack, R. Freij, T. Ernvall and C. Hollanti, "On the Combinatorics of Locally Repairable Codes via Matroid Theory", arXiv:1501.00153 [cs.IT], 2014.

研究の動機と目的

• ほぼ線形局所的に修復可能な符号（LRC）とマトロイド理論との間の厳密な関係を確立すること。
• LRCからマトロイドへの一般化されたSingletonの上限の拡張を図り、符号の最適性に関するマトロイド的分析を可能にすること。
• 従来の結果を改善し、Singletonの上限が達成可能なパラメータのより広いクラスを同定すること。
• (n,k,r,δ)-マトロイドにおける最大最小距離dmaxのよりタイトな一般下界を導出すること。
• マトロイドがSingletonの上限を達成または近づける構造的条件を探索し、分散ストレージにおける符号設計に知見を提供すること。

提案手法

• ほぼ線形LRCが一意に定まるマトロイドを誘導することに着目し、その不変量が符号パラメータ（n,k,d,r,δ）に対応することを応用する。
• マトロイドの双対性とノルティ解析を用いて、特にノルティがη(Fi) = δ−1である原子の構造を特徴づける。
• アルゴリズム1を用いて原子のノルティを反復的に低下させ、上限を超過した場合に矛盾が生じることを示す。
• 組合せ最適化と床関数・床関数を用いて、⌈k/r⌉−1個の原子におけるノルティの合計の下界を導出する。
• 置換m = ⌊n/(r+δ−1)⌋−1を適用して境界を精緻化し、定理14における境界と同値であることを示す。
• 極値集合論の概念と構造定理（例：定理9）を用いて、Singletonの上限を達成または近づけるマトロイドを構成する。

実験結果

リサーチクエスチョン

• RQ1 LRCの一般化されたSingletonの上限をマトロイドへ拡張できる条件は何か？
• RQ2 どのクラスの(n,k,r,δ)-マトロイドが一般化されたSingletonの上限を達成するのか？ そして、それらは体系的にどのように構成できるか？
• RQ3 Singletonの上限が達成可能なパラメータのクラスを、従来の結果を上回るように拡張できるか？
• RQ4 Singletonの上限が達成不可能な場合に、dmax(n,k,r,δ)のタイトな一般下界は何か？
• RQ5 マトロイド不変量（ノルティやランク）と対応するLRCの最小距離dとの関係は何か？

主な発見

• LRCの一般化されたSingletonの上限がマトロイドへ成功裏に拡張され、符号の最適性をマトロイド理論で分析可能となった。
• ⌈k/r⌉= 2のとき、一般化されたSingletonの上限が達成可能なパラメータの新たなクラスが同定され、従来の結果が拡張された。
• dmax(n,k,r,δ)の改善された一般下界が導出され、従来の境界よりもタイトであり、達成不可能なパラメータのクラスにおいて最適であることが示された。
• ⌈k/r⌉−1個の原子におけるノルティの合計に関する境界が、s = ∑η(Fi)に関して増加することを証明し、制約s ≥ n−rmの下で最小化されることが示された。
• 式(19)の境界がmに関して減少することを示し、最適な置換m = ⌊n/(r+δ−1)⌋−1が得られ、定理14の定義と一致することが確認された。
• 証明により、非最適マトロイドのdが常に境界(15)または(16)で上界で抑えられることを示し、導出された境界のタイトさが裏付けられた。