[論文レビュー] Achieving Arbitrary Locality and Availability in Binary Codes

Anyu Wang, Zhifang Zhang|arXiv (Cornell University)|Jan 18, 2015

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

ひとこと要約

本稿では、組合せ的ブロックデザインを活用することで、すべての座標に対して任意の局所性 $ r $ および利用可能性 $ t $ を達成する新しい二値線形符号の構成を提示する。符号長は $ \binom{r+t}{t} $、次元は $ \binom{r+t-1}{t} $、情報レートは $ \frac{r}{r+t} $ であり、これは直接積符号のそれよりも厳密に大きく、$ t=2 $ の場合に最適境界と一致するため、近似的に最適な性能を示す。

ABSTRACT

The $i$th coordinate of an $(n,k)$ code is said to have locality $r$ and availability $t$ if there exist $t$ disjoint groups, each containing at most $r$ other coordinates that can together recover the value of the $i$th coordinate. This property is particularly useful for codes for distributed storage systems because it permits local repair and parallel accesses of hot data. In this paper, for any positive integers $r$ and $t$, we construct a binary linear code of length $\binom{r+t}{t}$ which has locality $r$ and availability $t$ for all coordinates. The information rate of this code attains $\frac{r}{r+t}$, which is always higher than that of the direct product code, the only known construction that can achieve arbitrary locality and availability.

研究の動機と目的

• すべての座標に対して任意の局所性 $ r $ および利用可能性 $ t $ を有する明示的な二値線形符号の構築。
• 特に直接積符号の情報レートを改善すること。
• 局所的に復元可能な符号と組合せ的ブロックデザインとの間の関係を確立し、体系的な構成法を提供すること。
• 提案された符号が、特に小さな $ t $ に対して近似的に最適な情報レートを達成することを示すこと。
• すべての正の整数 $ r $ および $ t $ に対して適用可能な一般枠組みを提供すること。

提案手法

• すべての $ t $-部分集合からなる $ (r+t) $ 要素集合の組合せ的ブロックデザイン（BIBD）のインシデント行列を用いて符号を構築する。
• 各座標は $ t $-部分集合に対応し、各パリティーチェックは $ (t-1) $-部分集合に対応し、組合せ的回復ルールにより局所性と利用可能性が保証される。
• 任意の座標の復元は、ターゲットの $ t $-部分集合を含む固定の $ (t-1) $-部分集合に対応する、互いに素な修理グループから $ r $ 個の他の座標にアクセスすることで達成される。
• 符号の構造により、すべての座標がサイズが最大 $ r $ の $ t $ 個の互いに素な修理グループを持つことが保証され、局所性と利用可能性の要件を満たす。
• 符号が $ \mathbb{F}_2 $ 上で線形であることが証明され、符号パラメータは二項係数に関する組合せ的恒等式から導出される。
• 従来の構成（完全グラフや単体符号など）を一般化し、単一のフレームワークに統合する。

実験結果

リサーチクエスチョン

• RQ1 すべての座標に対して任意の局所性 $ r $ および利用可能性 $ t $ を達成し、直接積符号よりも高い情報レートを有する二値線形符号を構築可能か？
• RQ2 局所的復元可能符号（局所性と利用可能性を有する）と組合せ的ブロックデザインとの関係は何か？
• RQ3 提案された構成は $ t=2 $ で最適な情報レートを達成するか？一般の $ t $ に対して既知の上界からどれほど近いか？
• RQ4 提案された符号の情報レートは、特に小さな $ t $ に対して他の既知の構成と比較してどうか？
• RQ5 この構成は任意の $ r $ および $ t $ に一般化可能か？また、レートおよび最小距離の観点から高い効率を維持するか？

主な発見

• 構築された符号は長さ $ \binom{r+t}{t} $、次元 $ \binom{r+t-1}{t} $、最小距離 $ t+1 $ を有し、耐障害性と効率的な修理を保証する。
• 情報レート $ \frac{r}{r+t} $ は、すべての $ t > 1 $ に対して直接積符号のそれよりも厳密に大きく、$ t $ が大きいほど顕著な差が生じる。
• $ t=2 $ の場合、局所的に2回復元可能な符号の情報レートに対するタイトな上界 $ \frac{r}{r+2} $ を達成し、この上界のタイトさを示す。
• $ t = \delta - 1 $ のとき、符号は $ (r,\delta) $-局所性符号の最適レートと一致し、その範囲で最適性を確認する。
• 構成は組合せ的ブロックデザイン、特にBIBDと深い関係を有し、符号生成の体系的で一般化可能な方法を可能にする。
• 直接積符号よりも情報レートで優れており、Tamoら（2014）の理論的上界に特に小さな $ t $ に対して近づくことから、近似的に最適性が示唆される。