[論文レビュー] On Optimal Ternary Locally Repairable Codes

Jie Hao, Shu‐Tao Xia+1 more|arXiv (Cornell University)|Feb 19, 2017

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

ひとこと要約

この論文は、パリティ検査行列のアプローチを用いて、シングルトン類似境界を満たす最適な三値局所修理可能符号（LRC）のすべての可能なパラメータを特徴づけている。8つのクラスの符号が存在することが証明され、最小距離は2、3、4、5、6に制限される。また、8つのクラスすべてに対して明示的な構成が提供されており、(n=4l,k=3l-2,r=3,d=4)、(n=3l,k=2l-1,r=2,d=3)、(n=12,k=5,r=2,d=6) などのパラメータを持つ符号が含まれる。

ABSTRACT

In an $[n,k,d]$ linear code, a code symbol is said to have locality $r$ if it can be repaired by accessing at most $r$ other code symbols. For an $(n,k,r)$ \emph{locally repairable code} (LRC), the minimum distance satisfies the well-known Singleton-like bound $d\le n-k-\lceil k/r ceil +2$. In this paper, we study optimal ternary LRCs meeting this Singleton-like bound by employing a parity-check matrix approach. It is proved that there are only $8$ classes of possible parameters with which optimal ternary LRCs exist. Moreover, we obtain explicit constructions of optimal ternary LRCs for all these $8$ classes of parameters, where the minimum distance could only be 2, 3, 4, 5 and 6.

研究の動機と目的

• 最適な三値局所修理可能符号（LRC）がシングルトン類似境界を満たすすべての可能なパラメータを特定すること。
• 長さn、次元k、局所性r、最小距離dに関して、すべての最適な三値LRCを分類すること。
• 最適な三値LRCのすべての妥当なパラメータクラスに対して明示的な構成を提供すること。
• 8つの特定されたクラス以外に最適な三値LRCが存在しないことを証明すること。
• F₃上でのMDS符号の境界とパリティ検査行列構造を用いて、体サイズと符号パラメータの制約を分析すること。

提案手法

• Hを局所性行（H₁）と距離に影響を与える行（H₂）に分解するパリティ検査行列の分解法を用い、局所性と最小距離を別々にモデル化する。
• F₃上での(n,k,r) LRCにおいて最適性の基準として、シングルトン類似境界 d ≤ n − k − ⌈k/r⌉ + 2 を適用する。
• 長さn、最小距離dの三値符号の最大サイズM₃(n,d)に関する再帰的境界を用いて、可能なパラメータ集合を制約する。
• F₃上でのMDS符号に関する補題1を適用し、[4,2,3]を除く非自明なMDS符号を除外することで、探索空間を狭める。
• rの偶奇（偶数・奇数）に関するケース解析を実施し、再帰的不等式を用いてnとkの上限を導出し、妥当なパラメータクラスを分類する。
• Kronecker積と巡回パターンを用いた構造的表現を含め、8クラスすべてに対して明示的なパリティ検査行列を構成する。

実験結果

リサーチクエスチョン

• RQ1 シングルトン類似境界を満たす最適な三値LRCのすべての可能なパラメータ集合(n,k,r,d)は何か？
• RQ2 すべての最適な三値LRCを明示的に構成可能か？ もしそうなら、どのパラメータクラスに対して可能か？
• RQ3 シングルトン類似境界を超えて、最適な三値LRCの最小距離dに制約はあるか？
• RQ4 体サイズF₃は、特にMDS符号の制約と関連して、最適なLRCの存在をどのように制限するか？
• RQ5 最適な三値LRCが存在しないパラメータクラスは存在するか？ もしあるなら、その理由は何か？

主な発見

• シングルトン類似境界 d ≤ n − k − ⌈k/r⌉ + 2 を達成する最適な三値(n,k,r) LRCのパラメータは、ちょうど8つのクラスに分類される。
• 最適な三値LRCの最小距離dは、2、3、4、5、6のいずれかに制限される。
• 8クラスすべてに対して明示的な構成が提供されており、(k+⌈k/r⌉,k,r,d=2)、(13−g,10−g,8−g,d=3)（0≤g≤4）、(2k+2,k,1,d=4)、(8,2,1,d=6)、(n,r+1,r,d=n−k)（3≤k≤6 かつ 3≤n−k≤6）、(4l,3l−2,3,d=4)（l≥3）、(3l,2l−1,2,d=3)（l≥3）、(12,5,2,d=6) などのパラメータを持つ符号が含まれる。
• r=3の場合、(4l,3l−2,3,d=4) は最適であり、(1 1 1 1) と 2×4 行列のKronecker積を含むパリティ検査行列構造により構成可能である。
• r=2の場合、(3l,2l−1,2,d=3) は最適であり、Iₗ⊗(1 1 1) と (1 1 ... 1)⊗(0 1 2) の行を用いた構成が可能である。
• M₃(n,d)に関する境界とパラメータ制約により、r=4 や r=5 に対しては、既知のクラス以外に最適な三値LRCは存在しないことが示された。