[論文レビュー] Codes with Locality for Two Erasures

N. Prakash, V. Lalitha+1 more|arXiv (Cornell University)|Jan 10, 2014

Advanced Data Storage Technologies参考文献 11被引用数 23

ひとこと要約

本稿では、逐次的な局所的パリティチェックを用いて2つのエラーを回復可能な、局所的に2回復可能（locally 2-reconstructible）な符号を導入し、双対符号の一般化されたハミング重み（GHW）を用いて最小距離のよりタイトな普遍的上限を導出する。また、この上限に達する最適な符号をツーラングラフに基づく構成により得ており、1エラー回復の全記号局所性符号についても、従来の結果を改善するよりタイトな上限を確立している。

ABSTRACT

In this paper, we study codes with locality that can recover from two erasures via a sequence of two local, parity-check computations. By a local parity-check computation, we mean recovery via a single parity-check equation associated to small Hamming weight. Earlier approaches considered recovery in parallel; the sequential approach allows us to potentially construct codes with improved minimum distance. These codes, which we refer to as locally 2-reconstructible codes, are a natural generalization along one direction, of codes with all-symbol locality introduced by Gopalan extit{et al}, in which recovery from a single erasure is considered. By studying the Generalized Hamming Weights of the dual code, we derive upper bounds on the minimum distance of locally 2-reconstructible codes and provide constructions for a family of codes based on Turán graphs, that are optimal with respect to this bound. The minimum distance bound derived here is universal in the sense that no code which permits all-symbol local recovery from $2$ erasures can have larger minimum distance regardless of approach adopted. Our approach also leads to a new bound on the minimum distance of codes with all-symbol locality for the single-erasure case.

研究の動機と目的

• 2つのエラーを逐次的な局所的回復により効率的に復元可能な新しい符号クラスの開発。並列回復モデルに比べて改善する。
• 構成法に依存しない、全記号局所性を有する2エラー回復符号の最小距離に対する普遍的上限の導出。
• ツーラングラフに基づく設計を用いて、この上限に達する最適な符号の構成。
• フレームワークを1エラーの場合に拡張し、古典的上限 (1) よりもタイトな最小距離の上限を導出する。

提案手法

• 双対符号の一般化されたハミング重み（GHW）を用いて、局所的に2回復可能な符号の最小距離に対する上限を導出する。
• GHWの再帰的上限を、$ e_b = n $ および $ e_{m-1} = e_m - \lceil 2e_m / m \rceil + (r+1) $ で定義される列 $ e_m $ を用いて、部分符号のサポートの成長をモデル化する。
• ツーラングラフを用いて局所的パリティのサポート集合を定義し、導出されたGHW上限に等号が成立するように最適な符号を構成する。
• 2つの部分符号のサポートが有限な重なりを持つように交わる性質をもつ補題を用いて、構成された符号 $ \mathcal{B}_0 $ のGHWが上限に達することを証明する。
• 双対符号の低重み符号語の構造を活用し、局所的回復可能性をモデル化し、距離制約を導出する。
• 同じ枠組みを1エラーの場合に適用し、古典的 $ d_{\min} \leq n-k-\lceil k/r \rceil + 2 $ よりもタイトな上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 2エラー回復のための逐次的回復モデルは、並列回復モデルに比べて、より良い最小距離を有する符号を生み出せるか？
• RQ2 構成法に依存せず、2エラー回復に適した全記号局所性符号の最小距離の最もタイトな上限は何か？
• RQ3 ツーラングラフのような組合せ設計を用いて、この普遍的上限に達する最適な符号を構成可能か？
• RQ4 提案されたGHWに基づくフレームワークは、1エラー回復の全記号局所性符号において、古典的上限よりタイトな最小距離の上限を導出できるか？
• RQ5 双対符号の低重み符号語の構造を用いて、局所的回復可能な符号の正確な最小距離の上限を導出可能か？

主な発見

• 本稿では、全記号局所性を有する2エラー回復符号の最小距離に対する普遍的上限を導出し、いかなる構成法を用いた符号であってもこれを超えることはできないことを示している。
• 1エラー回復のケースにおいて、提案された上限は古典的上限 (1) よりもタイトであり、$ n=18, r=3 $ の場合に定量的にその改善が示されている。
• ツーラングラフを用いて、導出された上限に達する最適な符号が構成されており、局所的パリティのサポート集合はグラフの辺分割に基づいて定義されている。
• 構成された符号 $ \mathcal{B}_0 $ の一般化されたハミング重みが、重複が制限された対ごとの交わるサポート集合に関する補題を用いて、上限に達することが示されている。
• 1エラー回復のケースにおいて、符号 $ \mathcal{B}_0 $ の双対符号の部分符号のGHWに関する再帰的上限を用いて、$ d_{\min} $ に対する新しい上限が確立された。
• 式 (29) が (1) よりもタイトであることが示されており、これはよりタイトなGHW推定値 $ d_m(\mathcal{B}_0) \leq e_m $ が、単純な $ m(r+1) $ の上限よりも優れているためである。