[논문 리뷰] Centralized coded caching schemes: A hypergraph theoretical approach

Chong Shangguan, Yiwei Zhang외 1명|arXiv (Cornell University)|2016. 08. 13.

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 et al. 설계를 향상시키기 위해.
• 특히 다항수 F로 충분한지 여부를 포함하여, 일정 속도 중심집중식 코딩 캐싱에 대한 F의 기본 한계를 규명하기 위해.

제안 방법

• 배치-전달 배열(PDA) 설계를 선형이며 (6,3)-자유인 3균일 3분할 초그래프를 구성하는 것으로 모델링한다.
• 극한 조합론의 (6,3)-정리를 적용하여, 일정 R에 대해 F가 K에 대해 선형으로 성장할 수 없음을 증명한다.
• q를 매개변수로 하는 두 개의 무한한 가족의 캐싱 설계를 제안하여 Ali-Niesen 및 Yan et al. 설계를 일반화한다.
• 조합 설계와 점근적 분석을 사용하여 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)-정리를 통해 증명된 lin, 일정 R에 대해 F가 K에 대해 선형으로 성장하는 중심집중식 코딩 캐싱 설계는 존재하지 않는다.
• Ali-Niesen 및 Yan et al. 설계를 일반화하는 두 개의 새로운 무한한 가족의 중심집중식 코딩 캐싱 설계가 제안되었다.
• 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)})로 감소하여 복잡도 향상이著명하다.
• 이 설계들은 K에 대해 F가 비지수적으로 성장하는 일정 속도 설계가 가능함을 보여주며, 이는 이전 설계의 핵심 실용적 제약를 해결한다.
• PDA 설계와 블랙번 성질을 갖는 정규 부분 라틴 제곱 간의 등가성이 공식적으로 수립되었으며, 새로운 조합론적 관점 제공.