[논문 리뷰] Broadcasting with side information

Noga Alon, Avinatan Hasidim외 3명|ArXiv.org|2008. 06. 19.

Cooperative Communication and Network Coding참고 문헌 11인용 수 93

한 줄 요약

이 논문은 부가 정보를 동반한 데이터 블록의 브로드캐스트를 연구하며, 각 비트를 개별적으로 처리하는 것과 비교해 큰 블록을 사용할 경우 통신 비용을 크게 줄일 수 있음을 보여준다. 주요 기여는 점근적 브로드캐스트 비율 β가 1비트 블록 비율 β₁보다 엄격히 작을 수 있음을 증명한 것으로, β = 2이지만 β₁ > C인 명시적 구성이 존재하여 비선형 코딩 효율성에서 강력한 이득을 입증한다.

ABSTRACT

A sender holds a word x consisting of n blocks x_i, each of t bits, and wishes to broadcast a codeword to m receivers, R_1,...,R_m. Each receiver R_i is interested in one block, and has prior side information consisting of some subset of the other blocks. Let β_t be the minimum number of bits that has to be transmitted when each block is of length t, and let βbe the limit β= \lim_{t o \infty} β_t/t. In words, βis the average communication cost per bit in each block (for long blocks). Finding the coding rate β, for such an informed broadcast setting, generalizes several coding theoretic parameters related to Informed Source Coding on Demand, Index Coding and Network Coding. In this work we show that usage of large data blocks may strictly improve upon the trivial encoding which treats each bit in the block independently. To this end, we provide general bounds on β_t, and prove that for any constant C there is an explicit broadcast setting in which β= 2 but β_1 > C. One of these examples answers a question of Lubetzky and Stav. In addition, we provide examples with the following counterintuitive direct-sum phenomena. Consider a union of several mutually independent broadcast settings. The optimal code for the combined setting may yield a significant saving in communication over concatenating optimal encodings for the individual settings. This result also provides new non-linear coding schemes which improve upon the largest known gap between linear and non-linear Network Coding, thus improving the results of Dougherty, Freiling, and Zeger. The proofs use ideas related to Witsenhausen's rate, OR graph products, colorings of Cayley graphs and the chromatic numbers of Kneser graphs.

연구 동기 및 목표

• 수신기가 다른 블록에 대해 사전 부가 정보를 가지고 있을 때 데이터 블록 브로드캐스트의 점근적 통신 비용을 이해하는 것.
• 큰 블록(t > 1)을 사용할 경우 각 비트를 독립적으로 처리하는 것(t = 1)보다 엄밀히 더 나은 코딩 비율을 달성할 수 있는지 조사하는 것.
• 최적 비율 β가 유한하게 유계(예: β = 2)이지만 1비트 블록 비율 β₁이 임의로 큰 설정이 존재함을 확립하는 것.
• 브로드캐스트 코딩, 혼동 그래프의 색수, 네트워크 코딩 간의 관계를 탐색하며, 특히 선형 해법과 비선형 해법 간의 격차를 분석하는 것.
• 독립적인 브로드캐스트 설정의 합집합에 대한 최적 코드가 개별 최적 코드의 연결보다 현저히 뛰어난 성능을 발휘할 수 있는 명시적 예를 제시하여 직접 합 현상(direct-sum phenomenon)을 드러내는 것.

제안 방법

• β(H)를 t → ∞ 일 때 βₜ(H)/t의 극한으로 정의하여, 브로드캐스트에 필요한 블록 비트당 평균 비트 수를 나타내는 점근적 평균 비율로 사용한다.
• βₜ(H)의 하위加성(subadditivity)과 페케테의 보조정리(Fekete’s lemma)를 이용해 극한 β(H) = infₜ βₜ(H)/t의 존재를 증명한다.
• 문제를 방향성 하이퍼그래프 H로 모델링하며, 각 수신자는 자신의 원하는 블록에서 자신의 알려진 부가 정보 블록으로 향하는 간선을 가진다.
• 브로드캐스트 문제를 하이퍼그래프 H에서 유도된 혼동 그래프의 색수와 분수 색수(fractional chromatic number)와 연관지운다.
• 케일리 그래프, 위츠엔하우젠의 비율, 케니저 그래프의 성질을 활용하여 β(H)에 대한 경계를 유도하며, 특히 홀수 순환의 여집합에 대해 분석한다.
• 색수가 분수 색수보다 훨씬 큰 명시적 그래프 가족(예: 홀수 순환의 여집합)을 구성하여 β₁과 β 사이의 큰 격차를 이끌어내는 것.

실험 결과

연구 질문

• RQ1 큰 데이터 블록(t > 1)을 사용할 경우 단일 비트를 독립적으로 인코딩하는 것보다 엄밀히 낮은 통신 비용을 달성할 수 있는가?
• RQ2 점근적 비율 β가 유한하게 유계(예: β = 2)이지만 1비트 블록 비율 β₁이 임의로 클 수 있는 브로드캐스트 설정이 존재하는가?
• RQ3 독립적인 브로드캐스트 설정의 합집합에 대한 최적 코드가 개별 설정의 최적 코드를 연결한 것보다 현저히 뛰어난 성능을 발휘할 수 있는가?
• RQ4 선형과 비선형 네트워크 코딩 간의 최대 가능한 격차는 얼마이며, 이를 임의로 크게 만들 수 있는가?
• RQ5 일부 하이퍼그래프의 혼동 그래프에서 색수와 분수 색수 사이의 격차가 상수 이상으로 초과하는가?

주요 결과

• 임의의 상수 C에 대해 β = 2이지만 β₁ > C인 브로드캐스트 설정이 존재함을 증명하여, 큰 블록 코딩이 1비트 인코딩에 비해 임의로 큰 이득을 낼 수 있음을 입증한다.
• 최적 코드가 블록당 최대 ≈2.265비트만 필요로 하는 크기 48의 명시적 네트워크를 구성하였으며, 선형 코드는 최소 3비트가 필요하여 비율이 1.324에 이르게 된다.
• 홀수 순환 C₂ₙ₊₁의 여집합에 대해 혼동 그래프의 색수가 분수 색수보다 상수 요소 c > 1만큼 초과하며, 이는 n에 관계없이 일정하다.
• C₂₃의 여집합 혼동 그래프는 분수 색수가 ≤ 4.809이고 색수가 최소 3이므로, 코딩 효율성에서 비현저한 격차를 보인다.
• 분수 색수가 유한하게 유계(<7)이지만 색수가 Ω(√log n)으로 무한히 증가하는 하이퍼그래프가 존재하여, 1비트 케이스에서 로그 격차를 유도한다.
• 일부 하이퍼그래프 가족에 대해 k개의 독립 복사본에 대한 최적 코드는 k에 대해 선형 통신량만 필요로 하지만, 개별 복사본의 최적 코드를 연결한 경우 초선형 통신량이 필요로 한다.