[论文解读] A New Converse Bound for Coded Caching

Chien-Yi Wang, Sung Hoon Lim+1 more|arXiv (Cornell University)|Jan 21, 2016

Caching and Content Delivery参考文献 7被引用 19

一句话总结

本文提出了一种新的信息论反向界，用于编码缓存系统，在最坏情况和均匀平均情况下的乘法差距显著缩小至4.7。通过证明在单用户平均情况下缓存最常被请求的文件是最优的，作者对内存-速率权衡关系给出了更紧致的刻画，相较于之前存在12和72差距的界，实现了改进。

ABSTRACT

An information-theoretic lower bound is developed for the caching system studied by Maddah-Ali and Niesen. By comparing the proposed lower bound with the decentralized coded caching scheme of Maddah-Ali and Niesen, the optimal memory--rate tradeoff is characterized to within a multiplicative gap of $4.7$ for the worst case, improving the previous analytical gap of $12$. Furthermore, for the case when users' requests follow the uniform distribution, the multiplicative gap is tightened to $4.7$, improving the previous analytical gap of $72$. As an independent result of interest, for the single-user average case in which the user requests multiple files, it is proved that caching the most requested files is optimal.

研究动机与目标

• 为最坏情况和平均情况请求模型下的编码缓存系统开发一个更紧致的信息论反向界。
• 在刻画最优内存-速率权衡关系方面，改进先前最坏情况下12倍和均匀平均情况下72倍的乘法差距。
• 在单用户平均情况下，当可请求多个文件时，证明缓存最常被请求的文件是最优的。
• 通过条件熵和马尔可夫链约束，提供一个实现速率的新型下界。

提出的方法

• 利用条件熵和马尔可夫链约束推导出新的反向界：$V \mathrel{\multimap}\joinrel\mathrel{-} B \mathrel{\multimap}\joinrel\mathrel{-} Y$，其中 $I(B;V) \leq M$。
• 应用递归熵分解，并利用不等式 $(u - v)^+ \geq u^+ - v$（当 $v \geq 0$ 时）来界定 $H(B_Y|V,Y)$。
• 利用请求概率 $p_Y$ 和文件流行度 $s_n = \sum_{y: n \in y} p_Y(y)$ 的结构，将下界表达为 $\sum_{n=1}^N (s_n - s_{n+1})(n - M)^+$。
• 通过令 $V = (B_1, \dots, B_M)$ 并对非整数 $M$ 使用时分复用，证明了可实现性。
• 通过在熵项 $H(B_Y|V,Y)$ 上进行变分论证，证明了缓存最常被请求文件的最优性。

实验结果

研究问题

• RQ1 在最坏请求情况下，编码缓存系统速率区域的最紧致信息论下界是什么？
• RQ2 在最坏情况场景下，能否将最佳已知可实现方案与反向界之间的乘法差距缩小至12以下？
• RQ3 在请求均匀分布的平均情况设置下，该差距如何变化？
• RQ4 在单用户平均情况下，当可请求多个文件时，缓存最热门文件是否是最优的？

主要发现

• 所提出的反向界与可实现方案之间的乘法差距在最坏情况内存-速率权衡下已缩小至4.7。
• 在均匀平均情况设置下，乘法差距同样被收紧至4.7，优于先前72的界。
• 本文证明了在单用户平均情况下，当可请求多个文件时，缓存最常被请求的文件是最优的。
• 在马尔可夫链和互信息约束下，反向界被推导为 $H(B_Y|V,Y) \geq \sum_{n=1}^N (s_n - s_{n+1})(n - M)^+$，其中 $s_{N+1} = 0$。
• 通过令 $V = (B_1, \dots, B_M)$ 并对分数 $M$ 使用时分复用，证明了可实现性，且界中的等式可被达到。