[論文レビュー] The existence of fractional repetition codes

Toni Ernvall|arXiv (Cornell University)|Jan 13, 2012

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

ひとこと要約

この論文は、分散ストレージシステムにおける分数反復（FR）コードが存在する条件を完全に特徴づけ、パラメータ (n, k, d, ρ) を持つFRコードが存在するための必要十分条件を示している。具体的には、n ≤ binom(θ, d) かつ θρ = nd であることが、FRコードの存在を保証する。構成法は、基本集合の巡回シフトに依存し、最小の ω が dω ≡ 0 mod θ を満たすという数論的条件を活用することで、ユニバース Ω 内のすべての要素に対して均一な反復度 ρ を達成する。

ABSTRACT

Salim El Rouayheb and Kannan Ramchandran introduced the concept of fractional repetition (FR) code. In their article it remained unsolved when we can find such codes. Here we give an exact characterization of situations when it is possible to find an FR code.

研究の動機と目的

• 与えられたパラメータ (n, k, d, ρ) に対して分数反復（FR）コードが存在する条件を解明するという未解決問題を解決すること。
• 分散ストレージシステム（DSS）におけるFRコードの存在に必要な十分条件を構成的証明により確立すること。
• 均一な反復度 ρ を持つFRコードの構成を規定する組合せ論的および数論的制約を特徴づけること。

提案手法

• FRコードを、サイズ θ のユニバース Ω からの n 個のサイズ d の部分集合の集合と定義する。ここで、Ω の各要素はちょうど ρ 個の部分集合に含まれる。
• θρ = nd を必要条件として用い、n ≤ binom(θ, d) と組み合わせることで十分条件であることを示す。
• ω を dω ≡ 0 mod θ を満たす最小の正の整数として定義し、d 要素部分集合の巡回シフト軌道を分析するために用いる。
• d 要素部分集合の完全な巡回シフト軌道 [A] を選択してコードを構成し、各軌道のサイズが θ を割り切り、モジュロ加法に対して閉じていることを保証する。
• 必要な集合の数が θ を超える場合、S = {1,2,…,d} やその平行移動を用いた互いに素な軌道を用いてコードを構築する。
• 残りの集合については、S の軌道を ω 個の互いに素な平行移動に分割し、e = n/ω 個の平行移動を選択してコードを完成させる。

実験結果

リサーチクエスチョン

• RQ1 与えられた分散ストレージシステムに対して、パラメータ (n, k, d, ρ) を持つ分数反復コードが存在する条件は何か？
• RQ2 n ≤ binom(θ, d) かつ θρ = nd という条件は、反復度 ρ を持つFRコードの存在に十分であるか？
• RQ3 条件を満たす場合に、このようなFRコードを明示的に構築するための構成的アルゴリズムを提供できるか？
• RQ4 d 要素部分集合の巡回シフトは、Ω 内のすべての要素に対して均一な反復度 ρ を達成するためにどのように寄与するか？

主な発見

• FRコードは、n ≤ binom(θ, d) かつ θρ = nd であるときにかつそのときに限り存在する。
• 構成法は、dω ≡ 0 mod θ を満たす最小の ω の存在に依存しており、これにより巡回シフト軌道のサイズが ω で割り切れることが保証される。
• Ω の各要素は、最終的なコード内でちょうど ρ = nd/θ 個の部分集合に属し、均一な反復が保証される。
• この方法では、d 要素部分集合の完全な巡回シフト軌道を選択してコードを構成し、各軌道のサイズは θ を割り切る。
• 必要な集合の数が θ を超える場合、互いに素な軌道を用い、残りの集合は基本集合 S の軌道の ω 個の互いに素な平行移動への分割から選ぶ。
• アルゴリズムにより、コード内の n 個のすべての集合がサイズ d を持ち、Ω の各要素がちょうど ρ 個の集合に属することが保証され、FRコードの定義を満たす。