[論文レビュー] On the Locality of Codeword Symbols

Parikshit Gopalan, Cheng Huang+2 more|arXiv (Cornell University)|Jun 18, 2011

Advanced Data Storage Technologies被引用数 4

ひとこと要約

本稿は、情報記号の局所性と最小距離に関して、線形符号の冗長度に関するタイトな上限を確立し、これらの上限に達する最適符号を導入する。符号の情報局所性が $ r $ で最小距離が $ d $ の場合、冗長度 $ n-k \geq \lceil k/r \rceil + d - 2 $ が成り立つことを証明し、$ r \mid k $ かつ $ d < r+3 $ の場合の最適符号の構造定理を提示する。また、一般化されたピラミッド符号におけるパリティ記号の局所性と最小距離を超える誤り訂正能力の間のトレードオフも示す。

ABSTRACT

Consider a linear [n,k,d]_q code C. We say that that i-th coordinate of C has locality r, if the value at this coordinate can be recovered from accessing some other r coordinates of C. Data storage applications require codes with small redundancy, low locality for information coordinates, large distance, and low locality for parity coordinates. In this paper we carry out an in-depth study of the relations between these parameters. We establish a tight bound for the redundancy n-k in terms of the message length, the distance, and the locality of information coordinates. We refer to codes attaining the bound as optimal. We prove some structure theorems about optimal codes, which are particularly strong for small distances. This gives a fairly complete picture of the tradeoffs between codewords length, worst-case distance and locality of information symbols. We then consider the locality of parity check symbols and erasure correction beyond worst case distance for optimal codes. Using our structure theorem, we obtain a tight bound for the locality of parity symbols possible in such codes for a broad class of parameter settings. We prove that there is a tradeoff between having good locality for parity checks and the ability to correct erasures beyond the minimum distance.

研究の動機と目的

• 情報記号の局所性と最小距離に関して、線形符号の冗長度に対するタイトな下限を確立すること。
• 特に $ r \mid k $ および $ d < r+3 $ の場合に、冗長度の上限に達する最適符号の構造を特徴づけること。
• 最適符号におけるパリティ記号の局所性を分析し、ピラミッド符号よりも顕著に改善可能であることを示すこと。
• 一般化されたピラミッド符号におけるパリティ記号の局所性と最小距離を超える誤り訂正能力の間のトレードオフを調査すること。
• 二部グラフによるサポート構造を用いて、一般化されたピラミッド符号における誤り訂正の必要十分条件を提示すること。

提案手法

• 組合せ論的および線形代数的技法を用いて、情報記号の局所性が $ r $ の $[n,k,d]_q$ 符号に対して冗長度 $ n-k \geq \lceil k/r \rceil + d - 2 $ のタイトな下限を導出する。
• この境界に達する符号を最適符号と定義し、$ r \mid k $ および $ d < r+3 $ の条件下で、そのような符号の構造定理を証明し、パリティ検査行列のサポートを固定する。
• パリティ検査行列のサポートを二部グラフ $ G $ でモデル化し、パリティベクトルの線形結合による座標集合の削除を定義する。
• 集合 $ I $ が $ \{ \mathbf{c}_j \}_{j \in J} $ のサポートの和集合から削除可能であるための必要条件を確立する。これは、Hallの条件とランクの議論に基づき、すべての $ I' \subseteq I $ に対して $ |\Gamma_J(I')| > |I'| $ が成り立つ必要がある。
• 一般化されたピラミッド符号において、各パリティ記号 $ \mathbf{c}_j $ の局所性がその次数 $ \deg(j) $ に等しいことを、背理法と削除制約を用いて証明する。
• 一般化されたピラミッド符号が非自明なパリティ局所性を持たないことを示し、最小距離を超える誤り訂正能力とパリティ記号の局所性の間の根本的なトレードオフを確立する。

実験結果

リサーチクエスチョン

• RQ1 情報記号の局所性が $ r $ である線形 $[n,k,d]_q$ 符号に対して、冗長度 $ n-k $ のタイトな下限は何か？
• RQ2 特に $ r \mid k $ および $ d < r+3 $ の場合に、この境界に達する最適符号の構造的制約は何か？
• RQ3 最適符号におけるパリティ記号の局所性は、ピラミッド符号を上回って改善可能か？その限界は何か？
• RQ4 一般化されたピラミッド符号において、最小距離を超える誤り訂正能力とパリティ記号の局所性の間のトレードオフは何か？
• RQ5 一般化されたピラミッド符号における誤り訂正の必要条件（$ |\Gamma_J(I')| > |I'| $ がすべての $ I' \subseteq I $ に対して成り立つ）が、特に体のサイズとベクトル配置の観点から十分に十分であるのはどのような条件下か？

主な発見

• 情報記号の局所性が $ r $ である任意の $[n,k,d]_q$ 符号に対して、冗長度は $ n-k \geq \lceil k/r \rceil + d - 2 $ を満たし、この境界はタイトである。
• この境界に達する最適符号は存在し、$ r \mid k $ および $ d < r+3 $ の場合、パリティ検査行列のサポート構造が固定され、残りの係数のみが自由に選べる。
• $ d < r+3 $ の場合、最適符号におけるパリティ記号の局所性は $ r $ 未満に抑えられ、$ d=4 $ の場合に明示的な構成が存在し、ピラミッド符号よりも優れたパリティ局所性を実現する。
• 一般化されたピラミッド符号は非自明なパリティ局所性を持たない。具体的には、$ \operatorname{Loc}(\mathbf{c}_j) = \deg(j) $ であり、これより小さい局所性は不可能である。
• 一般化されたピラミッド符号における誤り訂正の必要条件（すべての $ I' \subseteq I $ に対して $ |\Gamma_J(I')| > |I'| $）は、十分に大きな体では十分条件にもなる。これにより、最大限の誤り訂正能力が保証される。
• 根本的なトレードオフが存在する：最小距離を超える誤り訂正能力を有する符号（一般化されたピラミッド符号を介して）は、パリティ記号の局所性が低くならない。逆に、パリティ記号の局所性が低い符号は、最小距離を超える誤り訂正能力が劣る。