[論文レビュー] Centralized coded caching schemes: A hypergraph theoretical approach

Chong Shangguan, Yiwei Zhang+1 more|arXiv (Cornell University)|Aug 13, 2016

Caching and Content Delivery参考文献 9被引用数 12

ひとこと要約

本稿は、定常伝送レート R と非指数的ファイル分割 F を有する集中型符号化キャッシュスキームを設計するためのハイパーグラフ理論的枠組みを導入する。配置配布配列（PDA）を線形で (6,3)-自由な 3-一様 3-部ハイパーグラフとしてモデル化することで、著者らは、定数 R に対して F が K に対して線形に成長することは不可能であることを証明するが、F が非指数的に成長する二つの無限族のスキームを構築し、従来の指数的構成と比較して著しく複雑性を低減する。

ABSTRACT

The centralized coded caching scheme is a technique proposed by Maddah-Ali and Niesen as a solution to reduce the network burden in peak times in a wireless system. Later Yan et al. reformulated the problem as designing a corresponding placement delivery array, and proposed two new schemes from this perspective. These schemes above significantly reduce the transmission rate $R$, compared with the uncoded caching scheme. However, to implement the new schemes, each file should be cut into $F$ pieces, where $F$ increases exponentially with the number of users $K$. Such constraint is obviously infeasible in the practical setting, especially when $K$ is large. Thus it is desirable to design caching schemes with constant rate $R$ (independent of $K$) as well as small $F$. In this paper we view the centralized coded caching problem in a hypergraph perspective and show that designing a feasible placement delivery array is equivalent to constructing a linear and (6, 3)-free 3-uniform 3-partite hypergraph. Several new results and constructions arise from our novel point of view. First, by using the famous (6, 3)-theorem in extremal combinatorics, we show that constant rate caching schemes with $F$ growing linearly with $K$ do not exist. Second, we present two infinite classes of centralized coded caching schemes, which include the schemes of Ali-Niesen and Yan et al. as special cases, respectively. Moreover, our constructions show that constant rate caching schemes with $F$ growing sub-exponentially with $K$ do exist.

研究の動機と目的

• 既存の定常レート符号化キャッシュスキームにおける非現実的な指数的ファイル分割 F を解決すること。
• 符号化キャッシュ設計と極値組合せ論の間の理論的基盤を、ハイパーグラフ構造を通じて確立すること。
• 定常レート R と K に対して F が非指数的に成長する新しいキャッシュスキームを構築し、Ali-Niesen および Yan らのスキームを改善すること。
• 定常レート集中型符号化キャッシュにおける F の根本的限界を特定すること、特に多項式的 F で十分かどうかを特定すること。

提案手法

• 配置配布配列（PDA）設計を、線形で (6,3)-自由な 3-一様 3-部ハイパーグラフの構築問題としてモデル化する。
• 極値組合せ論における (6,3)-定理を適用し、定数 R に対して F が K に対して線形に成長することは不可能であることを証明する。
• Ali-Niesen および Yan らのスキームを一般化する二つの無限族のキャッシュスキームを構築し、パrameter q でパrameter化する。
• 組合せデザインと漸近的解析を用いて F と R をバウンドし、F が非指数的に成長可能であることを示す。
• PDA 設計とブラックバーン性を持つ正則部分ラテン平方の間の同値性を確立する。
• 強辺彩色を用いた再定式化により、PDA の存在性を強彩色数に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 定常伝送レート R を有する集中型符号化キャッシュスキームにおいて、ファイル分割 F がユーザー数 K に対して線形に成長するものは存在するか？
• RQ2 K に対して F が非指数的に成長する定常レートキャッシュスキームは存在するか？もし存在するならば、F はどの程度小さくできるか？
• RQ3 定常レート R を維持しつつ、F を K に対して多項式的に成長させるキャッシュスキームを構築することは可能か？
• RQ4 M/N と R が K とは独立に固定された場合、定常レートスキームに必要な最小の F は何か？

主な発見

• 極値組合せ論における (6,3)-定理を用いた証明により、定数 R に対して F が K に対して線形に成長するキャッシュスキームは存在しないことが示された。
• Ali-Niesen および Yan らのスキームを一般化する二つの新しい無限族の集中型符号化キャッシュスキームが構築された。
• M/N = 1/q の場合、新しい構成におけるファイル分割 F は Ω(q^{K/q}) から O(q^{√(8K)/q}) に削減され、非指数的成長が達成された。
• M/N = (q-1)/q の場合、F は Ω(q^{K/q}) から O(q^{√(K/2q)}) に削減され、複雑性の顕著な改善が示された。
• F が K に対して非指数的に成長する定常レートスキームが実際に構築可能であることが示され、従来のスキームの主要な実用的制限が解消された。
• PDA 設計とブラックバーン性を持つ正則部分ラテン平方の間の同値性が形式的に確立され、新たな組合せ論的視点が提供された。