[论文解读] 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 且 F 在 K 上次指数增长的新缓存方案，优于 Ali-Niesen 和 Yan 等人的方案。
• 确定恒定速率集中式编码缓存中 F 的基本极限，特别是多项式 F 是否足够。

提出的方法

• 将放置-交付数组（PDA）设计建模为构造一个线性、(6,3)-自由的 3-均匀 3-部分超图。
• 应用极值组合数学中的 (6,3)-定理，证明当 R 为常数时，F 不可能随 K 线性增长。
• 构造两个新的无限家族缓存方案，推广了 Ali-Niesen 和 Yan 等人的方案，参数化为 q。
• 使用组合设计与渐近分析来界定 F 和 R，表明 F 的次指数增长是可实现的。
• 建立 PDA 设计与具有 Blackburn 性质的正则部分拉丁方之间的等价性。
• 通过双分图中的强边着色重新表述问题，将 PDA 的存在性与强染色指数联系起来。

实验结果

研究问题

• RQ1 是否存在具有恒定传输速率 R 的集中式编码缓存方案，使得文件划分 F 随用户数 K 线性增长？
• RQ2 是否存在恒定速率缓存方案，使得 F 在 K 上次指数增长？若存在，F 最小可达到多小？
• RQ3 能否构造出 F 在 K 上多项式增长但 R 保持恒定的缓存方案？
• 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 设计与具有 Blackburn 性质的正则部分拉丁方之间的等价性，提供了新的组合视角。