[論文レビュー] Linear Locally Repairable Codes with Random Matrices

Toni Ernvall, Thomas Westerbäck+1 more|arXiv (Cornell University)|Aug 1, 2014

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

ひとこと要約

本稿では、すべての記号に対する局所性を確保するため、ランダムな生成行列に構造的な列を追加することで、線形局所復旧符号（LRC）を構築する手法を提案する。この符号は、体のサイズが増加するに従い、高確率でほぼ最適な最小距離に達することを証明しており、既存の符号からより大きなまたはより小さなLRCを構成的に構築する手法も提示している。これにより、実用的状況下でもほぼ最適な性能を達成できる。

ABSTRACT

In this paper, locally repairable codes with all-symbol locality are studied. Methods to modify already existing codes are presented. Also, it is shown that with high probability, a random matrix with a few extra columns guaranteeing the locality property, is a generator matrix for a locally repairable code with a good minimum distance. The proof of this gives also a constructive method to find locally repairable codes.

研究の動機と目的

• ランダムな生成行列を用いた線形局所復旧符号（LRC）を、すべての記号に対する局所性を満たすように構築する方法を開発すること。
• 局所性を保証するための少数の非ランダムな列を含むランダム行列から、体のサイズが大きくなるに従い、最小距離が1に近づく確率が高くなる符号を生成することを示すこと。
• 既存の符号から、局所性および距離特性を維持または改善しつつ、より大きなおよびより小さなLRCを構成的に生成する手順を提示すること。
• 構築された符号が理論的最適距離から最大δ−1の差異を示すため、ほぼ最適であることを確立すること。

提案手法

• すべての記号に対して(r,δ)-局所性を実現するために、ランダムなベクトルに加えて構造的なブロック（例：単位行列や2値ブロック）を含む生成行列を用いる。
• コード記号を、各グループS_jがサイズs_j ∈ [r+δ−1]を満たし、最小距離δの局所復旧符号をサポートするようにグループに分割することで、局所性を保証する。
• 確率的解析を適用して、劣悪な符号距離が生じる可能性を抑え、q → ∞ に伴い失敗確率が消えることを示す。
• 列の置換と重み最小化の議論を用いて、局所復旧集合内の非ゼロ成分の数に基づき、最小距離の下界を導出する。
• 既存の符号を拡張してコードを構築する：長さと次元を1ずつ増加させながら、局所性も1増加させ、最小距離を維持する。
• 射影に基づく手法を用いて、長さを1減らし、次元をk′ ≥ k−1、距離をd′ ≥ d、局所性をrに保ったまま、コードを短縮する。

実験結果

リサーチクエスチョン

• RQ1 ランダムな生成行列に少数の非ランダムな列を追加することで、良好な最小距離を持つ線形LRCを生成できるか？
• RQ2 局所性を保証する列を含むランダム行列が、ほぼ最適な最小距離を持つ符号を生成する確率はどの程度か？
• RQ3 既存のLRCを体系的に拡張または短縮することで、望ましいパラメータを持つ新しい符号を生成する方法は何か？
• RQ4 構築されたLRCの最小距離は何か？ また、理論的最適境界からどの程度近いか？

主な発見

• 高確率で、少数の構造的列を追加したランダムな生成行列から、最小距離がd_opt(n,k,r,δ) − δ + 1以上である線形LRCが得られる。
• 構築された符号がほぼ最適な距離に達しない確率は、体のサイズqが無限大に近づくに従い0に収束する。
• nが(r+δ−1)の倍数である場合、符号は理論的境界に達し、最適となる。
• (r+δ−1)の倍数でない場合でも、最小距離は最適境界からδ−1以内にあり、ほぼ最適性が保証される。
• 本手法により、コードを体系的に拡大可能：(n,k,d,r) から (n+1,k+1,d,r+1) に拡大し、距離を維持できる。
• 短縮手法により、長さn−1、次元k′ ≥ k−1、距離d′ ≥ d、局所性rを満たすコードが得られ、主要な符号特性が保たれる。