[論文レビュー] The Optimal Placement Delivery Arrays

Minquan Cheng, Jing Jiang+3 more|arXiv (Cornell University)|Nov 14, 2016

Caching and Content Delivery参考文献 20被引用数 4

ひとこと要約

本稿では、符号付きキャッシュシステムにおける最適配置配信配列（PDAs）の新しい構成を提案し、配信レート S に対するより緊密な下界を導出し、最適 PDAs を生成する再帰的手法を導入している。任意の K および F に対して Z=1 および Z=F−1 の無限族の最適 PDAs を確立するとともに、Z=F−2 および Z=F−3 の追加クラスを提示しており、元々の Maddah-Ali-Niesen 方式をはるかに超えて、既知の最適構成を顕著に拡張している。

ABSTRACT

In wireless networks, coded caching is an effective technique to reduce network congestion during peak traffic times. Recently, a new concept called placement delivery array (PDA) was proposed to characterize the coded caching scheme. So far, only one class of PDAs by Maddah-Ali and Niesen is known to be optimal. In this paper, we mainly focus on constructing optimal PDAs. Firstly, we derive some lower bounds. Next, we present several infinite classes of PDAs, which are shown to be optimal with respect to the new bounds.

研究の動機と目的

• 配置配信配列（PDAs）における最小配信レート S のより緊密な下界を導出すること。
• 導出された下界に達する新しい無限族の最適 PDAs を構成すること。
• 元々の Maddah-Ali-Niesen 方式をはるかに超えて、既知の最適 PDAs のクラスを拡張すること。
• 最小の配信負荷を達成する実用的な符号付きキャッシュシステムに柔軟なパrameter選択を提供すること。

提案手法

• 組合せ的解析を用いて、(K,F,Z,S) PDAs の最小配信レート S に対する新しい下界を導出する。
• 複数の PDAs を組み合わせることで、より大きなサイズの新しい最適 PDAs を生成する再帰的構成法（構成2）を提案する。
• 最適な配列を構成するための基本として、元々の Maddah-Ali-Niesen PDA の転置行列を利用する。
• 既存の最適 PDAs から列削除を適用することで、特定の可除性条件を満たす任意の K および F を持つ新しい最適 PDAs を生成する。
• 組合せ的恒等式およびパrameterの置換（例：F = 2an + b）を用いて、特定の制約下での最適 PDAs の存在を証明する。
• 既知の最適 PDAs（例：定理4および推論4より得られるもの）を再帰的構成における構築ブロックとして活用する。

実験結果

リサーチクエスチョン

• RQ1 任意の (K,F,Z,S) 置配置配信配列における最小配信レート S に対するより緊密な下界は何か？
• RQ2 元々の Maddah-Ali-Niesen 方式を越える新しい無限族の最適 PDAs を構成できるか？
• RQ3 任意の K および F に対して、Z=1 または Z=F−1 となる最適 PDAs を構成できる条件は何か？
• RQ4 再帰的構成を用いて、Z=F−2 および Z=F−3 の最適 PDAs を生成できるか？
• RQ5 列削除をどのように用いることで、柔軟な K および F パrameter を持つ最適 PDAs を生成できるか？

主な発見

• 任意の正の整数 K および F に対して、Z=1 および Z=F−1 の無限族の最適 PDAs が構成された。
• Z=F−2 および Z=F−3 の最適 PDAs は、特定のパrameter範囲において構成され、特定の条件下で無限族を形成する。
• 元々の Maddah-Ali-Niesen PDA の転置行列が、新しい下界のもとで最適であることが証明された。
• 再帰的構成2 は、m≥2 および κ< mF₀/(F₀−Z₀) の条件下で、サイズ (mK₀−κ, mF₀, (m−1)F₀+Z₀, S₀) の最適 PDAs を生成する。
• F|K かつ F³≥2K² のとき、Z=F−2 の最適 PDAs は、F|2K ならば S=2K/F+1、さもなければ S=2K/F+2 で存在する。
• 既存の最適 PDAs からの列削除により、任意の K および F を持つ新しい最適 PDAs が得られ、パrameterの柔軟性が顕著に拡張された。