[論文レビュー] How Long Can Optimal Locally Repairable Codes Be?

Venkatesan Guruswami, Chaoping Xing+1 more|arXiv (Cornell University)|Jan 1, 2018

Advanced Data Storage Technologies参考文献 12被引用数 7

ひとこと要約

本稿は、最小距離 d ≥ 5 の最適局所修理可能符号（LRC）の長さに対する最初の既知の上界を確立し、アルファベットサイズ q の符号が長さ O(dq³) までに制限されることを証明している。d = 5 の場合には、より緊密な上界 O(q²) が得られる。これに加え、d ≤ r + 2 のとき、長さ Ωd,r(q¹⁺¹/⌊(d−3)/2⌋) の最適LRCが存在することを構成的下界として示しており、d = 5 の場合に上界と一致し、d = 5 の最適LRCの最大漸近的長さが n = Θ(q²) であることを確立している。

ABSTRACT

A locally repairable code (LRC) with locality $r$ allows for the recovery of any erased codeword symbol using only $r$ other codeword symbols. A Singleton-type bound dictates the best possible trade-off between the dimension and distance of LRCs --- an LRC attaining this trade-off is deemed \emph{optimal}. Such optimal LRCs have been constructed over alphabets growing linearly in the block length. Unlike the classical Singleton bound, however, it was not known if such a linear growth in the alphabet size is necessary, or for that matter even if the alphabet needs to grow at all with the block length. Indeed, for small code distances $3,4$, arbitrarily long optimal LRCs were known over fixed alphabets. Here, we prove that for distances $d \ge 5$, the code length $n$ of an optimal LRC over an alphabet of size $q$ must be at most roughly $O(d q^3)$. For the case $d=5$, our upper bound is $O(q^2)$. We complement these bounds by showing the existence of optimal LRCs of length $Ω_{d,r}(q^{1+1/\lfloor(d-3)/2 floor})$ when $d \le r+2$. These bounds match when $d=5$, thus pinning down $n=Θ(q^2)$ as the asymptotically largest length of an optimal LRC for this case.

研究の動機と目的

• 最小距離 d ≥ 5 の場合に、固定されたアルファベットサイズに対して最適局所修理可能符号（LRC）が無限長を持つことができるかどうかという未解決の問いを解消すること。
• アルファベットサイズ q およびローカリティ r の関数として、最適LRCの最大可能長に対するタイトな上界および下界を確立すること。
• d ≥ 5 の最適LRCについて、既存の構成と理論的限界の間のギャップを埋めること。
• d ≤ r + 2 の場合に、q に対して超線形長を持つ最適LRCを構成するための方法を提供すること。
• 最適LRCの長さ、アルファベットサイズ、最小距離の間の漸近的トレードオフを明確にすること。

提案手法

• パリティーチェック行列における線形従属に基づく組合せ的議論を用いて、最適LRCの長さに対する上界を導出。回復グループの構造と列選択に焦点を当てる。
• d−1 個の列が線形独立であることを保つように、列を逐次選択する貪欲アルゴリズムを適用してパリティーチェック行列を構築し、最小距離 d を確保する。
• ローカリティ r を満たすために、パリティーチェック行列を r+1 個の互いに素な回復グループにブロック分解する。各グループのサイズは r+1 である。
• 線形独立性を破る可能性のある「悪い」列選択の数に制約を課し、それらを以前に選択された列が張る部分空間のサイズを用いて上限付ける。
• Plotkinの補題とパuncturing（短縮）の議論を用いて、d が n に比例する場合に d ≤ O(qr) であることを示す二次的上界を導出する。
• n ≡ 0 mod r+1 の場合の構成を、一般の n に短縮を用いて拡張し、剰余 a = n mod (r+1) に特定の条件が満たされる場合に最適性が保たれることを示す。

実験結果

リサーチクエスチョン

• RQ1 d ≥ 5 の場合に、固定されたアルファベットサイズに対して最適LRCが無限長を持つことができるか？
• RQ2 アルファベットサイズ q および最小距離 d ≥ 5 の関数として、最適LRCの長さに対するタイトな上界は何か？
• RQ3 d ≥ 5 の場合に、q に対して超線形長を持つ最適LRCを構成可能であり、その最大達成可能長は何か？
• RQ4 d = 5 の場合に、上界と下界の長さはどのように比較されるか？ギャップは閉じられるか？
• RQ5 コード長 n mod (r+1) にどのような条件下で、短縮された最適LRCが最適性を保つことができるか？

主な発見

• d ≥ 5 の場合、アルファベットサイズ q の最適LRCの最大長 n は O(dq³) 以下である。d = 5 の場合には、より緊密な上界 O(q²) が得られる。
• d が 4 の倍数である場合、上界は O(dq³⁺⁴/(d−4)) にまで改善され、d ≡ 1 mod 4 の場合にはわずかに良好な結果が得られる。
• 構成的下界により、すべての d ≤ r + 2 に対して、長さ Ωd,r(q¹⁺¹/⌊(d−3)/2⌋) の最適LRCが存在することが示された。
• d = 5 の場合、上界と下界が正確に一致し、最適LRCの最大長が Θ(q²) であることが証明された。
• 構成は短縮を用いて一般の n に拡張され、n mod (r+1) > d−1 であるか、特定の剰余および次元に関する条件を満たす場合に最適性が保たれる。
• 本稿は、d ≥ 5 の場合に固定アルファベット上で最適LRCが無限長を持てないことを確立し、長年の未解決問題を解決した。