[論文レビュー] On Partial Maximally-Recoverable and Maximally-Recoverable Codes

S. B. Balaji, P. Vijay Kumar|arXiv (Cornell University)|Jan 28, 2015

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

ひとこと要約

本稿は、最大再構成可能（MR）符号の緩和版として、部分的に最大再構成可能（PMR）符号を導入し、大幅に小型化された体サイズで高レートの構成を可能にする。高レートPMR符号の単純な構成と、さらなる探求のための一般枠組みを提示する一方で、固定されたrおよびΔに対して体サイズO(n^{Δ−1})を達成する、より良い体サイズパラメータを有するMR符号の3つの改良構成も提示する。

ABSTRACT

An [n, k] linear code C that is subject to locality constraints imposed by a parity check matrix H0 is said to be a maximally recoverable (MR) code if it can recover from any erasure pattern that some k-dimensional subcode of the null space of H0 can recover from. The focus in this paper is on MR codes constrained to have all-symbol locality r. Given that it is challenging to construct MR codes having small field size, we present results in two directions. In the first, we relax the MR constraint and require only that apart from the requirement of being an optimum all-symbol locality code, the code must yield an MDS code when punctured in a single, specific pattern which ensures that each local code is punctured in precisely one coordinate and that no two local codes share the same punctured coordinate. We term these codes as partially maximally recoverable (PMR) codes. We provide a simple construction for high-rate PMR codes and then provide a general, promising approach that needs further investigation. In the second direction, we present three constructions of MR codes with improved parameters, primarily the size of the finite field employed in the construction

研究の動機と目的

• 分散ストレージシステムにおける、小さな有限体サイズを有する最大再構成可能（MR）符号を構築する課題に対処すること。
• 厳密なMR制約を緩和するために、最適な全記号ローカリティとMDSパunction特性を維持する部分的に最大再構成可能（PMR）符号を導入すること。
• 特に高レートの状況において、より良い体サイズパラメータを有するMR符号の新規構成を開発すること。
• 多項式制約を用いてパリティ検査行列に制約を課すことで、体サイズO(n^{Δ−1})の一般的で非明示的なMR符号の構成を提供すること。
• より良い体サイズ効率を実現するため、修正されたパリティ検査行列と代数的構造を用いた代替構成の探求。

提案手法

• 全記号ローカリティが最適で、特定の単一パターンにパッチングされた場合にMDS符号を生成するPMR符号の提案。各ローカル符号が一意の座標にパッチングされるように保証する。
• 有限体上での多項式の評価に基づく構成。単項式の指数がr mod (r+1)と合同でないようにすることで、ローカリティ特性を保証する。
• サイズr+1のコセットにグループ化された、リード・ソロモングコードの部分コードから導かれる符号にパッチングを適用。これによりローカリティが保持され、MR特性が実現される。
• [15]のパリティ検査行列構成を変更し、体元の再割り当てを定義することで、体サイズを削減しながらMR特性を維持する。
• 固定されたMDS部分行列と可変なローカルパリティブロックを有するパリティ検査行列の標準形を用い、MR符号を生成する体割り当ての存在を証明する。
• 行列要素の多項式制約が必要なランク条件を満たすように保証することで、体サイズO(n^{Δ−1})のMR符号の存在を確立する。

実験結果

リサーチクエスチョン

• RQ1 完全なMR制約ではなく、緩和された条件下で、全記号ローカリティrを持つ高レート符号を構築できるか？
• RQ2 全記号ローカリティrを有するMR符号を構築するための最小の有限体サイズは何か？また、代替構成によりこれを削減可能か？
• RQ3 体サイズO(n^{Δ−1})のMR符号の存在を示すために、非明示的構成を用いることができるか？
• RQ4 特に体元の選択を含むパリティ検査行列構造を変更すると、得られる符号の体サイズとMR特性にどのような影響を与えるか？
• RQ5 パッチングパターンを設計することで、MDS性とローカル修復可能性を維持しながら、体サイズを削減できるか？

主な発見

• 高レートPMR符号の構成が提供され、完全なMR符号と比較して顕著に小型化された体サイズで、最適な全記号ローカリティとMDSパッチングを達成する。
• k=5, n=15の場合、提案されたPMR構成ではq > 499を要するが、先行研究ではq > 1001（[10]より）またはq ≥ 2^14（[16]より）を要する。
• [15]のパリティ検査行列の修正構成により、δに依存しない体サイズq−1 ≥ ψmのMR符号が得られ、体サイズ効率が向上する。
• 非明示的構成により、固定されたrおよびΔに対して体サイズO(n^{Δ−1})のMR符号の存在が証明され、従来の境界を改善する。
• 多項式制約を用いてパリティ検査行列のランク条件を満たすことで、最大再構成可能性が保証される。
• この枠組みにより、δエラーを訂正可能なローカル符号への拡張が可能となり、ブロックサイズがδ×(r+1)のとき、体サイズO(n^{Δ−1})を維持する。