[論文レビュー] Bounds and Constructions of Locally Repairable Codes: Parity-check Matrix Approach

Jie Hao, Shu‐Tao Xia+4 more|arXiv (Cornell University)|Jan 21, 2016

Advanced Data Storage Technologies参考文献 45被引用数 24

ひとこと要約

本稿は、最小距離の上限と最大コード長の上限を導出し、最適な局所修復可能コード（LRC）を構築するためのパリティーチェック行列フレームワークを提示する。$q$-ary LRCの最小距離と最大コード長の上限を導出し、シングルトンに類似した上限を満たす最適な二値LRCは、コード同値性の意味で正確に5つのクラスに分類されることが証明されている。

ABSTRACT

A $q$-ary $(n,k,r)$ locally repairable code (LRC) is an $[n,k,d]$ linear code over $\mathbb{F}_q$ such that every code symbol can be recovered by accessing at most $r$ other code symbols. The well-known Singleton-like bound says that $d \le n-k-\lceil k/r ceil +2$ and an LRC is said to be optimal if it attains this bound. In this paper, we study the bounds and constructions of LRCs from the view of parity-check matrices. Firstly, a simple and unified framework based on parity-check matrix to analyze the bounds of LRCs is proposed. Several useful structural properties on $q$-ary optimal LRCs are obtained. We derive an upper bound on the minimum distance of $q$-ary optimal $(n,k,r)$-LRCs in terms of the field size $q$. Then, we focus on constructions of optimal LRCs over binary field. It is proved that there are only 5 classes of possible parameters with which optimal binary $(n,k,r)$-LRCs exist. Moreover, by employing the proposed parity-check matrix approach, we completely enumerate all these 5 classes of possible optimal binary LRCs attaining the Singleton-like bound in the sense of equivalence of linear codes.

研究の動機と目的

• $q$-ary 局所修復可能コード（LRC）の上限と構造的性質を分析する統一的なパリティーチェック行列フレームワークの開発。
• $q$-ary 最適LRCの最小距離と最大コード長に対する上限を、体のサイズ $q$ の観点から導出する。
• シングルトンに類似した上限に到達するすべての最適二値$(n,k,r)$-LRCのパラメータを同定する。
• 提案されたパリティーチェック行列アプローチを用いて、コード同値性の意味ですべての最適二値LRCを完全に列挙する。
• 特定のパrameterクラス（近MDSコードや$d=4$のコードを含む）における最適二値LRCの存在と一意性を確立する。

提案手法

• 局所性行とそのサポートに注目し、$q$-ary 最適LRCの構造を分析する体系的なパリティーチェック行列フレームワークを提案する。
• 最適性の基準としてシングルトンに類似した上限 $d \leq n - k - \lceil k/r \rceil + 2$ を用い、等号が成立する条件を導出する。
• レムマ5と定理2を適用して、特に $s=1$（近MDS）および $s \geq 2$ の場合のパリティーチェック行列の構造を制限する。
• 整数計画法と体サイズの考察を用いて、特に $q=2$ の場合に最小距離とコード長の上限を導出する。
• パリティーチェック行列の形に基づき、$r$, $k$, $d$, $n$ を用いて最適二値LRCを5つの明確なパラメータクラスに分類する。
• 5つのクラスすべてに対して明示的なパリティーチェック行列の構成を提供し、$H = I_l \otimes (1\ 1\ 1\ 1)$ および $d=4$ ケースの追加構造的行を含む。

実験結果

リサーチクエスチョン

• RQ1 最適な$q$-ary LRCのパリティーチェック行列に必要な構造的条件は何か？ これはシングルトンに類似した上限を満たすために必要である。
• RQ2 体サイズ$q$に基づいて、$q$-ary 最適LRCの最小距離と最大コード長に導ける上限は何か？
• RQ3 どのパラメータ集合$(n,k,r)$が、シングルトンに類似した上限に到達する最適二値LRCの存在を許容するか？
• RQ4 パリティーチェック行列アプローチを用いて、コード同値性の意味ですべての最適二値LRCを完全に列挙する方法は何か？
• RQ5 すべての最適二値LRCのパリティーチェック行列の正確な形は何か？ そして、それらは下位のコード構造をどのように反映しているか？

主な発見

• シングルトンに類似した上限に到達する最適二値$(n,k,r)$-LRCのパラメータは、コード同値性の意味で正確に5つのクラスに分類され、それ以外には存在しない。
• $s=1$ の場合、最適二値LRCは4つの既知の二値近MDSコードに対応する：$[7,4,3]$、$[8,4,4]$、$[7,3,4]$、$[6,3,3]$（$r=3$ または $r=2$）。
• $s \geq 2$ の場合、唯一可能な最適二値LRCは、$n=4l$、$k=3l-2$、$r=3$、$d=4$、$l \geq 3$ のパラメータを持つ。$I_l \otimes (1\ 1\ 1\ 1)$ と追加の構造的行を含む特定のパリティーチェック行列構造を持つ。
• 第3および第4のクラス、および$[7,3,4]$シンプレックスコードは、コロラリー4に従い、最小距離の上限$d=2q=4$と最大コード長に到達する。
• $n=12$ の$[12,7,3]$ LRCのパリティーチェック行列は、$5 \times 12$ 行列として明示的に与えられ、ブロック構造を持つ。これは一般形を確認する。
• 解析により、5つのクラスがすべての最適二値LRCを完全にカバーしていることが確認され、先行研究が近MDSケースを欠いていたというギャップが解消された。