[論文レビュー] Irregular Recovery and Unequal Locality for Locally Recoverable Codes with Availability

Sourbh Bhadane, Andrew Thangaraj|arXiv (Cornell University)|May 14, 2017

Advanced Data Storage Technologies参考文献 14被引用数 3

ひとこと要約

本稿は、可用性を備えた局所的回復可能コード（LRC）における2つの新しい設定を導入し、分析する。1つは不規則回復（すべての座標で固定だが非一様な復元集合サイズ）であり、もう1つは不均等局所性（各座標ごとに異なる復元プロファイル）である。両設定に対して新たな最小距離上限を導出し、Tamo-Barg やパリティーチェック行列法の一般化による明示的構成を提示する。これらは特定の条件下で最適性を達成しており、特に以前に得られた上限と一致する重要なケースがある。

ABSTRACT

A code is said to be a Locally Recoverable Code (LRC) with availability if every coordinate can be recovered from multiple disjoint sets of other coordinates called recovering sets. The vector of sizes of recovering sets of a coordinate is called its recovery profile. In this work, we consider LRCs with availability under two different settings: (1) irregular recovery: non-constant recovery profile that remains fixed for all coordinates, (2) unequal locality: regular recovery profile that can vary with coordinates. For each setting, we derive bounds for the minimum distance that generalize previously known bounds to the cases of irregular or varying recovery profiles. For the case of regular and fixed recovery profile, we show that a specific Tamo-Barg polynomial-evaluation construction is optimal for all-symbol locality, and we provide parity-check matrix constructions for information locality with availability.

研究の動機と目的

• 非一様または可変な復元プロファイル下でのLRCの理論的上限と構成の不足を補う。
• 可用性を有するLRCの既存の最小距離上限を、不規則な復元プロファイルおよび不均等局所性のケースに一般化する。
• 導出された上限を満たす明示的構成を提供し、特にすべての記号局所性および可用性を有する情報局所性において最適性を達成する。
• Tamo-Barg やパリティーチェック行列法といった既知の構成を、不規則および不均等な復元プロファイルをサポートするように拡張し、最適性を維持する。

提案手法

• 各座標が固定だが非一様なサイズ r₁, r₂, ..., rₜ を持つ t 個の互いに素な復元集合を有するLRCの最小距離に対する新しい上界を導出する。
• 各座標ごとに異なる復元プロファイル (r₁, ..., rₜ) を持つLRCの最小距離に対する一般化された上界を導出する。
• すべての記号局所性において r = k−1 かつ任意の t に対して上界に達する一般化されたTamo-Barg多項式評価構成を提案する。
• 情報局所性および可用性を有するLRCの明示的パリティーチェック行列構成を構築し、n ≥ k(tr+1) の条件下で [8] の上限に一致させる。
• 有限体の乗法的部分群から得られる直交分割を用いて、所望の復元プロファイルを持つコードを構築する。
• 線形代数的手法を用いて、分割に関連する関数空間の交差空間の次元と基底を計算し、コード次元 k と最小距離 d を保証する。

実験結果

リサーチクエスチョン

• RQ1 すべての座標で固定だが非一様な復元集合サイズを有するLRCの可用性を考慮した場合、最小距離に対する最もタイトな上界は何か？
• RQ2 各座標ごとに異なる復元プロファイルを有するLRCに対して、導出された距離上限に達する明示的構成は設計可能か？
• RQ3 一般化されたTamo-Barg構成は、r = k−1 かつ任意の t に対してすべての記号局所性の上界を満たすか？
• RQ4 [4] のパリティーチェック行列構成は、[8] の上限に従って、情報局所性および可用性を有する場合に最適性を達成するように拡張可能か？
• RQ5 導出された上限が等号で成立する条件は何か？ また、そのような最適コードを明示的に構築するにはどうすればよいか？

主な発見

• 本稿は、不規則回復を有するLRCの最小距離に対する新しい上界を導出し、以前の上限を非一様な復元集合サイズに一般化した。
• 不均等局所性を有するLRCに対しては、座標固有の復元プロファイルを考慮した一般化された最小距離上界を確立した。
• 一般化されたTamo-Barg構成は、r = k−1 かつ任意の t に対してすべての記号局所性の上界に達し、この領域での最適性を証明した。
• 情報局所性および可用性を有するLRCに対して、n ≥ k(tr+1) の条件下で [8] の上限に一致する明示的パリティーチェック行列構成を提示した。
• F₃₂ 上の例3（n=32, k=8, r₁=7, r₂=3, t=2）は d=23 を達成し、定理2の上界と等号を満たし、最適性を実証した。
• 有限体の部分群から得られる直交分割を用いた構成法により、所望の復元プロファイルを持つコードを体系的に設計でき、距離の最適性を保証する。