[論文レビュー] More on Combinatorial Batch Codes

Sushmita Ruj, Bimal Roy|ArXiv.org|Sep 19, 2008

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

ひとこと要約

この論文は、t > 1 の一般の場合に組合せ的バッチ符号を拡張し、最適な保存領域 N(n, k, m, t) の正確な値と下界を提供するとともに、レート 1/3 の列均一バッチ符号を構築する。Paterson, Stinson, および Wei が提起した未解決問題を解決し、n が (m choose k-2) ≤ n ≤ (k−1)(m choose k−2) の範囲にある場合の N(n, k, m) を導出し、インシデント行列のグラフにおける禁止部分構造を用いて n₂(m, 2, k) の新しい下界を確立する。

ABSTRACT

Paterson, Stinson and Wei \cite{PSW} introduced Combinatorial batch codes, which are combinatorial description of Batch code. Batch codes were first presented by Ishai, Kushilevita, Ostrovsky and Sahai \cite{IKOS} in STOC'04. In this paper we answer some of the questions put forward by Paterson, Stinson and Wei and give some results for the general case $t>1$ which were not studied by the authors.

研究の動機と目的

• Paterson, Stinson, および Wei が提起した未解決問題に応えるために、組合せ的バッチ符号の研究を t = 1 の場合から一般の t > 1 に拡張する。
• n が (m choose k-2) ≤ n ≤ (k−1)(m choose k−2) の範囲にある場合に、最適な保存領域 N(n, k, m, t) を特定し、先行研究の空白を埋める。
• t > 1 に対して、固定レート 1/3 の列均一組合せ的バッチ符号を構築し、保存領域の効率を向上させる。
• グラフ論的制約を用いて、(n, 2n, k, m, 2)-CBC が存在する最大のアイテム数 n₂(m, 2, k) の新しい下界を確立する。
• インシデント行列の構造的制約を分析し、バッチ符号の復号要件に違反する禁止部分構造を回避する。

提案手法

• アイテムをブロック、サーバーを点にマッピングする双対集合系表現を用い、インシデント行列で保存およびアクセスパターンを符号化する。
• トランスバーサル条件を適用：任意の k 列に対して、1 が各行と各列にちょうど1つずつ存在する k×k の部分行列（完全トランスバーサル）が存在する必要がある。これにより復号可能性が保証される。
• インシデント行列をグラフとしてモデル化し、2 つの 1 を含む列を辺として扱い、t = 2 復号制約に違反する禁止部分グラフ（例：三角形、正方形、4 頂点上の 4 辺グラフ）を分析する。
• 極値的グラフ理論を用いて境界を導出：m 頂点上の三角形および正方形を含まないグラフの最大辺数は、2 + 3⌊(m−3)/2⌋ より大きい。
• 基本行列 A（すべての 2 要素部分集合に対応）に列を追加して拡張インシデント行列 A′ を構築し、禁止部分グラフが形成されないようにする。
• 組合せ的数え上げを用いて、すべての k 項目の部分集合に対して t = 2 復号条件を満たすままに安全に追加可能な列の数を特定する。

実験結果

リサーチクエスチョン

• RQ1 n が (m choose k-2) ≤ n ≤ (k−1)(m choose k−2) の範囲にある場合に、t > 1 のときの最適保存領域 N(n, k, m, t) は何か？
• RQ2 t > 1 に対して、レート 1/3 の列均一組合せ的バッチ符号を構築できるか？
• RQ3 n₂(m, 2, k) の最もタイトな下界は何か？ これは、(n, 2n, k, m, 2)-CBC が存在する最大のアイテム数 n を表す。
• RQ4 禁止部分グラフ構造（例：三角形、正方形、4 頂点上の 4 辺グラフ）は、t = 2 バッチ符号の構築をどのように制約するか？
• RQ5 t > 1 のとき、特に k > 2m の場合に、アイテム数 n とサーバー数 m の関係は何か？

主な発見

• t > 1 の場合、(m choose k-2) ≤ n ≤ (k−1)(m choose k−2) の範囲で、N(n, k, m, t) の正確な値が導出され、先行研究が n ≥ (k−1)(m choose k-1) の場合にのみカバーしていた範囲を拡張する。
• t = 2 および k = 9 の場合、インシデントグラフにおける 3 辺禁止構造を避けることにより、n₂(m, 2, 9) ≥ (m choose 2) + 2⌊m/3⌋ の下界が得られる。
• k = 10 の場合、4 頂点上の 4 辺グラフを禁止し、極値的グラフ理論を用いることで、n₂(m, 2, 10) ≥ (m choose 2) + 2 + 3⌊(m−3)/2⌋ の下界が導出される。
• t = 2 の場合の保存領域は、t = 1 の場合の約半分に抑えられ、比較表から明らかである：m = 10, k = 5 の場合、N(t=1) = 640, N(t=2) = 360。
• k > 2m ならば、n₂(m, 2, k) < (m choose 2) であることが証明される。なぜなら、k 列が m 行にしかカバーしないため、t = 2 制約に違反するからである。
• 本研究の結果は、Paterson ら [2] の補題 3.3 および 3.5（t = 1 の場合に限る）を一般化し、t > 1 に拡張する。新しい境界は、従来の研究と整合的であり、それを拡張していることが示された。