[論文レビュー] Optimal LRC codes for all lenghts n≤q.

Oleg Kolosov, Alexander Barg+2 more|arXiv (Cornell University)|Feb 1, 2018

Coding theory and cryptography参考文献 10被引用数 14

ひとこと要約

本稿では、$ n \leq q $ すべてのコード長に対して最適な局所修理可能コード（LRC）の明示的代数的構成を提示する。従来の研究では $ n $ が $ r+1 $ で割り切れる必要があったが、本稿では、完全な修復グループから $ t = r+1 - (n \mod (r+1)) $ 個の座標を削除することで、$ q $-元 Reed-Solomon コードの短縮部分コードを用いることで、$ n \not\equiv 0 \pmod{r+1} $ の場合でも最小距離が最適となる LRC を構成する。

ABSTRACT

A family of distance-optimal LRC codes from certain subcodes of $q$-ary Reed-Solomon codes, proposed by I.~Tamo and A.~Barg in 2014, assumes that the code length $n$ is a multiple of $r+1.$ By shortening codes from this family, we show that it is possible to lift this assumption, still obtaining distance-optimal codes.

研究の動機と目的

• 従来の研究が $ n $ が $ r+1 $ で割り切れる必要があった制限を超えて、距離最適 LRC コードの構成を拡張すること。
• すべての $ n \leq q $ に対して、最適 LRC コードの明示的代数的構成を提供すること、特に $ n \mod (r+1) \neq 0 $ の場合を含むこと。
• 最適 LRC コードの短縮が、元の割り切り条件が緩和された場合でもその最適性を保つことを証明すること。
• 特定のパrameter 範囲において古典的境界を強化する、LRC コードの最小距離に対する tightened 上界を確立すること。

提案手法

• 長さ $ \bar{n} = m(r+1) \leq q $ の Reed-Solomon コードの部分コードとしてコードを構成し、$ m = \lfloor n/(r+1) \rfloor $ である。ここで、$ m $ 個の互いに素な修復グループ（各 $ r+1 $ 個の座標）から $ n $ 個の座標を選択する。
• 各修復グループ $ A_i $ で定数となる $ r+1 $ 次多項式 $ g(x) $ を用い、データシンボルと次数制約に基づく構造的係数を持つ多項式族 $ f_a(x) $ を定義する。
• 最後の修復グループ $ A_m $ から $ t = r+1 - s $ 個の座標を削除することで短縮を施し、削除された集合 $ B $ における消去多項式 $ h_B(x) $ を定義する。ここで $ s = n \mod (r+1) $ である。
• 情報シンボル総数が $ k $ になるように、データベクトルを $ a_{ij} $ および $ b_m $ 成分に分解し、$ k' = k + t $ とする。
• 多項式 $ f_a(x) $ のゼロ点数を制限することで評価写像の単射性を証明し、コード次元が $ k $ であることを保証する。
• 最小距離の tightened 上界（定理 III.3）を導出。$ s \neq 1 $、$ r \mid k $、または $ k \mod r \geq s $ の条件下で $ d_{\min} \leq n - k - \lfloor k/r \rfloor + 1 $ が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 すべての $ n \leq q $ に対して、$ n $ が $ r+1 $ で割り切れない場合でも最適 LRC コードを構成可能か？
• RQ2 既知の最適 LRC コード族を短縮しても、割り切り条件が満たされない場合でもその最適性が保たれるか？
• RQ3 古典的境界（1）を改善する、LRC コードの最小距離に対するより鋭い上界を導出可能か？
• RQ4 $ n \mod (r+1) \neq 0 $ の場合における、このようなコードの明示的代数的構造は何か？
• RQ5 多項式 $ g(x) $ および消去多項式 $ h_B(x) $ の選択が、コードのローカリティおよび距離特性にどのように影響するか？

主な発見

• 提案手法により、$ s = n \mod (r+1) \neq 1 $ かつ $ \bar{n} = m(r+1) \leq q $ の条件下で、すべての $ n \leq q $ に対して最大最小距離を達成する明示的構成可能な $ (n,k,r) $ LRC コードが得られる。
• コードは [8] で提示された $ q $-元 RS 部分コード構成の短縮版であり、$ (r+1) \nmid n $ の場合でも最適性が保たれる。
• コードの最小距離は $ d \geq n - k - \left\lfloor \frac{k + t}{r} \right\rfloor + 2 $ を満たし、ここで $ t = r+1 - s $ である。この境界は、新たな tightened 距離境界のもとで理論的上限に一致する。
• 新たな最小距離上界（定理 III.3）が導出され、$ s \neq 1 $、$ r \mid k $、または $ k \mod r \geq s $ の条件下で $ d_{\min} \leq n - k - \left\lfloor \frac{k}{r} \right\rfloor + 1 $ が成り立つ。この場合、古典的境界（1）よりも鋭くなる。
• 古典的境界と実際の距離の差が 1 である場合でさえ、コードは最適性を達成する。なぜなら、新しい上界も同様に 1 減少するため、最適ギャップが保たれるからである。
• 本構成は自己完結的であり、[10] が異なる手法で示唆する結論を補完する形で、距離境界の独立した証明を提供する。